MA.7.AR: Algebraic Reasoning