 + f**3/6 + 2*f**2. Let c be w(-5). Which is smaller: -2/7 or c?
-2/7
Let v(x) = x - 8. Let g be v(6). Let z = 0 + -3. Let c be z/(3/g) + -3. Is -2/27 at least c?
True
Let k = -0.1 + 0.5. Let f = k + 0. Let q = f - 0.3. Are -1 and q non-equal?
True
Let h = -0.026 - -1.526. Which is greater: -2/7 or h?
h
Let h(g) be the first derivative of g**4/4 - g**3/3 - g**2/2 + 5*g - 4. Let n be h(0). Which is smaller: 4 or n?
4
Let r be (-23)/(-92) - 11/28. Is 0 > r?
True
Let v = -46 + 49. Are v and -2 equal?
False
Let z(v) = v**3 - 5. Let n be z(0). Let p(h) = -h**2 - 5*h + 1. Let l be p(n). Which is smaller: 1/12 or l?
1/12
Let m = 1003757/3 + -55252193/165. Let k = -1436/5 - m. Let t = k - -120/11. Which is greater: 1 or t?
1
Let k be ((-3429)/3435 - 2) + 3. Let x = 6856/8015 + k. Which is smaller: 0 or x?
0
Let k = -2002 + 30056/15. Which is greater: 1 or k?
k
Let g(u) = -3*u - 2. Let v be g(-2). Suppose -28 + 4 = -v*a. Let n be (-2)/(-9) + (-33)/27. Which is greater: a or n?
a
Let l = -16 + 15. Let c = 88 + -57. Let k = 123/4 - c. Do l and k have the same value?
False
Let d(f) = f**2 - 4*f + 11. Let a be d(6). Is 23 at least as big as a?
True
Let f be (-1)/(-3) + (-28)/12. Let x(z) = z**3 - 3*z**2 + z - 2. Suppose -2*v = -2, 3*k = 3*v + 2*v + 4. Let o be x(k). Is o < f?
False
Suppose 29 = -3*d - 7. Which is greater: -13 or d?
d
Let x(o) = 9*o + 17. Let a be x(-2). Are -13/6 and a nonequal?
True
Let y(p) = -p**3 - 8*p**2 - p - 3. Let h be y(-8). Let i = 6 - h. Let r = -3 + 3. Is r at most as big as i?
True
Let j = -25 + 22. Suppose -12 = f - 4*f. Suppose -2*c = -c + f. Is c at most j?
True
Suppose 0 = a - v + 4*v - 15, -2*a = -3*v + 6. Let b(d) = -d + 1. Let w be b(-3). Suppose 7*q - a*q = w. Is 2/3 at least as big as q?
False
Let c(y) = y**3 - 10*y**2 + 10*y - 7. Let j be c(9). Suppose 0*i - 3*q - 6 = 2*i, -2 = j*i + q. Which is greater: i or -1/4?
i
Let o = -52 + 47. Which is greater: o or 2?
2
Let y = -34 - -47. Let z be (2*-1)/((-18)/117). Is z not equal to y?
False
Let p(w) = w - 9. Let u be p(12). Suppose 4*c = -0*c + 5*i - 21, 17 = 2*c + u*i. Is c less than -1/13?
False
Suppose 5*n - 2*s - 3 = 0, 4*s - 5*s + 6 = 5*n. Let b be -1*((-6)/(-5) - n). Let z = 1 - 1. Is z bigger than b?
True
Let j(l) = -l - 6. Let b be j(-6). Suppose -2*o + 2 = -6. Let x = o - 11/3. Which is smaller: b or x?
b
Let d be 0/(-3) - (-69)/336. Let y = d - 1/16. Is 1 smaller than y?
False
Let r = -0.1 - 0. Which is bigger: r or -2/17?
r
Let m(s) = -s**2 + 13*s + 16. Let j be m(14). Suppose -9 - 6 = -5*i. Let h be (((-6)/j)/i)/(-1). Is -0.1 bigger than h?
False
Let b be (-1 + 2)/((-3)/(-18)). Let j(x) be the second derivative of x**3/6 - 5*x**2/2 + 7*x. Let f be j(b). Is f <= 2/3?
False
Let i = -56 - -55.989. Which is greater: i or -1/2?
i
Suppose 8*p + 3 = 9*p. Suppose -p*d + 20 = d. Is -1 >= d?
False
Let x = 33 + -35.3. Let b = x + 0.3. Which is smaller: 3 or b?
b
Let v = 3 + -4. Let j(b) = -b**3 + 11*b**2 + 8*b + 44. Let z be j(12). Is v bigger than z?
True
Let d = 0.13 + 7.87. Is d > 1/2?
True
Let u be (1 - 2) + 1 + -1. Let x = 8.97 + -9. Let y = x + -0.27. Is u at least as big as y?
False
Let y = -46 - -28. Let k be (y/(-12))/((-6)/(-16)). Suppose 0 = 4*v + k + 8. Which is greater: -2 or v?
-2
Suppose -1 = -5*n + 2*d, 5*n + 4*d = n - 16. Let b be 1 + 1*1/n. Suppose j + j = b. Which is greater: j or 1/4?
1/4
Let a = 9 - 10. Let k = -1 - 1. Let g = k - -5. Is a at least as big as g?
False
Let r be -2*1*(-4)/2. Suppose 3*s - 5*x = -8, -r = 2*s - 5*x + 3*x. Suppose -5*p = -4*l + 2, 0 = 2*l - 5*l - p - 8. Are l and s non-equal?
True
Let x = 16 + -14.3. Let a = x - -0.3. Let w = a - 3. Are 3 and w non-equal?
True
Let k = 1/202 - -252/101. Let p = 0.2 + -1.2. Which is greater: p or k?
k
Let z(m) = m - 12. Let q(v) = v**3 + v + 9. Let l be q(0). Let p be z(l). Which is smaller: -1 or p?
p
Suppose -61 = -0*h - h - 4*v, -4*h - 3*v = -192. Let d be 1*(-4)/(12/h). Let f be 2/(-5) - 6/d. Is 1/5 at least f?
True
Let b(u) = -u**2 + 8*u - 6. Let x be b(7). Let i = -2/45 - -29/45. Which is smaller: x or i?
i
Let a = 0.02 + 0.08. Let u = a + -1.1. Let l = -0.9 - u. Which is smaller: l or -1/3?
-1/3
Let y = -3 - -3. Let t be 0*(3/(-6) - y). Let g be t + 2 + -4 - -1. Which is greater: -2 or g?
g
Let f = 3 - 3. Suppose 2*p + 0 + 4 = f. Let g be (0 + 2)*(4 + (-55)/10). Is p at least as big as g?
True
Let w(x) = x**2 + 4*x + 4. Let z be w(-4). Suppose z*t = -1 - 3. Let c be t*4/66*3. Are 2/7 and c nonequal?
True
Let k be (-3)/15 - 22/(-10). Suppose 0 = 2*w + k, -3*v - v = -2*w - 74. Is 1 not equal to v?
True
Let g = -5 - -3. Let d = 4 + g. Let f = 21/2 + -10. Which is smaller: f or d?
f
Let a(w) = w**3 + 6*w**2 - 5*w - 4. Let d be a(-7). Let p = d - -21. Is 3 < p?
False
Let g be (-177)/108 - (0 - 3). Let d = 11/12 - g. Let f = -3 - -2. Do d and f have the same value?
False
Let a = -2 + 8. Let h = 11 - a. Suppose 6*f - f - h = 0. Is 3/5 less than or equal to f?
True
Let i be (2/8)/(38/(-8)). Let h be (-5 - -6) + 2 + -4. Which is bigger: h or i?
i
Let i be ((-6)/(-8))/((-17)/(-204)). Is i at least as big as 0.1?
True
Suppose c - 4*h = -5, -2*c - h + 1 = 2*h. Is 2/13 equal to c?
False
Let m(b) = -b**3 + 8*b**2 + 4*b + 10. Let s(a) = a**3 - 9*a**2 - 4*a - 11. Let h(c) = -5*m(c) - 4*s(c). Let l be h(5). Which is smaller: 2/5 or l?
l
Suppose 1 + 0 = 3*d + 2*h, 21 = 3*d - 3*h. Suppose 5*f + d*i = 29, -i - 4*i + 3 = -3*f. Which is smaller: 21/4 or f?
f
Suppose 0 = 2*f + 3*f + 5*g, -g + 6 = -f. Is f greater than -5?
True
Let p(v) = v**2 + 2. Let l be p(-2). Let x(o) = -o + 7. Let z be x(l). Let b be (1 - 1 - 0) + 1. Is z < b?
False
Suppose 39 = -4*m + 3*o, -2*o - 3*o + 5 = 0. Is -9 at least as big as m?
True
Let v(w) = 6*w**2 - 7. Let a(b) = -7*b**2 + 8. Let s(n) = 5*a(n) + 6*v(n). Let t be s(2). Suppose -4*f + y - 7 = 0, f = 2*f + t*y - 5. Is f smaller than 0?
True
Let y = -3.2 - -1.2. Is y at most as big as 5?
True
Let n = -20 - -11. Is n at most -9?
True
Let f(u) = -7*u**2 - 20*u - 13. Let a(c) = c**2 + c. Let g(d) = -6*a(d) - f(d). Let l be g(-9). Let z be (-6)/(-15) - l/(-105). Which is bigger: z or 1?
1
Let v(d) = 2*d + 8. Let r be v(-3). Suppose -2*f - 5*b + 3 = 0, -4*b - r = 3*f - 3*b. Which is smaller: 6 or f?
f
Let t be 4/6 - 7/(-12). Let m be 2/(2*2/(-4)). Let s = m + 2. Is s at most t?
True
Let t(q) = q**2 + 3*q - 4. Let r be t(-3). Let k = 20 + r. Is k at least as big as 16?
True
Let o be -3*(-2)/3 + -2. Let d(n) = -9*n - 1. Let i be d(3). Let m be (-2)/(-6)*(-24)/i. Which is bigger: m or o?
m
Let j(u) = u + 12. Let l be j(-10). Suppose -l*p = -p. Which is bigger: p or 1?
1
Suppose 0 = v + 2*r + 1 - 4, 4*r + 3 = v. Which is smaller: 0 or v?
0
Let y = -15 - -7. Let o be ((-1)/(y/(-6)))/1. Which is greater: o or -1?
o
Let f be 1 - (-9)/(-3) - (-20)/35. Is f less than or equal to -1?
True
Suppose y = -3*n - 196, -4*n + 4*y + 86 - 326 = 0. Let x be 2/(-9) + n/(-126). Which is bigger: 0 or x?
x
Suppose -3*l + 4 = -2. Suppose 6 = r + 2*r - l*y, -5*y + 15 = 0. Does 5 = r?
False
Let t(h) = 12*h - 2. Let w be t(2). Let x = -22 + w. Is 1 less than x?
False
Suppose h - 37 - 21 = 0. Are h and 173/3 equal?
False
Let s = 7/33 + -67/264. Is 1 bigger than s?
True
Suppose 13 = -g + 3*g + 3*r, -25 = -4*g - 5*r. Suppose g*b = 2*c + b - 6, c - 3*b = 3. Let f be (-2 + c)*(-2)/(-4). Is f not equal to 3?
True
Suppose -4*c + 2*p - 3*p = -29, -p = 3*c - 23. Suppose b = c*b. Is b >= -3?
True
Let t be ((-30)/(-20))/((-177)/(-6)). Which is smaller: t or 0?
0
Suppose 4 = -5*z - 16. Let m be z/10 - (-36)/100. Is m greater than or equal to -1?
True
Let i = 2 - 3. Let t = i + 0.9. Let u = -1.1 - -0.8. Is u greater than t?
False
Suppose -5 = -8*x + 59. Is 9 at most x?
False
Suppose 2 - 3 = -u. Which is smaller: 2 or u?
u
Suppose 6*n - 13 - 11 = 0. Which is smaller: 6 or n?
n
Let r = 301/4 - 76. Which is bigger: r or 0?
0
Let a = 0.43 - 0.03. Let o = 6.4 - a. Let z = o - 5.6. Which is bigger: 1/3 or z?
z
Suppose 0 = -6*v + 5*v + 27. Which is bigger: 25 or v?
v
Let s(x) = -x**2 - 9*x - 10. Let y be s(-7). Let m(c) = -2*c - 6. Let v be m(-4). Which is smaller: y or v?
v
Let w be (-2)/(-11) + (-1024)/(-176). Is w at least 19/4?
True
Suppose -2*c = -4*q + 8, 9 = -4*c + 3*q - 7. Let d be c + 4 + 1/1. Which is smaller: -2/