K.CAR: Computation & Algebraic Reasoning