= 7*f**3 + f + 1. Let p be b(-1). Let d = p - v. Is 1 bigger than d?
True
Let s = 48/61 - -37153/305. Let n = 1853/15 - s. Let g = 4/3 - n. Which is smaller: g or 0?
0
Suppose 0 = -4*b - b. Suppose 4 = 2*j - b. Let c be j/10*(-10)/8. Which is bigger: 0 or c?
0
Let z = 1.34 - 1.271. Which is bigger: -1 or z?
z
Let l be (1/2)/(2/4). Suppose 0*r + 5*r - 5 = 0. Let d be l*(0/r - 0). Is -1 smaller than d?
True
Let g(t) = -4*t**2 - t - 7. Let i be g(-5). Let z be i/(-14) + 2/(-7). Is 6 bigger than z?
False
Let g(m) = 6*m**2 + m. Let d be g(-1). Suppose 4*w = d*u - 39 + 6, -u = -5. Is -2/3 greater than or equal to w?
True
Suppose 5*j + 4 = -v, -5*j + 6*v + 20 = v. Is j not equal to 1/71?
True
Suppose -2*t - 15 = -5*t. Suppose 3*b + 4 = -l, 0*b - l = t*b + 8. Suppose 8*m - 4*m = 0. Which is bigger: m or b?
m
Let q be (2 - -1) + -15 + 8. Let w(a) = -4*a**3 - 11*a**2 - 14*a - 7. Let o(j) = -j**3 - j. Let k(t) = 3*o(t) - w(t). Let m be k(-10). Is q at most m?
True
Let c = 0.5 + -0.46. Let o = -0.64 + c. Let n = o + -0.4. Which is smaller: n or 3?
n
Let s(p) = -p - 3. Let j be s(-3). Let y be (-10)/(-40) - (-3)/4. Which is bigger: j or y?
y
Let f = -0.06 + 2.06. Let k = 44 + -45. Let g = f - k. Which is greater: g or 2/7?
g
Let m = -1076/7 - -154. Are m and -5/3 unequal?
True
Let o(r) = r - 2. Let z be o(5). Let m be -2 + -7 + 2 - z. Let x be m/(-5) - (-36)/(-14). Which is smaller: -1 or x?
-1
Let l be 5/20*26 + -6. Let x = -5 + 3. Let w = x - -1. Which is greater: l or w?
l
Let b be 1 + -1 - (-6532)/100. Let u = 127566/1925 - b. Let l = 12/11 - u. Which is bigger: 0 or l?
l
Let h = 15 - 27. Let s = h + 10. Is -9 at most s?
True
Suppose 4*p - 4 = 3*p. Suppose -2 = -2*n - p. Suppose 5*g = 2*f - 5, -4*g + 0 - 4 = -f. Which is bigger: f or n?
f
Suppose -5*z + 0*c = 3*c + 13, -3*z + 4*c = 2. Let i(q) = 8*q**2 - q - 3. Let f be i(0). Is f smaller than z?
True
Suppose -6*v = -5*v + 30. Let h be 0 + 1 + v/18. Is h > -1/4?
False
Let o = 44 - 44. Which is smaller: -0.08 or o?
-0.08
Let l(c) = -2*c**2 - 3*c + 2. Let r be l(-3). Let o(x) = x**3 + 7*x**2 + x + 8. Let h be o(r). Suppose -d + h = -2. Are 5/2 and d unequal?
True
Let d = 2 + -4. Let s be 2 - (2 - (-1 - (-2 + 2))). Are d and s nonequal?
True
Let z(k) = k**2 + 1. Suppose 3*v - 6 = -0*v. Let n be -3*3*v/18. Let m be z(n). Are 2 and m equal?
True
Let l = -88 + 441/5. Which is bigger: l or -1?
l
Let z be ((0 - 0) + 2)*-2. Let j be (-1)/(2/z) + -2. Is j <= 2/25?
True
Let d = 62 + -59. Is 5 greater than d?
True
Let u be 4*(4/(-1))/(-8). Which is smaller: u or 0.1?
0.1
Suppose -5 = -2*i + 11. Let a(f) = i + f**2 + f**2 + 3*f - f**2 + 4*f. Let o be a(-6). Which is smaller: o or 3/2?
3/2
Let c be (3/6*3)/((-2)/12). Are -25/3 and c non-equal?
True
Let g = 0.393 - -3.627. Let y = g + -0.02. Let p = -0.038 + 1.038. Which is greater: p or y?
y
Let r be 0*(-1)/(-2)*-1. Let g(b) = b**3 + 2*b**2 - 4*b - 4. Let s(v) = -v**2 + v. Let d(h) = -g(h) + 2*s(h). Let i be d(-5). Which is smaller: i or r?
i
Suppose 0 = -0*w - 4*w + 8. Let a(c) = 2*c - 6*c**2 + c**3 + 5 + 0 + c**w. Let k be a(4). Which is smaller: -2 or k?
k
Let p(m) = m**2 + 6*m + 1. Let q be p(-5). Suppose 4*g - 55 + 75 = 0. Which is bigger: q or g?
q
Let d(m) = m**3 - m**2 - m - 1. Let l be d(2). Let v be ((-2)/4)/(l/2). Let n = -33 - -197/6. Which is greater: v or n?
n
Suppose 2*c + 2*j + 6 = -0*j, 4*c - 4*j + 4 = 0. Let s be (c/4)/((-22)/(-24)). Let h be 3 + (-1)/(-2)*-6. Which is greater: h or s?
h
Let i be ((-8)/(-30))/(7/(-70)). Which is smaller: i or -4?
-4
Suppose 8*w - 6*w + 6 = 0. Is -33/8 less than or equal to w?
True
Suppose -5*a = -2*a - s - 28, a = 4*s - 9. Suppose -5*o + 4*j + 2 = 19, 2*j = 5*o + a. Let d be (-1)/(-2) - 62/108. Which is greater: o or d?
d
Let q = 1/92 - 6/23. Are 2 and q nonequal?
True
Let o = 17 - 12. Which is smaller: 4 or o?
4
Let i(k) = 4*k - 4. Let t be i(4). Are t and 0.4 equal?
False
Let b = 161 + -808/5. Is -1 < b?
True
Let w = -95 + 853/9. Is 0 > w?
True
Let t = 8 - 6. Let i be (-13)/3 + 2/6. Let p be (i/6)/(4 - t). Which is greater: 0 or p?
0
Let r be (-8)/20*1*5. Let z be (r/(-5))/(63/(-15)). Suppose -p + 2 = p. Which is bigger: p or z?
p
Suppose 0 = -5*l + 25, 5*q + l + 0*l = -15. Let z be (-458)/q*(-2)/99. Let v = 23/11 + z. Which is greater: v or 1?
1
Let x = -1/208 + -3531/1040. Which is greater: x or -3?
-3
Let g be 3/1 - (6 - 3). Which is bigger: 3/4 or g?
3/4
Let z be ((-2)/3)/((-2)/3). Suppose -4*d + 132 = 4. Suppose 0*a = 4*a - 4*k - d, 27 = 4*a - 3*k. Which is smaller: a or z?
z
Let s = -162 - -162.93. Let r = 0.07 + s. Which is bigger: 3 or r?
3
Suppose 2*y = y + 10. Let u be y/(-14) + 4/14. Which is smaller: u or 0?
u
Let r = 16 + -11. Suppose 0*w - r = -5*w. Which is smaller: 2 or w?
w
Let f = 16 + -15. Let p = -6 + 4. Let b be p/f - (4 - 5). Which is smaller: 1 or b?
b
Suppose 0 = 3*g + 12, -3*c + c = 4*g + 16. Let d be (1/1)/(1 + -2). Which is smaller: d or c?
d
Let m = -62 + 65.9. Let r = m + -4. Which is greater: 1/2 or r?
1/2
Suppose 0 = 4*m - 8*m. Which is smaller: m or 1/73?
m
Let g = -1.2 + 1.9. Let p = -0.3 - g. Let o = -0.1 + 0.2. Is p >= o?
False
Let y = 45/364 + 1/52. Let n = 2 + -2. Is n less than or equal to y?
True
Let y = 14 + -20. Let a = -1 - y. Let n = a + -3. Is n greater than -1?
True
Let i(f) = -f**3 + 7*f**2 - 2. Let o be i(7). Let a be 6/(-9) - o/(-24). Is -1 equal to a?
False
Let l = 0 + -2. Let a = l - -3. Suppose -3*x - o + 2*o = 0, -2*o = 2*x + 8. Is x less than or equal to a?
True
Suppose -3*c = -r - 2, r - 1 = -3*c + 3*r. Is c != -2/27?
True
Let n be (-5)/7*(-6)/(-15). Is n at most -0.06?
True
Let s(p) = -p + 12. Let g be s(11). Let w = -245 - -110. Let x = -1754/13 - w. Which is smaller: g or x?
x
Let q be (-2 - 2 - 22) + -4. Is q != -57/2?
True
Let v = 155 - 101. Is v != 54?
False
Suppose 0*t + 20 = 5*t. Is t less than 3?
False
Suppose j - 2 - 1 = 0. Suppose h - 4*y = -0*h + 28, j*h - 5*y - 49 = 0. Let d be h/(-6)*(-20)/(-16). Which is smaller: -2 or d?
-2
Let d(i) be the first derivative of i**2/2 + 2*i - 1. Let z be d(-5). Let t be (-4 + 1)/(1 + 0). Is z at least t?
True
Let n be 2 + 2/(3 + -1). Suppose 62 = -3*d + 74. Which is smaller: d or n?
n
Let c be (1 - 0) + -2 - -1. Let l = 1675/8 + -209. Is c greater than or equal to l?
False
Suppose -4*n - 10 = -2, n - 4 = -v. Suppose 5*t - 4*h = -31, 0 = 2*t - v*t + 4*h - 28. Is -1 != t?
True
Let p = 62.9 + -63. Which is greater: 9 or p?
9
Let s = 11 + -11.3. Let u = -0.2 - s. Is 1 bigger than u?
True
Let g = 1478/9 + -164. Which is smaller: g or 1?
g
Let m = -0.68 + 1.67. Let g = -0.01 - m. Which is smaller: -0.1 or g?
g
Let f(n) = 2*n. Let k be f(2). Suppose w + 12 = 4*b - 2*w, -4*b = k*w + 16. Let s be (3*(-3)/15)/(-1). Which is smaller: s or b?
b
Let v = 6 + -6.04. Let s = v - 0.02. Let q = s - -0.16. Which is bigger: 3/4 or q?
3/4
Let f = -22.7 - -25. Which is smaller: f or -1?
-1
Let o = 17 + -20. Suppose 4*z = 5 + 11. Let a be 0/1 + z/(-2). Which is smaller: o or a?
o
Let m = 95/3 - 32. Is -1 > m?
False
Suppose 2*l + 3*l + 27 = -3*n, 3*l - 11 = 5*n. Let v(h) = -h**3 + 5*h**2 + h. Let b be v(5). Let g = 1 - b. Are g and n equal?
True
Let u = 484/3 + -160. Let f = -17 + 19. Which is bigger: u or f?
f
Let h = -77/156 - 1/156. Is 0.024 bigger than h?
True
Let m be ((-9)/12)/((-1)/4). Let v(r) = 2*r + 5 - 6 - m*r. Let u be v(-3). Is u at most as big as 2/3?
False
Suppose -n + 6 = -2*r, -4*r - 7 - 1 = -3*n. Suppose 4*u - 70 = 2*m, -2*u + 50 = -0*u - 4*m. Let k be 1/((-3)/u) - 1. Which is greater: r or k?
r
Let b be 1 + 6/8 - 0. Let q be 1/((-16)/5 + 3). Let z be 1/(-2 + q/(-2)). Which is bigger: z or b?
z
Let l = 6.11 - 0.11. Let z = l - 5.9. Let p = 2 - 2.2. Which is greater: p or z?
z
Suppose 4*s - 8 = 2*u, -4*s = -5*u + u. Suppose 8*h - u = 12*h. Suppose 4*z = -0*b - b - 12, 10 = z - 3*b. Which is bigger: h or z?
h
Let m(u) = u - 10. Let d be m(7). Is -2 at least d?
True
Let g be (-2)/(-4)*(7 + -1). Suppose 2 - 11 = b + m, 0 = 3*m + g. Let k = -8 - b. Which is smaller: k or 1/4?
k
Let p = 11 + -8. Which is smaller: p or 11/5?
11/5
Suppose 6*k = -k - 70. Which is greater: -6 or k?
-6
Let u(v) = v**2 + 6*v - 3. Let r be u(-7). Suppose -x - r = -3. Let o = -2/15 + -1/5. Is o equal to x?
False
Let w = -0.16 + 0.32. Let t = -0