

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

dataset/ETHPy150Open sympy/sympy/sympy/core/tests/test_eval.py test_add_eval/VarMisuse@146/155 `c`->`p`