M.1HS.RE: Reasoning with Equations