 0 = -2*h + 4*q - 6*q - 8. Let a(n) = -h + n**3 - 2*n**2 - n - n**3 - n**3. Let x be a(-1). Which is greater: x or -2/41?
-2/41
Let l = 0.042 + -1.142. Let p = l + -3.9. Let k be (2/(-10))/((-2)/(-5)). Which is smaller: p or k?
p
Let q = 15 + -25. Let r be ((-4)/(-5))/(4/q). Let t be (r/4)/(9/(-18)). Is t at least as big as -2/7?
True
Let l(s) = -2*s + 1. Let p be l(-2). Suppose 2*f + p*t = 20, -f + 5*t - 20 + 0 = 0. Suppose 488*x = 494*x + 6. Are f and x nonequal?
True
Let i(w) = -w**2 + 7*w + 10. Suppose -k - x + 6*x - 24 = 0, 2*k = -5*x + 27. Let j be 1 - (k + 4) - -13. Let h be i(j). Which is smaller: h or -9?
-9
Let i be ((-8)/5)/((-1)/10). Let w be 3/12 + (-12)/i. Suppose -14*p + 5*p = 0. Which is smaller: w or p?
w
Let w(k) = k + 4. Let g be w(-4). Let o be (-206)/90 + 8/20. Let i = 7/9 - o. Which is bigger: i or g?
i
Let v be 6*9*(-2)/(-3). Let r = v - 13. Suppose -r*z + 21*z = -2. Is 5 smaller than z?
False
Let p = -11.1 + 14. Let f = -2.92 + p. Which is bigger: f or 1?
1
Let z = -18 - -16. Let b(v) = -v**2 - 4*v - 4. Let x be b(z). Are -2/43 and x non-equal?
True
Let t(f) = -f**3 + 30*f**2 + 42*f - 2. Let g be t(31). Which is smaller: g or 340?
g
Let o be 187/(-15246) + (-4)/(-18). Let c = 5/66 + o. Let p(s) = s + 4. Let f be p(-4). Is c > f?
True
Let l = -40 - -38. Let r be l/(-6) + 1/3. Which is smaller: 0.7 or r?
r
Let b = -548 + 284. Is -261 equal to b?
False
Suppose -2*l - 2 = -4*l, -5*c = l - 11. Suppose n - c*n = -4. Let w = -5/16 + 65/16. Which is greater: n or w?
n
Let v = -1 + 0.8. Let t = v + 0.16. Let f = 0.14 + t. Is f greater than 0.1?
False
Let w = -11 + 20. Let d = 363 - 352. Is d <= w?
False
Let j(w) = w**3 - 5*w**2 + 5*w - 4. Let p(n) = -2*n + 10. Let m be p(3). Let z be j(m). Suppose 6*x + 84 = -z*x. Is x less than -12?
True
Let h = 469 + -1403/3. Is h less than -0.031?
False
Let w(a) = a**3 - 7*a**2 - 7*a - 6. Let g be w(8). Let t be g + -3 + (-77)/(-42). Do t and 1 have different values?
True
Let y = -13 + 12.3. Let r = y - -1.4. Let w = -0.8 + r. Is 0.2 less than or equal to w?
False
Let w(k) = -k**3 + 4*k**2 - 5*k + 5. Let h be w(3). Is -56/31 less than h?
True
Let b = -1.503 - -1.603. Do -0.158 and b have different values?
True
Suppose 2*u + 25 = 7*u. Suppose 13 = u*z - 27. Let f = z - 5. Is f greater than or equal to 2?
True
Let q(a) = a + 8. Let m be q(-7). Is m less than or equal to 2/109?
False
Let h = 924 + -928. Let x = -8 + 10. Is h less than x?
True
Let j(n) = -n**2 - 25*n + 35. Let p be j(-24). Which is smaller: 57 or p?
57
Let q = -659 + 2617/4. Are 1 and q equal?
False
Let h be 1311/608 + 3/(-4). Let b = h - 181/32. Is -5 at least as big as b?
False
Let y = 2/2145 - 2153/8580. Are -720 and y unequal?
True
Suppose 0*i = 5*i + 20. Let g be 2/(i/(-3) - 2). Suppose -5*l = 3*s + 36 - 1, 0 = s + 5. Is l greater than or equal to g?
False
Let s = 20 + 1. Suppose w + 4 = 0, 2*g + 3*g - s = -w. Suppose g*h - 4 = 1. Which is smaller: h or -2/5?
-2/5
Suppose -3*s = 2*s - 4*f + 3, 0 = -4*s - 2*f + 8. Is s at most 29?
True
Suppose -b + 3 = 0, 0 = 5*d - b + 2 + 6. Is -1/185 at least as big as d?
True
Let z = 50.2 + -53. Let f = z - -2.8. Let u = 0.05 - -0.07. Is u at least f?
True
Let u(q) = 2 + 4*q**2 - q**2 + 4 - 5 - 2*q. Let i be u(2). Let p be (-2)/(-4) + i/2. Is p at most as big as 7?
True
Let t = -41 - 31. Let v = t + 78. Which is bigger: -1 or v?
v
Suppose -t + 0*t - 416 = 3*s, -3*s - 3*t - 420 = 0. Which is greater: s or -141?
s
Let u be 2 + 58/(-22) - 2/(-2). Which is bigger: u or 0?
u
Suppose 314 = 2*p - 5*a, -a + 326 = p + p. Is p <= 162?
True
Suppose w = -3*w - 8. Let a be ((-4)/72)/(w/(-16)). Let n(q) = -q**3 - 4*q**2 + 6*q + 4. Let y be n(-5). Is a < y?
False
Let t = 908 + -907. Is t equal to -181?
False
Let w = 255 + -254.9. Is 199 at least w?
True
Let x = -2054 - -2691. Which is smaller: -1 or x?
-1
Let s = 18 - 12. Let c(o) = o**3 + 5*o**2 - 6*o - 35. Let x be c(-4). Which is greater: x or s?
s
Let a = 11 + -14.5. Let c = a + 10.2. Let i = c - 6. Is 1 <= i?
False
Let g = 1393 - 1737. Is 2/5 at most g?
False
Suppose -169 = -3*b - 2*b + g, 0 = -b + g + 33. Let d = 856 - 856. Let i be (d - -2)*17/b. Is i at most as big as -2/43?
False
Let w(i) = i - 4. Let l be w(5). Let a = -50 + 452/9. Which is greater: l or a?
l
Let y(k) = k**3 + 8*k**2 + 6*k - 7. Let c be y(-7). Let x = c + 1. Suppose -2*v - x = -v. Which is smaller: v or 2/11?
v
Suppose -5*x = 4*d - 150, -x + 5*d = 4*x - 150. Suppose -2*p + 10 = -5*s - 5*p, 5*s = 5*p + x. Which is greater: s or 4/9?
s
Let v(b) = b + 6. Let x be v(-2). Let c be 3/(18/x) + (-3)/(-63). Which is smaller: c or 1?
c
Let f = 12611 - 138718/11. Let n = 0.1 - 0. Which is bigger: f or n?
f
Let b = 659 + -659.1. Is 1/48 smaller than b?
False
Let q = -8494/71 - -6363949/53108. Let m = 1/68 - q. Let v = -2 + 3. Which is greater: v or m?
v
Let z be (402/(-12))/((-2)/4). Let g(x) = 2*x**3 - 8*x**2 - 13*x + 2. Let o be g(6). Which is smaller: z or o?
z
Let y be 1364/18 + 24/108. Which is greater: 75 or y?
y
Let a = -23.89 - -23.9. Which is smaller: a or -1/22?
-1/22
Let f = 2.7 - -0.1. Let u = f + -3.8. Is -2/13 smaller than u?
False
Suppose 1151*k = 1142*k - 702. Is -78 greater than k?
False
Let s = -76 - -47. Which is smaller: -30 or s?
-30
Let u = -9 - -33. Let w be ((-8)/u)/((-2)/(-12)). Let z = -5.7 - -0.7. Which is bigger: w or z?
w
Let j = 523 - 323. Let w be j/30 - (-1 + 2). Is 6 greater than w?
True
Let v be (-32)/(-55) + (-16)/88. Let d = -12 + 17. Let o = -4 + d. Is o at least as big as v?
True
Suppose -4*o - 1206 = -3*g, 28*o + 1633 = 4*g + 31*o. Is 407 equal to g?
False
Let k be 1/2*0/(-3). Let m(s) = -s + 3 - 7 - 2 + k. Let n be m(-5). Is 0 smaller than n?
False
Suppose 6*z - 21 = 5*z + 5*p, -5*z + 9 = -p. Which is greater: z or 3/127?
z
Let l(t) = -t**3 - 9*t**2 - 15*t - 10. Let p be l(-7). Let m be p/(27/(-6))*(-3)/2. Suppose 2*j - 6*j + 5*w = -20, 5*j = -w + 25. Which is smaller: m or j?
m
Suppose 54*y - 52*y + 2 = 0. Suppose 3 = 4*b - 5*b. Which is bigger: y or b?
y
Suppose 3*w + 60 + 60 = 0. Let r be 250/(-62) - w/10. Does r = 1?
False
Suppose b - d + 11 = 0, 2*d - 9 = -d. Let a be (-12)/b - 3/2. Let p be (3 - 0)*(-14)/21. Is a not equal to p?
True
Let m be (-398)/6 - (-2)/6. Suppose 4*u = -10*o + 5*o - 309, 3*u = -2*o - 118. Is o greater than m?
True
Suppose 3*v + 2*v = 20. Let m = 532787/142 + -3752. Let l = m - -1127/426. Which is smaller: v or l?
l
Let o = -48 + 143/3. Suppose -j + 1 = 0, 2*n - 3*j - 3 = -n. Suppose n*z = -2*z. Is o at most as big as z?
True
Let z(l) be the second derivative of -l**4/12 + l**3/2 + l**2/2 - l. Let w be z(4). Let h = -55 + 56. Do w and h have the same value?
False
Let v(b) = b**3 - 14*b**2 - b + 20. Let d be v(14). Let n be (-200)/(-6) + d/9. Which is smaller: n or 35?
n
Let w be -5 + -8 + (-62)/(-6) - -3. Let d = -32.24 - -0.24. Is d greater than w?
False
Let j(g) = -g**3 + g**2 + g + 1. Let p(i) = 5*i**3 - 4*i**2 - 11*i + 3. Let z(k) = 4*j(k) + p(k). Let o be z(3). Is o less than 5?
False
Let p = 0.092 - 20.092. Let l = p - -21.8. Do 0 and l have the same value?
False
Let a = 1938 + -2038. Is a equal to -1?
False
Let q(c) = 2*c**3 + 9*c**2 - c + 3. Let y(f) = -f**2 + f - 1. Let u(h) = q(h) - 6*y(h). Let s be u(-8). Which is smaller: 1/44 or s?
1/44
Let h be 210/(-49)*(1 + 0). Let r be 1*4 - -15*(-18)/30. Is h >= r?
True
Let d be 1*-3*2/(-3). Let b be ((-8)/14)/(-16 + 2634/168). Is b at least d?
False
Let d = -8/4839 + -13931393/53229. Let n = d + 262. Let f be (-4)/16*(-1 - 3). Is n >= f?
False
Let z = 78 - 77. Let a = 32 - 20. Let i be 9/a*3/(-9). Which is greater: z or i?
z
Let c = 6.5 - 6.653. Let q = c + -5.947. Let k = q + 6. Does k = -5?
False
Suppose 20*f - 11*f + 63 = 0. Let b = 2 + -7. Is f >= b?
False
Let x be 10 - ((-5019)/(-28))/3. Is x bigger than -50?
True
Let z = -482 - -5. Is z less than -476?
True
Let r = 0.625 + -0.48. Let g = r - -1.035. Let n = 0.18 - g. Which is greater: -0.11 or n?
-0.11
Suppose -m + 26 = m. Let r = m + -11. Suppose -6*c = -r*c + 4. Is -4/11 at most as big as c?
False
Suppose 94*p - 90*p + 4 = 0. Let y = -61958/35 + 1770. Which is greater: p or y?
y
Suppose u = -5*u. Suppose -8*n + 11*n = u. Is n at most as big as -1/4?
False
Suppose -y + 1 - 3 = 0. Let l = y + -6. Let v be (-4 