) be the third derivative of -g**9/60480 + g**8/3360 - g**6/360 - g**5/60 - 2*g**2. Let d(h) be the third derivative of b(h). Does 13 divide d(4)?
False
Suppose -v = 2*k - 17, 0 = -k + 2*v - v + 16. Is k a multiple of 3?
False
Let h(i) be the third derivative of -i**4/24 + 3*i**3/2 - 8*i**2. Does 12 divide h(-11)?
False
Suppose 3*t + 48 = 2*d, d + 3*t - 42 = -2*d. Is 5 a factor of d?
False
Suppose -4*i + 2*m + 20 = 0, 0*i = 3*i + m - 25. Does 7 divide i?
True
Suppose -7 + 2 = r. Let q(w) be the third derivative of -w**6/120 - w**5/15 - 5*w**4/24 - 2*w**3/3 - 9*w**2. Is q(r) a multiple of 20?
False
Suppose 0 = 4*i - 10 - 6, 2*i = 4*o - 1624. Suppose 3*v - o = v. Suppose -5*y + 0*a = 2*a - v, y + 5*a = 50. Is y a multiple of 12?
False
Suppose 38 = -8*o + 10*o. Is 19 a factor of o?
True
Let z(i) = -i + 13. Let m = 18 + -8. Let b be z(m). Let x(a) = 11*a - 2. Does 15 divide x(b)?
False
Let q = -11 - -19. Let k be (-3 + 22/q)*-8. Suppose -90 = -5*m + k*m. Does 22 divide m?
False
Suppose 0 = y + d - 76, 4*y - 2*d - 64 - 234 = 0. Let k be y + 6/(9/(-3)). Suppose -3*w - k = -3*i - 8*w, 2*w = 10. Is 6 a factor of i?
False
Suppose 3*u + 9 = 0, -2*s + 5*s = -4*u + 15. Let t(x) = s*x + 3 - 1 + 0. Is t(4) a multiple of 19?
True
Let w = -12 + 22. Let o(b) = -4*b. Let u be o(-2). Suppose z - w = u. Is 7 a factor of z?
False
Suppose -4*n - 3*s + 608 = 0, -3*n = -0*n - s - 443. Does 15 divide n?
False
Let y = 43 + -27. Let l(a) = a**3 - 4*a**2 - 2*a - 5. Let v be l(5). Let q = y - v. Is 3 a factor of q?
True
Let z = -7 - -7. Suppose z = 2*m - 4 - 168. Is 25 a factor of m?
False
Suppose 436 = 8*w - 476. Is w a multiple of 38?
True
Let h(v) = v**2 - v - 1. Let a(n) = 6*n**2 + 6*n. Let i(j) = a(j) - 5*h(j). Is 2 a factor of i(-11)?
False
Let i(m) = 4*m**3 + m**2 - m + 1. Let z be i(1). Suppose z*d + 19 + 1 = 0. Is (-62)/d - 2/(-4) a multiple of 6?
False
Suppose 3*n - g - 151 = -28, 5*n = 2*g + 204. Suppose -2*i = -6*i + 92. Let l = n - i. Is 11 a factor of l?
False
Let f(m) = -m**3 - 6*m**2 + m + 6. Let p be f(-6). Suppose p*k + n + 53 = 2*k, 0 = 5*k - 2*n - 132. Is k a multiple of 13?
True
Let t = 8 - 6. Suppose 4 = -5*p - 2*q, -5 = 5*p - t*q + 11. Let a(l) = -l**3 - 2*l**2 - 3*l - 1. Is 2 a factor of a(p)?
False
Let c = -12 + 1. Let a = c + 5. Does 6 divide (3*-1)/3*a?
True
Is (-4)/(-10) - 43/(-5) a multiple of 3?
True
Let b(a) = -a**2 + 5*a + 6. Let p be b(5). Let t(s) = 4*s - 10. Does 3 divide t(p)?
False
Suppose -3*p + 0*p = 0. Suppose p = b - 0*b - 29. Does 10 divide b?
False
Let m be ((-1)/(-3))/((-5)/(-165)). Let w = m + -7. Suppose -3*l - 3*k + 57 = -0*k, 2*k = -w*l + 74. Is l a multiple of 9?
True
Suppose 3*o + 3*x - 114 = 0, 3*o - 2*o = 2*x + 44. Does 5 divide o?
True
Let x(y) = 3*y + 1. Let t(p) = 5*p + 2. Let m(c) = 6*t(c) - 13*x(c). Let g be m(-4). Suppose -4*h - 5*q + g = 0, h = 4*h - 3*q - 60. Is h a multiple of 15?
True
Does 6 divide 38 - (-1)/(3/(-6))?
True
Let z be (-3 + -2)*(1 + -2). Suppose 83 = 3*o - z*c, -o + 46 = o - c. Suppose -o = -3*a - 0*a. Does 4 divide a?
False
Let s(v) = v + 27. Let y(x) = x**2 - 6*x - 4. Let h be y(3). Is s(h) a multiple of 7?
True
Suppose 2*h - g - 11 = 0, -5*h + 27 + 2 = -2*g. Let i = h - -3. Is i a multiple of 9?
False
Let z be 1 + (-4)/(-2 - 0). Suppose -2*v = -v + z*q + 8, v + 18 = -5*q. Is 6 a factor of v?
False
Is 14 a factor of (-167)/(-7) + 5/35?
False
Suppose -2*a - 9 - 13 = 2*h, 4*a = 2*h - 38. Let y = a - -39. Does 15 divide (-1)/(-1) + -3 + y?
False
Suppose -98 + 488 = 6*t. Does 27 divide t?
False
Suppose d - 3*d + 50 = 0. Suppose -4*x + 20 = -5*z, -d = -0*x - 5*x + 3*z. Suppose -x*o = 3*a - 211, -4*a = -5*o - 3*a + 223. Does 22 divide o?
True
Let t(l) = -l**2 - 4*l. Let v be t(-3). Let p be (-203)/(-3) - 2/v. Does 11 divide p/3 - (-4)/(-12)?
True
Suppose -l = -4*s, 5*s + 2*l - 4 = -17. Let h = 16 + s. Let k = 35 - h. Is k a multiple of 10?
True
Suppose -y + 60 = 5*u, -2*y + 4*u - 208 = -6*y. Is 10 a factor of y?
True
Suppose 0 = -4*v + 4*r - 8, -v + 2 = -3*r + 4. Is (-1)/((-4)/(-520)*v) a multiple of 14?
False
Let j = 281 + -115. Is j a multiple of 15?
False
Let y be (3 - 2)/((-1)/(-3)). Suppose 0 = 2*i - 4*z + 20, y*z - 27 = -i - 12. Suppose i = 3*o - 12 - 27. Is o a multiple of 13?
True
Let c(g) = g**3 - g**2 + g + 50. Let l be c(0). Suppose -3*m + l = 4*h, 76 = 5*m + 2*h + 2. Does 11 divide m?
False
Is 32 a factor of (6*(1 + 0))/(228/4864)?
True
Let c(r) = 6*r - 6. Is 16 a factor of c(9)?
True
Suppose -4*j + 879 = 5*z, 3*j - 3*z - 836 + 197 = 0. Is 9 a factor of j?
True
Suppose -8 = -s + 2*s + 5*h, -3*s = -h - 40. Is 4 a factor of s?
True
Let u = 2 - -7. Let b = u - -7. Is 16 a factor of b?
True
Let i = 0 + 2. Suppose -4*y = i*v - 48, -2*y - 4*v = 7 - 37. Does 8 divide y?
False
Suppose 0 = 4*d - 0*d - 544. Is d a multiple of 34?
True
Suppose 4*l = 78 + 30. Let o = l - -30. Is o a multiple of 13?
False
Suppose 8 = 4*w + 5*l - 0, 4*w + 3*l = 8. Suppose w*b + 4*v - 4 = 0, -3*b + 3*v = 2*b - 75. Does 6 divide b?
True
Let l(o) be the first derivative of -3*o**3 + 3*o - 1/2*o**2 + 1 - 1/4*o**4. Is 4 a factor of l(-9)?
True
Let b = -2 - -11. Is ((-3)/b)/((-1)/24) a multiple of 8?
True
Suppose 8*y - 7*y - 100 = 0. Is 10 a factor of y?
True
Suppose -5*m = 12 - 2. Is 23 a factor of (m/6)/((-1)/69)?
True
Let x be ((-12)/(-18))/((-1)/(-12)). Let z = -4 + x. Suppose z*q = 2*q + 3*p + 102, 3*p = 3*q - 156. Does 18 divide q?
True
Let u = -113 + 306. Is u a multiple of 12?
False
Let f(q) = -25*q + 9. Is f(-3) a multiple of 6?
True
Let a = 41 - 11. Suppose -4*o + a = -50. Does 10 divide o?
True
Let a(y) = y**2 + 4*y**2 - 3*y**2 + 2 + 2*y - 3*y. Is 23 a factor of a(6)?
False
Let p(d) = -d**3 - 6*d**2 - d + 2. Let w be p(-6). Let h(y) = -y**2 + 6*y + 11. Let c be h(w). Let v(s) = s**3 + 5*s**2 - 2*s - 7. Does 3 divide v(c)?
True
Suppose w + 5 = 3*f - 4, -23 = -w - 5*f. Let j = 10 - -17. Suppose j = w*o - 0*o. Is 5 a factor of o?
False
Suppose 127 + 288 = 5*y + 5*s, s = 2*y - 151. Suppose -3*m + m = -y. Is 16 a factor of m?
False
Suppose -a + 3*q + 1 = -3*a, 3*a - 5 = 2*q. Is 6 a factor of 21 - (a - (1 - 3))?
True
Let g = 127 - 75. Does 26 divide g?
True
Let l(b) = b**3 - 6*b**2 - 3*b + 9. Let j be l(9). Let h = j + -125. Is h a multiple of 25?
True
Let r(u) = 4*u**2 + u - 1. Let y be r(1). Suppose 5*w = -3*c - 33, -5*w - y*c - 32 = -3. Is 3 a factor of (-2)/w*3*6?
False
Suppose 0*s = 3*s - 12. Suppose s*z = 37 - 1. Suppose -2*d + z = -7. Does 4 divide d?
True
Suppose -o + 23 - 3 = 0. Suppose 0 = -5*q + 4*t - 14 + 98, -4*t - o = -q. Is q a multiple of 7?
False
Let x(y) be the first derivative of 3 - 15/2*y**2 - 2*y. Does 15 divide x(-2)?
False
Is (-341)/(-4) + 36/48 a multiple of 20?
False
Let j(o) = o**3 - 4*o**2 - 5*o + 5. Let x be j(5). Suppose -x*b - 4*z = -0*z + 5, 5*b + 5 = -z. Is 2 - (2 + 21)*b a multiple of 14?
False
Let f(z) = z**3 - 8*z**2 + 8*z + 2. Let p be f(8). Let o = 33 - p. Does 10 divide 6/o + (-554)/(-22)?
False
Suppose -13*a + 18*a - 35 = 0. Does 5 divide a?
False
Let f be (3 - 5/2)*0. Let z = f + 5. Suppose o - 96 = -3*o - z*k, 2*o - k = 48. Is o a multiple of 9?
False
Let l(h) = h**2 - 10*h - 2. Let z be l(7). Let u = 2 - z. Is 14 a factor of u?
False
Let u = 68 - -5. Is 24 a factor of u?
False
Suppose 23 = -t - 5*v, -2*v + 0*v + 4 = -4*t. Is 13 a factor of t/(1 + (-58)/52)?
True
Suppose 0 = 2*r + 5*q - 6, q + q + 20 = 2*r. Does 3 divide r?
False
Suppose 0 = 2*z - 5*z + 45. Let y = -35 - -26. Let j = z + y. Is j a multiple of 6?
True
Let m(i) = 2*i**2 - 11 - i**2 + i**3 + 6 + 5*i. Let o(k) = -k**3 - k**2 - 4*k + 4. Let l(v) = -5*m(v) - 6*o(v). Does 17 divide l(3)?
True
Let j(r) = -7*r + 1. Let t(d) = -d**2 + d - 5. Let g be t(0). Is 18 a factor of j(g)?
True
Suppose 0 = -c - 4*v - 27, 0 = -2*c - 4*v - 0*v - 54. Is (6/4)/(c/(-180)) a multiple of 7?
False
Suppose -3*k + 146 = -85. Let v(c) = c**3 + 6*c**2 - 12*c - 11. Let a be v(-8). Let o = a + k. Is 20 a factor of o?
False
Let a be 6 - (-2)/2 - 2. Let c be ((-2)/a)/(1/(-120)). Suppose -c = -3*t + 3. Does 17 divide t?
True
Suppose 4*n = -y + 71, 2*n + 3*n - 94 = -3*y. Is 8 a factor of n?
False
Let z = 21 + -15. Is z a multiple of 6?
True
Let d be 55 - (-1)/(-2)*8. Suppose 0 = -3*p + u - 6*u + d, -5*u = 2*p - 29. Is 22 a factor of p?
True
Let 