9. Which is bigger: k or 1?
1
Let l = -138 + 107.3. Let f = 3.3 - l. Let t = f + -33.8. Is t != 7?
True
Let f be -2 + ((-87372)/(-11895))/4. Let t = -3/305 - f. Which is smaller: t or -19/3?
-19/3
Let l(v) = 3*v**2 + 14*v + 20. Let n be l(-4). Let d(h) = 9*h - 84. Let j be d(n). Is j greater than 31?
False
Let g be 1 - 1 - (-13*1 - 1568/16). Is g <= 104?
False
Let t = 5316 - 5395. Which is greater: t or -2/13?
-2/13
Let d(s) = 259*s + 2469. Let k be d(-17). Which is greater: -1935 or k?
k
Let a(b) = -43*b + 13. Let z be a(-1). Suppose 26*c + z = 12*c. Suppose 0 = -4*w - 1 - 3. Which is smaller: w or c?
c
Suppose 0 + 0 = -y. Let w be (1/2)/((-2)/(-8) + y). Suppose -o - 16 = 4*q - q, w*o + q = -52. Is -28 at least as big as o?
True
Let q be 914/1812 - (-2)/(-4). Let y(n) = -4*n**2 - 153*n - 184. Let t be y(-37). Does q = t?
False
Let h = 28671 - 774101/27. Which is smaller: h or -5/17?
-5/17
Let m be 238/12 + (-1 - -2)/6. Let x be 3 + (-52)/m + (-12)/20. Let w(d) = d**2 + 11*d + 9. Let a be w(-11). Does a = x?
False
Suppose x = 4*p - 1, 3*x - x = -4*p + 46. Let b(j) = j**2 + 3*j - 23. Let l be b(5). Which is smaller: l or x?
x
Let n = 421 + -169. Suppose 172*u - 45 = 163*u. Suppose -4*a + 5*y - n = 0, -u*a + 0*a = 5*y + 315. Which is bigger: -1/2 or a?
-1/2
Suppose -6*c + 112 = 40. Let g be 24/36 - (-4)/c. Are 0.1 and g equal?
False
Suppose -s - c + 8 = 0, s - 3*s = -c - 7. Suppose 2*l + s*b = -78, 2*b + 11 = -l - 29. Which is greater: l or -45?
l
Let w(y) = -203*y + 386. Let r be w(9). Which is greater: r or 1/2?
1/2
Let f be (-40)/(-60) - 386/(-3). Let l = -129 + f. Suppose 2*y + q - 13 = 0, 0*y - 17 = -2*y + 3*q. Is y less than l?
False
Let r(c) = -2*c**2 - 133*c - 1295. Let l be r(-11). Which is greater: -63 or l?
-63
Suppose 2531*i = 2434*i + 194. Which is bigger: 119/50 or i?
119/50
Let p be 2/(8/(-48)*-3). Let d be 14 - (-2 - (-1 - -6 - p)). Is d less than 2/3?
False
Let x be ((-368)/30)/(3/5). Let f(j) = 2*j**3 + 95*j**2 + 109*j - 1354. Let i be f(-46). Which is greater: x or i?
i
Let i = 1504 - 1508. Let u be (7/12)/(10/(-45)). Which is smaller: i or u?
i
Let b = -263.6 + -389.4. Which is bigger: b or 0.1?
0.1
Suppose 0 = 9*n - 6*n - 132. Let z = n - 39. Suppose z = -3*j + 8. Do j and 2/51 have the same value?
False
Suppose 280*l - 362*l - 78802 = 0. Is 5 at most l?
False
Let u be (-2)/(3/6*-2). Let w be 87/84*-2 + u. Let s = -11702 - -11703. Which is greater: s or w?
s
Let q be 1 + 2/(-1) - (-8 + 7). Suppose q = -8*s + 6*s + 174. Let d = -85 + s. Do d and 14 have the same value?
False
Let w = -11.64 + 11.53. Is w > -3.8?
True
Let w be ((-20)/(-90))/((-10)/(-45)). Is 4/991 bigger than w?
False
Let k be -14 - ((-5852)/1485 - 10). Does k = 1?
False
Suppose -21*m - 630 = -30*m. Suppose -j + m = 3*s, s + 3*j + 0*j = 18. Which is smaller: 25 or s?
s
Let h = 514 - 520. Let v be (-2)/h - (-15)/(-531). Which is smaller: 0 or v?
0
Suppose 3*f = 4*r - 50 - 27, f = -r - 28. Let o = -77/3 - f. Which is bigger: 1 or o?
o
Let z = 2.01 - -26.79. Let i = z - -0.2. Let v = i - 29.1. Which is smaller: 1.1 or v?
v
Let w(h) = -h**2 - 41*h - 288. Let n be w(-32). Let k(b) = -2*b**3 + b**2 - 2*b + 1. Let j be k(1). Let x be 28/63*(-5)/j. Which is smaller: x or n?
n
Suppose 0 = 12*b - 15*b. Suppose -4*a - 2*g = -8*a - 4, b = -a - g + 2. Do a and 0.002 have the same value?
False
Suppose -7 = q - 5*r - 45, -190 = -5*q - r. Let u = -38 + q. Suppose u = 5*a - 0*a - 25. Which is smaller: 3 or a?
3
Let i = -1456 - -1498. Which is greater: i or 40?
i
Let k = -2/2193 - -2933/811410. Is k greater than 0?
True
Let f be (14 - 14)*1/(-2). Suppose f = 10*g - 3*g - 49. Suppose g*w + 40 + 9 = 0. Is w at most -7?
True
Let f be (6/4)/((-3)/(-22)). Let v = 9 - f. Suppose -4*d = -43 + 51. Is v not equal to d?
False
Let a be (-4805)/217 + -1*(-9)/(-21). Suppose -6*x + x - 115 = 0. Are a and x non-equal?
True
Let u be ((0 - -5)/1)/1. Let a(c) = -3*c**2 - 2*c + 9*c**2 - 3*c + 25 - c**3. Let v be a(u). Is v equal to 24?
False
Let b = 1150 + -1148. Do b and 23/31 have the same value?
False
Suppose 2*i + 292*k = 295*k + 21, 5*i - 56 = 4*k. Let l(p) = 3*p**2 + 2*p + 4. Let t be l(-3). Let g = t + -12. Which is bigger: i or g?
g
Suppose 0 = 5*t + u - 13089, 161*t - 4*u - 7881 = 158*t. Is t at least -2/7?
True
Suppose 53*d + 1180 = 48*d. Let b = d + 236. Which is smaller: -16/17 or b?
-16/17
Let w be 864/(-2430) + 8/10. Let f = -2 + -4. Let m = f + 6. Which is smaller: w or m?
m
Let z = 51 + 28. Let x = -47 - z. Which is bigger: -2/5 or x?
-2/5
Let n = 3 + -12. Let v = 97950 - 1273460/13. Which is smaller: v or n?
n
Let q = 2 + -1.5. Let n = 0.5 - q. Suppose 31*s + 6*s - 2*s + 700 = 0. Are s and n equal?
False
Let p = -29.035 + 29. Let v = p - 4.665. Let w = v - -4.9. Which is bigger: -1.4 or w?
w
Suppose -2*k = k + 4*d - 9, 0 = -d. Suppose 3*b = -6 - k. Which is smaller: b or -5/2?
b
Let d = -2221.9 + 1749. Let m = d + 464. Which is greater: -0.2 or m?
-0.2
Let d be ((-12)/(-15))/((-24)/20 - -1). Let n = -0.245 + 0.045. Is n at most as big as d?
False
Let v be (-2 + (-15)/(-9))*-6. Let n be 0 - 3 - v/(-1). Let j be (-434)/(-93)*(-1)/3. Which is smaller: j or n?
j
Let c(q) = -q**3 - 9*q**2 - q - 10. Let f be c(-9). Let o = -1 + -11. Let r be 11/o + (168/32 - 5). Is f not equal to r?
True
Suppose -4*o - 8 = 0, 4*a - 7*o = -9*o. Suppose 23 = -3*p - 19. Let k be (-10)/p + 2 + -2. Which is greater: k or a?
a
Let g = -3.274 + 3.674. Is -197 <= g?
True
Let z(i) = -i**3 + 11*i**2 - 13*i - 6. Let c be z(8). Let m = 576/7 - c. Let n = -21.6 - -23. Is m greater than n?
False
Let m be (-24)/9 - (-2035)/759. Is 8 at most as big as m?
False
Let j be -1 + (-217)/(56/(-8)). Let t be j/75 - (-86)/360. Which is smaller: 1 or t?
t
Let j(b) = -12*b**3 - 5*b**2 - 5*b. Let z be j(-3). Does z = 298?
False
Let r(j) = 2*j**2 - 6*j + 13. Let n be r(5). Let o(p) = p**3 - 15*p**2 + 15*p + 18. Suppose 22 = 5*q - 48. Let l be o(q). Which is smaller: n or l?
l
Let d(i) = 4*i**2 + 21*i + 39. Let y be d(-6). Is 50 at most as big as y?
True
Suppose 26*i + 20821 - 21133 = 0. Suppose 5*p - 52 = -2. Is i < p?
False
Let j = -13/1254 + 1/22. Let x = -86 - -82. Let a be 0*5/(-25)*(-1)/x. Which is smaller: j or a?
a
Let r(m) = 24*m + 1775. Let s be r(-67). Let k(v) = 6*v**2 + 4*v - 3. Let y be k(5). Do y and s have different values?
False
Let l(c) = -3*c**2 + 231*c + 708. Let f be l(70). Is 2180 at most f?
False
Let z = -7596 + 7597. Is z bigger than -220?
True
Let h be (80/54)/((-7)/21). Suppose 80 = -2*t - 4*r, 9*r - 34 = t + 14*r. Let d = -47 - t. Is d equal to h?
False
Let y(c) = -85 + 16*c + 31*c - 53*c. Let f be y(-11). Suppose -3 - 92 = 5*r. Is f > r?
False
Suppose -6*y - 3*i + 7 = -10*y, 4*y = -2*i - 2. Which is smaller: -70/31 or y?
-70/31
Let i be 1/(-16) + 10094/224. Suppose 2*w = w + 44. Are i and w nonequal?
True
Let s = 1131 + -3256. Do s and 1 have different values?
True
Let p = 4/2947 + -5811/2110052. Is -1 less than p?
True
Suppose 77*k - 223 = -300. Which is greater: k or 2/15673?
2/15673
Suppose 43 = -3*o - 4*j, -13*j = -9*j + 28. Which is smaller: -300/73 or o?
o
Suppose 1 = o - 2. Let h(f) = 15*f**2 - 3*f**2 - 2176*f + 2174*f. Let a be h(1). Which is smaller: a or o?
o
Let d = 0.057 - 82.057. Let h = d + 80. Which is bigger: 188 or h?
188
Suppose 664 + 166376 = -120*p. Is p > 0.2?
False
Let c = 314 - 226. Suppose -102*v = -c*v - 2338. Is 166 bigger than v?
False
Let x = 20.28 - 18.28. Which is smaller: x or 0.35?
0.35
Let c(t) = t**3 - 3*t**2 + 14*t + 3. Let w be c(6). Let r = w + -305. Is -110 != r?
False
Let i = 52 + 420. Let z = 335 - i. Which is smaller: z or -136?
z
Let m be 1252*(-13)/(-52) - (-1 - 0). Which is smaller: m or 289?
289
Let i = 18 - -84. Suppose -3*g - 72 = 2*n, -n - 39 = -3*g - i. Which is bigger: -15 or g?
-15
Suppose 3*x + 742 = -4*b, -577*x + 1218 = -582*x - 2*b. Which is greater: x or -3152/13?
x
Let u be -9*(0 - (-8)/6). Let s be 63/6 + (2 - (-7)/(-2)). Let z = u + s. Which is smaller: -8/5 or z?
z
Let g be 1 + -2 - (-1)/(-3)*(1 - -2). Is g equal to -2/27?
False
Suppose -5 = -5*z + 20. Suppose 0 = -z*k - 10 + 35. Let r be 15/k + (-1 - 16). Is -12 at most as big as r?
False
Let p(z) = 82*z - 1315. Let x be p(16). Does x = -84/25?
False
Let d be ((-6)/(-12))/(21/(-42)). Which 