Let $C\subset\mathbb{C}^2$ be an irreducible algebraic curve defined over a number field $F.$ Suppose that for any $(z, w)\in C, z\in \mathbb{\overline{Q}}, w\in\mathbb{\overline{Q}},$ either $z\in F(w)$ or $w\in F(z)$. My question is whether such a curve $C$ must necessarily be rational? If $z\in F(w)$ for all but finitely many $(z, w),$ then $C$ is easily seen to be rational by Faltings' theorem.
Any suggestion would be greatly appreciated.