/200). Let x be 160 + (1 - 4/(-2)). Let i = 137 - x. Which is smaller: i or f?
i
Let l(k) be the first derivative of k**3/3 + 6*k**2 + 20*k + 1. Suppose 0 = 6*a - 5*a - n + 13, 5*n = -5*a - 55. Let y be l(a). Which is smaller: 21 or y?
y
Let r = 114/139 - 287/4587. Are r and 2/5 non-equal?
True
Let q(x) = -x**2 - 7*x + 13. Let a be q(-11). Suppose 151 = -4*m - 5*u, 0 = m - 3*u - 2*u + 19. Let i = a - m. Which is smaller: i or -2/23?
-2/23
Suppose 0 = 5*n + 4*z - 107, 5*n + 2*z = 73 + 28. Suppose -n*k = 193 - 193. Let p be 1/(-4) + 7/(-52). Do k and p have different values?
True
Let z = -2004 - -2003.13. Let d = 253/2 + -126. Which is greater: d or z?
d
Let b = -861/13277 + 869155333/252263. Let r = b + -3443. Which is smaller: r or 2?
2
Let d be (1/1 - 1)/(1 - 0). Suppose 0 = 3*n + 4*w - 9, n + 3*w = -d + 3. Let z be (n + 0)*(-8)/(-42). Is 2 at least z?
True
Let d = 867 - 861. Let k be -58 + 62 - (d - 1). Let b be -1 + 2 + (-62)/34. Is k greater than b?
False
Suppose 12 + 33 = 5*m. Let a be (-66)/(-63)*(-147)/m. Which is smaller: a or -18?
-18
Let d(g) = 19*g + 335. Let l be d(-18). Let i(q) = q**3 + 5*q**2 - q + 5. Let p be i(-4). Suppose 4*h = -h - p. Which is greater: h or l?
h
Suppose 60*d - 541 - 359 = 0. Do 12 and d have the same value?
False
Suppose -4*s + 6 + 14 = 0. Suppose 0 = s*o - 19 - 1. Let b(f) = -f + 3. Let x be b(o). Which is smaller: -1/55 or x?
x
Suppose -4*r + h + 35 = 0, -2*r + 7*h + 16 = 5*h. Let t be (-24)/(-9)*r/(-6). Let g be (-4)/6 - (-76)/(-18). Which is smaller: g or t?
g
Let a = -2/55 + -47/220. Suppose 0 = 6*h - 11*h + 15. Suppose 93 = -2*d + h*c, -2*d - 116 = -2*c - 18. Is d smaller than a?
True
Let w = 45 - 17. Let p = w + -27. Let n be (1 + -2)/(p/3). Is -2 < n?
False
Suppose 0 = -18*b + 24*b - 24. Suppose 6*v + 2 = 2*v - y, 0 = -b*v + 5*y + 10. Is v bigger than -2/303?
True
Suppose -6*o + 9*o = -10*o + 13. Is o smaller than 1/446?
False
Let y be 6/1192*22*(-30)/(-2475). Is -1 greater than or equal to y?
False
Let n = 2534 + -1646. Let o = -887 + n. Is -47 at most as big as o?
True
Let v = 19723/808 - 7/202. Let q = -601/24 + v. Is -6/133 > q?
True
Let v = 5 + -8. Let p = -46 - v. Let y = p + 68. Is 0.1 >= y?
False
Let z(t) = -t**3 - 3*t**2 + 4*t + 5. Let k be z(-4). Suppose -3*j + 42 = k*w, -2*j + 14 = 5*w - 24. Let n be 4/w*(2 - 11/4). Which is bigger: 2.9 or n?
2.9
Suppose -5*x = 3*t - 205, -2*t + 164 = 2*x + 2*x. Let o = -31 + x. Suppose -7*h - o = 3*h. Which is bigger: h or -30/17?
h
Let p = 105 - 96. Suppose -p*d = -125 - 19. Which is greater: d or 18?
18
Let v be 0 + 4/((-3520)/1625). Let m = 20321/16 + -1271. Let o = m - v. Is 2 greater than o?
True
Let t be (23/8)/((-31)/279) + -7. Is t smaller than -32?
True
Let o be 2 - 1 - -111 - 1. Let q(m) = 1884*m + 9528. Let g be q(-5). Is g at most as big as o?
True
Suppose 2*n + 4460 = -4*y, 2*n + 8431 - 2856 = -5*y. Let p = y - -35683/32. Which is bigger: p or 0?
p
Suppose -c + 14 = -30. Let v be (c/10)/(1/(-5)). Let p be ((-48)/(-64))/(21/(-560)). Do v and p have the same value?
False
Suppose -l - 352 = -k, -4*l - 1119 = -5*k + 644. Suppose 5*g - f - 343 = 0, -5*f - k = -5*g - 10*f. Is g bigger than 480/7?
True
Let a = 173 - 164. Let o be 96/a*6/(-2). Suppose 0 = -3*x + 5*c - 95 + 10, 3*c + 3 = 0. Are o and x unequal?
True
Let g be (-3086)/6 - 840/(-360). Which is smaller: g or -510?
g
Suppose -3*n + 55 = -m + 13, -2*m - 4*n - 44 = 0. Let z be (20*m/(-72))/((-3)/36). Which is smaller: z or -99?
z
Let v = 32 + -29. Let y = 209 - v. Let x be (5 - y/40)/9. Which is bigger: x or 1?
1
Let l = 260.64 - 265.64. Let t(h) = h**3 + 8*h**2 + 6*h + 8. Let a be t(-7). Which is smaller: l or a?
l
Suppose 0 = -2*d - d + 5*i - 22, 30 = 5*d + 5*i. Let w be (-480)/250 + 2/d. Let u be (4 + (-7)/2)*14/(-3). Is u > w?
False
Let v = -5.304 + 5.304. Is 4808 greater than v?
True
Let c = -53 + 58. Suppose c*i = -2*j + 11, 3*j - 6 = 2*j - 3*i. Suppose -j*v + 15*v + 12 = 0. Which is greater: 1/5 or v?
1/5
Let k be (-2)/(-5) + (874/95 - 9). Which is greater: k or 503?
503
Suppose -2*p - 19*p = -567. Let t be (12 + 3 - 0)*63/p. Is 145/4 at least t?
True
Let i be (22/(-968))/(1 - 0). Which is smaller: i or 29?
i
Let l(u) = u**2 + 11*u + 31. Let f be l(-4). Suppose 8*p - f*p = -50. Let g = -0.38 + 0.18. Does p = g?
False
Let g = 248 + -504. Let m be (g/20)/((-2)/(-10)). Which is smaller: m or -61?
m
Let t = 0.63 - 0.639. Let j = -0.209 - t. Which is bigger: 21 or j?
21
Suppose -13*g - 8 = -4*j - 17*g, 0 = -4*j - 3*g + 5. Which is bigger: -1/386 or j?
-1/386
Suppose 0 = -4*s + 5*c + 30, 5*c + 15 + 15 = -5*s. Is s greater than -20/31?
True
Let c = -1 + 1. Suppose 33 = -32*n + 29*n. Is c < n?
False
Suppose -75*i - 46056 = -51*i. Is i less than -1919?
False
Let a = -18006 + 17953. Which is smaller: -15/4 or a?
a
Let m be 21941/4 - 40/32 - 1. Which is smaller: 5482 or m?
5482
Suppose -6*j = -14*j - 9*j - 145435. Is -8556 not equal to j?
True
Let z = -11.31414 - -0.24314. Let n = z + -0.529. Which is bigger: n or 1?
1
Let z = -29717 - -29903. Is z bigger than 1/52?
True
Let q(j) be the third derivative of -j**6/120 + 7*j**5/30 - 2*j**4/3 + 5*j**3/3 + 97*j**2. Let h be q(13). Which is smaller: h or -32?
-32
Let b = 115592799413/74493 - 1551727. Which is greater: 0 or b?
b
Let r = 2500.5 - -1415.5. Which is smaller: 0.1 or r?
0.1
Suppose 3*h + 0*m + 29 = -5*m, 0 = -5*h + 4*m - 73. Suppose 5*l = 2*n + 2*n - 278, 2*n - 140 = 3*l. Suppose -n = 10*p + 73. Which is smaller: p or h?
p
Suppose -744 = -2*r + 4*y, y + 272 = 4*r - 1244. Is 379 bigger than r?
False
Let j = 625 + -275. Let q be (6/4)/3 + j/(-684). Which is greater: q or -1?
q
Let s(c) = 817*c - 1045. Let k be s(5). Is k equal to 3040?
True
Suppose -171 = -20*b + 229. Suppose 0*w + b = u + 2*w, -u + 2*w = -24. Is u > 25?
False
Suppose -17*o + 191 = -149. Let f be (-8)/o + (172/5 - 1). Are 1 and f unequal?
True
Suppose 0 = 8*p - 472 - 5544. Let c = 726 - p. Are -74/3 and c equal?
False
Let a(k) = 3*k**3 + 17*k**2 + 54*k + 58. Let j be a(-9). Are -1238 and j nonequal?
False
Let i be (-455)/(-3) + 44/(-66). Let p = 70 - i. Is -80 bigger than p?
True
Let m = -27 + 86. Let o = -56501 + 56556. Which is smaller: m or o?
o
Suppose 98*n - 101*n + 2*c = -6, 5*n = -2*c - 6. Is -2/3237 at least n?
False
Suppose 8*n = -n + 4*w - 2, -2*w + 18 = 4*n. Suppose -y - 18 = -n*y + 4*x, -x = y + 2. Let g be (-7)/(-8) - 1*-1. Which is bigger: g or y?
y
Let r(l) = -5*l - 153. Let a be r(-31). Suppose 3*n = -a*p - 60 - 15, 3*n - p + 84 = 0. Suppose 0 = -2*z - 2*z - 104. Are z and n equal?
False
Let p(y) = y + 58. Let k be p(-8). Suppose -32*g = -k*g - 54. Is -0.054 less than or equal to g?
False
Let a = 8634 + -14320. Let l = a - -39869/7. Which is smaller: 10 or l?
l
Let i = 8599479869339 + -156381541468400029/18185. Let v = i - -143/3637. Let r = v + 2457. Is 13 equal to r?
False
Suppose -3*z + 692640 = -4*i, 0 = -6*i + i + 3*z - 865803. Let s = 157578207/910 + i. Let l = s + -1/130. Is 1 smaller than l?
False
Let s = -76 + 158.3. Let d = s + 2.1. Let x = d + -84. Which is smaller: x or 1.4?
x
Let l(f) = -f**2 - 7*f - 5. Let w be l(-6). Let u = -251/327 - -22732/29757. Are u and w equal?
False
Let s = -178.629 + -0.371. Let v = 161 + s. Which is smaller: -0.1 or v?
v
Let x = -41/1712 + 1/321. Let c(r) = -r**3 - 2*r**2 - 4*r + 2. Let y be c(0). Suppose 5*z + y*w - 3 = -6, 14 = 2*z - 3*w. Are z and x nonequal?
True
Let c(z) = 54*z**2 - 119*z**2 + 3*z**3 - 2*z**3 + 3*z + 60*z**2 + 4. Let m be c(4). Do m and 1/198 have the same value?
False
Let x be (-1270)/4 - 1/2. Let v be 120/(-24) - (-1 + x/(-27)). Which is smaller: -17 or v?
-17
Suppose 3*u + 4*k = k + 6, 5*u = 2*k + 24. Suppose 6*b = -u*r + b + 28, 5*r = 4*b - 6. Let j be (r + -1)*(4 + -93). Is j at most as big as -89?
True
Let r be (-6)/21 + (-114)/(-7). Suppose -6*t - r - 62 = 0. Is -6 at least as big as t?
True
Let w be (5 + 198/(-399))/((-1)/(-131)). Let f = 590 - w. Which is bigger: f or 1?
1
Let n(q) = q**3 - 24*q**2 + 25*q + 15. Let j be n(23). Suppose 0 = 4*z - 27 - j. Is z greater than or equal to 0?
True
Let w(b) = 2*b**2 - 14*b - 6. Let u be w(8). Suppose -2*t - 3 = -k, 0 = -5*k + u*k + t + 18. Let o = -335/52 + 48/13. Is o smaller than k?
False
Suppose 5*q + 48 = 3*p + 260, 4*p = 5*q - 276. Is p 