How do you solve 4 + 2x < x + 13?