x/2+5<3
Let's solve in ℝ: x2 + 5 < 3
x2 < 3 -5
x2 < -2
x < 2·(-2)
▶Solution found: x < -4