Reasoning with equations and inequalities (HSA.REI)