In[]:=
Eliminate[x^2+y^2+z^21&&x-y+z2&&x^3-y^2z+1&&Modulus5,z]
Out[]=
False