)?
False
Let k(a) be the third derivative of -a**5/60 - a**4/24 + 17*a**3/6 - 3*a**2. Is k(0) a multiple of 8?
False
Suppose 0 = -d - 0*d + 2. Is 11 a factor of (-66)/9*(-3)/d?
True
Suppose -1 = c, 4*c - 5*c = -4*b + 357. Suppose -3*v + 13 + b = 0. Does 15 divide v?
False
Let m(p) = p**2 + 6*p - 8. Is 26 a factor of m(8)?
True
Let y = -10 + 1. Let q(l) = -l**2 - 12*l - 3. Is 12 a factor of q(y)?
True
Let b(v) = v**2 + 2*v - 4. Does 20 divide b(8)?
False
Let x(r) = 6 + 6 - 30*r + 29*r. Is 7 a factor of x(5)?
True
Let z(p) = 10*p**2 - 2*p - 1. Does 11 divide z(-1)?
True
Let p(s) = -s**3 + s**2 + 0*s**2 - 2*s + 4 - 7*s**2. Suppose -4*z + 0*z = -5*n + 44, -5*z = -n + 34. Is 16 a factor of p(z)?
True
Suppose 220 = 3*q + q. Is 11 a factor of q?
True
Is 4 a factor of (-129)/(-12) + (-1)/(-4)?
False
Suppose 0*h - 2 = -j - h, 0 = 5*h. Let r = j - -5. Is r a multiple of 4?
False
Let f(y) = 7*y - 17. Let o(w) = -3*w + 9. Let k(l) = 2*f(l) + 5*o(l). Does 3 divide k(8)?
True
Let o(u) = -u**2 + 5*u. Let b be o(4). Suppose -2*a + b*a = 24. Is a a multiple of 3?
True
Let o(d) = d**2 - d - 6. Let b(z) = z**3 + 7*z**2 + 8*z + 6. Let c be b(-6). Is 12 a factor of o(c)?
True
Let l(h) be the third derivative of -h**5/12 + h**4/8 - h**3/6 + 2*h**2. Let s be l(-3). Let u = -26 - s. Does 15 divide u?
False
Let z(q) = q**2 + 5*q - 13. Is 11 a factor of z(-8)?
True
Suppose -48 = 3*c - 3*v, 0 = 2*c - 7*c + 3*v - 74. Let n = -8 - c. Suppose 203 = n*q + 28. Is 15 a factor of q?
False
Suppose 3*s + 0*s + 48 = 0. Let w = s + 20. Is w a multiple of 4?
True
Suppose 0 = 5*x - 2*a - 33, -2*x = -7*x - a + 36. Suppose 2*f = x*f - 140. Is 10 a factor of f?
False
Let a = -18 - -30. Is 6 a factor of a?
True
Suppose 5*l = 3*z + 12, -l - 2*l + 5*z + 4 = 0. Suppose -3*j + 8*j - 170 = 5*b, 12 = -l*b. Is j a multiple of 9?
False
Let p(n) be the third derivative of n**7/2520 + 7*n**6/720 - n**5/20 - n**4/6 + n**2. Let l(t) be the second derivative of p(t). Does 24 divide l(5)?
False
Let c(m) = 5*m**3 - 12*m**2 - 3*m - 2. Let g(f) = f**3 - f**2 + 1. Let p(s) = c(s) - 4*g(s). Let u be p(9). Is (u/20)/(2/15) a multiple of 9?
True
Let n be 9/2 + 27/18. Suppose n*w = w + 315. Is w a multiple of 21?
True
Let y(m) = 11*m - 2. Let v be y(2). Suppose 3*z + v = 4*t, -t - z - z = -5. Does 5 divide t?
True
Is (-2)/4 + (-693)/(-14) a multiple of 23?
False
Let u = -1 - -4. Let c = u - 27. Let j = -10 - c. Does 12 divide j?
False
Let m(t) = -t**3 - 8*t**2 + 9*t + 6. Let r be m(-8). Let u = -95 - r. Let n = -17 - u. Is 12 a factor of n?
True
Suppose -3*b = -3*p + 76 + 95, -4*p + 5*b + 226 = 0. Does 4 divide p?
False
Let h = 5 - 2. Is 11 a factor of h/(-6) + (-135)/(-6)?
True
Suppose -l = -4*i + 1 + 39, 2 = -2*i - 5*l. Let s be (1 - 0)*(1 - -36). Suppose s = n + i. Does 14 divide n?
True
Let d be (-2)/(-2)*(0 + 1). Let g = d - -4. Is 5 a factor of g?
True
Is 3 a factor of (-6)/(45/36 + -1*2)?
False
Let h(w) = -3*w**3 - w**2 + w + 1. Let x(r) = r - 4. Let c be x(2). Is h(c) a multiple of 11?
False
Let m = 24 + -19. Is 3 a factor of m?
False
Does 17 divide (17/5)/(3/15)?
True
Suppose s = -o - 6, -5*o + 2*s - 26 = 6*s. Let l be (2 - 2) + o + 4. Suppose l*n = 4*n - 32. Is n a multiple of 16?
True
Suppose 4*j = 4*p, -p - 2 + 17 = 4*j. Let g = 132 + -72. Suppose j*z = 2*i - 3*i + 82, -2*z - 2*i + g = 0. Is 15 a factor of z?
False
Let w(d) = 2*d**2 + 3*d - 6. Let c be w(-6). Let p be (2 + -4 - -20)*-1. Let a = p + c. Does 15 divide a?
True
Suppose -3*q + 7 + 11 = 0. Let z(h) = 6*h + 4 + 2*h - h**2 - 2. Does 14 divide z(q)?
True
Let n(h) = h + 5. Let f be n(-5). Suppose f = -3*o + 66. Is o a multiple of 13?
False
Let u(w) = 2*w**2 + 5*w + 1. Is 6 a factor of u(-4)?
False
Suppose 0 = -2*d + 37 + 3. Let n = d - 14. Is n a multiple of 6?
True
Let u = 64 - 48. Is 7 a factor of u?
False
Suppose -3*o + 50 = -2*o - 3*w, 260 = 4*o + 3*w. Suppose 4*s - 5*v = s - 14, v = 4. Suppose -3*p + 1 = -2*p - 4*m, 4*m = -s*p + o. Is 21 a factor of p?
True
Suppose 0 = s + 21. Let c(k) = k + 8. Let h be c(-5). Is s*h*(-4)/18 a multiple of 7?
True
Is (-1 - -17*9) + -2 a multiple of 50?
True
Let n(c) = c**2 - 3*c - 7. Let o(m) = -m + 1. Let j be o(-4). Let k be 2 + j + 0 + -1. Is n(k) a multiple of 4?
False
Is ((-93)/12)/(3*4/(-288)) a multiple of 43?
False
Suppose 71*q = 67*q + 84. Is 3 a factor of q?
True
Let k(h) = -h**3 - 3*h**2 + h + 2. Let c = 2 + -5. Let n be k(c). Does 2 divide (n/1)/(1/(-2))?
True
Let y be 77/4 + (-6)/(-8). Let u be y/30*30/4. Suppose 0*h - u*h = -30. Does 3 divide h?
True
Let o = 265 - 19. Is 41 a factor of o?
True
Let y = 148 - 58. Suppose -a = 4*a - y. Is 5 a factor of a?
False
Suppose -2*s - 19 - 7 = -3*k, 5*s = -20. Let t(i) = 3*i - 8. Is t(k) a multiple of 5?
True
Let v = -11 + 0. Let w = 18 + v. Is w a multiple of 4?
False
Suppose 2*m - 124 = u - 2*u, -248 = -4*m - 3*u. Is m a multiple of 4?
False
Let m(p) = -59*p - 12. Is m(-4) a multiple of 14?
True
Suppose -224 = -5*u + 2*c, 5*u + 5*c = u + 199. Does 6 divide u?
False
Let j = 0 + -1. Is 25 a factor of j + 1 - (-6 - 41)?
False
Let r = 11 + -7. Is 3 a factor of r?
False
Suppose 2*d - 34 = -4*h, -4*h + 2*d = -0*h - 54. Suppose -4*y = h - 111. Does 18 divide y?
False
Let f = -16 + 34. Does 16 divide f?
False
Let d(k) = 1 + k**2 + 6 + 3*k**3 - 3*k - 3. Is 9 a factor of d(2)?
False
Suppose o + 3*o - 20 = 0. Suppose 4*k - o*x = -66, -k - 18 + 3 = -2*x. Let r = 28 + k. Is 5 a factor of r?
False
Let n(k) = -k**3 - k**2 + k + 2. Let u be 2*((-1)/1 - 0). Let l be n(u). Suppose -3*p + s + 4*s = -49, 5*p = -l*s + 20. Is 7 a factor of p?
False
Suppose 0 = 3*s + 6 + 3. Let d = s - -1. Does 3 divide (23 - 1)/((-4)/d)?
False
Let m(n) = 2*n**2 + 23*n + 35. Does 20 divide m(-15)?
True
Is 7 a factor of ((44/(-2))/2)/(1/(-3))?
False
Suppose 4 = -h + 18. Suppose f + 4*t = 15, -59 = -3*f - 5*t - h. Does 3 divide f?
True
Suppose 68 = 8*l - 7*l. Is l/7 - 10/(-35) a multiple of 3?
False
Let k = -50 + 74. Is 4 a factor of k?
True
Suppose 30 = x + 2*x. Let n(r) = 2*r - 3. Does 16 divide n(x)?
False
Suppose 4*q - a = -21 + 98, 0 = a + 5. Let k = q + -10. Is 4 a factor of k?
True
Suppose -32 = s - 5*s. Suppose 4*p + 6 = 2*p, -2*d = 2*p + s. Is 3 a factor of 6 - (-1 - (d + 2))?
False
Let g(u) = 17*u + 8. Let m be g(-4). Let f = m + 118. Is 29 a factor of f?
True
Suppose -10*h + 509 = -1291. Is 31 a factor of h?
False
Let h = 9 - 5. Suppose h*n - 15 = -n. Does 12 divide (38/6)/(1/n)?
False
Suppose -663 = -49*s + 46*s. Is 17 a factor of s?
True
Let t be ((-6)/(-4) + -2)*4. Is 18 - t/(3 - 5) a multiple of 17?
True
Let n(w) = -w + 4 - 4 + 1 + 3. Let p be n(4). Is 11 a factor of 28 + (0 - 1 - p)?
False
Let v(a) = a**3 - 7*a**2 - 6*a - 9. Let y be (8 - -4)/2 - -2. Does 6 divide v(y)?
False
Let u be (49/(-42))/(1/(-6)). Let x = u - -13. Does 10 divide x?
True
Suppose 15*f - 2750 = 25. Is 28 a factor of f?
False
Let y(s) = 148*s**2 - 3*s - 2. Is y(-1) a multiple of 6?
False
Suppose 5*d = -2*l + 113, l - 16 = -3*l. Is 9 a factor of d?
False
Suppose 2 = o, 4*o - 5 = -n + 9. Is 4 a factor of n?
False
Let i be 0 + 1 + 14 + -5. Suppose 4*r + 5*x + i = r, 3*r - 3*x = 30. Does 5 divide r?
True
Let x = -11 + 15. Suppose 0 = 4*w - 3*a - 27, 0 = -4*a - 1 - 3. Suppose -x*s = -74 - w. Does 14 divide s?
False
Let z(w) = -w**2 + 11*w - 9. Is 9 a factor of z(9)?
True
Let v(x) = x**3 - 2*x**2 - 2*x. Let w be v(3). Suppose -4*y + 0*t = -w*t - 22, -4*y + 5*t = -18. Is 7 a factor of y?
True
Is 10 a factor of 525/12 + (-4)/(-16)?
False
Suppose 0 = -a + 150 + 12. Let u = -71 + a. Is u a multiple of 23?
False
Suppose 8*q - 3*q = 2*l, -l + 2*q + 2 = 0. Is 11 a factor of l/15 + 49/3?
False
Suppose -4*g + c + 319 = 0, 0 = -4*g - g - 3*c + 403. Does 20 divide g?
True
Let p = -88 + 112. Is p a multiple of 2?
True
Let p(y) = -y**3 + y**2 + y + 80. Let s be p(0). Is (-2 + 8)*s/12 a multiple of 20?
True
Let b(s) = -s + 1. Let u be b(1). Suppose u = -2*k + 10 + 42. Is k a multiple of 8?
False
Let o = -6 + 2. Is 10 a factor of (-16)/o*1*4?
False
Let n = -5 - -7. Suppose -5*a - 17 = j - n*j, 0 = -3*j - 2*a + 136. Suppose -j = -k - k. Does 11 divide k?
False
Suppose -4*m - 123 = -4*k - m, 0 = 3*k - m - 96. Is k a multiple of 11?
True
Let h(b) = b**3 + 11*b**2 + 12*b + 16. Does 8 divide h(-7)?
True
Let s(g) = g**2 - 3.