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