(-62337)/7. Let r = z - -685. Which is bigger: 0 or r?
0
Let p = -10447 + 10447.111. Is p < 1/9?
True
Let q = 114 - 22. Let t = q + 63. Which is bigger: t or 154?
t
Let b be (-336)/(-15) + (-2)/5. Let v = 2.77 - 280.97. Let h = v + 278. Which is smaller: h or b?
h
Let r be 399*(1 + 2 - 1). Suppose 8 = 4*p, 4*y = 23*p - 19*p - 20. Let c be (-2)/y + (-595)/r. Is c equal to 1?
False
Let z be 4/(-8) - (-25)/(-10). Let l be 14/z*-5*(-24)/80. Is -8 at most l?
True
Let p be 14 + (-30 + 19)*467. Is -15365/3 bigger than p?
True
Let h = -10507.2 + 10508. Which is smaller: 619 or h?
h
Suppose 740 = -5*f + 3500. Let h = f - 17667/32. Is h bigger than -3?
True
Let a = 4832 + -4831. Is a bigger than 315/37?
False
Let p(o) = 3*o**2 - 2. Let x be p(2). Let z = 1.484 - -0.516. Is z bigger than x?
False
Let m = 17 - 10. Suppose -3*d - m = -88. Let c = 28 - d. Are c and -3/7 equal?
False
Let d be (-19306)/(-204) + (-1)/(-3). Suppose 5*f + c = 475, 2*f - 2*c + 37 = 227. Let b = d - f. Which is bigger: b or 1?
1
Let j(k) = k + 10. Let a be j(-6). Let v = 123685.5 - 123685. Is v smaller than a?
True
Let z = 3140 + -3138. Let o = -7 - 1. Is z != o?
True
Let n = -2/6533 - 3286095/13066. Let o = n - -244. Let s = 9 + o. Which is greater: 0.4 or s?
s
Let w = 125 - -29. Let b = -133 + w. Are b and -0.6 nonequal?
True
Let t = 1155/4 - 7023/20. Let g be 368/6 - (-6)/9. Let n = g + t. Which is smaller: -11 or n?
-11
Suppose 0 = v + 4*v - 20. Suppose 2*t + 4 = 4*j, t = v*t - 6. Let a = -7763 + 54356/7. Which is greater: a or j?
a
Let r = -95 + 93. Let p be (-323184)/134760*(-2 + (-7)/r). Let m = p - 3/1123. Is m <= -3?
True
Let r be (-32626)/1672 + 13 - -3*1/(-4). Which is smaller: -8 or r?
-8
Let y be ((-42)/(-63)*30/88)/(2/42). Is y > 4?
True
Suppose 7*j - 9*j + 2*n = -1718, 3*j - n = 2575. Suppose 19*t + j = -3*t. Which is greater: t or -36?
-36
Let g be 2/6*(-375231942)/40. Let b = g + 3127554. Let i = 621 - b. Is i at most as big as -1?
False
Let y be 20/6*396/33. Suppose 3*n = -3*c - 33, -y - 23 = 5*n - 3*c. Which is smaller: n or -5?
n
Suppose -15 = -5*j, 100*s - 96*s - 5*j - 45 = 0. Which is bigger: s or 31/2?
31/2
Suppose 5154 = -21*i + 1959 - 2139. Is -227 equal to i?
False
Let i = 0.0725 + 321.9275. Let d = i + -595. Is d at most 0?
True
Suppose 0 = 4*t - 0*t + 5*s - 53, 7*t + s = 54. Let v(i) be the second derivative of i**4/12 + i**3/6 - 10*i**2 + i. Let h be v(t). Is h at least 35?
True
Let p be (-3 + 2 + 0)*-3. Suppose y = -0 + p. Suppose 4518 = -58*u - 4249 + 8999. Which is smaller: u or y?
y
Let w(u) = -456*u + 456. Let r be w(1). Is -9 greater than or equal to r?
False
Let d be (-267)/(-105)*5 - 13. Is d not equal to -8/3?
True
Let k = 121 + -40533/335. Which is greater: k or 0?
k
Let i = -30 - 14. Let u = -1501 - -1544.82. Let c = u + i. Is -1 at most as big as c?
True
Let x = 129 - 120.7. Let h = x + -8.2. Which is greater: 5 or h?
5
Let r be (806/6 + 0)/(50/150). Which is greater: r or 406?
406
Let x = 17.3 - -1453.7. Which is smaller: -1 or x?
-1
Let l = -228108 + 2503453/11. Suppose 3*n + 2 - 5 = 0, -2*q - 3*n = 1039. Let g = l - q. Which is smaller: 1 or g?
g
Suppose -2*f - 478 = -4*w, 4*f - w = -760 - 224. Let u = 6171/25 + f. Suppose 62*i = -126 + 188. Is i equal to u?
False
Let f = 113507.07 + -112911. Let q = -596 + f. Which is bigger: -0.022 or q?
q
Suppose -13*l + 55*l = -26208. Is -624 at least as big as l?
True
Let a be 1*(-1 - 5)*-1. Suppose -3*u = -2*d, -3*d + a*d = u. Which is smaller: -2/469 or u?
-2/469
Let v = -1940 - -484. Let d = v - -1477. Suppose 3*h - 2*q = 59, -2*h + 5*q + 105 = 3*h. Which is smaller: d or h?
h
Let a(t) = t**2 + 69*t + 1026. Let i be a(-22). Is i > 216?
False
Let p(y) = y + 454*y**2 - 6 - y**3 + y - 453*y**2. Let i be p(3). Which is smaller: i or -166/9?
-166/9
Let o = -87 + 86. Let z(u) = 13 - 6*u - u + 5 - 21. Let y be z(o). Is y not equal to 6?
True
Let m = 19.236 - -0.284. Is -4 less than or equal to m?
True
Let i = -3751.16 + 3971. Let p = -220 + i. Which is bigger: -2/3 or p?
p
Let d = 216.926 - 218.926. Let f = -0.08 + -21.92. Let w = f + 45. Which is bigger: d or w?
w
Let t = 0.3 + -0.5. Let d = 136 + -127. Suppose 8*y = d*y + 5. Which is smaller: y or t?
y
Let w(z) = -z**3 + 10*z**2 + 71*z - 13. Let a be w(-5). Is a less than or equal to 40/7?
False
Let j(c) = c**3 - 18*c**2 + 31*c + 14. Let q be j(16). Let i be (q - 4) + (-45)/(-27). Which is smaller: 3/4 or i?
i
Let u(d) = -76 + 49 + 170 - 11*d. Let v be u(13). Is 19/13 less than v?
False
Let v be 10/(-10)*16/2. Let l be v/(-2) + (-126)/24. Let i(s) = s - 10. Let x be i(9). Does l = x?
False
Let i = 2.0773 + -61.0773. Is i less than or equal to -1?
True
Let w = 14880497768/5433285 - -8033/36465. Let t = w - 2739. Is 1 > t?
True
Suppose 3*h = -221*u + 223*u - 589, 20 = 4*u. Are h and 7 nonequal?
True
Let h = 1207/120 - 584/15. Which is smaller: h or -29?
-29
Suppose -o - p = 3*o + 16, 0 = o + 5*p + 23. Let a(u) = u - 3. Let c be a(o). Let h be (-8)/c*(-45)/(-105). Are 0 and h unequal?
True
Suppose 2*t + 2 = -2*f, 4*f + 2 = -0*f - 2*t. Suppose 0 = -g - 4*j + 390, f = -5*g + 5*j + 1423 + 427. Which is bigger: 373 or g?
g
Suppose -k + 1 = -3*u + 26, 5*u - k - 45 = 0. Let d be (10 + (-650)/40)*4/u. Is 0.01 at least as big as d?
True
Let o = -14418 - -14417.7. Which is greater: o or 99/19?
99/19
Let j = -4187.1 + 4183.1. Let x = -0.3 - -0.4. Is x bigger than j?
True
Let q = 101733 + -101735. Let h be -2 + ((-128)/(-30))/4. Which is greater: q or h?
h
Let p = -114 + 102. Let t(v) = -8*v - 116. Let k be t(p). Is -22 > k?
False
Suppose -r = r + 2. Suppose -5*u = 4*v + 148 + 46, -3*v = 5*u + 203. Is r smaller than u?
False
Suppose 0 = 5*n - 10, -2*n - 8801 = -10*l + 5*l. Which is greater: 1760 or l?
l
Let j = 126 - 880/7. Suppose -7 = -z + 2*m, z + 8 = 3*z - m. Suppose 4*c = -0*t + 5*t + 81, -z*c - 5*t = -52. Is c greater than j?
True
Suppose 656*y + 5244 = 694*y. Which is greater: -35 or y?
y
Let k be 14/3*66/77 + 103. Which is bigger: 112 or k?
112
Let t(z) = -315*z + 235. Let j be t(3). Are j and -708 equal?
False
Let j = -2461 - -1649. Which is bigger: -1/3 or j?
-1/3
Let k be -107 + (10/12 - (420/72 + -11)). Which is greater: -111 or k?
k
Let q be (4/(-6))/(4 + -2). Let d = 0.17 - -72.83. Let b = d + -82. Does q = b?
False
Suppose -3*j + 12 = -x, -j = 2*j + 3*x - 24. Suppose 5*a - 50 = b, 0 = 3*a + j*b - 33 + 3. Let o be 2/(-4)*a + 4. Which is smaller: o or -2/33?
o
Let q be (16255/30*-3)/(3/4) + -5. Which is smaller: -2173 or q?
-2173
Let l = 88 - 98. Let t be (-10)/(-25) + (-116)/l. Suppose -264 = -t*b + b. Which is smaller: -1 or b?
-1
Let v = -218.074 - -218. Let i = -0.244 - v. Is -1 equal to i?
False
Let w(t) = 20*t**2 + 23*t - 221. Let c be w(10). Which is smaller: 2010 or c?
c
Suppose 4*j = -l - 486, 8 = -196*j + 200*j. Is l greater than -3/2?
False
Let t be -1*(2 + (-2 - 1)). Let a be (-10899)/(-137250) - 2/10. Let k = -12/125 - a. Which is smaller: k or t?
k
Suppose -28*x = -2977 - 1895. Which is smaller: x or 863/5?
863/5
Let l(y) = -y**3 - 3*y**2 - 7*y - 21. Let h be l(-3). Let b be (71922/198)/((-4)/(-6)). Let j = b - 545. Which is greater: j or h?
h
Let z be (4/(-54))/(3/(-7) - (-86157)/200151). Which is greater: z or -40?
z
Let a = 264 - 170. Let k be 1 + a + 1 - 0. Let p = 967/10 - k. Are p and 1 nonequal?
True
Let v = 237028/3 - 78339. Let g = v - 677. Is g > -7?
True
Let h(d) = d**2 - 2*d + d**3 + 419 - 415 + 11*d + 6*d**2. Let p = 39 + -45. Let m be h(p). Is -14 at most as big as m?
True
Let y be (-8)/(-26) + (-442)/338. Are -1/2111 and y equal?
False
Let u = -0.01597 + -0.00903. Let l = -0.325 - -0.2. Let s = l - u. Which is bigger: s or -0.13?
s
Suppose 48 = 2*c + 5*w, -4*w + 78 = -2*c + 108. Let z be ((-4)/(-12))/((-2)/(-122)). Are z and c unequal?
True
Let t(l) = 33*l**2 + 51*l - 155. Let q be t(4). Is 601 less than q?
False
Let q = -0.02892 + -2.97108. Which is bigger: 438 or q?
438
Let o be (-1)/5 + (-209)/55. Let v be (-1 - 41) + (1 - (o - -2)). Let w be v - (3 - 3) - -2. Which is smaller: w or -39?
-39
Let l be ((-42)/8 + 3)/((-111)/(-592)). Which is bigger: l or -296/23?
l
Let z be (-6)/(-11) - (-69 + 301851/4356). Suppose q + 100 = 3*l, -4*q - 4*l - 354 - 30 = 0. Let v = -165 - q. Which is bigger: v or z?
z
Let p = 7.2 - 6. 