 + 17*c - 39 = 3*l, 5*l + c + 93 = 0. Let p be (-143)/(-1584) - (-2)/l. Which is bigger: p or -1?
p
Let a(i) = -i**3 + 3*i**2 + 81*i - 166. Let u be a(2). Which is smaller: -1/3928 or u?
-1/3928
Let m = -2105 - -2109. Which is bigger: 517 or m?
517
Let p = -3 + 3.13. Let v = p + 0.13. Let m = -16.74 - v. Which is smaller: m or 2/7?
m
Let t = 62 + -91. Suppose 22*i - 20*i - 4 = 0. Suppose -54 = 2*g + i*u, 0 = -4*g + 2*u - 88 - 38. Which is smaller: g or t?
g
Let z = 6907 + -6906. Which is smaller: z or -1/178?
-1/178
Suppose -3*b - 3 = 0, -b - 9 = 4*z + 4*b. Let t = 101/2450 + -3/49. Which is bigger: z or t?
t
Let c = 558 + -557. Let y be c/1*(36/(-9) + 4). Which is smaller: -5/147 or y?
-5/147
Let b = 173503/527896 - 23/2869. Is b less than or equal to -1?
False
Let d be ((-11)/(-2))/11*12/165. Suppose 4*o = 3*o + 10. Suppose 0 = -4*p - i + 7, -4*i + o = -5*p + 3. Is p less than or equal to d?
False
Let g = 387 - 383. Let u(q) = 2*q**3 - 2*q**2 - 21*q + 21. Let z be u(g). Is z at most as big as 32?
False
Let h(t) = 2*t**3 + 79*t**2 + 52*t + 128. Let c be h(-39). Which is smaller: -378 or c?
c
Let c be (-1 + -5)/((-3)/(-4)). Let y(w) = w**3 + 9*w**2 + 6*w - 16. Let v be y(c). Suppose 6*z + 2 - 8 = v. Is 2/45 less than or equal to z?
True
Suppose -54*c = -51*c - 6. Let w be (c/(-4))/(1675/(-50)). Is w equal to 0?
False
Let h be 20/(-45)*(-3)/22. Let w(u) = u**3 + u**2 + u + 4. Let c be w(0). Suppose 2*i = -5*l - 1 - 16, -2*i = -c*l - 10. Which is smaller: i or h?
i
Let w(j) = -22 + j**2 - 11*j + 8 + 27. Let s be 3 + 6 + -3 + 3. Let g be w(s). Which is greater: -10 or g?
g
Suppose 0 = -9*w - 0*w - 9. Suppose -3*l + 7*l - 84 = 0. Suppose l = -9*q + 2*q. Is q smaller than w?
True
Let q = 38544/35 - 1101. Does q = 1.6?
False
Let t = -8.59 + -108.11. Let n = -45.3 + t. Is n smaller than -2/3?
True
Suppose 8 + 56 = w. Let z = w - 62. Let y be ((-260)/(-15))/(z/3). Is y >= 25?
True
Let v be 44848218/2331 + -5*6/(-315). Which is smaller: v or 19241?
v
Let c = 173 + -157. Which is smaller: c or 8/9?
8/9
Suppose 56 = -3*p + p. Let q be (-7)/(p/16) + 0. Let c be q + -1 + 1 + -3. Is -2/9 at least as big as c?
False
Suppose 11*o - 18 = 2*o. Suppose -2*z + 129 + 117 = o*q, 4*q + 362 = 3*z. Does 123 = z?
False
Let l be (0 - (-8)/96)/((-252701)/(-184)). Which is smaller: 1 or l?
l
Let o = -28 + 34. Suppose -4*w = -3*t + 1, -11 = o*t - 4*t - 5*w. Suppose 0 = 4*x + 2*a + 3*a - 11, t = 5*x + 4*a. Is x smaller than -1/52?
True
Let a = -1 - -1. Suppose 0 = 3*q + 2*f - 1, -5*f + a*f - 3 = 2*q. Let p be 1*12/(1584/(-30)). Which is greater: p or q?
q
Suppose -2*r = -h - r, 0 = 2*h + 3*r. Suppose -4*m + 0*m + 4*g - 52 = h, -4*m - 42 = -2*g. Let f be ((27/(-15))/3)/(11/165). Are f and m equal?
False
Suppose -11*s - 1809 - 9309 = 6*s. Which is greater: s or -655?
s
Let f(i) = -i**3 - 2*i**2 + 4*i + 9. Let c be f(-4). Let d(v) = c - 2 - 11*v**2 + 11*v - 25*v + v**3. Let o be d(12). Which is greater: 1/23 or o?
1/23
Let q(i) = 0*i + 8*i**2 - 5*i**2 - 2 + 2*i - 2*i**2. Let f be q(-4). Let p(w) = w**2 - 4*w - 12. Let n be p(f). Is n at least -13?
True
Let x be (-3)/(-1 - 5/(-20)). Suppose 2*y - 66 - 50 = z, x*y + 3*z = 232. Are y and 58 nonequal?
False
Let f = -27469 + 26693. Which is greater: f or -784?
f
Suppose 142 - 140 = f. Is f smaller than 134?
True
Suppose -48 = -82*u + 34. Is -1/1786 at least u?
False
Suppose 0 = 4*q - 3*f - f - 96, -3*f + 88 = 5*q. Let s(n) be the first derivative of n**4/4 - 2*n**3 + 19*n + 56. Let m be s(6). Are q and m nonequal?
True
Let r(n) = -n**2 - 4*n + 2. Let g be r(12). Let o = g - -954/5. Is o less than 1?
True
Let m(g) = -2*g**2 + 5*g + 8. Let l be m(-4). Let b be (-8)/l + 5766/(-31350). Which is greater: 1 or b?
1
Let x be (-1848)/98 + 1/(-7). Let l = 20 + x. Let q = 828 - 825. Which is smaller: l or q?
l
Let a = 1687 + -1687. Which is bigger: 8/171 or a?
8/171
Let j(b) = 18*b - 525. Let l be j(35). Which is smaller: l or 118?
l
Let b(f) = -105*f**2 + 483*f + 2457. Let w be b(-5). Which is smaller: -2582 or w?
w
Let p(f) = 5*f**2 + 29*f - 1. Let s(o) = 2*o**2 + 15*o - 1. Let u(y) = 3*p(y) - 7*s(y). Let i be u(18). Let q be (i/8)/(3/6). Is q at most as big as 1/11?
False
Let b = 39.94 - 0.94. Let c = b - 43. Let g = 1.2 + -0.2. Which is bigger: g or c?
g
Let k be (-60)/344*85/1020. Which is bigger: -1 or k?
k
Let h be (0/(-1) - 10)*(-131)/(-131). Let n = -184 - -178. Is n bigger than h?
True
Let d be 395/4740 + 4/6. Are d and 2410 unequal?
True
Let i(o) = o**3 - 25*o**2 - 12*o - 40. Let t be i(22). Is -1753 greater than or equal to t?
True
Let k(a) = -a**3 + 13*a**2 + 12*a + 61. Let c be k(14). Suppose -c*n + 3375 = 42. Is 101 less than n?
False
Let g = 587 - 248. Let y = g - 352.4. Do y and 0 have different values?
True
Suppose -19 = -4*j + 2*p - 23, -6 = -3*p. Is j smaller than 12/281?
True
Suppose -4*i - 6 = -6*i, k = 5*i - 21. Let w(f) = 3*f**2 + 21*f - 8. Let h(s) = s**2 + 7*s - 3. Let r(o) = 8*h(o) - 3*w(o). Let n be r(k). Is n > 6?
False
Let h be (-1)/(-3) - 6/((-306)/4981). Is 94 at most as big as h?
True
Suppose -3*d = 3*r + 1023 - 186, -842 = 3*d + 4*r. Let i be -4 + (d/(-70) - 0). Which is greater: i or -1?
i
Let j = 3340 - 3339. Which is bigger: j or 10/429?
j
Let z = -3.5 - -2. Let h = z - -1.5. Let t = 15.92 - 1.92. Which is greater: h or t?
t
Let m = 1500 - 2567. Does -1067 = m?
True
Let c = -97 - -96.5. Let q = -0.215 - -0.015. Which is greater: q or c?
q
Let i = -0.085 + -0.639. Let d = i + 109.724. Which is smaller: 3 or d?
3
Let b be 5/(-10)*(19 + 5) - 94. Let n(p) = -4 + 3*p**2 + 1 + 4 + 5*p**3. Let v be n(-3). Which is smaller: b or v?
v
Let m be (-33)/22*(2 + 238)/(-2). Let x be (-574)/(-4) - 9*10/m. Is x at least as big as 142?
True
Let q(y) = y. Let z be q(-4). Let f = z + 1. Suppose -110*o - 22 = -88*o. Which is greater: f or o?
o
Suppose -4*w = m - 2029, -4*m + 8094 = 309*w - 304*w. Is 2023 bigger than m?
True
Suppose -5*y + 0*y - 11 = 2*i, -2*i - 9 = 3*y. Let m = 76 + -72. Let d be (-2)/15*1185/40 + m. Is d at least as big as y?
True
Suppose 4*v = 5*m - 22, -4*m + 4*v = v - 18. Let y(k) = 7*k + 8. Let t be y(m). Let c = t + -248/5. Do 4 and c have the same value?
False
Let p = -104 + 95. Let t = p + 44. Is 35 > t?
False
Let d be -3*(170/1350 + (-33)/15 + 2). Which is bigger: d or 3/2515?
d
Suppose -33*i = -55*i + 2948. Is i equal to 1211/9?
False
Let h = 40.68 - 48.1. Let l = 7.379 + h. Is -1/6 >= l?
False
Suppose -4*u - 5*i + 81 = 0, -4*i + 31 + 59 = 5*u. Suppose -57 = -4*o - 213. Let q be (19 + -21 - o/u)*8. Is q at most 5?
False
Suppose -2*b + 4*x + 113 = -15, 3*b - 2*x = 180. Suppose 0 = 5*a - 3*y - 281, -2*a + 0*a = 3*y - 125. Are b and a equal?
True
Let h be -21 + 3/(3 + 0). Suppose -16 = m - 3*y - 22, 3*y + 18 = 5*m. Let r be (m/(-14))/((-5)/h). Are r and 2/7 non-equal?
True
Let v = 2.3 - 2.04. Let n = 0.06 - v. Suppose -4 = 65*a - 4. Is a equal to n?
False
Let t be ((-168)/(-56532))/(0 + 3). Which is smaller: t or -1?
-1
Suppose 3*t - 8634 = 4*x, 0*t + 5*t - 2*x - 14404 = 0. Which is bigger: 2883 or t?
2883
Suppose 14*b - 11*b - 6*b = 0. Suppose b = -37*t - 1499 - 1239. Which is greater: t or -77?
t
Let h = 19 + -16. Suppose h*f + 11 = 20. Suppose -2*o = q + f*q + 22, -20 = 4*q. Is -20 less than o?
True
Let m be 2/((-24)/(-90))*(-16842)/(-7) - 3. Is 18043 > m?
True
Suppose -10*y - 26603 = 53605 - 19388. Is y smaller than -6082?
False
Let m(o) = o**3 - 11*o**2 + 7*o - 14. Let a be m(10). Let i = a - -50. Let z(u) = -u**2 + 4*u + 12. Let g be z(i). Is -2/17 at most as big as g?
True
Suppose 3*f + 38 + 49 = 0. Let q be 2 + 10/30 + f/(-3). Suppose 2*i + 3*d + q = -3, 5*d + 18 = -i. Are i and -4 non-equal?
True
Let d = -135 + 129.6. Let i = -2.3 + -0.1. Let l = d - i. Which is smaller: -6 or l?
-6
Let g = -928.4 - -1020.77. Let h = -92 + g. Let k = h - 2.37. Is -0.7 at most k?
False
Let k(j) = 8*j**2 - 26*j + 21. Let o be k(2). Is -2164 at most as big as o?
True
Let i(m) be the second derivative of m**5/20 - 3*m**4/4 + 4*m**3/3 + m**2/2 + 2*m + 22. Let d be i(8). Does 6 = d?
False
Let i be (-16)/(-3)*6/(-4). Let h be 10/(-4) - (-4)/i. Is 0.17 greater than or equal to h?
True
Let y = -286238 + 589683/2. Is 8603 equal to y?
False
Let s be (-21)/3 + 556 + -9. Suppose 0 = 5*o + 15*o + s. Are o and -7 unequa