m пытается следующий код, чтобы увидеть, может ли предикат помочь мне найти значения зависимой переменной для полинома порядка 2, в этом случае очевидно, что y = x ^ 2:

x