ve of f**5/60 - 5*f**4/24 - 5*f**3/6 + 3*f**2. Let i be c(z). Is 0 < i?
True
Suppose 0 = -4*m + 146 + 22. Suppose -2*r = -4*c - c - m, 28 = 2*r + 2*c. Suppose -3*v - 3*p + 0*p = 12, -5*v + 4*p = -r. Which is smaller: v or 0.1?
v
Let i be 226/(-28) - 39/(-26). Which is greater: i or -6?
-6
Let q be (-6)/24 + 10/8. Let n be -3 + 1 + 0 + q. Which is greater: n or 0?
0
Let r = 0.014 - 0.214. Which is smaller: 1 or r?
r
Suppose -o + 1 = -0. Suppose o - 3 = d. Is d less than -4?
False
Let i = 285613/56 + -5081. Let v = i - 147/8. Is v > 1?
False
Let x be 2/7 + 44/(-7). Let n = -7 - x. Suppose 0*b = b - 3*m - 8, -2*b - 3*m = 11. Is n < b?
False
Suppose 0 = 7*g + 20 - 13. Let x = 24554/31 + -792. Which is smaller: g or x?
g
Let z(r) = r**3 - 4*r**2 + r - 4. Suppose 3*w + 2*p - 3 = 5, w - 4*p - 12 = 0. Let m be z(w). Let d = 0.1 - 0. Which is bigger: d or m?
d
Let t(a) = -a**2 + 8*a - 2. Suppose 5*o - 51 + 2 = -3*r, -3*r + 17 = o. Let w be t(o). Let h be (4/w*1)/2. Which is smaller: -3/4 or h?
h
Let b be -4 + (-1)/(3/(-75)). Is 0 at most b?
True
Let f be 1/(-1) + (-4)/2. Let d = 4 - f. Let t = d + -8. Which is smaller: 0 or t?
t
Let z = -9 - -6.7. Let r = z - -3. Is 1 < r?
False
Suppose m - 6 + 28 = 0. Let g = -26 - m. Which is smaller: g or -8/3?
g
Suppose 5*d = -3 + 23. Let m(o) = o**2 - 4*o - 2. Let i be m(5). Let q = d - i. Is 1 >= q?
True
Suppose 3*y - 4 = 4*h + 1, 11 = 3*y + 2*h. Let v = y + -3. Which is bigger: v or 1/5?
1/5
Let x = 4 + -1. Let k be -3*(-2)/x + -3. Let t be (-2 + 7/4)/1. Is t less than k?
False
Suppose -4*y = 0, 2*v - 42 = -2*y - y. Do v and 20 have different values?
True
Suppose 4*w - 5 = z, 4 = w + 1. Suppose 4*p + 31 = z. Is -6 less than or equal to p?
True
Suppose 0 = 3*m + m + 48. Let b = -4 - m. Suppose -3*d + 6 + 0 = -3*t, 4*d - b = 5*t. Is t less than -4/7?
False
Suppose 4*l - 19 + 3 = 0. Let k be (9/l)/(39/(-104)). Do -4 and k have the same value?
False
Suppose -3*q + 25 = 1. Let o(l) = l - 4. Let d be o(q). Let m = 5 - d. Do -2/7 and m have the same value?
False
Let b(c) = -c - 2. Let v be b(-3). Let u(f) = f**2 - 2*f - 3. Let l be u(3). Which is smaller: l or v?
l
Let u(n) = n. Let f be u(5). Let t be (-4)/f*5/3. Is t at most as big as 0.1?
True
Let k = 0.03 + -2.03. Let g = 1 + k. Let i = 2.6 + -2.3. Which is greater: g or i?
i
Let s = 0.09 + 3.91. Let z = -4 + s. Is z not equal to 2?
True
Suppose 0 = f + 5*o - 43, 1 = -2*f - o + 60. Is f at least 27?
True
Let n = -1.8 - -1.8. Let o = -0.01 + n. Is o at least as big as -0.3?
True
Let m(x) = x**3 + x**2 + 2*x - 6. Let u be m(2). Which is greater: u or 11?
11
Let q = -4 + 6. Suppose -3*h + 0 = -4*t - q, 0 = 5*t - 5*h + 5. Suppose 0 = -2*c + 6, 2*c - 5 = -n + c. Which is bigger: t or n?
n
Let z = -33 - -31. Which is smaller: -14/5 or z?
-14/5
Let y(k) = -k**3 - k**2 + 2*k + 1. Let h be y(-2). Let d = 2 - 0. Which is bigger: d or h?
d
Suppose -3*r + 5 = -5*o, 0 = 5*o - 2*r + 5*r + 5. Which is smaller: 8/31 or o?
o
Suppose -d = k - 5, 2*k - 6 = -0*k - 4*d. Which is smaller: 9 or k?
k
Suppose -5*w = -5*s - 0*w - 110, -5*s - 5*w = 60. Is s != -19?
True
Let s = 34 + -19. Suppose 0*h = -h - s. Let i be ((-10)/6)/(5/h). Does 5 = i?
True
Let p = -6 + 7. Is p greater than 4/7?
True
Let a be (-15)/(-6)*(-1)/5. Let v(o) = o**2 - 8*o - 3. Let b be v(8). Let y be 0/(b/(9/(-3))). Which is greater: y or a?
y
Suppose 3*t = -5*j, 3*t + t - 3*j = 0. Is t bigger than 2/11?
False
Let m be ((-8)/(-3))/(90/(-51)). Let d = m - -10/9. Which is greater: 1 or d?
1
Let x(b) = -b**2 + 3*b - 4. Let u(d) = d**2 + 5*d + 9. Let j be u(-4). Let v be x(j). Which is smaller: v or -15?
-15
Let j(t) = t**3 + 6*t**2 - 2. Let c be j(-6). Let v(x) = x**3 + 2*x**2 + x + 1. Let s be v(c). Which is bigger: s or 1/3?
1/3
Let k be (-1)/(-2) + (-36)/(-8). Let x(w) = w. Let r be x(k). Let n = r - 1. Which is smaller: n or 3?
3
Suppose 4*v = 3*q + 1295, -3*v + 6*q + 963 = q. Let k = 4888/15 - v. Suppose -11 + 2 = 3*g, 2*l + 7 = -3*g. Is l less than k?
False
Let r be 0 + 1 - (3 - 8). Let t be r/(-5)*-1 + -1. Which is smaller: -0.3 or t?
-0.3
Let g be 10/25*5/2. Let p = -6.3 + 6. Which is greater: p or g?
g
Let d be 1/(-4) - (-9)/60. Let l = -272/705 - 2/141. Is l >= d?
False
Let n(b) = -b**3 - 3*b**2 + 3*b - 1. Let w be n(-4). Suppose w*s - 5*s = 0. Is 8/7 at least s?
True
Let w = 1.5 + 0. Is -2 at most as big as w?
True
Let s = -0.3 - -0.1. Suppose 4*v + 8 = -0*v. Is v greater than or equal to s?
False
Let h = -7675/32 + 4889561/20320. Let u = h + 2/127. Which is bigger: 0 or u?
u
Let k = 6 - -2. Let c = -8.6 + k. Which is bigger: c or -1/3?
-1/3
Suppose -12 = -d - 5*z, d = -0*d - 2*z + 6. Suppose q = -q - d. Let c be 0 + 0 + q/(-4). Are 2 and c equal?
False
Suppose 3*b + n = -5, 4*b - 1 + 11 = 2*n. Let l = 1603/6 + -268. Is l at least as big as b?
True
Suppose -2*z = p + 7, 4*z - p + 18 = p. Let f = -2 + z. Is -4 at least f?
True
Let l = -4 + 10. Are 6 and l unequal?
False
Suppose -8*a + 1 = -7*a. Is 5/8 at least as big as a?
False
Let y = -10 - -10. Let p = -4 + y. Is -5 at most as big as p?
True
Let i = -2525/636 + 49/12. Which is smaller: -1 or i?
-1
Let u = 12.071 + -0.071. Which is smaller: -3/5 or u?
-3/5
Suppose 4 + 4 = 4*t. Let q be 0/((t - 5)/(-3)). Suppose -j + 4*j - 9 = q. Are 1 and j equal?
False
Suppose -4*i - w = i - 10, -7 = -4*i - w. Let l = -143/8 + -133/8. Let y = 37 + l. Which is bigger: i or y?
i
Let n be (35 + 3)*(-6)/4. Let t be n/30 + (-9)/(-6). Let c = t + 9/10. Which is smaller: 1 or c?
c
Let p = -0.4 + 1.4. Let a = -0.03 - -0.11. Which is bigger: p or a?
p
Let p be (-1)/(-2)*30/27. Which is greater: p or 0?
p
Let j(v) be the third derivative of v**6/120 - v**5/20 + v**4/6 - 5*v**3/6 + 3*v**2. Let o be j(-4). Let a = 1198/9 + o. Which is smaller: -1 or a?
-1
Suppose 0 = -5*m + x - 3 - 0, -5*x = m - 15. Let y(g) = g**3 - 7*g**2 + 3*g + 7. Let o be y(7). Let d be (2 + (-64)/o)/(-3). Which is bigger: d or m?
d
Let n = 3 + -2.9. Suppose -5*b = 3*f + 2 + 5, -4*b - 5*f - 16 = 0. Is n <= b?
True
Suppose -2*r - i + 6 = 3*i, 2*i - 4 = -2*r. Let k = 4 - r. Suppose 2*f + 9 = 2*a + k, 17 = 4*a + f. Is a >= 4?
True
Let y = -1923/4 + 924971/1924. Is y equal to 1?
False
Let x be (-7)/(-1) + -8 + 3. Are 1 and x equal?
False
Let l(u) be the first derivative of u**4/4 + 8*u**3/3 + 3*u - 2. Let v be l(-8). Is -2/7 equal to v?
False
Let l(i) = -i**3 + 13*i**2 + 15*i - 11. Let j be l(14). Suppose -2 + 0 = w. Let h = 4 + w. Are j and h equal?
False
Let o(s) = -5*s - 6. Let b be o(-4). Let t = -7 + b. Is 9 less than or equal to t?
False
Let y(i) = -i**2 - 6*i + 5. Let o be y(-7). Let t be ((-6)/9)/(-1) - o. Which is bigger: t or -1/4?
t
Let c = -23 - -24. Let m(v) be the second derivative of v**5/20 + v**4/3 - v**3 - 3*v**2 + 2*v. Let y be m(-5). Is y not equal to c?
True
Suppose -4*n + 4*i - 25 = i, 3*i = -2*n + 1. Let s be n/(-3)*(-1)/4. Let f = 0 + 1. Which is bigger: f or s?
f
Suppose -2*q + 0*x - 2*x - 2 = 0, q + 3*x = 7. Let h = q - -8. Suppose h*z = z. Is 1 at most z?
False
Let n(i) = -i - 7. Let j be (-2)/(-2) + -2 + -6. Let u be n(j). Is u greater than 0?
False
Let d = -8 - -17. Let f = 11 - d. Is 0 smaller than f?
True
Let c be (1008/770)/(3/10). Which is bigger: 5 or c?
5
Let p = 8 + -11. Let y = 1.18 - 0.18. Is p less than y?
True
Let w be 2/(-8)*(0 + -4). Which is greater: w or -1?
w
Let x = 850 + -3433/4. Let s = x + 8. Let w = 0 - 0. Is s equal to w?
False
Let o = 11 + -5. Is 6 <= o?
True
Let a = 1 + 0. Let l be (a - 20/12)/3. Is 0 greater than or equal to l?
True
Let m(h) = -21*h + 1. Let z be m(-7). Which is bigger: 147 or z?
z
Let u = 20 + -19. Is 2/27 >= u?
False
Suppose -2*v - 3 = 5. Suppose -q + 2*q = 0. Suppose 3*r - 2*n + 1 = 0, 0 = -4*r - 3*n - q*n - 24. Which is smaller: r or v?
v
Let j be (34/51)/((-2)/12). Is j > 2?
False
Let y(o) = 5*o + 3. Let d be y(-1). Let v(i) = -i**3 + 3*i**2 - 3*i + 1. Let p be v(2). Is d smaller than p?
True
Let d be -1 - 0 - 1/(-2). Suppose 2 = -4*k + 3*w - 18, -3*k - 18 = -3*w. Let b = k + 1. Is b equal to d?
False
Let w be 1/(3 + 8/(-3)). Suppose 3*x - 3*y = 6, 3*x - 5*x = -w*y - 4. Suppose x*c + 3 - 1 = -k, -2*k - 4 = c. Are -2 and k non-equal?
False
Suppose -5*l + 43 = 2*f + 12, -5*f - 24 = -2*l. Let q be (-1 + -17*66)/l. Let j = q - -160. Which is big