r(i) = -i**3 - 7*i**2 - 9*i - 8. Let f be r(-6). Which is smaller: 8 or f?
8
Let g = 0 + 1. Which is bigger: -3/14 or g?
g
Let q = -1/32 - -63/3040. Which is smaller: 0 or q?
q
Let i be (-62)/10 + 4/20. Let g be 3/((-5)/(20/i)). Is g at most 3/4?
False
Let y = 11 + -9. Suppose i = y*i - 1. Is -4/9 at most as big as i?
True
Let k = -107/70 + 11/10. Which is bigger: 0 or k?
0
Let k = 5144/268277 - 18/731. Let h = 1123/4037 + k. Which is smaller: -1 or h?
-1
Suppose -5*i = -6*i. Which is bigger: 1 or i?
1
Suppose -z + 2 = -2. Let r = z + -2. Let j = 6 - 7. Is r greater than j?
True
Let n = 4.9 - 3. Let d = n + -2. Let y = -49 - -48.9. Is d at most y?
True
Let c = -3 - -4. Let v = 4/137 - 422/5069. Which is smaller: c or v?
v
Let d = 0.067 + -0.127. Which is smaller: d or -1/10?
-1/10
Let f be ((-14)/3)/7*3. Is -5/3 <= f?
False
Let i(d) = -6*d**2 - 2*d. Let h be i(-2). Let y = h - -11. Let u = y + 5. Does -4 = u?
True
Suppose 4*d + 8 = 0, 4*y - 6 = d + 4. Suppose -4*k = -3*v - 7, 12 = 4*k - 3*v - v. Is k at most y?
True
Let l be -3 + (-3)/(-3)*5. Suppose 0*n - l*n + 24 = 0. Is 13 bigger than n?
True
Suppose -8*u + 12 = -7*u. Is 11 at most u?
True
Let s be 6/6 + (-8)/12. Which is bigger: 0.1 or s?
s
Let p(g) = -g**3 + 6*g**2 - 4*g - 7. Let f be p(5). Let i be f/(-3 + 1) - 1. Suppose i = -4*k + 8 - 4. Which is smaller: -2/9 or k?
-2/9
Let q = -0.3 - -0.34. Let o = -0.26 - q. Which is smaller: o or -1/4?
o
Let c be ((-6)/(-32))/(7/(-28)). Let a = 1/4 + c. Let i be -3*(-1 + (2 - 0)). Which is smaller: i or a?
i
Let o = -19 + 21. Let l = 13 + -19. Let h = 8 + l. Is o smaller than h?
False
Let b be ((-4)/10 + 1)/(-1). Let l(w) = w**2 + 6*w - 2. Let q be l(-6). Do b and q have the same value?
False
Let p be -4 - 4/(16/(-180)). Which is smaller: 42 or p?
p
Suppose 11*m + 52 = 7*m. Is m smaller than -12?
True
Let b(c) = 2*c**2 + 3*c - 2. Let f be b(-2). Is f at least 4/9?
False
Let b(a) = -a + 4. Let m be b(3). Suppose -4*v + 18 = -2. Let x = v + -5. Which is smaller: m or x?
x
Suppose 5*l + 36 = -t, t - 2*l + 2 - 1 = 0. Is 0.1 < t?
False
Suppose -4*z - 45 = -5*s + z, -2*s - z + 3 = 0. Let a = -1 - s. Which is bigger: -2 or a?
-2
Let h = 9843 + -324761/33. Let j = 7/34 - 1233/374. Let k = j + h. Is k != -2?
True
Suppose y - 9 = -7. Let c be 88/30 + (-2)/(-5). Is c < y?
False
Let d be -3*(-3 + (-155)/(-45)). Let c(q) = q**2 - 5*q + 3. Let k be c(4). Is k < d?
False
Let v = 15 - 22. Which is greater: -8 or v?
v
Suppose -2*q = -2*o + 2 + 4, 0 = -5*q + 10. Let y(p) = -p - p**2 + 4*p + 4 + p. Let r be y(o). Are -2 and r unequal?
True
Let g be (-1)/(-3) + 3/(-12). Suppose -18*j + 0 = -0. Which is bigger: g or j?
g
Let s = 2 - 2.1. Let y = 30 + -38. Which is smaller: y or s?
y
Let j(h) = 6*h**2 + 5*h + 4. Let m be j(-2). Is 18 >= m?
True
Let z = -0.05 + 0.35. Let w = -5 + 9/2. Which is greater: z or w?
z
Suppose 3*s - 5*j = -25, -3*j + 3 = 3*s - 12. Let v be 0*1/(-2) + 26/(-39). Which is bigger: s or v?
s
Suppose -5*f + s = -2*s + 5, 5*s = -2*f + 29. Let m = 10 + -5. Suppose -f*q = q - 4*j + 1, -13 = q + m*j. Is -3 at most as big as q?
True
Suppose -b - 5 - 3 = -4*r, 6 = -2*r + 3*b. Let k be -4*1/2*r. Let g(d) = -d - 5. Let i be g(k). Which is smaller: 5/3 or i?
i
Let b(s) = -s**3 - 13*s**2 + 14*s. Let u be b(-14). Is u bigger than 2/31?
False
Let b be (-2)/(-5) + (-91)/(-35). Which is bigger: 5/3 or b?
b
Let w be ((-12)/3)/(3/(-6)). Suppose -3*u = 26 - w. Is u at least 1?
False
Let j(h) be the second derivative of -h**5/20 - 11*h**4/12 + h**2 - 3*h. Let p be j(-11). Suppose 0 = -p*m + m. Is m bigger than -4/7?
True
Suppose 2*c + 32 = -5*d - 13, 4*c + 4*d = -60. Which is smaller: -12 or c?
-12
Let h = 3.2 - 3. Let z = 0 - 9. Let w = -8.9 - z. Is h equal to w?
False
Suppose 9 = 2*d + 7. Let n(b) = b**2 - b**3 + 0*b**2 + 0*b**3. Let c be n(d). Which is bigger: c or 2/27?
2/27
Let c(u) = u - 9. Let m be (-1 - (-2)/(-1)) + 8. Let w be c(m). Is w <= -3?
True
Let s = -10 - -14. Let m be s/(0 - -2) - 1. Let i = m + -4. Which is smaller: -4 or i?
-4
Let o be 2 + 10/(-10) + (-2)/1. Which is smaller: -4/17 or o?
o
Suppose -3*s - 5*p - 2 = -6*s, 0 = 4*p + 4. Suppose 4 = -k - 2*n, 3*k + 5*n = n - 6. Suppose b = -d - 0 + 2, -k = 3*b + d. Is s less than or equal to b?
False
Let n = -0.25 + 0.16. Let h = n - 0.01. Which is bigger: h or -1/9?
h
Suppose -2*q = 79 - 17. Is -33 greater than or equal to q?
False
Let w be ((-1)/(-2))/(2/16). Suppose 6*d - 4 = 2*d. Let p = w + d. Which is smaller: 4 or p?
4
Let h = 1565 - 7827/5. Let z = 1.4 - 2. Which is bigger: h or z?
h
Let b = 26 + -26.13. Is b bigger than 0?
False
Suppose 2 = 4*z - w - 0, -4*z - 5*w - 10 = 0. Is 2/5 < z?
False
Let w = -0.3 - -0.3. Let s = 2 - 1. Which is smaller: w or s?
w
Let g(j) = j**3 - 13*j**2 + 11*j + 12. Let r be g(12). Is 6/13 smaller than r?
False
Let w = -16 + 16. Suppose w = h - 5*h. Which is bigger: 2/51 or h?
2/51
Let b be -2 - (0 + 0 - 5). Suppose -6*l + b*l - 3 = 0. Suppose -j = -4*j. Is j <= l?
False
Let c(v) = -v**3 + 4*v**2 - 2*v - 2. Let q be c(2). Let a(d) = -3 + 1 - q*d - 2 + d. Let w be a(-4). Which is greater: w or -0.03?
w
Suppose w = -0*m - m - 5, -w = -2*m + 2. Which is smaller: -3/7 or m?
m
Let r = -0.04 - -2.04. Let i = r - 2.1. Which is greater: i or -1/5?
i
Let i = -9 - -1. Let p = i - -5. Let c = -27 + 25. Which is greater: c or p?
c
Suppose -221 = -14*p + 213. Is 30 greater than or equal to p?
False
Let o = -701/5595 + -3/373. Let a(p) = p - 6. Let q be a(3). Let y be -4*2/4 - q. Which is smaller: y or o?
o
Let m(g) = -g + 2. Let p be m(3). Is 0 > p?
True
Suppose 0 = -3*j - 4*j + 91. Do j and 37/3 have the same value?
False
Let u = 12 - 14. Let h = -4.1 - -4. Is u at most h?
True
Suppose -3*w + 3*i + 3 = 0, 2*w = 3*w + 2*i - 16. Let a = 6 - w. Is 0 at least a?
True
Let a = 48 + -51. Which is greater: -1 or a?
-1
Let i(d) = 8 + 2*d**2 - 8*d**2 - 13 + 0*d**3 - 7*d - d**3. Let x be i(-5). Suppose 4 + 4 = 2*r. Is x smaller than r?
False
Suppose 0 = -v + 4*r - 9, 4*v - 3*r = -23. Let z = 4 + 0. Let w = v + z. Is -3 bigger than w?
False
Let v = 13/10 + -7/10. Let r = -3 + 5. Is r bigger than v?
True
Suppose 5*v - 17 = -o, 2*o + 5*v - 16 = v. Let f be o - (-3)/6*2. Suppose f*d - 5*d + 2 = 0. Is 2/9 not equal to d?
True
Let v(l) = -l + 5. Let k(a) = -a**2 + 8*a + 5. Let b be k(8). Let r be v(b). Let d be (-2 + 9/6)*2. Which is greater: r or d?
r
Let z(h) = -h**2 + h. Suppose -c = 2*c + 6. Let u be z(c). Is u not equal to -5?
True
Let l = -62 + 46. Let n = 197/3 - 65. Is n at most as big as l?
False
Suppose -2*t + 3*t = 0. Let o = 5/7 - 3/14. Is o > t?
True
Let l(x) = 2*x**2 + 3*x + 2. Let t be l(-2). Suppose s - 10 = -t*s. Which is bigger: s or 1/2?
s
Let k be (-6)/5*1410/(-9). Let u = 943/5 - k. Which is greater: u or 1?
1
Let f be ((-12)/9)/(2/(-12)). Let t be (2/(-3))/(f/12). Is t less than -2/29?
True
Let n(x) = 10*x**3 + 2*x**2. Let a be n(2). Let m = a + -46. Let q be 40/m - 2/7. Which is smaller: q or 0?
0
Let k(x) = -8*x**2 - 2*x + 1. Let i be k(1). Let l be i/(-6)*(-2)/(-3). Let n = 2 - 2. Which is greater: l or n?
l
Let g(l) = -l - 2. Let n be g(-8). Let z(k) = k**2 - 6*k - 3. Let o be z(n). Suppose -4*v + 22 = -3*w, -4*w + 12 = 3*v + 2*v. Which is bigger: w or o?
w
Let y be 86/60 + (-5)/15. Let u = y + -3/2. Is -1/4 at least as big as u?
True
Let q(f) = 3*f + 22. Let k be q(-5). Which is smaller: k or 9?
k
Suppose -2*d + 4*d = 5*y + 13, 0 = -2*y - 2. Suppose -5*a + 3*m = -4*a - 3, a + 4*m - 3 = 0. Which is greater: a or d?
d
Let q(j) = -2 - j + 2*j - j**3 + 2*j**3 + 0*j**2 - 2*j**2. Let a be q(2). Is a < -1?
False
Suppose 3 = c + 5. Let p be (-1)/(1/(c/(-22))). Let v = p - 31/22. Which is bigger: v or -1?
-1
Let v be (-1)/(-4) + 76/(-176). Is -2 > v?
False
Let i be 1/6*(-2 - 2). Let b = i + 7/6. Suppose -a = 3*a - 8. Which is bigger: b or a?
a
Suppose 3*q - 5 = i, 5*i - 2*q = -6*q + 13. Let u(o) = -o**3 - 11*o**2 - 12. Let b be u(-11). Let n be ((-8)/(-30))/(b/10). Which is smaller: n or i?
n
Suppose -d + 26 = 3*b - 0*b, 2*b + d = 19. Suppose -4*y = -b*y - 6. Are y and -3 unequal?
True
Suppose 12*a + 50 = 7*a. Let f = -19/2 - a. Is 1 smaller than f?
False
Let a = -8 + 12. Which is smaller: a or 1?
1
Let y be 11 - -1 - (4 - 4). Let z = -71/6 + y. Which is smaller: -1 or z?
-