I am using the Simplify and Reduce functions to reduce inequalities, but somehow the function Simplify does not consistently give "True" when the inequality happens to be one of the assumptions. Could you help me understand this output?
Here is a simple example that works as expected:
Simplify[Reduce[x > y /(a + b)], Assumptions -> x > y /(a + b)]
This gives: True
But this one does not:
Simplify[Reduce[x > y z/(a + b)], Assumptions -> x > y z /( a + b)]
This gives: a + b != 0