3 or d?
3
Let t(v) be the third derivative of 0*v + 0 - v**3 + 3*v**2 - 1/24*v**4. Let x be t(-6). Which is smaller: x or -1/2?
-1/2
Suppose -3*c - 10 - 8 = -3*o, -c - 14 = 3*o. Is -10 >= c?
False
Suppose 3*o + 3*r - 28 = -7, 0 = -o + r + 13. Which is bigger: 9 or o?
o
Let c(i) = -4*i - 9. Let r be c(4). Is -26 at least r?
False
Let q(h) = -h**3 + 6*h**2 - 5*h + 5. Let u be q(5). Suppose -z - 4 = 4*b + 3, 4*z + u*b = -6. Which is smaller: 0 or z?
0
Let c be (-8)/(-12) + (-3 - -3). Which is smaller: -20 or c?
-20
Suppose -l + 23 = -5*u, u - 4*u - 2*l = 19. Suppose -5*n = -0*n. Suppose -5*p - 4 = -4*j, 0 = p - j - n*j. Which is greater: u or p?
p
Suppose -4*g + 5 = -9*g + 5*h, -3*h = 0. Suppose 22 = 4*d - w - w, -5 = 5*w. Let r = d - 5. Does r = g?
False
Let h(j) = -4*j + 35. Let w be h(12). Is w less than -12?
True
Let v = 0.12 + -0.22. Let t = 0 - v. Does t = 1?
False
Let f = -88 + 97. Is f <= 11?
True
Suppose 11 - 7 = 2*x. Let m = 9 - 4. Suppose -3*a + 0*a - 4 = -5*r, -m*r - 4*a = 17. Is x <= r?
False
Let g = -340 + 2376/7. Is g > 0?
False
Let g = -0.6 + 0.6. Let h = -0.1 - g. Is 2 greater than h?
True
Let x = 179345 - 18651547/104. Let w = x - 25/8. Is w smaller than -1?
False
Let q(r) = 2*r - 9. Let m be q(7). Suppose m*n - 1 = 29. Suppose 0 = d + d + n. Which is smaller: d or -5?
-5
Let b(d) = -d**2 - 6*d - 6. Let m be b(-5). Which is bigger: 1/3 or m?
1/3
Let r = 1106 + -12208/11. Are -3 and r non-equal?
True
Let a = 0 + 0. Let m = -0.2 + 0.1. Which is smaller: a or m?
m
Let z = 30286/33 - 918. Let x = -10/11 - z. Which is smaller: x or -2?
-2
Let n(b) = -b**2 + 6*b - 4. Let y be n(4). Which is smaller: -2 or y?
-2
Let c be (5 - 3) + 8/(2 + -4). Which is smaller: -3 or c?
-3
Let b be (-4)/(-18) + 6/(-27). Are 4/3 and b equal?
False
Let l = 869.99 - 866. Let u = l - -0.01. Which is smaller: u or -0.1?
-0.1
Let p = 58 + -50. Is 9 at least p?
True
Let x = 2 + -3. Let s = -0.4 + 0.2. Do s and x have different values?
True
Let t(v) = -v**3 - 7*v**2 - 6*v. Let l be t(-6). Let p = -1 + 1. Let i = p - -0.1. Which is bigger: i or l?
i
Let b be 10/6 + 2/6. Let d(w) = 3*w**2 + w**3 - 2*w**2 - 2*w**b + 1. Let c be d(1). Is -2 smaller than c?
True
Suppose 45 = 4*f - 99. Suppose 4*h - f = 2*x, 0*h + h = -3*x + 9. Are 8 and h nonequal?
True
Let j(y) = -18*y**2 - 2*y. Let x be j(-1). Which is greater: x or -15?
-15
Suppose 4*z - r = -21, z + 2*r - 12 = 4*z. Which is bigger: -0.04 or z?
-0.04
Let y be ((-1)/3)/(8/(-48)). Let l = -31 - -17. Let q be (-32)/l - (-4)/(-14). Is y not equal to q?
False
Suppose -2*q - 3*b = 4, 5*b - 5 = -0*q - q. Let p = 2 - q. Which is smaller: p or 6?
6
Let t be 8/(-10)*225/(-18). Let x be 5/(t/4)*2. Which is smaller: 3 or x?
3
Suppose 2*k + 0*k - 15 = -5*o, -15 = -3*o. Let y = -47 - -52. Let s = k + y. Does s = -5?
False
Suppose 0 = 4*z - z + 36. Let p = 23/2 + z. Let q be 8/32*16/(-10). Do q and p have different values?
True
Let x be 160/1044 - (-8)/(-36). Do x and -1/2 have different values?
True
Let w be (-3)/(-51)*(-2)/(-1)*1. Suppose -5 = -0*i - 5*i. Which is smaller: i or w?
w
Let r = -49 + 56. Which is bigger: -4 or r?
r
Let l = 72 - 45. Which is smaller: l or 0.1?
0.1
Suppose -b - z = -10, b - 3*z + 14 = 2*z. Which is greater: b or 7?
7
Let j(h) = 3*h**2 + h - 13. Let u be j(-10). Let w = u - 1936/7. Which is smaller: 1 or w?
w
Let x be 15*(4/(-5) - -1). Are x and 2 unequal?
True
Suppose 0*v = -2*v. Suppose v = n - 0 - 5. Suppose -3 - 12 = -n*p, 3*p - 5 = 4*w. Are 0 and w nonequal?
True
Let z = 5 + -5. Which is greater: 3/41 or z?
3/41
Let o = 0 + 0. Suppose o = -4*g - 2 - 10. Is -4 < g?
True
Let c(v) = v**3 - 5*v**2 - 6*v. Let i be c(6). Let p be ((-3)/30)/((-68)/1310). Let g = p - 20/17. Which is smaller: g or i?
i
Let r = -0.9 + -0.1. Let t = 3 - 3.6. Let k = t - -0.9. Is r smaller than k?
True
Let g = 12 + -7. Suppose -g*b = -7*b + 28. Do 14 and b have different values?
False
Let t = -2 + 1.8. Are -2/5 and t non-equal?
True
Let j = -1 - -2. Is j greater than 1/16?
True
Suppose -y - 2*r + 5 = -5*r, 5*r = -5*y + 65. Is y at most -2?
False
Suppose u = -8 - 22. Which is bigger: u or -31?
u
Let a = -11 + 4. Let d = -9 - a. Are d and -4 equal?
False
Let f = 1376 - 17898/13. Is f less than or equal to -2?
False
Let r = 28342/637 + -580/13. Which is bigger: 1 or r?
1
Suppose 5*i - 3*i = -14. Let q(s) = s**2 + s + 1. Let n(p) = 4*p**2 + 11*p + 9. Let k(c) = n(c) - 3*q(c). Let g be k(i). Is g greater than or equal to 4/11?
False
Let w = 14.6 + -5.6. Is 2 > w?
False
Let a(t) = -t**3 - 8*t**2 + 18*t - 19. Let k be a(-10). Is 1/33 bigger than k?
False
Suppose 0 = -0*i - 5*i + 15. Suppose 0*c - 4 = i*x + 2*c, 2*c - 8 = 0. Let k be -2*(2 + 7/x). Is -2 not equal to k?
True
Suppose p + 4*d = -3 + 11, -2*p - 2*d = -10. Suppose -2*x + 0 = -p. Is x at least 5/9?
True
Let p(a) = 4*a**2 + 4*a - 8. Let f be p(2). Is 4 greater than or equal to f?
False
Let d be (-8)/(-28) - 107/7. Let n = d - -77/5. Let q = -107 - -107. Is n greater than q?
True
Suppose 4*g - 5*l + 19 = 0, -2*l + 8 = -5*g - l. Let n = -5 - -9. Let t = n + -3.7. Which is greater: g or t?
t
Suppose -6 = 2*m - 4*m. Suppose f - 1 = m. Which is smaller: f or 1?
1
Let f be (4/(-330))/((-9)/54). Which is smaller: -1 or f?
-1
Let p(b) = 1 + 8*b**2 + b + 4*b**3 - 6*b**2 - 3*b. Let u be p(1). Which is smaller: u or 7?
u
Let i be 2 + -1 + 7 + -4. Suppose -l + 3*f + 9 = 0, i*f = -f - 15. Is l >= 1?
False
Let p = 92 - 65. Which is bigger: 2/5 or p?
p
Suppose 5*d + 29 = d - u, 0 = 3*d + u + 22. Let b(t) = -6 - 2*t - 4*t + 2*t + 3*t. Let w be b(d). Which is greater: -1 or w?
w
Let p = -1523/6 + 253. Let l be (-4)/(-10) - (-4)/(-10). Is l at most p?
False
Let u(m) = m**3 + 11*m**2 - 12*m - 18. Let b be u(-12). Are b and -16 equal?
False
Let h be (-70)/(-4)*77/55. Let r = h - 25. Suppose 0 = 3*t + 2*p - 4, 2 - 4 = -5*t - p. Which is greater: r or t?
t
Let m = 2.2 + -0.2. Is 7/6 at least m?
False
Suppose 1 - 13 = -3*p. Is -2 at most as big as p?
True
Let i = -212 + 217.86. Let u = 0.14 + i. Which is greater: u or -1?
u
Let j = 0.322 - 0.062. Which is smaller: 2 or j?
j
Let n = -0.113 + 0.043. Which is smaller: 1/4 or n?
n
Let r = -29312/455 + 322/5. Which is smaller: 1 or r?
r
Suppose 47 + 114 = -c. Let n = c - -1129/7. Let y = -0.1 - 0. Does n = y?
False
Suppose -4*n + 43 = -5*r, 5*r + 3*n + 10 = -19. Let q be (-21)/9*2/r. Suppose 0 = -2*f + 3*w - 12, -5*f + 0*w - 5*w + 20 = 0. Which is smaller: f or q?
f
Suppose -3 = -r - 0. Let l be ((-2)/r)/((-4)/24). Which is smaller: l or 3?
3
Suppose -21 = -4*r + 11. Let l be (-2)/r + (-78)/(-24). Let m be l/(-9) + 12/9. Which is greater: m or 4/9?
m
Let q = 609/5 - 123. Let a(b) = -b - 13. Let c be a(-11). Is q smaller than c?
False
Suppose -4*z - 1 - 3 = 0. Let h(q) = -q**2 + q + 1. Let m be h(z). Is 2/11 <= m?
False
Let j = 53 + -50. Is j != 19/6?
True
Let n = -2 + 3. Let h be 4 - (2 + 0/4). Is n less than or equal to h?
True
Suppose 0 = 4*y - 6*y - 4. Let d = y + 3. Which is bigger: 5 or d?
5
Let l = -4.159 + -0.041. Let j = l + 4. Is j bigger than 2?
False
Suppose -2*o + 2 = 2*v, -2*o = -o. Let p = 3 + -2. Does p = v?
True
Suppose 0 = -5*w + 5*p + 15, -6 = 2*w + 5*p - p. Suppose 2*s - w + 5 = 0. Let t be 10/2*4/(-10). Is t <= s?
True
Suppose 0 = -8*a + 4*a - 360. Is -91 at least a?
False
Suppose 3*d = -4*c + 7, -c - 4*d - 20 = -3*c. Which is smaller: c or 8?
c
Let r = 7 + -7. Which is greater: -2/7 or r?
r
Let m(s) = -s**3 - 4*s**2 - 2*s + 3. Let o be m(-3). Suppose q - 3*f + 10 = 0, 2*f + 0 = 5*q - 2. Which is smaller: q or o?
o
Suppose -5*f = 3 + 7, -2*c + 6 = -3*f. Suppose c = -m - 1, 4*m - m - 22 = 5*n. Is -5 > n?
False
Let p(t) = -4*t + 4. Let g be p(-4). Which is greater: 21 or g?
21
Let q be (5/3)/((-2)/(-6)). Let s = 5 + 0. Is q greater than or equal to s?
True
Let z be 54/(-10) - 4/(-10). Let u be (-1 + z)/((-4)/(-6)). Which is greater: -8 or u?
-8
Let z be 40/55*1/(-2). Let b = -1/33 - z. Which is smaller: b or 1/2?
b
Suppose 2*b + 41 + 39 = 0. Are -41 and b equal?
False
Suppose 5*n = 6 + 39. Let b be (-6)/n + (-8)/(-15). Let y(o) = -o**2 - 9*o + 9. Let w be y(-10). Which is smaller: b or w?
w
Let z = -0.42 - -0.12. Suppose -4*m = -5 + 1. Let r = m - 2. Which is smaller: z or r?
r
Let p be (1 + 0)*(-2)/2. Let k = -11 + 7. Let g 