2*w - 4*s - 16 = 0. Let v(c) = -c**3 - 2*c**2 - 2*c + 4. Let z be v(0). Which is smaller: z or w?
w
Let k = -1200.2 - -1207. Is k at most as big as -0.4?
False
Let r = 1328 + -1935. Which is greater: -606 or r?
-606
Let k be -27*(-2 + 15/9). Suppose -2*o - k = -5*o. Suppose -4*s = -7 + o. Is 2 less than s?
False
Let w = 24/7 - 439/126. Suppose 0 = b - 5*z - 25, 4*z = -0*b - 3*b - 20. Which is smaller: b or w?
w
Suppose 144 = -66*y + 70*y. Is y at most 4?
False
Let w = 0.56 - 5.36. Which is smaller: 8 or w?
w
Let c = 8.82 - -0.18. Let v = 0.21 + -10.21. Let z = v + c. Which is smaller: 1 or z?
z
Let o = -5.8 - -23.8. Let k = -11 + o. Do 0 and k have the same value?
False
Suppose 0 = -g + 8 - 7. Let w be (-2)/(-2) - (2/1 - g). Which is smaller: 2/19 or w?
w
Suppose 507*r - 520*r = 13. Let x = -6.89 + -0.11. Which is smaller: x or r?
x
Let o be (12/(-2) + 9)*-9. Let s(h) = h - 5. Let l be s(6). Is o > l?
False
Suppose b = -2*b - 9. Let o be b + (12/(-4) - -9). Which is greater: o or 2?
o
Suppose -232*j + 240*j = 16. Which is smaller: j or 12?
j
Suppose 0 = -2*c - 44 + 28. Let k be c/(-21) - (-9)/((-252)/8). Which is greater: 2/3 or k?
2/3
Let x(y) = y**2 + 13*y - 15. Let r be x(-14). Let n be (-3)/(-3) + r*(-3)/(-3). Which is greater: n or 5/14?
5/14
Let o = -18.9 - -21.9. Which is smaller: 13 or o?
o
Let u(p) = -p**3 - 9*p**2 + 11*p + 14. Let m be u(-10). Suppose 0 = -f + 1 - m. Let c(q) = q**3 - 11*q**2 + 5. Let v be c(11). Is f <= v?
True
Let k = 5694/95 - 306/5. Are -1 and k nonequal?
True
Suppose -3*a = -3, -5*y - 4*a = -3*a + 39. Is -8 equal to y?
True
Let c be (6/(-21))/((-24)/2247). Is 26 >= c?
False
Let s = 349/3 + -6625/57. Let f be 8 - ((-1 - 3) + 8). Suppose -1 + 5 = j, -f*i - j + 4 = 0. Is i greater than s?
False
Let v be -2*(6 + (-126)/(-12)). Which is bigger: -37 or v?
v
Suppose -15 = -3*p, 0*s + 4*p = 2*s - 6. Let m = -1 + 3. Let j be (-3)/6 + s/m. Is 5 <= j?
True
Let y = 5 - 3. Let j be 2/(-1 + 3) + 3. Suppose -y*g + 12 = -j*g. Is g not equal to -4?
True
Let o(k) be the first derivative of k**3/3 - 7*k**2/2 + 8*k + 12. Let n be o(6). Suppose 2*r + 8 = -3*t + 19, r + 11 = 4*t. Which is greater: n or r?
n
Let p = 29185/38 + -768. Which is smaller: p or 1?
p
Let b be 34/18 - (9 + -9). Which is smaller: 0.4 or b?
0.4
Let g = -756 + 756. Which is smaller: -84/97 or g?
-84/97
Let g be ((-4)/10)/(11/55). Is 4 less than g?
False
Let m be 260/136 + (12 - 14). Which is smaller: m or 6/13?
m
Let c = -31 + 93. Let x = 65 - c. Is 1/6 bigger than x?
False
Let w = -26 - -18. Let h(c) = -3*c + 93. Let m be h(31). Which is smaller: w or m?
w
Suppose 5*r = 2*b + 60, 8*r = 4*r - 3*b + 25. Suppose 6*z - r*z + 108 = 0. Let m be (z/(-18))/(1*-9). Which is smaller: -1 or m?
-1
Suppose -v = -4*s + 4*v + 113, -s + 35 = v. Is s at most as big as 33?
True
Let f = 18286/55 - 3402/11. Is f <= 22?
False
Let w = -5 - -2. Let t be 1*(17 + 4)*1. Suppose 2*i + 4*f = -4 + 10, 3*i - 4*f = -t. Is w <= i?
True
Let c = -179 - -56. Is 1 bigger than c?
True
Let c be (-2)/(-7) - (-726)/(-42). Suppose -3*g + 2*k - 54 + 11 = 0, -55 = 3*g + k. Is c at least as big as g?
True
Let l = 18165 + -18163. Let v be -1*(0 + -3) - 0. Is v < l?
False
Let q = 0.023 - -0.977. Let s = -5.82 - -6. Is s bigger than q?
False
Let j = -224 + 230. Which is smaller: 1/2 or j?
1/2
Suppose 0 = -z + 3 + 18. Suppose -2*q - 19*u + 22*u + 40 = 0, 4*u = -4*q + 80. Are z and q non-equal?
True
Let l = -2.93 - -2.73. Let v(b) = -b**3 - 5*b**2 + 6*b + 6. Let w be v(-6). Let x be 11/15 - w/15. Are l and x nonequal?
True
Let p = 2 + 0. Let x = 22 + -22. Suppose x*o + 4 = -4*o. Are p and o unequal?
True
Let h(g) = -g**3 + 21*g**2 + 102*g - 49. Let i be h(25). Is -25 bigger than i?
False
Let l = -0.133 + 0.033. Which is smaller: l or -8/3?
-8/3
Let w = -11 + 8. Let i be (-2)/7*28/w. Let j(v) = 3*v**3 - 2*v**2 + 1. Let t be j(1). Is i at least as big as t?
True
Suppose 3*j + 1 = 10. Suppose -2*m + 5*m = -r + 36, 4*r + m - 89 = 0. Suppose o + 7*x - r = j*x, 3*x = -5*o + 20. Does -1 = o?
False
Let c = 84 - 105. Let f = 7 - 7. Which is smaller: c or f?
c
Let j(v) = -v**3 + 7*v**2 - 5. Let u be j(7). Let c be 1/5 - u/(-20). Is 1 greater than or equal to c?
True
Suppose -2*r = r. Suppose 2*a + 8 = -r*a. Let c = 779/3 - 263. Which is greater: a or c?
c
Suppose 4*s - 5*o - 24 = 0, -2*s + 5*o = -4*s + 12. Let m = s + -2. Suppose 0 = -5*n + 5*p - 10, 3*n = -2*n - m*p - 19. Is -4 smaller than n?
True
Let j be (-315)/(-36)*120/25. Are j and 39 unequal?
True
Let g = 1847/15 + -118/3. Which is smaller: 83 or g?
83
Let r be 2/16 - (-3451)/5800. Which is greater: 1 or r?
1
Let t = 3.7 - 4.1. Let u = -3.4 - t. Let y be 16/30 - 2/6. Which is bigger: u or y?
y
Let g be ((1 - 2)*4)/(-2). Let a be 1*3 - (-114650)/(-24290). Let k = -2/347 - a. Is g != k?
True
Let b(x) = -x**2 + 6*x + 4. Let u be b(6). Suppose f = -3 - u. Let k = 30 + f. Is k <= 23?
True
Let p = 11 - 25. Let i = 14.7 + p. Let f = -0.9 + i. Is 0 bigger than f?
True
Let d = 3 + 2. Suppose 0*i = -d*i - 105. Let o = 21 + i. Are -1 and o nonequal?
True
Suppose -4*a + 7 = h, -261*a + 2 = -260*a. Is -1/2081 at most as big as h?
False
Let x be (-276)/(-66) - 2/11. Suppose -5*q + 0*u - 5*u = -15, -x*q + 2 = -u. Is -5/13 less than or equal to q?
True
Let g = 17 - 16.1. Let n = 0.81 + 0.09. Let u = n - g. Which is bigger: 2/5 or u?
2/5
Let i = -71 - -40. Let x = i - -31.1. Let m = 46 + -136/3. Which is smaller: m or x?
x
Let q = -1/1286 + 1613/7073. Is q greater than or equal to 0?
True
Let y = 159491/588 - 3259/12. Is -1 at most y?
True
Suppose -8 = -a + 25. Let q be 6/a - 13/253. Is q not equal to -1?
True
Suppose -y - 3*y + 4 = -2*a, -y = -2*a + 5. Let b = 2595 + -2594.99. Which is smaller: b or a?
b
Let r = -3/1240 - -28547/11160. Which is bigger: r or 3?
3
Let m(x) = -61*x + 1451. Let l be m(24). Let h = 8 - 20. Is h less than or equal to l?
False
Let j be ((-1)/(-2))/((-294)/(-48) - 6). Suppose j = -3*a + 10. Which is smaller: 8/5 or a?
8/5
Let o = 6.574 - -0.026. Let b = 6.54 - o. Let i = 0 + 0. Are b and i equal?
False
Let r = 1525 + -1524.9. Which is smaller: r or 4/1109?
4/1109
Let c be (2*1)/(7 + -5). Suppose -2*k + y = -50, 0*k - 2*k + 48 = -2*y. Let o be (-46)/130 + 1 - (-4)/k. Which is bigger: o or c?
c
Let a = -122 + 112.1. Let b = a - 0.1. Which is bigger: -2 or b?
-2
Let w = -264 + 250. Which is smaller: w or -3?
w
Let l be 3/(-30) - (-20769)/8415. Let z = l + -40/17. Is z equal to 0?
False
Let c(n) = -59*n**2 - 11*n. Let v be c(-1). Is -49 bigger than v?
False
Let n(x) = 1400*x**3 + x**2 + 10*x + 10. Let g be n(-1). Is -1400 smaller than g?
True
Suppose 7 = -8*z - 25. Let k be 17/85 - (-1)/z. Is k smaller than 1?
True
Let m be 1 + (0 - -3 - 2). Suppose -33 = u + m*u. Do -11 and u have the same value?
True
Let j(m) = -35*m + 273. Let y be j(8). Let u = 0.2 - 0. Which is smaller: y or u?
y
Let c(n) = -n**2 - 8*n - 14. Let k be c(-3). Let q be (k - (-58)/(-54))*3. Let m = 144/385 - -2/77. Is m smaller than q?
False
Let u(z) = -z + 6. Suppose 62 = 3*l - 1. Let o = l - 13. Let k be u(o). Is -3 != k?
True
Let t = -12 - -14. Let j be (0 - (-2 + t))/2. Suppose j*u = 3*u - 6. Which is smaller: u or 2/3?
2/3
Let q(w) = -w + 7. Let v be q(-13). Suppose 46 + 9 = 5*l - 3*d, -4*d = v. Suppose 0 = -4*f - l*u + 4*u - 20, -12 = 3*f + 2*u. Which is greater: f or -3?
f
Let p(j) = -j**3 + 34*j**2 + 29*j + 59. Let g be p(35). Is g not equal to -150?
True
Let r be 36/(-30)*1240/(-16). Is 87 at least as big as r?
False
Let b(f) = -f**2 + 9*f - 17. Let s be b(7). Let u be (1/s)/(10/(-42)). Is u at most as big as -0.1?
False
Let p be 20026/4997 + (-6 - -2). Are 2/9 and p non-equal?
True
Let l = -29.93 + 30. Let p = -86 + 74. Is l not equal to p?
True
Let n(r) = -r**3 - 7*r**2 + 8*r + 3. Let b be n(-8). Suppose 0*f - 5*f = 4*g + 20, -2*g = b*f + 10. Let v be f + (0 - -1 - -10). Which is greater: 9 or v?
v
Suppose -2 = -4*z - 6. Let j be 242/6*(-39)/9. Let k = 175 + j. Which is smaller: z or k?
z
Let x be -3 + (0 - -2)/(40/2425). Let z = x - 117. Are z and 2 unequal?
True
Suppose 2*i - 6*i = 2*s, 24 = -4*i + 4*s. Which is smaller: i or -3?
-3
Let y = -1487 - -764. Let k = 7963/11 + y. Is k bigger than 2?
False
Let f = 9 - 5. Suppose -3*g - w + 4 = -0*g, 16 = f*g - 4*w. Suppose g*