Back
Close

Sequence of simple inequalities

Statement

 Goal

Found the interval of possible values for an integer variable x from a sequence of simple inequalities like this:
"x < 124",
"x <= 123",
"x > -667" or
"x >= -666"

Print the solution interval like this:
"-666 <= x <= 123"

If there is no possible value for x then print:
"no solution"
Input
Line 1: Positive integer nb.

Next nb lines: string of the form "x operator value" where each operator is "<", "<=", ">" or ">=" and each value is an integer.

In each test case there is garantee that there is at least one < or <= and one > or >= operators.
Output
Line 1: "a <= x <= b" with correct values for a and b, or "no solution".
Constraints
2 ≤ nb ≤ 100
-123456 ≤ value ≤ 123456
Example
Input
2
x > 7
x <= 42
Output
8 <= x <= 42

Game modes
Fastest, Shortest, Reverse

Test cases
Minimal sequence Test
Input
2 x > 7 x <= 42
Output
8 <= x <= 42

Minimal sequence Validator
Input
2 x < 5 x >= -7
Output
-7 <= x <= 4

Simple change Test
Input
3 x > 7 x <= 42 x > 35
Output
36 <= x <= 42

Oops! Validator
Input
4 x <= -155 x > -200 x <= -180 x > -180
Output
no solution

Simple change Test
Input
4 x <= 36 x > 7 x <= 42 x > 35
Output
36 <= x <= 36

Simple change Validator
Input
5 x <= 110362 x >= -112200 x >= -113457 x > -74620 x <= 120775
Output
-74619 <= x <= 110362

Oops! Test
Input
4 x <= -5 x > 7 x <= 42 x > 35
Output
no solution

Simple change Validator
Input
13 x < 115721 x <= 39274 x > -121554 x >= -114572 x >= -123389 x < 103995 x < 49332 x >= -104904 x > -116650 x < 87453 x < 26096 x > -106129 x < -104903
Output
-104904 <= x <= -104904

Simple change Test
Input
100 x < 117134 x > -68374 x >= -49918 x >= -49442 x > -87382 x <= 122765 x > -49992 x >= -93220 x >= -108934 x <= 71193 x > -82363 x <= 102464 x >= -105873 x > -40963 x >= -78138 x < 77195 x >= -49140 x > -82263 x > -55781 x < 118339 x > -121555 x < 89284 x > -65226 x < 93409 x > -77662 x <= 68395 x < 92342 x >= -78919 x <= 115868 x < 94308 x > -49704 x < 89391 x > -70057 x >= -121471 x <= 87681 x <= 88179 x < 107148 x >= -80776 x <= 86184 x > -84460 x > -110668 x > -70360 x > -101979 x <= 107723 x >= -93073 x > -70320 x >= -82397 x > -91374 x >= -73578 x > -51772 x > -46505 x <= 86856 x <= 100185 x < 78100 x > -98164 x <= 79188 x > -77194 x <= 83813 x > -43993 x <= 72165 x <= 92819 x >= -113297 x > -58466 x > -74474 x >= -113295 x > -109576 x <= 93367 x > -83853 x > -90583 x > -52804 x < 116945 x < 71459 x <= 116293 x > -42626 x <= 76345 x <= 79657 x > -74964 x < 102699 x < 94472 x > -99243 x <= 80871 x < 80977 x >= -82957 x < 86257 x <= 89060 x < 102753 x >= -79551 x < 91559 x < 68082 x <= 91990 x < 115494 x <= 78498 x > -84411 x >= -66127 x > -71219 x >= -87047 x <= 97297 x >= -113780 x <= 96730 x > -58672
Output
-40962 <= x <= 68081

Simple change Validator
Input
100 x < 121099 x <= 119500 x >= 1802 x < 122756 x <= 118852 x <= 122541 x <= 120584 x < 119524 x >= 41564 x >= -14415 x < 119709 x <= 115718 x >= 52756 x <= 122271 x <= 116561 x < 121477 x >= -101759 x > -55441 x < 116783 x > -7450 x >= 82826 x < 115789 x >= -121463 x > -110228 x <= 120445 x < 121354 x > 46980 x < 115848 x <= 118984 x < 122526 x > -78531 x < 119647 x < 118991 x <= 118212 x > -86387 x >= 83562 x <= 115939 x <= 118271 x > 22382 x > -2114 x < 119332 x < 120077 x <= 121873 x > 53060 x <= 118448 x > -116170 x <= 118471 x < 118851 x <= 119054 x < 122653 x < 116750 x > 79835 x > 25467 x <= 116325 x < 116831 x > -45609 x >= 50656 x >= 4731 x <= 117276 x <= 120008 x < 123363 x >= 18970 x <= 118063 x <= 122709 x <= 116994 x < 122491 x < 115677 x < 120443 x < 122262 x >= -11166 x >= -52220 x > -67251 x <= 120790 x <= 121187 x > -100282 x <= 121470 x < 121432 x > 45914 x > 52152 x >= -36874 x > -19892 x > -102936 x > -99242 x > -33837 x >= 73070 x <= 117781 x >= 51724 x > 7792 x >= 83556 x >= -27970 x > 50178 x >= -113580 x <= 121960 x > -112389 x > -98161 x <= 120578 x <= 121593 x >= 37285 x > 79571 x <= 119971
Output
83562 <= x <= 115676

Simple change Test
Input
100 x < 122360 x >= -80411 x <= 109574 x <= 114025 x <= 116742 x < 119471 x < 112040 x <= 114572 x < 110303 x <= 123209 x >= 3238 x < 112668 x < 115008 x <= 115676 x < 112833 x < 122110 x >= -1967 x < 112194 x < 116135 x < 114398 x >= -11073 x >= 46290 x > -79048 x >= -15414 x < 120277 x > -94308 x <= 110667 x > -103586 x <= 115093 x >= 8056 x < 119457 x >= -69114 x <= 122092 x > 30382 x < 114198 x < 116200 x < 122431 x <= 114449 x <= 115716 x <= 111482 x >= -83915 x >= -120538 x < 110603 x >= -93049 x < 120560 x <= 111501 x > 53705 x < 116683 x >= -85466 x > 77016 x > 38585 x <= 122275 x < 120795 x <= 120008 x >= 38942 x <= 113011 x <= 116513 x <= 114706 x >= 20146 x < 116596 x >= -20594 x < 109971 x >= -14157 x <= 119308 x <= 110353 x > -26078 x > -107131 x > -68081 x >= -8715 x < 119352 x > 77454 x > -115790 x <= 111864 x <= 110968 x < 121570 x <= 115967 x < 120517 x >= -99323 x > -28900 x < 119662 x <= 113725 x >= -88363 x < 120535 x <= 122791 x < 122848 x > -84861 x >= -72285 x > 31339 x >= -81662 x < 109386 x < 122029 x <= 112467 x <= 120483 x >= 76124 x <= 123182 x > -83067 x <= 121747 x <= 111901 x > -77794 x >= -52807
Output
77455 <= x <= 109385

Be careful Validator
Input
48 x > 26575 x >= -11179 x > -111237 x >= -98209 x >= -32134 x >= -656 x > -16487 x >= -107104 x > 57991 x >= 17146 x > -3365 x >= -120142 x >= 53527 x >= -30535 x > 30432 x > -11789 x > -107531 x >= -106209 x > -54080 x > -53480 x >= 59528 x > -27777 x >= -48019 x > -107498 x > -2477 x >= 34582 x > -22814 x > -57803 x >= 27961 x > 51851 x > 67133 x > -63702 x > -114581 x > -59947 x >= 41710 x > 32665 x >= 794 x >= 65574 x <= 123456 x > -103632 x >= 58989 x >= 65946 x >= 1313 x >= -6380 x > 17748 x >= -77987 x > -112235 x > -103030
Output
67134 <= x <= 123456

Be careful Test
Input
56 x <= 100031 x < 90804 x <= 99019 x < 110684 x <= 90862 x <= 113428 x < 110948 x <= 95602 x <= 107857 x <= 110374 x <= 98074 x <= 103825 x <= 93802 x <= 114437 x <= 107576 x <= 118802 x < 109549 x <= 96197 x >= -123456 x <= 100262 x < 115817 x < 104414 x < 118431 x < 92720 x < 112412 x < 90536 x <= 102559 x < 112604 x <= 123350 x < 103384 x <= 96875 x <= 97591 x <= 89174 x <= 112081 x <= 91079 x <= 112496 x < 100534 x < 103789 x <= 105073 x <= 96467 x <= 122710 x <= 95674 x <= 92964 x < 100194 x < 107465 x < 120223 x <= 101661 x < 117228 x < 113365 x <= 98525 x <= 101574 x < 103984 x < 113154 x <= 89462 x <= 120068 x <= 111423
Output
-123456 <= x <= 89174

Simple change Validator
Input
100 x <= 122265 x < 116460 x >= -114783 x >= -91702 x <= 122146 x > -97068 x >= -113466 x <= 121491 x < 117290 x >= -67889 x <= 120383 x >= -98097 x <= 118240 x < 120444 x < 123078 x <= 116512 x > -86204 x >= -101241 x <= 120700 x < 119099 x <= 117471 x < 117911 x > -67666 x < 117597 x <= 123357 x <= 118979 x < 121410 x > -84344 x < 119342 x <= 120939 x <= 120417 x >= -121806 x < 120898 x >= -111952 x <= 121668 x >= -70727 x < 120710 x < 118650 x >= -117325 x < 121672 x > -70812 x >= -115372 x >= -97215 x <= 123209 x <= 123087 x > -106422 x < 119451 x > -119715 x < 118849 x <= 119380 x > -96528 x < 122414 x <= 122202 x > -120024 x < 117030 x < 117203 x <= 117028 x < 119404 x >= -87558 x > -94819 x >= -102870 x < 122161 x < 119634 x >= -119274 x < 120004 x > -113372 x < 121271 x <= 120609 x <= 121057 x < 123057 x >= -81181 x > -74855 x > -75482 x < 121818 x < 122176 x < 121677 x > -103693 x > -93031 x < 116649 x > -114347 x > -67707 x < 119698 x >= -86543 x > -111079 x < 121010 x > -86663 x >= -84627 x >= -103333 x < 121367 x < 122429 x > -76407 x >= -120672 x >= -82267 x > -116316 x > -76089 x > -76456 x <= 120030 x <= 116509 x > -122589 x > -122436
Output
-67665 <= x <= 116459

Solution language

Solution

Stub generator input