import sympy


def is_addition_of_negation(sympy_add: sympy.Add) -> bool:
    """Check if given sympy addition is of the form x + (-y)."""
    args = sympy_add.args
    return len(args) == 2 and isinstance(args[1], sympy.Mul) and args[1].args[0] == -1