derivative of i**8/6720 + i**7/360 + i**6/180 + i**5/60 - i**4/6 - i. Let z(u) be the third derivative of g(u). Is 7 a factor of z(-6)?
True
Let n(i) = -i**3 - 4*i**2 + i - 5. Let v(p) = 2*p + 2. Let w be v(5). Let b = w - 17. Is n(b) a multiple of 15?
True
Let k(c) = c**3 - 5*c**2 + 3*c + 1. Let i be k(4). Let f be i - -1*(1 - -4). Suppose -f*o = -28 - 12. Is o a multiple of 8?
False
Let k = 31 + -55. Let a = -36 - k. Let j = -2 - a. Is j a multiple of 5?
True
Let i(n) be the third derivative of n**5/6 + n**4/24 + 5*n**2. Let x be 1/(-1) - (-3 + 1). Is 11 a factor of i(x)?
True
Suppose -g = -3*w - 37, 3*g + 2*g + 3*w - 95 = 0. Is 9 a factor of g?
False
Let w(k) be the third derivative of k**5/60 - k**4/24 + 13*k**3/6 + 2*k**2. Let b(i) = i**2 - 2*i + 12. Let r(a) = 5*b(a) - 4*w(a). Does 4 divide r(6)?
True
Let j(o) = -o**2 + 7*o + 1. Let w = 22 - 16. Does 3 divide j(w)?
False
Let r(b) = b**3 + 6*b**2 + b + 2. Let t be r(-6). Is 13 a factor of (t - -6) + 21/1?
False
Suppose n + 2*j = 26, 2*j - 2 = -0*j. Suppose 0 = -0*z + 2*z - n. Is 3 a factor of (-3)/z + (-13)/(-4)?
True
Does 5 divide (-13)/((-676)/3856) - (-4)/(-26)?
False
Let s(d) = d**2 - d - 9. Let l be s(-3). Let t = 2 + -2. Suppose -p + i = -29, -p + t*p = -l*i - 19. Does 10 divide p?
False
Let m(d) = 2*d**2 + 5*d - 3. Let l = 0 + -5. Let s be m(l). Let b = s - 9. Is 12 a factor of b?
False
Let t be (2 + -3)/1 - -3. Suppose -l - 79 = 5*g - 237, -t*g = -2*l - 68. Is g a multiple of 11?
False
Suppose 7 = -a - 5*y, -y + 3 = -5*a + 20. Suppose -72 = -a*n + 45. Is n a multiple of 14?
False
Let b(h) = 12*h**2 + 2. Let l be 4/(1/(2/(-4))). Is b(l) a multiple of 16?
False
Let q(w) = 4*w**2 + 12*w + 18. Is 19 a factor of q(-7)?
False
Let z(r) be the second derivative of r**4/12 - 4*r**3/3 + 5*r**2 + 4*r. Does 3 divide z(7)?
True
Suppose -3*k - 4*u + 54 - 5 = 0, -33 = -k + 2*u. Is k a multiple of 4?
False
Let n(k) = -k**2 - 6*k + 4. Let a be (2 + 0)/((-1)/3). Is 3 a factor of n(a)?
False
Let f(c) = c**3 + 10*c**2 + 7*c + 8. Is 6 a factor of f(-9)?
False
Suppose -3*g - 3*b = g - 781, 3*b - 977 = -5*g. Is g a multiple of 14?
True
Let m(f) = 3*f**2 + 6*f - 3. Does 2 divide m(2)?
False
Suppose -4*m + 2*m = -32. Is m + (2 - 4) + -3 a multiple of 11?
True
Let j(m) = -36*m + 16. Is 20 a factor of j(-4)?
True
Let z(w) be the third derivative of -w**4/24 - w**3 - 4*w**2. Does 4 divide z(-10)?
True
Let v be 2/3 + (-28)/6. Let o be v/((-2)/(-2 - -1)). Is (o - -1)*(-1 + -59) a multiple of 23?
False
Let f(b) = b**2 + 14*b. Is 22 a factor of f(8)?
True
Suppose 3*n + 2 = -i - 2, n + 44 = 5*i. Does 5 divide (-1 - 0)/(i/(-80))?
True
Let i(d) = -d**2 + 3*d + 1. Let g be i(3). Let c be ((-162)/4)/3*-2. Let y = g + c. Does 10 divide y?
False
Let v = -6 - -16. Let l(x) = -x**2 + 12*x - 14. Let m be l(v). Suppose 5*w - 76 = -2*h, -5*h = -m*w + 3*w + 27. Is w a multiple of 7?
True
Let r = 0 - 0. Suppose 12 = -r*y - 3*y. Let c = 24 - y. Does 10 divide c?
False
Suppose 0*t - 143 = -3*t - g, 3*t - 140 = -4*g. Does 12 divide t?
True
Let k(a) = a**2 - a. Let d be k(4). Let h = -10 - d. Does 8 divide h/3*(-3)/2?
False
Let c = -8 + 4. Let m be (-2 + c)*1/(-3). Suppose -3*o + o + 5*h + 12 = 0, -m*h + 12 = 2*o. Is 6 a factor of o?
True
Let n be 7 + -6 - (1 + 3). Is 12 a factor of (n/2)/((-9)/96)?
False
Suppose 5*g = 4*o - 60, -2*o + 44 = -0*o + g. Is o a multiple of 5?
True
Let t(x) = x**3 - 8*x + 7. Is 42 a factor of t(6)?
False
Let n be (3/2)/((-3)/(-64)). Let a = 92 - n. Is 12 a factor of a?
True
Suppose 2*p = 5*p - 108. Suppose -v = -3*v + p. Does 4 divide v?
False
Let d(w) = -w**3 + 4*w**2 + 5*w + 2. Let i be d(5). Suppose i*u + 5*p - 135 = -0*p, -p = u - 60. Is 11 a factor of u?
True
Suppose -57 = -8*x + 5*x. Is 8 a factor of x?
False
Let u be (-3 - -2)/(3/(-12)). Is 6/u*(-8)/(-6) a multiple of 2?
True
Let x = 55 + -40. Is 15 a factor of x?
True
Let n be (2 + 1)/((-3)/(-2)). Suppose 21 = -n*g + 57. Does 18 divide g?
True
Let a(k) = 19*k - 2. Is a(1) a multiple of 10?
False
Let s(x) = 50*x**2 + 14*x - 1. Is 22 a factor of s(-2)?
False
Does 14 divide (6 + -5)*50/2?
False
Let w = 6 + -4. Let x be (-2 - -3) + 1 + w. Suppose o - 18 = -2*y, -3*y - o + x + 22 = 0. Does 5 divide y?
False
Does 16 divide 354/11 - 4/22?
True
Let o = 11 + -12. Does 6 divide (-10 - -1)/(1/o)?
False
Let z(d) = d**2 - 5*d + 8. Let q be z(6). Does 5 divide q*(-1)/(-3)*6?
False
Suppose 2*n - 7 = -f, 3*f = -n - 0*n - 9. Suppose -2*c + 3*v + 31 = 0, -2*v = 3*c - 8 - n. Does 8 divide c?
True
Let b(r) = -r**2 - 16*r - 16. Let n = -28 + 19. Does 15 divide b(n)?
False
Suppose 3 = 2*v + 5. Let r(d) = -91*d - 1. Let p be r(v). Is ((-4)/(-5))/(4/p) a multiple of 9?
True
Let j = 66 + 22. Is j a multiple of 5?
False
Is 2 a factor of (-2 - -5) + (1 - -1)?
False
Let t be 0 + (2 - 1 - 2). Let m be t*(1 + -6)*1. Is 11 a factor of m*4*(-24)/(-15)?
False
Let a(v) = v - 10. Let x be a(11). Let l be 3*(-1)/(0 - x). Suppose c - 34 = -7*k + l*k, -6 = c - 4*k. Does 6 divide c?
False
Suppose 0 = 2*l - 4*s - 0*s - 662, 4*l - 1302 = -3*s. Does 58 divide l?
False
Let k(s) = s**2 - 3*s + 6. Let t be k(4). Suppose 3*r - t = 23. Does 11 divide r?
True
Let w = -229 + 392. Is 22 a factor of w?
False
Let j(v) = 2*v**2 + v - 12. Let u be j(-6). Is 27 a factor of (u/(-4))/(2/(-12))?
True
Does 15 divide -10*6*(-3)/12?
True
Let y = -15 - -20. Suppose 20 = 3*l - 4*l - y*i, 3*i = -15. Is l a multiple of 5?
True
Let l(q) = 2*q**2 + q + 5. Is 18 a factor of l(-5)?
False
Let k(z) = -4*z - 7. Suppose -y = 8 - 1. Let u be k(y). Suppose 29 + u = 2*h. Is 25 a factor of h?
True
Let u(x) = 2*x**2 - 4*x**2 + 11*x + 2*x**2 + 6 - x**2. Is 7 a factor of u(9)?
False
Suppose 5*i - 17 = -2. Suppose 21*p - 27*p = -24. Suppose p*l = -i*b + 120, -b + 27 + 33 = 2*l. Is l a multiple of 15?
True
Suppose 5*c + 4*j - 5 = 8, 3*j = 5*c - 34. Suppose 4*q + c*x + 0*x - 72 = 0, 2*q - 36 = -3*x. Is 9 a factor of q?
True
Let n(f) = 8*f + 3. Let o(m) = 12*m + 4. Let c(y) = 8*n(y) - 5*o(y). Does 16 divide c(11)?
True
Let d(p) = p**3 + 7*p**2 - p + 10. Let y = 8 - 4. Let t be 15/(-2) + 2/y. Does 7 divide d(t)?
False
Suppose 167 = -3*k + 476. Does 6 divide k?
False
Is 24 a factor of ((-86)/(-6) + -1)*(-31 + 34)?
False
Suppose -x + 2*o = 2*x - 4, -3*x + 3*o = 0. Let q(c) = -4 + 3 + x*c - 5 - 5*c. Is 3 a factor of q(-9)?
True
Suppose 5*r + 5*v - 91 + 26 = 0, 28 = 2*r + v. Does 3 divide r?
True
Let l = 195 + -96. Is l a multiple of 28?
False
Let d(r) = -r**3 + 15*r**2 - 2*r - 14. Let s be d(15). Let a = s - -72. Is a a multiple of 14?
True
Let d(t) = t**2 + 5*t + 4. Does 3 divide d(-5)?
False
Let c = -10 + 12. Suppose -c*l + 3 = -5. Does 2 divide l?
True
Suppose 0 = -3*b - l - 4, 3*b - 4*l = 16. Does 18 divide 3 + b - -3*11?
True
Let b be 66/14 + 2/7. Let m be 15/(-10) - (-27)/2. Suppose -4*h = b*q - 3*q - 4, 4*q + 4*h - m = 0. Is q a multiple of 4?
True
Let u(o) be the third derivative of o**6/60 + o**5/20 - o**4/24 + 4*o**2. Let w(c) = c**2 - c + 2. Let b be w(0). Does 10 divide u(b)?
False
Suppose p + p = -32. Let n be (-2)/(-2) - p/(-2). Let d(m) = -4*m - 2. Is d(n) a multiple of 11?
False
Let v(g) = -g**2 + 10*g + 15. Let o be v(11). Suppose -8 = -o*z, 4*m - 34 = -z - 2*z. Is 7 a factor of m?
True
Suppose i = -4*w - i + 92, 90 = 4*w + i. Is w a multiple of 11?
True
Let c = 43 + -3. Is 10 a factor of c?
True
Let j be (-42)/(-8) - 2/8. Suppose 2 - 10 = j*t - 3*y, -5*t + y = 6. Is (t - (1 + 9))*-1 a multiple of 5?
False
Let k(b) = 2*b + 1. Let y be k(1). Suppose 3 - 15 = -4*t + 5*p, 5*t = 4*p + 15. Is 1/(y/45) + t a multiple of 10?
False
Let u(t) = -t**3 + 0*t - 1 - t + 0*t - t**2. Let h be u(-2). Is 14/h - 1/(-5) a multiple of 3?
True
Suppose w - 4 = -0*w. Suppose 3*p = 5*i - 522, -3*i + w*i + 4*p = 109. Suppose i = 5*n + 5*q, -q + 5*q = -2*n + 36. Does 13 divide n?
False
Suppose 5*u - 2*i - 30 = 2*i, -3*i = -3*u + 21. Does 2 divide u?
True
Let b be -1*(1 + (-10)/1). Suppose -4*i - 8 = -z, -3*i = -2*z + b + 7. Let p = z + -2. Does 6 divide p?
True
Suppose 2*d = -5*p - 7, 2*d - 7 = 2*p + 7. Let n(t) = t**3 - 1. Let u be n(2). Let s = u + d. Is s a multiple of 5?
False
Let t(u) = -11*u**2 - 3. Let n(y) = 23*y**2 + 7. Let v(c) = -4*n(c) - 9*t(c). Let r be v(5). Is 12 a factor of ((-4)/6)/((-4)/r)?
False
Does 7 divide (2 - (