CompositeQ[712]