Dieses Java-Applet ist in englischer Sprache. Das Programm ist ähnlich aufgebaut, wie Übung 9, mit dem Unterschied, dass nur die Äquivalenzumformungen angegeben werden müssen. Die Gleichungen werden automatisch umgeformt. Auf der Seite sind 20 Gleichungen mit steigendem Schwierigkeitsgrad vorgegeben. Auch die Eingabe von eigenen Gleichungen ist möglich.