Is 9 a solution of the inequality 20 − f < 11?