solve x+2y=17 for y