 8?
8
Let x be (16 + -15)*(1 + 0)*3. Suppose -w - 2*l = -x*l + 3, 5*l + 25 = -5*w. Which is smaller: w or -3?
w
Let q be (-12)/(-81)*90/20 - 4/6. Which is bigger: 9/380 or q?
9/380
Let i(r) = -13*r - 76. Let j be i(-6). Let q be 0 + 1/j - 9/6. Is 5/126 not equal to q?
True
Let r = 1074567/460 + -2336. Which is greater: 2/3 or r?
2/3
Let s(a) = -a. Let h be s(5). Let g be (-744)/(-36)*3/(-10). Are g and h nonequal?
True
Suppose -44 = -19*g + 8*g. Suppose 0 = -g*k + 3*v - 4, 0*k - 4*k = -2*v + 4. Let b be (-6)/(-15)*k + 8/20. Does 5/11 = b?
False
Let w = -12.91 + 0.88. Let m = w - -12.3. Are 2/5 and m equal?
False
Let j = 0.3 - 0.5. Let x = -1.56701 - -0.50701. Is j greater than x?
True
Let k = -2392 + 2720.3. Let u = k - 328. Are u and 4 non-equal?
True
Let g be -20 - (7 - 5) - -2. Let s be (4/g)/((-6)/2010). Let r = 194/3 - s. Is 1 at most as big as r?
False
Let l be 51/(-85) - (1048/(-5) + 1). Let b = 79 - -130. Which is bigger: b or l?
b
Suppose 3*l + 4*c - 144 = 0, -4*l - 31 + 233 = 2*c. Is 51 smaller than l?
True
Let p(y) = -4*y**2 + 14*y - 41. Let z = 231 - 224. Let g be p(z). Which is bigger: -1/4 or g?
-1/4
Let d = 40 - 43.1. Let m = d + 0. Let h = -8/11 + 2/33. Which is smaller: m or h?
m
Let s be ((-5)/(-2))/((-560)/(-66752)). Is 293 < s?
True
Suppose 0 = 116*d - 121*d + 1035. Let m = -220 + d. Is -17 smaller than m?
True
Suppose -122 + 44 = 2*x. Let s be (62/217)/(2/(-238)). Let h = s - x. Which is bigger: -2 or h?
h
Let z(a) = 9*a - 29. Let i be z(3). Let m = -38 - -69. Let y = m - 38. Does y = i?
False
Suppose 12*d - 20 = 4*d - 12*d. Is -1/5555 smaller than d?
True
Let d = 13 + -5. Let w(r) be the first derivative of -r**3/3 + 3*r**2 + 19*r + 1247. Let f be w(d). Is 6 not equal to f?
True
Let t = -3.74 - -7.14. Do 19 and t have different values?
True
Let l be (0 - 2)*1/((-10)/(-345)). Let s = l - -71. Let z be (-51)/(-108) + s/(-8). Is z at least as big as -0.1?
True
Let g = -12804 - -18410. Let r = g + -67319/12. Let a = 101/36 + r. Which is greater: 0.2 or a?
0.2
Let q = 2784 - 2076. Which is greater: 706 or q?
q
Let m(b) = -4*b + 21. Let o = -22 + 40. Let x be m(o). Let z = x - -58. Which is smaller: 1 or z?
1
Let k(s) = s**2 - 609*s + 12897. Let z be k(22). Let v = -1281/2 - -625. Which is smaller: z or v?
z
Let l = -168 - -172. Let v be ((-16)/48)/(l/114). Do v and -11 have different values?
True
Let i(r) = 175*r + 474. Let l be i(-3). Which is bigger: l or -58?
l
Let p(h) = h**2 + 8*h - 11. Let a(d) = -51*d - 2. Let t be a(1). Let r = 44 + t. Let u be p(r). Does u = 1/3?
False
Let j = -29 + -75. Let m = -165 + 62. Which is smaller: j or m?
j
Let j be 6/14 + 1019475/(-4137). Suppose 5*y + 377 = -5*f - 858, 4*y = 0. Which is bigger: j or f?
j
Let v be 3/(-18)*3 - 45/10. Let b(q) = 2*q**3 + 11*q**2 + 7*q + 13. Let y be b(v). Suppose -5 = 4*u - 29. Is y <= u?
True
Let t be ((-2320)/(-2900))/(8/5). Is -1161 < t?
True
Let y(m) = 14*m**2 - 25*m - 203. Let u be y(-6). Is 449 > u?
False
Let j = 602/5 + -7856/65. Which is smaller: j or -0.87?
-0.87
Suppose 2*i - 14 = -4*q + 6, -2*i - 12 = -4*q. Let w be (2/i)/(189/18). Are w and 7 unequal?
True
Suppose -44*u - 76*u + 318 + 522 = 0. Are u and 4.2 equal?
False
Suppose 0 = -4*y - 12, h + 0*y = 2*y - 99. Let r be h/((-2)/(-5) + (-7)/(-20)). Which is smaller: r or -141?
-141
Suppose -26 = -26*s + 78. Suppose 5*n - 2*a + 22 = 520, -4*n + s*a = -396. Does n = 98?
False
Let w be (-1440)/(-800) - (-9)/(-5). Is -3/8450 at least w?
False
Let t = 20.583 - 20.5. Let p = -0.961 - -1.044. Let r = p - t. Which is greater: r or 2/3?
2/3
Let u = -3444 - -3443.9. Is 1/711 at most as big as u?
False
Let v = 101483 + -101412. Let w be (96/10)/(4/30). Are v and w nonequal?
True
Let c = 2.01 - 80.01. Let m = -78 - c. Is m > 0.58?
False
Let p = -0.8 + -0.2. Let f = 503829.7 + -503823. Is p less than f?
True
Let g = 41 + -11. Let k = -1993 + 2022. Let n = g - k. Which is greater: 4.2 or n?
4.2
Let n(k) = 13*k**2 - 209*k + 4. Let b be n(16). Let x be (-3)/9*b*-20. Is x >= 1?
False
Let y = -49 + 71. Let p(h) = h**3 - 9*h. Let l be p(4). Suppose 0 = -m - v - v + l, -5*m = 4*v - 122. Is m bigger than y?
False
Let s = -207 + 207.0713. Let k = s - -0.0287. Are k and -218 equal?
False
Suppose 2*b = b + 11*b + 10. Which is bigger: b or -2/5951?
-2/5951
Let m = 3271 - 3275. Which is greater: 628 or m?
628
Let u = -5704 - -5705. Which is smaller: 416 or u?
u
Let v = 6506 - 6496. Which is smaller: v or 44/5?
44/5
Let l = 5809.3 - 5814. Let g = 0.03 + 0.37. Let s = g + -0.4. Is s bigger than l?
True
Let v = -3441.1 - -3136. Let x = v + 305. Is -14.4 smaller than x?
True
Let j = 409 - 724. Suppose 0 = 2*h - 0*h + 8. Let u be h/(-10) + (-924)/j. Which is smaller: u or 4?
u
Let r = -75 - -142. Suppose 5*u - 507 = -r. Let c be 8/52 + u/(-234). Which is smaller: -1 or c?
-1
Let k = -60 + -214. Let r = -274 - k. Suppose 2*v + 20 = -2*v. Which is smaller: v or r?
v
Let v be (-88)/(-242) + (-21162)/57651. Is v < -1?
False
Let t(c) = -9*c**2 + 646*c + 190. Let v be t(74). Is -1286 equal to v?
False
Let r = -28444 - -40095. Which is smaller: r or 11650?
11650
Let p be (-4)/22*(9 - -2)*-1. Suppose 61 = -4*f + n - 199, -n - 124 = p*f. Which is greater: f or 0?
0
Let k = -2229451651/33101 + 67353. Which is bigger: 1 or k?
1
Let m be 1932/138*(-1174)/4. Which is greater: m or -4108?
-4108
Suppose 0 = -15*h + 12 + 18. Suppose -h*u = 13*b - 14*b, -2*u - 3*b = 0. Is 381 greater than u?
True
Let y be -7 - (-5 + -1 - -6). Let u be 17/252 + 9*y/(-567). Which is smaller: u or -1?
-1
Suppose -4*m = 3*y - 5*y + 238, -3*y = -3*m - 360. Suppose 0 = 124*i - y*i + x + 343, i = -5*x - 133. Which is smaller: -112 or i?
i
Let x(p) be the third derivative of p**6/120 - p**4/6 + 3*p**3 + 10*p**2. Let f be x(-6). Which is bigger: -175 or f?
f
Let w = 15.3 - 15.4. Let d = 69 + -53. Which is bigger: w or d?
d
Let b be 1481601/5852*24/(-9). Is -676 greater than or equal to b?
False
Let n = -8071 + 8074. Which is smaller: n or 584?
n
Let n(l) = -528*l + 3479. Let b be n(8). Let k = 22421/200 - -5188539/8200. Let t = k + b. Which is smaller: t or 0?
t
Let g(v) = -2*v**3 + 83*v**2 - 49*v + 336. Let u be g(41). Which is smaller: 53 or u?
u
Let x be ((-2)/(-6)*2)/(16/216). Suppose -16 = -x*y + 2. Let d be (-1)/2*y/(-4). Which is smaller: d or 20?
d
Let m = -0.06438 - -0.06438. Let s = 179.2 + -26.2. Is m less than s?
True
Let k be 0 + -6 - (-10142)/1727. Which is bigger: k or -2?
k
Let r be (-15)/(5/2 - 4). Suppose 0 = -2*z + 9 - 1, 5*g - r = -5*z. Let m be ((-4)/12)/(g + 3). Which is smaller: 18 or m?
m
Suppose -o + 991 = 990. Is 6/4219 less than o?
True
Let q = 383 - 175. Let n = q - 208. Let i be 0 - 3 - (-56)/19. Which is bigger: n or i?
n
Let t(m) = -m**3 + 9*m**2 + 7*m - 24. Let k be t(7). Suppose 3403*f - 3425*f + 2684 = 0. Is k greater than f?
True
Let f = 364806/5 + -72606. Which is greater: 354 or f?
f
Suppose 2*w + 0*l = 2*l + 4, -w - 5*l + 8 = 0. Suppose -r - w = -6. Suppose -z = -2*j - 1, -4*j + 4*z = 1 + r. Is j < -4/37?
False
Let c(o) = 2 + 1 - 1 + 7*o**2 + 14*o - 1. Let u be c(-2). Is u bigger than -4/83?
True
Let s = 1056510 - 1056504. Suppose -3*z + 3*q - 21 = -0*z, -4*z - q = 18. Is z >= s?
False
Suppose 8*k + 3*p - 29 = 19*k, 0 = 4*k + 2*p - 8. Let z = -15 + 82. Which is smaller: z or k?
k
Let j be (-10)/(-55) - 457670/(-462). Let m = 991 - j. Let g = -7954 - -7954. Which is smaller: g or m?
g
Let b = 18743 + -18743.3. Which is bigger: -146 or b?
b
Let x(a) = -a + 6*a - 17 - 8 - 6*a. Let s be x(-16). Let y be (-3 + 8)/(2/(-4)). Which is smaller: s or y?
y
Let f = -4007342781/22831 + 175522. Is 0 at least f?
False
Let s = -90175/2 - -48126. Which is smaller: s or 3039?
s
Let o(n) = -n**3 - n - 1. Let v(u) = -6*u**3 - u**2 - 6*u + 1849. Let f(c) = 5*o(c) - v(c). Let a be f(0). Let y be a/(-1980) + 4/(-5). Are 1 and y equal?
False
Let f = -211721/4 - -53230. Is f at least as big as 299?
True
Let q be 1*3 - -2*(6 + -14). Let d = 81 + -77. Suppose p + 55 = -d*p. Which is smaller: p or q?
q
Suppose 3*k + 437 = -1066. Let j = k - -491. Which is greater: j or 13?
13
Let u = 4278.7 - 4279. Is u at least -84.3?
True
Let h be -20 + ((-15)/9 - -2)*-6. Let p be (3 + -4 - -3)*-13. Let r = 2 + p. Which is bigger: h or r?
h
Let m = -7.754 - 473.246. Do 