 7*a**5/120 + a**4/12 + a**3/6 - 2*a. Let d(p) be the second derivative of n(p). Does 12 divide d(-5)?
True
Suppose 18*i + 378 = 25*i. Does 27 divide i?
True
Suppose -w + 0*a + 2 = -2*a, 5*a = 4*w - 8. Let h(p) = 3 - p**w + 16*p**3 + 0 - 2. Does 16 divide h(1)?
True
Let p = 121 + -69. Does 8 divide p?
False
Does 9 divide (15/1)/((-16)/(-4) + -3)?
False
Let t(i) = i - 9. Is t(22) a multiple of 2?
False
Suppose 0 = -5*v - 11 - 4, -4*z + v + 15 = 0. Suppose z*t = 4*s + 4*t - 101, 5*t + 23 = 2*s. Is 12 a factor of s?
True
Is 508/6 - (-2)/(-3) a multiple of 10?
False
Let k(i) = i**2 + 5*i + 1. Does 3 divide k(-7)?
True
Let x(z) = -z + 2. Let g be x(-3). Suppose g*q - 2*q = -5*f + 39, f - 65 = -5*q. Suppose -5*m + 102 = -q. Is m a multiple of 9?
False
Suppose -3*r - 30 = 2*r. Let o(z) = z**2 - 1. Let q(t) = -t**3 - 11*t**2 + 3*t - 3. Let g(v) = -5*o(v) - q(v). Is 11 a factor of g(r)?
False
Let f(n) = 13*n**2 + 5*n - 7. Is f(3) a multiple of 34?
False
Suppose -5*c + 17 = -83. Let t = 42 - c. Is 6 a factor of t?
False
Let l = 2 + 35. Is l a multiple of 10?
False
Let r = -54 - -92. Suppose 2*q + 80 = -3*q. Let d = q + r. Does 11 divide d?
True
Does 15 divide 108 + (0 - (-9)/(-3))?
True
Is 0 - 2/(-11) - (-2888)/88 a multiple of 3?
True
Let m = -42 + 56. Does 9 divide m?
False
Suppose 3*k + o - 496 = 0, 0 = 2*k - 0*o + 2*o - 332. Does 15 divide k?
True
Is (-1*11*-1)/(5/5) a multiple of 6?
False
Let p(g) = 16*g + 3. Let s be (2 - 16/6)*3. Let w be p(s). Let f = w - -44. Does 12 divide f?
False
Suppose -2*k - n - 70 = -6*k, -5*n + 75 = 5*k. Suppose 0*x = 5*y + 2*x - 23, 3*y - 2*x - k = 0. Suppose 0 = z + y, -2*z + 6*z + 8 = -m. Is m a multiple of 12?
True
Let w(z) = z**3 - 16*z**2 + 22*z - 15. Is w(15) a multiple of 23?
False
Let t(z) = -z**3 - 19*z**2 - 3*z + 9. Is t(-19) a multiple of 11?
True
Let o(i) = i**2 - i + 2. Let d = 10 + -8. Is 4 a factor of o(d)?
True
Suppose -5*o = -2*o - 9. Suppose 2*m = o*i + i + 32, 5*m - 107 = i. Is m a multiple of 16?
False
Let c = 205 - 144. Let h(o) = o + 1. Let z be h(9). Suppose -2*l = -4*u - z, -l - 4*l - 2*u + c = 0. Is l a multiple of 5?
False
Suppose -d + 0*d + 13 = 0. Let a = d + 37. Is 15 a factor of a?
False
Let i(z) = 4*z**2 - z - 1. Let r be i(-1). Let h(c) = 5*c**2 + 2*c - 1. Let w be h(1). Suppose -w*n + n - 2*s = -70, 5*n = r*s + 40. Is n a multiple of 12?
True
Suppose i - 5*i = 24. Is 0 + (-3)/(i/20) a multiple of 10?
True
Let l(s) be the second derivative of -1/2*s**2 + 0 + 0*s**3 + 7/4*s**4 - 2*s. Is l(-1) a multiple of 13?
False
Let r(z) = -2*z**3 + 8*z**2 + 4*z**3 - 3*z**3 - 2*z - 3*z**2 + 4. Is r(4) a multiple of 11?
False
Does 9 divide -2 + 2 + 2 - -25?
True
Suppose -3*i + 108 = -0. Is i a multiple of 9?
True
Let w(k) = 2*k**2 - 4*k - 10. Is w(5) a multiple of 7?
False
Let b(r) = -304*r**3 + r**2 - 1. Let t be b(1). Let p = -199 - t. Suppose 7*h = 2*h + p. Does 9 divide h?
False
Let m = 6 - 6. Is 13 a factor of 13/(-4)*(m + -8)?
True
Let d(u) be the third derivative of -u**7/1260 - u**6/48 + u**5/60 + u**2. Let q(i) be the third derivative of d(i). Does 9 divide q(-10)?
False
Let d = -3 - -3. Suppose 5*c + 5*j - 50 = d, -49 = -4*c + 5*j - 0*j. Suppose -2 = 3*i - c. Does 3 divide i?
True
Does 9 divide 1*(0 - (-1 + -125))?
True
Let n = -122 + 248. Does 14 divide n?
True
Let d(f) = 3*f**2 + 1. Let p be d(1). Is p/10 + (-78)/(-30) a multiple of 3?
True
Suppose -329 = -3*n - 5*y, -3*n = -4*n - 4*y + 98. Does 17 divide n?
False
Let b = 28 - 10. Does 9 divide b?
True
Let r be 1/5 + (-132)/(-15). Let i = r - 9. Suppose 2*u + 5*v + 0*v - 33 = i, 0 = v + 1. Is u a multiple of 18?
False
Let j(b) = b + 6. Let g be (-6)/36 - (-31)/6. Does 6 divide j(g)?
False
Suppose -3*t + 5 = -1. Suppose -5*w + 3*w - t*y - 352 = 0, 5*y + 700 = -4*w. Does 16 divide (4/10)/((-3)/w)?
False
Let t be 0 + 0 + -2 - -6. Suppose -t*r = -4*k + 31 + 21, 5*r = -5. Is k a multiple of 12?
True
Suppose 6*c = 2*c. Suppose 2*h + 64 = 2*i - c*h, h = -i + 24. Does 28 divide i?
True
Suppose 0 = -2*o + 23 + 57. Suppose -y - o = -2*y. Is 12 a factor of y?
False
Let j(p) = -p**2 - 15*p - 11. Let f be j(-14). Suppose -3*w + 3*s + 105 = 0, 3*w = 2*w + f*s + 25. Is w a multiple of 20?
True
Let g = 26 + -47. Does 11 divide 6/g - 384/(-21)?
False
Does 13 divide (-3)/2 + 876/24?
False
Let m be (-2)/((-4)/1)*-10. Let s(h) = -3*h - 5. Does 10 divide s(m)?
True
Let j(o) be the third derivative of o**4/8 + o**3/3 - o**2. Let m be j(3). Is (-1 - -1) + m/1 a multiple of 11?
True
Let n = 5 - -17. Suppose 0 = 6*y - 8*y + n. Is 3 a factor of y + (1 - (6 + -2))?
False
Let w(b) = b**3 - 3*b**2 + b. Is 11 a factor of w(5)?
True
Suppose -2 + 4 = c, -c + 251 = 3*f. Suppose -23 = 4*b - f. Suppose -3*y + 42 = -b. Is y a multiple of 12?
False
Let z = 2 + 6. Is z a multiple of 5?
False
Suppose 4*u + 180 = 8*u + 5*a, 2*u - 5*a = 120. Is u a multiple of 25?
True
Let r = -227 - -384. Is r a multiple of 20?
False
Suppose t = -t + 30. Does 2 divide t?
False
Let w(k) = -6*k**3 - 2*k**3 - 1 + 2*k**2 + k**3. Let s be w(1). Is 4/s - 176/(-12) a multiple of 14?
True
Suppose 0*g + 14 = 2*g. Let p = g - 3. Suppose -o + p*o - 99 = 0. Is o a multiple of 12?
False
Let u be (0 + 1)*(5 + -4). Let a = 1 - u. Is 2 - a - 12*-1 a multiple of 6?
False
Let l(g) = g**3 - g**2 - 3*g - 2. Let v be l(-2). Let y be 1/(-4) + (-18)/v. Let t(c) = -c**3 + 3*c**2 - c + 2. Is t(y) even?
True
Let a = -90 - -53. Let q = a - -61. Does 12 divide q?
True
Let u be 10/(-45) - (-4)/18. Suppose u*z + z - 7 = -3*l, 0 = -2*l + 5*z - 1. Is 56/12 - l/(-6) even?
False
Is 9 a factor of (731/9 + (-18)/81)*1?
True
Suppose 15 = -3*q + 4*q + 3*h, q + 2*h = 15. Is 10 a factor of q?
False
Let j(l) = 2*l - 9. Let n = 1 + 5. Let o be j(n). Is 8 a factor of (o - -5)/(-2 + 3)?
True
Suppose 0 = -2*l - 5*a + 13 - 2, 3*l = -a + 10. Is 5 a factor of (l + -8)*-1 - 0?
True
Let p(w) = w + 5. Let l = 8 - 13. Let v be p(l). Suppose v = -2*y + 12 - 4. Is 4 a factor of y?
True
Let f = -35 - -20. Let g = 2 - f. Does 17 divide g?
True
Let l(r) = r + 7. Let j be (3*2)/(6/4). Suppose j*x + 0*k = 3*k + 44, -5*x + 24 = 4*k. Is 8 a factor of l(x)?
False
Let d = 8 - 7. Let l(n) = 2*n + n**3 + d + 2*n**2 - 3*n - 3. Does 6 divide l(2)?
True
Suppose 588 - 177 = 3*l. Let b be l - (-2)/(2 - 3). Suppose -2*s - s + b = 0. Does 19 divide s?
False
Suppose q + 1 - 5 = 0. Let z = q + 2. Is z a multiple of 5?
False
Is 2*((-2)/3 - (-304)/6) a multiple of 7?
False
Suppose -2*r - 77 = -23. Let t = r + 47. Is 9 a factor of t?
False
Is ((-362)/(-4))/((-20)/(-40)) a multiple of 28?
False
Suppose -r + i = -0*i - 55, -3*r = 5*i - 173. Is r a multiple of 7?
True
Let i = -117 + 184. Suppose 0*u + 2*t + i = u, -u + t + 70 = 0. Is u a multiple of 23?
False
Suppose 2*k - 155 = -3*k. Suppose -5*j + k = -4. Is 7 a factor of j?
True
Let t(y) = -3*y - 2. Is t(-12) a multiple of 4?
False
Does 15 divide 1842/16 + 12/(-96)?
False
Let s(h) = -h**3 + 7*h**2 - 8*h - 1. Is s(5) a multiple of 3?
True
Suppose -3*k + 3 = -2*k. Suppose -7*u + 72 = -k*u. Suppose 5*l - 17 = u. Is l a multiple of 4?
False
Let h = 39 - 21. Is 3 a factor of h?
True
Suppose -126 = -4*g + g. Suppose l - g = -5*m, 3*l - 72 = -l + 4*m. Does 22 divide l?
True
Let j(b) = b + 9. Let f be j(-5). Suppose f*a = 3*i - 7, -a = 3*i - 0*i - 2. Suppose q - 3*q = w + i, -2*q - 10 = 0. Is 3 a factor of w?
True
Let v be 8/6*(0 + 6). Let g(n) = 15 - v*n - n**2 - 1 - 6. Is g(-7) a multiple of 5?
True
Suppose 4*x = 27 + 561. Suppose -3*s + x = 3*c, s = 3*s + 5*c - 98. Does 20 divide s?
False
Suppose -4*v + 24 = l, 2*v - 4*v - l = -14. Suppose 0 = 2*y - v*y + 69. Is y a multiple of 23?
True
Let f(c) = -2*c**2 + 13 + c**3 + 13*c + 11*c**2 + 3*c**2 - 5*c. Does 14 divide f(-11)?
False
Suppose 6*b - 386 = -50. Let p = b + -32. Is p a multiple of 12?
True
Let j be 1 - 1 - (-122 - -1). Suppose -125 = -5*s + 5*i, -5*s + 0*s + 3*i = -j. Does 23 divide s?
True
Let a be 3*1/3*4. Suppose -x - 48 = -a*x. Does 16 divide x?
True
Does 8 divide 3/9 + (-71)/(-3)?
True
Is (-800)/(-112) + 2/(-14) a multiple of 2?
False
Let c(n) = n**2 + n. Let s be c(-1). Suppose s = 4*a - 1 + 9. Let x = a - -6. Is x a multiple of 3?
False
Suppose 4*v - 8 = 8. Let y(n) = 4*n**2 + 5*n - 3. Is y(v) a multiple of 27?
True
Let o = -16 - -38. Is 11 a factor of o?
Tr