Hard Geometry Test Generator