). Which is greater: w or -8?
-8
Let y = -63814 + 63133.98. Let b = 680 + y. Which is smaller: 22 or b?
b
Let p be ((-856)/27072)/((-10)/(-3426)). Let m = p + -1/1880. Is -11 > m?
False
Suppose -y - w - 10 = -4, 3*w + 23 = -4*y. Let a = y - -3. Let f(u) = 2*u**2 - 61*u + 230. Let l be f(26). Is a > l?
True
Let a = 8.1641 + -0.6641. Which is greater: a or 3/8?
a
Let p = 8603/95 - 452/5. Suppose 20 = 3*t - n, 2*t - n + 0*n - 14 = 0. Let u be 4/t*(-9)/(-6). Which is smaller: p or u?
p
Let k be 6 - (34/6 - (-151)/453). Which is smaller: -10/1723 or k?
-10/1723
Let p(q) = 36*q + 1729. Let z be p(-48). Which is greater: -1/9512 or z?
z
Let r(z) = -210*z**3 + 2*z**2 + 17*z - 5. Let o be r(-3). Are o and 5632 nonequal?
False
Let w = 259159/282 + -919. Let h be (6/14 - (-120604)/6776)*1/(-282). Let f = h - w. Is f > -1?
True
Let h = -3823 + 12422. Which is greater: -1 or h?
h
Let h be (-46)/(-18)*1 + 1. Suppose -5*w - 18 = 7, -4*c + 1590 = -2*w. Let r = c - 392. Is h <= r?
False
Let a = -1755/44 + -40823/308. Is a greater than or equal to -173?
True
Let s = 1444 - 902. Let x = -492 + s. Is x smaller than -3?
False
Let o(i) be the first derivative of i**4/4 - 5*i**3/3 + i**2/2 - 4*i - 134. Let u be o(5). Is u equal to -3/121?
False
Let l(c) be the first derivative of -c**4/4 + 2*c**3 + 9*c**2 - 17*c - 4136. Suppose 0*r = -2*r + 16. Let d be l(r). Which is greater: 2/69 or d?
2/69
Let r = 120 - 108. Let h be (8/(-5))/(r/(-30)). Suppose h*l + 17 - 89 = 0. Which is smaller: l or 17?
17
Suppose 80620 = 161*z - 16*z. Which is bigger: z or 557?
557
Let f = 4780 - 14338/3. Is f smaller than 5/22?
False
Let i = -2259 - -1480. Let d = i + 826. Is 6/11 at most as big as d?
True
Let m be 2/(8/4 + (-600)/(-6)). Suppose 0 = 3*f + 3*v + v - 15, 4*v = -f + 13. Suppose 3*w - i = -1, -5*w + i = f - 2. Is m not equal to w?
True
Let r = -441 + 316. Let s = r + 127. Which is bigger: -3 or s?
s
Let x = 145 + -151.9. Let i = x - -6.957. Let g = 0.943 + i. Which is smaller: 6 or g?
g
Let o = 273 + -192. Let u be 18/27*(1 - 470/(-4)). Do u and o have the same value?
False
Let o be ((-7)/(-13))/((-24)/(-1128)) + 2/(-1). Which is bigger: 24 or o?
24
Let q = 4217 - 1835. Is q greater than 2382?
False
Let o = 22043 - 23164. Which is greater: o or -1125?
o
Let r = 26512 - 290809/11. Let d = r - 74. Let x be (726/(-11))/(-33) + (2 - (-4)/(-1)). Which is bigger: x or d?
d
Let h = -0.044 + 71.044. Let w = -61 + h. Let s = 9 - w. Which is smaller: s or -0.25?
s
Let k = -66846 - -8489502/127. Is k greater than or equal to 1?
False
Suppose 3*d + 5 = 4*d. Let n = 28505 + -142506/5. Which is smaller: n or d?
n
Let v(i) = -596*i**2 + 581*i + 1740. Let j be v(-3). Is -5367 < j?
False
Suppose 5*q + 17*q - 4 = 2*r, 5*r - 2*q + 10 = 0. Are -133/214 and r equal?
False
Let v(a) = -a**2 - 8*a - 2. Let b be v(-7). Let k = b + -4. Let q = -363 - -373. Which is bigger: k or q?
q
Let j be -1*((42/(-12))/7)/((-2)/(-4)). Is 1/13744 at least as big as j?
False
Let c(t) = t**2 - 1. Let a(y) = -2*y**2 - 5*y - 1. Let q(j) = -a(j) - 3*c(j). Let i be q(-4). Let b be i/(-6)*(-3)/2. Which is greater: -9 or b?
b
Let a(m) = m**3 + 4*m**2 + 4*m. Let l be a(-2). Suppose l = -29*q - 3*q - 1856. Is q less than -59?
False
Let v(i) = -5*i - 166. Let j(o) = -15*o + 101. Let q be j(9). Let c be v(q). Which is greater: 39/14 or c?
c
Let z = -310231/203 + 10610/7. Which is smaller: -14 or z?
-14
Let g = -642 - -638. Let z(w) = -w**2 - 5 + 0 - 4*w + 2. Let i be z(g). Which is greater: i or -6?
i
Let r = 97.91 + -145.91. Let t = 3 + -2. Which is greater: r or t?
t
Suppose z = -3*d + 212, -234*z = -232*z - 5*d - 490. Is z greater than or equal to 239?
False
Let m be -5 - ((-2876)/(-6))/(8/(-12)). Let g = -723 + m. Let q = -15 + 11. Is q equal to g?
False
Let c be 3 + -8 + (-109008)/112. Which is smaller: c or -977?
c
Let t(s) = 40*s**2 - 76*s + 18. Let l be t(7). Is 1445 less than or equal to l?
True
Suppose 0 = -5*z + 12*p + 77, -7 = -z - 19*p + 20*p. Which is smaller: z or 3/7681?
3/7681
Let l = 15 + -2. Suppose l*r + 16 = 17*r. Suppose 0 = 5*c - d + r*d - 1, 4*c + 7 = -5*d. Which is greater: c or -2?
c
Let d(t) = -59*t + 3110. Let p be d(51). Which is bigger: 1001/10 or p?
p
Let w = -0.0161 + -27.5839. Is -8 greater than or equal to w?
True
Let b be 56/12 + (-8)/12. Suppose -s + 2*p + 1 = -12, -p + 7 = 4*s. Suppose s*n = -l + 10, 5*n + 14 = 4*l + b*n. Which is smaller: 3 or l?
3
Let j = -25309 + 26134. Which is greater: 836 or j?
836
Let o = 16.37 - 0.37. Suppose -2*f + 8 = 2*w - 12, 0 = 2*f + 3*w - 23. Let g be (1 - 2)/(14 - f - 5). Is o bigger than g?
True
Let n = -3371443/11596 - 93/892. Suppose -3*t + 6*t = -5*b - 1458, 3*b + 2*t + 875 = 0. Let k = b - n. Which is smaller: 0 or k?
k
Suppose 4*v + 40 = p + 70, -3*v = 3*p + 15. Let z = -48 - -33. Which is smaller: z or p?
z
Suppose a = 3*a - 2. Let h be (-2)/27 - (30/(-26892))/((-29)/(-1769)). Which is smaller: h or a?
h
Let c = 4448 + -6979. Which is smaller: 2 or c?
c
Let w = 58255 + -2271730/39. Let k = w - 50/13. Which is bigger: k or 6?
6
Let x = 908.41 - 903. Let y = x + 0.59. Which is greater: 0 or y?
y
Suppose 391*d + 123 = 392*d - 4*y, y = -3*d + 447. Do d and 742/5 have different values?
True
Let t(v) = 2*v**3 - 11*v**2 - 14*v + 18. Let z be t(8). Suppose -228*w = -z*w + 12. Is w bigger than 2?
False
Let f = -330 + 1123. Let r = 759.7 - f. Let w = -33 - r. Which is smaller: 17 or w?
w
Let o = 39 - -103. Let r be o/792 - 2/18. Is r at most as big as -1?
False
Suppose 0 = f + 201 + 193. Let w = f - -378. Which is smaller: w or -17?
-17
Let g = 346/29 + -12. Suppose 457*c + 7 = 232*c + 232*c. Are g and c unequal?
True
Suppose 10*u = -15 + 55. Suppose x + 100 = -u*s, -4*s + 441 = -4*x + 61. Let j be 2664/x*3/(18/(-4)). Is -0.1 greater than or equal to j?
False
Suppose -4*x = 2*j - 20, x + 8 = j + 7. Suppose 0 = -3*y + n + 421 + 1106, 4*y - j*n - 2036 = 0. Which is bigger: y or -1?
y
Suppose 79*j + 1255 = 1176. Let r = 21/274 - -1057/11234. Which is smaller: r or j?
j
Suppose 290400*z - 290388*z + 120 = 0. Suppose 0 = -2*c - 28. Are z and c non-equal?
True
Let t = 3 - 1. Suppose t*a + 5*p + 20 = 4*a, 6 = -3*p. Let u = -122/33 - -22/3. Do a and u have the same value?
False
Let p(u) = 4*u**2 + 10*u - 10. Let n(x) = -x**2. Let w(k) = 3*n(k) + p(k). Let h be w(-11). Let o be (15 + -13)*(66/14 - h). Which is smaller: o or 7?
7
Let h = -0.0296 - -0.0752. Let g = h - -9.6544. Is -2/7 > g?
False
Let x(h) = -11*h - 142. Let i be x(-14). Let m be 51/36 + i/(-16). Let g = 0.2 + -0.2. Is g greater than m?
False
Let y be 5/((-50)/532)*95/171. Suppose 0 = 2*r - 4*l + 80, -760 = -3*r + 5*l - 875. Is y at least as big as r?
True
Let u(m) = 10*m**2 + 27*m + 78. Let g(y) = -3*y**2 - 9*y - 26. Let c(f) = 7*g(f) + 2*u(f). Let p be c(-5). Are 0 and p unequal?
True
Let o(c) = 34*c + 109. Let g be o(-3). Suppose 38 = -g*r + 31. Is r < 4/137?
True
Let t be 413/(-42)*3*-2. Suppose -g - t = 30. Let s = g + 62. Is -27 <= s?
True
Let c be (3/4)/3*-4*1. Let y be (590/(-2016))/c + 22/(-77). Are 1 and y non-equal?
True
Suppose 0 = -k + 2*s - 3, -5*k + k = -2*s + 6. Let r be (k - 5/(-10))*-6. Let f be r + (-8)/((-8)/(-3)). Is f greater than or equal to -0.1?
True
Let r be (-48 - -50)/(2/11 + 0). Suppose -323 - 7 = -r*s. Let m(o) = -o**2 + 33*o - 76. Let y be m(s). Is 17 less than or equal to y?
False
Let s(j) = j**3 - 16*j**2 + 18*j - 15. Let t be s(18). Let v be 2/(-11) + 174/t. Which is bigger: v or 2/31?
2/31
Suppose 6*d - 11*d - 27 = -4*y, -6 = -y + d. Let p be ((-9)/(-12))/(3 - 13 - y). Which is greater: 0 or p?
0
Let s = -4838 + 4834.8. Which is greater: -39 or s?
s
Let s be 6/(-16) + (-48)/(-112)*21/24. Which is smaller: -2/11303 or s?
-2/11303
Let w(j) = -2*j**3 + 90*j**2 - 214*j - 38. Let i be w(43). Is i at most -1845?
False
Let p be 59/123 - (-1)/(-3). Suppose 4*s + 14 - 46 = 0. Suppose -21*j + 1 = -24*j + 2*f, -3*j - s = 5*f. Is j equal to p?
False
Let z = 22 + -22.03. Let i be (-1 + 4/6*1)/((-27)/(-2511)). Is z > i?
True
Suppose 97*o = -490 + 5. Let v = -3 - -2. Is v at least o?
True
Suppose -3*s + 132 = -0*s. Let r be (-7)/14 + (-1035)/(-6). Suppose h - 3*w - 18 - 14 = 0, -4*h = -w - r. Is s at least as big as h?
True
Suppose 3*w = -6, 5*z - w - 711 = 2*w. Let g = 130 - z. Suppo