F = (4x+4y+9z-2w), G = (2x+2y +z+ w)==0, H = (x^2+y^2+z-4)==0,
x ,y, z, w is symbolic expressions in 4 variables.
The symbolic expressions G
