(3+2x-x^2)x^4!=0 over reals