Делаю систему тестирования школьников на голом пхп - http://ephysics24.e-aristotel.com/test.php

Есть очень много готовых вопросов типа

В корзине было 10 яблок. Маша взала 2 яблока, а Коля 3 яблока. Сколько всего осталось яблок в корзине.
Правильный ответ: 5.

Требуется трансформировать эти вопросы в параметризированный вид:

В корзине было N яблок. Маша взаля X яблока, а Коля Y яблока. Сколько всего осталось яблок в корзине.
Правильный ответ: N-(X+Y)

Для трансформации предлагается

1) - подключить в систему сервис для рукописного ввода выражений - https://github.com/falvaro/seshat Очень наглядно - http://cat.prhlt.upv.es/mer/
2) - подключить в систему сервис для проверки эквивалентности выражений - https://www.wolframalpha.com для того ответ N-X-Y тоже был определен как правильный
3) - доработать в системе механизм народного формирования формул, т.к. самостоятельно провести всю трансформацию вопросов слишком накладно
Механизм будет подразумевать возможность ввода отвечающим условий и выражения в виде

Дано
N=10
X=2
Y=3
Ответ выражение
N-(X+Y)

4) параметризированный ввод будет сохранятся в бд несколько раз и после того, как несколько тестировщиков введут одинаковый ответ, а учитель подтвердит его корректность произойдет замена исходного вопроса на

В корзине было N яблок. Маша взаля X яблока, а Коля Y яблока. Сколько всего осталось яблок в корзине.
Правильный ответ: N-(X+Y)
Дано
N=10
X=2
Y=3

Можно писать на val_potapov <> mail.ru