864. Which is smaller: k or -1?
-1
Let l(t) = -8*t**2 + 76*t + 42. Let y(q) = 4*q**2 - 38*q - 21. Let r(f) = 3*l(f) + 7*y(f). Let g be r(9). Is g > -44?
True
Let m = -304 + 320. Let s be 4/m + 15/(-12). Let k = -26 + 103/4. Which is bigger: k or s?
k
Let x be (61891/30950 + -2)*(-22)/(-66). Is -1 < x?
True
Let i = 10/33 - -331/33. Let s = 15/686 + 18029/6860. Let x = s - 12/5. Which is smaller: i or x?
x
Let w = 45 + -47. Let r be 888/21 + w/7. Let x = 757/18 - r. Is 0 less than x?
True
Let c(d) = d**3 - 32*d**2 + 185*d + 7. Let r be c(20). Does -1091 = r?
False
Let d be (-783)/(-18)*(-2)/(-12)*-8. Which is bigger: 7 or d?
7
Suppose 2*m + 14 = 5*y, m = -3*m + y + 8. Let o be (-216)/(-70) - (-144)/(-180). Which is greater: m or o?
m
Suppose 15*z - 1 = -5*y + 14*z, 2*y + z - 1 = 0. Is 2/2747 at most y?
False
Let p be 12 - (-1813 + -2 + -12). Which is smaller: p or 7361/4?
p
Let m = 358 - 350. Let o be 0/(-6*(m/3)/8). Do o and 3/205 have the same value?
False
Let u be (4/(-76))/(1*-1). Suppose 3*p + 23*j - 483 = 27*j, 5*p + 5*j - 840 = 0. Let i = -164 + p. Is u at most i?
True
Let v be (-1 - -3)/(24/876). Suppose -3*l + 191 = 4*z, 2*z + 4*l - 7*l = v. Which is smaller: z or -1/3?
-1/3
Let g = 0.2455 - 0.1455. Are 1001 and g equal?
False
Let n be (-4)/(-7) - ((-21522825)/6146)/1. Let k be 28020/8 + 1 + -1. Let a = k - n. Is a less than or equal to 0?
False
Let y(p) = -p**3 + 19*p**2 + 42*p + 5. Let k be y(21). Suppose 5*t - 2*z = z + 16, k*t - 5*z - 10 = 0. Suppose -6*o + 11*o - t = 0. Is o >= 1?
True
Let c = 478.0703 - 5.1253. Let y = -473 + c. Which is smaller: y or 1/2?
y
Let a = 62 + -65. Let s be 243/79 + -6 - a. Are s and -1 equal?
False
Let m be 21/72*324/1701. Suppose -27 = 2*x + 5*d, -4*x + 2 = -x - d. Does x = m?
False
Suppose f = 2*f - 4. Suppose 92 = 7*g - 678. Let j be -1*(-7)/56 + g/16. Is f greater than or equal to j?
False
Let p be (-1 + (-13)/(-3))*(11 - -1). Let i be -9 + (-232)/(-24) - p/(-3). Is i smaller than 4?
False
Let i = 304248 - 304249. Let l = -12.5 - -193.5. Which is greater: i or l?
l
Suppose -3*q + 8*q + 20 = 0. Let r be (-147)/q + -5 + 7. Let o = 38 - r. Which is greater: -0.7 or o?
-0.7
Suppose -74*v + 10 = 13 - 3. Is -6/2869 at most as big as v?
True
Let j = 40 - 4. Let d = -79 + j. Let h = 40 + d. Is 0 equal to h?
False
Let u be 5*221/(-65)*-82. Are u and 1396 non-equal?
True
Let o = -26787 - -24778. Is -6026/3 greater than o?
True
Suppose 0 = 5*j - 2*s - 13, -18*j + 21*j = -3*s - 9. Is j at most as big as 5/2618?
False
Let t(r) = 8*r - 53. Let b be t(-11). Let s = 143 + b. Which is smaller: s or 4?
s
Let u = -67 - -66.6. Let l = -2.2 + -27.6. Let r = l - -29. Which is greater: r or u?
u
Let u be (-31)/((-12121)/(-2380)) - (-4 - 2). Let x(k) = -3*k + 5. Let l(b) = b - 3. Let m(c) = 5*l(c) + 2*x(c). Let n be m(-4). Does n = u?
False
Let l be (17 - 15)*34962/(-60). Is l smaller than 2?
True
Let t = 104 + -104. Let d be (-54)/(-114) - (-8 + 9). Is t < d?
False
Suppose -2423 = -79*t + 76*t + i, i + 4037 = 5*t. Which is smaller: t or 803?
803
Suppose -2*j + 56 = -20. Let o = -230 - -267. Is j < o?
False
Let d be 12/(-66)*4/2. Does d = -4/23?
False
Let c = 2102 + -2102. Is 106/131 >= c?
True
Let s = -282.08 + 284. Let a = s - 1.9. Let f = -14 + 13.9. Which is smaller: f or a?
f
Let m = 1308 - 1306. Suppose -9 = -d + b - 2, -3*b = -d + 17. Suppose -a = 4*i + 2*a - m, 10 = -d*i + 4*a. Which is smaller: -3/5 or i?
i
Let c = -145 - -82. Suppose -1306*q - 2*t = -1305*q + 79, 0 = 3*q + 4*t + 219. Is c <= q?
True
Let m = -652 + 490. Suppose g - 6*g - 3*w = 819, 2*w = 4*g + 642. Is g at most as big as m?
True
Let z be 2*2 - (16/10)/((-238)/(-595)). Is z less than or equal to 871?
True
Let b be 3/(-15) - (-108)/15. Suppose -v = -b - 8. Let o = v + -23. Which is greater: o or -7?
-7
Let i = -28717 - -29836. Does 1109 = i?
False
Suppose 4*j = -8*w + 4, 32*w + 5 = -j + 36*w. Are 1/9711 and j nonequal?
True
Let j be (-9)/(-12) - 705/12. Let r = j + 54. Let d be r/14*12/(-18). Which is smaller: -1 or d?
-1
Let n = 55 - 105/2. Let m be (4/(-3 - -7))/(4/56). Let h be m/(-21) - (4 + -4). Is n greater than or equal to h?
True
Let w = 63115/1368 + 13/152. Let c = w - 46. Let d = 8.45 - 8.61. Does d = c?
False
Let h = -3566 + 3566.055. Which is greater: 14 or h?
14
Let w = 1900 - 1897.866. Let t = 0.134 - w. Are t and 1.32 equal?
False
Suppose -3723 = a + 5*r, 0 = -24*r + 22*r + 14. Is a > -3757?
False
Let f be (0/(-1))/(0 + (5 - 7)). Let t(x) = x**2 + x + 6. Let c be t(f). Suppose s + c*z - 22 = 3*z, -32 = -2*s - 3*z. Is s at least 0.3?
True
Let j be (10/18)/(9*(-22)/99). Let b = -3 + 2. Is j greater than or equal to b?
True
Let t = 1700 - 696. Let h = t - 994. Is h smaller than 0.2?
False
Let j(p) = -2*p**2 + 7*p + 2. Let c be j(5). Let t = c - -17. Let o be (-20)/(-6) - (8 - 13) - 5. Is t at least o?
True
Let g = -2 - 1. Suppose -5*m = 5*h - 1435, 2*m - 6*m - 604 = -2*h. Let d = -296 + h. Is g at most d?
False
Let r = -382.4 - -36.2. Let s = -349 - r. Which is bigger: 0 or s?
0
Suppose -a = -5*w - 145, -a + 5*w - 115 = -2*a. Is a equal to 135?
False
Let o(h) = -189*h**2. Let v be o(-1). Is -191 less than v?
True
Let g = 16623/5 - 3325. Which is smaller: g or 86/21?
g
Let p = -114190 - -113593. Let k = 2 - 3. Is k greater than p?
True
Let p = -464265 - -461896.07. Let d = p + 2329. Let j = 40 + d. Is j greater than or equal to 2?
False
Let s = 492 - 328. Let n = s - 244. Let m be ((-3)/92)/(90/n). Which is greater: 1 or m?
1
Let x = -8 - -24. Let t = -1741 - -1746. Suppose -t = n, h - 3*h = -2*n + x. Which is smaller: h or -14?
-14
Let v(q) = 2*q**3 + 40*q**2 - 2*q - 41. Let u(a) = -19*a**2 + 4*a + 3. Let n be u(-1). Let l be v(n). Which is greater: 2/5 or l?
2/5
Let a = -26967.02586 + 26967. Which is greater: -0.1 or a?
a
Let w = -18994 + 18993.95. Let m = -0.7 + -5.3. Let p = 2 + m. Which is smaller: p or w?
p
Let b(q) = q**3 + 33*q**2 - 5*q - 12. Suppose -5*d - 79*c - 165 = -78*c, 99 = -3*d - 3*c. Let g be b(d). Which is smaller: g or 152?
152
Let f = -117.88 + 190.8. Let q = 73 - f. Let s = 0.06 - 0. Which is bigger: q or s?
q
Let p be ((-9)/6)/(1/4). Let z(h) = -9*h - 6. Let k be z(p). Suppose 169*w - 3648 = 93*w. Is w at least k?
True
Let b be 61/3*((-96)/(-16) + -3). Suppose -49 - 67 = -2*g + 4*z, 65 = g + 5*z. Are b and g nonequal?
True
Let x(z) = -717*z - 13809. Let y be x(-8). Is y bigger than -8075?
True
Suppose -21*i = -23*i + 112. Suppose -34*c = -i*c + 286. Which is smaller: 136/11 or c?
136/11
Let b = 17.8 + -20.62. Let g = -2.82 - b. Are 5/4 and g equal?
False
Let q = -462 - -451. Let u(c) = c**3 + 11*c**2 - c - 2. Let k be u(q). Which is bigger: 99/10 or k?
99/10
Let a be 3/(-9) - 15/27. Let r = -0.74 - -52.74. Let y = r - 51. Do a and y have different values?
True
Let o = 5364 - 5364.05. Let k = 5.02 + -5. Let f = k + -0.02. Which is smaller: o or f?
o
Suppose 0 = -u + 5 - 14. Let z be u/((-10035)/(-3350)) - -3. Which is smaller: z or 0?
z
Let a(x) = 2381*x + 32. Let o be a(3). Let y be (-21)/o*(3/(-6) + 3). Is 0 greater than y?
True
Let b = -238 + 304. Let s = b - 62. Is 21 <= s?
False
Suppose 4*d + 133 = 5*g, -g - 3*d - 5 = -24. Suppose -2*x - 15 = 6*f - 9*f, -g = -5*f. Which is bigger: -15 or x?
x
Suppose -48*f + 49*f = 10. Suppose 4*y = f*y - 114. Suppose -5*g - y = -o, 2*g + 29 = -4*o + g. Which is greater: -25/4 or o?
o
Let w be -17 - (-10 - -220)/(-14). Is w greater than -19/28?
False
Let d be (-1)/3 + 3/(45/(-490)). Let m = d - -45. Let s be -1 - -24*(20/m - 1). Is 15 at most as big as s?
True
Let x be (-15)/(-40) - (12/24 + 55/8). Let z be 1 + 2 + -7*185. Let q = z + 5143/4. Is x >= q?
False
Suppose -3*c + 1382 = -2*x - 4*c, 4*x = -c - 2766. Let g = x - -692. Do g and -8/59 have different values?
True
Suppose 0 = 3*y + 2*q + 2041, -5*y + q = 820 + 2599. Is y smaller than -679?
True
Let c = -42.2 - -37. Let s = -9.57 - -4.57. Let w = s - c. Which is smaller: w or -14?
-14
Suppose -4608 = -27*t - 42246. Is -1393 not equal to t?
True
Let n(o) = o**2 + 19*o + 1. Let w(y) = -y**2 + 5*y. Let x be w(4). Suppose 0 = -u - x, -2*l + u - 12 = 22. Let r be n(l). Is r at least as big as -2/23?
True
Let y be ((-5280)/(-210) - 25)*(-1961 + 0). Which is greater: y or -279?
-279
Let i = 30985.7 - 30986. Let d = 0.4 - 0.41