Trouve solve 0 <= x and x <= 3 or 2 <= x and x <= 7