[ 4-x \geq 0 \wedge \frac{6-x}{3} < 0] \vee [4-x>(\frac{6-x}{3})^2 \wedge \frac{6-x}{3} \geq 0]