Symbolic Math Reasoning with Language Models