MA.3.AR: Algebraic Reasoning