1. Let v(k) be the second derivative of k**5/20 + k**4/3 - k**3/6 + k**2 + k. Is v(c) a multiple of 6?
True
Let j = 11 + -6. Suppose 0 = r + j*g - 27, 3*g + 3 = -r + 20. Suppose -52 = -5*w - f, 0 = r*w - 0*f + 3*f - 13. Is 5 a factor of w?
False
Let p = -2 - -7. Suppose 3*f - p*n - 44 = 0, 2*n - 4 = -f + n. Does 4 divide f?
True
Let i(l) = l**2 + 9*l + 2. Let u be i(-9). Suppose -44 = -u*a + 118. Suppose 0*n = -3*n + a. Is 20 a factor of n?
False
Let p = 66 + -34. Suppose 3*d = -2*j + p, -j + 0 = -4*d + 6. Is 10 a factor of j?
True
Is (544/(-20) - 3)/(4/(-20)) a multiple of 16?
False
Let f(y) = 14*y**2 - 17*y - 32. Is 13 a factor of f(-5)?
True
Let w be ((-10)/(-6))/((-1)/3). Let u = 15 + -4. Let n = w + u. Is 6 a factor of n?
True
Let t = -34 - -46. Is 4 a factor of t?
True
Let a = 74 - 32. Is 14 a factor of a?
True
Suppose -3*m = 2*k - 5*k, -5*m + 12 = -2*k. Suppose -m*d + 5*z = -68, -2*d = -2*z + 3 - 35. Is 12 a factor of d?
True
Let q be ((-5)/(-10))/(2/(-8)). Is 1 - (-2 - q) - -53 a multiple of 16?
False
Let g(r) = -r + 4. Let t be g(2). Let y(p) = -7*p**3 - 8*p + 8*p + 1 - p**t. Is 7 a factor of y(-1)?
True
Let g be 2*(-6)/16*-4. Suppose g*z = 6*z - 5*y - 13, -5*z = -3*y - 43. Suppose -3*a + 77 = z. Is a a multiple of 8?
False
Let z(g) = -g + 17. Let y be z(14). Suppose -3*s = y*b - 21, -s = -4*s. Does 7 divide b?
True
Suppose 3*p - 37 = p - 5*k, 0 = 2*p + 4*k - 36. Is p a multiple of 8?
True
Let h = -5 - -4. Suppose 2*k + 72 = 5*k. Let u = k + h. Is 9 a factor of u?
False
Let c = -1 + 4. Let q be (24/14)/(c/21). Suppose 0 = g + r + 1 - q, 0 = 4*g + r - 59. Is g a multiple of 11?
False
Let h be 2*1/(-4)*6. Let v = 13 + h. Suppose -v = -r + 2. Is r a multiple of 5?
False
Let h(d) = 7*d**2 - 7*d + 4. Is h(5) a multiple of 24?
True
Let g(z) = z - 7. Let k be g(4). Let r(a) = -3*a - 1. Is 2 a factor of r(k)?
True
Let a = -17 - -45. Does 4 divide a?
True
Let x = 6 - 4. Suppose -x*p + 10 + 0 = 0. Let a(r) = r**2 - r + 6. Is a(p) a multiple of 13?
True
Let c be ((-1)/(0 + -1))/(-1). Let s = c - -5. Suppose -33 = -s*t + t - 5*o, t - 5*o = 11. Does 4 divide t?
False
Let t = -105 - -165. Is t a multiple of 6?
True
Let z = 0 - 1. Suppose 0 = 19*b - 14*b + 15. Does 8 divide (2 - (-54)/b)*z?
True
Let j = -53 + 101. Does 12 divide j?
True
Let v = -271 - -547. Is v a multiple of 24?
False
Suppose -2*m = -3*m. Suppose m = 5*n + 3*a - 7*a - 176, 12 = -3*a. Is n a multiple of 16?
True
Let t(n) = -n**2 - n + 16. Let q be ((-6)/(-5))/((-1)/(-5)). Suppose -k + q*k = 0. Is 8 a factor of t(k)?
True
Let y = -69 - -101. Does 29 divide y?
False
Suppose 2*l - 403 = -3*l + 3*a, -5*a - 5 = 0. Is l a multiple of 11?
False
Let m(p) = -p**3 - 6*p**2 + p + 6. Let c be m(-6). Suppose h - 20 = -n, c*n - 2*n = -4*h + 50. Does 11 divide h?
False
Let l(p) = p**2 - 5*p + 4. Let h be l(5). Let t(a) = a**2 - 4*a - 2. Let k be t(h). Is (-7 - -2)/(k/4) a multiple of 5?
True
Let a(x) = x**3 - 7*x**2 - 7*x + 6. Let p(i) = -i**3 + 12*i**2 + 13*i + 8. Let u be p(13). Is 10 a factor of a(u)?
False
Suppose -3*s + 99 = -0*s. Let k = -19 + s. Is 14 a factor of k?
True
Let n = 143 + -91. Does 5 divide n?
False
Let p(x) = -x**3 + 10*x**2 - 7*x. Let c = 22 - 13. Is 9 a factor of p(c)?
True
Does 12 divide (13 + -61)/(-2 - -1)?
True
Let j be (3/6)/((-1)/(-4)). Let h(b) = -1 + b**j + 2 - 2. Does 14 divide h(4)?
False
Suppose -12*l + 7*l + 410 = 0. Is 16 a factor of l?
False
Suppose -k + 0*k - 2*b + 79 = 0, -k = -4*b - 67. Is k a multiple of 25?
True
Let u = -6 - -8. Suppose 0 = o - 15 - u. Is o a multiple of 17?
True
Is -2 - 0 - (-8 - 60) a multiple of 22?
True
Let i(x) = x + 5. Let r(z) = z**3 + 9*z**2 + 10*z - 2. Let d be r(-8). Let c be (6/d)/(2/(-30)). Is 5 a factor of i(c)?
True
Let n = 38 - 7. Let g = n + -15. Does 8 divide g?
True
Suppose 5*o + 44 = -h, -2*h = 3*o - 4*o. Let c(k) be the second derivative of k**4/6 + 11*k**3/6 + 7*k**2/2 + k. Is c(o) a multiple of 12?
False
Suppose -2*z + 30 = -0*z. Is 5 a factor of z?
True
Is -27*(-32)/12 - -1 a multiple of 25?
False
Suppose 0*c - 304 = -2*c. Does 36 divide c?
False
Suppose 5*f + 3*b = 52, -13 = -f + 4*b + 2. Does 11 divide f?
True
Suppose 4*d + 8 = 6*d. Suppose 21 = 5*i + 2*y - 0*y, 5*y = d*i + 3. Does 3 divide i?
True
Let i(j) = -j**3 - 6*j**2 - j - 2. Let l be i(-6). Let x(y) be the first derivative of y**3/3 + y**2 + 3. Is x(l) a multiple of 12?
True
Let a = -28 - -19. Let x = -4 - a. Suppose x*v - 25 + 0 = 0. Does 2 divide v?
False
Let i(r) = -3*r**3 - 6*r**2 + 5*r + 9. Does 9 divide i(-5)?
False
Let k(p) = -p**3 - 15*p**2 + 13*p. Is k(-16) a multiple of 17?
False
Suppose -s + 6*s = 5*j - 145, 0 = -3*j - 6. Let a(q) = 7*q + 19. Let m be a(-11). Let x = s - m. Is 9 a factor of x?
True
Suppose 12*u = 7*u + 620. Does 31 divide u?
True
Suppose -a - 26 = 2*p - 113, -4*a + 309 = -5*p. Does 27 divide a?
True
Let r = -185 + 298. Is r a multiple of 19?
False
Suppose -5*u = -7*u - 104. Is (-414)/(-13) + (-8)/u a multiple of 12?
False
Let b be (0 - -2) + (-5 - -6). Suppose -3 = z, 0 = b*w + 3*z + z - 222. Does 21 divide w?
False
Let c(y) = 6*y**2 - 1. Is 5 a factor of c(-1)?
True
Let y be 10/8*(-4)/1. Let j = -1 - y. Suppose 0 = -2*x - 4*s, -2*x - 4*s - j = s. Does 8 divide x?
True
Let h = -72 + 126. Does 6 divide h?
True
Let n(w) be the third derivative of w**6/120 + w**5/15 - w**4/24 - w**2. Is 3 a factor of n(-4)?
False
Let o be (2*1)/(4 - 6). Let g(t) = -103*t**3 + t**2 + t + 1. Let l be g(o). Suppose w - u - 18 = 0, -4*u + 22 = 5*w - l. Does 11 divide w?
True
Let u be (2 + -3 - 2)*-9. Let v = -1 + u. Suppose 2*c = -0*c + v. Does 11 divide c?
False
Let j(r) = -r + 6. Let q be j(7). Let p(u) = 19*u**2. Let t be p(q). Suppose g - 16 = -m, m + 6*g - 2*g = t. Is m a multiple of 10?
False
Let y(t) be the third derivative of -t**6/120 - 3*t**5/20 - 7*t**3/6 + 2*t**2. Let r be y(-9). Let b(a) = -2*a + 2. Is 6 a factor of b(r)?
False
Let s(d) = 5*d**3 - 6*d**2 - 4*d - 4. Is s(4) a multiple of 31?
False
Let u be ((-8)/(-20))/(1/(-5)). Let l be 0/(u/(-3 - -2)). Let g = 2 - l. Is 2 a factor of g?
True
Suppose -w + 25 = 4*w. Suppose 0*f - w*f + 215 = 0. Does 12 divide f?
False
Let g be 9/18 - (-1)/(-2). Suppose -120 = -g*j - 5*j. Is j a multiple of 15?
False
Suppose y + 20 = 5*y + 2*l, 2*y - 2 = 3*l. Suppose d - 4*x = -16, -5*d + 5*x = y + 1. Is 2 a factor of 1/d + (-33)/(-12)?
False
Suppose 9 = q - 3*s, -26 = 2*q - s - 69. Is q a multiple of 7?
False
Let f(m) = -m**2 - 15*m + 6*m + 7*m - 2*m**3. Is 4 a factor of f(-2)?
True
Let y(u) = -12*u + 8. Let h = -9 + 3. Is 30 a factor of y(h)?
False
Suppose -b - 4*k + 84 = -14, 0 = 2*b + 2*k - 184. Let g = b + -60. Is 6 a factor of g?
True
Let k = 0 + 0. Suppose 0 = 2*y + 5*m - 52, 88 = -k*y + 3*y + 5*m. Is y a multiple of 12?
True
Suppose -5*u + 193 + 117 = 0. Let l = 97 - u. Does 19 divide l?
False
Let j = 54 - 23. Does 6 divide j?
False
Is 18 + 6 + (-12)/3 a multiple of 10?
True
Is 3 a factor of (-7)/(-4)*(56 - 32)?
True
Does 10 divide 1/2 + 780/40?
True
Let k = -20 - -28. Is k a multiple of 8?
True
Is 21 - 6/(0 + -2) a multiple of 9?
False
Suppose -5*y = 5*q - 530, 0 + 8 = -2*q. Is y a multiple of 11?
True
Let g be (-82)/(-6) + 4/(-6). Let x(i) = -i. Let r be x(-1). Let h = r + g. Is 12 a factor of h?
False
Let x be (0/((-4)/(-2)))/1. Suppose x = -0*m + m - 24. Does 12 divide m?
True
Let y(c) be the second derivative of -c**5/60 - c**4/24 + 7*c**3/3 + c**2/2 + 4*c. Let p(w) be the first derivative of y(w). Does 14 divide p(0)?
True
Let f(i) = 2*i**2 - 3*i - 3. Let g be f(3). Let t = -13 + g. Let r = 10 + t. Does 3 divide r?
True
Suppose 0 = -5*s - 7 + 22. Suppose 26 = s*f + 4*j - 17, 5*f - 25 = 5*j. Is f a multiple of 4?
False
Suppose -y + 48 = 4*o, y - 3*o = 5*y - 218. Is 4 a factor of y?
True
Suppose 0 = 3*b + 3*w - 324, -3*b + 349 - 55 = -3*w. Is 14 a factor of b?
False
Let d = 5 + -8. Is d/(-5) + 222/5 a multiple of 20?
False
Let s = 9 - 9. Suppose 5*k - 2*o - 161 = 0, 5*k = 5*o - s*o + 155. Is 11 a factor of k?
True
Let k = 64 - 54. Does 4 divide k?
False
Let j be 321/4 - 4/16. Suppose -j = -2*c - b - 3*b, 0 = -2*c - 2*b + 84. Is c a multiple of 14?
False
Is 10/(-2 + 27/12) a multiple of 20?
True
Let s = -5 - -4. Is (44/(-2))/(s/2) a multiple of 11?
True
Let h = -93 - 13. Is (-15)/60 - h/8 a mu