Решение крупных паленомов.

[Altair]

Реально ли в маткаде решать очень большие паленомы и системы уравнений с одной или несколькими переменными, если какие-то из них неопределены?
К примеру в числителе имеется большой многочлен с какой-то переменной в разных степенях. От 0 до скажем 5й степени, в знаменателе аналогичное выражение. Естественно на бумаге решать все крайне сложно и долго, да и риск ошибки высок. Маткад жалуется на неопределенность переменной.
Или определение дополнительных членов больших матриц методом Крамера, если каждая ячейка представляет подобные уравнения.

Есть ли программа занимающаяся подобными вещами?