Sage/Maxima produces an incorrect result for an inequality when certain assumptions are applied

[jsimonrichard]

Steps To Reproduce

In a new sage environment (REPL, notebook, etc.) run the following commands.

s, t, l = var("s, t, l")
assume(s > 0)
assume(t > s)
assume(l > 1)

print(bool(l*(t-s) > 0))
print(bool(l*t - l*s == 0))

Expected Behavior

Output:

True
False

Actual Behavior

Output:

True
True

Which is, of course, a direct contradiction.

Additional Information

If we use assume(l > 0) instead of assume(l > 1), we get the expected result.

Environment

- **OS**: Kubuntu 22.04.3 LTS x86_64
- **Sage Version**: 9.5

Checklist

• [X] I have searched the existing issues for a bug report that matches the one I want to file, without success.
• [X] I have read the documentation and troubleshoot guide