8). Which is smaller: -80 or t?
t
Suppose 5*n = 3*q + 132 + 53, -4 = 2*n. Let y be q*(14/(-49) + (-10)/14). Is 65 equal to y?
True
Let u = -301119/32035 - 2/6407. Is -10 at most as big as u?
True
Let n(f) = -f**3 - 10*f**2 + 11*f + 2. Let k be n(-11). Suppose -b = -k*b. Suppose 4 = 3*y - a, 2*y + 0*a + 4*a - 12 = b. Is 0.5 bigger than y?
False
Let p(x) = 14*x**2 + 8*x - 11. Suppose 0 = 4*k + 3*k - 21. Let z be p(k). Which is smaller: 138 or z?
138
Let d be 0 + 6/1 - 1. Let k = 1777/30 + -589/10. Which is greater: d or k?
d
Let w be (4/(-14))/((-20)/(-7)). Which is bigger: w or 1?
1
Suppose -3*l + g = -280 - 10, 0 = -3*l - 5*g + 314. Let y = 90 - l. Which is greater: y or -2/3?
-2/3
Let c be (2 - 5)/(-3)*-21. Let a = -30 - c. Let l be (a/12)/((-6)/(-4)). Is 12 equal to l?
False
Let m be (-13)/(429/44) + (-2870)/(-6). Do m and 476 have different values?
True
Let n(o) = 133 - 3*o - 54 - 41. Let v be n(12). Let d = 3 - 2.9. Which is greater: d or v?
v
Suppose -5*m + 7 - 2 = -t, -2*m - 4*t - 20 = 0. Let i = 90847/155 + -2927/5. Let a = 488/775 - i. Which is smaller: m or a?
a
Let v be ((-36)/15)/(6/15). Is -9 at least as big as v?
False
Let i = -5 + 23. Suppose s - i = -0*s. Let m be (s/3)/(3 + -14). Which is bigger: m or -2?
m
Suppose j = 25 + 1. Let f = j - 18. Let x be f/30 + 3/(-9). Which is smaller: 0 or x?
x
Suppose i + 0 - 2 = 0. Suppose f + 2*o = -1, -2*f - 4 - 4 = -i*o. Let l be (-5 - f)/(28/10). Is -2 < l?
True
Let m(r) = -r**3 - 8*r**2 - 7*r. Let v be m(-7). Let f be (0 - -1)*((-15)/(-6) - -4). Let l = f + -89/14. Is l equal to v?
False
Suppose -b + 3 = 0, -4*b = -3*i + 569 - 107. Is i smaller than 158?
False
Let h = -3341845281/644 + 5189199. Let n = h - -3/92. Which is greater: -2 or n?
n
Let h = -837 - -837.39. Are h and 1/17 unequal?
True
Let d be 6/(-39) + 12936/56199. Which is smaller: d or 1?
d
Let c = 3.5 + -0.1. Let f = c - 3.4. Let r = -0.1 + f. Are 13 and r non-equal?
True
Suppose r = -3*r + 96. Suppose 0 = -g - 4*a + 3, 3*g + 0*a = -a - r. Let o be (6/g + 2)*1. Which is smaller: 0 or o?
0
Suppose l - 4 = -1. Suppose l*s - 7 = -4*s. Which is greater: s or 2?
2
Suppose 0 = -4*v - f - 4*f - 9, 5*f = -25. Let j = 16 - -5. Suppose 0 = -5*p + 2*m + 1 + 3, -5*m + j = 3*p. Which is bigger: v or p?
v
Suppose 0 = 6*v - v - 20. Let m be 2*((-2368)/(-546) - v). Let n = m + -2/273. Is n >= 16?
False
Let u = 775 - 830. Is u smaller than -169/3?
False
Let h be 2/(-4) - 15/(-2). Let f(s) = s**3 + 8*s**2 + 7*s - 1. Let v be f(-7). Let n = h - v. Do 8 and n have the same value?
True
Let i be ((40/5)/(-8))/1. Is -2/607 != i?
True
Let b be (-44)/(-10) - (-4)/(-10). Let n be (-11)/(-9) + 2*(-2)/b. Which is smaller: n or -1/5?
-1/5
Let p be ((-2)/230)/(1*(-3)/6). Let q = -363/14260 + p. Is -1 greater than q?
False
Suppose 0*y - 2*b - 626 = 3*y, 4*y - 5*b = -804. Is y > 0?
False
Let q = -204 + 209. Which is smaller: 41 or q?
q
Let l = 13 + -12. Let x be l/(1 - 0)*5. Let h(k) = k**2 - 4*k - 3. Let b be h(x). Is 2 != b?
False
Let l = 2 + -3. Let a be ((-18)/3 - -3) + l. Let f = 3 + -6. Which is smaller: a or f?
a
Let s = -54 + 83. Suppose -j + 2*j + s = 0. Let i = j - -32. Which is smaller: 2 or i?
2
Let v = -115.5 - -0.5. Is -6 bigger than v?
True
Let a = 0.2 - 0.5. Let z = 0.68 + -0.98. Is a >= z?
True
Let b(k) = k + 6. Let v be b(-3). Suppose 2*m - 10 = -z + 4*z, z - v*m = -8. Let d = 3 + z. Which is smaller: d or 5/7?
5/7
Let z = -1407 - -648. Is z greater than or equal to -758?
False
Let y = -29 - -33. Let v be (-1)/y - 125/(-20). Do v and 7 have the same value?
False
Let t be (28/(-8) - -4)*-28. Suppose a - 25 = -4*a, -5 = 5*n - a. Suppose n = 2*l - 4*u + 34, l + 5*u = -2 - 1. Which is greater: l or t?
l
Let v be (-2)/1 - (-5)/1. Let p = 4 - v. Suppose 0 = -48*q - 153 + 9. Is p less than q?
False
Let v = -4 + 3.86. Let b be (2/4)/(3 + -4 - -3). Do v and b have the same value?
False
Suppose 14*n + 298 = 9*n - 4*m, 48 = -n + 5*m. Which is smaller: n or -55?
n
Let n(b) = -2*b**3 + 3*b**3 + 4*b**2 - 9 + 3 - 5*b. Suppose -i = -2*m - 6, 0 = 4*m - i + 2*i + 18. Let o be n(m). Which is bigger: o or 13?
o
Let p be 72/42*(-1 + 22). Let y be 6/4 + (-18)/p. Which is bigger: y or 2/19?
y
Suppose o + 18 = -18. Suppose 0 = -4*d + 4*s - 120, -6*s - 144 = 4*d - 4*s. Is o at least d?
False
Suppose 44 = -2*j + 48. Suppose -4*y + 36 = -j*r, -5*y + 27 + 31 = 4*r. Which is smaller: 7 or y?
7
Let k = -37 - -39. Suppose 86 = -3*g - 2*v, 5*g = k*v + v - 175. Let c be 16/(((-5)/2)/5). Is c bigger than g?
False
Let q = 83 + -83. Is q greater than or equal to 0?
True
Let r = 20/113 - 4352/22035. Do 1 and r have the same value?
False
Let c = 169 - 169. Is c equal to -1/4?
False
Let k = -851 - -850.985. Let d be -1 + 4 + (-55)/15. Is d at least as big as k?
False
Let r = -198 - -198.1. Which is bigger: -104/3 or r?
r
Let p(c) = 11*c**2 - 2*c + 2. Let r be p(1). Suppose -3*d - d = -5*k - r, 3 = 3*k. Suppose m + n = 5*n - 2, -2*n - 20 = -d*m. Which is greater: 4 or m?
m
Let v = -22 + -44. Let f = v - -38. Which is bigger: f or -29?
f
Suppose 0 = -3*l + 31 + 128. Let c = l + -55. Is c less than -2?
False
Suppose -3*w - 6 = -t - 4, 0 = -3*t - 3*w - 18. Let y be 4*((-6)/t)/(-3). Let p = 6 + -12. Is y at most as big as p?
False
Let y = -21 - -54. Let r = y - 31.3. Let p = -0.7 + r. Is p at least as big as -2.1?
True
Let m(j) = -2*j**3 + 2*j**2 - 5*j - 6. Let w be m(-2). Suppose -7*g = -3*g - 8. Let o be g - (-48)/w*-1. Which is bigger: o or 12?
12
Let f be -1*1 - (-7)/5. Let u = -291 - -291. Are f and u equal?
False
Let z be (-2 - 114/(-42))*1. Let f(y) = y**3 + y**2 - y + 1. Let w be f(0). Let q = 2 - w. Is z bigger than q?
False
Let g = 138 + -214. Is -229/3 != g?
True
Let l be (-3)/45*45/99. Which is smaller: 0 or l?
l
Suppose -2*c = a + 3*a - 22, 0 = -4*c - 4*a + 28. Let o = -79.4 - 9.6. Let x = -84 - o. Which is bigger: c or x?
x
Let u = 1.71 + -2.71. Is u bigger than 97?
False
Let l be 3/1*15/9. Suppose -l*f + p = -2*f - 65, -p + 15 = f. Let s be ((-6)/20)/((-24)/f). Which is smaller: -1 or s?
-1
Let w(i) = -3*i**3 - 6*i**2 + 6. Let n be w(2). Are -43 and n equal?
False
Let p(v) be the second derivative of -6*v + 1/6*v**3 + 0 + 1/2*v**2. Let w be p(-3). Which is bigger: w or 2?
2
Let h = -49 + 70. Is h bigger than 3?
True
Suppose 4*d - 8*d = -5*s + 19, 0 = -2*d - s + 1. Let o = -398 + 5974/15. Is o less than d?
False
Let k be 1 + 1 + 432/102 + -7. Which is greater: k or 0?
0
Let k(z) = 0*z - 2*z - 13 + 0*z - 2*z. Let h be k(-5). Is 9 equal to h?
False
Let x = -10 + 28. Suppose -3*l + 0*l = -x. Suppose -3*j + l*j = -3. Is j greater than or equal to -1?
True
Suppose 0 = 4*m - 4*k - 28, -9*m - 5*k = -13*m + 32. Which is smaller: m or -2/25?
-2/25
Let h = 446 + -445.6. Are h and -0.047 equal?
False
Let d(b) = b**3 + 20*b**2 - 16*b + 73. Let t be d(-21). Does t = -340/11?
False
Suppose 4*n + p - 13 = 0, 3*n + 5*p - 14 = 17. Let k be 96/(-50)*5/n. Is k at most -5?
False
Let u = 0.3 - 0.1. Let l = -88644 + 445158/5. Let h = l + -389. Is u smaller than h?
False
Let a = 220 + -220. Which is greater: 1027 or a?
1027
Suppose -3*s = 2*c - 7*s + 218, -3*c = -5*s + 322. Let v = c + 69. Is -30 smaller than v?
False
Let g be 4*(3 - 0)*4/(-128). Let i = -8 - -14. Let s = -8 + i. Is g bigger than s?
True
Suppose 77*s - 232 = 69*s. Which is greater: s or 32?
32
Let c = -57 - -60. Suppose -3*u + 4*h = 163, c*h - 165 = 2*u + u. Is u smaller than -56?
True
Suppose -16*g - 2002 = -93*g. Is 26 at most as big as g?
True
Let i(k) = -2*k + 2. Let l be i(2). Let v be 0 + 12/(-4) + l. Suppose -n - 42 = 6*n. Is v at least n?
True
Let f = -15.23 + 0.23. Let b = -10.7 - 1.3. Let u = b - f. Is u at least as big as 1?
True
Let b(a) = a**2 + 14*a - 3. Let m(k) = k**2 + 14*k - 4. Let l(v) = -5*b(v) + 4*m(v). Let g be l(-14). Which is smaller: 3 or g?
g
Let a = -1044.22 - -1045. Which is smaller: 9 or a?
a
Let g = -3 - -1. Let j = 38 + 27. Let n = 65 - j. Is g at least n?
False
Suppose 0 = -19*c - 6*c - 650. Are c and -7 equal?
False
Suppose -2*l - 26 = 4*i, -8 = 2*l - 2. Let w = 17 + i. Let m be ((-4)/156)/(4/w). Is -1 at least m?
False
Let x = -700 - -699. Are x and 49 non-equal?
True
Suppose -74 = 15*w + 1471. Is w greater than or equal to -91?
False
Let l(g) = 4*g - 4. Let q be l(4). Let w be (-4)/26 