 16. Let y be 1/5 + (-854)/70. Let k be h(y). Which is smaller: -2 or k?
k
Let d be ((-249)/51)/(-1) + 2/17. Let v be 28/(-2) - (d - (-6 + 15)). Is v < -10?
False
Let w = 2143 - 1950. Is w != 192?
True
Suppose x = 3*v + 2, -4*v - 2*x - 6 = -0*v. Let a = -153 - -3979/26. Do v and a have the same value?
False
Let s be 905/20 + 3*(-2 - -3). Which is smaller: s or 48?
48
Let m = -5 - -11. Let l(k) = k**3 - 12*k**2 + 11*k + 3. Let h be l(11). Suppose -2*g + h + 7 = 0. Is g smaller than m?
True
Let o = 9 + -0.5. Let r = -33.5 + 36. Let y = r + o. Are y and 1/4 nonequal?
True
Let l = 2.044 + -2.444. Which is greater: 0.312 or l?
0.312
Suppose 2*c - 2*d = c - 1, 3 = -3*c - 4*d. Let w(t) = -2*t**3 + 2*t + 1. Let g be w(c). Let v be 74/72 - (-4)/18. Which is greater: g or v?
v
Suppose 10*a = 14*a + 96. Let v be (a/9)/(-1) - (-13)/39. Let z = 3 + -2. Is z greater than or equal to v?
False
Let p = 31561/16 + -1972. Let l be ((-2)/3)/(8/(-12)). Which is bigger: l or p?
l
Let p(c) = 2*c**3 + 3*c**2 - c + 7. Let n be p(-3). Is -120/7 bigger than n?
False
Let y = -38 - -40. Suppose 21*g - y = 23*g. Let z = -8 + 6. Which is greater: z or g?
g
Suppose -27 = 3*v + 4*o, 4*v - 3*o = -2*o - 55. Let q be (v + -5)/(-1 - 1). Let w be 6/q*(-2)/(-18). Is 1 at most as big as w?
False
Suppose 5*o - 2*z + 284 = 0, 6 = 2*z - 4*z. Is -55 bigger than o?
True
Suppose -4*f - 2*v = -5*v - 36, 0 = 2*f - 2*v - 16. Which is greater: 14 or f?
14
Suppose 4*f - 3*f - 5 = 0. Suppose 0*n - f*n - 5*c + 160 = 0, 16 = n - 3*c. Let t be (-35)/n + 1/4. Is 0 >= t?
True
Let d = 0.78 + -17.24. Let y = 0.46 + d. Is y not equal to 0.1?
True
Let c(d) = d**3 - 17*d**2 + 29*d + 15. Let x be c(15). Is x equal to 1/14?
False
Suppose -2*i - c = 18 + 6, 3*c - 6 = 0. Let w = i - -32. Let m = 22 - w. Which is bigger: m or 4?
4
Let i = 1264 + -1374. Is 2 != i?
True
Let w = 97/8 + -985/72. Let b = 1362553/45 - 30277. Let k = b + w. Is -6 > k?
False
Let c be -98 - (-14)/12*-6. Is c at most as big as -105?
True
Let f = -1617 + 1690. Is 77 at most as big as f?
False
Let d = -16 + 10. Let g be (d/10)/(6/15). Does -1 = g?
False
Let a = -3507/5 - -712. Is 10 equal to a?
False
Let v = 1.79 - 3.79. Which is greater: v or -3/89?
-3/89
Let q be 46*(-2 + (-10)/(-4)). Let d = 118 + -82. Let k = d - q. Is k at least 14?
False
Let r = 16/421 + -6138/139351. Is r at least 1?
False
Let u = 335 + -989/3. Let j(c) = c + 15. Let l be j(9). Let y be 16/15 + l/(-60). Is u at most y?
False
Let m = -460 - -460. Is m less than or equal to -0.23?
False
Suppose -1139*z = -1136*z + 1335. Is -446 at most z?
True
Let t(x) = -x**3 + 6*x**2 + 6*x + 7. Let i be t(7). Suppose 3*r + r + 44 = i. Are r and -1 nonequal?
True
Let u = 429 + -437. Which is bigger: u or -5/4?
-5/4
Let o be (-7 + 5)/(3570/(-5) - 3). Is 1 <= o?
False
Suppose 3*y - 116 = -5*g, -y - 5*g + 33 = 1. Which is smaller: y or 30?
30
Suppose 6*i - 1372 = -322. Suppose -2*r = 5*n + i, -5*n + 319 = -4*r + 44. Is -75 equal to r?
True
Let v be 1 + (5 - 2) + -24. Let f(o) = o + 11. Let a be f(v). Do a and -10 have different values?
True
Let r(y) = -y**3 - 16*y**2 + y + 17. Let j be r(-16). Suppose 5 = -4*c + j. Is c smaller than -3?
False
Suppose 19 = -11*p + 19. Is p < 5/4?
True
Let f = 226 - 240.3. Which is bigger: f or 2?
2
Suppose 14*o - 78 = 34. Is o smaller than -31?
False
Let m = 8 + 32. Suppose 0 = 6*g - 2*g - m. Let k be 11/44*(-24)/g. Which is smaller: -2 or k?
-2
Let d(t) be the first derivative of 1/3*t**3 + 3/2*t**2 - 14*t + 5. Let f be d(-6). Which is smaller: 14/3 or f?
f
Suppose 2*b = 4*s - 4, 2*s + 0*s - 18 = 5*b. Let g be s*(117 + -1)/4. Let t = g + 208/7. Which is smaller: t or 1?
t
Let y = -40 - -121/3. Suppose -5 + 1 = -l. Suppose -l*q - 5 + 1 = 0. Is y smaller than q?
False
Let x = -167 - -490/3. Is x bigger than 1?
False
Let f be ((-1)/1)/((-1434)/(-174) - 8). Which is smaller: -0.2 or f?
f
Let s = -4/235 - -251/940. Let h be (2 - 1214/4)/6. Let b = -50 - h. Do b and s have the same value?
True
Let v be (-24 - -25) + (-1 - 0). Suppose v = -3*l - 3 + 15. Suppose -l*k - 16 = 2*c, 4*k = -8 - 8. Which is bigger: -3/5 or c?
c
Suppose -4*m + 1 = w, -3*m - 11 = -w - 3. Which is smaller: -4/377 or m?
m
Let p be 58*((-5)/25)/(2/5). Which is bigger: p or -28?
-28
Let s(p) = -13*p - 90. Let v be s(-7). Are -2/25 and v non-equal?
True
Let r(h) = -h**2 + 5*h + 66. Let s be r(11). Let y(o) = -o**3 - 5*o**2 + 5*o - 4. Let j be y(-6). Which is bigger: s or j?
j
Let g = -3 + -2. Let d be (-6)/8*g/(-15). Let k = -2 + 8. Is k less than d?
False
Suppose 40 + 113 = -3*a - 3*q, -5*a = -q + 255. Let f(j) = 5*j - 416. Let d be f(73). Is d > a?
False
Let w(j) = 130*j + 3. Let f be w(-1). Which is smaller: -4 or f?
f
Let r = -36.939 + -0.061. Is r equal to 2/13?
False
Let c(l) = -l + 15. Let d be c(10). Suppose -4 = j + 3*q, -d*j - 4*q = q + 20. Let a be (-55)/j*(-10)/(-25). Is a >= 6?
False
Let w(d) = -80*d**3 - 2*d**2 - d. Let c be w(-1). Let u = -51 + c. Which is smaller: u or 27?
27
Let o = -1563 - -1561. Let g be 1/(-4) - (0 + 2). Which is smaller: o or g?
g
Suppose 3*u - 9 = 3*s, 2*u + 7 = -5*s + 3*u. Is s less than 2/617?
True
Let g = 0.52 + -1.52. Which is smaller: g or -235?
-235
Suppose 4*l - 3*m - 13 = 0, -2*l + 3*m = l - 9. Suppose l*d = 2*g - 50, d + 4*g + 30 = -d. Which is smaller: d or 0?
d
Suppose -4*g = -5*p + 78, 4*p = -5*g + 14 + 32. Suppose 4*h + p = 5*b, 10*h + 3 = -b + 5*h. Suppose 3*v + 40 = -b*v. Is v < -7?
True
Let q be (1/3)/((-2)/(-12)). Let m be (-40)/4 + q + -2. Let u(n) = -n**2 - 9*n + 10. Let x be u(m). Is 0 less than x?
False
Let r be (-1 + 16)/(-5 + (39 - -10)). Which is bigger: r or 1?
1
Let d = -2/27 + 1/18. Which is greater: d or 0?
0
Suppose 0 = -19*u - 143 - 23246. Is u greater than -1231?
False
Let a = 13 - 38/3. Let f = 2 + -1.4. Let c = -9.6 + f. Which is smaller: a or c?
c
Suppose 35*w - 61*w = -26. Which is greater: -24/77 or w?
w
Suppose x + 5*d = 245, 5*d = -8*x + 6*x + 505. Do 259 and x have different values?
True
Suppose -4*w + 37 = -5*j, 0 = -8*w + 9*w - 3. Let t = -12 + 20. Let m be ((-10)/t)/j - 0. Which is bigger: 1 or m?
1
Let g = 115 - 23. Does g = 92?
True
Let s = -0.202 - -0.15. Let o = s - -0.352. Let i = 5 - 3. Which is smaller: i or o?
o
Suppose -4*q + 5*d - 1312 = d, 3*q = -3*d - 954. Is q bigger than -323?
False
Let b be (-1)/((-1605)/(-1295)) - (-2)/3. Is -1 at least b?
False
Let c = -1058309/100 + 10583. Which is bigger: 0 or c?
0
Let v be 25/(-2)*12/(-15). Let c(z) = z - 30. Let n be c(v). Let o = 10 + n. Do -9 and o have different values?
True
Let r = -118/1155 - -3/55. Is r smaller than 1?
True
Let g = 8 + -12.2. Let o = 3.5 + -0.3. Let h = o + g. Which is smaller: 1/5 or h?
h
Let s = -347 - -534. Which is smaller: s or -2/5?
-2/5
Let v(h) = h - 1. Let i be v(-9). Let c be (-116)/(-406) - (-706)/(-70). Which is smaller: i or c?
i
Let p(a) = -3 - 2 + 2*a - 64*a**2 + a**3 + 69*a**2. Let w be p(-4). Which is greater: w or 0?
w
Suppose 0 = -k, 5*l - 3*l - 3*k - 174 = 0. Which is smaller: 442/5 or l?
l
Let b = 95 - 113. Is 3 not equal to b?
True
Let d = 25.98 + -26.18. Let p be ((-6)/5)/(13/5). Which is bigger: p or d?
d
Let v = 896.9 + -897. Let u be 3*((-56)/(-78))/2. Which is smaller: v or u?
v
Let k be (96/340)/((-3)/90). Is k != 1?
True
Let a(w) = -w**3 + 11*w**2 + 42*w + 2. Let l be a(14). Is l < 113?
True
Let j = 108 - 181. Let b = j - -70. Is -2 less than b?
False
Let v = 593053/438 - 1354. Let i = -98/5037 - v. Let l = 177/322 - i. Is l bigger than 0?
True
Suppose -2*z = -9 - 25. Is z <= 18?
True
Suppose 0 = r - 4*n - 0*n - 24, 2*n = -r - 6. Let u be ((-3)/(-6))/(2/r). Let v = 644.9 - 646. Is u equal to v?
False
Let u(v) = 15*v + 16. Let f be u(-11). Do f and -150 have the same value?
False
Let t be -3 + 0 + (-3 + 3)/(-1). Which is smaller: 14 or t?
t
Let n be (-52)/(-14) - 4/(-14). Let c be (-24)/15 + (n - (-4 - -8)). Is -2 bigger than c?
False
Let s be (((-280)/(-15))/8)/((-24)/228). Which is smaller: s or -21?
s
Let j = -2444 + 457030/187. Let h(b) = b - 11. Let s be h(10). Which is greater: s or j?
j
Let j be -80 - (-16)/(-4) - (-6)/2. Let f = j + 81. Suppose 0 = -u + 2*u. Are u and f nonequal?
False
Let z = -13 - -21. Let v = 57 + -49. Let s = v - z. Which is greater: s or 1.3?
1.3
Suppose 0 = 2*u - 6*u - 