19. Let i be s(u). Which is bigger: i or -9/23?
i
Let a(f) be the third derivative of f**6/120 + 4*f**5/15 - 29*f**4/8 + 15*f**3/2 - f**2 - 77. Let c be a(-21). Which is greater: c or -332?
-332
Let q = 414.63 - 413.8. Let u = 74/93 - 4/31. Is u bigger than q?
False
Let y(r) = -r**3 - 4*r + 14. Let t be y(3). Let o be 4 + t/6 + 35/(-294). Let m = -1 - -2. Is m bigger than o?
True
Suppose 792 = -0*f + 8*f. Let q = f - 1. Are -2/7 and q nonequal?
True
Suppose -4*z - 4*k = 0, 0 = -z - 0*z + 4*k. Suppose -3*m - 33 - 15 = z. Is m less than or equal to -1?
True
Let u = 2935 - 2990. Does u = -23?
False
Let d = 3.47 - 0.37. Let l = d - -12.9. Let b = -16.13 + l. Is -1 at least as big as b?
False
Let c = 221.8 + -198. Let m = -0.3 - c. Let f = -24 - m. Is -0.33 != f?
True
Suppose 3*o - 2*x = -26, 5*x - 18 = 2*o + 3. Suppose 11 = -49*z + 44*z + k, -5*z + 3*k - 23 = 0. Is o less than or equal to z?
True
Let y = -379 - -246. Let o = y + 133.13. Do -1 and o have the same value?
False
Let b be (0/(-47))/(1 - 0 - 0). Suppose -f + 10*f - 45 = b. Suppose -3*k + f*y = -110, -3*k - 3*y + 102 = -6*y. Which is smaller: 29 or k?
29
Let j(p) = 12*p**2 + 13*p - 667. Let y be j(0). Is y at most as big as -662?
True
Let x be 3*(0 - (-2 - -1))*9. Suppose 19*l - 16*l = x. Which is greater: l or 5?
l
Let g be (-4)/18 + 5317652/11473560. Let i = 1/45530 + g. Let s = i - -2/45. Which is smaller: 11 or s?
s
Let u be ((-48)/(-4)*158 - (-5 - -2)) + 5. Do u and 1907 have different values?
True
Let r be (35/(-70))/(3/(-9996)*-2). Let p = -837 - r. Which is bigger: p or -16?
p
Let s = -7/1889 - 20881/1501755. Are s and -1 non-equal?
True
Let n = 32855719/6304996 - 3/57844. Which is bigger: 6 or n?
6
Let y = -17509/40 + 2188/5. Which is smaller: 0.83 or y?
y
Let r = -2.2 + 3.32. Let a = 83.26 - 82. Let y = a - r. Which is smaller: 1 or y?
y
Let x be (-3)/2*2 + 11442/3828. Let g = 6015/431926 + x. Which is bigger: g or 1?
1
Let g(x) = -x**2 - 51*x - 50. Let w be g(-1). Is w at most -1/4514?
False
Suppose 0 = 5*o + 3*g + 6025, -107*g + 106*g + 2421 = -2*o. Is -1208 < o?
False
Let c be -2*(3 - (7 + -3)). Let m(v) = -v**3 - v - 4. Let k be m(-2). Suppose c*h + 4 = k*h. Is h > -2/29?
True
Suppose -4*t - 116 = -2*n - 2*n, -t - 32 = -4*n. Let y be (-1 - -3) + 128/(t/(-7)). Let s be (2/186 + 0)/(y/204). Is -1 greater than or equal to s?
False
Let m = 2532744/869 + 946811473/62568. Let j = -18046 + m. Let z = 9/8 - j. Is z <= 0?
False
Suppose -4*z = -6*c + 4*c + 1400, -2*c = 2*z + 694. Let a = -353 - z. Are a and -4 equal?
True
Suppose 1372 = 24*n - 31*n. Let x = 159 + n. Which is smaller: x or -73/2?
x
Suppose z - 39 = 168. Let v = z - 124. Is v < 82?
False
Suppose 2*w + 4*o + 680 = 0, -4*w - 1338 = -125*o + 122*o. Is w less than -336?
False
Suppose u - 2*k - 120 = 0, -12 = 2*k - 18. Suppose 31 = -127*w + u*w. Which is bigger: w or -35?
w
Let s = 0.18 + -0.08. Let f = 0.051 - 0.001. Let q = f - -0.25. Is s less than q?
True
Let q = -734 + 2243/3. Let r(t) = 13*t**2 - 5*t**2 + 5*t**3 - 4*t**3 - 3 - 11*t. Let v be r(-9). Is q at least v?
False
Suppose -35*o + 295 = -90. Suppose -20*n - 9 = -o*n. Does n = 18/55?
False
Suppose -64 = -9*n + 2906. Suppose -4*z - z = -5*o + n, 3*o + 2*z - 218 = 0. Is 68 at most o?
True
Let s(t) = -4*t**3 + 2*t**2 - t + 6. Let l be s(2). Let x be (-10 - 210/l) + (-95)/(-2). Which is bigger: x or -0.3?
x
Let x(i) = -2*i - 36. Let f be x(-15). Let u be ((-3)/f)/((-10)/(-8) - 1). Suppose -u*z + 5*l + 37 = z, 6 = -z - 2*l. Is z less than or equal to 4?
True
Suppose 14*m = 105 - 7. Suppose -14 = -2*q - 3*j + m*j, -5*q - j + 13 = 0. Is -35 less than or equal to q?
True
Let q = -5829 + 3689. Is q at least as big as -0.2?
False
Suppose 137004 = -0*r - 21*r. Let f be (1/6)/(5 - r/(-1308)). Which is smaller: f or 14?
f
Let q(a) = -a**3 - 8*a**2 + 25*a - 22. Let m be q(-12). Let n be 192/(-36)*m/(-8). Which is smaller: n or 168?
168
Let o = 5308.9 + -5309. Let a = -17 + 46. Which is bigger: a or o?
a
Let g be 10 + 9 - 14*(3 + -2). Suppose -2*j = -4*u + 16, -4*u + 22 = -0*j + j. Which is bigger: j or g?
g
Let l(w) = 18*w**3 - 2*w**2 - 3*w - 2. Let t be l(-1). Let d be 22/(-12) - t/(-114). Let c be ((0 + -3)*d/(-3))/5. Is -3/5 less than c?
True
Let d = -0.21 - -0.01. Let f = 253 + -251. Is f != d?
True
Let r = 5649655/112 - 50443. Let q = 15551/44016 - r. Which is smaller: q or 1?
q
Let j be -6 - ((-1290)/5)/6. Let v = j + -37. Is 4 at least v?
True
Suppose 75*a - 15*a + 23*a = -1079. Suppose -5*b - 2*m + 35 = m, -b = -2*m + 6. Suppose 5*j = 4*q - 14 + 85, -50 = b*q + 2*j. Which is smaller: q or a?
q
Suppose 76*q - 137*q + 30616 = 117*q. Is q > -11?
True
Let x = -2686 - -2697. Which is smaller: x or 4?
4
Let l(c) = -119*c + 288. Let d be l(4). Is d less than or equal to -5?
True
Let v(z) = -2*z - 34. Let k be v(-18). Suppose -3*d + 15 = 3*w, 2*w - k*d + 3 = -3*w. Let j be -1 + ((-3)/3)/(2 - w). Are -5 and j unequal?
True
Let w be ((-14)/4)/(1/8). Let i(q) = -60*q - 569. Suppose 0 = 10*u - 34*u - 216. Let m be i(u). Which is greater: w or m?
w
Suppose 55*h - 82 - 35 + 7 = 0. Is 50/27 at most as big as h?
True
Let s = 3.793 + -0.093. Let q = s + -7.8. Let b = q - -4.2. Is b <= 2/15?
True
Let j = 23350/1685937 - -4/11957. Let i(u) = u - 2. Let t be i(3). Do t and j have the same value?
False
Let n = -196.18 + 320. Let b = n - 122. Let y = -1.18 - b. Is y >= -26?
True
Suppose 9*o - 3496 = 3857. Let f be (-1)/1 + 731/o. Let h = 0.1 + -0.1. Which is smaller: f or h?
f
Let f be 4/(-1) + 4 + 2 - 3. Let i be ((-74)/(-80) + f)/(96/(-20)). Which is bigger: i or 1?
1
Suppose 0 = 3*l + 5 + 7. Let j be ((-18928)/708)/4 + l. Let y = -1/59 - j. Is 10 less than or equal to y?
True
Let c be 1 + 2 + 1/1. Suppose -12 = -5*b + c*x - 60, -b = -3*x + 3. Is -10 equal to b?
False
Let a(f) = -37*f**2 - 277*f + 2008. Let p be a(7). Which is smaller: -1749 or p?
-1749
Let n = -136 + 137. Let j = 2/1657 - 48063/8285. Does n = j?
False
Let q(v) = -310*v + 229. Let s be q(1). Let p be (5/(-4))/((-2)/(-128)). Which is greater: p or s?
p
Let x = 57996/59 + -983. Let l = 19 - 12. Let y be 4/l + (-3)/(-7). Which is greater: y or x?
y
Suppose -3*b + 2 = 5*p + 12, 3*b + 2 = -p. Suppose -56*i - 22*i - 264 = -12*i. Which is smaller: i or b?
i
Let w = 412977/7 + -58997. Let h = 704293587/2768044 + 8936/11729. Let k = h + -1021/4. Which is smaller: w or k?
w
Suppose 8*y + 70 = 62. Is 3/770 at most y?
False
Let a = 44155232/179 - 246678. Which is bigger: a or -2?
a
Let u(s) = -s**2 + 10*s + 16. Let v be u(11). Suppose 2*p = 4, 4*h - v*p = h - 13. Is h at most -2?
False
Suppose 37*p + 1234 = -45*p - 160. Which is greater: -16 or p?
-16
Let f(z) = 2*z**2 + 22*z - 7. Let h be f(-15). Suppose 0 = 6*b + h + 31. Which is smaller: b or -25?
-25
Let w = 3680 - 3681. Is 1/711 > w?
True
Suppose -32*v + 155*v = 1107. Which is smaller: v or -40?
-40
Let z = 5.7 + -0.7. Suppose -2*s + 76 = -7*q, 476*q = 475*q + 2*s - 16. Is z smaller than q?
False
Let k = -1.9798 + 0.4798. Are k and -0.363 non-equal?
True
Let c be 8/6 + 168/(-126). Suppose c = 3*b + u - 4, -18*b - 8 = -19*b + u. Which is greater: b or -46?
b
Let l = -68.7 - -27.5. Let z = -41 - l. Let f = -4/9 - -1/9. Are f and z non-equal?
True
Let h(v) = -v**3 - 23*v**2 - 27*v - 761. Let x be h(-26). Is 1969 < x?
False
Let s(j) = -j + 82. Let z be s(85). Is 351 at most z?
False
Let o = 3567 - 3913. Which is smaller: o or 3?
o
Let q(b) = -7*b + 1. Let g(c) = -c**2 + 26*c - 120. Let l be g(6). Let y be q(l). Let w be 3 + ((-2415)/(-114))/(-7). Is w less than or equal to y?
True
Let k be (-473271)/(-460) + -20 - 1/4. Which is smaller: k or 1008?
1008
Let y = -1.012 - -0.912. Let h = 7545 - 7501.97. Let k = 1.03 - h. Which is smaller: k or y?
k
Let n = -145 + 147. Let i be (3/n)/(-3)*4. Which is greater: i or -7/3?
i
Let a be (-1)/(4*(-30)/(-21288)). Let o = -916/5 - a. Is -6 at most o?
True
Let d = 9459 - 6288. Which is greater: d or 0.2?
d
Suppose -d - 1 = -4*u, 2*u = -3*d - 12 - 19. Let f = 7102/35 - 22181/105. Is f at least as big as d?
True
Let f = -0.7 + -3.3. Let k = 16699 + -16695. Is k greater than or equal to f?
True
Suppose -d = 2*v - 6, 4 + 10 = -d + 3*v. Let b(j) = 0*j**3 + 2*j**3 - 2*j - 3*j**3 - 3 - 3*j**2. Let p be b(d). Is -5 at least as big as p?
False
Let s 