answered 4 years ago
A possible alternative :
sage: solve([x>=3, x >=5, x < 8],x, algorithm="sympy") [[5 <= x, x < 8]]
HTH,