Consider the following
kill(all)$ assume(z>0, x>0, x<1)$ is(z + x*(1-x) > 0); /* Above returns: true */ is(z + x-x^2 > 0); /* Above returns: un
