Abstract
The article presents the possibilities of the ATest system aimed at supporting the arithmetic skills of pupils presented by the authors at the conference "Using computers in the teaching of mathematics". The environment not only helps to automate the execution of basic arithmetic operations, but also requires (and thus exercises) the ability to search for possible constructions of the given goal-result.