| 1 | initial version |
A possible alternative :
sage: solve([x>=3, x >=5, x < 8],x, algorithm="sympy")
[[5 <= x, x < 8]]
HTH,
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.