9. Let j = b + 168. Which is greater: -10 or j?
-10
Suppose 2*m + 6 = 3*x - 1, x - 3 = m. Suppose -p + 6 = 2*d - x, 0 = 4*p - 3*d + 5. Let i be 1/(-4) + (-858)/(-552). Is i bigger than p?
True
Suppose -1646*t + 20 = 5*l - 1641*t, 4*t = -l + 19. Is l greater than -152/113?
True
Let t(s) = 2*s**2 - s + 228. Let g be t(0). Suppose g = 4*w + 2*w. Suppose -3*h + 89 - w = 0. Is -0.1 equal to h?
False
Let t = -11.1 + -3.9. Let v = 14 + t. Let h = -19.2 - -19. Which is bigger: h or v?
h
Let x(a) = -a**2 + 172*a - 2914. Let n be x(19). Is n > -164?
True
Let g = 0.244 + -0.315. Let s = g + -0.029. Let q = -0.3 - 14.7. Which is bigger: s or q?
s
Let f(j) = 5*j + 182. Let o be f(-38). Which is smaller: -17/2 or o?
-17/2
Let s = 0.03 + -0.026. Let j = s - 1.004. Let m be (-143)/14 + 8/(-28). Is j greater than or equal to m?
True
Let y be 0 - -9 - 12 - ((-519)/(-171))/(-1). Let b = -15 + 14.8. Which is smaller: y or b?
b
Suppose 2*h - 18 = -4*c, -2*c + 5*h = 2*h - 21. Suppose -14*m = -c*m - 40. Suppose -l + 2*f - 4 = 0, l + 3*f = 2*l + m. Is l equal to -4?
False
Let o = -39355/7 + 5625. Is -2 >= o?
False
Let w(z) = -1097*z - 4687. Let l be w(-5). Is 799 >= l?
True
Let a = 7341/2 - 3670. Is -2451 less than a?
True
Let j = 852 - 277. Suppose 0 = 5*s - 3*y + j, 0*s - s - 132 = -4*y. Which is bigger: s or -111?
-111
Suppose -15 = 5*f, 3*y - 15*f + 17*f = -28965. Is y not equal to -9651?
True
Suppose -2*y + 124 = o + 353, -404 = 4*y - 4*o. Which is bigger: -119 or y?
y
Suppose 4*z - 2016 - 941 = 1795. Is z smaller than 1188?
False
Suppose 0 = -11*u + 19 + 14. Let j be (-7)/(((-5)/5)/(-4)) - u. Is j < -32?
False
Suppose -10252 = -3*z + 5*g, -3*g + 6769 + 6939 = 4*z. Which is greater: 1/5 or z?
z
Let p = -3045 + 3659. Is 3 < p?
True
Let x(v) = v**2 - 16*v + 29. Suppose 4*h - a = -2*a + 59, -3*h - 5*a + 57 = 0. Let q be x(h). Let o be (q - 5) + (3390/275)/3. Which is smaller: 0 or o?
0
Let p(m) = -m**2 - 7*m + 2. Let j be p(-4). Let n(g) = -6*g**3 + 3*g**2 - 1. Let l be n(1). Let f be ((-52)/(-14) + l)*-49. Does f = j?
True
Let f be 5 + (492/5)/(-6) + 6 - -5. Do 2287 and f have the same value?
False
Let x = 43 - 42. Let q = -1935 - -1933.79. Is x less than q?
False
Let f = -210 + 204. Let h be (26/2379)/(f/(-9) - 0). Which is bigger: 0 or h?
h
Let g(d) = d - 31. Let k be g(-13). Which is bigger: k or -54?
k
Let d = -6.43 - -6.5. Suppose 0 = -997*i + 996*i + 1. Which is greater: d or i?
i
Let x = -331 - -576. Suppose 5*t - x = -2*m + m, 4*m = 0. Which is greater: t or 51?
51
Let i = 234 - 219. Let s = -50/7 + 437/21. Is i less than or equal to s?
False
Let b(m) = -m**3 - 3*m**2 + 11*m + 4. Suppose 8 = -9*o + 53. Let q be -1 + o + -2 + -9 + 2. Let f be b(q). Are f and 2/57 non-equal?
True
Suppose a - 4*y - 835 + 3370 = 0, 0 = -a + 3*y - 2535. Let c be ((-5)/12)/(a/312). Which is smaller: 4/7 or c?
c
Let g be 672277/205 - (44/385 - (-4)/14). Is 3278 at least as big as g?
False
Suppose -2*t = 5*t + 21. Let l(v) = -v**3 - 20*v**2 + 37*v - 1. Let q(x) = -x**3 - 19*x**2 + 37*x - 2. Let a(y) = t*q(y) + 2*l(y). Let j be a(-19). Is j < -1/4?
True
Let y be ((-354)/16)/((-451)/(-22) + -10). Is -3 greater than or equal to y?
False
Let x be (-1 - (2 + -6)) + -2. Let n be (-47)/188 - 5159/4. Let c = n + 14206/11. Which is smaller: x or c?
x
Let n = -3432 - -4641. Is n at least 1209?
True
Let n be (-6)/(-27) + (-2 - 564/(-216)). Which is bigger: n or 153?
153
Let b(p) = -5*p. Let u be b(3). Let w = u - -34. Let j(m) = -186*m - 3701. Let o be j(-20). Is w >= o?
True
Let u(b) = 2*b**2 - 12*b + 19. Let l be u(5). Let a be (-6 + l + -2)*-237. Which is smaller: a or -238?
-238
Let o = -14349 - -14409. Let k be (1/2)/((-10)/4). Which is smaller: o or k?
k
Let v be (-30)/8*12654/(-76500). Let p be 2/(-75)*12/(-68). Let b = v + p. Which is greater: b or 0?
b
Let w(i) = i**3 + 38*i**2 - 2*i - 75. Let z be w(-38). Let j = -454402/93 - -4886. Which is smaller: j or z?
j
Let t be ((-36)/30)/((-18)/30). Suppose n + 3 = t. Is n < -2/261?
True
Suppose 301*i - 206*i = 21375. Is i at most 215?
False
Let z(k) = k**3 + 9*k**2 + 8*k + 6. Let a be z(-8). Let i be (-25 + 8)/(20/352). Let j = i - -306. Is j not equal to a?
True
Let t(c) = c**2 - 21*c + 77. Let s be t(16). Let w(f) = -12*f**3 - 34*f**2 - 5*f - 7. Let m be w(s). Is m at most 24?
False
Suppose 256*k = 308*k - 1248. Which is bigger: k or 1050/43?
1050/43
Let y = 15698/5 + -60641384/19315. Which is smaller: -1 or y?
-1
Let k be (-1 + -169)*(19 + -12). Is k at most -1190?
True
Let h = -0.3415 - -1.2415. Do h and -1.8 have different values?
True
Let u = -60405 + 590881705/9782. Which is smaller: 1 or u?
u
Suppose -42*y + 39*y + 15 = 0. Let r be 3/y + 84/35. Let a = 17.9 + -17. Is r not equal to a?
True
Let z(m) = -2*m - 26. Let c be z(-13). Let n = 76249/51 + -1495. Is n at most as big as c?
False
Let i = -504276 + 3538618/7. Which is bigger: 1240 or i?
i
Let k = -228/805 - 2/805. Suppose -6*u + 3*u - i = -10, 0 = -3*u + 5*i - 14. Which is bigger: u or k?
u
Let n = 343 + 11. Let o be n/(-295) + 814/(-5). Which is greater: o or -162?
-162
Let q(s) = -s**3 + 2*s**2 + 10*s - 20. Let k be q(3). Let t be k + 10/((-35)/7). Which is smaller: 0.032 or t?
t
Let n(t) = -3*t - 2. Suppose 0 = -0*x - 2*x + 8. Let s be n(x). Let c = -13 - s. Are c and 1 equal?
True
Let a = 177 - 177. Let k be a - (-40)/6*54/1125. Which is smaller: 1 or k?
k
Let k = -0.1 - -0.3. Let f = 337263 - 337266. Which is smaller: f or k?
f
Let b be (0 - -3 - -2) + -3. Let w = 286 - 290. Let v(a) = a**3 + 3*a**2 - 2*a + 2. Let c be v(w). Which is greater: b or c?
b
Let j(a) = -11 - 2 - 9*a + 0*a. Suppose -4*y + 17 = x, 0 = 4*y + 4*x + 28 - 60. Let g be j(y). Are g and 2 non-equal?
True
Let b = 56 - -34. Suppose 0*s = -10*s - b. Let w = 3 + -1. Which is greater: w or s?
w
Suppose 0 = -3*u + v + 15, 47*v - 51*v = -u - 17. Is u at most as big as 265/34?
True
Let s be 665/(-100) - 5/(-20) - -10. Is -4 less than s?
True
Let u be (-11)/((-18)/(-108)*(-84)/1208). Which is smaller: -0.1 or u?
-0.1
Let s = -1020/7 + 144. Let q be (-9 - 7)/4 + 536. Let b = q - 533. Is s >= b?
False
Let n(a) = a**3 - 18*a**2 + 35*a - 45. Let k be n(16). Suppose 17 = 4*f + 1. Let d be k/(((-8)/(-10))/f). Is d > 15?
False
Let u = 236 + -227.1. Let t = -8.9 + u. Which is smaller: t or -71/3?
-71/3
Suppose -6*h - 472 = -3*h + 2*x, -4*x = 5*h + 790. Which is smaller: -153 or h?
h
Suppose 0 = -14*y - 464 - 5710. Is y less than or equal to -442?
False
Suppose 4*a + l = -962 - 2714, 2*a + 1828 = -3*l. Let z = a - -913. Let k be 0/(-2) + (2 - 7). Which is smaller: z or k?
z
Let s = -0.5 + -4.5. Let f = -545.06 - -550. Let a = s + f. Are -3 and a equal?
False
Let k = 0 + 4. Let i = -208.1 + 112.12. Let f = i + 96. Which is smaller: k or f?
f
Let t = -303/40 - -76339/10120. Let d = 158/2277 - t. Is d at most as big as -1?
False
Suppose -2*h + 4*v + 258 = 0, -16*v = h - 11*v - 101. Let o = h - 122. Is -6/61 at most o?
False
Suppose -9 = -3*q + 4*q + o, 4*o = 3*q + 34. Let g = -59 + q. Are -69 and g equal?
True
Let x(h) = 2*h**2 + 40*h + 12. Let j(m) = 2*m - 1. Let a(u) = 4*j(u) - x(u). Let y be a(-15). Let p be 2/((-24)/y) + (-4)/(-24). Is p at least as big as 2/41?
False
Let n be 9 + 0 + 0/1. Suppose 0 = -2*o - 5*s + 51, -5*o - 5*s = -91 + 1. Is o greater than or equal to n?
True
Suppose -35 = i + 2*i + 4*g, 0 = -4*i + g - 15. Let c(n) = -n**3 - 2*n**2 + 13*n - 5. Let j be c(i). Is j at least -2?
True
Let g(c) = -850*c**2 + 429*c - 859. Let z be g(2). Which is smaller: z or -3402?
-3402
Let s be (-1 - (-3 - -1))*((158 - -93) + -250). Let z = -634 + 4450/7. Is z >= s?
True
Let a = 19 + -39. Let h = a + 4. Let t = h - 3. Is t at least as big as -18?
False
Let m be (-172)/138 - 588/6762. Is m at most as big as -52/7?
False
Suppose -2*m + 6 = m. Let o(v) = -11*v - 231. Let g be o(-21). Suppose -4*l = 0, -z + m*l - 11 = -g*l. Is -7 at least as big as z?
True
Suppose -3*y + 69 - 15 = 0. Let l be y*(0 - -2) + 0. Suppose -j + 13*p = 16*p - 55, 0 = -j + 5*p + 7. Which is bigger: l or j?
j
Let j = -161 + 171. Suppose 0 = -j*m - 845 - 25. Which is smaller: -84 or m?
m
Let r(f) = 9*f + 152. Let a be r(-18). Let c be ((-68)/a)/((-10)/200). Is -134 at most c?
False
Let a = 1.177 - 1.49. Let c = -0.213 - a. Is c > 0.067?
True
Suppos