?
False
Let s(z) = z**3 - 4*z**2 - 5*z. Let c be s(5). Which is bigger: -2/21 or c?
c
Let r = 13 - 14.1. Let g = 1.3 + r. Let a(v) = -2*v - 1. Let x be a(-1). Is g greater than x?
False
Let n be ((-4)/16)/(3/(-48)). Suppose 84 + 418 = -5*w - n*a, 5*a = w + 83. Which is smaller: w or -97?
w
Let j be 9 - (-3 + 19)/((-42)/(-21)). Let k = -5668/27 + 210. Which is smaller: j or k?
k
Let v(i) = 0 + 2*i + 4*i - 2 - 5*i. Suppose 2*y = -2*q + 16, 17 = 4*q - 0*q - y. Let a be v(q). Is a greater than or equal to 8/5?
True
Let r = -55 - -60. Suppose r*m - 58 = -13. Are 10 and m unequal?
True
Let u be -3*(4/30)/((-3)/30). Are -13 and u equal?
False
Let x = -391.9 - -392. Is x <= 25?
True
Suppose 0 = -3*m + 15, m - 227 = 2*k - 0*k. Let t be 1/1*k/9. Let d = t - -265/21. Which is greater: d or -0.1?
d
Let a be -7*6/(-21) + 15 + -2. Is 15 greater than a?
False
Let a = 135 + -37. Let i = -129 + a. Which is smaller: -30 or i?
i
Let r = 100/809 + -705748/2427. Is -291 at least as big as r?
False
Let c(v) = 179*v**2 - 1. Let q be c(2). Let w be (-6)/33 - (-295)/q. Which is bigger: w or 0.1?
w
Let j be 5*(4 - (-102)/(-24)). Which is greater: j or -2?
j
Let n = 20 - 16. Suppose -5*k + 2*l = -0*l - 88, n*k - 73 = -l. Let h = k + -15. Which is bigger: 4 or h?
4
Let r = -29.001 + 0.001. Let l = 29.1 + r. Which is smaller: l or -14?
-14
Suppose -6*a = -a + 5. Let t = -12327/11 - -14584/13. Let z = t - 15/11. Which is bigger: a or z?
z
Suppose 4 = 3*c - 4*c, -4*c - 12 = -4*w. Let x(k) = 4*k + 27. Let y be x(-7). Let h be ((-4)/(-27))/(2 - y - 1). Which is bigger: w or h?
h
Suppose 3*u + 3*v + v = 28, 4*v = 5*u - 4. Suppose 0*k - 92 = u*k. Is k at least -24?
True
Let l(g) = -g**3 - 11*g**2 + 40*g - 27. Let t be l(-14). Is -5/29 less than or equal to t?
True
Let t = -1309 + 7877/6. Which is bigger: t or 5?
5
Let g = -33 - -49. Suppose -16 + g = -r. Which is bigger: -6/5 or r?
r
Let i = -12 + 53. Let l = i + -41.5. Which is bigger: l or 0.3?
0.3
Suppose 22*s = -85 - 47. Suppose -3 = -r - 0. Let i be 46/(-8) + r/(-12). Are i and s equal?
True
Suppose 3 = -3*n, 0 = -4*t + 2*n + 3*n + 1. Let x be t*20/234 + (-54)/243. Is x <= 0?
True
Let o = 1.26 - 13.06. Let s = 11.8 + o. Is s < -0.12?
False
Let q(u) = -u**2 + 12*u - 1. Let f(p) = -p**2 + 11*p - 1. Let y(g) = 5*f(g) - 4*q(g). Let h be y(7). Let c = 1.4 - -0.6. Which is bigger: c or h?
c
Let l = -246 - -258. Suppose 2*s + 1 + 1 = 0. Which is bigger: l or s?
l
Let z be 18/(-14) + (-3 - 276/(-84)). Let l = -810/979 - 72/89. Is z less than l?
False
Suppose -2*z + t = -25, -4*t + 27 = -3*z + 67. Let o = -11 + z. Let u = o + -3. Is u equal to 0?
False
Let v = -29 + 29. Suppose 21*t - 16*t + 25 = v. Is -4 greater than or equal to t?
True
Let w be 2/6 + (-1202)/(-4142). Let s = w + 9204880/159467. Let c = -408/7 + s. Is c <= -1?
False
Let v be -2 - 437/(-15) - -2. Let i = v - 29. Let w = -2473 + 2473. Which is bigger: w or i?
i
Let h = 0.192 - 0.392. Is h > 54?
False
Let h = -12111/92 - 1072/23. Which is greater: -179 or h?
h
Let c = 1861.37 + -1862. Is -4/3 != c?
True
Let g be 3/6 - 48/100. Which is greater: 4 or g?
4
Suppose 0 = 4*r + 5*p - 30 - 35, -5*r - p + 97 = 0. Suppose 5*c = 6*c + r. Which is bigger: c or -0.1?
-0.1
Let j = -1/138 + -269/966. Let i = -21.67 - -20. Let f = 1.6 + i. Which is greater: j or f?
f
Suppose 94 = -5*j - 36. Do j and -0.08 have the same value?
False
Suppose -6*g + g + 6121 = -2*z, 0 = -3*g - z + 3666. Let l be 0 + g/266 + -3. Let q = 11/7 - l. Is q equal to 1?
False
Suppose -3*h - 5 = -d, -3*h - 15 = 17*d - 20*d. Which is smaller: 76 or h?
h
Let l be (-249)/(-51) + 12 + -17. Let c(z) = -z**2 + 1. Let r be c(0). Which is bigger: r or l?
r
Let c be (40/(-15))/(6/(-9)). Suppose -1 = s - j, -c = -s + 4*j - 14. Let o be ((-4 + s)/2)/4. Is o equal to 0.3?
False
Let w(r) = -r - 2. Let c(q) = q + 1. Let f(s) = -4*c(s) - 5*w(s). Let n be f(-4). Suppose 3*z + 5*u + 14 = 2*z, -4*z - 2*u = n. Which is bigger: z or 16?
16
Suppose 5*j - r - r = -2957, -j = 4*r + 609. Let c = j + 20757/35. Let z = c + 17/315. Is -0.1 <= z?
True
Suppose 5*o = o + l + 8, 0 = -5*o + 5*l - 5. Suppose -2*p - 12 = -k, 7 = -o*p - 0*k - 4*k. Let d = p + 0. Which is bigger: -4 or d?
-4
Let t = 587/4 - 5191/36. Which is smaller: 3 or t?
t
Suppose 0 = -4*k + 7*k - 864. Let n be (k/420)/(2/14). Is n less than 6?
True
Let b = -37 - -20. Let m = b - -28. Let z = -10.98 + m. Is z <= 0?
False
Let l = -1.718 - 0.152. Let v = -4 + 4.13. Let c = l - v. Is 5 <= c?
False
Let g = 18.1 - -3.9. Let s = 21.74 - g. Let d = s + 0.06. Is -0.2 greater than or equal to d?
True
Let f(y) = 53*y - 8. Let o be f(-3). Let s = -4172/25 - o. Is s bigger than 1?
False
Let k = 136 + -135.6. Do k and -40 have the same value?
False
Let m = 13 - 2. Suppose 5*z - 3*h = -m, -5*z - 25 + 10 = -5*h. Is z > -3/8?
False
Suppose -5*u - 3 = 2*y, 3*u + 3 = y - 23. Let x(d) = 9*d**2 - 2*d**2 + 3*d**2 - d**3 + 1 + y*d. Let t be x(11). Is t at least as big as 1/2?
True
Let m(q) = -4*q**2 + 62*q + 20. Let f be m(15). Is f greater than 48?
True
Let s(n) = -3*n - 45. Let b be s(-17). Suppose -2*f + 0*f - b = -o, -4*o + 3*f + 4 = 0. Which is bigger: -7/5 or o?
-7/5
Let l = 22.2 + -2.2. Let o = -28 + 9. Let r = l + o. Which is greater: -0.09 or r?
r
Let c(b) = 45*b - 86. Let j be c(1). Which is smaller: j or -13?
j
Suppose 2*b = -5*r + 5 + 2, 0 = b + 5*r - 1. Suppose 6*p - b = 3*p. Let l be p/(-56) + 2/(-8). Which is smaller: 0 or l?
l
Let p = -5.5 + 1.5. Let d = -2.9 - 1.1. Let o = p - d. Which is bigger: o or 0.4?
0.4
Let q = 27 + 8. Let z = q + -35. Which is smaller: 7/18 or z?
z
Let l = -0.0401 - 0.1599. Which is bigger: l or 17/30?
17/30
Let z be 0*1/(-1 + -1). Let g(m) be the second derivative of -m**4/12 + 3*m**2/2 + 115*m. Let u be g(z). Which is smaller: 2 or u?
2
Suppose -240 - 33 = 7*a. Which is greater: a or -37?
-37
Let r = -1 + -7. Let k = 4 + r. Let q = k - -4. Which is greater: q or -4?
q
Let j = 139/2 - 63. Let k = j - 12. Which is bigger: k or -6?
k
Suppose -70 + 34 = -3*t. Which is smaller: 5 or t?
5
Let w = -44 + 63. Let y = w + -10. Let l = y - 8.9. Which is greater: -3 or l?
l
Let i(y) = y - 121. Let h be i(9). Does -110 = h?
False
Let b(u) = -u**2 - 5*u - 4. Let y be b(-4). Suppose y = -6*s + s. Suppose s*k - k = 1. Which is bigger: k or 1/7?
1/7
Let b(n) be the third derivative of -n**5/60 + n**4/6 - 4*n**3/3 + 9*n**2. Let d be b(4). Let u be (4/(-69))/(d/(-12)). Is u < 0?
True
Let p(u) = u**2 + 4*u - 24. Let q be p(11). Suppose -33 = 12*x - q. Which is smaller: x or -3?
-3
Let d be ((-1)/((-1)/(-12)))/(30/(-40)). Let v be (2 + -4)/(6/(-9)). Let z be (1 - 5) + v + 18. Which is smaller: d or z?
d
Let a = -243/5 + 1261/35. Is -14 greater than a?
False
Let w = -3 - -11. Let r be (2/3)/(40/465). Which is smaller: w or r?
r
Suppose 2377 = -6*f - 59. Let v be (f/200)/(-7) + 11/(-44). Which is greater: v or 1?
1
Suppose 4*r + 7 = -5*a - 13, -2*r = 2*a + 10. Suppose -4*s - 4*i = -20, -s + a*s - 2*i + 9 = 0. Let m be 12/(-8)*-2*s. Are 4 and m nonequal?
True
Suppose -13*u + 7*u + 12 = 0. Let d(s) = -s**3 + 3*s**2 - 3. Let w be d(u). Do w and -17/3 have different values?
True
Let f(i) = 7*i. Suppose 0 = -7*s + 59 + 361. Let h be ((-4)/(-10))/((-12)/s). Let m be f(h). Which is bigger: -13 or m?
-13
Let r(a) = -a**2 - 5*a - 6. Let t be r(-2). Let c be (-940)/880 + (1 - t)/1. Which is greater: c or 1?
1
Let o be (-147)/(15/(-5)) - 3. Let s = -46 + o. Let n be 2/(-1*1 + 24). Do n and s have the same value?
False
Let r(s) = -s**3 - 5*s**2. Let f be r(-5). Let a = -1909/3 - -89705/141. Which is greater: f or a?
f
Let o be (-3)/(24/(-4))*-6. Let z be 2*(o - -3 - 2). Let n be (z/6)/((-6)/(-9)). Which is smaller: n or -3/8?
n
Let r(w) be the first derivative of -w**4/24 + w**3 - 2*w**2 + 7. Let c(y) be the second derivative of r(y). Let h be c(6). Which is greater: -4/11 or h?
h
Suppose -2*s + 5 = -5. Suppose 2*g - 6*g - 5*l + 38 = 0, 5*g - 50 = -s*l. Let c be 5 - (g/1)/3. Is c less than or equal to -4/3?
False
Suppose 4*m - 122 = 2*m. Suppose -4*r + 31 = -m. Let c = r - 22. Which is greater: -2 or c?
c
Suppose 0 = -o - 7 + 8. Let y(j) = 2*j**2 - 5*j + 0*j**2 - 5*j**3 + 4*j**2 + 2 + 4*j**3. Let s be y(5). Is s greater than o?
True
Suppose f + 4 = 0, -3*f - 3 + 41 = -h. Are h and -4