6/(-12)). Which is greater: 0 or r?
0
Let i = -96 - -95.973. Let n = 0.073 - i. Which is bigger: n or 20?
20
Let b(v) be the second derivative of -v**5/20 + v**4/6 + v**3/2 + v**2/2 - 108*v. Suppose 0*q = -3*q + 9. Let j be b(q). Which is smaller: 0 or j?
0
Let w = -33.35 - -33. Let m = -2.35 - w. Is m >= 2/7?
False
Suppose -o + 5*o - 16 = 0. Let s = o + -1. Let r be 0 + s/(3 - 2). Is 4 at least as big as r?
True
Let q = 10 - 8. Let a be 1/3*9/q. Is 2 > a?
True
Suppose -3*t - 8 = -2*s + 22, 2*s = -t + 46. Is 107/5 at most as big as s?
False
Let t(d) = d**3 - d. Let m(h) = -4*h**3 + 6*h**2 - 2. Let k(v) = m(v) + 3*t(v). Let w be k(6). Let o be w/15*(-2)/24. Which is greater: 0.1 or o?
o
Let p be 6*((-2)/(-3))/(-1). Let o(m) = 3*m**2 + 4*m - 2. Let t be o(-2). Suppose u = 1 - t. Is p equal to u?
False
Let d = -467/6 - -78. Is d equal to 0?
False
Suppose 72*z - 4510 = 17*z. Are z and 80 equal?
False
Let a be (-8)/(-20)*(-7025)/(-264). Let m = a + 1/44. Which is smaller: 11 or m?
m
Suppose 5*m - 33 - 217 = 0. Let p(j) = 52*j - 1. Let t be p(1). Which is bigger: t or m?
t
Suppose 4*m = 3*t + 29, 5*t = 3*t + m - 11. Which is smaller: t or -6?
-6
Let q = -36 - -131. Let k = q - 96. Is k less than 2/25?
True
Let s be 3/9 - (-4)/6. Suppose 23 = 2*a + s. Suppose 0 = 3*x - 4*j + a, 2*x - 4*j = -9*j - 38. Is x equal to -9?
True
Let j be 4/8*-4*-1. Suppose j*s + 3*s = -45. Which is bigger: -7 or s?
-7
Suppose -32*k + 33*k - 6 = 0. Let r be -3*(1/2)/(k/16). Let o(m) = m**3 - 3*m**2 + 3*m - 3. Let g be o(2). Which is bigger: g or r?
g
Let m(s) = -s**2 + 23*s + 164. Let h be m(30). Which is greater: h or -45?
-45
Let m be (-9)/(-6)*95151/144. Let h = m - 991. Is 1 not equal to h?
True
Suppose 5*p - 15 = 5*a, p - 2*p + 8 = 4*a. Let r be 32/90 + 14/(-35). Are a and r equal?
False
Let k(v) = -6*v**3 - 9*v**2 + 6*v - 23. Let d be k(3). Which is smaller: -997/4 or d?
-997/4
Let z(x) = x**2 - 4*x - x**3 - 2*x**2 - 3 + 5*x**2. Let r be z(3). Which is smaller: -7 or r?
-7
Let g = 1.68 + -0.68. Are -78 and g unequal?
True
Suppose 0 = -b - b - 34. Let d be 5/(-40)*4*118. Let i = -76 - d. Is i at least b?
True
Let u(k) = -k**3 - 4*k**2 + 10*k + 27. Let f be u(-3). Suppose 0 = n + 5*d - 0 - 11, 5*d - 25 = 0. Does n = f?
False
Suppose 4*g + 214 = -v, -3*g + 5*v - 172 = -0*g. Let s = g - -55. Is s not equal to -2/65?
True
Let t = 159 + -158.29. Let g = t + -1.71. Which is smaller: g or -0.046?
g
Let z(h) = h**3 + 4*h**2 - 2*h - 2. Let i be z(-3). Suppose -v = 4*j + i, -v - 2*j = 9 - 2. Let x be 1/45 + v/(-5). Which is smaller: 1 or x?
x
Let n = 4.25 + -4.35. Is n <= -71?
False
Let b = 2/1636449 + -22916831854/47457021. Let p = 483 + b. Is p greater than 1?
False
Let m(q) = -6*q - 75. Let r be m(-13). Let h be -6 + (-6)/2 + 4. Which is smaller: h or r?
h
Suppose -n = -4*i + 1365, 0 = 3*i - 18*n + 22*n - 1000. Does i = 338?
False
Let f(c) = 4*c**2 + 4*c - 2. Let s be f(-2). Suppose -4*m + s = 2. Which is greater: m or 2/19?
m
Let w be (-14)/147 - 38/42. Is -474 > w?
False
Let m be -9 + 0*(-2)/8. Let g = 8 + m. Let h = 2163/5 + -434. Is g at least as big as h?
True
Suppose 3*b = 3*y + 4 + 11, -2*b - 3*y = -10. Suppose 7*d - b = 4*d - 4*o, -8 = -4*o. Suppose 0 = -7*u + 11*u - 8*u + 4. Is d != u?
True
Suppose w = -0*w - 4*r + 23, 0 = -4*w - 3*r + 27. Suppose 3*m = -m - w*d - 9, 15 = 3*d. Let g = 6 + m. Is 2/45 bigger than g?
True
Let l = 145903/9 - 16187. Is l > 23?
True
Let a = -5961/40 - -149. Are 1 and a equal?
False
Suppose 0 = -3*t - 4 + 7. Let f be (-24234)/(-6069) - 2*2. Let s = -1198/6069 - f. Which is smaller: t or s?
s
Let y be (-3)/(-4) + 5/4. Suppose -y*t + 0*t + 12 = 0. Let f = -151 - -454/3. Which is greater: f or t?
t
Let n(m) = 4*m + 32. Let w be n(-4). Let a be (6/(-4))/((-6)/w). Is 9/2 at most a?
False
Let f = -31 + 33. Suppose -3*p = -3*h + 12, -5*p = -f*h + 9 + 8. Suppose 4*l = -4*d + 4, l - 2*d + 8 = -0*d. Is p equal to l?
False
Let p = 47 - 34. Let a(v) = v**2 - 12*v - 4. Let u be a(p). Which is greater: 8 or u?
u
Let y = -26 + 26. Suppose 3*w + 2*v - 5 = y, 0 = -w - 3*w + 4*v. Is 3/2 smaller than w?
False
Let n(d) = 2*d + 19. Let i(f) = f**2 + 14*f - 13. Let g be i(-14). Let l be n(g). Is l not equal to -5?
True
Suppose -2*x + 4*d = -6*x, 2*x - 4*d - 12 = 0. Suppose -4*k = -x*k. Let u(w) = w**2 - 1. Let l be u(k). Is l equal to 2/29?
False
Suppose 5*b - 30 = -0*b. Let x(z) = z**3 - 6*z**2 + 4*z + 2. Let n be x(b). Suppose -4*i - 20 = -2*s, -4*s + 4*i + n = s. Which is smaller: 3/4 or s?
3/4
Let s = -0.0274 + -253.9726. Is s > 2/7?
False
Let q(r) = -r**3 + 7*r**2 + 2*r - 10. Let n be q(7). Suppose -12 = 4*u, -3*p - 13 = n*u + 5. Is p bigger than -1?
False
Let r = 21 + -19. Suppose 11 = -5*b + q, -5*b - 4 = -r*q + 3. Let v be (8/(-7) - -1)*b. Is 0 != v?
True
Suppose 34*n = 114*n - 80. Which is bigger: n or -2/2527?
n
Suppose 5*c + 15 = -2*a + 53, -4*c = -2*a - 16. Suppose -c = -2*g + 4. Suppose n + 4*h + 5 = 0, 3*n - g*h - 8 = 4*n. Are 8 and n non-equal?
True
Let b(l) = -l**3 + 9*l**2 - 4*l - 3. Let h be b(8). Suppose c + 5*d - 37 = 0, d - h = -2*c - 0. Let m be 1 + -16 - c/3. Are m and -20 non-equal?
True
Let l = 32.8 - 26.8. Which is bigger: l or 0?
l
Suppose -4*y - y + 120 = 0. Suppose 79*r = 2850 - 875. Which is smaller: y or r?
y
Let c be (-620)/12 + 2/(-6) - -2. Which is greater: c or -49?
-49
Suppose 5*a + 336 = -654. Let u be 4/(-18) + (-407)/a. Which is bigger: u or 2?
2
Let o = -270 - -299. Which is greater: 26 or o?
o
Let m(i) = -i**3 - i**2 + 1. Let n(v) = -3*v**3 + 8*v**2 + 11*v. Let y(r) = 2*m(r) - n(r). Let x be y(11). Let t = 0.12 + -2.12. Is t < x?
True
Let s(d) = 7*d + 12. Let o be s(-8). Let x be (-58)/o + (-2)/(-11). Let r = 41 - 39. Which is greater: x or r?
r
Let f(n) = n**3 - 26*n - 14. Let z be f(-5). Let o(s) = -2*s**2 - s + 1. Let l be o(2). Is z at most as big as l?
True
Let r = -8 - -6. Let w be 3/(-12)*r/(-12). Is 1 less than or equal to w?
False
Let m be ((-12)/(-15))/(4/8841390). Let l = m + -1052125162/595. Let d = l + -2/119. Is d at most 3?
True
Let w(b) = -b**3 - 2*b**2 + 27*b - 6. Let q be w(4). Which is smaller: q or -20?
-20
Let v be 12/(-9)*18/92. Let p(j) = -3*j + 5. Let b be p(2). Is v greater than b?
True
Let n be (-32)/7 - (-4 - 0). Suppose -4*g + 2*x - 6 = 0, -2*g - 6 = g - 2*x. Which is greater: n or g?
g
Let r be (3/(-2))/(24/224). Which is smaller: r or -17?
-17
Let k be ((-255)/35 - -7) + (-354)/(-14). Suppose 2*i - 4*i - 50 = 0. Let b = k + i. Are -2/11 and b nonequal?
True
Let y = 16.014 + -0.014. Is -0.2 not equal to y?
True
Let y be (156/5)/3 - 30/(-50). Suppose -51*l = -52*l + y. Which is greater: l or 1?
l
Let q(x) be the first derivative of x**3/3 + 7*x**2/2 - 16*x + 30. Let y be q(-5). Is y smaller than -25?
True
Let m = 55.2 + -61.2. Is m >= -0.001?
False
Let c(i) = i**3 + 8*i**2 + 9*i - 3. Let r be c(-6). Let o = r + -14. Is 3/8 greater than or equal to o?
False
Suppose -5*b - 2*z - 59 = 0, -2*z = 3*b + 32 + 1. Which is smaller: b or -61/5?
b
Suppose 5*p - v = -5*v - 20, -5*v + 33 = -p. Let s(a) = 8*a + 65. Let r be s(p). Which is greater: -7 or r?
r
Let w = -1.6 - -1. Let r = w - -0.4. Is r bigger than -7?
True
Let c be (-14561)/(-72755) - 2/10. Let z = c + -45157/10942352. Let g = -29/752 + z. Is 0 smaller than g?
False
Let k(m) = 6*m**2 + 40*m - 14. Let q(t) = -t**2 - 8*t + 3. Let v(f) = -3*k(f) - 16*q(f). Let s be v(5). Let n = 15 + s. Is n less than 1/28?
True
Let m = 2/283 - -1389/3679. Which is bigger: 1/7 or m?
m
Suppose 0*a + 5*x = -4*a + 7, -3*a + 3*x + 12 = 0. Suppose -2*i + 0*i = -3*s - 11, 3*i + a*s - 39 = 0. Let u be 56/i + (-10)/(-25). Are u and 8 nonequal?
True
Let r(l) = -10*l - 42. Let c be r(-5). Suppose -o = -c + 9. Is o < -12/37?
True
Suppose 4*l + 28 = -4*u, u + 0*l + 4*l = -16. Let t be -4 + (1 - u) + -2. Which is greater: 1/104 or t?
1/104
Let t = 1846 + -12898/7. Suppose 2*l + 16 - 20 = 0. Is l smaller than t?
True
Let m be (3 + -9 - (-124)/20)/((-2)/(-4)). Suppose 0 = 3*g - b + 3, 0*g = g + 2*b + 8. Is g > m?
False
Let n be (-12)/8*8/(-6). Suppose 0 = n*g - 5*g. Which is smaller: g or -1/23?
-1/23
Suppose 0 = 6*h - 0*h + 582. Let j = -57 - h. Is j greater than 39?
True
Suppose 3*v + 2280 = -12*v. Let q be 1/(-2) - v/(-32)*-2. Is 2 != q?
True
Suppose -3*t + 1 = -11. Let 