Fix issue 3692 and modify tests accordingly
Tests for issue 3692
test_arit.py: tests for Mul.is_rational
Merge pull request #1896 from skirpichev/3692-int-assumptions

issue 3692 (old assumptions)