8. Which is smaller: w or y?
y
Let g be (-2 - 28)/3*-7*(-8)/40432. Is g >= 0?
False
Suppose -5*q + 43 = -2*i, -2*i - 2 + 4 = 0. Let z be 27 - q/((-45)/(-20)). Suppose -25*w + z*w = 0. Which is smaller: w or 1/47?
w
Suppose 0 = 2*f - 4*s - 92, 0 = -5*f + 5*s - 77 + 282. Suppose -5*g = -t + 2*t - f, -22 = -3*g - t. Suppose -4*q - g = 9. Are -4/7 and q non-equal?
True
Let n = 1 - 1. Let q = 723 + -813. Let r = 89.89 + q. Which is smaller: n or r?
r
Let t = -2822.2 - -2822.166. Which is smaller: -6 or t?
-6
Let d = 330 + -325. Suppose 0 = -v - 1, 0 = -18*y + 16*y - d*v - 1. Do y and 1 have the same value?
False
Suppose 3*t = 6, 20778 = 204*q - 208*q - 5*t. Which is smaller: -10393/2 or q?
q
Let t = -16.42 + 1.22. Let b = -7.7 - 7.3. Let g = t - b. Is g at least 1?
False
Let x(i) = -3*i**2 - 23*i + 38. Let p(b) = b**2 + b - 1. Let u(s) = -5*p(s) + x(s). Let m be u(10). Let o be (-88)/m + 6/(-51). Which is bigger: o or 1?
1
Let o = 6231.9 + -6232. Which is bigger: -2/449 or o?
-2/449
Let f = 200 - 815/4. Let z = -222 + 232. Suppose z*k = 2*k - 24. Are f and k unequal?
True
Let y be (-14)/8 + (-8)/32. Let l be (0 + y)*1*(-3)/(-18). Which is smaller: l or 0.6?
l
Let o be ((-120)/(-234) + (-26)/(-169))/(2/(-3)). Which is smaller: -3/3164 or o?
o
Let f = -39 + 57. Suppose 4*q - 6*q = -f. Suppose q*y = 14*y - 35. Which is smaller: y or 4?
4
Let x(l) = l**2 + 54*l + 1931. Let j be x(-30). Which is bigger: 1214 or j?
1214
Suppose 0 = 3*m - 15, 62*s = 63*s + m - 82. Which is smaller: s or 1?
1
Let b = 4966/11 + -451. Let n(t) = t**3 - 3*t**2 + 3*t + 7. Let a be n(3). Suppose 0 = 22*h - 6*h - a. Is b < h?
True
Let z(h) = -h**3 - 13*h**2 - 30*h + 4. Let v be z(-10). Suppose 0*s + a = v*s - 4, -a + 1 = s. Is s not equal to -13?
True
Suppose -5*g = 0, 2*s - 9*g + 13*g = 378. Let y be ((-5)/(-15)*2)/((-14)/s). Which is greater: -98/13 or y?
-98/13
Let r be ((-1)/((-3)/(-2)))/((-18)/27). Suppose 3*j + 18 = -3*j. Let s be j*1*4*10/(-75). Are r and s nonequal?
True
Let c be (-11 - 2 - -3) + (23 - 24). Do c and -12 have the same value?
False
Let i(n) = -17*n**3 + 89*n**2 + 1074*n + 37. Let t be i(11). Let z be 90/112*(-4)/(-3). Let j = z - 325/42. Is j < t?
False
Let v = 345 - 265. Let m = 83 - v. Which is greater: m or -17?
m
Let b(n) = 7*n - 59. Let z be b(-20). Let q = -206 - z. Is -7 greater than or equal to q?
True
Let f be (-47 + -3)*(-1)/(-1). Let x = f + 63. Let a = -12 + x. Which is smaller: -3/11 or a?
-3/11
Let o be 20/(-5)*(-1 + 0). Suppose 3*n - o*t - 8 = 12, 4*t + 20 = 0. Let d be n + ((-125)/30 - 3). Which is smaller: -6 or d?
d
Let k be (-175)/5 - (30/(-6) + 3). Is -45 at least as big as k?
False
Let g = -37.03 + 34.9. Let y = g + 2.23. Is y <= 77?
True
Suppose 0 = -2*b + 7*b + 10. Suppose 12*a + 30 = -4*k + 9*a, 2*k + 22 = 2*a. Is k > b?
False
Let f = 43 + -25. Let u be (-2720)/460 - 0 - (-10)/(-115). Is u at most as big as f?
True
Let t = 229839/1511 - -8/13599. Is 151 less than t?
True
Suppose 26*c - 14*c = -24*c - 8100. Which is smaller: -1127/5 or c?
-1127/5
Let j(s) = s**3 - 3*s**2 + 3*s - 34. Let z be j(5). Suppose -z*w + 26*w + 60 = 0. Do w and 12 have the same value?
True
Let u(l) = 106*l + 2716. Let c be u(0). Is c bigger than 2716?
False
Let p = -0.67 + 7.17. Let i = 0.2 + p. Let w = i - 6.8. Which is smaller: w or 8?
w
Let b = -241 + 267. Let c = -28 + b. Is -1 equal to c?
False
Suppose 0 = 4*q + 8, 2*i + 3*i = q - 23. Suppose -5*j - 5*k = 25, 6*j + 5*k = 3*j - 19. Let a be 1/(1 + j + 6). Which is smaller: a or i?
i
Suppose 0 = 4*i - 5*i - 1. Let c be 5 + -1 - (0 - i). Suppose -c*o + 3 = 6. Which is greater: 1/2 or o?
1/2
Let b = 15 - 13. Let j be (-1 - 421/b)*(-16)/24. Suppose -4*i = 5*x + j, 4*x - 5*x + 5*i = 34. Which is smaller: x or -89/3?
-89/3
Let w be 14 - (0/6 + 15). Which is bigger: w or -1/43651?
-1/43651
Let k = 6870 + -6869. Which is bigger: k or 7005?
7005
Let s(l) = -3*l**3 + 20*l**2 + 22*l. Let y be s(-1). Which is greater: y or -3/3617?
y
Let i(n) = -n**3 + 2*n**2 + 2*n + 1. Let h = -33 + 35. Let p be i(h). Suppose r = c + 2, 4*c + 23 + 3 = -p*r. Is 1 < r?
False
Let n = -51/13 + 4016/1027. Suppose -4*o - p = -33, 10*p - 13*p = -2*o + 27. Suppose -5 = -3*b + 2*a, 11*b + 10 = o*b - 2*a. Is n bigger than b?
True
Let w(s) = -s**3 - 43*s**2 - 122*s - 6. Let r be w(-3). Let t = 34/15 + -8/5. Which is smaller: r or t?
r
Suppose 80*d - 61*d = 19. Which is greater: 1/372 or d?
d
Let c(r) = -r**3 - 2*r**2 - 3*r - 2. Let t be c(-1). Suppose -2*a - 1565 = 3*d, -4*a - 3090 = -2*d - t*d. Let u = a - -30227/39. Which is smaller: u or -1?
-1
Let o = 0.1 - 0.1. Let j = -41061 - -615917/15. Which is smaller: o or j?
o
Suppose 658 = -33*a - 1751. Is -670/9 smaller than a?
True
Let l = -5471 - -4796. Which is smaller: 14 or l?
l
Let o be ((-6)/1)/((-8975)/(-280) + -32). Is -1458/13 > o?
False
Let a = -32 - -61/2. Let w = 21 - 17. Suppose -3*i + 6 = -w*f - f, -2*f = -3*i - 3. Which is smaller: a or f?
f
Let z = -952.1 - -951.1. Is 0.1465 not equal to z?
True
Let a(m) = 4*m**3 + 136*m**2 - 137*m + 142. Let g be a(-35). Let u = 44 + -7. Is u > g?
False
Suppose -s + 2*s - 54 = 0. Suppose 0 = -2*h - n - 22 - 28, -3*n = 2*h + s. Let t(m) = 2*m**3 - 20*m**2 + 5*m - 75. Let o be t(10). Which is smaller: h or o?
o
Let v = -18.175 + 18.475. Which is smaller: v or 1/132?
1/132
Let r = -18 + 18.363. Let d = 1.555 + r. Let o = d + 0.082. Which is smaller: o or -0.17?
-0.17
Let k be 2*(-1267)/(-16) - (-9)/(-24). Suppose -k = -2*m - 156. Is m greater than or equal to 8/13?
True
Let t be -1 - ((-60)/(-16) - 4 - 0). Let h = 1708 + -1634.04. Let v = h - 74. Which is bigger: t or v?
v
Let f = -5922 + 5922.2. Is f smaller than -108?
False
Suppose 4*x = 36, -9*q - 5*x = 114286 + 11966. Is q >= -14032?
False
Let c(t) = -5*t**3 + 24*t**2 - 73*t - 5. Let o be c(3). Is o bigger than -1565/11?
False
Let v = 115.7 - 109. Let l = -8.1 - v. Let g = l - -18. Is g smaller than 1?
False
Let p be 0 + 41/(-7) + (-32)/224. Let s be 0/((1/p)/((-3)/(-18))). Which is greater: -2/177 or s?
s
Let u(z) = -z**3 + 13*z**2 + 2*z - 18. Let h be u(9). Let v be ((-8)/6)/((280/h)/7). Let f be 1*(-15 + (-2 - -5) + 1). Which is bigger: f or v?
v
Let y(r) = 5*r**2 - 50*r + 1. Let j be y(11). Suppose 29 = q - 28. Is q != j?
True
Suppose 2*n = l + 231, 2*n + 3*n = 20. Let r = l - -262. Is r <= 39?
True
Suppose 355 = 5*a + 395. Let k be 7 - a/(-216)*141. Is -0.2 bigger than k?
False
Suppose -2*n = r + 28, 3*r - 591*n = -594*n - 75. Let v = 3 + -24. Are v and r non-equal?
True
Let a be ((-14)/(-245))/(3 + 336/(-30)). Which is smaller: a or 0?
a
Suppose -2*u - 2*u + 5*v = 789, -5*v = -3*u - 593. Let g = -210 - u. Let h(j) = -j**3 + 4*j**2 + 4*j - 7. Let y be h(5). Is g < y?
True
Let j = 119.208 + -117.1. Let n = j + 0.892. Is -27 not equal to n?
True
Suppose 121*c = 124*c + 27, 911 = 5*y + 21*c. Which is bigger: 218 or y?
y
Let f = -198 + 241. Let r be -4*f + (-4 - 1). Which is greater: -176 or r?
-176
Let j = 189 - 187. Suppose -j*a - 6 = -0. Suppose -u - 2*u - 24 = 0. Which is smaller: u or a?
u
Let c be 1/(2 - 14/6). Let o be (-1*20/(-6))/(c/81). Which is greater: -88 or o?
-88
Let f = 14 + -13.7. Let l = -79/14 - -85/14. Which is greater: l or f?
l
Let z(x) = -x**2 - 25*x + 36. Let u be z(-27). Let f be (-5 + (-84)/u)*-3. Which is greater: -2/137 or f?
f
Suppose 4*b - 28 = -5*u, 3*u - 14 = -2*b - 2*u. Suppose 2*s - 9*s - b = 0. Let m be (10/(-15))/(s - (-5)/3). Which is smaller: m or 1/6?
m
Let w = -331947442/23 - -14430057. Let p = w + 2441. Which is smaller: p or -2/5?
-2/5
Let p = -15496 - -15482. Is -203/15 greater than or equal to p?
True
Suppose 0 = -3*w + 3*y - 27, 0 = -4*w + w - y - 43. Let o(f) = f**3 + 14*f**2 + 9*f - 9. Let b be o(w). Let z = -62 + b. Which is smaller: z or -20?
-20
Suppose -3*x + 29 = -5*a, -2*a + 16 = 2*x + 2. Let f be -10 + x - (-27 + 0). Is f bigger than 0?
True
Let v(y) = y**3 + 52*y**2 + 112*y - 83. Let o be v(-50). Which is smaller: o or -680?
o
Suppose -9*u = -7419 + 1236. Let k = 687 - u. Which is smaller: -109 or k?
-109
Let j = -51.42 + 45.52. Which is smaller: 14 or j?
j
Suppose -p = 5*m - 5, 5*p + 1 = 5*m + 26. Let c(v) = -3*v - 6. Let z be c(p). Which is smaller: -22 or z?
-22
Let u = -91.7 - -91.76. Which is smaller: u or 1/26?
1/26
Let v = 1.53