9). Let c be (2 + 5)*(48/4228)/(-2). Which is smaller: g or c?
c
Suppose -7*w + 6*w = -q + 130, 500 = -4*w - q. Let y be (56/w)/((-2)/(-3)). Is 0.36 < y?
False
Suppose -3 = 4*f + 97. Let j(l) = -l**3 - 24*l**2 + 26*l + 27. Let i be j(f). Do -1 and i have different values?
True
Let z(g) = -g**3 + 8*g**2 - 17*g + 108. Let a be z(9). Let b = -142 - a. Which is greater: -120/7 or b?
b
Let w be 3828/8316 - 2/(-18) - 35040/(-77). Which is smaller: w or 456?
w
Let p = 131.88 - 128. Let z = p - 3.9. Let k = 7.8 - 8. Which is bigger: z or k?
z
Let j be (9 + 978/(-108))*(-4)/34. Which is greater: j or 1?
1
Suppose -h - 252 + 408 = 0. Is h greater than 1251/8?
False
Suppose y + 3*y = -w - 19, 3*w = -2*y - 17. Let u be (-12)/((-18)/y - (-2 + 5)). Let d be 0/u*2/(-8). Which is smaller: -3/28 or d?
-3/28
Let f = 1 - -10. Suppose 22 - 10 = 4*v. Suppose -x - 2*c = 8, 3*x + 4*c = -f - v. Which is greater: 6 or x?
6
Let p be 12/(21120/140)*(-4)/(-10). Is p < 1?
True
Suppose -4*q = -3*p - 1041, -4*q + q + 780 = -2*p. Let m = -272 + q. Which is smaller: -22 or m?
-22
Let d = 48 + -44. Suppose 177 = 3*l + 5*n, l - 261 = -d*l + 3*n. Let x be -1*(2 - 112/l). Which is smaller: -1 or x?
-1
Let p = 2611 + -2389. Suppose -w + 892 = 3*w. Which is greater: w or p?
w
Let o = 1031 - 3121. Is -2090 greater than o?
False
Let n = -786.3 + 781.3. Which is greater: n or -207.5?
n
Suppose 3*c - 2*h - 40 = 2*c, -4*c + 5*h + 175 = 0. Suppose 0 = -5*w + c - 55. Let k be (-2 + 40/14)/w. Is -2 not equal to k?
True
Let w = -192 - -277. Let x = -130 + w. Let u = -45.1 - x. Which is greater: u or -0.3?
u
Let g = 32482 - 32633. Is g greater than -162?
True
Let n = -556.214 - -3.214. Which is smaller: n or -0.9?
n
Suppose -8*h + 5*h - 7 = y, 3*h = y - 17. Which is smaller: h or -288/109?
h
Let t = -11/611 - 589/1222. Which is greater: t or 146.2?
146.2
Let q = -6848 - -6844. Which is smaller: q or 8?
q
Let v be (7 + -201)/(28/(7 - -21)). Let z = -1 + 1. Which is bigger: z or v?
z
Let g be 3/15 + 542/(-10). Suppose -11 = -33*c - 1760. Is c >= g?
True
Let h(t) = t**3 - 10*t**2 + 14*t - 9. Let f be h(9). Let d be 241 - (0 + -8) - 7. Let r = d - 207. Is r at most as big as f?
True
Suppose -4*m + 2*w + 44 = 0, 13*m + 32 = 16*m - w. Let i be m/18*(-81)/(-270). Do i and -15 have the same value?
False
Let w = -50.7691 + -0.2309. Which is smaller: 0.26 or w?
w
Let r be -10 + 34 - (25 + -3). Which is smaller: r or 158/69?
r
Let j = 29.95 + 4.05. Let u = j - -6. Which is bigger: 1 or u?
u
Suppose -12*b + 1223 + 1597 = 0. Let u = 118 - b. Which is greater: u or -116?
-116
Suppose 74*b - 5*n = 75*b + 279, 0 = -4*n + 8. Let s = 316 + b. Which is bigger: 25 or s?
s
Let b(c) = -2*c - 12. Let y be b(-6). Suppose y = 3*r + 108 - 63. Suppose -53*o = -54*o - 16. Which is smaller: o or r?
o
Let x = 19328 + -5469823/283. Which is greater: x or 5.2?
5.2
Let f = 28282 - 28280.59. Let y = -2 + 1.9. Which is bigger: f or y?
f
Suppose 3*t = 3*h - 3, 5*t = -h + 4 - 15. Let i be 5/t*(-3)/(45/12). Let w be (-250)/60 + i/(-6). Which is bigger: w or -5?
w
Let c = 3024642764519/733159 + -28878455/7. Let j = c - -2/1717. Is j bigger than 1?
False
Let h(s) = 48*s + 18. Let i be h(2). Let y(l) be the third derivative of -11*l**4/24 + 2*l**3/3 + l**2. Let q be y(-10). Is i > q?
False
Let v = -1113 - -649. Let l = v + 463.8. Is l smaller than -7/13?
False
Let r(c) = -2*c**3 - 56*c**2 - 105*c - 25. Let s be r(-26). Is 2/409 at most s?
True
Let v be (7176/8740)/(2 + 42/(-20) + 0). Let b be 8/(-2)*(-21)/12*-1. Which is bigger: v or b?
b
Let w = 1355678/46805 + -16/2035. Is 29 > w?
True
Suppose -1416 = -l - 5*l. Let h = l - 467. Let f = 4852/21 + h. Is -1 at least as big as f?
False
Suppose 2*u + 10 = 0, -15*w + 65 = -19*w - u. Is w equal to 39?
False
Let f be (18/(-15)*13180/18)/(2/3). Is f at most as big as -1319?
False
Let b be 9/((63/56)/((-30)/(-8))). Suppose -15*t + b = -5*t. Suppose 0 = -h + t*m + 27, 3*h - 41 - 32 = m. Which is bigger: h or 25?
25
Suppose 4*h = -x + 197, 21 = 2*h - 5*x - 50. Let y = h + -48. Suppose y*p = 2*p - 4. Is 4/5 bigger than p?
False
Suppose 0 = 4*o - 92 - 36. Let r = o + -18. Suppose -2*m + 0*m = -30. Which is smaller: r or m?
r
Let j = -41 - -43. Let t = -34.5246 + -0.5454. Let n = t + 35. Which is smaller: n or j?
n
Let v be (-40 - 2)*(2 - (-21)/(-6)). Let q be (v/(-21))/(0 + 2/(-2)). Suppose -c - 4 = q*c. Is c bigger than -1/18?
False
Let q = -1678 - -1677.309. Let b = q + -0.139. Is 0.2 greater than b?
True
Let u(f) be the first derivative of f**4/4 + 23*f**3/3 + 10*f**2 - 3*f - 44. Let j be u(-22). Is j at least as big as 41?
True
Let w = 0.37 - 69.37. Let v = w - -69. Let s = 15/2 - 8. Is v at most s?
False
Suppose 4*a - 262 = 3*a + 4*k, -2*k + 958 = 4*a. Suppose -5*g = -817 + a. Let c(b) = -37*b - 402. Let h be c(-14). Which is greater: h or g?
h
Let s be ((-6176)/24 - 0)*((-9)/(144/140) - -8). Let z be (-193)/(-1*1 - 0). Are s and z unequal?
False
Let t be (-6)/(-33) + (1512/33 - 1). Let w be (-6)/21*(-28)/(-4). Let s be w/(-8) + 179/4. Are s and t nonequal?
False
Let o(v) = -4*v - 23. Let c be (-546)/(-63)*3*2/(-4). Let b be o(c). Let j = 38.1 + -38. Which is bigger: b or j?
b
Let t = 134213/4 - 33820. Let g = t + 265. Let m(l) = -15*l + 239. Let w be m(16). Which is smaller: w or g?
g
Let b = -34.9 - 280.1. Let r = -583 - b. Is r bigger than 0?
False
Let d = 4889.259 - 4889. Which is smaller: d or 0.5?
d
Let t be 13832/(-36) - (6 - (-224)/(-36)). Let x = t - -1153/3. Are x and 8 equal?
False
Let n be ((-32)/12)/((-5)/360). Let c = n - 114. Let b = c - 59. Do 22 and b have different values?
True
Suppose -2*k - 5*u + 77 = -105, -4*k + 2*u = -388. Let l be (2/k*20)/((-5)/(-890)). Is 75 greater than l?
True
Let c be (379 + -1)/3*(-84)/(-36). Let b = c - 298. Which is smaller: b or -55/16?
b
Suppose 5*l = 5*d + 35, -1083 + 1064 = -4*l + d. Is l less than or equal to 4004?
True
Suppose 2*u + 9 = 5*u. Let z(a) = -3*a + 3. Let o be z(-6). Suppose -u = 2*d - o. Is 9 equal to d?
True
Let m be (20/(-6))/((-1)/21). Suppose -19*d = -11*d - 60*d + 3588. Is d >= m?
False
Let a be ((-4)/((-60)/85) - 9)*669. Is a at least as big as -2230?
True
Let a = 74.8 + -11.8. Let m = -214 + 152.3. Let w = m + a. Which is smaller: w or 1/3?
1/3
Let r = 77 - 73. Let j be ((-20)/(-80))/((-1)/r). Which is bigger: -3/8 or j?
-3/8
Let x(u) = 22*u + 57. Let m be x(15). Suppose -m = 2*c + c. Is c < -129?
False
Let u = 19205 + -19207. Suppose 0 = -3*t - 0*t + 18. Is u less than or equal to t?
True
Let y = 5.989 - -85.411. Let x = -141 - -51. Let r = y + x. Which is smaller: -1 or r?
-1
Let w = -761/5523 - 4/789. Is w smaller than -1.323?
False
Let w be (-8 + (-2 - -2))*(-105)/28. Let i be 1466/w + (-14)/(-105). Which is greater: i or 46?
i
Let w be 8*(5/94)/(-5). Let s(i) = 12*i + 575. Let r be s(-48). Is w smaller than r?
False
Let c be (12/(-16))/((-13)/52). Suppose 113 = 2*v + c*q, 28 = v + 3*q - 21. Is 61 at most as big as v?
True
Suppose -5*v - 174 + 645 = 236. Let l be (-33)/2*32/(-12). Is l greater than or equal to v?
False
Let l = 30255 - 30256. Let w = -6245 + 2635391/422. Which is greater: w or l?
w
Let v(w) = 4*w + 40. Let u be (-24)/96 - (-78)/(-8). Let t be v(u). Suppose t*m = 4*m + 104. Are -26 and m non-equal?
False
Suppose 16*y - 30*y = -y + 6*y. Is -2/38613 at least y?
False
Suppose -503*g = -516*g + 104. Is g >= 416/45?
False
Let i = 1443.9401 + -1444. Which is smaller: i or -1/2?
-1/2
Let s be 2/11 - 4329/(-693). Suppose -7*q = 2*p - 2*q - 32, -2*q = -5*p + 22. Is p greater than or equal to s?
False
Let o = -230 + 227.87. Let c = -2.13 - o. Which is smaller: -0.1 or c?
-0.1
Let v(i) = -3*i + 19. Let m be 20/(-8)*(-56)/20. Let t be v(m). Let n = -3341/5320 - -2/665. Is t > n?
False
Let m be 855/(-9) + 70/7. Is -108 greater than m?
False
Let s = -0.0277309 + -209.0652691. Let z = 209 + s. Let k = z + -0.007. Which is smaller: -3/13 or k?
-3/13
Suppose 6*c - 280 + 76 = 0. Let w(i) = -3*i + 32. Let m be w(10). Let g be (m/c)/(27/(-54)). Do g and 1 have the same value?
False
Let r(k) = -35*k**2 - k - 2. Let f be r(-1). Suppose -46*g = -49*g - 114. Let s = g - -1. Are f and s equal?
False
Suppose 3*n - 4*l - 25308 = -l, 0 = -4*l. Let a be 2 - (2*36706/n - 1). Let y = 108/19 + a. Is -1 bigger than y?
False
