Neuro-Symbolic Data Generation for Math Reasoning