 Let k be (-3)/5 - (-4 + (-119)/f). Which is smaller: k or -8/11?
-8/11
Suppose -5*k + 5 = 5. Suppose 6*a + 17 - 11 = k. Is -5/27 bigger than a?
True
Suppose -3*y - 264 = 63. Which is bigger: y or -764/7?
y
Let k be (7/(-21))/(3/(-27)). Suppose -k*g = g + 8. Let n be 0 + 0 + 5 + g. Is n smaller than 4?
True
Let l(z) = z**2 + 2*z + 4. Let f be l(-3). Let a(b) = 8 - f*b - 5*b + 15*b - 2*b. Let r be a(-4). Which is bigger: r or 15/4?
r
Let g be ((-18411)/10245 - -2) + 3/(-15). Is 1 less than g?
False
Let j = 45 - 14. Suppose -6*m + m = -2*a + 47, -a - 5*m + j = 0. Is 26 greater than a?
False
Let f = 641 - 647. Is -107 != f?
True
Let z = -181334 - -1992460/11. Which is bigger: -202 or z?
z
Suppose r - 584 = 5*r. Is r >= -146?
True
Let z = 95507/7 - 13539. Let t = z + -233431/2240. Let k = t - 3/64. Which is bigger: k or 0?
k
Let a = -1111/8 + 139. Let y = 3 + -6. Let j = 2.8 + y. Which is greater: a or j?
a
Let j be 14/(-21)*(-174)/4. Are 29 and j unequal?
False
Let j = -253 + 274. Suppose -4*f = -f - 6, d + 5*f = 30. Let h = j - d. Which is smaller: 5 or h?
h
Suppose -t - 79 = 2*k, 11*t + 3*k = 10*t - 83. Is -71 smaller than t?
False
Suppose -22*x = 2*w - 27*x - 10, -2*w + 4*x + 8 = 0. Is 1/502 > w?
True
Let k(q) = -q**3 + 7*q**2 + 2*q - 4. Let r be k(7). Let i = 8 - 11. Let g be (-3)/2*r/i. Which is greater: g or 4?
g
Let x = 52.978 + 0.022. Is x at most -2/3?
False
Let j = -58 - -62. Suppose 4*p - 10 = 2*p + 4*v, 0 = 2*p + j*v + 22. Which is greater: p or -1?
-1
Let l = -772719 + 1047029106/1355. Let j = l - 2/271. Which is bigger: -5 or j?
j
Let r be -7 - ((-188)/(-58))/((-352)/760). Which is smaller: r or 0?
r
Let f = 0.5 + -0.6. Let l be (1 - 0) + 8/(-4). Which is greater: f or l?
f
Let k be 120 + -12 - 4*1. Let p be (-3)/4*k/(-65). Suppose 0 = h + 3*h. Which is greater: p or h?
p
Suppose -o + 148 = 2*u - 0*u, 5*o - 4*u = 712. Is o smaller than 144?
False
Suppose 10*x = 16*x. Suppose 3*y + 6 = 0, -7 = -5*w - x*w + y. Which is greater: w or -0.1?
w
Let g(l) = l**2 - 3*l + 7. Let i(y) = y - 1. Let p(h) = g(h) + 6*i(h). Let c be p(-4). Let x be (-4 + c)/((-2)/(-2)). Is x not equal to -17/5?
True
Let x(u) = -2*u + 30 - 59 + 30. Let v = -2 + 3. Let f be x(v). Is 2 != f?
True
Let n be (-30)/330 - 40/44. Is n <= -4/25?
True
Let w = -15655/6314 + -97/82. Let j = 32/11 - w. Are j and 8 unequal?
True
Let c be 8/6 - 3/((-117)/182). Do c and 6 have the same value?
True
Suppose 5*h = u - 605 + 3585, -3*h + 5*u = -1788. Which is bigger: 597 or h?
597
Let o = -17 + 12. Let z = o + 8. Let i be z/(-36)*-4*-3. Which is smaller: i or 3/10?
i
Suppose 16*b = 22*b. Which is smaller: -1/116 or b?
-1/116
Suppose -4*r = -2*i + 20, -3*r + 15 = -4*i + 40. Let g(h) = -h**2 + 4*h - 2. Let w be g(i). Let a = 1 + -1. Do w and a have different values?
True
Let u = -0.116 - 12.884. Let o = 5 - 4.9. Which is greater: o or u?
o
Suppose 5*r + 42 - 7 = 0. Let z = r - -4. Let l = 8 + z. Are 6 and l nonequal?
True
Let d = -265 + 123. Let b be d/(-8) + (5 + -11)/(-6). Which is greater: b or 20?
20
Let m be 60/160 + (-74)/112. Let n(v) = -v**2 - 11*v - 11. Let b be n(-10). Let u be (b - (3 - 4))*1. Is m greater than u?
False
Suppose x - 38 = 5*l + 68, -4*l + 142 = 2*x. Is 81 greater than or equal to x?
True
Let s = -143 - -140. Which is bigger: s or 1?
1
Let z(h) = -h**3 - 7*h**2 - 14*h - 30. Let s be z(-4). Which is smaller: s or -43?
-43
Suppose 57 = 3*k - 2*c - 22, 4*c + 43 = k. Let f(s) = s**2 - 18*s + 60. Let w be f(14). Let i be (-1)/((2 - w)/2) - -22. Is k smaller than i?
False
Let f(z) = -z**3 + 10*z**2 - 8*z - 11. Let t be f(9). Let v(c) = 8*c**2 + 5*c + 5. Let u be v(t). Let n be 3*(84/u)/2. Is n smaller than 5?
True
Suppose 5*m + 3*o = 341, -5*o = 2*m - 38 - 87. Let b be (-2)/8 + m/(-8) + -2. Suppose 0 = c - 3*c - 20. Which is smaller: c or b?
b
Let s(l) = 2 + 3*l**2 + l - 2*l**2 - 8. Let i be s(4). Let b = i - 13. Which is greater: 4/7 or b?
b
Suppose -3*m - s = -6, -m + 2*m + 8 = 3*s. Let j be (m/(-4))/(19/(-8)). Do 1 and j have the same value?
False
Let j = 342 - 335.52. Let c = j - -19.62. Let g = 26 - c. Which is bigger: g or 3/5?
3/5
Let m = -376 + 7141/19. Let n(g) = -16 - 10 - 65 + 11*g + 4. Let v be n(8). Which is smaller: m or v?
m
Let r = 3 + -3. Let p = 47813/5 + -9600. Let a = -37 - p. Which is greater: r or a?
a
Let l = -966/5 + 10436/55. Which is greater: l or -3?
-3
Let r = 17 + -14. Let u be 1*(r + 1 - -2). Let h(c) = c**3 + 6*c**2 - 8*c - 2. Let v be h(-7). Is v smaller than u?
True
Let o = -391 + 303. Which is greater: -85 or o?
-85
Let c = 0.5 - -0.5. Suppose 5*n - 110 = -2*x, 116 = 2*x - n + 3*n. Let i = x - 182/3. Is c less than i?
False
Let y = -532 - -34049/64. Is -1.4 greater than or equal to y?
False
Suppose 87*q - 80*q = -56. Which is smaller: q or -5?
q
Let s = 664 + -659. Let c = 1 - -2. Are s and c equal?
False
Let o = 134.4 - 135.4. Is o equal to -1456?
False
Suppose 0 = -69*j - 2114 - 7477. Is -2/7 not equal to j?
True
Let c(t) = 2*t**3 - 20*t**2 - 7*t - 1. Let l(b) = -b**2 + b. Let j(u) = c(u) - 3*l(u). Let g be j(9). Is g != -11?
True
Let x(g) = g - 3. Let c be x(5). Let f be -2*c + (-7 - -20). Let h be (24/9)/((-15)/f). Is h <= -1?
True
Let f = 0.7 + 12.3. Let r = f - 14. Which is smaller: r or -35?
-35
Suppose -4 + 1 = -k. Suppose -6 = k*i - 3, -2*a - 3*i - 23 = 0. Let t(d) = -2*d**2 - 20*d + 2. Let x be t(a). Is 2/3 greater than x?
False
Let v be (-7 - (-4 - -100))/(-1). Which is bigger: -0.2 or v?
v
Let l(i) = i**2 - 4*i - 9. Let w be l(6). Suppose 0*h - w*h = 54. Is -17 at least h?
True
Let i = -513/2 - -155. Let u = 91 + i. Is u smaller than -10?
True
Let l = 29.014 - 29. Let k = l + 0.016. Do k and 1/4 have the same value?
False
Suppose 2*m + 4*g = 150, -12*m + 203 = -9*m - 5*g. Is m at least 72?
False
Let k = -149 - -149.063. Let b = k - 1.063. Is b < 2/25?
True
Let o be ((-40)/(-12) + -5)/((-2)/6). Is o less than or equal to 4?
False
Let b = 1590 + -1560. Which is greater: b or 3/4?
b
Suppose -x - 16 = -2*c - 5*x, 3*c + 5*x = 22. Let t be 5/(-3) + c/6. Let u = -0.1697 - -0.2697. Is t bigger than u?
False
Suppose -154*b + 149*b = 5*x - 720, 0 = -4*x - 3*b + 579. Is x less than 1020/7?
False
Let i = 322.4 - 322. Is i bigger than -0.028?
True
Let l(o) = 8*o + 272. Let f be l(-34). Are f and 1/35 equal?
False
Let a = 17 - 13. Let k = a - 7. Is -2 less than or equal to k?
False
Suppose 2*z + 6*b - 8*b = 100, -4*z - 3*b = -228. Is 53 greater than or equal to z?
False
Suppose 5*a - 3*n + 25 + 20 = 0, -4*n = -3*a - 38. Let y be 39/a + 1/2. Let o = y - -5. Is -2 < o?
True
Suppose 8*u - 75 = -11. Let g(w) = -w**2 + 11*w - 4. Let c be g(u). Let q = 22 - c. Which is greater: q or 8/7?
q
Suppose 0 = -7*y + 12*y + 5*o + 50, 10 = -5*o. Let z be (y/1 - -10)*(-2)/(-338). Is 0 at least as big as z?
False
Let p(c) = 2*c**2 + 13*c - 24. Let n be p(-8). Let w = -162 - -15712/97. Which is smaller: w or n?
w
Let s = 155 + -155. Is s at least as big as 11/9?
False
Let u(j) = -j**3 + 17*j**2 + 16*j + 22. Let g be u(18). Which is greater: 5 or g?
5
Let p(h) = -h**2 - 5*h + 189. Let i be p(11). Is i at most 16?
True
Suppose -3*t + 75 = 69. Suppose 4*m - t*m = -2. Which is bigger: m or -2/67?
-2/67
Let w = 10 + -11. Let d = -186.7 - -166.7. Which is smaller: w or d?
d
Suppose 0 = -v + 2*v. Suppose -3*i + 35 + 1 = v. Let m be (i/(-4))/((-15)/(-2)). Which is smaller: m or 0?
m
Let a(m) = m**3 - 20*m**2 + 15*m + 11. Suppose -n - 5*o = -24, -o = 3*n + o - 59. Let f be a(n). Which is bigger: -63 or f?
-63
Let h be (8/12 - (-35)/(-21))*222. Which is smaller: -221 or h?
h
Let z be (-8)/2*(-105)/(-42). Let x be (-8)/z - (-2071)/(-2470). Which is smaller: x or -1?
-1
Let o(z) = 3*z + 24. Let l be o(-21). Which is smaller: l or -40?
-40
Let w = -10 + 12. Suppose -5*d - o = -3, 2*o - 4 - w = -2*d. Suppose -3*v + 7 = 2*k, d = -3*k + 4 + 2. Is v smaller than -2/7?
False
Let g = 10 + -8. Let o be ((-12)/(-5))/(g/(-10)). Let y = -43/2 + 22. Which is greater: y or o?
y
Suppose 2 = 2*c - 12. Let i be 3/6*10/(-1). Let u = 13 + i. Is u equal to c?
False
Let y(j) = -j**3 + 4*j**2 + 6*j - 1. Let a be y(5). Let s(m) = m. Let k(h) = -h**2 + 8*h + 2. Let d(l) = k(l) - 5*s(l). Let w be d(a). Is -1 greater than w?
True
Let c = 1072/3 - 353. Let w = 642 - 643. Is w less than or