 2*m**3 + 6*m**2 - 3*m. Let y(t) = -t**3 + t. Let p(s) = -d(s) - 3*y(s). Let z be p(6). Which is greater: g or z?
z
Suppose -2*r = -0*r - 8. Suppose r*n - 6 = 2*n. Is n at most as big as 4?
True
Suppose -u - 51 - 60 = -4*t, 4*t + 8 = 0. Is u equal to -118?
False
Suppose 4*x = -4, -v + 3*x - 5 = -5*v. Let c be (v/(0 - -1))/(-27). Let h = 3 - 2. Does c = h?
False
Let v = 43 - 45. Let p = -2 + -12. Let c = p + 27/2. Which is bigger: v or c?
c
Let n = 14 + -4. Which is bigger: n or -2/3?
n
Let h = 6 - 7. Is h smaller than -1/7?
True
Let s be 2/(-7) - 16/(-7). Let r be (-2)/8*0 - 0. Suppose r = -s*f - 3*f. Which is greater: 2/3 or f?
2/3
Suppose x = -2*x. Let t = 0.6 - 2.6. Which is smaller: x or t?
t
Let c(z) = -z - 5. Suppose -4*a - 7 = 13, 2*n - 15 = 5*a. Let v be c(n). Let h = -55/24 + 8/3. Which is smaller: v or h?
v
Suppose 4*g - 2*g - 8 = -2*y, -g - 3*y + 14 = 0. Is g less than -10/13?
True
Suppose -5*t + 0*t + 61 = 4*z, z + t = 16. Which is smaller: 20 or z?
z
Let s(x) be the third derivative of -x**5/60 - 5*x**4/8 + x**3/3 - 5*x**2. Let t be s(-15). Which is smaller: 4 or t?
t
Let o = 28/11 - 1445/572. Let v = 10/13 - o. Which is smaller: v or 0?
0
Let z be ((-11)/(-22))/((-9)/4). Which is smaller: -1 or z?
-1
Let q = 39 - 27. Suppose h = 4*h + q. Is -4 less than h?
False
Let c = -0.5 - -0.53. Let v = c - -0.27. Does v = -0.1?
False
Let f = 26 - 17. Let i = f + -8. Do -2/9 and i have the same value?
False
Let o be 2/6*3 + -5. Let f be (1 - 3)/2 + -4. Which is greater: f or o?
o
Let w = 33833/906 + -3/302. Which is smaller: 38 or w?
w
Suppose 0*y + y = -t - 1, -3*t = -3*y + 15. Let a = -3 - -2. Which is bigger: y or a?
y
Let d(l) = -l - 1. Suppose 3*u + 2 = -2*s - u, -2*s + 10 = u. Let x be d(s). Which is bigger: x or -9?
x
Let j be (-2)/2 - 332/(-324). Let y = j + 16/81. Is y < 1?
True
Let d(q) = q**3 - 3*q**2 - 8*q + 6. Let u be d(5). Suppose -2*s = -5*i - 1, -3*s - 3*i = u - 49. Do s and 9 have the same value?
False
Suppose -2*l - 3*l = -3*p - 6, p + l - 6 = 0. Suppose 1 = 2*n + p. Let f = 6/23 + -93/92. Which is greater: n or f?
f
Suppose -11 + 1 = -5*z. Suppose -2*g = z*g - 16. Suppose 5*q + 4*n = 32, -4*n = -2*q - 5 + 1. Is g equal to q?
True
Let h be (-44)/77 + (-8)/(-14). Which is smaller: -3/34 or h?
-3/34
Suppose 30 + 5 = 5*m. Let k = 7 - m. Suppose 4 = 2*v - k. Is -0.1 at least v?
False
Let v = 14/27 - -4/27. Is v greater than 2?
False
Let p be 5 + -8 + 0 + 4. Which is bigger: 9/10 or p?
p
Let c = -1.6 - -3.4. Which is smaller: 0.1 or c?
0.1
Let u be 2 + -1*(2 - 0). Suppose -3*t + 4 = -3*r + r, 3*r - 28 = -4*t. Suppose -5*c + 5 = -2*o + r*o, 0 = -2*c + 2. Is u != o?
False
Suppose -3*o - 2*o = -10. Let n be 16/9 - 12/(-54). Suppose -n*l + 2 = -0*l. Is l <= o?
True
Let u = 1.4 - 1.41. Is u at least -0.1?
True
Let b be (10/(-4))/((-14)/(-84)). Are -1 and b non-equal?
True
Let d = 5.1 + -6.98. Let z = d - 0.12. Which is smaller: 0.1 or z?
z
Let n be -5*(-21)/(-45)*-3. Which is smaller: n or 8?
n
Let q = -20 + 22. Which is bigger: 1 or q?
q
Let u(f) = -f**3 + 4*f**2 - 4*f + 3. Let a be u(2). Suppose -3*q = a - 0. Which is greater: q or 1/4?
1/4
Let o(l) = -l**3 - 6*l**2 + 7*l. Let k be o(-7). Let t = -9939/13 - -765. Which is greater: k or t?
t
Let v(t) = -t**3 - 18*t**2 - 16*t + 18. Let z be v(-17). Let p be 2/4*(4 + 0). Which is bigger: z or p?
p
Let p = -163 - -1143/7. Which is smaller: p or -0.07?
-0.07
Suppose -a - 2 = -8. Let r = a - 5. Suppose -2 = o - r. Which is smaller: 2 or o?
o
Suppose -d + 6 + 10 = 0. Suppose 8*v + d = 10*v. Suppose -41 + 13 = -q - 5*h, -2*q - 4*h = -32. Is q at most v?
True
Let j(z) = z**2 + 2*z + 2. Let o be j(-3). Let r be (8/3)/(32/48). Which is greater: r or o?
o
Let k(m) = m - 2. Let x(q) = q - 3 + 2*q - 2*q. Let c be x(6). Let r be k(c). Which is smaller: r or -4/9?
-4/9
Let y = 13 - 17. Is y not equal to 2/11?
True
Let m be ((-12)/5)/((-36)/40). Let r = -1 - -5. Which is bigger: r or m?
r
Suppose 0 = -x + 2*j - 2 + 3, j = -3*x + 24. Which is smaller: 0 or x?
0
Suppose -z - z = -6. Suppose 2*l + z*h + 1 = -0*h, 3*l + 3*h = 0. Let g = 11.4 - 11. Is l not equal to g?
True
Let c = -5 + 8. Let r = 3.1 - c. Let g = 2.96 + -3. Which is greater: g or r?
r
Let w(b) = -b**2 - 8*b - 6. Let n(k) = -k + 1. Let j(t) = n(t) - w(t). Let h = -12 - -6. Let r be j(h). Is r smaller than 1?
False
Suppose -l - 6*p - 67 = -5*p, 4*l = 4*p - 228. Is -61 smaller than l?
False
Suppose -5*x = -12 - 13. Let h be ((-1)/x)/((-4)/(-8)). Let j(n) = -n**2 + 5*n - 5. Let r be j(4). Are r and h non-equal?
True
Let z(j) = j**3 - 3*j**2 + 2*j - 3. Let b be z(3). Let u(n) = -7*n**2 - n + 3*n**b - 4*n**3 - 10 - n. Let d be u(-7). Which is smaller: 5 or d?
d
Let r be (2 + -20)*12 - -2. Let h = r - -4920/23. Are -1 and h non-equal?
True
Let y be (-2)/10 - (-52)/10. Let a be 2/4 - (-23)/2. Suppose -a = -y*u + u. Are u and 3 unequal?
False
Suppose -i + 20 = -3*i. Let f be (-25)/i*(-2)/20. Suppose b + 7 = -0*b - 2*q, 3*b - 2*q - 3 = 0. Is f at least b?
True
Suppose 68 - 230 = 3*s. Let k be 3/(s/(-4)) + 0. Which is bigger: k or -1?
k
Let r be (14/(-12) + 1)/1. Let k(c) = c**3 - 4*c**2 + 4*c - 1. Let n be k(3). Suppose -n*a = -a. Which is smaller: a or r?
r
Let x = 0.44 - -3.86. Let r = 6 + -10. Let l = x + r. Which is greater: 0 or l?
l
Suppose -2 = -2*c, -3*k + 13 = -c - c. Let j = 6 - k. Which is bigger: -1/4 or j?
j
Let g be (-11)/(-12) + (-5)/20. Suppose 4*u - 2*w - 2 = 0, -4*u - 2*w + 8 + 6 = 0. Suppose c + 4 = 5*l - u*c, -c = -l. Which is bigger: g or l?
l
Suppose -10 = -2*l - 0*l. Let t = 5 + -8. Let i = 3.1 + t. Is l equal to i?
False
Let l = 4.7 + 13.3. Which is greater: l or -0.1?
l
Let c = -8 + 19. Let x = 22.2 - 33.1. Let i = c + x. Which is smaller: i or 2?
i
Suppose -10 = -l - l. Let p(w) be the third derivative of w**6/120 - w**5/10 + w**4/4 - 7*w**3/6 + w**2. Let s be p(l). Is -2 less than or equal to s?
True
Let p = 106 + -106. Let j(n) = n + 2. Let f be j(0). Are p and f nonequal?
True
Suppose o + 21 = 4*o + 2*a, -4*o + 28 = -4*a. Suppose -o*n - 8 = -3*n. Let i(u) = u**3 + 2*u**2 + u + 2. Let x be i(n). Which is greater: x or 2/23?
2/23
Suppose -h - 5*b + 3 = -4*b, -2*h + 3*b - 9 = 0. Does -2/9 = h?
False
Let g be 32*1 - (15/(-5) - -3). Which is smaller: g or 30?
30
Let p be (-2 + 5)/((-2)/(-6)). Suppose s + 5 = -2*g, p = -2*s - 5*g - 2. Is -3 >= s?
True
Let p(k) = -k**3 + 4*k**2 - 2*k - 2. Let h be -6*2/(-8)*2. Let c be p(h). Suppose 2*j = -4*j. Which is smaller: j or c?
j
Let i(c) = -c**2 + 4. Let l be i(0). Is l greater than or equal to 2/3?
True
Suppose -4*l - 30 + 10 = 0. Is -5 > l?
False
Let k be (-6)/56 + 4/(-2) - -2. Which is bigger: k or 1?
1
Let n(t) = -t**2 - 2*t + 3. Let u be n(-3). Let b = -1 + -1. Let r = -2 - b. Are u and r non-equal?
False
Let o(q) = q**2 + 5*q + 6. Let y be o(-6). Is 10 less than or equal to y?
True
Let d(j) = -3*j - 5. Let f be d(-2). Suppose 5*t + 10 = -4*g - g, 3*g + 5*t = -12. Suppose g = -2*h - f. Which is smaller: h or 1?
h
Let f be 10*(-1)/(20/8). Which is smaller: -3 or f?
f
Let b = 393/5 - 79. Let f = 0.4 + -0.5. Are b and f equal?
False
Suppose 5*j - 4*j = -76. Let y = j - -379/5. Suppose 0 = 5*i - 8 + 3. Which is smaller: y or i?
y
Let f be ((-3)/15)/(5/(-175)). Is f greater than 8?
False
Let d = 35/17 - 1907/918. Which is smaller: -1 or d?
-1
Let r = 209/720 + -5/16. Is 1 greater than or equal to r?
True
Suppose -2*i - i = -9. Is i > 3?
False
Let w = 2 + 4. Suppose -3*u = -t - 7, u = -2*t + 1 + w. Let n be u*6/(-9) - -1. Is n < -1/9?
True
Let a = -17/37 + -368/407. Is a at least 0?
False
Let y(t) = -t**3 - 6*t**2 - t + 2. Let b be y(-6). Let o be (290/(-725))/(94/(-90) + 1). Which is smaller: o or b?
b
Let f = -6 + 4. Let x = -6.9 + 9. Let h = x + f. Is -2/7 greater than h?
False
Let a = 3.01 + -3. Is -1 greater than or equal to a?
False
Suppose 0 = -2*t - t - 4*x + 16, 0 = 2*t + 3*x - 11. Suppose -2*l + t*f + 4 + 0 = 0, -8 = -3*l + 5*f. Suppose 4*p - l = 2*p. Is 3 not equal to p?
False
Let i be ((-6)/(-4))/(10/20). Is 5 greater than or equal to i?
True
Let x = -10495826 + 1070583671/102. Let y = 1380/17 - x. Let m = -11 - y. Which is bigger: m or 1?
1
Let x = 13 + -6. Let u = -0.24 + 2.24. Is x greater than u?
True
Let p be (-8)/(-6) - (-2)/(-6). Suppose 16 = -m - 2*m - 5*w