CompositeQ[Hardy-Ramanujan