Задача:

1. Лиса весит столько же сколько заяц и гиря в пять килограмм взятые вместе
2. Волк весит столько же сколько лиса и гиря в четыре килограмма взятые вместе
3. Заяц и лиса весят столько же сколько волк и гиря в один килограмм взятые вместе
4. Медведь весит столько же сколько заяц лиса и волк вместе взятые.

Вопрос: сколько весит каждый зверь?

Решение с помощью WxMaxima:

Ввод условия (%i... - то что вводит пользователь, %o... - вывод компьютера).

(%i1) eq1:lisa=zay+5; eq2:lisa+4=volk; eq3:lisa+zay=volk+1; eq4:medved=volk+lisa+zay;

(%o1) lisa=zay+5

(%o2) lisa+4=volk

(%o3) zay+lisa=volk+1

(%o4) medved=zay+volk+lisa

Получение решения

(%i2) solve([eq1,eq2,eq3,eq4],[zay,lisa,volk,medved]);

(%o5) [ [zay=5,lisa=10,volk=14,medved=29] ]

Проверка решения подстановкой (обязательно вводить сразу после решения, или вместо [%] писать [%o5])

(%i3) ev([eq1,eq2,eq3,eq4],[%]);

(%o6) [10=10,14=14,15=15,29=29]