Question 378797
{{{9 + (1/2)n <= -8}}}