rivative of s**6/144 + s**5/24 + s**4/3 + 3*s**2. Let y(k) be the second derivative of o(k). Is y(3) a multiple of 8?
False
Let p(m) = -m**2 + m + 1. Let s(z) = 56*z**2 + 3*z + 6. Let v(d) = -5*p(d) + s(d). Is 11 a factor of v(1)?
False
Let r(m) = -2. Let n(l) = -14*l**2 - 6*l + 7. Let q(c) = -n(c) - 2*r(c). Is 11 a factor of q(-3)?
False
Is 20 a factor of (-120122)/(-26) + -5*8/520?
True
Let m(z) = -z**3 + 9*z**2 - 2*z - 12. Does 4 divide m(7)?
True
Let m(u) = 3*u**2 + 16*u + 16. Does 17 divide m(-7)?
True
Suppose 0 = -2*v - v + 12. Suppose 2*w - 3*m - v = -2*m, -w + 4*m = -2. Suppose -2*u + 3*x = 0, -x - 3*x = w*u - 28. Is 3 a factor of u?
True
Let y = 806 - 238. Does 71 divide y?
True
Suppose -z - 6 = -4*z, 201 = 5*h - 2*z. Is h a multiple of 10?
False
Let h = 101 + -33. Suppose -5*a = h - 258. Is a a multiple of 14?
False
Let o = 18 + -14. Suppose -283 = -o*d - 55. Is 17 a factor of 0 + d - (-9)/3?
False
Let x(w) = w - 1. Let u(f) = -4*f + 3. Let p(o) = u(o) + 5*x(o). Let g be p(5). Suppose -3*s - 2*j = -5*s + 14, 0 = -3*j + g. Is s a multiple of 8?
True
Suppose 117 = 3*o - 0*k - 4*k, 0 = -4*o + 3*k + 149. Suppose -4*s = -107 + o. Is 18 a factor of s?
True
Suppose -25186 = -3*y - 11*y. Is y a multiple of 9?
False
Suppose -f + 5*b + 24 = 0, -4*f = -f - 3*b - 96. Let l = -18 + f. Does 3 divide l?
False
Let k(i) = 8*i - 20. Let l(j) = j - 3. Let y(h) = 3*k(h) - 20*l(h). Let x = 11 + -8. Is y(x) a multiple of 12?
True
Let u(a) = a**2 - 4*a + 10. Let f be u(5). Suppose 2*q = -4*x - 2, -q = -3*x + x - f. Suppose -k = q - 56. Is k a multiple of 13?
False
Let p = -36 + 24. Let r(l) = -17*l + 12. Let g be r(2). Does 3 divide 3*(-16)/p - g?
False
Let t(v) = 17*v**2 - 2*v - 3. Suppose 0 = 5*b - 51 - 49. Let x be -2*5/b*2. Does 4 divide t(x)?
True
Suppose -218 = -3*f + 4*r, -f - 11 = -3*r - 92. Suppose 0 = -2*o + 3 + 7. Suppose -o*s + 2*s + f = 0. Is s a multiple of 12?
False
Suppose -3*i = 2*i - 2470. Is 16 a factor of i?
False
Let w(p) be the first derivative of p**2/2 + 44*p - 30. Does 9 divide w(-8)?
True
Suppose j = 35*o - 33*o + 506, j - o = 505. Does 9 divide j?
True
Suppose 3*q = -5*o + 2*o + 6, -3*o - 22 = -q. Is 4 a factor of q?
False
Does 15 divide 125/25*(-82)/(-2)*2?
False
Let s(d) be the third derivative of d**6/120 - 11*d**5/60 + 5*d**4/24 + 23*d**3/6 - 9*d**2. Is 32 a factor of s(12)?
False
Let d = -1113 - -1623. Is 5 a factor of d?
True
Let w = -57 - -95. Suppose 6*f = 5*f + w. Is f a multiple of 14?
False
Let j = -1 - -3. Suppose -3*r + 5*y - 25 = 0, -2*r + j*y - 5 = y. Suppose r = -6*o + o + 200. Is o a multiple of 10?
True
Let t(z) = -52*z - 27. Is 32 a factor of t(-24)?
False
Let y = 287 + 32. Suppose 0 = -2*a + 10, -z - z = -5*a + y. Let r = -72 - z. Is 25 a factor of r?
True
Suppose -5*s + 705 = -4*x, -2*s + 3*x + 423 = s. Is s a multiple of 47?
True
Let v = -32 + 35. Does 20 divide (v + 1)*(-1 - 217/(-14))?
False
Does 20 divide ((-55)/3 + -1)*-6*5?
True
Let q = -24 - -21. Does 4 divide ((-14)/q - 4)*39?
False
Suppose -2*o = -3*p - 8, -5*o + 11 = 4*p - 7*p. Let l be p/((-5)/((-5)/(-2))). Let q(r) = 17*r**2 + r - 1. Is 17 a factor of q(l)?
True
Suppose -2*w + 2*o + 2082 = 0, 22*w + 5*o - 1059 = 21*w. Is w a multiple of 9?
True
Suppose -871 = -4*a + 3*m, -2*a + 0*m + 408 = 4*m. Suppose 2*u + 50 = a. Is u a multiple of 15?
False
Let d be 60/8*(-430)/15. Let z = d + 527. Does 24 divide z?
True
Suppose 0*s - 4*l + 223 = 3*s, -4*s + 302 = 3*l. Does 2 divide s?
False
Suppose 4*l - 73 = -21. Suppose -l = 3*g + 14. Does 18 divide 0 + (g/(-3) - -15)?
True
Let c(f) = -3*f**3 + 15*f**2 + 14*f - 8. Is c(-5) a multiple of 48?
True
Let h = -23 + 47. Let i be ((-16)/h)/((-1)/3). Does 10 divide (3 - i)*-20*-1?
True
Let w = 1756 - 927. Is w a multiple of 9?
False
Let i(n) be the first derivative of n**4/4 + 16*n**3/3 - n**2/2 + 7*n + 7. Does 22 divide i(-16)?
False
Let p(i) = 20*i + 6. Let l be p(2). Let o = l + 0. Is o a multiple of 26?
False
Suppose -5*x + 4*a + 5976 = 0, -13*a = -14*a + 1. Is 13 a factor of x?
True
Suppose 6*n = -2*n + 1152. Does 16 divide n?
True
Let s(r) be the first derivative of r**2/2 + 4*r + 9. Is s(7) a multiple of 4?
False
Suppose -q - 2*j = 7, -5*q - j + 7 + 3 = 0. Suppose -2*t = -q*t + 50. Is 25 a factor of t?
True
Let k(p) = p**2 + 6*p + 9. Let h be k(-3). Let l be (-54)/(-15)*(5 + h). Does 3 divide 138/l + 2/(-3)?
False
Let q(t) = -t**3 - 17*t**2 - 5*t - 13. Let y be (16/48)/(2/(-102)). Does 9 divide q(y)?
True
Let j(y) = -7*y + 2. Let o be j(-6). Let g be 2/(0 + (-2)/o). Is (27/18)/((-3)/g) a multiple of 21?
False
Suppose -5*s = -348 - 1177. Is s a multiple of 44?
False
Suppose -8*o + 1313 + 319 = 0. Is o a multiple of 4?
True
Is -203*2*88/(-77) a multiple of 12?
False
Suppose -4*v = 6*p - 9*p + 9020, 6015 = 2*p - v. Does 94 divide p?
True
Suppose 6*i + 17 = 35. Is 26 a factor of i/(-4) - 4303/(-52)?
False
Is 69 a factor of 719/4 + 2/8?
False
Is (11/(-2))/(20/(-4400)) a multiple of 24?
False
Suppose 3*x = -x - 5*s + 386, 5*s + 307 = 3*x. Is x a multiple of 16?
False
Let p(u) = -7*u - 17. Let v be p(-3). Suppose -4*t + v*z = t - 92, 0 = -3*t + 3*z + 54. Is t a multiple of 16?
False
Suppose -4*q + 466 = l - 1247, 5*l - 5*q - 8590 = 0. Is 17 a factor of l?
True
Suppose -3*p + 24*p - 15855 = 0. Is 26 a factor of p?
False
Let c(i) = 4 + 2*i - 4 - 4. Let k(q) = 1. Let v(u) = -c(u) - 5*k(u). Is v(-3) a multiple of 2?
False
Let q be (-28)/(-4) + -2 + 0. Suppose -4*g = 4*r + 20, 43 = -q*g - 0*g + 4*r. Let w = 43 - g. Is w a multiple of 14?
False
Let k(x) = x**3 - 9*x**2 - 14*x - 19. Does 59 divide k(15)?
True
Does 21 divide 12 + (-155)/15 - (-8587)/3?
False
Let i(c) = c**2 + 17*c - 35. Let x be i(-19). Suppose -392 - 154 = -x*r. Is r a multiple of 14?
True
Let m(f) = 5*f**2 - 14*f - 34. Is 7 a factor of m(-12)?
True
Let p be 4 - (3 + -2 + 3). Suppose 3*x - 44 = -4*m, 3*m + 2*m - x - 36 = p. Suppose 6*b + 56 = m*b. Does 22 divide b?
False
Suppose 7 = f + m, 4*f + 0*f - 10 = 2*m. Suppose -3*l - 283 = -f*c, 5*l + 30 = 5. Suppose 4*j - 4*u - 172 = 0, 4*j + 2*u = c + 87. Is j a multiple of 20?
True
Let c = -17 - -13. Let b(u) = -u**3 + u**2 - 8*u - 12. Is 10 a factor of b(c)?
True
Let h = 29 + 725. Is h a multiple of 58?
True
Let b(y) = y**2 - 7*y - 10. Let o be b(8). Is 15 a factor of 52 + 4/o*2?
False
Let z = -587 - -707. Is z a multiple of 20?
True
Is 19 a factor of (-521373)/(-357) + (-2 - (-11)/7)?
False
Let y(n) = -42*n**3 - 2. Is y(-3) a multiple of 21?
False
Let s(q) = -q - 12. Let d be s(-10). Is 26 a factor of (0 + d)*((-6)/3 + -24)?
True
Suppose -10*s = -8*s. Suppose j = 3*n - 88 - 25, s = -3*j + 3*n - 327. Let k = -43 - j. Is k a multiple of 16?
True
Let b be (-6)/(-9)*30/2. Let h(j) = 2*j**2 - 2*j + 1. Let f be h(3). Let i = f - b. Does 3 divide i?
True
Does 37 divide -5 + -1358*(-13 - -12)?
False
Let j(r) be the first derivative of -r**5/10 - r**4/4 + 2*r**3/3 + 3*r**2/2 - 7*r - 1. Let t(s) be the first derivative of j(s). Is 9 a factor of t(-3)?
True
Let o(n) = 26*n**3 + 6*n**2 + 3*n - 5. Does 16 divide o(3)?
False
Let y(d) = -d**2 + 12*d + 9. Let x(m) = -m**2 - 9*m + 3. Let t(p) = p + 1. Let u(j) = -4*t(j) - x(j). Let h be u(-7). Does 11 divide y(h)?
True
Let f = -168 - -184. Is 37 a factor of (f/16)/(1/74)?
True
Let d be 0 - (-3 + 15)/(-3). Let f = 6 + d. Is f even?
True
Suppose 150 = -3*h + b + 580, h + 2*b = 148. Is 33 a factor of h?
False
Suppose 2*v + 0 = 20. Suppose -v*o = -6*o. Let k = 2 - o. Is k a multiple of 2?
True
Let q be (-48)/21 + (-4)/(-14). Let f(a) be the third derivative of a**5/12 + a**4/8 + a**3/2 + 2*a**2. Is f(q) a multiple of 17?
True
Suppose -84 = -5*l + 4*l. Is l a multiple of 12?
True
Let p = -25 + 61. Let i = -24 + p. Is 15 a factor of -9*(100/i)/(-5)?
True
Is (585/9)/(2/68) a multiple of 26?
True
Suppose -3*t + c = 4*c + 21, 0 = -5*t + c - 11. Let h be ((-1)/t)/((-11)/(-66)). Suppose -39 = -m + 2*s, -h*s - 5 = 1. Is m a multiple of 11?
True
Let g(d) be the second derivative of -d**5/60 - d**4/2 + d**3/6 + 2*d**2 + 6*d. Let k(h) be the first derivative of g(h). Is k(-11) a multiple of 9?
False
Suppose 4*l - 3*u = 114, -6*u = -5*l - 2*u + 142. Let o = -20 + 25. Suppose l = -2*r + o*r. Is r a multiple of 3?
False
Let o(d) = 3*d + 5. Let q(j) = -j**2 + 4*j + 24. Let u be q(7). Suppo