issue 3692 (old assumptions)

This patch alter following Mul methods:
is_integer
is_odd/even
and
is_rational

N.B.: some tests in test_arit.py was broken.  An example:
```
k = Symbol('k', integer=True)
assert (k/3).is_integer is False
```