multiplication -1 with a inequality

edit

hi, in sagemath cloud i multiply a inequality with -1. i expected that the operator change from > to <. but it dit not!

my input:

reset();var(x)
ie = (x>1); show(ie)
show(solve(ie,x))
ie = ie*(-1); show(ie)
show(solve(ie,x))

i dit the solve() to see that the multiplication with -1 results in another solution, which is wrong.