Розв'язування задач за допомогою систем