Question: assume and associativity

I'm confused.  How come the two "is" aren't "true"?

assume(x <= y);
is(-5*x <= -5*y);
                             false

is(-5*(x <= y));
                              true

Please Wait...