NeuroSymbolic Math in a Structured Prompt Language

What 400 runs of symbolic math say about open-source models, verified reasoning, and who gets access to quality STEM education.