p = -75. Let t(c) = -c**3 - 13*c**2 - 13*c - 13. Let b be t(d). Are o and b equal?
False
Let l(m) = -m**3 + 4*m**2 + 5*m - 6. Let a be l(5). Let v = 3 + a. Which is bigger: -2 or v?
-2
Suppose -3*o + 4*o = 3. Let w = 1 - o. Which is smaller: w or 0?
w
Let q(y) = 7*y - 6. Let j(c) = 6*c - 5. Let v(z) = 5*j(z) - 4*q(z). Let x be v(-1). Let r be (9/(-2))/(9/x). Which is smaller: r or 3?
r
Suppose 3*d - 2 = -5, 4*z - 5*d = 5. Let o = z + 2. Let j = -2 + o. Which is bigger: 2/7 or j?
2/7
Let a(p) = p**3 + 2*p**2 - p + 1. Suppose -6 = -q - q, -u + 4*q - 8 = 0. Suppose -u*s + s + 9 = -3*n, 1 = 2*n + 5*s. Let t be a(n). Is t != 1/3?
True
Let o = 43 - -33. Suppose 2*v = d - 6*d + 74, 5*d - o = -3*v. Let f be -2 + (-12)/d + 3. Which is smaller: -1 or f?
-1
Let a be 5/(15/12) - (-1 + 10). Is -11 > a?
False
Suppose 0*a - 5*a + 35 = 0. Which is smaller: 20/3 or a?
20/3
Let i be -1 + (-6 - (-8)/4). Is i >= -7?
True
Let m(j) = -5 + 18 + 10 - j + 1. Let i be m(10). Suppose -3*l = 5*b - 7, 2*b + i = 4*b + 4*l. Is b at most as big as -2/9?
True
Let i = -3/10 - -2/5. Let a(u) = -u - 5. Let v be a(-5). Let l be v - -1 - (-2)/(-1). Are l and i unequal?
True
Suppose -k = -4*k + 45. Let v be 87/k*4 + 0. Let t = 23 - v. Does 0 = t?
False
Let s = -0.07 + -9.93. Which is greater: 1 or s?
1
Let v = 48 - 32. Which is greater: -2 or v?
v
Let r be 12/30*15/53. Is 0 greater than or equal to r?
False
Let x be -4 + (4/4)/1. Let v be x - (-8)/2 - -5. Are 2 and v unequal?
True
Let c(u) be the third derivative of -u**7/5040 + u**6/180 + u**5/60 - 2*u**2. Let w(i) be the third derivative of c(i). Let m be w(8). Which is bigger: -5 or m?
m
Suppose z + 7 = 6. Let j(p) = 3*p**3 - p**2 - 2*p**2 + 4 - 2*p**3 - 5*p. Let m be j(4). Is z less than or equal to m?
True
Suppose 0 = 3*k - g + 4 - 1, 0 = -2*g. Let o be 84 + 5/(5/(-2)). Let h = o - 408/5. Which is smaller: h or k?
k
Let p be (94/(-3))/(20/66). Let v = -103 - p. Let k be (1 - 3/6)*0. Which is smaller: k or v?
k
Let q = 0.086 + 4.914. Let k = 4/83 + 146/415. Which is smaller: q or k?
k
Suppose -5*k = -5*z - 65, -4*z + k - 34 = 3*k. Let h be z/(-15) - (-1)/(-3). Let r = 0.1 - 0.2. Is h at most as big as r?
False
Let z be (-4)/(-2)*(-2)/(-4). Let g = 15 + -15.1. Let k = g + 0.2. Is z smaller than k?
False
Suppose q = -f - f + 10, -2 = -q - 4*f. Let r be -9*2*(-3)/q. Let a be 2/r - (-5)/15. Which is smaller: 2 or a?
a
Let v = -0.7 - -30.7. Which is bigger: v or 1/3?
v
Let p = 94 + -94.06. Which is smaller: -1/2 or p?
-1/2
Let p(i) = 2*i**2 + 13*i - 1. Let y be p(-9). Suppose 0 = 4*r + y - 0. Is r >= -10?
False
Let q = -21.9 + 17.82. Let m = q + 0.08. Let v = 3.9 + m. Which is smaller: v or 0?
v
Let v = 27 - 28. Is 0.15 > v?
True
Suppose -12 = -5*d + 8*d. Do d and 1/2 have the same value?
False
Let z = -1 - -3. Let l be z/9*(-18)/12. Is 0 less than l?
False
Let f = -6 + 4. Suppose 7*a = 10*a. Is f at least a?
False
Suppose 2 = -2*f, 4*f = -2*p + 3*p - 40. Suppose -4*a - p = 3*j, 3*a + 2*j = 4*j - 10. Let l be (a - -5) + (0 - 0). Is l smaller than -1/2?
True
Let a be 9/45 + (-136)/530. Which is smaller: a or 0?
a
Suppose -1 = g + 6. Which is smaller: -6 or g?
g
Let j be (18 - 12/4) + 0. Which is smaller: j or 16?
j
Suppose 85 = -0*p + 5*p. Suppose -5*t - p = 3. Let y be -2 - t/(-9)*-3. Which is smaller: 0 or y?
y
Let b(l) be the second derivative of -7/2*l**2 + 0 + 4*l + 1/6*l**3. Let f be b(9). Which is smaller: 2/3 or f?
2/3
Let g = -18 + 30. Is 11 >= g?
False
Let w(z) = -z**2 - 8*z + 9. Let p be w(-6). Which is smaller: 1/4 or p?
1/4
Let n = -0.089 - -4.089. Is n != 1/6?
True
Let b = 16.917 - -0.083. Is 3/2 less than b?
True
Let t = -15 + 14. Let l be (1/(-9))/((-3)/3). Which is smaller: t or l?
t
Let p = -14 - -13. Is p < 4/11?
True
Let j = 42 - 49. Which is smaller: j or -9?
-9
Let d = -2566/7 - -366. Which is smaller: -2 or d?
-2
Let f = 211 - 1897/9. Is 1 > f?
True
Let i = 7.1 - 0.1. Which is bigger: i or -0.2?
i
Let b = 1 + -1.1. Let z = b - -1.1. Let s be 2 + -1 + (-7)/9. Is z smaller than s?
False
Let b(a) = -a**3 - 4*a**2 + 2*a + 2. Let k be b(2). Let c be 2 - 2 - (5 + k). Suppose c + 7 = 5*y. Is 4 >= y?
True
Let m be 2 + (-20)/3*6/22. Let v = 0.3 + -0.5. Is v equal to m?
False
Let q(s) be the second derivative of -s**5/20 - s**4/6 + 2*s**3/3 - s. Let o be q(-3). Let v(u) = -u + 4. Let t be v(6). Is t less than or equal to o?
False
Let q = 37868/3 + -12467. Let h = -154 + q. Which is greater: h or 1?
h
Suppose 4*q + 4 = -0*q. Let s = 330 + -5608/17. Does q = s?
False
Let r be 511/42 - 2/12. Let i = 5 + 8. Is r at least as big as i?
False
Let m = 77 + -115. Which is smaller: -36 or m?
m
Let a = 0 - 0. Suppose s + 0 = 2. Suppose -s*p + a*p = -4. Which is smaller: p or 3?
p
Suppose r + 1 + 1 = 0. Let q be r/(-5)*-5*1. Let i = 1.05 - 0.05. Which is bigger: q or i?
i
Suppose 4*z + 4*h + 0*h + 12 = 0, 4*h = -5*z - 10. Let u = 2 - z. Suppose u*n = 4*n. Which is smaller: n or -3?
-3
Let z(u) = u**2 - u - 2. Let h be z(2). Suppose h*q + 1 = q. Suppose -4*f = -3*f + q. Which is smaller: f or -2?
-2
Let o be (-2)/6 - (-2)/6. Suppose 0 = -d - 5*x + 8, x = 2*d - 6*d - 6. Let q be 2/(4 + (-24)/d). Is q at least as big as o?
True
Let k be (0/2)/(1*-2). Suppose 12 + k = 4*m. Suppose -b + 5 = -m*q, 4*q + 10 = -5*b - 3. Which is greater: 1/3 or q?
1/3
Suppose 5*m = -s - s - 45, 0 = -2*s + 3*m - 21. Is -79/5 greater than or equal to s?
False
Let h = -4 - -4.05. Let z = h + 2.95. Let q = -2.9 + z. Which is smaller: q or -4?
-4
Suppose -v = -3 + 1. Let k be (12/v)/(-3) - -4. Which is smaller: k or 1?
1
Let r be (0 - -2) + (-80)/45. Let d be (-2 + -1)*4/18. Which is bigger: d or r?
r
Let b be 399/14 - 1/(-2). Which is smaller: b or 30?
b
Let v be ((-3)/(-3))/((-3)/12). Let t be (v*1/(-2))/3. Which is bigger: t or 1?
1
Let o = -339/20 - -17. Is o >= 1?
False
Let z = 15 - 11. Suppose 0*v + 6 = 3*v. Suppose 5*r + 4 = -x - 2, -3*x = v*r - 8. Is z not equal to x?
False
Let u = 3 - 3.17. Which is smaller: -0.1 or u?
u
Let y = -232/5 + 46. Is -18 > y?
False
Let g be (2/5)/((-2)/(-30)). Suppose -u = 2*u + g. Let n = -383/7 + 55. Do n and u have the same value?
False
Let a(m) = -m - 4. Suppose -5*g - 33 = -3. Let r be a(g). Is r greater than 2?
False
Suppose 2*d + 13 = -p, -5*d - 3 = -3*d - p. Let l = 3 + d. Let x be ((-9)/3)/3*l. Is 3 not equal to x?
True
Let y be 2/(-2 - 0) + 36/(-12). Which is smaller: 3 or y?
y
Let g be (-9)/12*2/3. Which is greater: g or -2?
g
Let b = 2 + 0. Suppose 4 = -5*u - 4*r, -2*r + 2 = -4*u - 4*r. Which is smaller: u or b?
u
Let c = 309/4795 - 1/137. Is -1 greater than c?
False
Let x be (((-18)/(-129))/3)/(-2). Which is smaller: 0 or x?
x
Let a be ((-4)/(-12))/(2/(-6)) + 7. Let t be (-14)/((-2)/1) - 2. Which is smaller: t or a?
t
Let b(j) = j**3 + j**2 - j + 3. Let d be b(-3). Is -12 at least d?
True
Let x = -47 + 48. Are 0.044 and x nonequal?
True
Let a be ((-12)/14)/((-2)/14). Suppose 2 + 22 = 4*n. Let g = n - a. Is g equal to -2/7?
False
Let s be 5*(-2 + 2 + -1). Let z = 4 + s. Is z less than 1?
True
Let j be ((-3)/9)/((-2)/6). Suppose -2*l + 7 = 3*k, -3*k + 13 = -0*k + 5*l. Is k greater than j?
False
Let u(t) = t. Let f be u(2). Let y = 52 - 47. Are y and f equal?
False
Suppose -b = -2*u - 5 - 8, 2*u - 89 = -5*b. Let a be (-1)/b*1*-2. Which is bigger: a or 0?
a
Let d be 2 + ((-12)/7)/(-1). Which is smaller: d or 5?
d
Let f = -3/190 + 443/3990. Let q = f + 11/105. Is q at most as big as 0?
False
Let v(l) = 3*l. Let z be v(1). Suppose z*j = 3 - 6. Does j = -3/2?
False
Let z = 19 - 19. Which is smaller: 2/21 or z?
z
Let z = 0.096 + -0.026. Which is bigger: z or 0.7?
0.7
Let l = 378 - 5668/15. Which is smaller: l or -1?
-1
Let n(i) = i**2 - 8*i + 8. Let p be n(9). Let w = p + 7. Suppose -m = -5, w - 4 = a + 4*m. Which is smaller: a or 2/5?
a
Let w = -1 - -2. Suppose -l = -4*k - 534, -k = -5*l + 171 - 28. Let u = 934/7 + k. Is w not equal to u?
True
Suppose 231 = -3*d + 2*i, d - 4*i = 2*d + 91. Is d < -79?
False
Suppose 12 = -9*n + 12*n. Suppose 8 = -0*m + 3*m - 5*p, 4 = -n*p. Are m and 2/25 equal?
False
Suppose -2*o = -5*c + 76, 0 = -c - 5*o - 2 + 1. Suppose -3*w + 15 = -4*j, -w + j - c = 6*j. Let r be (0 - 0 - w)/1. Which is greater: 1 or r?
1
Let o = -2440/29 + 84. Does o = 1?
False
Suppose -4*h + 5*h + 4 = -z, -4*z -