simplify Mul._eval_is_negative routine

this commit is not from this pr, but #8041