

def test_addmul_eval():
    a = Symbol('a')
    b = Symbol('b')
    c = Rational(1)
    p = Rational(5)
    assert (((((c + a) + (b * c)) + a) - p) == (((2 * a) + b) + (- 4)))
    assert ((((a * 2) + p) + a) == (((a * 2) + 5) + a))
    assert ((((a * 2) + p) + a) == ((3 * a) + 5))
    assert (((a * 2) + a) == (3 * a))

dataset/ETHPy150Open sympy/sympy/sympy/core/tests/test_eval.py test_addmul_eval/original