m(v) = -4*v**3 + 2*v**2 + 10*v + 8. Let o(f) = m(f) + 3*n(f). Is o(6) a multiple of 6?
False
Let m(u) be the second derivative of -u**4/12 + 5*u**3/3 - 5*u**2 - 2*u. Let p be m(8). Suppose -3*k - 78 = -p*k. Does 13 divide k?
True
Suppose 0 = o - 43 + 5. Is 17 a factor of o?
False
Let k be (-3)/(-5) + (-351)/(-65). Let f be (-13)/(2 - (-15)/(-6)). Let b = f - k. Does 20 divide b?
True
Let k be (-90)/3*4/(-6). Suppose -4*x + 5*z + 13 + k = 0, 5*z = 15. Suppose -m + 6*u + x = 5*u, -u = 5. Does 6 divide m?
False
Suppose 0 = -3*s + 6, 2*a - s - 130 = -2*a. Does 14 divide a?
False
Let m be 13 + 0 + 1 + 0. Let n = 26 - m. Is 6 a factor of n?
True
Let w(c) = -2*c + 4. Let o be w(-8). Suppose -2*v = -16 - o. Suppose v = 5*z - 4*z. Does 14 divide z?
False
Let k = 145 - 87. Let x = k + -28. Does 10 divide x?
True
Let v(d) = d**3 - 6*d**2 - 24*d + 4. Does 15 divide v(10)?
False
Let k(c) = -c**2 + 7*c + 2. Suppose -22 = 4*f + 10. Let h = f + 13. Is k(h) a multiple of 12?
True
Suppose -4*b + j = -15, -j = 3*j + 12. Suppose -b*c - c + 20 = 0. Suppose a = 10 - c. Is a a multiple of 4?
False
Let g(n) = 2*n**3 - 6*n**2 - 3*n - 29. Does 27 divide g(7)?
False
Suppose -5*l = -5*t - 25, -6*t + t - 3*l + 15 = 0. Let r = 12 - t. Is 2 a factor of 9/r + 13/4?
True
Does 2 divide (-2)/(-3) - 600/(-45)?
True
Is 46 a factor of (-40)/(-5) + -4 + 656/2?
False
Let k = -15 - -18. Suppose 2*n - 2 = -i, 4 - 67 = -4*i + k*n. Is i a multiple of 6?
True
Let r(n) = n**3 - 2*n**2 - 4*n + 9. Is r(3) a multiple of 4?
False
Suppose 2*w - 15 + 5 = 0. Suppose w = -n + 10. Is n a multiple of 5?
True
Suppose -2*q + 132 = -28. Does 32 divide q?
False
Suppose 0 = -6*r + 4*r + 4. Suppose -5*m + 18 = -r*m. Is 2 a factor of m?
True
Let y = -118 + 219. Is 10 a factor of y?
False
Let h(y) = y**3 + 11*y**2 + 7*y + 4. Let c be h(-10). Suppose 5*b - c = -k, 5*b + 86 = 3*k + k. Does 8 divide k?
True
Suppose c - 8 = -4*r, -r + 1 = -3*c - 1. Suppose c*k = -2*k + 126. Suppose k = -v + 4*v. Does 15 divide v?
False
Suppose 5*b - 287 = -4*a + 223, -b - 132 = -a. Is 29 a factor of a?
False
Is 15 a factor of (-90)/(-4)*(-30)/(-9)?
True
Let c be (2 - 3) + 1/(-1). Let u be (-3)/(1 - c) - -6. Suppose -39 = -u*f + 21. Is f a multiple of 12?
True
Let s(t) be the first derivative of -15*t**4/2 + 2*t**3/3 + t**2 + t - 3. Is s(-1) a multiple of 31?
True
Let z(r) be the first derivative of -r**4/4 + 2*r**3 - 2*r**2 - 5*r + 2. Let a be (-24)/(-9)*(-6)/(-4). Does 11 divide z(a)?
True
Let o(w) = w**3 - w**2 - 1. Let c(f) = -9 - 7*f**2 + 2*f**3 + 3*f + 0*f + 0*f**2 - f**3. Let v(p) = -c(p) + 2*o(p). Is v(-5) a multiple of 11?
True
Suppose 4*r - 168 = r. Suppose -i - i = -r. Is i a multiple of 9?
False
Let p(k) = -k**2 - 19*k. Is 9 a factor of p(-10)?
True
Let j(c) = 25*c + c + 0 - 1. Let d be j(-2). Let z = d + 80. Is z a multiple of 10?
False
Let w = -29 - -55. Suppose -2*q + 4*a + w = 0, -2*q - a - 10 + 26 = 0. Is q a multiple of 9?
True
Is (-1)/(-3 - (-1885)/630) a multiple of 22?
False
Let m = -46 - -72. Does 6 divide m?
False
Does 11 divide -2*7*(-14)/4?
False
Is 2028/4*4/6 a multiple of 13?
True
Suppose -2*d = -7*d + 185. Does 37 divide d?
True
Let u = 57 + 18. Let r = -29 + u. Suppose 0 = 3*s + f - r, 0*f + 5*f + 10 = 0. Does 12 divide s?
False
Let b(s) = s**3 - 5*s**2 - 9*s + 4. Let a(t) = t - 1. Let y be a(7). Let w be b(y). Let k = 22 + w. Is 4 a factor of k?
True
Suppose 50*s = 45*s + 250. Does 5 divide s?
True
Let u(m) = -m + 4. Let d be u(6). Does 8 divide 3*(d - -1)*-6?
False
Let j(a) = -a**3 + 14*a**2 - 12*a. Does 13 divide j(13)?
True
Let c(j) = -11*j - 29. Does 13 divide c(-17)?
False
Suppose 0 = 3*x - 9. Suppose 7 = x*f - 113. Is f a multiple of 11?
False
Is 2/(4/210) + 3 a multiple of 27?
True
Let i be 58/(-4) - 3/6. Is 9 a factor of (-264)/i + (-2)/(-5)?
True
Suppose -5*c + 0*c = -15. Suppose c*q - 72 - 54 = 5*d, 5*q + 2*d = 210. Is q a multiple of 24?
False
Suppose 0 = 7*z - 3*z - 324. Is 9 a factor of z?
True
Suppose 6*q - 4*h - 18 = 4*q, 3*q = 4*h + 25. Let d be (-2)/q - (-90)/21. Suppose -d*u - t + 79 = 0, 5*u + t = -4*t + 110. Does 18 divide u?
False
Let q(k) = k**3 - 16*k**2 + 22*k + 14. Is q(15) a multiple of 5?
False
Let c be (2 + -4)/((-4)/22). Suppose a + 3*d = 10, -4*d = 2*a - a - c. Is a a multiple of 2?
False
Let t be ((1 - 1) + -6)*-2. Let s = -12 - -8. Let v = s + t. Is v a multiple of 5?
False
Suppose -3*x - 15 = 4*k - 67, -k - x + 14 = 0. Suppose -k = -p - p. Suppose -5*g - 4 - 101 = -p*z, -2*g = 3*z - 63. Does 14 divide z?
False
Suppose 0*c = 5*c - 65. Is 6 a factor of c?
False
Does 17 divide ((-20)/40)/(1/(-38))?
False
Suppose 4*a - 206 = -46. Is 1 + 0 + (a - -1) a multiple of 17?
False
Let x(z) = z - 6. Let v be x(-5). Let g = 86 - v. Does 18 divide g?
False
Let g(f) = f**3 + 3*f**2 - 5*f. Let w be g(-4). Let z = 10 - 5. Suppose -z*p - 3*i - 57 = -10*p, i = w*p - 47. Is p a multiple of 6?
True
Suppose 102 = 5*c - 38. Let j be (3/2)/(2/4). Suppose 0 = -j*w + 5*p + c, 4*w = -2*p - 0*p + 72. Is 16 a factor of w?
True
Let x = 8 - 3. Suppose 6 = 3*u + 5*i - 165, -114 = -2*u - x*i. Is 19 a factor of u?
True
Let i(l) = 36*l + 24. Let p(g) = 7*g + 5. Let q(n) = -5*i(n) + 24*p(n). Does 20 divide q(-5)?
True
Let c(u) = u**2 - 5*u + 6. Let j be c(4). Let o be -1*j - 0 - 1. Is 14 a factor of (4 + o)*(40 - -1)?
False
Let f(v) = -2*v - 4. Let l be f(-3). Let c be l/(5/((-5)/(-2))). Is 12 a factor of 190/8 - c/(-4)?
True
Let m(g) be the third derivative of g**5/60 + g**4/24 + 3*g**3/2 - 3*g**2. Is m(-5) a multiple of 29?
True
Let g(h) = h**2 + 2*h + 5. Let d(r) = 1. Let i(w) = -6*d(w) + g(w). Suppose p = -t - 7, -24 = -t + 5*t + 2*p. Is 11 a factor of i(t)?
False
Let n = 3 - 4. Let s be 1 + (-2)/n - 0. Suppose -5*q = 4*p - 39, -p - 9 = -4*p + s*q. Is 6 a factor of p?
True
Let a = -17 + 104. Let d = 93 + -46. Let g = a - d. Does 20 divide g?
True
Let z be 3/((-6)/(-3) + 1). Suppose 2*b - 13 = -z. Let x = b + 10. Is x a multiple of 16?
True
Suppose 2*b - 2 = -4*f, 10*f - 5*f = -b + 10. Suppose f*j - 63 = 9. Is j a multiple of 11?
False
Let u = -5 + 10. Suppose 4*o - o - 234 = -3*g, -386 = -u*g - o. Is 20 a factor of g?
False
Let c = 13 + -13. Let k(l) = -l**3 + 5*l**2 + l - 3. Let x be k(5). Suppose u + x*u - 30 = c. Does 4 divide u?
False
Let l(p) = p + 3. Let c be l(-3). Suppose c*i + 3*i - 120 = 0. Is i a multiple of 15?
False
Suppose -107 - 136 = -3*w. Is w a multiple of 9?
True
Let r = -185 + 618. Does 66 divide r?
False
Let j be 1182/(-30) + (-3)/5. Let x = j + 76. Does 18 divide x?
True
Let o(p) = p**3 + 6*p**2 - 7*p - 1. Let b be o(-7). Let c(m) = -29*m**3 + 2*m**2 - 1. Is c(b) a multiple of 10?
True
Let f(b) = 13*b - 30. Does 20 divide f(10)?
True
Let m = 5 + -1. Suppose 4*x = -c + 11, 0 = -c - 2*x + 5*x + m. Does 7 divide c?
True
Let l(b) = b + 4. Let x be l(3). Suppose 0 = 3*i + 3*r + 3, 3*i + 5*r = 4*i + x. Is 24 - (i - 0/2) a multiple of 13?
True
Let f(n) = -33*n - 59. Is 14 a factor of f(-9)?
True
Let u(y) = y**2 - 6*y - 10. Let x be u(7). Let z be ((-3)/1 - x)*-1. Does 16 divide (z - -10)*96/30?
True
Let j be (0/(-3 + 2))/1. Suppose 3*u = 6*u - 30. Let q = j + u. Is 10 a factor of q?
True
Let m be (-3176)/(-32) + 2/(-8). Let y = 157 - m. Is 29 a factor of y?
True
Let g(i) = 5*i - 5. Let n(u) = u**3 - 12*u**2 + 7. Let z be n(12). Is g(z) a multiple of 17?
False
Let m(d) = d**3 + 5*d**2 - d - 1. Let y be m(-5). Suppose u - y*k = -0*u + 15, -3 = -2*u - k. Suppose u*s + 78 = 2*c, -79 = -3*c + s - 6*s. Does 13 divide c?
False
Let r = 230 - 198. Is r a multiple of 4?
True
Suppose 5 + 19 = 3*d. Suppose 3*l + l = 5*p + 36, -d = -3*l - p. Is (41/(-2))/(l/(-8)) a multiple of 14?
False
Let u(h) = -h**2 + 13*h + 5. Suppose 3*s - 23 = d, s - 4*d - d - 3 = 0. Is u(s) a multiple of 19?
False
Let d(w) = w - 3. Let t be d(6). Let s(z) = 3*z. Let m be s(-1). Does 11 divide ((-10)/t)/(m/27)?
False
Let h(c) = c**2 - 3*c - 1. Let o be h(4). Suppose -4*b + 146 = 5*m, 2*m - 33 - o = 4*b. Is 13 a factor of m?
True
Let h be (-96)/10 - (-6)/(-15). Let v = h - -27. Does 8 divide v?
False
Suppose 3*c - 15 = 2*b, -4*b - b + c = 70. Let y = 16 - b. Is 10/25*(y + -1) a multiple of 9?
False
Let l = -7 - -18. Let t = 17 + -1. Let n = t - l. Is n even?
False
Suppose -11*y - 91 = -18*y. Does 7 divide y?
False
Supp