Algebra Vision lets you move expressions around and see how theorems transform equations.

It's used as a learning aid for educators to demonstrate an algebra lesson, as well as a practice tool for users to generate random problems and put some time into learning algebra.