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
That's wrong.  Simple example: `Mul(4, S.Half, evaluate=False)`.