3. Let r(d) = -2*d**3 + d**2 + 4. Let x(m) = -5*m**3 + 2*m**2 + m + 8. Let s(a) = 7*r(a) - 3*x(a). Is s(b) a multiple of 12?
False
Let c(t) = 5*t**2 - 9*t + 2. Is 16 a factor of c(6)?
True
Let c(v) = -v**2 + 5*v - 5. Let h be c(4). Let g = h + 41. Is g a multiple of 12?
False
Suppose 5*v - 11*v = -678. Does 18 divide v?
False
Suppose l = -0*l. Let j(m) be the third derivative of m**6/120 - m**5/60 + m**4/24 + 16*m**3/3 + 2*m**2. Is j(l) a multiple of 13?
False
Suppose 3*b = 8*b - 70. Let x = b - 11. Is 3 a factor of x?
True
Let o be (-7 - -1)/(-3 + 1). Suppose 70 = o*f - 44. Suppose 4*i + 5*z - 151 = f, z = i - 36. Does 14 divide i?
False
Suppose 3*h = -h + 2*q - 54, -53 = 4*h - q. Let g = -9 - h. Is g even?
True
Let k = 28 - 22. Is 2 a factor of k?
True
Let p = -7 + 9. Suppose -p*i + 30 = -i. Is 10 a factor of i?
True
Let w be (5/4)/((-6)/(-24)). Suppose -w*c - 10 = -0. Does 6 divide (-1)/c*(-68)/(-2)?
False
Suppose -1 = -2*m + 7. Suppose 69 = m*w - 23. Suppose -w = -u - 2. Is u a multiple of 11?
False
Suppose -3*u + 3 = -3*i, 4*u - 4*i = 9*u - 23. Suppose -u*m = 20 - 8. Let o = 1 - m. Is 3 a factor of o?
False
Let z be ((-2)/2)/(3/(-9)). Let t be 3 + z*(-6)/9. Is 2 a factor of 0 - (t*-5 + 2)?
False
Suppose 0 = 2*n + 4*s + 2, 2*n - s = 5*n + 18. Let x(z) = z**3 + 9*z**2 + 9*z - 5. Is x(n) a multiple of 10?
True
Let x(o) = -o**3 + o**2 + 6. Let v be (-3 - -3)*(-1)/(-1). Does 2 divide x(v)?
True
Let f be -3*32/9*3. Let n = f + 50. Is 15 a factor of n?
False
Does 22 divide (-8)/44 + (-4362)/(-33)?
True
Let w(c) = c**2 + 2*c + 7. Is 2 a factor of w(-2)?
False
Let j = 82 - 43. Let r = j + -9. Suppose -2*d + 22 + r = 0. Does 13 divide d?
True
Let z = -5 + 8. Is 5 a factor of (-5)/(z/6*-1)?
True
Let g = -96 - -432. Is g a multiple of 48?
True
Let n(v) be the third derivative of v**6/120 + 2*v**5/15 - v**4/3 - 11*v**3/6 + 2*v**2. Is n(-8) a multiple of 20?
False
Let j(u) be the first derivative of 1 + 0*u**2 + 0*u - 5*u**4 + 1/3*u**3. Is 13 a factor of j(-1)?
False
Let v(u) = -u**3 - 4*u**2 - 3*u + 1. Is 3 a factor of v(-4)?
False
Let q be (-372)/(-10)*(-15)/(-2). Let p = -168 + q. Suppose 0*m - 69 = -3*m + 3*g, -5*m + p = -g. Is m a multiple of 7?
False
Suppose 91 = 7*a - 287. Is a a multiple of 7?
False
Let s be (-1 - 0)/((-8)/(-48)). Let z(m) = m**3 + 6*m**2 - 2*m + 2. Is z(s) a multiple of 5?
False
Let r = -1 - -64. Does 11 divide r?
False
Does 30 divide 4/6*(8 + 82)?
True
Suppose 14 = 3*o - 2*o. Is o a multiple of 7?
True
Let x(q) = q**2 + 9*q - 2. Let n(a) = -2*a**2 + 5*a. Let y be n(4). Is 17 a factor of x(y)?
True
Suppose 6*m - 8*m = -26. Suppose -m*a = -8*a - 65. Is 4 a factor of a?
False
Let b = 30 - -74. Does 8 divide b?
True
Suppose p = -1, -4*g - g + 3*p + 388 = 0. Is 11 a factor of 304/14 - (-22)/g?
True
Let g(m) = -3*m**3 + 4*m**2 + 2*m - 5. Let z(k) = 7*k**3 - 7*k**2 - 5*k + 11. Let u(c) = 5*g(c) + 2*z(c). Does 11 divide u(5)?
True
Let s be (-17)/(-3) + (-2)/3. Suppose -4*m + 168 = s*q, -3*m - 2 = -2*q + 56. Let v = q - 23. Is v a multiple of 4?
False
Let d = 84 - 34. Is 25 a factor of d?
True
Let r(h) = h**2 - 3*h + 3. Let l(q) = -5*q**2 + 15*q - 16. Let n(t) = 2*l(t) + 11*r(t). Is n(6) a multiple of 16?
False
Let z(j) = j - 8. Let f be z(5). Does 3 divide ((-1)/f)/((-2)/(-54))?
True
Suppose 9*f - 60 = 4*f. Does 12 divide f?
True
Let f = 15 - -8. Suppose 0 = 2*w + 5*v - 13, -4*w - v = -5 - 12. Suppose w*z = 25 + f. Is z a multiple of 11?
False
Suppose 16*n - 1080 = -2*n. Is n a multiple of 12?
True
Let g = 20 - -13. Is 15 a factor of g?
False
Let y(m) be the third derivative of -m**6/720 + m**5/20 + m**4/8 + m**2. Let q(p) be the second derivative of y(p). Is 3 a factor of q(3)?
True
Let a(f) be the first derivative of -3 + 11/3*f**3 + 1/2*f**2 + 0*f. Does 12 divide a(1)?
True
Is 13 a factor of ((-56)/1)/(-2) - 2?
True
Let v(n) = -10*n. Let g be v(-4). Suppose -r + 0 + g = 3*i, 0 = i + 3*r - 24. Is i a multiple of 6?
True
Let f(y) = 11*y**3 - 3*y**2 + 2*y + 2. Does 3 divide f(1)?
True
Let j(p) = -2*p**3 + 3*p**2 - 8*p - 4. Let k be j(-7). Is 3/5 - k/(-25) a multiple of 10?
False
Let t = 199 - 148. Is t a multiple of 8?
False
Let k be 2 + 3/(9/(-24)). Is 6 a factor of ((-4)/k)/((-2)/(-39))?
False
Let k = 11 - 6. Suppose -4*p - 3*y = 7, -k*p - 5*y - 11 = -1. Let v(h) = -10*h - 1. Is v(p) a multiple of 9?
True
Let g = 0 - -3. Suppose -48 = -4*v + g*m - 5*m, 32 = 2*v + 3*m. Is v a multiple of 10?
True
Let i be 1 + -4 + 2 - -7. Suppose i = 2*j - 0. Suppose -5*t + 30 = 2*v, 11 = -4*t + j*v + 35. Is 3 a factor of t?
True
Let c be 2*43*1/(-2). Let g = -25 - c. Let q = 36 - g. Is q a multiple of 7?
False
Let s be 3/6*(-3 - -31). Let n = -8 + s. Let w(h) = h**3 - 4*h**2 - 7*h + 8. Is w(n) a multiple of 14?
False
Suppose 5 = 2*u - 3*b + 4*b, 3*u - 5*b = -12. Let r be u + (30/(-2) - 3). Let m = r - -25. Is m a multiple of 4?
True
Suppose -f - 4 = -3*f. Suppose 0*a = a + f. Is 1 + -2 - (-1 + a) a multiple of 2?
True
Suppose 5*y = 26 + 19. Suppose v - y = 2. Does 5 divide v?
False
Let x = 316 + -214. Is 17 a factor of x?
True
Suppose 91 = 4*k + 2*w + 17, -5*k + 73 = -4*w. Suppose 2*l - k = -5. Is 7 a factor of 3*l + 2/(-2)?
False
Let f = -5 + 1. Let a = f - -6. Does 8 divide (-132)/(-18) - a/(-3)?
True
Let j(v) = 2*v - 14. Does 6 divide j(12)?
False
Let n(h) = h + 1. Let i be n(1). Let k(b) = 2 - 2 - 4 - i*b + 5. Is 4 a factor of k(-4)?
False
Let h(m) = -m**2 - 8*m - 5. Does 8 divide h(-5)?
False
Let t(g) = g**3 - 3*g**2 - 6*g + 1. Is 3 a factor of t(5)?
True
Let p = 0 - -1. Suppose -3*q + 35 = -p. Is 12 a factor of q?
True
Let v(r) = 2*r**3 - r**2 + 1. Let w be v(-1). Let l = 24 + -9. Let n = l + w. Does 8 divide n?
False
Suppose -3*w - 4 = -10. Does 5 divide w + 12/(-4) - -16?
True
Is 25 a factor of 1398/7 + 6/21?
True
Let r(k) = -k**3 + 6*k**2 + 8*k - 10. Let t be r(8). Let w = t - -23. Let f = -36 - w. Does 6 divide f?
False
Suppose 21 = 5*g - 2*g. Let t = 7 + g. Is 6 a factor of t?
False
Let o be (-23 + 1)/(3/(-6)). Does 4 divide (o/(-6))/(6/(-9))?
False
Let m(y) = y**3 - 6*y**2 - 5*y + 10. Does 6 divide m(7)?
True
Let r(h) = -4*h**2 + 21*h - 7. Let c(f) = f**2 - 5*f + 2. Let j(q) = 9*c(q) + 2*r(q). Let l(s) = 2*s - 4. Let y be l(5). Does 11 divide j(y)?
True
Let a(f) be the third derivative of -5*f**4/24 + 4*f**3/3 - f**2. Let n be a(7). Let y = 1 - n. Is 14 a factor of y?
True
Let j(c) = -c**3 - 8*c**2 - 7*c + 3. Let f be j(-7). Is (-4 + 31)/f - 4 even?
False
Suppose 2*c - 3*c = -2. Is 2 a factor of c?
True
Suppose 4*m - 927 = -3*r - 213, -m + 172 = 4*r. Is 30 a factor of m?
True
Is 2 a factor of ((-8)/(-6))/((-4)/(-30))?
True
Suppose o - 5*f - 74 = 0, 4 = -3*f + 1. Does 23 divide o?
True
Suppose 3*n + 64 = -4*x - n, n - 110 = 5*x. Let u = x - -37. Let p = u + 0. Is p a multiple of 16?
True
Is 14 a factor of 7 + (-64)/10 - (-342)/5?
False
Let p(d) = d - 5. Let s be p(7). Suppose 4*u - s*u = -240. Is (-2)/7 - u/28 a multiple of 4?
True
Let t = -1 - -4. Suppose c = t*w + 21, -2*w + 0 = 4*c - 56. Is 13 a factor of c?
False
Let i(h) = -h**3 + 4*h**2 - h - 3. Let m be i(3). Suppose -22 = -3*q - 4*a, -m*a = 17 - 2. Is 11 a factor of q?
False
Let t(a) = a**3 - 2*a**2 - 2*a - 5. Is t(5) a multiple of 11?
False
Let m(z) = 2. Let i(f) = f - 18. Let t(x) = 2*i(x) + 10*m(x). Is 5 a factor of t(12)?
False
Let l be 1/(-3) + 2/6. Suppose 0 = 5*f - l*f - 2425. Does 7 divide f/25 - (-4)/(-10)?
False
Suppose 10 = -8*m + 3*m. Let g = m - -16. Is g a multiple of 9?
False
Let a(z) = z**2 - 10*z + 8. Let w be 13 + (-6)/3 - 1. Does 4 divide a(w)?
True
Let p = 94 - 47. Is p a multiple of 13?
False
Suppose c - 5*d = 2, -c = -2*d + 6*d - 11. Suppose -r = -2 - c. Is r a multiple of 9?
True
Suppose -4*g = g + 120. Is 12 a factor of g/5*(-70)/28?
True
Let n = -372 + 634. Is n a multiple of 29?
False
Suppose -3*o + 13 - 1 = 0. Let p = -1 + 1. Suppose -2*a - 2*w + 30 = p, -o*w + 59 = 5*a - 14. Is a a multiple of 13?
True
Let n(l) = l**2 + 11*l + 18. Does 11 divide n(-13)?
True
Suppose -2 - 7 = 3*o. Let y = 8 + o. Suppose r = -5*x + 85, -r - 3*r = -y*x + 85. Is x a multiple of 12?
False
Let c(s) = -3*s + 14. Let p be c(-9). Suppose -3*d + 154 = -p. Is d a multiple of 13?
True
Let p be (-20)/(-9) - (-16)/(-72). Suppose -207 = p*i - 5*i. Is 23 a factor of i?
True
Let w