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