Solution (source code)

= Solution

Substituting the line into the <hyperbola> gives
$$
7x^2-(x+1)^2=7
\quad\Longleftrightarrow\quad
3x^2-x-4=(3x-4)(x+1)=0.
$$
The two <polynomial roots> give all intersections:
$$
\boxed{(x,y)=(-1,0),\qquad (4/3,7/3).}
$$
Both satisfy the original line as well as the curve.