8. Let v be 2 - g/(3 + 0). Let m = -12 + v. Is m a multiple of 8?
False
Let x be (6 - 5)/((-1)/3). Is 12 a factor of 2/x - 416/(-12)?
False
Suppose n - 90 = 55. Does 28 divide n?
False
Suppose -5*g = -4*l - 0*l - 1, 5*l = 5. Let d(u) = g - 6*u - 25*u + 3*u. Does 13 divide d(-1)?
False
Suppose 0 = -5*h - 3*c + 23, -8 - 9 = -3*h - 5*c. Suppose h*v = 3*v. Suppose -p - 8 = -d, 5*p + 22 = -v*d - d. Is d a multiple of 2?
False
Suppose 2 + 3 = 5*b. Let r = 5 + b. Is 3 a factor of r?
True
Let c = -50 - -98. Is 5 a factor of (c/1)/((-3)/(-2))?
False
Suppose -130 - 98 = -2*u. Is u a multiple of 52?
False
Let b = 16 - 11. Suppose 3*d - 53 = 5*l, 0*d + 21 = d - b*l. Is d a multiple of 8?
True
Is (-352)/(-6) + (-3)/(-54)*6 a multiple of 31?
False
Suppose 3 = 4*q + 5*p - 29, 3*q = -2*p + 17. Suppose -b - 1 = -2*z - 2, 0 = b - q*z + 2. Does 7 divide b?
True
Let z be (-6)/2 - (-6)/1. Suppose 4*n + 4*h = 4, 0 = -z*n - 5*h - 3 + 4. Suppose 0 = -n*o - o + 39. Is 6 a factor of o?
False
Suppose 0 = -5*c + 2*z - 0*z + 484, 306 = 3*c + 4*z. Does 14 divide c?
True
Let v = 9 - 5. Suppose -4*j = -3*p - j - 18, -3*j + v = -p. Let b(f) = -f**3 - 7*f**2 + 5. Does 2 divide b(p)?
False
Is (-40)/18 - -2 - 317/(-9) a multiple of 7?
True
Let f(z) be the first derivative of -z**4/4 + 2*z**3 + 4*z**2 - 4. Let w be f(7). Let s = -4 + w. Is 2 a factor of s?
False
Suppose x - 1 = 4. Suppose 2*n + 3*h - 17 = 0, -2*n - 5*h = -x*n + 73. Is 8 a factor of n?
True
Let y(o) = 2*o**2 - 11*o + 9. Let j be y(7). Let r = -18 + j. Is 5 a factor of r?
False
Let s be (-6)/(-33) + 18/22. Suppose -l + s = -1. Suppose -2*v - t = -48, l*t = 5*v + 37 - 157. Does 12 divide v?
True
Let o(i) = -25*i + 29. Is 25 a factor of o(-8)?
False
Let u = -5 + 19. Is u a multiple of 3?
False
Suppose -3*k - 4*s + s + 6 = 0, s = 4*k + 2. Does 15 divide 32 - (-1 + 0) - k?
False
Let s = 30 + -26. Is 3 a factor of s?
False
Let i(w) = -5*w**2 + 12*w + 17. Let l(a) = 2*a**2 - 4*a - 6. Let q(k) = -3*i(k) - 8*l(k). Let o be q(-3). Suppose o = -3*j + 33 + 51. Is 11 a factor of j?
False
Let j be 0 - -2*(1 - -1). Let m = -14 - j. Is (-12)/m - (-104)/6 a multiple of 14?
False
Let a(k) = -k**2 - 9*k + 0*k**2 + 0*k + k. Is 5 a factor of a(-3)?
True
Let r(c) = -2*c. Let p be r(-1). Suppose -2*y + 3*s = -7*y, 4*y + p*s = -2. Does 9 divide (7*-15)/y + -1?
False
Let j(q) = q - 4. Let y be j(6). Suppose 3*g = -y*g + 50. Is g a multiple of 10?
True
Let s(r) be the first derivative of -r**4/4 - 2*r**3 - 3*r**2/2 - 2*r - 1. Suppose 9*l - 22 = -76. Is s(l) a multiple of 16?
True
Let b be 2/6 - 26/(-3). Let z = b + 53. Does 31 divide z?
True
Is 39*(1 + -2 + 35/15) a multiple of 27?
False
Suppose 15 = -3*w, -w + 5 = 2*o + 2*w. Suppose 2*c + 3*v + 5 - 45 = 0, c = v + o. Is 3 a factor of c?
False
Suppose -72 = -2*w + 2*c, w - 23 = -c + 19. Suppose 4*b = -3*j + 158, w + 93 = 2*j - 4*b. Suppose -2*a - 4*i = -j, -3*a + i + 4*i + 32 = 0. Is 7 a factor of a?
False
Let q(z) be the second derivative of 3/2*z**3 + 0 - 5*z**2 + 1/20*z**5 - 2*z + z**4. Is q(-11) a multiple of 6?
True
Suppose 0*j + 25 = -5*j, 273 = 4*o + 3*j. Is 8 a factor of o?
True
Let t(d) = -d**3 - d**2 + 3*d - 2. Suppose -8 + 4 = w. Is t(w) a multiple of 13?
False
Let t(x) = 4*x + 8. Is 5 a factor of t(4)?
False
Let u(f) = f**2 - 6*f + 12. Let l be u(10). Let x = -3 - -7. Suppose -x*s + l = -0*s. Does 13 divide s?
True
Does 14 divide 900/14 + 8/(-28)?
False
Suppose 0*u + 4*u + s = 3, -s - 5 = 0. Is 5*u*(-7)/(-2) a multiple of 18?
False
Let i(n) = 4*n**2 - 3*n + 3. Let m be i(-3). Let o be ((-114)/8)/(3*1/(-16)). Let f = o - m. Is f a multiple of 16?
False
Let l(n) = n**2 - 7*n - 12. Let v be l(9). Is 13 a factor of 80/v + 3/(-9)?
True
Let h(k) be the third derivative of -k**5/60 + k**4/2 + k**3/2 + k**2. Is h(6) a multiple of 13?
True
Let c = 9 - 23. Is 1/(1/c*-2) a multiple of 3?
False
Suppose -112 = -4*a + 2*a. Is 19 a factor of a?
False
Let h be (1 - -2)/((-18)/(-138)). Suppose -x = -4*g - h, -x = x - 5*g - 58. Does 13 divide x?
True
Let s(t) = -t**2 + 18*t + 4. Does 15 divide s(15)?
False
Is 4 a factor of ((-11)/(-22))/((-1)/(-12))?
False
Suppose f = 3*k - 159, -172 = -4*k - 3*f + 27. Is 13 a factor of k?
True
Let m = -6 - -7. Suppose -1 = o + m. Is (-582)/(-18) - o/(-6) a multiple of 17?
False
Suppose -230 - 310 = 5*m - 5*x, -x + 2 = 0. Let t be 3*(0 + 1)/(-1). Does 14 divide 1/t + m/(-3)?
False
Suppose -140 = -2*i - 2*p, 93 + 202 = 4*i + p. Is 25 a factor of i?
True
Let m(n) = n**3 - 4*n**2 + n - 6. Let h be m(6). Suppose 3*s - h = 54. Is s a multiple of 21?
True
Suppose 0 = 4*a + 95 - 659. Suppose 3*t + 0*h = 3*h + a, -4*t - 2*h = -212. Does 17 divide t?
True
Suppose 4*t = -2*d - 2*d + 260, 0 = 2*t + 5*d - 136. Is t a multiple of 9?
True
Let c(q) = 103*q - 4. Let p be c(4). Suppose 0*i = 4*i - p. Does 29 divide i?
False
Let i = -65 + 105. Let q = -14 - -14. Suppose q*c = 5*c - i. Is c a multiple of 4?
True
Let n = 49 - 28. Suppose -l + 123 = n. Suppose 5*k - 2*k - t = 51, -4*t + l = 5*k. Is k a multiple of 9?
True
Let f be 3 + -5 + (1 - 2). Let k = f - -5. Let s(a) = 10*a + 1. Is 11 a factor of s(k)?
False
Let g = -13 - -18. Does 3 divide g?
False
Let s = 23 + -36. Let x = s - -31. Is 6 a factor of x?
True
Let z(y) = -7*y**2 + 24*y - 14. Let f(q) = 20*q**2 - 71*q + 41. Let r(v) = -6*f(v) - 17*z(v). Is r(16) a multiple of 7?
False
Let a(o) = 6*o - 6. Let t(r) = 3*r - 3. Let n(y) = -2*a(y) + 5*t(y). Let l be n(2). Suppose -l*d = -d - 58. Is d a multiple of 14?
False
Suppose 5*c + 4*k = -36, -12 = 4*c + c - 2*k. Let b = c + 3. Is 15 a factor of 34/2 + (b - 1)?
True
Let a(b) be the second derivative of -3/2*b**2 + 1/6*b**4 - 1/2*b**3 - 3*b + 0. Is a(-4) a multiple of 12?
False
Is 34 a factor of 44/154 + 1900/14 + 0?
True
Let y(l) = -l**2 - 13*l. Let v = 3 - 4. Let w be 3*(2/1)/v. Does 14 divide y(w)?
True
Is 0 - (3 + 53/(-1)) a multiple of 12?
False
Let o = 11 - 6. Suppose 0 = 2*d + 5*b - 18, o*d - 3*d = 4*b + 18. Is d a multiple of 6?
False
Let b be 2/(7/((-1281)/(-6))). Suppose 5*q - b - 69 = 0. Is 13 a factor of q?
True
Suppose 2*d = 2*l + 22, 4*l - 26 = -2*d + 2*l. Let g = d - -8. Is g a multiple of 7?
False
Let a be (5/(5/(-32)))/(-1). Suppose 0 = -4*h - 0*h + a. Suppose 2*s + 37 = 5*v + 6*s, 4*s = -h. Is v a multiple of 5?
False
Suppose 2*b + 1188 = 6*b. Let p = -201 + b. Is 32 a factor of p?
True
Let y be (-12)/(-5) - 8/20. Suppose -10 = d + 2*j - 35, 4*d - 50 = y*j. Is 5 a factor of d?
True
Suppose 151 = 3*b + 2*n, 0 = -2*b - b + n + 163. Let s = b + -21. Is 11 a factor of s?
False
Suppose 68 = n - 4*n + 2*m, 0 = -n - 4*m - 32. Let j be (-66)/n - 1/(-4). Does 9 divide j/1 + 18 - -1?
False
Suppose -c + 1 = a, a - 3*c - 17 = -0. Suppose -a*s + 76 = -s. Does 12 divide s?
False
Let k(h) = 7*h - 53. Is 5 a factor of k(19)?
True
Let j(a) be the second derivative of -1/6*a**3 + 1/4*a**4 - a + 3/2*a**2 + 0. Is j(-3) a multiple of 11?
True
Suppose 4*z - 100 = 224. Suppose 4*f = 95 + z. Is 11 a factor of f?
True
Let n = -150 + 210. Is n a multiple of 12?
True
Suppose 28 = -3*z + 118. Does 10 divide z?
True
Let h be (-66)/(-10) - (-10)/25. Let i(g) = g + 4*g + 5 + 7*g**2 + 2*g**3 - 3*g**3. Is 13 a factor of i(h)?
False
Suppose 2*w - 2 - 2 = 0. Suppose w*h - 1 = 5. Suppose -r + 15 = -4*i, 3*i + 0*i + 45 = h*r. Is r a multiple of 11?
False
Suppose -3*l - 1340 = 2*l. Does 25 divide (-1 - l/4) + -2?
False
Let q be (-36)/(-10) - (-4)/10. Suppose -4*j = -t - 5*j + 6, -q*j = -4*t + 56. Suppose -30 = -5*s + t. Is s a multiple of 4?
True
Suppose -2*p + 96 = -g, 4*g = 3*p - 125 - 14. Suppose h = -3*s + p, -h - 3*h = -s - 1. Is s a multiple of 9?
False
Suppose 2*i - n + 0*n = -29, -n = 4*i + 61. Let m = i - 5. Let b = 16 - m. Is b a multiple of 24?
False
Let w = -3 - -5. Suppose 3*q - 40 = -2*y, -4*y + 3*q + 108 = w*q. Does 11 divide y?
False
Let d = -5 + 7. Suppose -3*j + 4 = -4*v - 0*j, -d*j + 8 = 0. Suppose -x - 1 = -o - 0, -v*x + 22 = 2*o. Does 6 divide o?
True
Let j(n) = -8*n - 1. Let y be 2 - (2 + (-2)/(-1)). Is j(y) a multiple of 3?
True
Let b be (-24)/(-14) + 6/21. Let x(n) be the second derivative of n**5/20 - n**4/12 - n**3/3 + 3*n**2/2 - 8*n. Does 2 divide x(b)?
False
Suppose -2*y - 36 = -5*y. Suppose 2*q - n = 40, -3*q - n = -67 + y. Is q a multiple of 19?
True
Let o(b) = b**