t, z, y, x, 
z^5-t^4
-t^8+2*t^5+t*y^2*z+2*y*z^3+t^3-t^2
t^4*x-t*x-t*y-z^2
