solve -x + 5 < 3 + x