s=Solve [4+x==8, x!=4]