

def test_Mul_is_prime():
    from sympy import Mul
    x = Symbol('x', positive=True, integer=True)
    y = Symbol('y', positive=True, integer=True)
    assert ((x * y).is_prime is None)
    assert (((x + 1) * (y + 1)).is_prime is False)
    x = Symbol('x', positive=True)
    assert ((x * y).is_prime is None)
    assert (Mul(6, S.Half, evaluate=False).is_prime is True)
    assert (Mul(sqrt(3), sqrt(3), evaluate=False).is_prime is True)
    assert (Mul(5, S.Half, evaluate=False).is_prime is False)

dataset/ETHPy150Open sympy/sympy/sympy/core/tests/test_assumptions.py test_Mul_is_prime/original