Mathematica gives 1.

    Int[1]:= 1 - x /. Solve[1 + x == 1, x]
    Out[1]= {1}