Text this: Verifier-Backed Hard Problem Generation for Mathematical Reasoning