MathQA: Towards Interpretable Math Word Problem Solving with Operation-Based Formalisms | Synapse