By augmenting our dataset with these formalisms, we are able to cover most types of math word problems 3 .
to other representations like simultaneous equations, our formalisms ensure that every problem-solving step is aligned to a previous one.