Проведення тесту на визначення істинності математичних тверджень.