Question: is(0 < x^2 + x + y) assuming (0 < x + y) wrongly gives false

"is(0 < x^2 + x + y) assuming (0 < x + y)" wrongly returns false. I'm using Maple 2024.2. This is a bug, right?

Please Wait...