Is there an irreducible, degree 7 polynomial in $\mathbb{Q}[x]$ which has exactly two of its roots in $\mathbb{C-R}$? Is there an irreducible, degree 7 polynomial in $\mathbb{Q}[x]$ which has exactly two of its roots in $\mathbb{C-R}$? If so, what is it?
I'd prefer a quick, concrete example rather than an abstract proof.
 A: I think probably $p(x) = x(x^2+130)(x-5)(x+5)(x-10)(x+10) + 5 = x^7 + 5 x^5 - 13750 x^3 + 325000 x + 5$ should work.  In a quick graph, it still appears to have exactly five real roots (as expected being a small perturbation from $x(x^2+130)(x-5)(x+5)(x-10)(x+10)$), and it was constructed to satisfy Eisenstein's criterion with $p = 5$.
To prove it has exactly five real roots: first, by substituting for example $x=-13, -8, -3, 2, 7, 12$ you should get alternating signs.  Therefore, using the intermediate value theorem on each interval, you get at least five roots.  Also, for example if you calculate the gcd of $p$ and $p'$, you should get 1, implying that none of these roots can be double roots.  On the other hand, the fifth derivative $p^{(5)}(x) = 2520 x^2 + 600$ has no real roots, which implies that there can be at most five real roots of $p$.  (The argument here: suppose $p$ had six distinct real roots.  Then applying Rolle's Theorem on the intervals between these roots, you would get at least five distinct roots of $p'$; then at least four distinct roots of $p''$; and so on until you would get at least one root of $p^{(5)}$.)
