T-algebra is an interactive learning environment for step-by-step solving of algebra problems in four areas of mathematics, including linear equations. To make the diagnosis of mistakes more complete and the program more intelligent we designed our own rule dialogue. Each solution step in T-algebra consists of three stages: selection of the transformation rule, marking the parts of expression, ...