Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning | Synapse