se 3 = -3*w, 14 = -0*d + 4*d - 2*w. Let k be d - (14/6 + -3)*-3. Which is smaller: z or k?
z
Let x be 1 - 5 - ((-1624)/2842 + (-90)/14). Let t = 4703/84 - 396/7. Are t and x nonequal?
True
Let s = -0.185 + -0.45. Let b = 119.365 - s. Which is smaller: b or 2?
2
Let y be 624/(-416)*80/(-3). Is y greater than or equal to 44?
False
Let n = -138 - 77. Let q = -217 - n. Which is smaller: 1/56 or q?
q
Let h be -3 - ((-393)/57 - (-14)/(-133)) - 11993. Is -11989 at most as big as h?
True
Let y be (-26)/(-10) - 1/2. Suppose 0 = i + 3*n + 27, 0*i - 2*i - 49 = 5*n. Let c be 15/9 - (-8)/i. Is y bigger than c?
True
Let j be (-2)/(-7) + 9345/49. Let c(v) = -591*v - 5129. Let o be c(-9). Is o != j?
True
Let z(r) = 74*r - 42. Let t be z(13). Is 917 at most t?
True
Let s be 17762 + -14*((-915)/70 - -13). Which is smaller: s or 17764?
s
Let o be 1830/855 - ((-2)/12*2 - -2). Suppose 0 = 5*n + 5*r, -2*n - 2*n + r = 0. Is o bigger than n?
True
Suppose -2*d - 4*d = 0. Let u = 171 + -8377/49. Is d at least u?
False
Suppose 6*q - 1578 = 2556. Suppose -51 - q = 4*s. Let d be 2/s*(-3 - 2). Is -1 greater than or equal to d?
False
Let x = 1129 + -960. Let h = -5 - -5. Which is bigger: h or x?
x
Let y(s) = s + 20. Let q be y(-14). Let r be 2 - 0 - (4*369)/q. Let m = r - -2681/11. Which is bigger: m or 0?
0
Let y be (3/2141)/(7*24/(-56)). Is -1 greater than y?
False
Let o = 27667 - 2130353/77. Suppose -2*s = 2*s. Is s greater than o?
False
Let q(j) = -2*j - 144 - 150 + 278. Let d be q(-6). Let n(h) = h**2 - 6*h - 3. Let o be n(d). Is 37 at most o?
True
Let a = 20888 - 146213/7. Is 16/5 at least a?
True
Suppose 5*s - 3 = 2. Let v be (s - -1) + (-3)/15. Let j(f) = f**2 + 22*f + 87. Let q be j(-17). Is v >= q?
False
Let o = -51 + -102. Let p = o - -153.2. Which is greater: 28 or p?
28
Let h(z) = z**3 - 8*z**2 - 9*z + 1. Suppose -2*m + 4*s + 22 = 0, 0*m - 4*s = 3*m - 23. Let u be h(m). Let k = 81/2 + -39. Which is bigger: u or k?
k
Let k = -298 + 317. Let a be ((-4)/(-5))/((-14)/(-1260)). Suppose -10*s = -6*s - a. Which is smaller: s or k?
s
Suppose -15 + 120 = 3*o. Let t = o + -29. Suppose -4*s - 2*c + t*c = -16, -3*s = -5*c - 4. Which is smaller: 9 or s?
s
Let x(n) = 6*n**3 + 9*n**2 - 7*n - 1. Let w(y) = 7*y**3 + 10*y**2 - 8*y - 2. Let k(h) = 4*w(h) - 5*x(h). Let a be k(-5). Is 215/2 at most a?
False
Let w(h) = -6*h**2 + 5*h + 4. Let y be w(-2). Let k be (y/(-60))/((-1)/(-2)). Which is smaller: -3/7 or k?
-3/7
Let h(s) = -4*s - 43. Let c be h(-10). Let x be (c + 1)/(-2*2/(-26)). Is -17 < x?
True
Suppose 0 = n + 377 - 954. Let b = n - 7503/13. Which is smaller: b or 0?
b
Let q(o) = -136*o**2 + 4*o + 4. Let f be q(-1). Let b be (f/260)/2 + (-9)/(-45). Which is smaller: 0 or b?
b
Let t = 974 + -968. Suppose 6 - 1242 = t*n. Which is smaller: n or -205?
n
Suppose -1085 = -4*o - 1089. Which is smaller: -216 or o?
-216
Suppose 3*j + 6*a = 2436, 0 = 2*j - 58*a + 56*a - 1654. Is j bigger than 822?
False
Let h(m) = -m**3 + 21*m**2 + 51*m - 278. Let f be h(23). Suppose 0*a + 2*a + 328 = 0. Which is smaller: a or f?
a
Suppose 478981 + 57485 = 159*q. Which is smaller: q or 3373?
3373
Let x(k) = 2 + 3 + 3 - 3*k**2 - 4 + 41*k. Let q be x(16). Is q < -107?
True
Suppose 15*x = 6332 - 4872 - 34070. Does -2174 = x?
True
Let w(n) = 2*n**3 + 24*n**2 + 42*n + 354. Let k be w(-12). Let m = 104 + -255. Which is smaller: m or k?
m
Let p be (-253)/(-161) - (-20)/(-35). Which is greater: p or -16/321?
p
Suppose 7*r + 2172 = 3075. Which is smaller: 119 or r?
119
Let o(l) = -l**3 - 8*l**2 - 4*l + 24. Let c be (1/(-2))/(9/(132 + -6)). Let x be o(c). Let j(h) = h**3 - 7*h**2 + 6*h + 6. Let n be j(6). Is x greater than n?
False
Suppose -x + 2*b + 11 - 133 = 0, -5*x - 2*b - 574 = 0. Is x at least -132?
True
Let u be (2/8)/(13/(-4)) - (-110)/((-238810)/(-87007)). Let j be (-2)/6 - 248/(-6). Is j not equal to u?
True
Let q = 81 + -40. Let o(v) = 35*v + 110. Let k be o(-2). Does q = k?
False
Let a be (-9)/(-3) - 60/15. Is 4/1197 < a?
False
Suppose -2*p = -2*j + 2182, 48*p = 47*p - 2*j - 1100. Is p < -1090?
True
Let k = 320 - 312. Suppose 24 = 4*l - 4. Suppose 5*s = l*s - 20. Is k <= s?
True
Let d be (-6)/(-45) + (0 - 29072/218940). Is -1 >= d?
False
Let x be ((-7815)/(-3) + 2)/(4 - (-24)/(-8)). Is x less than 2607?
False
Let g be (-6)/14332*(1232/(-33))/(-14). Is 0 < g?
False
Let m be (-2)/13 - ((-11761708)/(-992810) - -1 - 13). Are -1 and m unequal?
True
Let h = -7522 + 8449. Is h less than 2783/3?
True
Let o = 973/666 + 7/74. Let y(m) = 5*m**2 - 14*m - 2. Let a be y(3). Is o greater than or equal to a?
True
Let t = 77.26 + -77. Let n = 0.26 - t. Which is smaller: -0.76 or n?
-0.76
Let v = 27630 + -27502. Is v greater than 103?
True
Suppose 9*w + 6 = 11*w. Suppose -2*d = w*d - 2*a + 350, 210 = -3*d + 4*a. Let r = d - -59. Which is smaller: r or -12?
-12
Suppose f = -5*r - 298 - 2, 4*r + 240 = -5*f. Let w be ((-40)/r)/(79/3). Is w at most as big as 1?
True
Let x = 57 + -79. Let v = x + 24. Let w be (-21)/v*(-12)/(-9). Is -1 <= w?
False
Suppose 754 - 1683 = -9*w - 587. Which is bigger: 1104/29 or w?
1104/29
Let v = 88723/29778307 + -11/7661. Is v >= -1?
True
Suppose -4*u + u = -2*k + 32, -16 = -k - u. Suppose 6*d - 5*d = -56. Let m be 0/(-5) + d/(-4). Is m < k?
True
Let j be (-9)/((-117)/560) - 8/104. Let i(g) = 3*g + 8. Let t be i(12). Which is greater: t or j?
t
Suppose -4*s + 4*n = 8, 3*n = -3*s - 10 - 26. Let u be s/9 - 22/99. Let k = -1113/37664 + -2/1177. Which is bigger: k or u?
k
Let y be (-8)/2*54/(-4). Suppose -65*v + 714 = -51*v. Are v and y equal?
False
Suppose k - 264 = o, 3*o + 782 = -3*k + 4*k. Let t = o - -258. Which is smaller: t or 2/37?
t
Suppose 47*r = -1582 - 1849. Is r > 8?
False
Suppose 5*x + 5 = -0*k + 5*k, -5*x = -3*k + 1. Let f = x + -1. Which is smaller: f or -27?
-27
Let x(k) = 61*k**2 - 222*k + 2311. Let d be x(10). Is 6190 less than d?
True
Let b = -6938/13 - -534. Let v(p) = p**3 + 3*p**2 - 42*p - 127. Let u be v(-3). Which is bigger: b or u?
b
Let m be (-236736)/(-208)*(0 - 1/3686). Let d = -2/1843 - m. Which is bigger: d or 1?
1
Suppose 316 = -2*z - 4*d, 0 = 5*z - z - 4*d + 668. Let k = 184 + z. Which is smaller: 23 or k?
k
Let s be (-213)/(-884) + 3/(-12). Let b(u) = 2*u**2 + 13*u + 3. Let x be b(-7). Suppose 0 = -5*a - l + 2, x*l = -5*a + 6*l - 7. Which is greater: a or s?
a
Let u = 1030.19615 - -57541.89685. Let l = -58607 + u. Let k = l - 0.093. Which is smaller: 2/9 or k?
k
Let q = -11719 - -17522. Let d = 98735/17 - q. Does d = 6?
False
Let j be ((-876)/(-730))/(4/(-3)). Let i = -383 - -11483/30. Let s = j - i. Is s > -0.051?
False
Suppose -192*y + 207*y = 12825. Is y less than 856?
True
Let i be ((-30)/460)/((-4)/8). Is -354 greater than i?
False
Let y = 559 + -2077. Is -1519 at most as big as y?
True
Let p = -128 + 128.1. Let r be 929 + (-25)/(-5) + -1. Let t = 4716/5 - r. Which is smaller: t or p?
p
Suppose -4*q - 4*t = t - 296, 2*q - 148 = t. Let o = 141 - 68. Is q bigger than o?
True
Let s be ((-372)/(-42) - 6)*-2. Suppose 0 = 2*x + 3*m - 20, 4*m - 20 = -m. Let u = -3 - x. Which is greater: s or u?
s
Let v = -22471 + 2134767/95. Is 1 smaller than v?
False
Let m be 24/(-5) + (415/(-249))/(1/(-3)). Are m and 821/2 non-equal?
True
Suppose 14*x = 15*x - 4*a + 566, 2*x - a + 1097 = 0. Let f = x + 1087/2. Let m = 5.89 + 0.11. Is m smaller than f?
False
Let f = -170.192 - -171. Let z = f + 0.192. Let o be (-7)/18 - 1/2. Which is smaller: z or o?
o
Suppose 20 = -19*i + 30*i + 3*r, -4*i + 7 = r. Are -3 and i non-equal?
True
Let t be ((-2)/(1/(-1)))/(6/24). Suppose 160 = 5*l - 4*j, -4*l = -t*l + 5*j + 137. Is l >= 31?
False
Let l = 1/129 + 251/903. Let h = 323.0468 - 0.0468. Let j = h - 322.91. Which is smaller: j or l?
j
Let p be (-2)/7 - 16032/(-840) - 16/(-80). Let h = 40 - 20. Which is smaller: h or p?
p
Let c(i) = -i**3 - 15*i**2 + 14*i - 97. Let l be c(-16). Is l equal to -64?
False
Let i = 366 - 368. Let o be (10/((-40)/(-2)))/(i/64). Is -13 >= o?
True
Suppose 5*j = -604 + 184. Let n = j - -212. Is 128 less than n?
False
Let h = 2.8699 - 1.8699. Which is bigger: h or 10/791?
h
Let g be 620/(-248) + (-36)/(-24). Let y = -9754/15 + 650. Are g and y unequal?
True
Let c(n) = 26*n + 223. Let s be c(-60). Which is bigger: -1336 or s?
-1336
Let t = 7469 + 6097. Is t at lea