sympy/sympy — pull request #8511 by lezorich (2014-11-24 06:45:50+00:00)
Title: 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