*d**2 - 4 - d + 2*d**2. Let w be g(3). Let x be (-1)/w*(-3 + 1). Which is bigger: x or -1?
x
Let s be (-28 + 2)*(-1)/2. Suppose 4*l = 5*l - 5, 2*l - s = -u. Suppose -u*f - f = -4. Does 1 = f?
True
Let m = -1 + 0. Let b be (-5)/10*(-4)/m. Let n be (-2)/3 + b/(-3). Which is greater: n or -1?
n
Suppose -s - u + 3 = -5, u = 2*s - 22. Suppose 5*a + s - 25 = 0. Suppose 0 = k - 2 + a. Which is greater: k or -3?
k
Suppose 3*q - 126 = -3*l, l = 2*q + 2*q + 57. Let f = 136/3 - l. Which is bigger: 0.5 or f?
0.5
Let g be 1/(-2) + (-29)/2. Let d be 10442/90 - 3/g. Let r = -116 + d. Is 1 >= r?
True
Let r be ((-2)/4)/((-2)/(-8)). Let v be 0/(r + (4 - 1)). Let g = 59/4 - 15. Which is greater: g or v?
v
Let f(b) = -b**3 - 19*b**2 - 16*b + 29. Let g be f(-18). Which is smaller: g or -6?
g
Let c(p) = -p - 1. Let a be c(1). Let f be (a/6)/(1/(-3)). Let g be 3/4*(-8)/(-12). Which is smaller: f or g?
g
Let t be ((-15)/(-3) - 5) + 0. Suppose -12 + 0 = 2*j. Which is smaller: t or j?
j
Let a(h) = -h + 5. Let g be a(5). Let s be 2 + -1 + g/(-2). Suppose -s - 7 = 4*m. Is m bigger than -1?
False
Let v be (3/(-9))/(8/(-132)). Do v and -3 have different values?
True
Let z = 217/2 - 106. Which is smaller: 3 or z?
z
Suppose t = 6*t. Is 4/5 greater than t?
True
Suppose 0 = -2*j + 3*j - 44. Is j less than 44?
False
Let g(p) = -p - 2. Let t be g(4). Let w be 3/t*2/(-1). Are -2/37 and w unequal?
True
Let s be (-2)/(-9 + 1)*336/(-70). Do s and 0 have different values?
True
Let q(c) = 6*c**3 - c + 1. Let h be q(1). Which is greater: h or 4?
h
Let t = -621/7 - -89. Is -33 at least t?
False
Suppose i - 6*i = 0. Let p(s) = s + 6. Let b be p(-6). Suppose 5*j = -b*j. Is i bigger than j?
False
Let f be (-3)/(0 - 6/22). Does f = 11?
True
Let k be 128/6 - 4/(-6). Suppose 3*d - r = -10, -2*d + k = -3*d + 5*r. Suppose -8*x + 3*x - 5 = 0. Is x equal to d?
False
Let h = -7 + 6.96. Let o = h - 0.06. Is -0.15 at least o?
False
Let x be 2/7 + 1 + (-726)/434. Is x < 1?
True
Suppose -2*f + 3 = 1. Which is bigger: f or 0?
f
Let a(t) = -4*t**3 + 13*t**2 + 11*t - 12. Let v(q) = 3*q**3 - 12*q**2 - 10*q + 11. Let f(g) = 4*a(g) + 5*v(g). Let k be f(-7). Which is bigger: 2 or k?
2
Suppose -5*d + 315 = n, 7*d - 252 = 3*d - 3*n. Let v = -253/4 + d. Let q = -3 + 3. Which is smaller: v or q?
v
Let q = 7.05 - 7. Let h = q - -0.05. Let m = 3 - 3.3. Are h and m nonequal?
True
Let u = 15.5 + -16. Let o = 0.4 + 3.6. Let a = -3 + o. Are a and u non-equal?
True
Let a = -85 - -85. Let z = 10 - 6. Is a greater than or equal to z?
False
Let u be 4/(-16) + (-2)/(-8). Suppose -b - 2*x + 114 = u, -x = -2*b - 0*x + 238. Let i = -1300/11 + b. Which is smaller: -1 or i?
-1
Let f be (-1 - (-160)/(-156))/1 - -2. Which is smaller: f or 1?
f
Let z(m) = -m**3 - 6*m**2 - 4*m + 6. Let p be z(-5). Suppose n - 12 = 4*v, -2*n = 3*v - 0*n - 2. Do v and p have different values?
True
Suppose -3*v + 17 = 5. Suppose -3*x + 2 = -v*x. Which is smaller: x or -1?
x
Let i(u) = u**3 + 4*u**2 + 4*u + 1. Let w be i(-3). Let a = 6 - 6. Is w at least as big as a?
False
Let v = -11 + 9.3. Let y = -4.1 - v. Let r = y + 0.4. Are r and -2/13 unequal?
True
Let k be (-78)/18 - (-1)/3. Let j be 10/(-6)*3 - k. Which is smaller: 2 or j?
j
Let g = 58 - 57. Which is smaller: g or 5?
g
Suppose 4*f = 6 + 14. Suppose 0 = l - f + 2. Let a = 4 - l. Is -1 at most a?
True
Let g(z) be the third derivative of -z**6/120 + z**5/15 + z**4/6 + 5*z**3/6 + 4*z**2. Let h be g(5). Is 1/2 bigger than h?
True
Let y(t) = t**2 + 8*t + 7. Let m be y(-7). Which is smaller: m or 2/27?
m
Suppose -4*o = -o + 4*q + 12, -3*o - 12 = -3*q. Suppose k = 5*l - 1 + 13, -2*l - 21 = 5*k. Which is greater: k or o?
k
Suppose -3*m - 60 = 2*m. Let c be (-1)/(-6) + (-58)/m. Is 5 smaller than c?
False
Let g = 51 + -18. Let b be (-4 - g/(-9))*-3. Which is smaller: 3 or b?
b
Let u be 4/(-6)*48/32. Is u equal to -2/15?
False
Let y = 39.954 - -0.046. Which is greater: y or -0.1?
y
Let s = 1.98 - -0.02. Which is bigger: s or 1/9?
s
Suppose -25*b + 24 = 74. Suppose -4*l + 5*l = -4. Let q = -6 - l. Is q greater than or equal to b?
True
Let x be (9/(-30))/(12/(-8)). Is x less than -1?
False
Let p be (-44)/(-12) - (-2)/(-3). Suppose 0 = 2*b - 2*n - 2, 3*b - 4*b + p*n + 1 = 0. Which is greater: -2/7 or b?
b
Let f be 4/(-20)*6/3. Let l = -1 - -1. Which is smaller: l or f?
f
Suppose l = 18 - 20. Let w be ((-3)/(-2) - 1) + -1. Which is bigger: l or w?
w
Let p be (-2 - (-8)/6)*3. Let v = 2 + p. Let s = 22 - 21. Is v greater than or equal to s?
False
Let u = -18 + 18. Are u and 2/21 equal?
False
Suppose -33*x = -30*x - 42. Which is smaller: x or 15?
x
Let t = 19/3 - 7. Is t <= -2?
False
Let t = 107 + -88. Which is greater: t or 0?
t
Let n be (-2)/5 + 17/5. Suppose 0 = -2*a - 2*p - 4, 0 = p + n + 1. Which is greater: a or 1?
a
Let v(x) = 2*x**3 + 2*x**2 + x - 2. Let k be v(1). Let g be 0/(0/k + 2). Is g < -4/11?
False
Let y = -2/3031 - 54536/33341. Is y at least -3?
True
Let n = -52 - -207/4. Is 17/4 less than n?
False
Let h = -48 + 68. Let l = h - 14. Which is greater: l or 7?
7
Let k(t) = -3*t**2 + 3*t - 2. Let w be k(1). Which is greater: 2 or w?
2
Let a(n) = n**2 - 8*n - n**3 + 7*n**2 + 0*n**3 + 2*n**3. Let m be a(-9). Is -10 greater than m?
False
Let x = -23 + 28. Which is greater: 6 or x?
6
Suppose -4*y = -5*u + 95, -3*u + 5*y - 6 = -63. Is 1 at least as big as u?
False
Suppose -8 = 5*v - 23. Suppose -v*z - 4 = -z. Which is greater: 0 or z?
0
Let b = -16 - -34. Let s = -17.6 + b. Do s and -1/5 have the same value?
False
Let t = -12 - -48. Which is smaller: 37 or t?
t
Let c = 94 + -93.9. Which is greater: c or -18?
c
Suppose -5 = -2*x + 3. Which is smaller: 6 or x?
x
Let r(t) = -2*t + 6. Let a be r(4). Let w = a - 11. Is w greater than -14?
True
Suppose -2*u - 3 = -5. Is u > -2.1?
True
Let b = 0 - -22. Is 116/5 < b?
False
Let x = -11.6 + -3.4. Let b = -15.07 - x. Let l = 0.07 + b. Which is smaller: -1/5 or l?
-1/5
Suppose t = 2*t - 12. Suppose 4*p + 2*k = p - 3, -p - 5*k = -t. Let q be 1/5*(2 + p). Is q equal to 0?
False
Suppose 2*t + t = 6. Suppose 0 = -0*s + s - t. Let w be -1 + 4/2 + -2. Is s at least as big as w?
True
Suppose 0 = -5*v + 2*j + 15, 6 + 0 = 2*v + j. Let h = 8 + -4. Is v smaller than h?
True
Suppose f - 3 = 4*w, -5*w - 4*f - 24 = 6. Let g = 4 - 6. Is w less than g?
False
Suppose -g = 5*u - 0*g - 2, -4*u + 2*g = 4. Is 13/3 > u?
True
Let m = 19 - 28. Let q = 9 + m. Is -9 at least q?
False
Suppose -5*c + 21 = 11. Is 1 at least as big as c?
False
Let q = 0.054 - -5.966. Let s = q - 6. Let v = s + -0.12. Which is greater: v or 2?
2
Let n be 2/(-2) - (12/3)/2. Which is bigger: n or -12/7?
-12/7
Suppose 4 = -5*v - f - 1, 3*v - 5*f = -3. Let u be (5 - 2)*(-2 - v). Are -3 and u equal?
True
Let p = 1 - -5. Let h be (-24)/3*1/p. Is h at most 0?
True
Let d = 40/3 + -13. Suppose 3*p + 0 = 3. Let k be 2/9*p/(-2). Is k at most as big as d?
True
Let d(h) = h. Let m be d(-1). Let j(p) = p + 4. Let x be j(-4). Which is bigger: x or m?
x
Let d = -1.03 - -0.13. Let n = -4.1 - -4. Let j = d + n. Which is bigger: j or -0.2?
-0.2
Let k = 18.21 - 0.21. Let p = k - 12. Let o = p + -5.8. Is 0 smaller than o?
True
Let u(n) = n - 1. Let d be u(-4). Let w be 1*3/(9/(-21)). Which is smaller: d or w?
w
Let o be 4/(-144)*1/2. Let r = o - -155/792. Suppose i - c + 21 = 4*c, -3*i = -c + 7. Is i greater than r?
False
Let j be 4/(-16) - 97/(-356). Let i = -196/801 + j. Let p = -1.97 + -0.03. Is i greater than p?
True
Let z(r) = -r**2 + 5*r - 3. Let j be z(3). Suppose 2*q - 36 = -4*i, 3*q - q = 2*i + 66. Let s be 12/q*(-2)/j. Do s and -2 have different values?
True
Suppose 0*u - 2*h + 11 = -u, 2*u + 7 = h. Let f(b) = b**2 - 2*b - 1. Let z be f(u). Which is bigger: -2 or z?
z
Suppose 4*o + o = 3*g - 24, -3*o = -5*g + 40. Let r = 14 - g. Let a be (-2)/r*54/(-30). Is a > 2?
False
Let g = -174 - -1221/7. Suppose 2*z = -3*x - 5 + 1, -4*z = -2*x + 8. Suppose x = f - 1. Which is greater: g or f?
f
Let t = -36.95 + 34. Let b = 3 + t. Let o = 1.05 - b. Which is smaller: -5 or o?
-5
Let z = -25 - -6. Let f = z - -19. Which is smaller: -2/15 or f?
-2/15
Let n = -0.04 - -0.84. Let s = n + 0.2. Is 0.5 at most as big as s?
True
Suppose 3*v = -3, a + 2*v + 32 = 3*a. Suppose -4*f - 4*f = -112. Which is greater: a or f?
a
Let v be (1 + (-1)/1