simplify Mul._eval_is_negative routine

See tests.

> but that would make them be rational

Sure.  That's why the `elif r is False` branch.