a-1<7
Let's solve in ℝ: a -1 < 7
a < 7 + 1
▶Solution found: a < 8