Domain not checked out, please see inside...

[DrD]

A counter example, perhaps?

solve((1/(x-1))≥0); ==> {x>1}