solve [a==b+x, b]