# Using Simplify and Reduce with Assumptions when the inequality is already one of the assumptions

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

Thank you.

SetSystemOptions["SimplificationOptions" -> {"AssumptionsMaxNonlinearVariables" ->  10}];