Where the Formulas Come From · Challenge problem

A quadratic equation $x^2 - 7x + k = 0$ has two roots whose sum is $7$ and which differ by $3$. What is $k$?