1. 3X+1<3(X+19)+1 2X+7≥2(X+14)+92. 6X+6<7(X+2)+1 2X-11<6(X-5)-13. 7X-10<4(X-13)-3 5X-3≤5(X-2)-94. 6X+9>1(X+5)+2 3X-7>6(X-13)-45. 6X-1<7(X-11)-1 3X-19>5(X-19)-46. 5X-19>6(X-13)-6 2X-5>6(X-16)-67. 5X-18<1(X-14)-2 5X+4≤4(X+17)+68. 3X-13≤2(X-16)-5 3X+18<5(X+19)+19. 2X+6<1(X+7)+5 6X+12<1(X+10)+510. 5X-1<4(X-20)-7 4X+14≤4(X+9)+211. 5X+18≤1(X+6)+6 2X-3≤1(X-9)-612. 7X+7<1(X+7)+4 2X-1>5(X-19)-113. 7X-16<3(X-2)-3 4X-2<3(X-5)-214. 6X-5<7(X-3)-7 2X-18≥2(X-20)-315. 6X-10≤6(X-7)-9 2X-16≤6(X-10)-816. 7X-19≥6(X-7)-9 1X+5≤2(X+11)+317. 5X+14≥6(X+13)+5 7X-8≥3(X-3)-418. 5X+19<6(X+14)+2 5X-4≥2(X-18)-519. 3X+15<4(X+12)+8 5X+17<4(X+17)+420. 6X+7≥3(X+10)+6 2X-13≥3(X-12)-521. 4X-4≥1(X-8)-2 7X-10≥1(X-11)-222. 3X+16<3(X+4)+6 6X+9≥5(X+2)+323. 7X+20≥4(X+18)+10 7X-13<2(X-15)-224. 7X+5<4(X+19)+6 7X+17≤3(X+7)+325. 1X-15<4(X-14)-2 4X-8≥6(X-12)-926. 5X-7≥7(X-2)-3 6X+8≤7(X+7)+927. 4X+19≥2(X+18)+7 4X-12<1(X-17)-728. 4X-10<1(X-7)-1 3X+12>5(X+11)+329. 6X-18≤4(X-16)-10 3X-11>6(X-14)-730. 3X+9≥7(X+1)+5 3X-2<6(X-20)-631. 5X-15>4(X-18)-1 2X-8<6(X-16)-832. 2X-6≤7(X-3)-7 2X+7<1(X+19)+233. 2X-5≤2(X-6)-10 4X-7>1(X-11)-634. 4X-13<4(X-16)-7 4X-13<5(X-8)-735. 4X-12<6(X-18)-1 2X+1<4(X+17)+1036. 6X+6<4(X+20)+10 2X+7≤1(X+13)+437. 4X-3>4(X-6)-8 7X+3≥1(X+19)+138. 6X+18≤2(X+11)+2 2X+18>6(X+4)+539. 2X-16≥7(X-11)-4 1X+5≥3(X+1)+640. 7X-19≤4(X-10)-1 3X-19<1(X-3)-541. 6X-5<1(X-7)-2 5X+14<3(X+16)+642. 6X+18≤1(X+8)+6 7X-14<5(X-1)-943. 7X-20≤1(X-7)-10 6X+1≥1(X+20)+744. 2X+2≤5(X+14)+8 7X+11≤4(X+13)+845. 3X+4>6(X+11)+4 2X-12≤1(X-1)-646. 2X-6≥7(X-18)-9 1X+6≥7(X+12)+647. 6X+14<7(X+20)+2 5X+15<1(X+13)+1048. 5X+8≤6(X+13)+8 4X+16>2(X+20)+449. 7X+10≤3(X+1)+6 1X-6≥7(X-14)-950. 1X+7<1(X+9)+4 7X+15<4(X+18)+851. 3X+7≥7(X+4)+1 3X-11<6(X-14)-952. 7X-4<1(X-13)-3 6X-13<3(X-2)-753. 5X-13<4(X-14)-7 4X+2<7(X+4)+954. 2X-3>3(X-8)-1 1X-19>1(X-13)-1055. 3X+20≥5(X+5)+4 2X+14≤4(X+17)+256. 7X+3≥2(X+16)+1 5X+19≤7(X+1)+1057. 1X+20>4(X+14)+4 7X+8>7(X+4)+658. 3X+9≥4(X+17)+9 4X+5≤1(X+13)+759. 6X+1≥2(X+15)+5 4X-16≤2(X-8)-360. 7X+4≥1(X+15)+3 1X+20≤5(X+12)+161. 3X-9≥4(X-19)-2 1X-4≥2(X-4)-162. 4X-5>6(X-17)-4 3X-1>4(X-2)-363. 3X-4≤4(X-20)-7 2X+12≤7(X+9)+264. 4X-8≥1(X-13)-7 3X+4≤6(X+16)+865. 5X-19≥1(X-20)-3 2X-3≤3(X-9)-766. 4X-19<5(X-14)-10 2X+2≤5(X+11)+1067. 4X+9<5(X+9)+5 1X+1≤3(X+13)+668. 3X-9<2(X-2)-4 2X-5≥7(X-5)-569. 4X+1>2(X+9)+1 6X-17≤3(X-15)-370. 2X-20>6(X-4)-7 7X+6≥7(X+17)+371. 5X+10≤7(X+17)+9 3X+5>5(X+20)+1072. 7X+9<1(X+11)+1 2X+13<4(X+8)+673. 4X+9≤5(X+14)+9 2X-12<6(X-11)-1074. 7X-14≤7(X-18)-5 7X+5≥2(X+2)+975. 5X+1≤6(X+7)+8 3X+4>6(X+7)+476. 5X-20≤1(X-9)-2 2X-12>5(X-16)-777. 3X+14>3(X+2)+9 5X+4<2(X+15)+1078. 3X+8≥2(X+15)+6 1X-11>3(X-13)-579. 5X+15>5(X+3)+6 6X-18≤1(X-4)-680. 4X-8≥5(X-6)-8 2X+11≤5(X+4)+681. 6X+2<7(X+19)+9 6X+13≥2(X+2)+682. 4X-4>4(X-16)-9 6X+8≤1(X+17)+983. 7X+18≤6(X+9)+10 3X-16<1(X-18)-284. 1X-19≤1(X-18)-8 5X-10≥3(X-9)-685. 4X-13≤3(X-9)-2 2X-17<3(X-7)-186. 1X-16<7(X-8)-9 2X+13<2(X+6)+287. 6X+4>4(X+1)+5 1X+14>3(X+13)+788. 4X-6≥1(X-18)-5 5X+17<6(X+14)+289. 7X+20<3(X+11)+7 4X+4<4(X+3)+390. 5X+15<3(X+19)+10 1X-14>3(X-17)-791. 5X-5≥5(X-12)-10 6X-16≥4(X-7)-792. 1X-6≥4(X-9)-5 3X-12≥6(X-2)-1093. 7X+10<4(X+12)+10 1X-1>2(X-7)-794. 6X+12≥4(X+2)+10 7X+3≤3(X+14)+195. 5X+7≥1(X+13)+1 5X-5≤1(X-4)-596. 3X+16<4(X+19)+9 3X-2≤7(X-1)-497. 1X-13<2(X-15)-7 3X-18>6(X-19)-698. 7X-4≤5(X-4)-3 1X-2<6(X-11)-299. 5X+13≤1(X+6)+5 1X+19<3(X+2)+5100. 5X+16<2(X+19)+4 6X-2≤6(X-1)-91. 1X-8<7(X-12)-5 5X+6>4(X+20)+82. 4X-13<3(X-14)-6 1X+18<3(X+17)+63. 5X+17<1(X+5)+8 2X-2<7(X-8)-84. 4X-16<5(X-17)-9 1X-14>2(X-5)-15. 5X-8<4(X-2)-8 2X+6<2(X+10)+16. 2X-19≤7(X-9)-1 7X+13<1(X+18)+67. 4X+19<1(X+1)+6 1X-4<1(X-4)-58. 7X+11≥5(X+1)+6 2X-5<2(X-11)-59. 1X-13≥5(X-18)-2 5X-12<3(X-6)-510. 4X+20≥5(X+14)+9 1X+6≥5(X+17)+811. 1X-10>4(X-9)-3 5X-15>4(X-11)-312. 7X+19>1(X+9)+7 4X+17≤5(X+17)+1013. 2X+20<5(X+15)+8 4X-14>2(X-7)-514. 2X+17≥3(X+5)+3 6X+3≥2(X+8)+315. 7X+6≥6(X+5)+8 6X+20>7(X+14)+316. 7X-4≤3(X-15)-3 4X-17>5(X-13)-917. 5X-20>2(X-10)-4 2X-6>2(X-13)-318. 5X-11≤5(X-17)-2 1X+17≤5(X+20)+219. 3X-7>4(X-12)-3 6X+13>4(X+15)+320. 2X-12≥3(X-17)-5 6X-5≤5(X-15)-221. 7X-8≤2(X-12)-7 3X-2>4(X-10)-322. 4X+20>5(X+20)+7 6X+14>2(X+9)+923. 4X-5≤5(X-2)-4 4X+18<3(X+2)+224. 4X+16≤4(X+9)+1 3X+17<7(X+13)+325. 3X+15≥3(X+11)+6 3X-8<1(X-10)-626. 4X+6≤2(X+17)+5 7X+19>4(X+15)+127. 3X+18<4(X+16)+4 3X+11>2(X+13)+728. 4X-10<3(X-4)-1 7X+3≥5(X+1)+729. 1X+1≤6(X+9)+6 2X+3>6(X+14)+230. 3X+1>6(X+4)+6 6X+14<1(X+2)+331. 7X-12≤3(X-9)-1 1X-20>6(X-18)-132. 2X+6≥2(X+20)+7 1X-19<7(X-18)-733. 2X+5≥3(X+4)+8 5X+18≤5(X+1)+534. 3X+12<6(X+12)+7 7X+5≥1(X+10)+435. 7X-11>4(X-12)-10 6X-12≤5(X-6)-736. 1X+6≤2(X+17)+4 1X-7≤3(X-9)-437. 7X+15<7(X+8)+5 6X+3<3(X+16)+938. 7X-9≤6(X-19)-5 1X-18>1(X-20)-539. 1X+3≥4(X+2)+1 7X-4≥5(X-16)-840. 1X+10≤1(X+1)+9 1X-6≥5(X-14)-241. 5X+12<4(X+20)+7 1X+13≤1(X+13)+1042. 5X-18≥2(X-4)-6 1X-18>7(X-17)-1043. 6X-7>5(X-16)-9 5X+8≤5(X+11)+444. 5X-1≥4(X-8)-7 4X+2<4(X+2)+445. 7X+15≥6(X+1)+9 1X-12>3(X-16)-946. 1X-5≥1(X-16)-7 7X-6≥2(X-8)-647. 7X-18>2(X-15)-3 1X-14≥6(X-10)-448. 4X+15≤3(X+4)+5 3X-3>5(X-13)-949. 3X+9≥2(X+15)+5 5X-5>3(X-1)-850. 7X-6<3(X-4)-6 6X-15<5(X-14)-851. 1X-3≤4(X-1)-9 7X+10≤2(X+19)+1052. 5X-19≤7(X-18)-9 4X-7≤2(X-8)-153. 7X-8>7(X-20)-5 6X-16>2(X-10)-754. 5X+17>3(X+2)+6 6X-13≥7(X-17)-755. 2X-14≤4(X-11)-8 1X-2≤7(X-20)-256. 4X+2<5(X+1)+2 4X+13>6(X+6)+757. 6X+14≥3(X+20)+8 5X+2≥6(X+8)+258. 1X+11>5(X+18)+10 7X+19>1(X+6)+559. 4X-8≤6(X-7)-2 3X-4>4(X-10)-360. 6X-11≥5(X-6)-10 4X-7≤3(X-10)-261. 6X+15<2(X+19)+10 7X+11≤6(X+14)+1062. 6X+7>4(X+19)+9 5X-16≤6(X-8)-163. 7X+4≥6(X+16)+2 1X+6>6(X+15)+664. 3X-15≤5(X-2)-6 1X-18>5(X-2)-265. 3X+6≤5(X+10)+3 5X-2<6(X-15)-666. 3X+19<6(X+11)+10 1X+14≥4(X+14)+167. 3X+9<7(X+5)+5 2X-5≥5(X-9)-768. 2X-9>4(X-20)-2 1X+4≥2(X+2)+569. 3X+20>3(X+7)+8 4X+4>7(X+5)+370. 6X-19≥1(X-9)-8 6X-11≥3(X-13)-271. 7X+9≥5(X+11)+8 2X-12<2(X-12)-772. 4X-8>3(X-14)-5 7X-20<1(X-1)-173. 2X+16≤2(X+5)+6 7X+19<2(X+3)+474. 6X-13≥2(X-16)-2 4X+16>2(X+12)+375. 4X-8≤3(X-18)-5 2X+11<3(X+16)+376. 7X+15≥3(X+16)+10 5X+18>3(X+16)+677. 7X-14≤5(X-18)-3 4X+16≤2(X+18)+178. 6X-20≤5(X-17)-3 7X-10>4(X-9)-579. 1X+14≤1(X+10)+5 5X-5>6(X-13)-580. 6X-9>2(X-12)-7 1X+11≤7(X+20)+681. 3X+14≤4(X+18)+1 4X-17≥7(X-18)-182. 4X-16≥3(X-19)-10 2X+19>4(X+16)+1083. 6X+10≥6(X+10)+3 1X-20≤6(X-13)-984. 4X-11>4(X-17)-10 5X-2>2(X-12)-785. 3X-13≥5(X-7)-10 1X+16<5(X+4)+186. 4X+2>5(X+8)+8 1X-12<4(X-2)-287. 6X-3≤6(X-17)-5 3X+14≥1(X+10)+188. 7X-12<5(X-20)-1 3X+11≤6(X+18)+889. 1X-2<1(X-13)-1 2X-12<1(X-16)-790. 3X-2≥7(X-10)-7 4X-13≤6(X-2)-891. 4X-20≤4(X-18)-4 5X+11≤3(X+13)+192. 2X+20<6(X+15)+3 3X+18≤7(X+3)+293. 4X+9≤6(X+18)+9 7X-15≥1(X-12)-394. 4X+14<6(X+1)+3 5X+5<4(X+17)+1095. 1X+13<5(X+15)+7 4X-12>6(X-13)-596. 7X-5>7(X-13)-9 4X-19<2(X-12)-397. 1X+17≤6(X+2)+3 2X+14>2(X+20)+698. 1X+13>5(X+20)+5 2X+11≥6(X+8)+499. 5X+17<6(X+12)+1 6X+16≥7(X+3)+5100. 5X-8>2(X-1)-7 6X-6<3(X-8)-5
