simplify Mul._eval_is_negative routine

Why was this added? A Mul can only be zero if one of the args is zero, but that would make them be rational, meaning r would not be False.