MA.K.AR: Algebraic Reasoning