http://www.umsolver.com/russian/mathematics/
Я скачал с сайта провайдера бесплатно на 15 дней,дальше нужно платить 100 р в месяц.
Тупая прога.В третьем твоём примере ошибка.Второй я сам упростил для начала.Начала решать потом пишет.
Пример не может быть решен данной версией UMS,