I have a set of assumptions, say, $x > 0$ and $y > 0$.
So I specified the
$Assumptions = x > 0 && y > 0
Now the inequality $x - y/2 > 0$ does not provide a truth value.
Simplify[x-y/2>0] produces output
2x>y, while the function
Simplify[x+y/2>0] produces output
I actually want a truth value for expressions. But when a truth value doesn't exist, i.e., it may be either true or false, I want to know that the said inequality can take either.
Then I can just proceed with assuming $x-y/2>0$ and $x-y/2\leq 0$ as two cases.
Is there a way to figure out that the inequality is undetermined in Mathematica?