et l be m(a). Which is greater: 27 or l?
l
Let l = 956 - 1709. Let r = l - -754. Is r <= -5/27?
False
Let d(s) = s**3 - 7*s**2 + 9*s + 11. Let o be 3 + ((-4)/(-2) - -2). Suppose -o*y + 33 + 2 = 0. Let b be d(y). Is 6 at most as big as b?
True
Let p(b) be the third derivative of b**5/60 + 7*b**4/24 + b**3/3 + 10*b**2. Suppose -24 = -10*f + 14*f. Let o be p(f). Which is greater: o or -6?
o
Let g = 3508 - 3507. Suppose 2*q - 242 = -4*y, 0*q - 2*q - y + 257 = 0. Which is smaller: g or q?
g
Let p = -137 - -141. Suppose 5*l - 49 = p*h - 0*l, -2*h + 3*l - 27 = 0. Is h > 1?
False
Let d = 233 + -233. Suppose d = 14*c + 61 + 247. Which is bigger: -28 or c?
c
Suppose 8*p - 6*p = -2*h + 4, -5*h + 2*p + 17 = 0. Let c be (2/22)/(h/180*8). Is 2 < c?
False
Suppose 148*t = -3590 - 821 - 4765. Let n be (-573)/9 + 3/(-9). Which is smaller: n or t?
n
Let n = 24 - 59. Let l = -51 - n. Let p = -0.13 + -0.07. Is l at least as big as p?
False
Let n = 44/3 - -1054/21. Do n and 0 have the same value?
False
Let n = -14 + 18. Let z be (n/(-20))/(4/335). Let s = z - -17. Which is smaller: 1 or s?
s
Suppose -5*q - 2*l = -3 - 4, 2*q = -3*l - 6. Let v be (-2)/q*33/22. Which is greater: v or -14/9?
v
Let m = 6530 + -6530.8. Which is greater: 2/87 or m?
2/87
Let q be ((-4)/(-3))/((-16)/24) + 23. Let a(s) = -2*s + 19. Let h be a(q). Is h smaller than -26?
False
Let t = -191 + 47. Let y = t - -237. Does 1 = y?
False
Let i be (-3 - -1)/(597086/54278 + -11). Which is bigger: -3876 or i?
-3876
Let c = 199 - 218. Which is bigger: -34 or c?
c
Let j = -0.6906 + 80.6906. Which is smaller: -24 or j?
-24
Suppose 0 = 4*o + 8, 5*u - 5*o = -4*o + 352. Suppose -p + v = -3*p + u, -v = -4*p + 140. Is 34 bigger than p?
False
Suppose 23 = 17*p - 45. Suppose -629 - 27 = -p*r + 3*l, -2*r - 5*l + 354 = 0. Is r greater than 168?
False
Let x = -74009 - -668079245/9027. Which is smaller: 1 or x?
x
Let l = 7685/6 - 69215/54. Which is smaller: -1 or l?
-1
Let n = -637 - -664. Let f = -7 - -29. Suppose -f*g = -n*g. Which is smaller: g or -1?
-1
Suppose -6*u + 24 = -0*u. Suppose 2*s + 4*f + 8 = 2*f, -2*s = -u*f + 32. Let d(t) = 4*t + 32. Let b be d(s). Which is smaller: b or -1/6?
-1/6
Let c = 270 - 641. Let b = c + 371. Which is smaller: b or 2/37?
b
Let a = 15 + -14.79. Let n = -0.17 + a. Let g = -0.36 - n. Which is bigger: g or 4?
4
Suppose -14*n + 4*n = 2230. Let j = n - -10703/48. Let h = j - -17/48. Which is greater: h or -2/41?
h
Let f = -44333/2046 + 1/682. Is -4 at most f?
False
Let w = 19 + -14. Let a = -6173 - -1932152/313. Let r = a - -5935/1252. Does w = r?
False
Let w be 1 - ((-124286)/126 - 2 - 38/(-133)). Is w not equal to 988?
True
Suppose -18*f - 370 = -78*f - 310. Is 178/135 >= f?
True
Let a be 1*(-2 + 11 - 4). Suppose 5*g = -4*k - 14, a*g + 8 = g. Let u be -4 + (-88)/(-12) + k*3. Which is bigger: u or 1?
1
Let n = -4 - -4. Let i be n + -2 - (-3 + -2). Suppose 22*k - 29*k = -21. Does i = k?
True
Let m be (-16)/(-12) - (-5404)/(-12). Let s = m + 448. Which is bigger: 5/74 or s?
5/74
Let w be (16/(-5))/((-12)/210). Let f be (w/16 + -6)*(-24)/(-10). Is f > -23/4?
False
Let v = -8568 + 8568.7. Is v less than -135/8?
False
Suppose 1932 = -7*w - 6265. Let j = 2401/2 + w. Is 31 less than j?
False
Let n = 2.04 - 0.04. Let i = -4.511 + 4.559. Which is smaller: n or i?
i
Suppose -2*r = -4, -i - 5*r = 2*i - 250. Is i smaller than 6?
False
Let l(d) = -8*d + 61. Suppose -12*x + 17*x - 35 = 0. Let r be l(x). Suppose 4*y - y + r = 2*j, 0 = -5*j - 2*y + 3. Is j at most 1?
True
Let p be (12/10)/((-1011)/(-623450)). Which is bigger: p or 739?
p
Let t = 16/8031 - 27704/3156183. Is t < 1?
True
Suppose 0 = 2*u - 2*x - 110, 2*x = 7*x. Suppose -u = 33*v - 946. Is 27 bigger than v?
False
Let r(u) = -u**3 + 22*u**2 - 4*u + 1. Let o be r(0). Which is smaller: -1/810 or o?
-1/810
Let i be (-2)/1*-3*3/(-6). Let t = 3721/9 + -416. Which is smaller: i or t?
i
Let p(t) = t**2 + 7*t - 1. Let n(j) = 2*j - 35. Let u be n(19). Let y be p(u). Let v be (1 + 3*-2)*403/(-65). Is v != y?
True
Let c(m) be the first derivative of -8*m - 4 + 1/2*m**2. Let s be c(6). Is 5/2 >= s?
True
Let s = 1396405/11268 - 28/2817. Is s bigger than 125?
False
Let u(r) = 6*r**3 + 2*r**2 + 3*r - 4. Let z be u(2). Let g be 1 + 2698/(-450) - (-290)/z. Is 1 < g?
False
Let z = -10045.7 - -10045. Is 9.18 bigger than z?
True
Let l(j) = -9*j + 27. Let h(w) = -9*w + 26. Let k(r) = 6*h(r) - 5*l(r). Let s(c) = -26*c + 62. Let g(u) = -8*k(u) + 3*s(u). Let z be g(5). Is z <= -13?
False
Suppose 0 = -121*k + 300*k - 537. Suppose 0 = -c - 5*o + 22, 0 = -6*c + 2*c + 4*o - 8. Suppose -c + 17 = 3*b. Which is bigger: b or k?
b
Let f be 104/48*(-6)/4. Let n = -3429/4 - -857. Is f bigger than n?
False
Let u = -7 - -4. Let j(o) = -o - 6. Suppose 3*r - 7 = l - 12, 3*r + 5*l = -11. Let y be j(r). Is y >= u?
False
Let c be (33/(-66))/(3/(-6)). Which is smaller: c or -3/314?
-3/314
Suppose 2*h - p = 6*h - 74, -4*h - 4*p = -80. Let y(s) = -s**3 + 18*s**2 - 4*s - 34. Let l be y(h). Which is smaller: l or -1?
l
Let b be 3 + 7/(28/8). Suppose 0 = b*n + 4*y - 121, n + 1 = 5*y + 2. Suppose -n = s - 4*f, 2*s + 2*f = -2*f - 30. Is -19 greater than s?
False
Let v = 836525 - 9201835/11. Suppose -1 = 4*t - 3*t. Let w be t - 3/(0 + 1). Is v < w?
True
Let k = 11445 + -17730. Is -6286 less than k?
True
Let i = 1997 - 1998. Is 2/943 less than i?
False
Suppose 0 = 2*n - 5*s - 370, 15 = -2*s + 7. Let y = n - 75. Are 100 and y unequal?
False
Suppose -5*h - 3*j = -18, h = -h - 5*j + 11. Suppose h*d = -d + 8. Let f be ((-1284)/(-318) + -4)/(d - 1). Is f at least as big as -1?
True
Suppose -4*a + 2664 = 5*a - a. Is a smaller than 332?
False
Suppose 20 = 4*x, -3*m + 6*m + 4 = -x. Suppose -39033*q = -39072*q - 195. Does m = q?
False
Let x = 1895 - 2688. Which is smaller: x or -1?
x
Let d(n) = 0 - 37 - 4*n - 23*n - 72. Let l be d(-4). Which is greater: l or -5/69?
-5/69
Suppose -25 + 0 = 5*p. Let d be (p/1)/(6 - 3). Suppose 2*i + 4*b - 6 = 0, -2*b + 5*b = i + 7. Is i at least d?
True
Let l = -559 + 240. Let w = l - -317.22. Which is smaller: w or 1?
w
Let l(p) = -p - 5. Let w be l(-5). Let q be ((-12)/252*-7)/(57/(-36)). Which is smaller: q or w?
q
Let l = 17 - 20. Let t be 1 + 1 - (-1 + -5 + 12). Is l <= t?
False
Let l(j) = 5 + 22*j + 4*j**2 + 242*j**3 - 15*j**2 - 243*j**3. Let s be l(-11). Which is greater: s or -238?
s
Let p = -32 + 87. Suppose 0 = -3*h - 2*z + 4*z + 35, p = 5*h - 5*z. Suppose 2*l = -m + 5, m + l = 5*l - h. Which is bigger: -11 or m?
m
Let d = -47 + 74. Suppose -3*a - 5*w = -7*a + 348, 2*a - 176 = 3*w. Let n = a + -55. Is d bigger than n?
False
Let b(z) = z**2 - 23*z + 126. Let m be b(25). Suppose 7*t = 11*t + m. Are -44 and t unequal?
False
Let c(q) = -q**3 - 3*q**2 + 6*q - 3. Let l be c(-6). Let t = -605 + 674. Is t bigger than l?
False
Let p = -618591/4 + 153687. Which is smaller: p or -960?
p
Suppose -71*o = 9*o + 24*o. Which is greater: o or 1/716?
1/716
Suppose 21*y - 25*y - 8 = 0. Let v be -5 - (y - 4) - 0/(-2). Is v at most 3/137?
False
Let c = -64 + 84. Let i = -15 + c. Let f = 10 - 8. Which is bigger: i or f?
i
Let y(b) = 14*b + 122. Let t be y(-8). Let h be (t/(-140)*1)/((-2)/8). Is h less than or equal to -57?
False
Let c = 176 - 172. Let g be c - ((-86)/(-8) + 15/(-20)). Which is smaller: g or -3?
g
Let f = 44 - 38. Suppose 21 - 6 = 3*y. Suppose l + f = y. Is l bigger than -2?
True
Suppose 30 = 5*p + 4*y, -3*p - 3*y + 17 = -2*p. Suppose 66 = 3*a - 3*h, 4*a - p*a + 2*h = 56. Suppose 2*k - f = a + 27, -3*f + 33 = k. Does k = -0.1?
False
Suppose 2320 = 5*h - 2*z - 4751, -2*z = 3*h - 4233. Let q be 5654/h + 69 + -73. Which is greater: -1 or q?
q
Let j = 49709710196926906/10425 + -4768317518076. Let q = -170168/25 + j. Let t = 3/139 - q. Which is greater: -2 or t?
-2
Let s(i) = -2*i**2 - 43*i - 46. Let h be s(-21). Is -2/11 >= h?
True
Suppose -4*x + 22244 = -4*m, 8*x - 6*x + 5543 = -m. Is m bigger than -5554?
False
Let k be (-47928657)/6223 + 4/((-56)/6)*-2. Is -7702 less than or equal to k?
True
Let z = -77.98 + -19.12. Let p = -97 - z. Is p greater than -106?
True
Let c = -278 + 276. Let r be 10/(-20) + c + 17. Is r >= -1/4?
True
Let u = -12.8 + 0. Let k = u + 12.8. Which is smaller: -2/93 or k?
-2/93
Suppose -54 = -3*u - 36. Let c be (5/3)/(u/252*14). Which is