Решение 

 

Замена:   

`implies`(`+`(`*`(`^`(t, 2)), t, `-`(2)) = 0, t = 1) 

Исходная система равносильна