Algorithmic Algebra Tutor