solve (x/2)^2 + 35^2 = (19+x/2)^2 over reals