8. Suppose -2*n + 3*n = 5. Suppose a*j = n*f - 2*f - 84, -5*j = 15. Is f a multiple of 9?
False
Suppose -4*u - u = 10. Is 2*93/(-6)*u a multiple of 13?
False
Suppose -5*v + 7*v - 94 = 0. Does 19 divide v?
False
Let o = 3 - 2. Let w be 185/(-5) - o*-1. Is (w + -2)*(-2)/4 a multiple of 8?
False
Suppose -15 = -t + 4*l, -l = 3*t + 3*l + 35. Does 8 divide ((-4)/t)/((-13)/(-390))?
True
Let g(f) = -2*f**3 - 2*f + 1. Does 21 divide g(-2)?
True
Is 7 a factor of (-1 + (-2)/(-1))/((-2)/(-144))?
False
Suppose -8*u + 652 = -148. Does 20 divide u?
True
Suppose 0 = 4*i + 5*b - 18, -2*b = -7*b - 10. Let h(u) = u - 3. Is 2 a factor of h(i)?
True
Let g be 1/(-4*4/(-64)). Suppose 0 = g*h - 37 - 35. Is 9 a factor of h?
True
Suppose 2*t - 55 - 71 = 0. Is t a multiple of 21?
True
Suppose 2*a - 63 - 41 = 0. Does 14 divide a?
False
Does 11 divide 0 - 2/((-2)/33)?
True
Let s(x) be the third derivative of x**6/120 - 11*x**5/60 + 7*x**4/12 - 2*x**3 + x**2. Is s(10) a multiple of 8?
False
Suppose -j = 4*m - 2*j - 2, 0 = -4*m - 4*j - 8. Let d be -1*(-3 + (m - 2)). Suppose 2*w - 124 = -d*q, 2*q - 4*w = -q + 64. Is q a multiple of 12?
True
Suppose -k + 22 = -2. Does 8 divide k?
True
Suppose 5*g - 78 = 2*g. Suppose q = 2*j - 38, j - 4*q - 7 = g. Is j a multiple of 16?
False
Suppose -5*l = 2*p - 25, 6 = 2*l - 0*l. Suppose 4*f + p*s = s + 12, -4*f = -3*s + 9. Suppose b = -f*b + 41. Is b a multiple of 14?
False
Let m = -7 + 11. Suppose 5*l - 2 = m*l. Suppose -3*q = l*q + 4*r - 15, 5*q = 5*r + 60. Is 2 a factor of q?
False
Let t(n) = n**3 - 5*n**2 - n + 5. Let v be t(5). Suppose -3*w = 5*o - 111, 2*w - 5*w - 3*o + 105 = v. Is w a multiple of 13?
False
Is 4 a factor of ((-6)/8)/((-1)/16)?
True
Suppose -4*r + 9 = -3*r. Suppose j + 2*z - 22 = 0, -1 = 2*z - r. Is j a multiple of 10?
False
Let q = -12 + 18. Does 16 divide ((-64)/12)/(-1)*q?
True
Let x(z) = 2*z - 6. Let y be x(6). Does 16 divide 2/y - (-190)/6?
True
Suppose 4*i + 110 = -90. Let a = -22 - i. Is 14 a factor of a?
True
Let d be (8/12)/((-1)/60). Let l be 6*-2*1/(-6). Does 11 divide (-1)/(l/d)*1?
False
Suppose -3*j = -44 - 16. Is j + 8 + (-8)/2 a multiple of 12?
True
Let f(y) be the second derivative of -y**4/12 + 5*y**3/2 - 4*y**2 + 2*y. Is f(11) a multiple of 18?
True
Suppose 2*w + 5*o = 83, 4*w + w + 4*o = 233. Is w a multiple of 4?
False
Let s(x) = 2*x**2 - 5*x + 3. Is s(5) a multiple of 14?
True
Let i = 14 - 6. Let b = 8 - i. Suppose 2 + 1 = -j, b = 3*a - 4*j - 45. Is a a multiple of 6?
False
Let v(d) = d**2 - 2*d + 1. Suppose 0 = -5*j + 2*t + 14, j - 5*j + 5*t + 1 = 0. Let m be v(j). Suppose 0*l = -l + m. Is 9 a factor of l?
True
Let p(c) = c - 9. Let r be p(10). Suppose 2*m - r = 9, 3*o - 62 = 2*m. Is 12 a factor of o?
True
Suppose 31 + 3 = 2*h. Suppose -n + 7 = q - 4, 2*n - 3*q - h = 0. Does 4 divide n?
False
Let n(q) = 6*q**2 + 10*q - 11. Is n(6) a multiple of 13?
False
Let x be 0 - (-2 + 1)*-4. Let v(s) = -s - 4. Let z be v(x). Suppose z = 2*g - 4*y - 48, -4*y - 111 = -4*g - y. Is 15 a factor of g?
True
Let c = 19 - -1. Is 10 a factor of c?
True
Let c(j) = j**3 - 5*j**2 + 6*j - 10. Suppose -5*x - 2*k + 6*k = -9, -3*x = 2*k - 23. Is c(x) a multiple of 20?
True
Let o(g) = 75*g - 2. Let f be o(2). Suppose 3*r - f = r. Suppose -81 - r = -5*t. Does 13 divide t?
False
Suppose 3*i + 94 = 4*j, -4*j + j + 71 = -2*i. Does 25 divide j?
True
Is (-3 - -341) + 2 + -2 a multiple of 13?
True
Let x(o) = o**2. Let q(r) = 3*r**2 + 4*r + 4. Let y(m) = -q(m) + 2*x(m). Let b be y(-4). Is 3 a factor of -6*(-2 + (-6)/b)?
True
Suppose 5*b - 60 = -t - 0*b, -t + 96 = -4*b. Suppose -5 = -2*f + f, -5*y + 5*f = -t. Does 14 divide y?
False
Suppose -f - 2*p + 51 = 0, 5 = -4*p - 7. Is f a multiple of 14?
False
Let l be (-5)/3*(-9)/3. Let r(h) = -h**3 + 4*h**2 + 8*h - 7. Is 5 a factor of r(l)?
False
Let j be 0 + 1/1 + -1. Let u = 3 + j. Let x = 9 - u. Does 6 divide x?
True
Let x(c) = -4*c + 2. Let o be x(3). Let z be (-2)/o + 343/35. Does 2 divide (-8)/(-16)*(0 + z)?
False
Suppose 3*c - 6 = -5*o + 8, -c - 4*o = -7. Suppose 16 = -c*r - 2. Let l = r - -27. Is 13 a factor of l?
False
Is 29 a factor of 3*29/15*5?
True
Does 13 divide 6*-1*(-51)/9?
False
Let i = 23 + -21. Is i even?
True
Let b(q) = -q**3 + 5*q**2 - q - 2. Suppose 12 = 4*o - 3*v + v, 0 = 5*o + v - 15. Is b(o) a multiple of 6?
False
Suppose 2*u = 4*v - v + 593, v - 5 = 0. Let x = u - 216. Is 25 a factor of x?
False
Suppose -5*q + 3*w = -24, -7*w + 5*w + 4 = 0. Suppose -10*l = -q*l - 36. Is l even?
False
Let k(j) = -3*j**2 + 22*j + 7. Is 5 a factor of k(7)?
False
Let m(t) be the first derivative of -t**4/4 - 13*t**3/3 - 7*t**2 - 2*t - 1. Let k = 7 + -19. Is 8 a factor of m(k)?
False
Let w(l) = l**3 + 3*l**2 - 4*l + 2. Let d be 3/3 + 1 - 0. Does 14 divide w(d)?
True
Let m = 6 - 5. Let k be m + (-183*1)/(-3). Suppose 0*u + u - k = 0. Is u a multiple of 18?
False
Suppose 5*s - 195 = -0*s. Let d = s + -23. Is d a multiple of 15?
False
Suppose -96 = -3*v - 3*a, -2*a - 170 = -4*v - 12. Is 10 a factor of v?
False
Let q = -5 + 9. Suppose 0*x - 2*x + q = 0. Suppose 2*a - 68 = -x*h, -h = 4*a + 2*h - 136. Does 12 divide a?
False
Suppose 30 = 5*f + 10. Suppose f*y + 10 = -s, 3*s - 2*y - 35 = -y. Does 3 divide s?
False
Suppose 12 = 2*m - 2. Let t = 16 - m. Is 3 a factor of t?
True
Let z(h) be the third derivative of h**5/60 - h**4/8 + 5*h**3/6 - h**2. Suppose 5*c + 2*l - 35 = -0*l, 4*l + 28 = 4*c. Is z(c) a multiple of 11?
True
Let j be 4/(-14) + 2/7. Suppose -2*c = -j + 2. Is 2 - -1*(c + 14) a multiple of 15?
True
Suppose -5*l = -6*l - 8. Let r(k) = -k**2 - 10*k + 6. Is 11 a factor of r(l)?
True
Let p = -11 + 11. Let z be 4 + (-1)/(-2 + 3). Suppose 4*j - 210 = -2*x - z*x, -2*j = p. Is 14 a factor of x?
True
Let n(g) be the second derivative of 3*g + 0 - 1/6*g**3 - 3/2*g**2. Is n(-6) even?
False
Let m be (-2 + -7)/((-6)/(-4)). Let p(k) = k**2 + 7*k + 9. Is p(m) a multiple of 2?
False
Let l be 1555/2*4/(-5). Let u be l/6 + (-2)/6. Is 13 a factor of ((-6)/(-4))/((-6)/u)?
True
Let a(b) = -2*b**2 - 5*b - 3. Let f be a(-3). Let v = f - -8. Suppose -v*n = 3*h - 9, 4*n = 5*h - 4*h + 25. Does 3 divide n?
True
Let r be 2 + (2 - 0) + -1. Suppose r*u + 3 = 0, -n + 2*u = 4*u - 12. Is 14 a factor of n?
True
Let h = -75 + 139. Does 32 divide h?
True
Suppose 150 = -5*p + 455. Suppose -i - 14 = -u, -5*u + p = -3*i + 7*i. Does 5 divide u?
False
Let w(h) be the first derivative of -h**4/4 - 2*h**3 + 7*h**2/2 + 2*h - 2. Is 2 a factor of w(-7)?
True
Suppose -n + 2*b + 10 = 0, 2*n + 24 = 6*n - 4*b. Suppose -n*o + 80 = -2*f, -3*f + 114 = 2*o + o. Is 12 a factor of o?
False
Let s(k) = k**3 - 8*k**2 + 1. Let o be s(8). Let b = -2 + o. Let m = b + 18. Does 7 divide m?
False
Suppose -144 - 126 = -5*b. Does 9 divide b?
True
Let v be (-3)/(9/6) + 35. Suppose v = 3*z - 93. Suppose 0 = -x - 2*x + z. Does 11 divide x?
False
Suppose 4 - 4 = 4*q. Let m(u) = 7*u**3 - 5*u**2 + 5*u + 35. Let i(p) = 3*p**3 - 2*p**2 + 2*p + 17. Let k(h) = 5*i(h) - 2*m(h). Is 8 a factor of k(q)?
False
Let r(s) = -s**2 - 15*s + 2. Let q(d) = d - 4. Let j be q(-10). Does 10 divide r(j)?
False
Suppose 2*r + 15 = -27. Let k = -1 - r. Is k a multiple of 11?
False
Suppose -4 + 34 = 5*n. Suppose b - n*b = -70. Does 5 divide b?
False
Suppose -3*p - 108 = -828. Suppose p = 12*i - 7*i. Does 13 divide i?
False
Suppose -z - 63 = -0*z - 5*u, 0 = -2*z - 5*u - 66. Suppose -3*l - 179 = 4*n + 52, 0 = -5*l + n - 408. Let a = z - l. Does 19 divide a?
True
Let q = -183 - -354. Suppose -3*l = -0*l - q. Is 32 a factor of l?
False
Let w(j) be the second derivative of j**4/6 + 8*j**3/3 - 2*j**2 - 8*j. Is 32 a factor of w(-11)?
False
Let j(r) = -r + 14. Let u be j(10). Suppose -20 = 4*c, 30 = 5*s - u*s + 3*c. Is s a multiple of 28?
False
Let l = -82 + 143. Suppose -4*v = -47 - l. Is v a multiple of 9?
True
Let v = 740 + -515. Suppose -654 + v = -3*o. Suppose 4*n + 23 - o = 0. Is n a multiple of 10?
True
Let n(o) = 5*o - 2 + 1 - o - o**2. Let l be n(3). Suppose 8 = -l*y, -19 - 14 = -5*i - 3*y. Does 5 divide i?
False
Let s be ((-1)/(-1))/1*5. Suppose 2*o = -6, -s*j - 225 = -0*o - 5*o. Is 8 a factor of (j/(-9) - 1)*3?
False
Suppose z - 12 = -0*z. Let g(v) = -7*v + 5*v - 5 + z*v. Does 24 divide g(4)?
False
Suppose -4*j = -j - 435. Suppose 5*r + j + 13 = 4*s, 4*s + 3*r = 174. Is 