 0)) + 0. Let k(c) = -c**3 + 4*c**2 - 2*c - 4. Let f be k(3). Which is smaller: l or f?
l
Let j = 15 + -23. Let f be ((-4)/1 - -2) + -201 - 0. Let l = 197 + f. Is j < l?
True
Let i(a) = a**3 - 53*a**2 + 81*a + 213. Let u be i(51). Does -7732/9 = u?
False
Let u = 203 + -410. Let z = u - -207.2. Which is smaller: -27 or z?
-27
Let i be 8/48*-2 + (544/(-168) - -4). Is 2185 greater than or equal to i?
True
Suppose 0 = 41*n - 42*n + 4*m + 32, -2*m - 16 = -3*n. Is n at most 2/41009?
True
Let g be (375/1100)/((-1)/(-4)). Suppose 2 = 5*r + t, -4*t = -2*r - 2*r - 8. Is g < r?
False
Let b be (-9)/12 + 4147/(-572) - (-7 - -1). Is b smaller than 1?
True
Let c = -1604 + 1604. Which is smaller: -9/13 or c?
-9/13
Let c = 17288599/14335 + 7898/305. Let y = 1232 - c. Does 0 = y?
False
Suppose -2*y = -9 - 19. Let c be (99/2)/(159/(-1060)). Let q = 345 + c. Which is smaller: q or y?
y
Let g = -4.755 + 4.925. Which is smaller: -2/7 or g?
-2/7
Let y be ((-2)/(-1))/((-8)/4). Let z be (-18)/972*-36*(-284 - (0 - -1)). Which is greater: z or y?
y
Suppose -91 = -88*q - 443. Suppose -53 + 65 = -3*x. Is q greater than x?
False
Let m be (-2)/(-8) + 14/8. Suppose -5*j + 66 = m*q, -5*j + 35 = -q - 37. Is 7 equal to j?
False
Let w be 10/(-4) - (32 + 8917/(-74)). Are 80 and w equal?
False
Let c = 3377 + -3375.2. Which is smaller: c or -47?
-47
Let t = 4 - 0. Let j = -4.2 + t. Let z = 19.8 - 20.6. Is j less than or equal to z?
False
Let a be ((-193)/2 - 1)*-2. Let z be 351/a*20/(-3). Which is smaller: 10 or z?
z
Let o(m) = m**3 + 9*m**2 - 11*m - 10. Let c be o(-10). Suppose c = -8*a + a + 175. Let l = 71 - a. Which is bigger: 47 or l?
47
Let u be ((-9)/(-2))/(4/16). Let i = 17010 - 16985. Is i bigger than u?
True
Suppose 7*o - 3*o - 55 = -w, o - 1 = 4*w. Suppose 0 = -o*r + 468 + 78. Is 42 smaller than r?
False
Let v be ((-124)/(-8))/(249/84 + -3). Is v smaller than -433?
True
Let o = 1101.29 + -1106. Let k = o - -3.71. Is k at least as big as -1.43?
True
Suppose 0 = -3*b + 3*c - 6*c + 27, 0 = 4*c. Suppose 16 = 2*u - 82. Let v = u + -37. Which is bigger: v or b?
v
Let i be -3*-1*(-41)/(-3). Suppose -62*l - 45*l + 4620 = -2*l. Are l and i nonequal?
True
Let r be ((-2940)/375 + 8)/2. Which is smaller: r or 403?
r
Let b be 2 - (-16 - (-9 + 6)). Suppose -2*s + 31 = 13*c - 8*c, -3*c = -b. Is s greater than 13/5?
True
Let u = 368 - 367.41. Let j be ((-7)/((-21)/(-2)))/(6 - 5). Which is smaller: u or j?
j
Suppose 0 = -8*w - 7*w + 960. Suppose 0 = -20*v + 18*v - 3*m + 69, -2*m = 2*v - w. Let n = -54 + 80. Is n bigger than v?
False
Suppose 0*y - 12 = 4*y - 4*f, -3*f = -15. Suppose y*l = 76 - 84. Let n be (2/(-4))/(1/(-6)). Which is greater: l or n?
n
Let x = 2.14 + -1.26. Let s = x - 0.9. Which is smaller: 2 or s?
s
Let j = 3539/23257 - -3/1789. Is -386 < j?
True
Let d = -26.1 - -0.1. Let s = 0.254525 - 0.054525. Are d and s unequal?
True
Let a = -3 - -3.021. Let i = a + 0.079. Let l = -93.4 - -96. Which is greater: i or l?
l
Let i(u) = -3415*u + 3429*u + 3*u**3 + 12*u**2 - 19 - 4*u**3. Let n be i(13). Which is greater: n or -1?
-1
Let y(n) = n**3 - 5*n - 44 + 2*n**2 + 77 - 39. Let i be y(-3). Which is smaller: i or -2/241?
-2/241
Suppose 1218 = 8*f - 2*f. Let i be (-6)/5 - -1 - f/(-1085). Let d = i + 316/465. Is d != 4?
True
Let c = -359.8 - -356.8. Is c equal to 2.55?
False
Suppose 0 = 7*i - 2*z - 2214, -38*z + 42*z = -i + 312. Which is smaller: i or 369?
i
Let b be (-71928)/17964 - (-2 + -2). Which is greater: b or 0?
0
Let o(q) = -2*q - 28. Let s(r) = -3*r - r + 5*r + r + 27. Let g(a) = 2*o(a) + 3*s(a). Let y be g(-12). Do y and 1/37 have the same value?
False
Suppose -2 = -4*f + 2. Let b be 0 - f/(-1) - -3. Suppose -40 = -5*j, -42*l + 40*l + 5*j - 36 = 0. Which is greater: b or l?
b
Let i be 3 - 3*(-4)/(-3). Let j be 88402/85*(-50)/80. Let o = -650 - j. Which is greater: i or o?
o
Suppose 0 = -2*l + 2*t + t + 37, 5*l - 5*t = 90. Let w be ((-15)/(-4))/(273/52 - 5). Which is greater: w or l?
l
Let f(n) be the first derivative of -n**3/3 - 6*n**2 + 12*n + 12. Let u be f(-13). Let h = 35 + -19. Which is greater: u or h?
h
Let g = -1135 - -1134.453. Let r = -590 + 589.953. Let q = r - g. Is -1.1 less than q?
True
Let q = 0 - -2. Let s(m) be the second derivative of -m**4/12 + m**3/6 + 2*m**2 + 59*m - 6. Let i be s(q). Which is bigger: -1 or i?
i
Let r = 0.008 + -0.009. Let h = -34.999 + r. Let x = 32 + h. Which is bigger: -2 or x?
-2
Let l(t) = 12*t**3 + 22*t**2 - 10*t - 9. Let i(z) = -10*z**3 - 21*z**2 + 10*z + 9. Let v(u) = 5*i(u) + 4*l(u). Let k be v(-9). Which is greater: 10/147 or k?
10/147
Let t be 3/(-2)*24/(-9). Let g be ((-6)/t)/(9/(-18)). Suppose -w - g*a = 8, 0 = 5*a - a + 12. Does w = 1?
True
Suppose 5*c - 12*c = -7. Let r(d) = 2*d + 2. Let l be r(-2). Let u be (1 + -4 - l)/c. Which is smaller: -2 or u?
-2
Let h(z) = z - 4. Let b be (-1)/(-4) + 75/20. Let n be h(b). Let g be 2/12*2*(-5)/5. Which is bigger: n or g?
n
Let w = 187 - 183. Suppose -j - 2 = -4*g - 1, -w = -2*j + 2*g. Is -1 < j?
True
Suppose 8*h = 4*h + 616. Let a = -31 - h. Do -185 and a have the same value?
True
Let g = -1951 + 1950. Is g equal to 3/703?
False
Let y = 46513 - 46288. Suppose -z - 225 = -2*z. Is z less than y?
False
Let y be 3/4 + (9 - 107)/((-104)/(-39)). Is -11 >= y?
True
Let p = 322 + -320. Suppose p*s + 21*s = 3*s. Is -1/90 < s?
True
Let k = -9517 - -1056. Which is bigger: -8460 or k?
-8460
Suppose -2*y + 7 = -3*x + 29, -3*x - 3 = 3*y. Let z be 1/6*((-215)/35 + x). Is z at least as big as -1?
True
Suppose 3*i + 2*u = -1, -2*i - 2*u = -3*u - 4. Let o = 1 + -5. Let r be 10/o*(-1)/(-60). Is i less than or equal to r?
False
Let v be -4*((-5)/(5/(-2)) + (-357)/238). Is v bigger than -63/38?
False
Let f(h) = h**3 - 5*h**2 + 3. Let z(s) = 2*s**3 - 12*s**2 + 6. Let n(x) = 7*f(x) - 3*z(x). Let c be n(-2). Let r be 4*4*4/2208. Are r and c unequal?
True
Let o = 0.0033 - -406.9967. Let p = -395.5 + o. Which is smaller: p or 2/13?
2/13
Suppose 0 = -2*z + 3*t + 18088, 97*t - 95*t = 2*z - 18094. Is 9053 at most z?
True
Suppose -5*j = 4*o + 412, o + 116 = 2*j - 0*j. Let g = o + 88. Is -22 at least as big as g?
False
Let b be ((-18)/(-54))/(7/5943). Suppose -34 = -k + 248. Is k > b?
False
Let a(r) be the third derivative of r**6/120 + r**5/10 - 7*r**4/24 + r**3/6 - 75*r**2. Let z be a(-7). Is 14 at most z?
False
Let n = 28 + -26. Let i = n - -1. Is 2 > i?
False
Suppose -6 = 2*o, t = -o - 198 - 803. Which is smaller: t or -1000?
-1000
Let b(m) = -5*m**2 - 7*m - 13. Let o(q) = 9*q**2 + 13*q + 27. Let f(s) = 5*b(s) + 3*o(s). Let u be f(-3). Suppose 9*w + 14 = -u. Is w equal to -7/2?
False
Suppose -4*t - 528 = -3*p, -2*p = 17*t - 13*t - 352. Let j = -17599/100 + p. Is 1 <= j?
False
Let y = -0.107 + 0.055. Let u = -0.0922 + 3.1442. Let d = u + y. Which is bigger: d or 0.3?
d
Let c(p) = 162*p - 2110. Let r be c(16). Which is smaller: 493 or r?
r
Let c(i) = 5*i**2 + 12*i - 11. Let w(l) = 11*l**2 + 24*l - 22. Let j(x) = 9*c(x) - 4*w(x). Let g be j(-13). Suppose 64*h - g = 62*h. Is 11/12 <= h?
True
Let x be (-1)/(2/20) + -1. Let n = -5377 - -5364. Which is greater: x or n?
x
Let i be 8 - (3 - 4 - -4). Suppose d - 48 = i*d. Let p be d/6*(2 - 1). Which is bigger: p or -12/13?
-12/13
Suppose -4*g + 3*c + 16737 = -949, 8822 = 2*g + 2*c. Which is smaller: 4419 or g?
g
Let g = 20/4311 - 312652/487143. Which is greater: g or -1?
g
Let b = 88 + 45. Let t be 352/616 - ((-22)/231)/((-2)/(-2844)). Which is smaller: b or t?
b
Let l = -0.386 + 0.33. Let t = 0.044 - l. Let q = -1 - -1. Do q and t have different values?
True
Let o be (13/(78/(-1296)))/(6/(-4) - 0). Which is bigger: o or 863/6?
o
Suppose 13*i = 86*i + 192*i - 123225. Is 465 <= i?
True
Let f = 0.127 - 10.227. Let q = 10.25 + f. Is q > -2?
True
Let l = 1767/137 - 12997/8220. Let g = -45/4 + l. Let v(o) = o**3 - 5*o**2 - 6*o - 1. Let p be v(6). Does p = g?
False
Let l = 300.96 - 301. Suppose -5*j = 0, 2*j - 4*j = 3*b + 27. Are l and b nonequal?
True
Let f = 50.85 - 2.85. Let t = f - 26. Is t >= -2/3?
True
Suppose 0 = 11*h - 245 - 74 - 99. Let y be (3 - 22)*2*-1. Is y greater than or equal to h?
True
Let m = 67154 - 122477. Let n be m/(-76923) + (-1 - -2 - 1). Let q = -2/407 + n. Which is bigger: q or 0?
q
Suppose -402 = -270*k + 268*k - 4*r, -2*k + 394 = 5*r. Let t b