most as big as c?
True
Let w(d) = 2*d**3 + 40*d**2 + 33*d - 93. Let v be w(-19). Which is smaller: 1289 or v?
v
Let w(l) = l**3 - 5*l**2 + 2*l - 2. Let i be w(4). Let x be (-1422)/(-36)*(i - 0). Let m be (0 - (-5)/x)/1. Which is smaller: m or 0?
m
Let b = -55 - -505. Let y = b + -446.67. Let l = 0.33 - y. Do -2 and l have the same value?
False
Let l be ((-2)/10)/((-4)/(-24)). Let j(z) = -5*z**2 - 7*z**2 + 10*z**2 - 31 - 23*z. Let f be j(-10). Which is smaller: l or f?
l
Let n = 0.0123 + -121.6123. Let k = 122 + n. Which is bigger: 9 or k?
9
Let b = 49032/95 - 119/190. Which is greater: 517 or b?
517
Let b = -477 + 504. Suppose b*w + 2594 = -322. Is w at least as big as -108?
True
Let a be 4*(172/(-602) - ((-11428)/14 - -1)). Which is bigger: 3261 or a?
3261
Let d be 48840/(-2448) + 4/34. Is d not equal to -19?
True
Let f = -260094/7 - -37316. Let w = f - 160. Let d = 1612 + -1611. Do w and d have the same value?
False
Let c = -32050545100 + 827833530827632/25829. Let k = c - 1282/23. Is -1 less than k?
True
Let w(z) = -z + 13. Let k be w(11). Suppose 1 = n, 5*n - 54 = -3*o + k. Which is greater: 6 or o?
o
Let d(g) = -g**3 + 10*g**2 - 15*g - 10. Let m be d(8). Let x be (-3 + 4)*(-3 - 0). Let q be (-3)/6*x*-2. Is q >= m?
False
Let p(s) = -13*s. Let b be p(-3). Let d = 107.0536 - 107. Let y = -0.1536 + d. Which is bigger: b or y?
b
Let w = -5/1189 - -3/41. Let l(d) = -d**2 + 3*d + 30. Let g be l(-4). Suppose -5 - 1 = -g*r, 5*m + 2*r - 6 = 0. Which is smaller: w or m?
m
Let y = -983 - -209. Let o = -774.4 - y. Let x = -14 - -14.7. Which is greater: o or x?
x
Let v(u) = -u**3 + 20*u**2 - 18*u + 15. Suppose -42*h + 6*h + 648 = 0. Let c be v(h). Is 339 bigger than c?
False
Let n(k) = 4*k**2 - k + 86. Let x(p) = -p**2 - 17. Let w(y) = 2*n(y) + 11*x(y). Let b be w(-5). Is -82 at most as big as b?
True
Let v(z) = -z**3 + z**2 + 2*z - 13. Let u be v(0). Let h be 7/(-28) + u/12. Let r(n) = 2*n**2 + 11*n + 5. Let l be r(-5). Is h at most as big as l?
True
Let m be (-56 - -53)/(-2 + (-873)/(-437)). Which is smaller: m or 1299?
1299
Suppose 133*l + 11271 = -10*l - 6175. Is -2346/19 less than l?
True
Let u = 0 + -1. Let j(t) be the second derivative of -19*t**5/20 + t**4/12 + t**3/3 + t**2/2 + 388*t + 2. Let h be j(u). Is h > 19?
False
Suppose 4*y + a = -104, -7*y - 9*a + 14*a - 209 = 0. Which is greater: y or -48?
y
Let d = 151.1 + -158. Let r = d - -7. Let v = 51 + -35. Is r not equal to v?
True
Suppose 0 = 6*g - 23 - 1. Suppose -2*i + 80 = -g*s, -2*s - s + 101 = 2*i. Are 2 and i nonequal?
True
Let k = 176 - 46. Suppose 0 = -5*y - s - 163, 2*y - s - k = 6*y. Which is greater: y or -29?
-29
Let m(f) = -10*f - 64. Let r be m(-5). Let x be -7 - (6 + r + 2). Is x less than or equal to -7/24?
True
Let z = 516 + -330. Let n = 201.9 - z. Let l = -16 + n. Is 0.2 > l?
True
Let q(r) = 2*r**3 + 49*r**2 + 29*r + 122. Let f be q(-24). Is f equal to 1753?
False
Suppose -9*r = -18*r + 90. Suppose -5*t + 0*x - 2*x = -15, -x = 3*t - r. Suppose -t*n = 2*g - g + 14, 3*g - 18 = 5*n. Which is smaller: -24/11 or n?
n
Let a = -28.88 + 27.88. Suppose -6*p + 3*p = g + 38, -2*g + 23 = -3*p. Which is bigger: a or p?
a
Let f = 1949 - 1952. Is f smaller than -38?
False
Let y = -12723 + 1870279/147. Which is smaller: 0.01 or y?
y
Let h = -34 - -4. Let d = -32 - h. Let i be d/(-3) - (-3)/9. Is 2/167 equal to i?
False
Let g = -20040 + 21034. Is g >= 980?
True
Let b be 0 + 4 + (-134)/7. Is -14 greater than b?
True
Let m(z) = z**3 - 31*z**2 + 41*z + 25. Let g be m(26). Is g != -2288?
True
Let a = -20012 - -19949. Which is smaller: 0.03 or a?
a
Suppose 29*d + 8 = 21*d. Let b be (-4*(-9)/(-48))/(d/(-104)). Which is smaller: b or -80?
-80
Let l = 13671 - 13673. Do -1/82 and l have different values?
True
Let i = 5613 + -1844. Do 3769 and i have different values?
False
Let x be (-63)/273 - 7/((-3822)/204). Is x < 1485?
True
Let o = -1019 - -1018.8. Let m = 161/6 - 49/3. Which is greater: m or o?
m
Suppose -10 = 2*j, 2*j - 7*j - 28 = -3*b. Suppose -188 = 5*l - 4*k, 10*k - 8*k = -4*l - 140. Let f be (-12)/(-27)*l/264. Is f <= b?
True
Let z be -1*((-2)/(-16) + (-6573)/168). Suppose 40*b - z*b = 1. Is b at most as big as -17?
False
Let j = 7807/4 - 1952. Which is smaller: j or 1270?
j
Let z(n) = n + n + 232 - 223. Let w be z(-4). Let b be (-20)/4 + (w - 4/(-2)). Is b bigger than -3/5?
False
Let c = 126 + -55. Let z = c - 70.9. Let s = 50 + -93. Is s > z?
False
Let f = 3.491 - 3.42. Which is smaller: f or -1/8?
-1/8
Let i = -2759 - -2758.8. Which is bigger: i or -122?
i
Let l = 64.356 - 61.6. Let c = l - -0.314. Which is bigger: c or 2?
c
Let i(j) = 20*j - 18*j + 44 + 11*j + 12*j. Let t be i(-3). Is t at most as big as -32?
False
Let n = 58 + -101. Let b = n - -40. Let g be -18*(28/8 + -2) + b. Is -29 greater than g?
True
Let p = -805 - -804. Which is greater: p or -75/46?
p
Let h(a) = 3*a**2 + 7*a - 8. Let q be h(-4). Let d be q + -9 + -1 + 0. Suppose d*t - 8 + 20 = 3*k, -5*t = 0. Which is smaller: k or 3?
3
Suppose 208 = -14*o - 12*o. Which is smaller: -204/23 or o?
-204/23
Let h(r) = 23*r**2 - 3*r - 1. Let b be h(2). Suppose -622*o - 15 = -5*u - 624*o, 5*u = -o + 15. Which is greater: b or u?
b
Suppose -4*s = -3*s - 27. Let k be (-1 - s/(-6))/(1/4). Let f be k/(-4)*1*20/(-35). Which is smaller: 5 or f?
f
Let u be (-44)/(-7) - (1224/(-34) - -42). Is -2.26 < u?
True
Suppose 0 = -39*s + 36*s + 393. Suppose 0 = -2*d - s + 103. Which is bigger: d or -2?
-2
Let k = 22186 + -22069.03. Let j = -117 + k. Do 0.02 and j have different values?
True
Let p = 0.1 + -0.1. Let l be 0 - (6 - (-6 - 129) - -4). Let x be 5 + (l/30 - 1/(-2)). Which is bigger: x or p?
x
Let x be (-102)/85 - (-603)/390. Let c be 0*(8 - 54/6). Is c bigger than x?
False
Let m = 44121440/92133 + 10/30711. Is 478 smaller than m?
True
Let w = -24580/23 - -1069. Is w at least as big as 0.1?
True
Let j = 2421 - 12072/5. Which is smaller: 0.11 or j?
0.11
Suppose 3*l + 9*b - 8*b = 16082, 4*b + 16072 = 3*l. Is l greater than or equal to 5361?
False
Let b = 1/59757 + -191528/732441549. Is -1 > b?
False
Let i = -2 - 10. Let q be (-3 - 45/i) + (-138)/(-8). Let w be -35 + q/3 + -2. Is w less than -31?
False
Let n be ((-1)/3)/(2*-5 - (-76)/8). Do -1542 and n have the same value?
False
Let a = 134.2 + -134.22. Which is greater: a or -317/4?
a
Let y be (-28 - (-32 - -7)) + 7662/22. Which is smaller: y or 344?
344
Suppose -3 - 3 = -3*f. Suppose d + 5*b + 5 = 0, -5*b = -f*b + 3. Let g = -1444 - -41877/29. Which is smaller: g or d?
d
Let l be (2/2 - 0)*20. Suppose -l*c + 15 = -23*c. Let f = 4 + c. Is f greater than or equal to -4?
True
Let w be (-1)/(3/(-10))*6027/784*-24. Which is smaller: -621 or w?
-621
Let v be (-1 - (-93)/96)*3. Let u(w) = -21*w + 83. Let q(n) = -15*n + 84. Let a(p) = 4*q(p) - 3*u(p). Let i be a(-29). Does i = v?
False
Let d = -678 - -2084. Which is smaller: d or -2/7?
-2/7
Let i = 20545225/74846 + 1/37423. Let z = 95 - -181. Which is smaller: z or i?
i
Let q be -4 + 1 + (10 - 5). Suppose d = -q*i + 68, 0 = -i - d + 20 + 15. Which is bigger: i or 31?
i
Let i be 1*34 + 255/(-85). Which is smaller: i or 15?
15
Let q(r) = r**2 + 27*r - 97. Let i be q(-29). Let a be 46*-1 + (8 - 5). Which is bigger: i or a?
i
Let s = 1.751 + 0.149. Let j = s + -0.9. Which is greater: j or -4?
j
Let y = -206/37 + -2513/592. Which is smaller: y or -10?
-10
Let g = -2.77 - -2.23. Let f = g - -8.54. Is -1.6 greater than f?
False
Let f = -97 + 49. Let z(w) = 59*w + 286. Let g be z(-5). Let n = f - g. Which is greater: -38 or n?
-38
Suppose 4*c - 82 = -2*t + 118, -t = 3*c - 149. Let x be (-1)/(-2)*c/(833/(-102)). Let q = -70 - -205/3. Is x bigger than q?
False
Let x = -3.31 + 4.21. Do -6 and x have the same value?
False
Let q be (((-12)/(-32))/((-2)/40))/(-9). Let a = 53/42 - q. Are a and 0 unequal?
True
Let l be -40 + 29 + 20/2. Is l at least -2/19595?
False
Let b = -0.018 - -0.0201. Let v = 84.8979 + b. Let a = v + -85. Is 0.69 greater than a?
True
Let m = -186 - -71. Let d = 122 + m. Suppose d*w - 120 = -w. Which is smaller: 10 or w?
10
Let j(x) be the third derivative of x**6/120 - x**5/12 + x**4/3 - 2*x**3/3 - 23*x**2. Let z be j(7). Let u be 4/z*(-15)/24. Are u and 1 non-equal?
True
Let l = 8.49 + -8. Let m = -7.09 + l. Let a = m + 7. Is a less than o