u = 3 - -1. Let v(d) be the second derivative of d**3/3 - 3*d**2 - 19*d. Let y be v(u). Which is bigger: 3/5 or y?
y
Let l be -2*(-2 + 0/3) + -1. Suppose 0 - 9 = -3*u. Is l > u?
False
Let f = 5 + -1. Suppose f*s - 7 = 41. Let v be (-40)/s + 3 + 0. Which is smaller: v or 1?
v
Suppose -6 = -q - 2*d, 2*q - 2*d - 6 = -4*d. Suppose -3*h + 8 = -q*h - 2*z, -5*h + 5*z + 15 = 0. Is 0 less than or equal to h?
True
Suppose -5*y + 5*s = -15, 0*y - 5*s = 2*y - 34. Suppose -y*v - 3 = -4*v. Which is greater: v or 0?
0
Let k = -441 + 2653/6. Is 2 at most k?
False
Let q = 23 + -23.034. Let a = q - 6.366. Let z = -6 - a. Which is greater: -0.1 or z?
z
Let u = 4.1 - 8.6. Which is greater: -1/3 or u?
-1/3
Suppose 6*f = 10*f - 16. Is 1 greater than f?
False
Let b = 79/55 - 7/11. Suppose 0 = -3*w + 2*w - 4. Let r be w/14 - 32/(-14). Is r equal to b?
False
Suppose 2*f + 1 = f. Let h be ((-2)/3)/(3/6). Let c = -5/3 - h. Is f at most as big as c?
True
Suppose 3*k - 19 = -43. Which is smaller: -7 or k?
k
Let i(k) = k**3 + 8*k**2 + 6*k + 3. Let u be i(-8). Let y be (-1)/u + (-6)/(-30). Is 0 at most y?
True
Suppose -43 = 5*t - 18, 5*o - 2*t - 30 = 0. Suppose -o*g = -g + 6. Is g less than -2/3?
True
Let h = 127 + -296. Let b = 848/5 + h. Do b and 2 have different values?
True
Suppose -5*s + 5 + 0 = 0. Let l be (s/(-2))/(104/32). Does -1 = l?
False
Suppose 6*h = h - 5. Let l be 1 - h - (6 + -2). Which is smaller: -1 or l?
l
Suppose -z - 4*v - 10 = 0, 2*v + 3*v + 5 = -5*z. Suppose -h + 2*r = z*h + 1, 5*h + 1 = 3*r. Which is smaller: 3/7 or h?
3/7
Let s = -183 + 186. Suppose -9 + 1 = -4*v. Suppose 0 = -v*j + 1 + 7. Which is greater: s or j?
j
Suppose 0*q + 84 = -2*q. Let k = -167/4 - q. Which is smaller: k or -0.4?
-0.4
Let p = 1.5 - 1.5. Let q = 0 + 2. Which is greater: q or p?
q
Let d = 5.97 - -0.03. Which is smaller: d or -0.1?
-0.1
Let w(b) = -b**3 - b**2 - b + 6. Let m be w(0). Suppose 0 = -3*l - 3 + m. Is l > 1/11?
True
Let i = 0.49 + 0.51. Which is smaller: i or 4?
i
Let n = -20.2 + 7.2. Do n and -2/11 have the same value?
False
Let n = 29323/13 - 2254. Let l = n + -95/91. Is 0 at most l?
True
Let h = 6 + -5.8. Is -0.1 bigger than h?
False
Let b be (5 - -5) + (-6)/2. Suppose 4*v = -9 - b. Let a = v + 0. Do -4 and a have different values?
False
Suppose p - 3*p = -2*l - 10, -4*l + 3*p - 24 = 0. Which is smaller: l or -8?
l
Let x = -15 + 9. Suppose -3*z - 34 = 5*o, -3*z = -5*o - 0*z - 16. Which is smaller: o or x?
x
Let x be (-11)/6 + (-9)/54. Is -9 at most x?
True
Let a(d) = -d**2 + 6*d + 7. Let x be a(-5). Let y be 4/2 + x/8. Which is greater: -3 or y?
-3
Suppose 2*i = 2*x + 3*i + 1, -2*i = -3*x + 9. Suppose 2*a = 5*a. Which is smaller: a or x?
a
Let l be (-6)/(-2) + (-33)/12. Does l = -2/11?
False
Let i = 35 - 26. Which is smaller: 2/5 or i?
2/5
Let i be (3 - (-20)/36) + -4. Which is smaller: 0 or i?
i
Suppose 9*i - 4*i + 5 = 0. Which is smaller: i or -1/96?
i
Let c = 5235 - 481635/92. Let h be (4/(-69))/((-4)/(-6)). Let u = h + c. Is 1 less than or equal to u?
False
Let d be (-2 - -6)*1/18. Is -9 at least d?
False
Let p be ((-3)/1 - 2/2)/2. Which is bigger: p or -3?
p
Let g(b) = 2*b**2 + 3*b - 7. Let x be g(2). Which is bigger: x or 6?
x
Let l = -11.7 + 11. Let x = 0.8 + l. Which is greater: 15 or x?
15
Let j = -10 - -9.8. Let u = j - -0.3. Let f = -3 - -5. Are u and f unequal?
True
Let b be ((-6)/(-4) - 2)*3. Which is greater: -1/4 or b?
-1/4
Let u = -0.3 + 0.7. Let k = -0.6 - u. Is k != 2?
True
Let b = 67 + -66. Are 15 and b non-equal?
True
Suppose 19 = 2*j + 25. Do j and 0.2 have different values?
True
Let s = -0.92 + -0.08. Let p = 0.5 + s. Which is greater: p or -1/3?
-1/3
Let n be 12/(-16)*-3 + -3. Are -0.3 and n unequal?
True
Let n = -32 + 24. Is -8 bigger than n?
False
Let g be (3/2)/((-14)/4). Which is bigger: -5/6 or g?
g
Suppose r + 34 = 2*t - 4*r, r + 38 = 3*t. Let v = t - 17. Are v and -5 equal?
True
Suppose -6*h + h = 5*g - 95, -g + 35 = 5*h. Which is bigger: 0.1 or g?
g
Let m(a) = -a**3 + 2*a**2 + 6*a - 8. Let t be m(3). Let y be (176/(-6))/(10/(-24)). Let g = -70 + y. Is t >= g?
True
Let v = 3.7 + -4. Let u = -0.21 + 0.31. Is v equal to u?
False
Let z = 27 - 27.25. Let k = -0.05 - z. Which is smaller: k or -9?
-9
Let n = 53 - 53. Which is smaller: -4/25 or n?
-4/25
Let h be (3 + 44/(-8) + 3)*25. Which is smaller: h or 14?
h
Let z = -0.4 + -0.3. Let k = z - -0.8. Let f = -687/5 + 137. Is k <= f?
False
Let d be (-3 + 2)*2 - 2. Let o(r) = r**3 - 3*r**2 - 4*r - 4. Let l be o(4). Is d at least as big as l?
True
Let b be (-29)/9 - 6/(-2). Let r be (-3 + (1 - 0))/(-7). Are b and r unequal?
True
Suppose -3 = -3*c + 15. Let a be 1 + -2 - c/(-10). Let s = -5/7 - -1. Which is smaller: s or a?
a
Let o be 39/(2 - (-14)/(-6)). Do o and -116 have the same value?
False
Let i(d) = -4*d**2 + 2*d - 1. Suppose -3*p = -0*p - 4*k - 15, -4*p + 10 = -2*k. Let o be i(p). Let m = o + 3. Is m not equal to -1?
True
Let r be 614/10 + (-2)/5. Let n = r + -674/11. Let a = n - 13/33. Which is smaller: 1 or a?
a
Suppose 2*g + 3 - 13 = 0. Suppose -3*c = -2*q - 2, 0*c - g = 5*q - c. Which is smaller: 1/4 or q?
q
Let v = 0.02 + 2.98. Suppose -223 = 7*j - 216. Is j >= v?
False
Let u = -0.03 + -0.97. Let s = -4 - -2. Is u at most s?
False
Let j(c) = -2*c + 2. Let z be j(2). Let p be (4/28)/(5/(-60)). Does p = z?
False
Let x be (-1 - 0)*(1 + -7). Do x and 7 have the same value?
False
Let w = 397/6 + -66. Do w and -2/5 have different values?
True
Let h = 29 + -31.9. Which is greater: 1 or h?
1
Let n be (-2 + 1 - 2)*-1. Suppose -3*j - 21 = -0*v + 3*v, 4*j + v = -19. Let t be j*(-2 + -2)/4. Are n and t equal?
False
Suppose -6 = -n - 0*n. Let l be ((-3)/9)/((-3)/(-63)). Let c = l + n. Which is bigger: c or -3/2?
c
Let w be (-2)/5 - 88/(-20). Suppose -2*g + g + w*m = 8, 0 = 4*m - 8. Let r be (2/60 - 0)*-4. Which is smaller: r or g?
r
Let g(a) = -3*a + 10. Let z be g(12). Which is smaller: z or -24?
z
Let h = -2 + 3. Suppose o + 4*o = 10. Let a be (4/42)/(o/(-3)). Which is smaller: a or h?
a
Suppose 10*l + 326 = 1436. Which is smaller: 110 or l?
110
Let d = -0.28 + 0.08. Let g = -0.3 - d. Which is greater: 0 or g?
0
Let b be (-1 - 1)*1*-3. Which is smaller: 5 or b?
5
Let o(j) = j + 5. Let b be o(0). Suppose 1 = -b*g + 6. Let q be 4/14 + (-24)/35. Which is smaller: g or q?
q
Let a be (-1)/((2*-1)/6). Suppose 5 = 4*q - a. Suppose -4*x + 4*o - 8 = 0, -3*x + q*o - 3*o + 6 = 0. Which is bigger: x or -2?
x
Let p(f) = -f**3 - 12*f**2 - 6. Let t be p(-12). Is -7 at most as big as t?
True
Suppose -2*a - 2*c = 0, -3*c - 12 = -2*a - 8*c. Let w = a - -3. Let l = -365/28 - -51/4. Is w > l?
False
Let v be (1/3)/(2/234). Which is smaller: v or 40?
v
Let i(b) = -b**2 + 5*b - 1. Let m be i(4). Suppose m = -2*p - 3. Let a be (-3 - p)/(-1 - -2). Which is smaller: a or -1?
-1
Suppose -q + 2 = 7, 0 = 2*t + 4*q + 24. Suppose 3*n - c + 1 = 0, -28 = 4*n + 3*c + c. Is t bigger than n?
False
Let m = 18 + -2. Is m less than or equal to 1?
False
Suppose 3*q = -2*q - 40. Which is smaller: q or -10?
-10
Let v = 0.15 + -0.2. Let d = -0.25 + v. Let r = 0.4 + d. Is r at least -1?
True
Let j(w) = -w**3 - w**2 + 5*w + 5. Let m be j(-2). Is m equal to -3/5?
False
Let j = -2 - -8. Let s = j + -2. Suppose -s*m + 4*l - 3*l - 12 = 0, 3*l + 6 = -2*m. Do -4 and m have the same value?
False
Suppose -2*g = 3*n, g = -2*n + 4*n. Let m = 2 - g. Let b = m + -5. Which is smaller: b or -2?
b
Let q(p) = -p**3 + 6*p**2 - 4*p - 6. Let v be q(5). Let k = -2 + 6. Suppose k*w + 0*w = -4. Is v < w?
False
Let q = 18 - 9. Suppose -14 = b - 3*l, 0*b + q = -b + 2*l. Which is smaller: b or 1/13?
1/13
Suppose 1 = -36*i + 35*i. Suppose -p - 2*q + 2 = -0*p, 3*q - 8 = -4*p. Suppose 0 = 2*g + p*g. Is g at most i?
False
Let a = -163 + 163. Which is greater: -1/24 or a?
a
Suppose 5*n - 915 = -0*n. Let q = 614/3 - n. Let l = q - 22. Is l at most as big as -1?
False
Let l = 0.35 - 0.25. Let p = -0.4 + l. Is 1 < p?
False
Let a(z) = 9*z**3 - z. Let j be a(1). Let x = j - 3. Which is greater: 6 or x?
6
Let f be (-3)/(-7) - 135/21. Is f < -7?
False
Let d = -485 - -481. Let k = -0.1 - -0.3. Which is bigger: k or d?
k
Let c = -59 - -173/3. Let v(s) be the third derivative of -s**6/120 - s**5/60 - s**3/3 + 5*s**2. Let y be v(0). Which is smaller: c or y?
y
Suppose 40