GroebnerBasis[{v^3-9*v-9,a+2*b+3*c-v,a+b+c,a*b+b*c+c*a+3,a*b*c-1},{a,b,c,v}]