Correct. Subtract 9 from all parts:
Simplify to , then divide all parts by 4.
The result is . The graph contains all the points between and 3.
This includes the endpoint , and does not include 3.