be b(6). Is 5/12 greater than i?
True
Let q be -11 + 3 + -83 - (10 - 18). Is -414/5 less than or equal to q?
False
Let d = -16902 - -16902. Let w = 2/663 + 5/221. Is d <= w?
True
Let s(w) = -5*w**2 + 61*w - 110. Let u be s(10). Which is bigger: u or -1/3057?
u
Let m(a) = -19*a**2 + 4*a - 6. Let f be m(5). Let n = f + 461. Let b(w) = w**2 + w. Let k be b(-2). Do k and n have the same value?
False
Let s = -18.75 - -38.9. Let d = s + -0.35. Let q = -18 + d. Are q and -2 unequal?
True
Let r(u) = u**3 - 5*u**2 - 155*u + 989. Let h be r(7). Is 6673 at least h?
True
Let m be -2 - (74/185)/((-1)/10). Suppose 2*h - m*y + 320 = 0, 6*h - 4*y + 316 = 4*h. Is h greater than or equal to -162?
True
Let t(v) be the first derivative of -v**5/40 + 9*v**4/8 + 22*v**3/3 + 43. Let z(j) be the third derivative of t(j). Let s be z(9). Which is greater: s or 4/3?
4/3
Suppose 0 = -4*k - 7 + 55. Suppose -15*o - o = -32. Suppose o*f + 3*x = 8*x - 20, 3*x - k = 0. Is f at most 3/22?
True
Let h = 4.91 - -0.09. Let m = 4 - h. Let g = 8990/27 - 333. Is g greater than m?
True
Let r(x) = 2*x**3 - 15*x**2 - 10*x + 4. Let q be r(8). Let a be 54/4*(-184)/q - 3. Which is smaller: a or 203?
203
Let l = 6406 - 3331. Is 3074 less than l?
True
Suppose 4*f = 3*p + 14, -2*p - 2*p - 23 = -f. Is f < -1/16040?
True
Let j = -2 + 3. Suppose 4*y - 3*b = -1257, 4*y + 1022 = 5*b - 233. Let q be (1/2 - -1)*(-7)/y. Which is smaller: q or j?
q
Let y be 5/(-6) + 8/(-288)*6. Let r be (0/(-18)*1/(-2))/y. Which is bigger: 6/37 or r?
6/37
Let b = 3 + -9/2. Let g be ((-1)/(-30))/((-21)/(-63)). Which is bigger: g or b?
g
Suppose -7*z - 67358 = 9*z - 12270. Is -3443 <= z?
True
Let a = -8905 - -8920. Is 7.83 less than a?
True
Let t = 160.006 - 827.336. Let x = t - -667. Is -4 != x?
True
Let w = 118.374 - 118. Let v = w - 1.374. Is v greater than -0.007?
False
Let u = -343.77 + 347. Let m = u - 1.23. Are 26 and m equal?
False
Suppose 0 = 5*r - 6*r. Let m be -9 - (-7 + (5 - r)). Is m less than 7?
True
Let v(k) = -k**3 + 18*k**2 + 16*k + 45. Let i be v(18). Let a = i - 304. Let g = -73 + 103. Is a at least as big as g?
False
Let k(w) = -w**2 + 10*w - 21. Suppose -3*m - 3 = -5*s, -s - 1 = -m - 0. Suppose -m*f + 14 = 2*d, -d - f - 3*f = -7. Let r be k(d). Is r bigger than -2/75?
True
Suppose 0 = 106*u + 14282 + 155212. Which is smaller: -1598 or u?
u
Suppose -304*d + 569 = 65*d + 200*d. Is d at most -8/5103?
False
Suppose -3*w = -r + 13634, -w - r + 9088 = -3*w. Let m = w - -31770/7. Suppose 13 = -2*x - 1. Which is smaller: x or m?
m
Let i = -4540.512 - -4409.9. Let h = 189.583 + i. Let s = h + 0.029. Which is smaller: 2/3 or s?
2/3
Let w = -19906 + 19921. Which is bigger: 35 or w?
35
Let u be (44/(-7) - 14/(-49)) + 9/1. Which is greater: u or 0.1169?
u
Let b(m) = 14*m**2 - 11*m + 5. Let l be b(-5). Let u = l - 376. Is u at most as big as 35?
True
Let c(g) = 68*g - 16*g**2 - 12 + 9 - 72*g. Let l be c(-1). Is -16 smaller than l?
True
Suppose -303 + 275 = 28*q. Is 24/107 != q?
True
Suppose -5*i = a - 2, 4*i - 13 = 4*a + 3. Let z be a - (4 - 34 - -5). Which is smaller: 33 or z?
z
Let l = -0.36 - -16.36. Let a = 2025 - 2131. Let i = a + l. Is -1 equal to i?
False
Let z = 180.8 - 184. Let j = 1.1 - -4.9. Let x = -6 + j. Does z = x?
False
Let l be ((-9)/(-60)*8)/((-1)/55). Let s = -81 - l. Let c be (-28)/(-2) - (14 + s). Which is smaller: c or 14?
14
Let u(y) = -2*y**2 - 270*y + 10765. Let o be u(-168). Let w(z) = -325*z**3 + z**2 - z + 1. Let x be w(1). Is x smaller than o?
True
Suppose 4*r - 11*i = -9*i - 106, -4*r = 4*i + 100. Let j(q) = q**3 + 27*q**2 + 27*q + 24. Let p be j(r). Are p and 7/5 unequal?
True
Suppose m + 2*t = 877 + 185, -5*m + 5350 = 2*t. Is m < 1071?
False
Let w(v) = -v**3 + 3*v**2 - 2*v - 1. Let h be w(3). Suppose -j + c = -13, j + 43 = 2*j + 5*c. Let g be (43 - j)*3/(-12). Which is smaller: g or h?
h
Suppose 3*z = d - 43, 203 - 46 = 3*d - 2*z. Let g be d/(-10) + 3/2. Let t be 18/(-81) + g/(-18). Which is smaller: t or -1?
-1
Suppose 0 = -3*k + 2*u - 3*u + 2, 3*k - 2*u = -13. Is 12/377 greater than or equal to k?
True
Let q = -125/22 + -767/198. Let f = q + 82/9. Let t = 5 - -4. Is f at most t?
True
Let z = -226 - -256. Let q be 17/2*(-45)/z*-4. Let t(m) = -16*m + 2. Let y be t(-3). Which is bigger: y or q?
q
Let m(o) = 17*o - 8477. Let w be m(-38). Is w at most as big as -9123?
True
Suppose -3*b - b + 3*k - 10 = 0, -2*k = 5*b - 22. Which is smaller: b or 23/7?
b
Let x(d) = -11*d + 303. Let b be x(25). Suppose -34*g + 3300 = -b*g. Is g greater than 551?
False
Let a be (67 - -8)*(-4250)/102. Is -3125 less than a?
False
Let q = -562 + 345. Let n(b) = -b**3 - 14*b**2 - 1533*b - 7658. Let v be n(-5). Are v and q unequal?
True
Suppose -w + 2*q + 16 + 2 = 0, 25 = -5*q. Suppose -3*r = -w*r + 60. Let m = -2451 - -2461. Is m < r?
True
Let k = 31721879635/189 - 167837257. Let q = k + -3376. Which is greater: q or 1?
1
Let y = 24291 + -24146. Suppose -5*w - 2*t + 535 = -183, -w - t = -143. Which is smaller: y or w?
w
Let p = 6609 - 6608. Which is smaller: 1/1228 or p?
1/1228
Let o = -36.5606 - 0.4394. Is 0.11 equal to o?
False
Suppose 2*h + 3*n = -1 + 4, 4*h + n = -9. Let x(z) = 26*z**2 + 3*z - 1. Let y(b) = 17*b**2 + 2*b - 2. Let m(j) = 2*x(j) - 3*y(j). Let g be m(h). Is 13 < g?
False
Let w(c) = c. Let y be w(2). Suppose -3*h - 4*a = -77 + 67, -3*h = a - 16. Suppose -y*m - h*m = -112. Which is bigger: m or 15?
15
Let f(k) = -3*k**2 - 36*k - 12. Let d be f(-11). Suppose -d*n + 780 = -228. Which is bigger: n or 50?
50
Let s be 3 + 0 + (-2 - -184). Let l(q) = 124*q + 1673. Let y be l(-12). Is y < s?
False
Suppose 0 = -5*o + 5*j + 50, 3*o + 3*j = 2 + 4. Suppose -o*n + 2*n - 4 = 0. Let v = 2/697 - 3493/2788. Are n and v unequal?
True
Let q = -1258.31 + 1271. Is 0.1 less than q?
True
Let s be (-11)/((-99)/(-81)) + 1042. Let y = s + -1008. Which is bigger: y or 35?
35
Let m = 89/25 + -35331/100. Is -350 greater than or equal to m?
False
Let v = -19.9 - -19. Let l = v + -1.1. Let b = -755/1542 - 8/771. Which is smaller: b or l?
l
Let r be (-1341)/(-18)*(2 + 6/21). Which is bigger: r or -1?
r
Let c be (-55)/(-4) - (1 + 1). Suppose -63 = -5*l - 2*j, 0 = -3*l + 2*j - 120 + 145. Is l smaller than c?
True
Let u be 20/(-160) + 183/(-8). Let j = 19 + u. Suppose 7*l = 8*l + 3. Which is smaller: l or j?
j
Let z be 150/(-39) + 4 + 14876/(-364). Let b = z - -41. Which is smaller: -2/97 or b?
-2/97
Let u = -19111/980868816 + -1/90021. Is u less than or equal to 0?
True
Let b be (-3776)/(-144) - -1*4. Let q = b - 20125/666. Which is smaller: q or -1?
-1
Let b be 6/7 + (-3927390)/4622331. Which is smaller: -1 or b?
-1
Let n = -1.702 + 4.645. Let g = n - 3.05. Is g > 2?
False
Let d be (21 - (-1274)/(-42))/((-337)/(-3)). Is 0 less than or equal to d?
False
Let j = 58 + -53. Suppose -4*f - 2*r = -2*f + 244, j*f + r = -626. Let n be f/(-56)*2/(-6). Is 3 bigger than n?
True
Let j = -6.97 - -7. Let m = -13471436/195 + 69085. Let v = m + -3/65. Is j at least v?
False
Suppose 3*j - 835 = -5*d, 3*j + j - 490 = -3*d. Let l = d + -141. Which is smaller: 25 or l?
25
Suppose -11 = -3*j + 4. Let a be -16*1 + -1 + j. Let x = -278.5 + 278.9. Which is smaller: x or a?
a
Let a be -2*((-10)/12 + 380/(-30)). Let k(i) = i**2 - 28*i + 27. Let g be k(a). Let s = 6573/11 + -597. Do g and s have the same value?
False
Let t = 851208/1127 + -17442/23. Is t less than -2?
True
Let i be 96/44 - 4/22. Let t be (-3 + i)*-1 - -5. Let b(j) = 2*j**3 + 71*j**2 + 48*j + 453. Let f be b(-35). Is t != f?
True
Let k = 38765/16 + -2424. Let a = 1079/48 - k. Do a and 25 have the same value?
False
Let f be (0/2 + -35 + 2)*(-5)/(-5). Is f > -368/11?
True
Let w = -4 + 7. Let n be -2*4/(-12)*(287 + -248). Is w less than n?
True
Let n be 6 - (88190/7350 + 24/(-4)). Which is greater: n or -1?
n
Let n be (2292/30)/(46/230). Does 382 = n?
True
Suppose -228*w = -219*w. Suppose w = -610*x + 605*x - 195. Are -39 and x non-equal?
False
Suppose 0 = l - 10 - 4. Let g be (6/10)/(4347/115920). Is l bigger than g?
False
Let g = -13625 - -13819.81. Let l = -187.2 + g. Let o = 0.39 + l. Which is smaller: o or -1?
-1
Let q(o) = -o**2 - 122*o - 1021. Let r be q(-110). Which is greater: 279 or r?
r
Let m be (-26)/((6/8)/3). Suppose 180 = -2*p - 11*c, 99*c - 98*c = 5*p + 507. Is m less