*d - 25. Let i(n) = 8*n**3 + 11*n**2 + 8*n + 76. Let o(f) = 11*g(f) + 4*i(f). Does 17 divide o(0)?
False
Is 2*-1 + ((-2)/1 - -64) a multiple of 20?
True
Let k = 2 - 0. Suppose 0 = 4*h - k*l - 7 - 71, 2*l = -3*h + 48. Is h a multiple of 9?
True
Let q(g) = -3*g - 17. Does 5 divide q(-8)?
False
Let k be -2*(10/4)/(-5). Suppose -k - 9 = -5*b. Suppose 2*n - 120 = -b*n. Does 15 divide n?
True
Let g(d) = -d**3 + 8*d**2 + d + 2. Suppose 37 = 7*t - 12. Is g(t) a multiple of 24?
False
Suppose 0 = -p + 82 + 10. Is 12 a factor of p?
False
Let k(j) be the first derivative of -j**4/4 - 2*j**3 - j**2 - j + 4. Suppose m + 4 = -m, -3*v - 26 = 4*m. Is 4 a factor of k(v)?
False
Let m be (1 - 0)*-1 - -4. Suppose 2*i - 32 = -4*t, i + 0*i + m*t - 21 = 0. Is i even?
True
Let n be (-16)/(((-6)/7)/3). Let r = -14 + n. Is 14 a factor of r?
True
Let z = 6 + 4. Is 10 a factor of z?
True
Let l = 25 + -12. Is l a multiple of 3?
False
Suppose 0 = 5*c + 10, -4*c - c = 4*y - 186. Is y a multiple of 14?
False
Suppose 0 = p - 4*p + 9. Suppose -2 = 4*y + 6, p*r - 4*y = 20. Does 3 divide r?
False
Suppose -2*y + 19 = -11. Is 2 a factor of (y/(-20))/(2/(-16))?
True
Let f(s) be the first derivative of s**6/60 + s**5/120 + s**4/12 - 4*s**3/3 + 2. Let q(u) be the third derivative of f(u). Does 12 divide q(-2)?
True
Let n(s) be the third derivative of s**5/30 - 7*s**4/24 - s**3/6 - 3*s**2. Is 17 a factor of n(6)?
False
Suppose 2*q - 5*z = -2, 14 = -2*q + 3*z - z. Does 5 divide 1/(-2 - q/5)?
True
Let u be 4/3*(-3)/(-2). Suppose 4*w - 4*p + 68 = 8*w, -w - u*p + 19 = 0. Does 6 divide w?
False
Suppose 0 = -8*c + 3*c + 145. Let t = c + -16. Is t a multiple of 13?
True
Let h(t) = -4*t**3 - 2*t - 9. Is h(-3) a multiple of 15?
True
Let s = 27 + -29. Is s + 0 + 4 + 6 a multiple of 3?
False
Let p = 3 - 2. Is (-1)/(p*(-1)/60) a multiple of 20?
True
Let u(s) = -s**2 + 5*s + 2. Suppose 2*m - 5 = 3. Is u(m) a multiple of 3?
True
Let o(d) = -2*d**3 - d**2. Is 14 a factor of o(-3)?
False
Let w(a) = -6*a**2 + 5. Let f(h) = -h**2 + 1. Let v(z) = 20*f(z) - 4*w(z). Is v(-2) a multiple of 16?
True
Suppose 2*b - 76 - 40 = 0. Suppose d = -4*l + 18, -d = d + 2*l - 36. Let j = b - d. Is 18 a factor of j?
False
Let v = 22 + -16. Suppose j = -w + v - 19, j + 28 = -4*w. Let h = j + 10. Does 2 divide h?
True
Suppose 15*u = 17*u - 84. Is 14 a factor of u?
True
Suppose f - 7 = -4*l, 3*f = l + 26 - 5. Does 2 divide f?
False
Suppose -3*j + 5*c - 17 = 0, j - 21 = -4*j - 4*c. Is (-1)/(j/(-7)) + 3 a multiple of 6?
False
Suppose 976 = 10*p - 2*p. Does 26 divide p?
False
Let u(q) = q + 9. Let p be u(0). Let n be (-2)/6 - 6/p. Is 12 a factor of 1 - (-33 - 2 - n)?
False
Let y(w) = -2*w**3 - w**2 + w + 2. Let h be y(-2). Let g be 536/h - 4/6. Suppose -3*s + 31 = p - 3*p, -4*s + g = -4*p. Is s a multiple of 3?
True
Suppose 0 = n - 3*r + 3, 3 = -3*n + r + 2. Is 12 a factor of 5 + 12 + n + 1?
False
Let l(u) be the second derivative of -4*u**3/3 + u**2 - 4*u. Does 18 divide l(-2)?
True
Let q(k) = -k**3 - 4*k**2 - 2*k + 1. Let w be q(-2). Let n(c) = c - 7*c + 4 - 5*c. Is n(w) a multiple of 14?
False
Let c = 314 + -217. Is 17 a factor of c?
False
Let u = 4 + 0. Suppose u*c - 20 = -c. Does 2 divide c?
True
Suppose w - 362 + 110 = -5*l, -l - 3*w = -42. Is l a multiple of 14?
False
Let b be 4/(-12)*-3 + 236. Suppose -5*k = -198 - b. Is 23 a factor of k?
False
Suppose -5*u = -m - 20, 2*m = -m - 15. Let j = 29 + u. Is 16 a factor of j?
True
Suppose -35 = -4*d + 4*p + 33, 5*d - 3*p - 93 = 0. Is d a multiple of 5?
False
Let z = 27 - -62. Suppose 2*c - z + 17 = 0. Is c a multiple of 12?
True
Suppose 4*p = 7 - 43. Does 19 divide -2 - -14*p/(-6)?
True
Let p(r) = r**2 + 6*r - 6. Let x be p(-6). Does 7 divide ((-36)/3)/(x/9)?
False
Suppose 0 = -5*k + 56 + 64. Suppose 0 = -5*t + 2*t - k. Does 12 divide 134/11 + t/44?
True
Let d be 10 - (2 - 2)/2. Suppose -3*t = 3*q - d - 5, 6 = 2*t - 2*q. Suppose -t*c = 4*w - 36, 3*w - 3 = 2*w. Is 4 a factor of c?
False
Let b = 280 + -179. Is b a multiple of 5?
False
Let x(g) = -g**3 - g**2 - 4*g + 4. Let q be x(-4). Suppose -q = -h - 3*h. Suppose h = w - 21. Is w a multiple of 14?
False
Let h(r) = -51*r + 54. Does 15 divide h(-6)?
True
Let m(p) = p**3 - 3*p**2 - 6*p + 4. Let t be (-6)/(-4)*(-80)/(-24). Let z be m(t). Suppose 0 = 3*x - 78 + z. Does 12 divide x?
False
Suppose -12 = 4*y - 3*g - 117, -2*y + 3*g = -57. Let c(r) = -r**3 + 5*r**2 + 4*r - 4. Let n be c(6). Let i = y + n. Is 8 a factor of i?
True
Let r(o) = -3*o - 1. Let u be r(3). Let b = u - -20. Does 7 divide b?
False
Let v(f) = f**2 - f + 1. Let d be v(2). Let y be ((-9)/6)/(d/(-4)). Suppose -2*u = y*u - 56. Is 4 a factor of u?
False
Let f(n) = 9*n - 2 + 2*n - 2 - n**2. Is f(9) a multiple of 14?
True
Let w(g) = -17*g**3 + 4*g**2 + 2*g - 2. Is 23 a factor of w(-2)?
False
Let g(o) = o**3 - 6*o**2 + o + 6. Let r be g(6). Let s = r - 18. Let u(k) = -2*k + 6. Is u(s) a multiple of 11?
False
Is 5 a factor of (166/8)/1 + (-24)/32?
True
Let a be 8/(-6)*(0 + -3). Suppose 5*o = 3*v + 35, 0*o + 28 = a*o - 3*v. Is 7 a factor of o?
True
Suppose 5*c = -3*w - 19, 2*c + 0*c + 10 = 0. Suppose 46 = i + 49. Is 18/w*(-13)/i a multiple of 12?
False
Is 17 a factor of (11/(-3) + -2)*-3?
True
Suppose 0 = -5*d - 25, -d = u + 2*u - 43. Does 3 divide u?
False
Let t = 9 - 8. Is (14/4)/(t/4) a multiple of 6?
False
Let h be (0 + 32)*6/8. Suppose -16 = -4*b + 176. Let j = b - h. Is j a multiple of 12?
True
Let m = 4 + -5. Let z(k) = -k - k + 4*k + 38*k**2 + 1. Is z(m) a multiple of 19?
False
Let q(k) be the second derivative of -k**4/12 - 2*k**3 - 9*k**2/2 - 3*k. Is 6 a factor of q(-9)?
True
Suppose -3*r + 5*r = 154. Does 11 divide r?
True
Suppose 2*x - 13 - 13 = 0. Is 2 a factor of x?
False
Let j = 5 + -2. Let v(h) = 2*h**3 - h**2 - 3*h - 5. Let w(b) = b**3 - b - 1. Let k(l) = v(l) - w(l). Does 7 divide k(j)?
False
Let r(y) = 4*y + 5. Let o be r(-5). Let x = 1 + o. Let j = 25 + x. Is 4 a factor of j?
False
Suppose 111 = -3*i - 3*w, 0 = -4*i - 5*w - 90 - 62. Let g = -18 - i. Is g a multiple of 4?
False
Let y(u) = u**2 + 2*u + 3. Let x(l) = 2*l**2 + 1. Let w be x(1). Does 6 divide y(w)?
True
Suppose 4*m + 8 = 2*g - 0*m, -g = 3*m - 9. Does 12 divide (-4)/g - (-89)/3?
False
Is (5 - 2)/(9/210) a multiple of 10?
True
Let o(v) = 2*v. Let t be o(1). Is 214/10 - t/5 a multiple of 11?
False
Let i be (-4 + 2 + 3)*4. Does 8 divide -7*3/((-3)/i)?
False
Suppose -5*h - 5*o + 95 = -10*o, 5*o = h - 19. Let s = h + -1. Is s a multiple of 18?
True
Let w(x) = -20*x + 21. Does 19 divide w(-7)?
False
Suppose -6*m + 90 + 42 = 0. Is m a multiple of 7?
False
Suppose -4*r = -4*v - 8, 5*v = 2*v + 2*r - 1. Suppose -5*p + 4*g = -19, p = 4*p - v*g - 12. Suppose 27 = 2*j - p*i, 4 + 11 = 3*i. Is 21 a factor of j?
True
Suppose -5*y - 3*i = -y - 133, -3*i - 3 = 0. Does 7 divide y?
False
Let x = -5 - -1. Let c = x - -24. Does 20 divide c?
True
Suppose 60 = 4*t - t. Is t a multiple of 10?
True
Suppose -4*d = -d - 72. Does 9 divide d?
False
Does 7 divide ((-10)/30)/(1/(-882)*2)?
True
Suppose 5*y - 2*y = 2*q - 15, -y + 2 = -3*q. Let g = 18 + -6. Let r = y + g. Is 4 a factor of r?
False
Let r(l) = l**3 - 9*l**2 - 6*l - 3. Does 20 divide r(10)?
False
Suppose 2*l = 5*y + 258, -4*l + 8*y + 496 = 3*y. Is 17 a factor of l?
True
Let v(l) = 3*l**2 - 6*l - 6. Is v(7) a multiple of 20?
False
Let p(o) = -o - 6. Let l be p(-7). Let c = l + 1. Suppose -5*m = -3*k - 142, 44 = c*m - 0*k + 2*k. Does 13 divide m?
True
Let v(l) = l**3 + 8*l**2 + 6*l - 7. Let m be v(-7). Suppose m = 2*t + 2*t - 168. Is t a multiple of 14?
True
Let y(v) = 4*v**2 + 4*v - 3. Let t(f) = 4*f**2 + 5*f - 2. Let r(u) = -2*t(u) + 3*y(u). Is 19 a factor of r(-4)?
False
Suppose 5*d - 2*d - 9 = 0. Let i be 20/15*78/4. Suppose d*q = i + 19. Is 15 a factor of q?
True
Let n(y) = y**2 + y. Let w be n(5). Suppose 3*h = 6*h - w. Is h a multiple of 5?
True
Suppose 0*m + 4*m - 192 = 0. Let r = m - 110. Let b = -39 - r. Is b a multiple of 6?
False
Let j(a) = 5*a - 8. Let s be j(5). Let w = s - 12. Is 2 a factor of w?
False
Is 38 + (-4)/2*-1 a multiple of 7?
False
Suppose u + 3*u - 16 = 0. Suppose w = -u*w + 915. Is 16 a factor of 1/4 + w/4?
False
Let z = 369 + -203. Is z a multiple of 9?
False
Let v be 2/4 - 2385/(-6). Suppose 4*d + d - v = -2*o, -395 = -5*d - 5*o. 