solve y=3x+1 for x