Fixes #8488

(This is my first PR :D )
Implemented _eval_is_prime for the Mul class in core module

Example:
k = Symbol('k', integer=True)
(9*k).is_prime
False
No.  You shouldn't call simplify or any similar unpredictable heuristics in the assumption helpers.