In our example it probably would have been easier to just solve the system of equations and find the other point of intersection, which turns out to be the rational point (-4, -3).