be the third derivative of -5/24*v**4 + 2*v**2 + 0*v - 5/6*v**3 + 1/60*v**5 + 0. Is z(7) a multiple of 9?
True
Let z(v) = -1. Let c(b) = -3*b**2 + 5. Let p(m) = -c(m) - 5*z(m). Does 12 divide p(-2)?
True
Let n(z) = -11*z - 6. Let i be n(-5). Suppose -2*y + i = 15. Is 17 a factor of y?
True
Suppose 0 = 2*s - s - 31. Suppose 0 = 2*r + s - 9. Let q = r + 29. Is 9 a factor of q?
True
Does 10 divide 96 + 1 + 16/(-8)?
False
Let m = 176 - 98. Is m a multiple of 13?
True
Let d(h) = -3*h + h + 0 + h**2 + 1. Let w = -11 - -15. Is 4 a factor of d(w)?
False
Does 9 divide 110/(-3)*(-3)/2?
False
Let p = -6 - -12. Does 3 divide (9/p)/(2/4)?
True
Let v = 84 + -56. Is 4 a factor of v?
True
Let c be 7/14 - 5/(-2). Suppose 0*x - 2*p = -2*x + 8, -c*x + 11 = -4*p. Does 2 divide x?
False
Let i = 255 - -81. Does 13 divide i?
False
Let b be (6/(-4))/(6/(-20)). Suppose -2*m + 118 = m + v, -5*m - b*v = -210. Does 13 divide m?
False
Does 27 divide 2/9 + 4172/18?
False
Suppose 6*x - 2*x = 44. Suppose j - x = -5*s - 0, 0 = 2*j - 5*s + 23. Let m(v) = v**3 + 5*v**2 - 3*v - 6. Does 8 divide m(j)?
False
Let k = 4 + -1. Suppose -24 = f - j - k*j, 4*f = 2*j - 68. Let q = f + 39. Is q a multiple of 23?
True
Suppose -3*p - 39 = -5*q, 3*q = 3*p - 16 + 55. Suppose 0 = -3*i + 8 + 70. Let u = i + p. Is u a multiple of 13?
True
Suppose 0 = -3*a + 77 - 5. Is 8 a factor of a?
True
Suppose -d = 2*p - 3, 2*p + 5*d + 10 = 1. Suppose -5*b + p + 12 = 0. Suppose -31 = -b*u - 7. Is 4 a factor of u?
True
Suppose 2*x - 210 = -3*x. Suppose 3*k - 74 = -0*r - 4*r, 0 = -2*r + k + x. Does 10 divide r?
True
Let h be (2/6)/((-2)/(-18)). Suppose -2*j - 8 + 2 = 0, -5*j = q + 15. Suppose 40 = 5*c + 5*n, c + h*n - 15 + 3 = q. Does 6 divide c?
True
Let z(y) = 1 - 5*y + y + 3*y. Let t be z(-3). Does 7 divide t/6*1*30?
False
Let n(a) = 29*a - 3. Let x be (-16)/(-4) - (-2 - -4). Does 27 divide n(x)?
False
Suppose 52 = -3*c + 196. Is c a multiple of 12?
True
Let d be (3/9)/(2/6). Let v be (-1)/d - 20/2. Let r = v - -21. Does 10 divide r?
True
Let l(d) = -d**2 - 6*d + 4. Let u be l(-6). Suppose 0*p - 18 = -p + u*k, -2*k = p. Does 6 divide p/3 - (-9 + -1)?
True
Suppose -4*j = 1 - 17. Suppose 3*z = 8*z. Suppose z = -2*m + j + 20. Does 8 divide m?
False
Let u = -4 - -24. Suppose u = s - 9. Is 10 a factor of s?
False
Suppose 0*t = t - 2*c + 6, 5*t - 4*c = -18. Let h be 1/((t/25)/2). Let w = 57 + h. Does 14 divide w?
False
Let b = 12 - 9. Suppose -9 = -d + 4*l, -d = b*d - l - 51. Is d a multiple of 13?
True
Suppose 5*l + 3*y = 180, 7*l - 3*l - 146 = -2*y. Is l a multiple of 13?
True
Is 4 - 88/((-8)/2) a multiple of 6?
False
Suppose 78*k = 81*k - 693. Is 21 a factor of k?
True
Let o = 12 - 10. Suppose 3*z = 4*m - 58, 4*m - 24 = o*m + 4*z. Does 7 divide m?
False
Suppose 4*i = 52 + 40. Is i a multiple of 8?
False
Let g = -4 - -6. Suppose 2*o - 4*r - 52 = -o, -o - g*r + 34 = 0. Is o a multiple of 8?
True
Suppose -2*l + 0*l = -2*a + 16, 0 = 5*a + 4*l - 4. Suppose 0 = a*k - 16, 3*k + k + 50 = y. Suppose 0 = -b - 2*b + y. Is b a multiple of 11?
True
Let w(m) = 2*m + 58. Is 25 a factor of w(10)?
False
Let d be 22 + (-2 - (3 + -6)). Suppose 1 = m + 3*h - d, -5*m = 2*h - 68. Is m a multiple of 6?
True
Let v(d) be the second derivative of d**3/6 + 3*d. Let i be v(7). Suppose z + i = 46. Is 16 a factor of z?
False
Let n(t) = 4*t**3 + 3*t**2 - 3*t - 97. Let q(v) = v**3 + v**2 - v - 32. Let b(i) = 2*n(i) - 7*q(i). Is 10 a factor of b(0)?
True
Let s = 84 - 9. Suppose 5*x - s = -5*c, -3*c - x + 0*x = -41. Is 13 a factor of c?
True
Let n = 2 - -2. Suppose -34 = 3*j - 4*j + 3*x, -n*x = 12. Is 10 a factor of j?
False
Let z(c) = -c**2 + 8*c - 10. Let d be z(7). Let a be d/((-4)/(16/(-6))). Does 2 divide a*((-50)/(-4))/(-5)?
False
Let b(s) = 7*s + 3. Let m be b(-2). Let i = m + 27. Suppose 0 + i = 3*o - 5*w, -5*o = -w - 56. Is 5 a factor of o?
False
Let s(h) = -h**3 + 13*h**2 - 11*h - 16. Let n be s(11). Suppose -4*b + 67 + n = 0. Is 15 a factor of b?
False
Let w(y) = 2*y**2 + 7*y - 4. Let i be w(-6). Let a = i + -17. Does 7 divide a?
False
Let l be ((-62)/(-4))/((-1)/(-2)). Let i = -12 + l. Let p = i + 10. Is p a multiple of 11?
False
Let p be (-7)/(-3) - (-10)/15. Let s be p + (2/2)/1. Does 6 divide 1 + (-2)/(s/(-22))?
True
Suppose 2*h = 5*h - 114. Suppose 4*g = 5*g - h. Does 19 divide g?
True
Suppose 49 = 3*y - 38. Does 4 divide y?
False
Is (-2)/(-5 + 3) - -33 a multiple of 17?
True
Suppose 4*a + 4*v = 12, 3*a - 6 = -v + 5. Suppose -2*j + a*s - 8 = 0, 2*j = -j + 2*s + 8. Is j a multiple of 6?
True
Let a(h) = h**3 + 2*h**2 - 6*h. Let i be a(4). Suppose -4 = -2*w + i. Is w a multiple of 22?
False
Suppose 0 = z - 2*j - 3*j - 28, -4*z + 2*j + 58 = 0. Let r = z + -3. Does 5 divide r?
True
Let r = 47 - 41. Is 6 a factor of r?
True
Suppose 264 = 5*b + 4*y + 91, -4*y = 3*b - 107. Is 33 a factor of b?
True
Suppose 0 = y + j + 4, 0 = -2*y + j - 2*j - 5. Is (32/(-80))/(y/135) a multiple of 15?
False
Let f(s) be the third derivative of -s**6/120 + 2*s**5/15 - s**4/12 + 7*s**3/6 - 10*s**2. Is f(6) a multiple of 15?
False
Let c = 3 + 4. Let p = -17 + c. Let w = p - -14. Does 3 divide w?
False
Let x(g) = -g**3 + 7*g**2 - 4*g + 7. Let j be x(7). Is 6 a factor of 6/j - 116/(-14)?
False
Let t(c) = c**3 - 6*c**2 - 2*c - 16. Is 13 a factor of t(7)?
False
Let o = 1 - -8. Let j be (-1)/3 - (-48)/o. Suppose -j*h = 3*a - 59, 2*a = 3*h + 22 + 49. Is a a multiple of 17?
False
Suppose x - r + 3 = 2, 0 = 3*x - 5*r + 1. Let c = x - 1. Is 11 a factor of 3/(c/(-2)) - -13?
False
Suppose -3*z + 0*r + 155 = 2*r, 5*z + 2*r - 253 = 0. Is z a multiple of 9?
False
Suppose -3*z = -41 - 22. Suppose -j + 2*j = z. Is 7 a factor of j?
True
Suppose -x + 67 = 11. Does 7 divide x?
True
Let q be (-18)/5 + 12/(-30). Let n = -5 - q. Does 4 divide n - (-5)/((-5)/(-9))?
True
Let s(q) be the first derivative of -q**3/3 + 7*q**2/2 - 3*q - 2. Is 3 a factor of s(6)?
True
Let o = -4 - -8. Suppose o*i - 243 = -83. Does 15 divide i?
False
Let t(f) = -f. Let w(u) = -8*u - 6. Let k(g) = -2*t(g) - w(g). Let a be k(5). Suppose -4*d = -0*d - a. Is d a multiple of 12?
False
Let b be (1 - 6)*(-156)/10. Let h = b + -36. Is 21 a factor of h?
True
Let g(o) = o**3 - 6*o**2 - 3*o - 2. Let p(c) = 0*c - 2*c + 2*c**3 - 6*c**2 - c**3 - 1. Let r(i) = 6*g(i) - 7*p(i). Does 11 divide r(4)?
True
Let q = 102 - -18. Is 10 a factor of q?
True
Suppose 70 + 15 = 5*a. Is 3 a factor of a?
False
Suppose 9 = 3*k - 2*k. Suppose -y = -4*j + 3, 0*j - j - 2*y + 12 = 0. Let r = j + k. Is r a multiple of 5?
False
Suppose s = 3*s - m + 137, 3*s + 3*m + 183 = 0. Is 6 a factor of (0 - 3/9)*s?
False
Let b be 7 + 5 - (0 - 1). Suppose 6 = -q + b. Is q a multiple of 6?
False
Suppose n = 12 + 33. Suppose 5*z = -3*o - o - 92, 2*z + 4*o = -32. Let b = z + n. Is b a multiple of 25?
True
Suppose -h = -2*h + 30. Is 9 a factor of h?
False
Suppose -2*w - 5 = 3*w. Let f(x) = -13*x - 11*x - 1 + 4*x - 18*x. Does 13 divide f(w)?
False
Let o = -18 - -13. Let h = o - -9. Does 26 divide h/(-26) - 2712/(-52)?
True
Let c(v) = v**2 + v + 111. Let x be c(0). Does 7 divide 2/(-6) + x/9?
False
Suppose 3*c - i - i = 19, 5*c - 4*i = 35. Suppose -16 + 4 = -c*r. Does 2 divide r?
True
Suppose -4*p = 2*q + 24, 2*q + 16 = -2*q. Is (-2)/p + 225/10 a multiple of 13?
False
Let g(a) = a**2 - 2. Is 3 a factor of g(4)?
False
Let i(d) = d**3 - 7*d**2 + 7*d - 2. Let h be i(6). Suppose -x = w - 1 - 11, 5*x = 4*w + 60. Suppose -6*p - 5*u = -4*p - 55, -h*u + x = 0. Is p a multiple of 13?
False
Let d(v) = -22*v**3 - v**2 + 4*v + 5. Is d(-1) a multiple of 22?
True
Suppose 0 = 2*v - 14 - 36. Is v a multiple of 25?
True
Suppose 3*q - 81 = -i, 2*q + i = -0*i + 54. Does 16 divide 3 + -2 + 2 + q?
False
Let b = -102 - -173. Is 11 a factor of b?
False
Let q = 3 + 4. Let z = 9 - q. Suppose u = -4*n + z, -6 - 30 = -4*u - 2*n. Is 5 a factor of u?
True
Let b = 207 - 52. Does 14 divide b?
False
Let f(q) = 4 - 8*q - 2 - 1 + 5. Is 18 a factor of f(-7)?
False
Let a(p) = p**3 + 3*p**2 - 4*p. Is 24 a factor of a(4)?
True
Let j(c) = -c**2 + c + 16. Let a be j(0). Suppose 3*m = m - a. Let y = 21 + m. Is 13 a factor of y?
True
Suppose -5*n + 12 = -n. Is 28 a factor of 93/(0 + 1) - n?
False
Let y = 0 + 3. Let q(f) = -f - 1 - 3*f**2 - 6*f**y + 3*f**2. Is 6 a factor of q(-1)?
True
Suppose 4