= -2*c**2 - 13*c - 9. Let k(q) = 3*o(q) + 2*z(q). Does 9 divide k(10)?
True
Let d(n) = 2*n - 4. Let t be d(3). Is 11 a factor of (t + -1)/(2/46)?
False
Let i(u) = u**3 - 7*u**2 + 6*u + 5. Let a be i(6). Let y(k) = k**2 - 4*k - 1. Let t be y(a). Suppose t*c - 52 = -0. Is 13 a factor of c?
True
Let f(n) = 5*n**3 + n**2 - n. Let r be f(1). Suppose 0 = r*v - 172 + 52. Is 9 a factor of v?
False
Suppose 2*q + 8*z - 10*z = 54, -4*q + 136 = 3*z. Is 5 a factor of q?
False
Suppose -3*p = -176 - 385. Does 28 divide p?
False
Suppose -81 = -3*z + 54. Let p = z - 28. Is p a multiple of 17?
True
Suppose -3*y = -4*f + 2*f + 363, -4*f + 719 = y. Is f a multiple of 15?
True
Let z(c) = -c**2 - 10*c - 2. Let i be z(-11). Let y = 3 - i. Does 8 divide y?
True
Let d be (-3*2/(-2))/1. Let c = 7 - 4. Suppose -c*n - 4 = 4*k - 22, d*n + 18 = 2*k. Does 3 divide k?
True
Let m(b) = 8*b**2 + 7*b + 15. Is 15 a factor of m(-3)?
False
Let u(q) = -q**3 + 5*q**2 + 6*q + 5. Let c be u(6). Let z be c*((-2)/(-5) + 0). Is 21 - (2 - z - -1) a multiple of 10?
True
Let p(n) = n**3 + 2*n**2 - n - 4. Let s be p(-3). Suppose -21 = -5*r + 3*z, 4*r - 3*z + 4*z - 27 = 0. Is (-24)/s*75/r a multiple of 15?
True
Let i = 264 - 29. Let z = -125 + i. Is 30 a factor of z?
False
Suppose -5*w - 3*h = -w - 36, h = -4*w + 28. Let y(m) = m**2 + 5*m + 6. Let k be y(-4). Let o = k + w. Does 8 divide o?
True
Let t = -56 + 32. Let z = t + 51. Does 9 divide z?
True
Does 11 divide (-5 - 57)*2/(-4)?
False
Let p(k) be the second derivative of k**4/6 - k**3/3 + 5*k**2/2 - 7*k. Is p(-4) a multiple of 15?
True
Let h(j) = 9*j**3 + 2*j**2 - 1. Let b be 0*(-2 - (-3 + 0)). Suppose k - 3 = b, -a = 2*k - 1 - 6. Does 10 divide h(a)?
True
Suppose s + 4*t - 46 = 0, t + 13 = 2*s - 61. Does 7 divide s?
False
Suppose 8*r - 362 = 998. Is r a multiple of 16?
False
Suppose -7*u = -81 - 1361. Does 10 divide u?
False
Is 0 + 4/10 + (-1696)/(-10) a multiple of 26?
False
Suppose -2*u = 3*v - 12, -v - 4*u = 3*v - 16. Let o be (-2 + 29)/(6/8). Suppose -v*x = -6*x + o. Does 9 divide x?
True
Let c(r) = 5*r**2 - 5*r + 4. Let z be c(7). Suppose 5*l + 86 = -a + z, -l + 16 = -3*a. Suppose -l = -u + 11. Is u a multiple of 13?
False
Let k = 4 - 4. Suppose k = -0*n + 2*n + 10. Let c = n - -16. Does 5 divide c?
False
Let q = 82 - 199. Is 15 a factor of (-4)/(-14) + q/(-7)?
False
Let t be 4/(-18) - 152/(-36). Suppose -t*z + 3*z = -4. Is 3 a factor of z?
False
Let j(f) = -f**3 + 9*f**2 - 4*f + 4. Let p = -106 - -151. Suppose -2*l + p = 5*g + 3*l, 3*g - 3*l - 21 = 0. Is j(g) a multiple of 18?
True
Suppose 3*l + 0*l + 3*x - 1137 = 0, x - 1 = 0. Is 9 a factor of l?
True
Let k = 1 - -5. Let h = -10 + k. Let l = 6 + h. Is l even?
True
Let z be 3*1*912/36. Suppose -q = -5*q + z. Is q a multiple of 8?
False
Let n(w) be the third derivative of w**5/20 + w**4/12 + w**3/6 + 2*w**2. Let o be n(-1). Suppose o*j - 41 + 1 = 0. Does 11 divide j?
False
Suppose -8 = -3*f - 2. Suppose f*v - o - 8 = 0, v - 5 = 2*o + 5. Is v a multiple of 2?
True
Suppose -4*a - 2 + 62 = 0. Suppose -a = -4*l + 9. Does 3 divide l?
True
Suppose -5*k + 3*m - 75 = 0, -5*k + 6*m = 2*m + 70. Let i be 60/14*1*7. Let n = i + k. Is n a multiple of 6?
True
Let o(r) = r**2 - 4 + 1 - r**3 + 6. Does 2 divide o(0)?
False
Let j be -5*1*(-5 + 4). Let w = 14 - j. Does 9 divide w?
True
Let x(t) = t**2 - 5*t - 14. Is x(9) a multiple of 11?
True
Suppose 2*r - 2*w - 8 = 0, -w + 6*w = -2*r - 20. Let t(b) = -2*b + 3. Let v be t(3). Is (1 + r)/(v/(-57)) a multiple of 11?
False
Let v(f) = 16*f + 40. Does 24 divide v(5)?
True
Let h(f) = f**2 - 10*f + 14. Let p = -15 - -26. Is 6 a factor of h(p)?
False
Suppose 0 = -5*f + 2*f - k + 22, -2*k = -f + 12. Suppose f = 3*r - 19. Is 9 a factor of r?
True
Suppose -2*m + 6 + 4 = 0. Suppose -m*v = 2*y + 41, 0 = v + 2*v + 3*y + 30. Let z = v + 25. Does 9 divide z?
True
Let q be 26*(-3 + 4) + -2. Suppose w - q = -0*w. Is w a multiple of 12?
True
Suppose -j = -2*j - 11. Let n = -4 - j. Let m(l) = l**2 - 3. Does 17 divide m(n)?
False
Let c(t) = -3*t - 1. Let l(x) = 0*x + 3*x - x. Let u(k) = -4*c(k) - 7*l(k). Is 6 a factor of u(-5)?
False
Let j(o) = 3*o**2 + 4*o + 2. Let d be j(-4). Suppose 5*a - 16 = d. Is a a multiple of 10?
True
Suppose o - 11 = -4*m, 0 = -m + o - 3*o + 8. Suppose -z = m*z. Let d(i) = i**3 + i**2 + i + 10. Does 4 divide d(z)?
False
Let o(x) = 3*x + 1. Suppose 2*z - 4*k = -52, k - 17 = 2*z + 20. Let n = 28 + z. Is 14 a factor of o(n)?
False
Let g(p) = -3*p**3 - 5*p**2 - p + 11. Does 38 divide g(-5)?
True
Let h = -70 - -151. Does 9 divide h?
True
Let i = 1 - 1. Suppose 3*n + 5*x - 125 = i, 0 = 3*n - 0*n - x - 101. Is 13 a factor of n?
False
Suppose 5*k - 4*k - 4 = 0. Let r be 94/4 - 1/(-2). Suppose 2*l - 24 = 2*j, -k*j + r = -l + 5*l. Is l a multiple of 3?
True
Let x(i) = -i - 3. Let a be x(-6). Let m(w) = w**2 + 4*w. Is m(a) a multiple of 7?
True
Let k(t) = -2*t - 1. Is 3 a factor of k(-8)?
True
Let c be (-78)/(-10) + 2/10. Is (22/c)/(2/16) a multiple of 11?
True
Does 17 divide (-2)/(-17) + 4270/119?
False
Suppose -2*o + 6*o = 0. Suppose -4*l + 5*f + 53 = o, 0*l + l - f - 13 = 0. Is 12 a factor of l?
True
Let r(b) = -9*b + 14. Does 17 divide r(-6)?
True
Suppose 5*h = 3*h + 36. Is 5*(2 - h/(-15)) a multiple of 13?
False
Let t(z) be the first derivative of -z**2/2 + 12*z - 3. Let f be t(9). Suppose -38 = -5*j - f. Does 7 divide j?
True
Suppose -3*s = t + 165, 3*t + 118 = -5*s - 157. Suppose -4*b - 4 = -0. Is (s/20)/(b/8) a multiple of 11?
True
Let o(l) = l**3 - 8*l**2 - 15*l + 8. Is o(10) a multiple of 9?
False
Let w(p) = p**2 - p - 2. Let h be w(2). Suppose -4*u = -h*u - 20. Suppose -s - u + 32 = c, 0 = s. Does 11 divide c?
False
Let y = -3 + 3. Suppose y = b + 4 - 26. Does 11 divide b?
True
Let s = 87 - 238. Let m = -71 - s. Does 20 divide m?
True
Let p(k) = -2*k + 2. Does 19 divide p(-18)?
True
Let v be (-1 + 0)/((-1)/(-7)). Let q = v + 13. Does 11 divide ((-9)/q)/(3/(-44))?
True
Let c = 30 - 53. Let b = c + 99. Is 19 a factor of b?
True
Let v be (-68)/(-8) + (-6)/4. Suppose -5*y - v + 98 = -3*q, -2*q + 106 = 5*y. Does 6 divide y?
False
Suppose -4*f + 3 + 1 = 0. Let a = 1 + -1. Suppose -4*x = -5*c - a*x + 29, 4*x = -c + f. Is c a multiple of 4?
False
Let x = 26 + -13. Let j = x + -9. Suppose 5*b + p - 161 = 0, 86 = 2*b - j*p - p. Is b a multiple of 11?
True
Let s = 199 + -127. Is 20 a factor of s?
False
Let c(k) = -8*k + 1. Let v = -1 - -2. Let q be c(v). Let o = 10 + q. Does 2 divide o?
False
Let a = -4 - -6. Does 6 divide 14 - (-4)/(4/a)?
False
Let r = 60 + 242. Is r a multiple of 25?
False
Let o(u) = -35*u - 23. Is 13 a factor of o(-4)?
True
Suppose 5*w + 14 = y - 0*w, 0 = y + 3*w - 22. Suppose -6*k = y - 211. Does 16 divide k?
True
Let m(k) = -k**3 + 3*k**2 - k. Let f(w) = -2*w**3 - 2*w**2 - 2*w - 1. Let q be f(-1). Let h be m(q). Is 12 a factor of h - 3 - (0 - 29)?
False
Let p(g) = 0 - 6 + 3*g + 4 - 2*g. Let j be p(4). Does 8 divide 90/4 + 1/j?
False
Let d = 15 + -11. Suppose -d*l - 5*n = -83, -40 = -0*l - 2*l - 4*n. Is 22 a factor of l?
True
Let k = -36 - -60. Suppose 0*t = -4*t + k. Is 13 a factor of (-304)/(-12) - (-4)/t?
True
Let z(w) = 42*w**2 + 2*w + 1. Let j be -2 - 1 - (-8)/4. Does 11 divide z(j)?
False
Let g(r) = r**3 - 3*r**2 + 3*r - 3. Let v be g(3). Let b be ((-27)/6 + 2)*v. Let k = -9 - b. Is k a multiple of 3?
True
Is (6/(-18))/((-2)/222) a multiple of 16?
False
Let s(d) = -d**3 + 5*d**2 - 5*d - 4. Suppose 0*j + 16 = 4*j. Let w be s(j). Let o = w - -56. Is o a multiple of 24?
True
Let i(t) be the first derivative of -t**4/4 - 2*t**3 - 5*t**2/2 + 4*t + 3. Is 2 a factor of i(-5)?
True
Let h be (-39)/2*(-8)/12. Suppose -2*o + 4*q - 73 = -5*o, -4*o + 110 = -q. Let f = o - h. Does 8 divide f?
False
Suppose 7*k = 2*k + 20. Is k a multiple of 2?
True
Let p(x) = x**3 - 2*x**2 + x. Let a be p(1). Let s = a + 8. Does 4 divide s?
True
Let j(p) be the third derivative of p**4/8 - 2*p**3/3 - 2*p**2. Is 11 a factor of j(5)?
True
Suppose 9 = o - 0. Is 3 a factor of o?
True
Let s = -2 + 4. Suppose 3*l - 82 = 2*b, -s*l + 6*l + 3*b - 98 = 0. Does 13 divide l?
True
Suppose 0 = 3*r + 5*y - 44 + 7, 0 = 3*r - 2*y - 65. Suppose 2*m - 5*m - 39 = 0. Let a = r + m. Does 3 divide a?
True
Suppose 5*i - 45 = -2*l - 8, -4*i = -l - 14. Suppose -2*f + l*f + 32 = 0.