e w(-20). Let v(t) = -5*t - 102. Let c be v(y). Is 8 greater than or equal to c?
False
Suppose 4*q + 38*h = 41*h - 83, 4*h = 5*q + 105. Which is bigger: q or -88?
q
Let q = -1687.4 + 2429.4. Is 5 smaller than q?
True
Let p be (-175)/(-45) + -6 + 1. Let n = p - -4/9. Which is greater: 0.01 or n?
0.01
Let q(n) = 5*n**2 + n - 4. Let p(w) = 2*w**2 - w. Let l(o) = 3*p(o) - q(o). Let c(y) = y**3 - y + 1. Let g be c(0). Let m be l(g). Which is greater: m or 1/28?
m
Let h be 14/(-8)*(-100)/(-70)*(-2)/5. Which is greater: h or 22/2567?
h
Suppose -6360 = 2*y + 5*x, 3*x + 15919 = -5*y - 0*x. Let q be -1 + (-20)/(-35) + (-1360)/y. Which is smaller: q or -1?
-1
Let l be (-9603)/(-55) - (-9)/(-15). Let v = l + -96. Let a = v + -96. Which is smaller: -21 or a?
-21
Let y(j) = j**3 - 32*j**2 + 136*j - 8. Let f be y(27). Which is smaller: f or 98?
f
Suppose -j + 0 + 1 = 4*x, x + 9*j = 44. Which is greater: x or 2312?
2312
Suppose 21*i - 13*i = 0. Is -7049/2 >= i?
False
Let o be (2 - 0)/(4/10). Suppose o*w = 10, -a = -w + 6 + 4. Let i be 9/(-6)*(a/12 + -2). Is 4 at most i?
True
Let t = -81.03 + 46.06. Let v = -840 - -875. Let g = t + v. Which is bigger: 1/2 or g?
1/2
Let u = -120.62 - -1.62. Let v = u + 186. Let a = v + -73. Which is smaller: a or -1?
a
Let a = -314 + 325. Suppose -a*w = -w - 4*w. Which is smaller: 2/339 or w?
w
Suppose 224 = u - 4*a + 242, -3*u - 2*a = -16. Let c = 13/60 + 139/60. Is u at least c?
False
Let d be (-5795)/(-1930) - 5/(10/6). Let k be -4 + (-10 - -22) - 7. Which is greater: d or k?
k
Let i = -232 + 183. Let l = -46 - i. Which is greater: l or 1/5?
l
Let f = 29 - 29. Let n be -3 + -3 + (2 - f). Let x = -5/182 + -133/26. Is x <= n?
True
Let m be -1 + 20/25 + 30362/10. Suppose -23*h + m = -34*h. Is h less than or equal to -276?
True
Let k(l) = l**2 + 3*l - 2. Let d be k(-4). Let v(o) = -o**3 - 5*o**2 - 4*o + 7. Let y be v(-2). Let c be 2/(-18)*y/d. Is 3 less than or equal to c?
False
Suppose z - 6 = 90*t - 88*t, t = -12*z - 3. Which is bigger: 1/3366 or z?
1/3366
Let m be (0 - (-1)/(-1))/(2/254). Let k = m - -63. Do k and -64 have different values?
False
Let y(w) = 102*w - 5. Let n be y(1). Let j = n + -107. Let l = j - -52. Which is bigger: l or 43?
43
Suppose 16*p + 2*p - 216 = 0. Let d = -26 - -25. Which is bigger: p or d?
p
Let f = -38645 + 38642. Which is smaller: 4593 or f?
f
Let d = -63 + 66. Suppose d*y - 16 + 4 = 0. Suppose -5*g + 4*n - 2 + 1 = 0, -3 = -g + y*n. Are g and -2/9 equal?
False
Let w(s) be the second derivative of 1/12*s**4 + 12 + 5/3*s**3 - 2*s - 35/2*s**2. Let u be w(-13). Is u at least as big as 0?
True
Let b = -1072 - -1646. Let w be (-20)/5 + 10 + 4 + 563. Are w and b equal?
False
Suppose 0 = r + 2*r. Suppose 10 = 2*a - r*a. Suppose 40 = -a*j + 2*x - 25, 3*j + 2*x = -55. Are j and -15 non-equal?
False
Let s = -828 + 829. Let j be (11/((-330)/(-36)))/(1842/(-20)). Is s less than or equal to j?
False
Let c be (-5334)/27370 + 0 + 3/15. Which is greater: -1 or c?
c
Let j(z) = -3*z + 2*z - 3 + 5*z + z + 4*z**2. Let t be j(-2). Let v(s) = -s**2 + s. Let c be v(0). Which is greater: c or t?
t
Let u = 258 - 255. Suppose 0 = -b + 5*y + 43, u*y + 110 = 5*b - y. Which is bigger: 21 or b?
21
Let g = 13 - 16. Let u be (0 - 0)*g*(-2)/(-12). Which is smaller: 1/24 or u?
u
Let d = -122 - -154. Let o be ((-4)/(-42))/(d/(-240))*-3. Which is smaller: o or 3?
o
Suppose -3*y = 3*l - 2*l - 5, 4*l = 3*y + 20. Suppose 4*u - 7 = -t - y, 0 = -4*u + 4. Which is smaller: 2 or t?
2
Let z(d) = -d**2 - 4*d + 4. Let y be z(-6). Let p(m) be the third derivative of m**6/120 - 7*m**5/60 - 19*m**4/24 - m**3/3 + m**2 + 7. Let w be p(9). Is y < w?
False
Let v = 22677744703/130 + -174448259. Let p = -4069 - v. Are -1 and p non-equal?
True
Let t(k) = -11*k**3 + 17*k**2 - 41. Let f be t(5). Which is greater: -1981/2 or f?
-1981/2
Let y = 147102 - 279935100/1903. Let i = y + 9143/117986. Are -1 and i equal?
False
Let w(z) = 6*z + 12. Let g be w(0). Suppose 9*q - g*q - 3 = 0. Is -4/25 greater than or equal to q?
True
Let w = 3.8905 + -3.967. Do -1 and w have the same value?
False
Suppose 0 = 3*i - 29 - 1. Suppose -h = -4*b + 55, -b + 4*h = b - i. Let y be -2*b/9 + 3. Which is smaller: y or 0?
y
Let n(y) = y**3 - 33*y**2 + 81*y - 100. Let z be n(27). Which is greater: z or -2286?
-2286
Let v = -9129 + 9475. Is v greater than 353?
False
Let y = 35215771/3735 - 47143/5. Which is bigger: -1 or y?
y
Let d = 15029 - 1608105/107. Suppose 4*s + 2 = 6. Is d less than s?
True
Let w = -10 + 9.96. Let z = -69.066 + 46.066. Is w less than z?
False
Let o = 1/83663 + -167333/585641. Let a = -6226/9 - -691. Is o at most a?
False
Let h = -32.27 - -38.27. Which is greater: -0.03 or h?
h
Let y = 37 - 36. Let v be (-2)/8*-4 + y. Let l be 910/(-228) + v + 2. Which is smaller: 1 or l?
l
Let j = 2.2 + -14.2. Let v = 40 + j. Let f = v - 27. Which is smaller: -1/18 or f?
-1/18
Let g = 81007/1879896 - 1626/2701. Let b = g - -15/29. Let j = 27.2 + -27.2. Is j greater than or equal to b?
True
Let f = -27 + 25. Let b = f - 7. Let j = b + 6. Is -2/9 greater than or equal to j?
True
Suppose 2*o + 39 = -5*t, -5*t + 4*o + 1 = -4*t. Suppose -5*i + 99 - 39 = 0. Suppose 5*f + i = -28. Which is smaller: t or f?
f
Let u(a) = -19*a - 4. Suppose -8 = -6*z + 10*z. Let w be u(z). Let s = w + -42. Which is greater: -5 or s?
-5
Suppose 30*h + 529 + 153 = 82. Is -137 at least as big as h?
False
Suppose 7*d = 17*d - 25*d. Is d greater than or equal to 1/9373?
False
Let o be 0/(-6 + (6 - 2)). Let v(g) = -g**3 - g**2 + 2*g - 23. Let u be v(o). Suppose -f = -3*m - 70, 0 = -f - 2*f + 12. Which is bigger: u or m?
m
Let w be ((-545)/380 + 3 - 12/(-16)) + -2. Which is bigger: w or -25?
w
Let d = -444 - -420. Let y be 7 + d/8 + -63. Is y not equal to -62?
True
Let g be (330/(-12))/11 + -2 + 5. Which is smaller: g or -25/2?
-25/2
Let j = 35 - 132. Let h = -82 - j. Let u = h - 20. Is -0.05 <= u?
False
Let g = 2957176/65 - 45495. Let m = -13 - -12. Which is bigger: m or g?
g
Let q = 26 - 34. Let z = 19 - q. Let y = z - 28. Is y less than -1?
False
Let j = 96 + -97. Let i = 2063/48 - 128/3. Which is smaller: i or j?
j
Let p = 12.42 - -116.58. Which is smaller: p or 0.2?
0.2
Let o = -18894 + 132261/7. Does 16.4 = o?
False
Let z(j) = 8*j - 11. Suppose -1 - 14 = -5*v - 2*r, 0 = 3*v - 5*r + 22. Let p be z(v). Which is smaller: -8/15 or p?
p
Let c = 0 + 11. Suppose -13*b = -c*b - 60. Suppose 4*s - 2 + b = 0. Which is smaller: s or -56/9?
s
Let o = -39.06692 + 0.06692. Which is smaller: o or 3/8?
o
Let s = 559 + -553. Let l be 1*(-286)/(4 - s). Which is smaller: 141 or l?
141
Let r(k) = 6*k**3 - 11*k**2 + 110*k - 808. Let s be r(8). Are 2440 and s nonequal?
False
Let z = 23848/15 + -9583/6. Is -7 greater than z?
True
Suppose 5*l = -126 - 354. Let u be (9 - 0)*4*(-8)/l. Suppose -k - 7 = -u. Which is smaller: k or -19/6?
k
Let w(j) = -j**3 + 7*j**2 - 10*j + 26. Let s be w(6). Suppose 3*d + 13 = t, -s*t - 21*d + 8 = -18*d. Which is smaller: 67/12 or t?
67/12
Let u be 10 + -3 + (-2 + 3)*-6. Which is smaller: u or 4/247?
4/247
Let w = -22 - -13. Let q = -7 - w. Let m = -1.583 + -0.117. Which is bigger: q or m?
q
Suppose 4*k - 143 + 132 = 5*w, k - 9 = -5*w. Which is bigger: -26/125 or w?
w
Let x = 2221.2 - 2491. Let f = -247 - x. Let b = 23 - f. Which is bigger: b or -4/3?
b
Suppose -2493*p + 2483*p = 0. Is -17/16 not equal to p?
True
Let l be (3/50)/(2 + (-374)/184). Let d = l - -1967/50. Are d and 38 non-equal?
True
Let a be (-3460729)/(-8022) - (-1 - -3)/(-12). Which is smaller: a or 431?
431
Let r be (8/144306)/(216/(-972)). Is 1 != r?
True
Let b = -5200 - -5796. Which is smaller: b or 1786/3?
1786/3
Let w be 10/20*(104/18 + -6). Let t be 1/1 - (2 + -1). Are w and t nonequal?
True
Suppose -26*n + 5*n + 756 = 0. Let x(c) = c**3 - 33*c**2 - 106*c - 65. Let t be x(n). Is 11 less than t?
False
Suppose 5*g = -0*m + 4*m + 171, -m - 3*g = 64. Which is smaller: m or -39?
m
Let o(b) = -b**2 + 16*b + 91. Let d be o(21). Suppose 2*z - 23 = -4*f - z, 5*z = 25. Let x be -11 + (0 + f)/(-1). Is x not equal to d?
True
Let j(d) = 3*d**2 + 61*d + 484. Let p be j(-20). Is 465 less than or equal to p?
False
Let s = -0.0336 + 20.0336. Let z = s + -20. Which is greater: -6/55 or z?
z
Let l(d) = 17*d**2 - 3*d - 1. Let c be l(-1). Le