Let t(i) = -i**3 - 8*i**2 + 20*i + 2. Let k be t(-10). Suppose 3*v = -2*h + 8, 5*h = -k*v + 5 + 4. Which is smaller: o or v?
o
Let k(m) = 56*m - 333. Let p = 424 + -418. Let f be k(p). Is f equal to 54?
False
Let h = -141 + 146. Suppose 0 = -4*z + 4*t - 3*t + 89, 4*t = h*z - 125. Which is smaller: 16 or z?
16
Let a be 74/10 + (-2)/5. Suppose -2*i - c = -39, 49*c + 41 = 3*i + 54*c. Suppose -10*s - 72 = -i*s. Is a smaller than s?
False
Let y = 1 - 1. Let f = -288 - -670. Let a = f - 349. Is y smaller than a?
True
Let v = -52 + 52. Suppose -10*o + 16*o = v. Let z = -4738/13 - -364. Is o greater than or equal to z?
True
Suppose -3*f = 4*i + 8, 4*f + i + i + 24 = 0. Let n be -3*9/(36/f). Suppose 3*j = 9*j + n. Are j and 3/16 nonequal?
True
Suppose -288*c + 228 = 294*c - 594*c. Let l(h) = -5*h - 2. Let d = -7 + 10. Let i be l(d). Is c at least as big as i?
False
Suppose 10 = 3*n + 5*j - 30, -j = -n. Let i be (-1)/1 - (20/(-4) - -2). Suppose -3*v = i*u - 8*v - 1, 0 = v - 3. Is n greater than or equal to u?
False
Let r = -2092 + 2091. Do r and 0.061 have different values?
True
Suppose m + 2*p = 2, 0*m - 2*m = -2*p - 10. Let k be (-6)/1425*(m - 14). Are -1 and k unequal?
True
Let h(y) = y**3 - 12*y**2 + 4*y - 25. Let c = -945 + 957. Let g be h(c). Which is greater: -7 or g?
g
Let o = 4108 + -4753. Which is smaller: -643 or o?
o
Let w = -118401161/1599 - -74047. Let d = -19868/135915 - w. Are 0 and d equal?
False
Let k be 8/(-24)*(-2)/(-80). Let z = -81 - -91. Suppose 0 = -4*f - g - 3 - 2, -z = -4*f + 2*g. Which is bigger: f or k?
f
Let g be 3*(-1 - -5 - -10)/6. Let m be 0 - (1 + 0)*17. Let l = -8 - m. Is l equal to g?
False
Suppose -33 + 25 = -4*b. Let i be (1 + -4 + b - -7)*-3. Is i >= -50/3?
False
Let r be (3/(-9))/((-3)/177). Let n = 233/12 - r. Which is bigger: n or 5/8?
5/8
Suppose 4*r = -3*a + 44 + 102, r - 4*a = 27. Suppose -7*k + 3*k = 0. Suppose k = -2*x + 5*x - 105. Is x <= r?
True
Suppose 2*h - 3 = 5*o, -20 + 2 = -4*h - 2*o. Suppose w = -h*j - 3 + 15, 0 = 3*j - w - 2. Let b(i) = i**2 - 9*i + 6. Let t be b(8). Which is smaller: t or j?
t
Suppose -3*t - 2*r + 79 = 0, -6 - 14 = 5*r. Suppose t - 744 = 11*o. Is o smaller than -65?
False
Let d be (-1113395)/494860 + 5 + (-22)/8. Which is smaller: 1 or d?
d
Let m = 379436003/91862 + -6/45931. Let u = -5080511/1230 + m. Do u and 0 have the same value?
False
Let y = 1.36 + 55.64. Let k = -1326 + 1270. Let q = k + y. Is 17 != q?
True
Let y = -48 - -50. Suppose -3*i = -0*u - u - 7, 2*i - 2*u - y = 0. Is 11/5 greater than or equal to i?
False
Let k(h) = 6*h**2 + 265*h - 26. Let a be k(-45). Are 139 and a unequal?
True
Let l = 0 - 0. Let w = 1166 + -1093. Suppose -367 = -55*z + w. Which is smaller: l or z?
l
Let m(d) = -4*d**2 + 49*d + 3. Let z be m(13). Let c = -3.1 - -1.1. Which is bigger: c or z?
c
Let i = 21179/31764 + -1/10588. Is i greater than or equal to 1052?
False
Let v be ((-8)/1 - -7)/(3/1023). Let t = -326 - v. Let g(a) = 4*a**2 - 2*a + 2. Let w be g(2). Is w > t?
False
Let g = 427578/97 - 4408. Is g smaller than 0?
False
Let m = 7/4 - 25/12. Let z = 118.5 - 118.51. Which is greater: z or m?
z
Let h = -64/14585 + -174786064/131265. Which is bigger: -1332 or h?
h
Let v be 162/9*(0 + (-3)/(-6)). Suppose v*p = 5*f + 13*p + 865, 2*p = 10. Are -178 and f non-equal?
True
Let v(h) = 2*h**2 + 3*h - 13. Let s be v(3). Let o(g) = 2*g**3 - 29*g**2 + 14*g - 2. Let j be o(s). Let a(l) = l + 5. Let q be a(-8). Which is bigger: q or j?
j
Let i(l) = 2*l**3 - 3*l**2 + 5*l - 10. Let s be i(2). Suppose 0 = -g - 13*k + 11*k - 12, -s*g + k - 48 = 0. Which is bigger: g or -11?
-11
Let g be (((-1080)/16)/15)/((-2)/(-12)). Let d(q) = -q + 36. Let a be d(g). Are 63 and a nonequal?
False
Let r(k) = 2*k**3 - 13*k**2 - 14*k + 51. Let a be r(7). Suppose -4*l = 2*y + 156, 0 = -3*l - a*l. Is -77 at most y?
False
Let w = 2364 + -968. Is 1396 < w?
False
Let l = -13636 - -13633. Is l at least as big as -2461?
True
Suppose -288*t = -312*t - 24. Is 9 < t?
False
Let f(o) = -44*o**2 + 16*o - 8. Let p be f(6). Let n be (-1)/(-6 - p/248). Let x be 196/(-6) - 10/(-15). Is n <= x?
False
Suppose -98623 = 99*z + 3*z + 93545. Is -1883 > z?
True
Let j = -11.13 + 8.03. Is j equal to 0.061?
False
Suppose 361*o = 213*o - 148. Which is smaller: -10/9 or o?
-10/9
Let g = -5565 + 5472. Which is smaller: g or -91?
g
Suppose 5*v = 3*h + 61, 0 = -2*h - 5*v - 53 + 4. Let n = h - -31. Let w be (-6)/n*90/(-56). Which is smaller: 1 or w?
1
Let h = -4548 - -4548. Which is bigger: -19/27 or h?
h
Let q = 14561/6 - 2345. Let j = 82 - q. Let k = -7.98 - 0.02. Which is smaller: k or j?
k
Let w be 8 - 6/(-4 - -1). Let h be w + -7 - 0/1. Let o be (h - 5) + 2 + 3. Which is greater: 5 or o?
5
Let h = -0.024 + -38.976. Let b = h - 3. Let a = 42 + b. Which is smaller: 1/8 or a?
a
Suppose -8*j - 90 = 70. Let m = 23 + j. Let a(z) = z**3 - z**2 - 3*z - 7. Let w be a(m). Is 34 equal to w?
False
Let g be 28/15 - 14/(-105). Let f be (-22*26/5005)/(1 - (-42)/(-40)). Does f = g?
False
Suppose 5*k - 5 = 0, -11*m + 2*k = -16*m + 2. Is -5/153 < m?
True
Let g(k) be the second derivative of 12*k**3 - 15*k**2/2 + 54*k. Let x be g(5). Suppose -6*z + x = 9*z. Is z > 21?
True
Let k be (-10)/(-45) + (-115)/153. Suppose -839*g = -816*g + 46. Is k bigger than g?
True
Let i(h) = 5*h**2 - 280*h + 507. Let f be i(55). Are 200 and f equal?
False
Let m = -890 - -889.9. Let g = 23.56 - 0.56. Which is greater: m or g?
g
Suppose -2655*k + 2549*k + 6890 = 0. Let q be 68 + -2*(-3)/(-6). Does k = q?
False
Let l = -423 - -430. Suppose 107*w - 112*w + 20 = 0. Is l > w?
True
Let r be ((12987/74)/117)/((-3)/(-2)). Let d = -26628/37 - -720. Is d >= r?
False
Let n = -238.63 - -238. Let l = 24.83 - 7.2. Let q = l + n. Do 0.4 and q have different values?
True
Let p be (-102)/48 - 20/(-160). Which is greater: -1524 or p?
p
Let o = -53910 - -53854. Let r be (0 - 3)/(3/58). Is o less than r?
False
Suppose 0 - 6 = -2*g. Suppose b - 1 = 0, 16 = -3*w + b - g*b. Let k be 7/(-6)*w/(-4). Is k at most -0.1?
True
Suppose -2*n + 0*g - 26 = 4*g, 0 = -5*n + 2*g - 17. Suppose -a + 4*a - 2*m = -33, a = 3*m - 11. Which is smaller: n or a?
a
Suppose -3*a + 47 = -3*u - 2*u, 0 = 4*a - 3*u - 81. Let s be a/9*3/(-4). Is -9/5 <= s?
False
Let a be 3*(-1)/6*-22. Suppose a - 2 = -9*p. Let f be (p/2)/(51/34). Which is smaller: f or -1/11?
f
Let f = 120.45 + -68.67. Is f less than or equal to -1?
False
Let w be ((-1)/9)/(3/9)*6. Let k(b) = 6*b - 19. Let o(t) = -30*t + 94. Let p(j) = w*o(j) - 11*k(j). Let n be p(4). Which is bigger: -18/11 or n?
-18/11
Let u = -22 + -25. Let t = u + 32. Suppose -5*d - 30 = -3*d. Is d less than t?
False
Let s be (-80)/12*((-36)/30)/(-1). Let f be ((-10)/(-1330))/(s/(-14)). Are f and -1 equal?
False
Let r(s) = -2*s**3 + 15*s**2 + 14*s + 12. Let y be r(-6). Suppose 5*v + y = -15*v. Is v not equal to -47?
True
Let q be 40/(1/((-6)/(-11))). Let i = q - 1614/77. Let x = 1 + -5/3. Which is greater: i or x?
i
Let m be (-6)/(-21) - 1783/(-7). Let d be m/238 + 1/(2/(-2)). Is d smaller than 1?
True
Let z = 1115/1683 + -20/187. Which is smaller: z or -17?
-17
Let q = 209.987 - 211.8. Let n = q - 0.187. Is n not equal to 0.7?
True
Suppose 121*i + 11725 = 54*i. Suppose 0*b - 5*b = -3*h - 508, 0 = 5*b + 20. Is h >= i?
False
Let k = 179 + -569/3. Let l = k + 34/3. Which is smaller: -41 or l?
-41
Suppose -4*j + 30 = -j. Let a = -5 + j. Suppose 3 = -8*z + a*z. Which is smaller: z or -2/7?
z
Let h = -0.138 + 0.038. Let b = 0.2422 + -0.7422. Which is greater: h or b?
h
Let a = 260 + -191. Suppose a - 1019 = -25*r. Is 38 greater than r?
False
Let r be 126/(-35) - (-6)/(-15). Let f(h) = -h**3 + 2*h**2 + 6*h - 4. Let q be f(r). Let w be ((-16)/4)/(-16)*q. Is w less than or equal to 14?
False
Let x = -32143 - -31951. Do -185 and x have different values?
True
Let d = 234.69 - 2.69. Let m = -232 + d. Is m != -4.2?
True
Let u = -70 + -232. Let k be u/(-6) + (-70)/(-15) + -5. Which is bigger: -0.1 or k?
k
Suppose 124 - 110 = -2*r. Let u be (114/r)/(3/((-63)/(-15))). Is -22 > u?
True
Let k be 2/7 + (-161)/49 - 4. Let t be 5 + (-6)/(-9)*k. Is t greater than -22.6?
True
Let k = 158 + -78. Suppose -9*t - k = t. Is -1/8 equal to t?
False
Let t = -13.83 - -13.73. Is 15432 smaller than t?
False
Suppose -23*a + 29851 = -8075