x, y, z, v, u, r, t, 
-2*t^4-r*x+u*x-u-2*x+1
-t^2*u+r*y-1
t*u*z-1
-r*t+v
