Exponenta.ru

Здравствуйте, возможно ли такое в Mathematica :
Пошаговое решение иррациональных неравенств. Сложность уровня 10-11 классов, типа (sqrt(3-3)<sqrt(3*x-5)) или sqrt(2+x-x^2)>-1.
Интересует именно пошаговое решение (что-то наподобие wolfram alpha). просмотрел несколько manual, но ничего не нашел.
как итоговый результат получить мне известно.

целью является заинтересовать ребенка в освоении ПО. Да и самому не помешает.

Да, это возможно. Последние версии Математики содержат В|А Про: запускается двукратным нажатием клавиши =. Впрочем, пошагового решения неравенства sqrt(2+x-x^2)>-1 получить в В|А на МАтематике мне не удалось.