-6. Let n(i) = -i**2 + 10*i - 6. Let l be n(w). Suppose 2*v - 34 = -2*b, -l*b - 2*v + v = -41. Is b a multiple of 6?
True
Suppose 5*q = -3*t + 409 + 331, -5*t = 5*q - 1240. Suppose -74 - t = -4*k. Does 27 divide k?
True
Let g(z) be the first derivative of -z**4/4 - 4*z**3/3 - z**2 - 6*z + 7. Is g(-4) even?
True
Is 58 a factor of (-10)/(3*2/(-348))?
True
Let p(s) = -s**3 - 3*s**2 + 4*s + 2. Let o be p(-4). Suppose o*g + 5*v = -11, 4*g = -0*v - 2*v + 18. Does 3 divide g?
False
Suppose 29 + 454 = 21*k. Let s(w) = w**3 - 5*w**2 + 3*w - 7. Let g be s(5). Suppose -g = 5*z - k. Does 3 divide z?
True
Suppose -5*m - d + 569 = 0, -2*m + 167 + 63 = -2*d. Let f = 183 - m. Is f a multiple of 26?
False
Is 52 a factor of 1960*(11 - (-147)/(-14))?
False
Suppose 0 = 597*p - 587*p - 5560. Does 39 divide p?
False
Let t = 541 - 368. Is 91 a factor of t?
False
Let j = 3089 - 2070. Does 28 divide j?
False
Suppose -43 = -2*c - x, 55 + 3 = 2*c - 2*x. Suppose 0 = c*i - 28*i + 164. Is i a multiple of 9?
False
Suppose 3*l - 5290 = 4658. Does 41 divide l?
False
Suppose 0 = -2*z - 0 + 6. Suppose -n - 140 = z*m, -136 = 5*m + 4*n + 88. Let r = -29 - m. Does 11 divide r?
False
Suppose 2022 = 4*x - 0*l + 2*l, -5*x - 4*l = -2526. Is x a multiple of 6?
False
Let r(a) = -120*a**3 + 8*a**2 - 3*a + 4. Does 35 divide r(-3)?
True
Let c = 214 + -133. Is 3 a factor of c?
True
Let n(m) = 3*m**3 + m**2 - 5*m + 21. Is n(7) a multiple of 25?
False
Let b(w) = 3*w**3 + 4*w - 50. Is 23 a factor of b(5)?
True
Let m = -2215 - -2653. Is m a multiple of 9?
False
Suppose -2*g - g = -150. Suppose 2*f - g - 2 = 0. Does 7 divide f?
False
Let u(a) = -424*a + 3. Is 49 a factor of u(-1)?
False
Suppose -2*s + 3 = -7. Let y = -9 + s. Is (y - -2) + -1 + 25 a multiple of 22?
True
Let n be (-2 - -1)/(7/(-112)). Let z = n - 10. Suppose 0 = -3*a + z + 18. Is a a multiple of 4?
True
Suppose 165 = -g - 3*l + 1552, 0 = -3*g - 3*l + 4131. Does 74 divide g?
False
Let k = 36 + -46. Is 12 a factor of (-2)/k + (-1195)/(-25)?
True
Suppose -5*u - 1321 = -2*w, -w + 5*u - 232 + 905 = 0. Does 27 divide w?
True
Let i(t) = 16*t**2 + 13*t - 21. Does 28 divide i(-7)?
True
Let i(s) = -s + 1. Let u(y) = -10*y + 35. Let h(q) = -25*i(q) + u(q). Let v be h(-10). Does 5 divide (-3)/(-2)*v/(-15)?
False
Suppose -2*d = -5*v + 27, -d = 4*d - 5*v + 30. Let p be 3 + 3 + d + 0. Suppose -3*a + 175 = -p*s - 0*s, 0 = -5*a + 3*s + 297. Is a a multiple of 8?
False
Suppose 4*x + 12 = 8*x. Suppose x*m = 4*m - 144. Suppose 2*y = -2*y + m. Does 12 divide y?
True
Does 2 divide (-120)/(-140)*259/2?
False
Let q be (-1)/2 + 15/(-6) + -1. Let o(h) = 12*h**2 + 8*h + 10. Is o(q) a multiple of 34?
True
Let v(b) = b**2 - 10*b + 1. Let c be v(9). Let w(p) = p**3 + 9*p**2 + 8*p + 6. Let k be w(c). Does 9 divide (k/(-4))/((-12)/72)?
True
Is 143/(1/78*13) a multiple of 22?
True
Let d(c) = 36*c + 115. Is 10 a factor of d(16)?
False
Let r(w) = 7*w**3 + 2*w**2 - w + 1. Suppose m - 1 = 0, 2*h + 0*h - 5 = -m. Let g be r(h). Suppose 0*z + 5*b + 160 = 5*z, 2*z - g = b. Does 21 divide z?
False
Let x(j) = -75*j + 657. Does 36 divide x(0)?
False
Let t = 4654 - 2995. Is 21 a factor of t?
True
Suppose r - 2 - 9 = 0. Suppose 9*h + 8 = r*h. Suppose 3*d - 67 = -h*b, 4*b + 4*d = -0*b + 68. Is b a multiple of 16?
True
Is ((-575)/15 - -5)*(-25 + 1) a multiple of 24?
False
Let g(y) = -y**2 + y. Let m(o) = 2*o**2 + 5*o. Let z(q) = 3*g(q) + m(q). Is 4 a factor of z(6)?
True
Let q be (1/1)/(1/381 - 0). Suppose -8*v = -219 - q. Does 13 divide v?
False
Let n(m) = 0*m + 2*m + 61 + 9 - m**3. Is 14 a factor of n(0)?
True
Suppose 0 = 14*l - 5002 + 1754. Is 21 a factor of l?
False
Suppose 15 = x + 4*x. Let b be 55/25 + x/(-15). Suppose -o + 19 = 3*h + 3*o, -5*o = -b*h + 5. Does 2 divide h?
False
Let s(z) = -z - 3. Let p be s(7). Let y = 60 + -60. Let w = y - p. Is 10 a factor of w?
True
Suppose 2*c - 9 = 1. Suppose -42 = -a - 3*n + 68, -c*n = 5*a - 600. Does 55 divide a?
False
Let i(n) be the first derivative of -97*n**2 - 2*n + 34. Does 12 divide i(-1)?
True
Does 33 divide (-186)/(-217) - 7842/(-14)?
True
Does 94 divide ((-3)/(-1))/(13 - (-174713)/(-13442))?
True
Let t = -428 - -869. Is t a multiple of 8?
False
Suppose n + 7640 = 3*u, -2*u - 31*n + 27*n = -5098. Does 101 divide u?
False
Suppose -3*d - 8 = -4*d. Is (84/(-24))/((-1)/d) a multiple of 24?
False
Suppose 0*w - 5*w = -440. Is 22 a factor of w?
True
Let c = 4 - 6. Let p be 1 + c - (-4 - -4). Is 6 a factor of p/(((-44)/96)/11)?
True
Let s be (-5)/(-15)*0 + 0. Suppose 2*t - 10 - 16 = s. Is 4 a factor of t?
False
Suppose 51*h - 1974 = 1698. Does 8 divide h?
True
Let d(s) = -111*s - 474. Is 33 a factor of d(-12)?
True
Let p = -16 - -9. Let b(u) be the first derivative of u**3/3 + 5*u**2/2 - 9*u + 13. Is b(p) a multiple of 2?
False
Let f be (5 + (-8)/(-2))*1. Does 45 divide 413/3 + 3/f?
False
Let q be 4/4 + 310/5. Suppose -q = -4*i + 57. Is i a multiple of 5?
True
Let d(j) = 4*j**2 - 6*j - 132. Does 8 divide d(-10)?
True
Let a(p) = -2*p**3 - 2*p**2 + 3*p + 3. Let u be a(-3). Let y be (-1 - 1 - 57)/(-1). Let b = y - u. Is 29 a factor of b?
True
Suppose 0 = m - 0*m + 3*h - 825, -5*m + 4*h + 4030 = 0. Is m a multiple of 81?
True
Let t = -121 - -11. Let i = t - -234. Is i a multiple of 31?
True
Suppose 3*m - 6*z + 4*z + 347 = 0, 0 = -3*m - 3*z - 342. Let l = m + 162. Does 23 divide l?
False
Suppose 0 = -4*l - 3*v + 1168 + 220, 0 = 3*l - 5*v - 1070. Suppose 0 = 4*o + o + l. Let c = -37 - o. Does 15 divide c?
False
Let f(j) = -j**3 + 11*j**2 - 4*j - 1. Let w be f(11). Let d = 12 - w. Is d/12*(7 + -3) a multiple of 4?
False
Let r = -134 + 290. Suppose r = 5*d + 3*p, 2*p = 4*d + 3*p - 129. Suppose 0 = -i - 2*i + d. Is i a multiple of 2?
False
Let f(v) be the second derivative of v**5/20 - 13*v**4/12 - 3*v**3/2 - 23*v**2 - v. Does 3 divide f(14)?
True
Let h be 14/(-91) - (-6034)/13. Let r = -285 + h. Is 21 a factor of r?
False
Let h(u) = 7*u - 2. Let z be h(5). Let g be z/5 - (-8)/20. Let t = g - 1. Is 3 a factor of t?
True
Let k = 918 + -474. Suppose 6*p = 10*p - k. Is p a multiple of 37?
True
Let b(j) = j**2 - 4. Let w be b(4). Let v be 21 + -23 + (-3)/((-3)/35). Let r = v - w. Does 11 divide r?
False
Let c = 6 + -9. Let m = c + 34. Suppose -14 = -3*v + m. Is v a multiple of 5?
True
Suppose 4*h - 2*f - 40 = -h, -4*h = 2*f - 32. Suppose 3*a = 3, -3*q + h*q - 5*a = 20. Suppose -q*r = -4*i - 363, r - 17 - 46 = -4*i. Is r a multiple of 13?
False
Suppose -q + 5 - 3 = 0. Suppose -a + q*d + 36 = 3*d, a = -4*d + 48. Let f = a + -16. Is 7 a factor of f?
False
Let k = 6 + -3. Suppose 5*u - k*n - 44 = 41, 25 = u + n. Is 4 a factor of u?
True
Suppose 7*u - 6*u + 5 = 0. Let a = u - -6. Does 9 divide 1 + (-1 + 18)/a?
True
Let l(u) = -4 + 4*u**2 - u**2 - u + 0. Suppose -3*i + 6 = 3*n, -4*n + 3 - 15 = -i. Does 5 divide l(n)?
True
Let b = -3865 - -8880. Is b a multiple of 51?
False
Suppose 2*q - 240 = -2*f, -5*q + 612 = 5*f - 3*q. Suppose 5*u - f = 2*x + 186, 0 = 2*u + x - 124. Is 15 a factor of u?
False
Let h = 18 - 16. Suppose h*v - 3*v = 5. Is -5*v/(10/4) a multiple of 5?
True
Let t(k) = k**2 + 11*k - 38. Suppose 2*o - 4*m + 0*m + 48 = 0, 4*o + 2*m + 66 = 0. Is t(o) a multiple of 16?
False
Let i(s) = -s**2 - 9*s + 2. Let r be i(-7). Let u = 20 - r. Suppose -u*b - 12 = 0, -p + 59 = 4*p + 2*b. Is p a multiple of 11?
False
Suppose 0 = -4*q - 5*i + 31, 4*q = 3*i + 37 + 2. Let t(n) = -n + 14. Let c be t(q). Suppose 0 = -5*m + 2*b + 266, -218 = -c*m + m - b. Does 18 divide m?
True
Let y be (-9)/3*6 - 0. Let h be (-31 - -1)*((-81)/9)/(-9). Let c = y - h. Does 4 divide c?
True
Let n(b) = b**3 - 20*b**2 - 36*b - 64. Does 56 divide n(22)?
True
Suppose 4*q - 16 = -4. Suppose q*c - 127 = -28. Is 11 a factor of c?
True
Suppose -3*x + 4*s + 2135 = 0, 35*x + s = 37*x - 1425. Is x a multiple of 33?
False
Let b(f) = -60*f - 416. Let i be b(-7). Let c be (20 + 0)/((-4)/(-14)). Suppose -3*w = -2*r - 64, -i*r = 6*w - w - c. Is w a multiple of 4?
False
Let u be (2/14*1)/((-8)/(-56)). Is (3/(-3)*25)/u*-2 a multiple of 9?
False
Let m(h) be the first derivative of h**4/4 + 7*h**3/3 - 7*h**2/2 - 14*h - 17. Is m(-6) a multiple of 14?
False
Suppose -2*v - 5*j = 7, -2*v + 6*v = -5*j + 1. Let s = 18 - v. Does 10 divide s?
False
Suppose o + 11 = 25. Suppose 0 = -y, w - 2 = 3*y -