et a(z) = z**3 - 8*z**2 - 8*z - 5. Let l be a(9). Suppose -o + l = -i + 4*i, 5*o = -4*i - 2. Let k be ((-2)/16)/((-3)/52). Which is smaller: i or k?
i
Let v = 23/11 - -31/143. Let s = v - 304/143. Is 5 smaller than s?
False
Let v be 14/(-63) + (1037/9 - 1). Let z = 56 - v. Let p = 58 + z. Is p smaller than 5/6?
True
Let f = 33/31 - 621/496. Suppose -4*z - 85 = 5*g - 0*g, 2*g - 4*z = -62. Let n be 0*(3/30 + g/(-90)). Do n and f have the same value?
False
Let c(h) = h**2 - 14*h - 74. Let x be c(18). Let u = 0.5 + -1. Let r = -1.3 - u. Is x < r?
True
Let z be 3/(-96)*(-2)/(-10). Suppose -4*u + 5*f = -34, f = -u - 4*f - 29. Which is greater: u or z?
u
Let f = 292 - 175. Suppose 6*i + 3*i + f = 0. Let c(n) = -2*n - 14. Let x be c(0). Do i and x have the same value?
False
Let t be (80/(-210))/((224/(-12))/4). Let h = -19 - -19. Suppose w + 3 = 3*f + 2*f, 4*f - 5*w + 6 = h. Which is smaller: t or f?
t
Let u = 2795 + -2824. Which is greater: u or 89?
89
Let l = -5/773 + 32023/51018. Is l > 1?
False
Let b(i) be the first derivative of 5*i**2/2 - 22*i + 33. Let g be b(9). Let p = -56 + 80. Is p equal to g?
False
Let u = -223164 - -14952872/67. Which is greater: 14 or u?
14
Let i(g) = g**2 - g - 8. Let t be i(4). Let n be 175/637 - ((-36)/(-21))/t. Let z(p) = -p**2 + p + 1. Let u be z(2). Is n at most as big as u?
False
Let g(p) = p**3 - 51*p**2 + 108*p + 329. Let b be g(46). Is b > -5283?
False
Let h = 3 - 6.2. Let k = -6 + 12. Let z be 3/k + (-2)/4. Which is bigger: z or h?
z
Let v(w) = w**3 + 5*w**2 - w - 3. Suppose 3*z - 2 + 17 = 0. Let m be v(z). Let r be 4*3/570*(-12 + m). Which is smaller: r or 1?
r
Let v be ((-4)/(-14))/((-260)/28). Let x = v + -76/1755. Is x equal to 0?
False
Let p = 3.006 + -3.23. Let f = p + 0.414. Is -2 bigger than f?
False
Let r be 2*((1 - 4) + -1)/(-1). Suppose -9*a = -r*a + 3. Let j be (-6)/(-126)*3*a. Is j at least 0.3?
False
Let h = -35 + 40. Let v = 52 + -58. Let n = v + h. Which is smaller: n or 2?
n
Suppose 5*r + 28*f = 25*f + 1032, -3*f = 4*r - 822. Is r smaller than 1056/5?
True
Let a = 10933 - 10940. Is 3/10 smaller than a?
False
Let i = -17150/25908303 + 4/4091. Is i at least -2/3?
True
Let h(o) = -5*o**2 - 142*o - 528. Let q be h(-24). Let d = 392 - 19991/51. Is q >= d?
False
Let h = 35 - 68. Let v = h + 31.5. Let d = -2.5 - v. Is -8/5 bigger than d?
False
Suppose l = -4*q + 58, -2*q - 4*l + 52 = 2*q. Let y = 3852 + -3841. Is y smaller than q?
True
Suppose 3*j + 2*j + 65 = -4*n, 3*j + 55 = -4*n. Let w be n/(-12) - (-1 - (-132)/72). Is -2/593 smaller than w?
True
Let k(d) = d**2 - 7*d + 6. Let x be k(6). Let j be (-15 - (-8 + -6))*(168/4572)/7. Which is smaller: j or x?
j
Let h = 7261/17 + -427. Suppose 5*g - 4*m + 7 = -0*m, 3*g - 3*m + 6 = 0. Is g greater than h?
True
Let d be (5/(-2) + 0)/(1420/(-4544)). Suppose 4*t - 1056 = -4*o, 5*o = d*o - t - 796. Is 266 less than or equal to o?
False
Let g(i) = 10*i**3 + 5*i**2 - 5*i + 9. Let v be g(2). Is v at most 99?
True
Suppose -193*a = -181*a - 228. Suppose a*d = 25*d + 216. Which is smaller: d or 2?
d
Let f = 6.906 - 5.91. Let p = 0.096 - f. Which is bigger: -0.4 or p?
-0.4
Let z = -89.21 - -87. Let x = z - -3.2. Is x >= -2/3?
True
Let c = -4581 - -4609. Is -1.6 at most as big as c?
True
Let j = 0.0229 + 147.9771. Let x = j - 148.12. Are 5 and x non-equal?
True
Suppose 3*z = -3*g - z + 28, 5*g - 2*z = 38. Suppose 7*t - g*t = -28. Let f be (-45)/(-231) - (36/t - 1). Which is smaller: f or 1?
f
Let v(i) = 3*i**2 - 14*i + 7. Let y be v(6). Let r = y + -19. Let k(q) = -2*q**3 + 28*q**2 - 25*q + 1. Let g be k(13). Which is smaller: r or g?
r
Suppose 0 = 5*z - 4*z + 3*m - 10, 2*m = -5*z + 89. Suppose -3*y + z*y - 608 = 0. Which is greater: 40 or y?
40
Let l = 625/144 - 1/144. Suppose 2*b + 10 = 0, 0 = -3*d + 2*b + 3*b - 200. Let t be 6/d + (-612)/(-150). Is t greater than l?
False
Suppose 5*y - 8*y = 5*i - 292, 0 = 4*i + 2*y - 234. Let v(p) = -9*p - 16. Let u(j) = 9*j + 17. Let q(b) = -6*u(b) - 5*v(b). Let a be q(-9). Is a smaller than i?
False
Let s = 207.1505 + 18.8235. Let j = s - -0.026. Is j >= 2?
True
Let l = 22 + -17. Suppose -23 = -j + o, 0*j - l*j - o = -91. Let d(a) = -13*a - 7. Let h be d(-2). Is j equal to h?
True
Let j = -1088968 - -9813748/9. Is 1447 bigger than j?
False
Let i(q) = 17*q - 817. Let f be i(70). Which is bigger: f or 370?
f
Let c = -12565 - -12616. Which is bigger: -0.07 or c?
c
Let l be 2 - (28 + -16)*(-135)/168. Are 11 and l equal?
False
Let k be 0*(1/6)/(119/(-357)). Is -12530 less than k?
True
Let y be 6 - -2*-6*4/(-16). Let h be (-12)/y*(-18)/8. Is 14 greater than or equal to h?
True
Let z = 11 - 8. Suppose -4*y + 5*c = 53, z*c = -2*y - 7 - 14. Let n = 149 + -162. Is n > y?
False
Suppose 6*z - 25 = z, 0 = j - z + 10. Let n(x) = x**3 + x**2 - 7*x - 23. Let s be n(j). Is s at least as big as -87?
False
Let w = -23313 + 46629/2. Is w > 767?
False
Let x = -37/105 - -52/105. Is x != 326?
True
Let b be (-1 + -1 + (-621375)/(-310725))/((-2)/12). Which is bigger: -23 or b?
b
Suppose -3*p = z - 13, -2*z + 5 + 3 = 0. Suppose -i - 3 = 2*o + 1, -p*o - 6 = -3*i. Let l = 16/27 + -161/135. Is l at least i?
False
Let i be (-24)/204*2991 - 1*(-6 + 0). Is i smaller than -347?
False
Suppose 2*c - 5*p - 640 = -613, -2*p - 10 = 0. Is -2/22479 > c?
False
Let o = 140 + -134. Suppose -2*q + o + 39 = -5*n, 4*q - 41 = 3*n. Let d be -1 - (6 + n)/(2/2). Which is smaller: -1/6 or d?
-1/6
Let t(j) = -j**3 - 10*j**2 - 12*j - 11. Suppose 4*i + 47 = -3*s, 0*i + 5*s = 4*i + 7. Let z be t(i). Let r = z + 51. Does r = 64/7?
False
Suppose 291 = 2*n + 1411. Let k = -577 - n. Is k less than -14?
True
Suppose -21*o = -19*o + 11*k + 2083, 0 = -o - 2*k - 1059. Which is smaller: o or -1070?
-1070
Let f = 129 - 131. Let y(h) = h**2 - h - 3. Let g be y(f). Which is bigger: g or 11/5?
g
Let l = -353 + 352. Let u be 5/l - (-3)/(120/206). Which is bigger: 0 or u?
u
Let v be (98/(-21) + 5)/((-1)/795). Let k = v + 262. Which is greater: 1/3 or k?
1/3
Let i be (-15)/4*(-32)/(-48)*22/5. Suppose -q = 5*j + 3, 4*j - 3 = j. Do i and q have the same value?
False
Let c = -243 + 231. Let k be 3*c/18 - -296. Which is bigger: 295 or k?
295
Let q = 0.142 - -87.858. Let t = -72 + q. Let n = 23 - 23. Which is bigger: t or n?
t
Let g be 12/(-18)*6/(-142). Let s(o) = -25 - 2 + 4*o + 3 + 0*o. Let b be s(6). Which is bigger: g or b?
g
Let k = 4474 - 22367/5. Suppose -3*q + 5*q = 0. Suppose q*h - 4*h = 2*x, 4*x + 11 = 3*h. Is k at least as big as h?
False
Let d be 1110/(-75) + 14 - -1*6603/35. Which is smaller: d or 188?
d
Let n(t) = t**2 - 7*t - 26. Let h be n(10). Suppose -z + 5 = h*z. Let k = 25759/31 - 831. Which is greater: z or k?
z
Suppose 128*u - 1869 = 139*u - 4*t, 4*u = 3*t - 675. Is -24 at least as big as u?
True
Let d be 126/14 + -281 - -15. Which is smaller: -4 or d?
d
Let f = -3 + 1. Let t = -35 + 37.1. Let m = t + f. Which is bigger: m or -6/23?
m
Suppose -z - p = -100, 2*z + 2*p + p = 200. Let s = z - 120. Is s less than -2?
True
Suppose -n + 4 = o - 0*n, 0 = 5*o + 4*n - 15. Is -4/959 at least as big as o?
True
Let b(l) = -l**3 - 3*l**2 - 24*l - 167. Let d be b(-5). Which is smaller: 286 or d?
d
Let f be (-4)/60*3 - (-7 + 204/30). Is f >= 2/2395?
False
Let p = 6840 + -6843. Which is greater: p or 1.161?
1.161
Let t(i) = -2057*i**3 - 13*i**2 + 16*i - 2. Let r be t(1). Is r not equal to -2057?
True
Let m = 15168 + -14539.3. Let u = m - 629. Is u > 13?
False
Let m = -47 + 613/13. Let g(v) = -9*v - 25. Let u(y) = -17*y - 51. Let o(c) = -7*g(c) + 4*u(c). Let r be o(-6). Is r equal to m?
False
Suppose 5*s - 20 + 25 = -p, 4*p + 20 = 5*s. Suppose s*k = -k. Do k and 73 have the same value?
False
Let z be 2 + 3/(-6)*-2. Suppose 10*q + 567 = 31*q. Which is bigger: z or q?
q
Let b be (-44)/(-40) - (-6)/15. Let g be (2 - (-7)/(-2))*(-12)/(-18). Let j be 84/208 + g/4*1. Which is smaller: j or b?
j
Let b be 92/(4/(-1)) + (-9)/(-3). Let j = 21 + b. Let i be (-2 + (-30)/(-4))/(j/(-6)). Which is greater: i or -31?
-31
Suppose -3*z = -2*x + z - 36, 2*z + 78 = -3*x. Let k be (33/6 - 1)*(-16)/x. Do -0.131 and k have different values?
True
Let v be (-180)/(-25)*10/(-21). Suppose -4*l - 43 = 5*w - 11, -w = -3*l - 5. Are v and l equal?
False
Let g be (12/(-9))/((-2)/3). Suppose 3*w = -g*i + 3, 0 = -3*w - 0*w +