 at least as big as -1?
True
Let w = 113 - -1328. Is w at most 0?
False
Let g = 1.9 - 2. Let z = -209 + 836. Let s = z - 628. Which is greater: g or s?
g
Let g = 116/91 - 11/13. Let z = 11.61 - 11.6. Which is smaller: g or z?
z
Let c be (586/(-10) + 1)*290/87. Which is bigger: -0.3 or c?
-0.3
Let q = 262207159/1866634 - -1/109802. Is q smaller than 140?
False
Let m be -1*1053 + (-36 - -29). Which is greater: -1061 or m?
m
Let o be ((-18084)/(-90))/(1*(-19)/(-190)). Is o at least as big as 2010?
False
Let n = -0.78 - -49.78. Let d = n - 65. Let v = d - -16.1. Is v greater than or equal to 16/7?
False
Let q(f) = -5*f**3 + 180*f**2 + 5*f - 180. Let x be q(36). Is 6100 greater than or equal to x?
True
Let s = 2420 + -2418.3. Is s >= 147?
False
Suppose -211*r = -220*r + 180. Suppose 38 = r*p - 58*p. Suppose -2*d + 6 = 2*z - 5*d, -2*z = 5*d - 6. Is p bigger than z?
False
Let v be 3 - (-4 + 1/1). Let g be v/(-16) + (-11928)/(-64). Let w be 27/g*(-16)/12. Is 0 smaller than w?
False
Suppose -4*f - 141*l + 140*l + 1362 = 0, 5*f + 2*l - 1701 = 0. Which is smaller: f or 345?
f
Let q(i) = -i**3 - 7*i**2 + 19*i + 9. Let z be q(-9). Let v(h) = -2*h - 51. Let g be v(z). Let a = 3 + g. Is -48 < a?
False
Let a be (28046/2602 + -10)*-9 + 7. Which is greater: 0 or a?
0
Suppose 162*f - 5290630 = 38*f - 34*f. Is 33484 greater than or equal to f?
False
Suppose 468*a = -2503743 + 385107. Which is smaller: -2/3 or a?
a
Let n = -12517 - -11495. Are n and -1017 unequal?
True
Let n(v) = -v**3 + 7*v**2 - 2*v - 17. Let j be n(7). Suppose -144 - 24 = -4*g. Let i = j + g. Is i < 5?
False
Let o(g) = -g**2 + 3*g - 1. Let l = 10 - 9. Let k be o(l). Let v be -2*(-4 + 5) + k. Which is bigger: v or -15/8?
v
Let d = -20256 - -20370. Is 168 greater than d?
True
Let r be (38/(-228))/(1638/4 + (-6)/(-3)). Are -0.2 and r unequal?
True
Suppose -3*m = 55 - 4. Let n be 7*(2*4 - (-60 - -67)). Let l be m + n + (-3)/(-1). Is l < -7?
False
Let o(d) = -d**3 + 33*d**2 - 194*d + 308. Let b be o(26). Which is smaller: 809 or b?
b
Let g = 6575270/17 - 386500. Let w = g + -281. Which is smaller: w or 0?
w
Let h = 16 - 207/13. Let c = -363 + 358. Let l be 2 + (-19)/6 - c/10. Which is smaller: l or h?
l
Suppose -330 + 309 = 3*r. Which is greater: r or -940?
r
Let r = -18506 + 18501. Is -2.23 equal to r?
False
Let b be (-2)/(-9) - (-8)/18. Let v = 8.3 + 10.7. Let k = v - 39. Is b <= k?
False
Suppose -29*h + 27*h - 3*g - 30 = 0, -14*g = h + 140. Let t = -24/7 + 151/42. Which is smaller: h or t?
h
Let p = -238 - -734. Suppose -5*s + 489 = -p. Which is bigger: 196 or s?
s
Suppose 123*l + 190 = 1580 + 455. Let d = 58 + -29. Suppose -5*g + d = -16. Do l and g have the same value?
False
Let f = 1 - 4. Let d = 328.91 - 296.91. Is f smaller than d?
True
Let u = 0.74197 - -2.25803. Let h(k) = 2*k**2 + 9*k - 7. Let y be h(-7). Let g = y - 82/3. Is u > g?
True
Let y = 137/78 + -62/39. Let a = 27 - 24. Which is smaller: y or a?
y
Suppose 3*g - 18 + 0 = 0. Suppose 2*j = -g*y + 2*y + 16, y - j = -2. Let i = -5 - y. Which is smaller: i or -1?
i
Let y = -1140 + 1054. Suppose -j + 174 = -3*j. Which is smaller: j or y?
j
Suppose 4*t = o + 211, 16*t - 14*t = -8. Are o and -230 unequal?
True
Let d(c) = c**3 - 23*c**2 - 18*c - 108. Let k be d(24). Suppose -4*n + 3*v = k - 448, 3*n + v - 296 = 0. Which is smaller: n or 99?
99
Let p = -81.5748 - -2.5748. Do -0.002 and p have different values?
True
Let u be 427 + -442 - (-22656)/1510. Which is smaller: u or 0?
0
Suppose b = -5957 + 5952. Suppose 6 = 5*s + 56. Let g be s/45 - (-86)/(-18). Is g greater than b?
False
Let t(i) = 70*i**2 + 9*i + 8. Let o be t(6). Which is smaller: o or 2580?
2580
Let r be 1302*(8/32 + (-5)/(-12)). Suppose 26*l + r = -1498. Which is greater: l or -92?
l
Let i = 0.6601 - 11.7801. Let x = 28 - 27.12. Let u = i - x. Is 1 greater than or equal to u?
True
Suppose 13*f - 14*f - 77 = 0. Let a = -75 - f. Let t be (4 - (-2215)/(-510)) + a/12. Which is smaller: t or 0?
t
Let f = -626/159 - -9076225/2305182. Is 0 at most as big as f?
True
Let p be 22 + 21/(-7) - (4 + 1). Let c be (-3)/(-9)*-1*-18. Suppose q + c = p. Which is bigger: q or -0.1?
q
Suppose -4*j - 73 = 239. Let p be (-5 + 6 - -18)*12. Let x = 151 - p. Which is bigger: x or j?
x
Suppose 5*x - 23 = -8. Suppose 12 = 35*h - 37*h. Let d be h/8*80/(-60). Which is bigger: x or d?
x
Suppose 3*z - 5*f + 456 = 0, 16*z = 17*z + 5*f + 152. Let k = z - -134. Which is greater: k or -35/2?
-35/2
Let w be (63/84)/(1/3708). Is 2780 greater than or equal to w?
False
Suppose 28 = -2*h + 46. Suppose k + 0*k - 5*l - h = 0, 0 = 2*k - 2*l - 2. Is -212 not equal to k?
True
Suppose -13*v - 511 = 3623. Is v equal to 15?
False
Let l = -2712 + 700. Is -2012 not equal to l?
False
Suppose d - 3 = 0, -142*v = -137*v + 3*d - 2039. Are 406 and v non-equal?
False
Let t = 109 - 305. Let c = t - -194. Which is greater: -128 or c?
c
Let m(x) = 3*x**2 - 3*x - 8. Let f(u) = -5*u**2 + 7*u + 17. Let b(l) = 4*f(l) + 7*m(l). Let s be b(-5). Let v = 73 + -70. Which is greater: v or s?
v
Suppose 4*u - y + 13 = 0, -2*u + 5*y = 3*u + 20. Let z = u + 44. Let c be (1*-3)/(-4 + z/11). Is c != 14?
True
Suppose u - 10 = 3*m, -4*m = -3*u - 7*m + 66. Suppose -3*q + 25 = u, c = 3*q + 13. Which is greater: 58/3 or c?
58/3
Let y be 2366/(-13572) - (-3)/18. Which is smaller: 17 or y?
y
Let r = -3010.9592 + 3011. Which is bigger: -2/13 or r?
r
Let o be -6 - ((-52)/(-91))/((-2)/(-7)). Let z be 3/((2940/o)/(-5)). Let l = z + 437/98. Which is smaller: 5 or l?
l
Suppose -4*f + 7*f - 1128 = -3*b, b - 4*f = 356. Let m = 3352/9 - b. Suppose 4*j - 2*j + 2 = 0. Which is smaller: m or j?
j
Let y = 529/2 + -263. Let a = 11/6 + y. Is a less than -2/11?
False
Suppose 101*x + 4060 = 115*x. Let u = x - 382. Let w(y) = -5*y**2 + 4*y + 3. Let p be w(-4). Which is smaller: u or p?
p
Let f be 30*1270/(-160) + (-6)/(-48). Which is bigger: -241 or f?
f
Suppose 31*x - 81 = 34*x. Let t = 107 + x. Is 80 < t?
False
Let o be ((-10)/4140*-20)/((-14)/(-6)). Is 1 greater than o?
True
Let k = 1779 - 215254/121. Let i = 298/1573 + k. Is i smaller than 0?
False
Let y(s) = s**2 + 3*s. Let v be y(-3). Suppose 13*d + 2*d - 1005 = 0. Suppose 82 = 5*g + d. Which is smaller: g or v?
v
Suppose -5*i + 270 = -2*i. Suppose -5688 = -137*k + 6642. Is k < i?
False
Suppose -10587*c + 10602*c = 345. Is 398/17 >= c?
True
Let v = 73 + -75.19. Let b = v - -2.1. Let l = -0.91 + b. Which is greater: l or -8?
l
Suppose 3*l + 4 = 5*l. Suppose -5 = -y, -7*y + 3*y + 14 = -l*i. Let o be -10*((-280)/(-192) + (-1)/i). Which is greater: -12 or o?
o
Let i = 8788 - 8788. Which is bigger: 19/765 or i?
19/765
Let h = 11 + -33. Let g be h/55*(-1035)/(-12). Let d = -35 - g. Is d greater than -1?
True
Let s be 4/18 + (-4)/18. Suppose 6*v - 4*v = s. Let t be ((-9)/285)/(6*(-8)/480). Which is smaller: v or t?
v
Let o = 107/63 - 142/63. Which is smaller: o or 91?
o
Let k = 1.55 - 36.35. Let f = k - -35. Let j = -6 + 2. Is j < f?
True
Suppose -a + 24 - 1387 = -2*b, -6763 = 5*a + 3*b. Which is bigger: a or -1356?
a
Suppose -62*h - 41*h - 1820 = -77*h. Does h = -480/7?
False
Suppose -6 = 7*o - 4*o, 0 = 2*k - 2*o - 8. Suppose -4*l - k*b - 126 = 0, -l - 3*b = 4*l + 158. Are -38 and l non-equal?
True
Let f(j) = -j**3 + 33*j**2 - 273*j - 56. Let s be f(26). Which is greater: -2426 or s?
s
Let b = 448 - 473. Let g(d) = -8*d - 198. Let v be g(b). Which is bigger: -122 or v?
v
Suppose 0 = 104*s - 96*s + 2368. Let n = s + 294. Is n equal to 28/5?
False
Let m = -178 + 53. Let c = 371/3 + m. Let o(y) = -2*y + 10. Let q be o(6). Is q < c?
True
Let k be (-228)/95*1/(-8)*(-4272)/36. Are -36 and k nonequal?
True
Let f = -84 + 304. Let x = f - 219. Which is smaller: 2/411 or x?
2/411
Let t = 296/25 + -1209/100. Are 508/7 and t non-equal?
True
Let x = 1.56 + -1.411. Let n = 1.149 - x. Which is bigger: 3/47 or n?
n
Let f = 45 + -27. Let y be ((-20)/(-15))/(10/165). Suppose -m = -4, -5*l - 5*m + y = -93. Is l < f?
False
Let z be -11 - (59418/(-5409) + 0). Is -1 less than or equal to z?
True
Let b = 88 + -91. Let y be b/(75/10)*695. Is y smaller than -277?
True
Let h = -2372 - -2370. Are h and -2/229 unequal?
True
Let f be (((-4)/6)/(-1))/((55/(-585))/11). Are f and -29 nonequal?
True
Suppose 2*j + j - 132 = 0. Suppose 37 = -2*u + 47. Let