I'm currently studying for a class where the teacher's notes were given, but there are many errors here and there so I need to make sure that everything on it is correct. I'm given the following system of inequations:
$$ \left\{\begin{matrix} 0 \leq t'_1 + t_2 \leq 10 \;\;\;\;\; (a) \\ 5\leq t_2 \leq 15 \;\;\;\;\;\;\;\;\;\;\;\; (b) \\ 12\leq t'_3+t_2\leq 22 \;\;\; (c) \end{matrix}\right. $$
Now I need to eliminate t2 form (a) and (c) so on the notes here is the resulting system:
$$ \left\{\begin{matrix}-5 \leq t'_1 \leq 5 \;\;\;(a+(-b)) \\2\leq t'_3 \leq 17\;\;\; (c+(-b)) \\5\leq t_2\leq15 \;\;\;\;\;\;\;\;\;\;\;\;\;\;(b) \end{matrix}\right. $$
Now the question is: can someone guide me through the process of eliminating t2 ? Are the resulting inequations actually correct ?