GroebnerBasis[{ s^4+12s-5, t^4 + 12 t - 5, x - (s+t)},{x}, {s,t}]