solve f(x)=3x+5 over the reals