Проверка выражений: как узнать, является ли выражение решением задачи