Разработана программная система генерации вариантов учебных задач по дисциплине «Компьютерная алгебра». Предложена форма спецификации учебной задачи в виде параметрической модели в классе дробно-рациональных полиномиальных представлений. Выбором значений параметров указанной модели обеспечена вариативность учебных задач. Предложен и разработан метод восстановления последовательности шагов решения задачи в обратном порядке (от ответа к условию), повышающий эффективность целевого программного генератора.