 119. Let z be j/156 + 158/(-13). Suppose -i - 18 = -6*s + 8*s, 2*s - i = -26. Which is bigger: s or z?
s
Let y be (2/(-4))/(104/(-16) + 7). Is y equal to -1088?
False
Let j be (-1 + -97)/(-2 - -1). Suppose -9*z + 8 - j = 0. Is -2 at least z?
True
Let q be 8 - (-1034)/235*(-11)/6. Which is greater: -5.3 or q?
q
Let b = 228074034 - 23035755586/101. Let m = b - -2754. Is m equal to -1?
False
Let b(p) = -2*p**2 - p - 7. Let x(d) = 7*d**2 + 4*d + 20. Let t(q) = 11*b(q) + 4*x(q). Let u be t(-2). Is u greater than or equal to 55/3?
False
Let v be 828/20*(-3085)/(-15). Let g = -8573 + v. Which is bigger: g or -58?
-58
Suppose 125 = 7*l - 2*l. Let b = l + -24. Let v be 16/(-174)*(-117)/(-156). Are v and b non-equal?
True
Let n = -1577 + 1084. Let j = n - -493. Let r = -314 + 14131/45. Are j and r equal?
False
Let q(x) = -x**3 - x**2 - 2. Let p(l) = l**3 - 6*l**2 + 2. Let j be p(6). Let t be q(j). Which is smaller: -12 or t?
t
Let b = -20234 - -20192. Which is bigger: -45 or b?
b
Let a be 1/(4 - 2)*34. Let k = a - 34. Let d(i) = 2475*i + 9882. Let u be d(-4). Which is bigger: k or u?
k
Suppose 4*w + 3*l = 2*l + 223, 3*l = 9. Let n = 34 - w. Let a be n/(-21) - (29 + -1). Do a and -27 have different values?
False
Let f(y) = -4*y - 14. Let o be f(-7). Suppose -o*v + 300 = -19*v. Let d be (6/(-14))/(v/(-105)). Which is smaller: 0 or d?
d
Suppose 74*g = 98*g - 24. Which is greater: g or 8/171?
g
Suppose -5*k + w = 1, -k + 6*w = 11*w - 31. Which is bigger: 1/1448 or k?
k
Let i = -1883 + 1675. Is i bigger than -206?
False
Let s = 981904/69 - 14230. Is s not equal to 1?
True
Let q = -7.175 + 7. Let y(s) = 467*s - 5602. Let d be y(12). Which is bigger: q or d?
d
Let a = 12673 + -13569. Which is smaller: a or -887?
a
Suppose -4*l + 29662 = 5*n - 11182, 2*l + 4*n = 20416. Is 10217 > l?
True
Let o(q) be the first derivative of -33 + q - 16*q**3 + 3/2*q**2. Let w be o(-1). Is -50 at most as big as w?
True
Let u(l) = l**3 - 14*l**2 + l - 19. Let o be u(14). Let i = 409 - 412. Is i >= o?
True
Suppose 4*q = -15*m + 18*m - 978, -4*m + 1304 = 2*q. Which is smaller: m or 350?
m
Let i(f) = -256*f - 297. Let p be i(0). Is p > -283?
False
Suppose -4*f + 4*t = -0*f - 4, -3*f + 5*t - 3 = 0. Let z be ((-45)/11*1 + f)*5. Which is greater: z or -2?
z
Let q be (1746/198 + 2/11)*6. Is 31 at least as big as q?
False
Let b be (-6 - 349236/(-20544)) + -11. Which is smaller: 0 or b?
b
Let s = 9238 + -9241. Let g(a) = -a**3 - a + 4. Let u be g(0). Suppose u - 11 = k. Which is greater: s or k?
s
Suppose -22*k - k - 12882 = 15*k. Are -340 and k unequal?
True
Let m = -4/77 + -134/385. Suppose 4*h - o + 2*o = -4, o + 4 = 0. Is m > h?
False
Let i = -2719 + 1853. Is i > -854?
False
Suppose 5*b + i - 1368 = 0, -31*b + 33*b + 3*i = 529. Which is smaller: 276 or b?
b
Suppose z + 28*x - 176 = 25*x, 3*z - 5*x - 542 = 0. Let q = 176 - z. Which is smaller: q or -3/2?
q
Suppose -5*p - v = 200, 2*v - 51 = 3*p - 2*p. Let f be (-3)/4*(-12064)/(-232). Is f less than p?
False
Let d = 52 - 73. Let l(j) = -j**3 + j**2 + j - 7. Let m be l(-2). Suppose -47 = 3*t - 2*n, -m*t - n = -0*t + 62. Is d >= t?
False
Let o = 9639565438148941/1455577726494 - 793/485516253. Let m = 13245/2 - o. Which is smaller: -1 or m?
-1
Let x = 3850 + -4990. Is -1141 at least x?
False
Let a(j) = -j**2 + 5*j + 60. Let t be a(10). Let d be (t/13)/(-5) - (-48)/(-39). Which is smaller: -1 or d?
d
Let x(v) = -v**2 + 4*v + 7. Let w(j) = j**2 - 22*j + 5. Let g be w(22). Let c be x(g). Let f be c + (-2 - (-1)/(-59)). Which is smaller: 1 or f?
f
Let f = -83 - -67. Which is smaller: -18 or f?
-18
Let r(c) = c**3 + 10*c**2 - 45*c - 487. Let d be r(-8). Are d and 1/2251 equal?
False
Let o(z) = 2*z**3 + 10*z**2 - z - 9. Let b be o(-4). Suppose -3*p - 57 = -4*w, 2*w - b = 4*p + 9. Let v be 19 - 5/(5/3). Is w less than v?
True
Let w(f) = f**3 + 23*f**2 - 5*f + 30. Let m be w(-23). Let g = m + -158. Let d = -20 + 6. Which is greater: g or d?
g
Suppose 0 = 2*i - 10, 2*i = 4*v - 238. Let w = 15250 + -15150. Suppose w = -3*j - v. Which is bigger: j or -56?
j
Let u = -297 - -2117. Let y be u/150 + (-6)/45. Is 11 > y?
False
Let f(l) = -25*l - 3. Let i be f(-2). Let v be 13052/234 - ((-75)/(-27) + -3). Let a = v - 8. Which is greater: i or a?
a
Suppose -n + 5*n - 16 = 0. Let t(q) = q**3 - 3*q**2 - 3*q + 6. Let v be t(n). Let p(k) = k**2 - 11*k + 3. Let c be p(v). Is c at most -3?
True
Let h be (-140825)/(-2010425) - 6/87. Is 0 < h?
True
Let c = -434 + 168. Let j = c + 149. Let y = j + 15679/134. Is -1 at most as big as y?
True
Let i = 16026943/11099279 - 579/401. Which is smaller: -1 or i?
-1
Let p(j) = j**3 - j**2 - 31*j + 9. Let d(g) = -g**3 - 6*g**2 + 2*g + 41. Let q be d(-5). Let n be p(q). Let i = -96/23 - -2022/253. Is n > i?
False
Let b = 9954.9476 + -9952. Let c = -0.0524 - b. Is -7.9 bigger than c?
False
Let f = -43522/59873 - 2/5443. Let l = -250964 - -55211953/220. Let n = f - l. Is 0 >= n?
True
Let r(s) = -67*s + 144. Let v be r(3). Which is bigger: -71 or v?
v
Suppose 8*z - 4*z + 4 = 0, -o = 2*z - 358. Let s be (-2)/7 - o/(-35). Is -3 equal to s?
False
Let q be (-163)/(-878)*38 + (-623 - -616). Which is greater: q or 0?
q
Let n = -12469/2838 + 185/86. Which is smaller: n or -1?
n
Let q be (-1762)/(-34) + (-5 - -4 - 6). Are q and 45 equal?
False
Let s = -6176 - -6175.8. Let t be 1 + (-2 - 124/(-24)). Which is greater: t or s?
t
Suppose 4*r + 8 = 5*h - 12, -4*r - 4*h = -16. Let c be (3*(-5)/(-645))/((-2)/8). Which is greater: r or c?
r
Let i be 4 + -3 - 1826/1830. Let x be -6 - (-17 + 350/25)/(1/2). Does i = x?
False
Let t be (((-21)/9)/7)/((-1)/(-78)). Let f be t/4*(-7 + (-97)/(-11)). Which is smaller: -12 or f?
-12
Let w be -2 + 21/9 + 2/(-12). Let q be 5 + -3 + (-3 - -1)*1. Is w less than or equal to q?
False
Let a be (3 + -2)*-1 + 12/6. Let r = -802 + 15233/19. Is a at least r?
True
Let q be (-3 - -3)/(-2*(-8)/(48/(-9))). Which is smaller: q or -1/2631?
-1/2631
Suppose 4*a = -3*u + 30, 0 = -2*a + u + 20. Suppose a*x = x + 296. Which is bigger: 1 or x?
x
Let l be 42/4*(-2700)/(-105). Let q be (-10)/8*12/l. Is q less than or equal to -1?
False
Let d be (-9)/(-12) - (-21)/(-12). Let f = 1545/437 + -68/19. Which is bigger: d or f?
f
Let b = -1425.474 - 12.526. Which is greater: b or 3/8?
3/8
Let s = 187 - 198. Let d be s/55 + (-236)/(-5). Which is smaller: d or 95/2?
d
Suppose 3*t - 1544 = -2*i, -2616 + 597 = -4*t + 3*i. Which is smaller: t or 4069/8?
4069/8
Let o = 13862 - 10745. Which is smaller: o or 3118?
o
Let n = 21468 - 21469. Is n at most 18775?
True
Let u = -252 - -54. Let f = -986224/9 + 109778. Let w = u + f. Which is bigger: w or 0?
0
Let a = 7113 - 7214. Let l be (0 + -1)/(1/101). Let v = a - l. Which is smaller: v or -2/113?
-2/113
Let l = -407 - -582. Let j = l + -167. Is j at least as big as 17?
False
Suppose 0 = -r + 8*r - 4221. Let u be r/(-108) - -6 - 2/(-8). Let d = -7 - -7.3. Which is smaller: u or d?
d
Let r be (5 + 24/(-9))*3 - (10 - 4). Do r and 1/855 have the same value?
False
Let x(c) = 68*c**2 - 6*c - 8. Let m be x(-2). Suppose -2*i = 4*i - m. Which is smaller: i or 181/4?
181/4
Suppose 89*q - 130*q = 11029. Which is smaller: -805/3 or q?
q
Let v be 6/15 - ((-238)/(-5))/(-1). Let g = v + -28. Let y = 47 - g. Are 27 and y equal?
True
Let g(s) = -s**3 - 6*s**2 - 3*s - 13. Let f be g(-6). Suppose -448 = -f*z + 5*i - 18, -2*z + i = -172. Do z and 1 have different values?
True
Let h be -3 - 0 - (-131 - -6). Let j = h + -126. Which is smaller: -0.3 or j?
j
Let a = -4 + 5. Let s = 99 + -99.005. Let z = -26.005 - s. Does z = a?
False
Let z be -1 + 815 - ((-7)/2 + 4/8). Which is bigger: 821 or z?
821
Suppose -162*q = -156*q - 72. Suppose 0 = 2*b - 2*c - 10 + 4, -4*b + q = c. Is 31/7 smaller than b?
False
Suppose 49*p - 2*p = -22936. Is p at least as big as -492?
True
Let v = -60 + 60. Let n = -1 - v. Let q = -4.8 + 2.8. Is n at most as big as q?
False
Let t be 3*((-65)/3 - 1). Let u be 131 + -116 - 2024/24. Is t <= u?
False
Let l be (-6)/(-21) - (-180)/(-42). Let z be (-77 - 1)/(1*(2 + l)). Let i = z + -37. Is i at most as big as 3/5?
False
Let j = 68 - 65. Suppose -3*i + 4*t = 22, -j = -5*i - 4*t + 3. Are i and 65 non-equal?
True
Let v(t) = 35*t + 3465. Let b be v(-99). Is -8/315 != b?
True
Let q = 379/6970 + -3/410. Su