c?
c
Let a be -2*(2 - (-5)/(-2)). Let n(w) be the second derivative of w**5/20 - w**4/3 + 2*w**3/3 - 2*w**2 + 2*w. Let l be n(3). Which is smaller: l or a?
l
Let s = 5249/7 - 752. Which is bigger: s or -2?
-2
Let r = -157/2 - -80. Let p be -1 - (-4 + 2) - -2. Is r < p?
True
Let a be 0 + (2 - (-24)/(-10)). Let y = -6413/12 - -534. Let z = y - -1/12. Does a = z?
False
Suppose 0*d - 2*d + 6 = 0. Let j be d/(-7)*(-12)/(-9). Is j bigger than -0.3?
False
Let a = 107 - 111. Which is greater: 4 or a?
4
Let g be (-10 + 8)/(1 - 2). Suppose g = l - 1. Which is smaller: 1 or l?
1
Let p be 3 + -1*(-164)/(-20). Is p at least as big as -5?
False
Suppose 2*h + 3*c - 9 - 2 = 0, 32 = 4*h + 4*c. Which is smaller: h or 12?
12
Suppose -4*s - 4*l - 1 - 15 = 0, -3*s + 4*l + 2 = 0. Which is smaller: s or -3/5?
s
Let c = 3.92 - 4. Let z = c - 2.92. Let x = -2 - z. Is -3 less than or equal to x?
True
Let g = 0.2 - 2.2. Let q = 2 + g. Which is bigger: 0.1 or q?
0.1
Suppose -14*b = -3*b - 11. Let j = 1/288 + 89/2016. Which is smaller: j or b?
j
Let m(b) be the second derivative of b**3/6 - 3*b**2/2 + 3*b. Let l be m(4). Let f(q) = -q + 1. Let g be f(l). Which is greater: g or -1/10?
g
Let f = 47 + -46. Which is smaller: f or 1/73?
1/73
Let t = 23 - 68/3. Suppose 4 = -21*m + 25*m. Which is smaller: m or t?
t
Let q = -7 - -16. Let p = q - 6. Which is bigger: 0.2 or p?
p
Let v be 466/(-66) - -3 - -4. Is 0 < v?
False
Let z(j) = -j**3 + 2*j**2 + j - 1. Let l be z(2). Let w = -1 + l. Is -3/5 smaller than w?
True
Let s = 173 - 689/4. Suppose 1 = o - 0*o. Let t = o + 0. Which is bigger: s or t?
t
Suppose -14 + 0 = 4*w + 2*q, -2*q = 5*w + 15. Let a be (-5)/(-22) + 7/(-14). Which is greater: a or w?
a
Let h = 64 - 64. Is 2/361 less than h?
False
Let o be 4/(-18) - (-41)/144. Which is greater: -1 or o?
o
Let i = 11 - 26. Is i at least as big as -16?
True
Let m = 3 + 0. Suppose -m*f + 3*s - s + 19 = 0, 35 = 5*f - 5*s. Suppose 2*a - 6 = -2*o, -o + 6*o - f*a + 5 = 0. Which is bigger: 0 or o?
o
Let r(z) = 2*z**2 - 13*z - 2. Let x be r(6). Which is smaller: -0.16 or x?
x
Let p = 8/5 - 4/5. Let k be 8/44 + 6/88. Are k and p non-equal?
True
Suppose -4*z = 2*n + 3*n - 8, 0 = -4*n - z + 13. Suppose 144 = n*o - o. Let j be (3 + (-141)/o)*2. Do j and 1 have the same value?
False
Suppose 2*t = -2*r + 2, 0 - 3 = r + 3*t. Suppose 3*x + r = 9. Suppose 5*s = j - 25, 0 = x*j + 4*s + 8 + 12. Is 0 at most j?
True
Let w be 0 + (-431)/290 - 3. Let k = w - 2/145. Which is smaller: k or -5?
-5
Let p be (-1)/(-5*13/(-139)). Let y = -669/13 + 53. Let r = p + y. Which is bigger: r or -2?
r
Suppose 24 = -2*g + 2*f + 4, -4*g - 16 = 2*f. Let m be g/(-15) + 1 + -1. Is m greater than 2?
False
Suppose 11*b = 13*b + 4. Let f be ((-1)/3)/(b/3). Is -4 at most f?
True
Let f(w) = -w**3 + 2*w**2. Let s(n) = -n**2. Let i(t) = -f(t) - 2*s(t). Let b be i(2). Let c be b/6 - (-5 - -7). Is c <= -2?
False
Let r(n) = 6*n - 14. Let y(v) = 4*v - 9. Let i(p) = 5*r(p) - 8*y(p). Let t be i(2). Is -0.1 at least t?
True
Let c be 1/2 - (-1)/(-2). Which is smaller: 2/9 or c?
c
Suppose w + 2 = -3*q + 1, -4*q + 2 = 2*w. Let d = -16 + 13. Are q and d unequal?
True
Let o(d) = -d**3 + 5*d**2 - 4*d - 1. Let t be o(3). Suppose -99 + 24 = -t*b. Do b and 15 have the same value?
True
Let n = 78 + -74. Are n and 1 unequal?
True
Let d be (7/14)/(1/(-424)). Let o = d + 1478/7. Which is bigger: o or 0.1?
0.1
Let y = -13 - -14. Is y bigger than -2?
True
Let x be 3 - 2*(-1)/2. Suppose 2*p + 3*c = 18, 0 = -p - 3*p + 4*c - x. Is 3 greater than p?
False
Let n = -47/294 - 20443/1470. Let p = -41/3 - n. Is 1 > p?
True
Let g = 142 - 706/5. Is g bigger than 2/19?
True
Let g = -17 + 12. Let z = g + 5. Let j(s) = s**3 - 5*s**2. Let m be j(5). Are m and z equal?
True
Let w(n) = -15*n. Let z be w(1). Let v be (-2)/(-42) + 5/z. Let a = 1/19 - -16/57. Is a < v?
False
Let u be 8/(-44) + (-18)/22. Let h = -1 + u. Is -1 at most as big as h?
False
Suppose -2*y = -42 - 0. Suppose 0*o - 4*o - 16 = 4*f, 5*f = -4*o - y. Let v = 2 + 0. Is o != v?
True
Let f = 81 - 87. Which is smaller: f or 0?
f
Let o be 2/6*(-6)/9. Let x = -115 - -119. Is x greater than or equal to o?
True
Let q(f) = -f**3 + 9*f**2 - 10*f + 5. Let h be q(8). Which is smaller: h or -12?
-12
Let d = -17/18 - -4/9. Let i = -0.1 - -0.4. Let y = 0.3 - i. Is y >= d?
True
Let u be (-5)/(-25) + (-1)/5. Suppose u = 4*y + y - 25, -4*c - 4*y + 8 = 0. Which is smaller: -2 or c?
c
Let q be 0 + (-16)/(-7) + -2. Is q greater than or equal to 8?
False
Suppose r + 21 = 5*z, 0*z - 12 = -3*z. Let k = 1329/170 + -77/10. Which is bigger: r or k?
k
Suppose 0 = 4*s - s - 15, 5*b + 90 = 5*s. Is -14 equal to b?
False
Let k = 1.1 + -0.1. Let l = 17 - 19. Let y = l + k. Is -1 less than y?
False
Let a = -3499 + 115495/33. Let c = a + -2/3. Which is greater: -1/3 or c?
c
Let g = -0.9 - -1. Let y = -1.9 - g. Which is bigger: y or -1?
-1
Let h be (-338)/(-290) + -1 + (-31)/155. Which is greater: h or -1?
h
Let d be 1/27*(-2 - -1). Is d at least 1?
False
Let p be 3 - (3 - (-3)/4). Is -2 bigger than p?
False
Let l = -24 - -45. Is 0.1 not equal to l?
True
Let c = -8 + -2. Which is smaller: c or 0.1?
c
Let l be -2 + 57/27 + 0. Which is bigger: -0.1 or l?
l
Let q = 29 + -29. Suppose 0 = -q*j - j. Which is smaller: 6/13 or j?
j
Let v = -10 + 5. Let q = 0.45 - 5.35. Let a = q - v. Are a and -0.3 non-equal?
True
Suppose -2*a = -14 + 4. Suppose g = 3*j + a, -2*g + 3*j = -5 - 2. Suppose 5*m + 0*m = l - 8, g*l + 6 = -m. Is -3 < m?
True
Let l = 14 + -10. Let q = -19 - -21. Let m = q - l. Which is smaller: -1 or m?
m
Let r(c) = c**3 - 3*c**2 - c + 2. Let i be r(3). Suppose 0 = 3*q, -3*w + 0*q - 2*q + 9 = 0. Suppose -f - j - 3 = 2*f, -w*j = -5*f + 9. Which is smaller: i or f?
i
Let y be ((-4)/(-20))/((-62)/11264). Let x = y - -182/5. Is 1 < x?
False
Let o(n) be the third derivative of -n**6/30 + n**3/6 + 4*n**2. Let d be o(1). Is -3 bigger than d?
False
Suppose 0 = -9*b + 12*b + 18. Which is smaller: b or -3?
b
Let w = 7.03 - 7. Let q = w + -0.23. Is q smaller than -2/7?
False
Let q = -2.08 - -2. Let h = 3.08 + q. Is 0 <= h?
True
Let n = -3919/20 + 196. Let j = -599 - -600. Which is greater: j or n?
j
Let m(r) be the second derivative of -r**5/120 - 5*r**4/24 - r**3/3 + 2*r. Let s(t) be the second derivative of m(t). Let c be s(-4). Is c less than 2/11?
True
Let v be 0 + 1 - 42/(-3). Let y(d) = 7*d - d**2 + v - 8 + 2*d**2. Let j be y(-6). Which is greater: j or 2/17?
j
Suppose 2*g - 4 + 0 = 0. Let t = -4 + g. Which is bigger: t or 0?
0
Let c = -0.3 - -1.3. Let w(b) = b**3 + 3*b**2 - 2*b - 6. Let v be w(-3). Suppose z = -v*z - 1. Is z at most c?
True
Let s = -4 + 13. Let t(x) = -x**2 + 11*x + 12. Let f be t(11). Suppose -3*o - o + 28 = g, -3*o + f = 3*g. Is o < s?
True
Let z be 0 + 15/6*-4. Let v be ((-6)/12)/(z/12). Is 2 smaller than v?
False
Let l = 6 - 3. Let j(m) = -m**3 - 4*m**2 - 4*m - 6. Let u be j(-4). Let w be (6/(-5))/((-4)/u). Is w greater than or equal to l?
True
Let x be 131/33 + 3 + -6. Let d = x + -7/11. Is d at most -1?
False
Suppose -2*u - 12 = -6*u, 0 = 4*t - 5*u + 19. Let o = -5 + 6. Do t and o have the same value?
False
Suppose 10 = 3*g - 5*g, 2*s = 2*g + 10. Suppose -5*u + 5 + s = 0. Let h be (-1)/(-4) - 1/4. Which is greater: u or h?
u
Let c(h) = -h + 2. Let m be c(2). Let j be (m - -1)/1*8. Let q be j/(-15)*(-3)/12. Are 1 and q unequal?
True
Let t be 0 - (-2 + 1) - 0. Suppose 18*w - 21*w = -9. Let n be 1/(-6) + w/2. Is t smaller than n?
True
Let v = -56.1 + 59. Let a = -3 + v. Let n = a + 1.1. Which is greater: n or -2/7?
n
Let j = -4 - -3.7. Let t = j - -0.3. Let x = 6/31 + -28/465. Which is smaller: t or x?
t
Suppose 5*q + b + 180 = -4*b, 4*b = 16. Is q less than -38?
True
Suppose 5 = -5*c - 0. Let q = -3 - c. Which is greater: q or -0.01?
-0.01
Let z = 13/4 + -3. Is 1 > z?
True
Suppose -2*u = 8 - 2. Suppose 0*s - s = 2. Which is smaller: s or u?
u
Let u = 4 - 0. Suppose 4*r - 4*z = 8, 2*r - 9 = u*z - 7*z. Suppose -r*j = j + 4. Is j less than or equal to 1?
True
Let x(u) = u + 1. Let o be x(1). Suppose 3*r = 4*p + 23, -r + 6 = -o*p + p. Which is bigger: 2 or r?
2
Let j(a) = 3*a + 1. Let u be j(-1). Let f = -6 - u. Is -5 <= f?
True
Let b be 18/15 + (-1)/5. Suppose -i = -0 - b. Which is greater: 0 or i?
i
Let g be 4/(-14) 