 the second derivative of -d**3/6 + 3*d**2 + d. Is i(-5) a multiple of 11?
True
Let k(j) = 14*j**2 - 8*j - 13. Does 12 divide k(-3)?
False
Let n(g) = 12*g + 78. Is n(6) a multiple of 30?
True
Suppose 3 = 2*u + 5*i, -u + 0*i + i + 12 = 0. Does 9 divide u?
True
Let w(v) = -2*v**2 - 18 + v**2 + 15*v - 2*v**2. Let g(r) = -r**2 + 5*r - 6. Let u(m) = -7*g(m) + 2*w(m). Is u(7) a multiple of 20?
True
Let f(w) be the third derivative of w**6/120 + w**3/6 - 3*w**2. Let c be f(-1). Let q = 32 + c. Is 16 a factor of q?
True
Suppose 0 = -0*v - 2*v - 170. Let b = v - -120. Let n = -20 + b. Does 15 divide n?
True
Let y(j) = 4*j**3 - j**2 + 8*j - 2. Let f(w) = 5*w**3 - w**2 + 9*w - 3. Let c(i) = -5*f(i) + 6*y(i). Is 12 a factor of c(-4)?
False
Suppose -5*c = -c - 12. Suppose -c*u + 149 + 106 = 0. Is u/3 + 1/(-3) a multiple of 10?
False
Let j(s) = s**2 - 4*s - 5. Let t be j(-4). Does 16 divide 205/4 - t/(-36)?
False
Let w(o) = o + 13. Let x = 23 - 32. Is 2 a factor of w(x)?
True
Let u(q) = 3 + q - 2 - 6 - 2. Is 2 a factor of u(10)?
False
Let g be (2 - 0)*10/4. Suppose -974 = -g*n - 99. Suppose 5*m + 20 = n. Does 12 divide m?
False
Suppose 8*o - 192 = 4*o. Is o a multiple of 16?
True
Is 13 a factor of (15*12/50)/((-3)/(-170))?
False
Suppose b - 3*b + 208 = 0. Let f be ((-37)/2)/((-2)/8). Let v = b - f. Is 10 a factor of v?
True
Suppose 4*u = 4*x + 42 - 454, -3*u = -5*x + 519. Is 15 a factor of x?
True
Suppose 0*j = -2*j + 140. Does 35 divide j?
True
Suppose 14*g - 22 = 13*g. Let j = 36 - g. Is 14 a factor of j?
True
Let y be (-1)/3 + (-2850)/(-18). Suppose -y = -3*a - 59. Is 7 a factor of a?
False
Suppose -3*k + 1 = -5. Does 13 divide k/(-2) + 16 + 1?
False
Let r(u) = -u - 1. Let j be r(-4). Suppose -j*b = 62 - 8. Let s = 68 + b. Is s a multiple of 17?
False
Let p(j) = j**3 + 6*j**2 - 6*j + 7. Let v be p(-7). Suppose v*u + 17 = u + 5*d, -5*u + 4*d + 114 = 0. Is u a multiple of 6?
False
Let f = 21 + -21. Suppose -x + 4*x - 234 = f. Does 17 divide x?
False
Let q = -1 + 4. Suppose -a + 4 = -q*d, -3*a + 5*d + 7 = -21. Does 7 divide a?
False
Let d = -122 - -66. Let a be (-16)/d - 145/(-7). Suppose o = 5*y - 10, -5*o + a = -4. Does 3 divide y?
True
Let b(h) be the second derivative of h**3/2 - 7*h**2 + h. Suppose 17 = 3*n + 5*r - 18, -4*n + 45 = 5*r. Is 8 a factor of b(n)?
True
Let b(o) = -o - 4. Let s be b(-4). Does 12 divide 46 - (-2 + s + 2)?
False
Let q = -8 + 4. Let y = q + 3. Is 3 a factor of (-3 + (y - -1))*-1?
True
Let h(r) = -r**2 + 11*r + 5. Let p be h(9). Suppose m - 19 - p = 0. Does 14 divide m?
True
Suppose 0 = 4*v + 3*k - 186, 2*k + 86 = v + v. Does 15 divide v?
True
Let p(q) = q**3 - q + 20. Let g be p(0). Suppose 0 = 4*u - 3*y + 11 - 1, 2*u - 2*y = -4. Let m = g - u. Is m a multiple of 12?
True
Let f = -27 + 125. Is 12 a factor of f?
False
Suppose 6*o - o - 130 = 0. Is o a multiple of 8?
False
Let n(w) = -3*w + 20 - 9 + 8*w**2 - 14. Is n(-2) a multiple of 9?
False
Suppose 7 = 3*u - 4*i - 20, -2*i - 11 = -u. Does 4 divide u?
False
Suppose g - 6 = -0. Is g a multiple of 4?
False
Let u(w) = -w**2 - 15*w - 7. Is 7 a factor of u(-10)?
False
Suppose 2*i - 7*i = -390. Does 26 divide i?
True
Let j(h) = 11*h**2 - 21*h - 22. Let g(r) = 4*r**2 - 7*r - 7. Let l(q) = -8*g(q) + 3*j(q). Suppose 3*m - x - 23 = 0, -56 = -2*m - 2*m - 5*x. Does 5 divide l(m)?
False
Let r be 6/((-6)/(-2)) - -3. Suppose -10 = -f - 3*p, -3*p - 25 = f - r*f. Suppose f = -3*h + 82. Is 14 a factor of h?
False
Suppose s - 20 = -3*s. Suppose 0 = d + 2*a + 6 - 32, s*d - 106 = -4*a. Does 16 divide d?
False
Let a = 36 + -4. Is 13 a factor of a?
False
Let y(v) = -3*v**3 - v**2 - 2*v + 3. Let i(w) = -5*w**3 - w**2 - 3*w + 4. Let h(z) = -5*i(z) + 8*y(z). Let c = 5 - 1. Does 6 divide h(c)?
False
Let z = 78 + -20. Is z a multiple of 5?
False
Let k(d) = -2*d**2 - d + 2. Let j be k(-2). Let x = -2 - j. Suppose x*p - 7 = p. Is p a multiple of 3?
False
Let d = 0 + -4. Let c(l) = 2*l**2 + 5*l + 4. Let g be c(d). Let f = g - 6. Does 6 divide f?
False
Let s = -1 - -15. Let o = s - 7. Does 7 divide o?
True
Let h be (6/(-10))/(6/(-30)). Suppose h*c + 4*k = 1 + 41, -42 = -3*c + 2*k. Does 8 divide c?
False
Let r(v) = -v**3 + 6*v**2 + v - 3. Let u be r(6). Is (2/u)/((-2)/(-57)) a multiple of 13?
False
Let g(s) = 2*s**2 - 15*s + 20. Is 29 a factor of g(11)?
False
Suppose -2*o - 83 = -3*d, -3*o + 6*o + 137 = 5*d. Is 4 a factor of d?
False
Let s = -21 + 85. Suppose 3*q - 14 = s. Does 8 divide q?
False
Suppose -34*b + 37*b = 39. Does 4 divide b?
False
Let a(i) = 6*i**3 + 3*i**2 - i - 2. Does 24 divide a(2)?
False
Let q(f) = 7*f + 6. Let j be q(-9). Let g = -39 - j. Is g a multiple of 6?
True
Let g = -9 - -15. Does 3 divide g?
True
Let p(o) = -o**3 + o**2 + 7. Let f = 9 - 6. Let x be (0/f)/(4/4). Does 7 divide p(x)?
True
Suppose -3*t + 137 = 2*w - 4*w, 5*t - 3*w - 229 = 0. Let i = t + -19. Is i a multiple of 14?
True
Let t(x) = x**3 + 6*x**2 + 2*x - 4. Suppose 5 = -5*v, 4*n - 4*v - 5 = -13. Is t(n) a multiple of 17?
True
Let t = -99 - -180. Does 9 divide t?
True
Let k = -65 - -42. Let q be k/(-5) - 2/(-5). Suppose 2*x - 56 = q*r, 2*x + 2*r = 4*x - 56. Does 13 divide x?
False
Suppose 0 = -4*p + 2*p - 4*s + 16, -s = 4*p - 18. Is p a multiple of 2?
True
Suppose -2*h + 3*h = 62. Is 32 a factor of h?
False
Let y = -101 - -197. Is 6 a factor of y?
True
Let z(p) be the second derivative of -p**6/360 + 3*p**5/40 - p**4/24 + p**3/3 + p. Let v(c) be the second derivative of z(c). Is v(8) a multiple of 7?
True
Suppose -2*s + 44 = -6. Is 25 a factor of s?
True
Suppose -13*y - 2714 = -8057. Does 41 divide y?
False
Let n(o) = o**2 - o + 7. Is 9 a factor of n(8)?
True
Does 9 divide ((-504)/(-48))/(2/12)?
True
Let b be (-22)/(-12) + (-6)/(-36). Let f be 3/6 - (-5)/b. Suppose -5*r + 5*n + 285 = 0, 5*r - 117 = f*r + 5*n. Is r a multiple of 20?
False
Let m = 274 + -112. Does 6 divide m?
True
Let z(h) = -4*h + 0*h - h - 1. Does 12 divide z(-4)?
False
Is (2/(-9) - 32/180)*-125 a multiple of 10?
True
Suppose 79 = 8*b - 537. Does 8 divide b?
False
Is 8 a factor of (-5 + 4 - -30) + 0?
False
Suppose 2*d + 285 = 5*k - d, 3*k = -2*d + 171. Is 18 a factor of k?
False
Let c(y) = -7*y - 3. Let a(b) = 14*b + 6. Let w(g) = 4*a(g) + 9*c(g). Suppose -3*x + 3 = 0, 5*z + 16 = 3*x - 2*x. Does 18 divide w(z)?
True
Suppose h = -3*b - 93 - 36, -4*h - b - 549 = 0. Let r = -69 - h. Is r a multiple of 21?
False
Let l = -111 + 377. Suppose 3*q - 4 = l. Suppose -2*m + 22 = 4*p, p + 20 = 5*m - q. Is 21 a factor of m?
True
Let o(z) = -13 + z**2 + z + 0*z**2 - 2. Let m be o(0). Is (-132)/(-15) - 3/m a multiple of 9?
True
Suppose -y = 2*a - 31 - 30, -3*a + 108 = -4*y. Is 32 a factor of a?
True
Let q = -3 - -6. Let i be -1 + q + (-2)/(-2). Suppose -x - 144 = -i*b, 40 = -2*b - 3*x + 147. Is 14 a factor of b?
False
Suppose -5*q + 0*q - 110 = -r, -2*q - 2*r - 56 = 0. Let d = 27 + 14. Let o = q + d. Is 14 a factor of o?
False
Is (4/(-3))/((-13)/273) a multiple of 3?
False
Let h = -3 + 8. Suppose 0*s - h*s + 15 = 0. Suppose -s*w - 12 = -3*v + 54, -3*v = -w - 58. Does 11 divide v?
False
Let u = 4 - 4. Suppose u = -2*q - q + 12. Is (-85)/(-2) - 2/q a multiple of 21?
True
Suppose 0 = -d + 5*r + 29, -3 = -d - r - 4. Suppose -84 = -d*u + 2*u. Is 21 a factor of u?
True
Let y = 12 - 7. Suppose 4*i = -5*d - i + 185, y*d = 4*i + 158. Is 22 a factor of d?
False
Let j(o) = -9*o - 2. Let q be j(-1). Suppose -2*r - 355 = -q*r. Is r a multiple of 15?
False
Let w(z) = z**3 + z**2 - z + 24. Is 5 a factor of w(0)?
False
Let m(j) = 9*j - 3. Let w be m(3). Let u be -3*-4*3/9. Suppose -r + u*r = w. Does 8 divide r?
True
Let f = -5 + 6. Suppose -s = -a - 9 - f, -5*s - a = -26. Does 3 divide s?
True
Let l(y) = -y. Let h be l(-2). Is h + -22*2/(-4) a multiple of 5?
False
Let n(h) = 2*h**2 - 3*h - 8. Is 4 a factor of n(-2)?
False
Let l(o) = o**2 - 4*o + 4. Let f be l(4). Let m be ((-25)/2)/(11/(-22)). Suppose -f*y = -4*c - 164, 4*c = -2*y - m + 107. Is 14 a factor of y?
False
Let i = 14 - 10. Suppose i*k - 5*h + 2*h = 276, 4*k + 5*h - 244 = 0. Let c = k - 37. Does 18 divide c?
False
Let a(o) = 9*o - 4. Let h(x) = -9*x + 4. Let f(t) = -3*a(t) - 4*h(t). Is 13 a factor of f(2)?
False
Suppose -45*v + 120 = -43*v. Does 15 divide v?
True
Let p(n) be the first derivative of n**3/3 + 3*n**2/2 + 7*n 