rd derivative of o**6/120 - o**5/20 - o**4/12 - o**3/6 + o**2. Does 14 divide m(l)?
False
Is (-3)/6*48*-1 a multiple of 17?
False
Let q = 16 + -13. Suppose -7*w + q*w = -44. Is w a multiple of 6?
False
Let r(m) = 2*m**2 + 2*m - 1. Let a be r(1). Is ((-9)/6)/(a/(-14)) a multiple of 3?
False
Let q(k) = k + 2. Let x be 0/(-3 + 1 + 1). Let c be (x + 1)*(5 + 0). Is q(c) a multiple of 6?
False
Let o = 59 - 0. Does 25 divide o?
False
Let j(m) = 3*m - 5. Is 2 a factor of j(3)?
True
Let u = -50 + 104. Is u a multiple of 18?
True
Let o be (-1)/((-2)/8) - 55. Let c = o - -87. Does 6 divide c?
True
Let d be (-27)/(-4) - (-3)/12. Suppose k = 3*i - d, -2*i = -k + 2*i - 10. Is 4/(k/16*2) a multiple of 8?
True
Suppose 31 = 5*i - 24. Does 3 divide i?
False
Let v(l) = 1 - 4*l + 3*l + 9. Suppose -5*d + 0*d = -30. Does 2 divide v(d)?
True
Is 6*35/3 - (-2)/(-1) a multiple of 34?
True
Let q be (7/(-2))/((-1)/6). Suppose -1 + q = 5*r. Suppose 2*v = -5*s + r + 10, -5*s = 3*v - 16. Is v a multiple of 2?
True
Let f(h) = h**3 + h**2 - 1. Let d(y) = 7*y - 7 + 3 - 5*y**2 + 10*y**2 - y**3. Let u(x) = -d(x) - 2*f(x). Is u(-6) a multiple of 12?
True
Let l(q) = -6*q**2 - 7 - q**3 + 11*q - 9*q + 14*q**2. Is l(8) a multiple of 9?
True
Suppose 2*u - 7*u = 0, -5*u = -3*t + 21. Let s(l) = 21*l - 4. Let o(z) = -7*z + 1. Let j(k) = t*o(k) + 2*s(k). Is 10 a factor of j(-3)?
True
Let x(n) = n**2 - n - 4. Suppose 20 = -4*b - 0*b. Is 13 a factor of x(b)?
True
Let x be (-23)/(-5) + (-4)/(-10). Suppose 0 = -5*u + x*a + 20, 2*u = -5*a + 3 - 9. Suppose 2*s - 48 = -5*h, -u*s - 3*s = -3*h - 151. Is s a multiple of 14?
False
Is 3 a factor of (1 - 0) + (-49)/(-7)?
False
Is 12 a factor of ((16/(-5))/8)/(1/(-280))?
False
Let c be 3/(-15) - 209/5. Let i = c - -63. Is i a multiple of 6?
False
Suppose 0*u + 72 = 2*u. Is ((-3)/4)/((-3)/u) a multiple of 2?
False
Let v(o) = 2*o**2 - 3*o + 2. Let q be v(2). Let b be (2 + -4)/((-1)/1). Suppose q*n + t - 82 = 2*t, -5*n = -b*t - 104. Is n a multiple of 10?
True
Let q be (-3 - -3)/(-2 + 3). Suppose -4*v + 25 + 23 = -2*u, q = 5*v - 3*u - 62. Does 10 divide v?
True
Let l(o) = o**2 + 10*o - 14. Does 5 divide l(-14)?
False
Let v(r) = r**2 + 11 - 9 - 3. Let o be v(-1). Suppose 108 = 3*n - o*n. Is n a multiple of 12?
True
Let b(z) = z**3 + 9*z**2 + 7*z - 6. Let v be b(-8). Let x = 3 + -3. Suppose x = a + v*a - 66. Is a a multiple of 22?
True
Suppose -2*p - 3*p + 30 = 0. Suppose -5*y = 5*w - p*w - 105, 0 = 5*y - 4*w - 105. Does 20 divide y?
False
Let r = -5 - -11. Suppose 4*f = r*f - 6. Is 9 a factor of f*-2*52/(-12)?
False
Suppose -3*y - 3*o = 6, 4*o = -2*y - y - 10. Suppose -3*s = -y*s + 9. Let m(b) = -b**3 - 8*b**2 + 7*b + 13. Is 12 a factor of m(s)?
False
Let f(q) = q**3 - 7*q**2 + 6*q - 7. Is f(7) a multiple of 6?
False
Suppose 3*z = 4*t - 31, -2*t + 30 = 3*t + 5*z. Let d(f) = 2*f. Does 6 divide d(t)?
False
Suppose 2*r - 190 - 10 = 0. Is r a multiple of 20?
True
Let k = -5 + 3. Let b = -4 + k. Let f(a) = -a**3 - 6*a**2 - 4*a - 2. Is 9 a factor of f(b)?
False
Suppose 0 = 6*s - 5*s - 2. Suppose -s*b - 3*y = -b - 15, 2*y = -5*b + 23. Is 2/b - 56/(-6) a multiple of 10?
True
Suppose -144 + 48 = -3*r. Does 4 divide r?
True
Suppose 2*n - 76 = 102. Suppose n = 4*v - 43. Is v a multiple of 11?
True
Let g(s) = s**3 + 11*s**2 - 6*s + 1. Let d be g(-11). Let y = d + 5. Does 24 divide y?
True
Suppose 2*c + 5*g - 8 = 0, 6*c = 2*c - 5*g + 16. Suppose p + 51 = -k + c*k, -2*p + 58 = 4*k. Is 8 a factor of k?
True
Let s(z) = -z - 2. Let j be s(-5). Let n(a) = a**2 - 3*a + 4. Let b be n(j). Suppose -b*d - 2 + 14 = 0. Is d a multiple of 2?
False
Suppose -4*m - 5*x = -678, -3*m - 4*x = 157 - 666. Is m a multiple of 23?
False
Suppose -2*a = -2*w - 160, 3*a - 174 = -3*w + 90. Is a a multiple of 12?
True
Let k = -15 + 33. Let b = -1 + -1. Is k - 0 - (-4)/b a multiple of 8?
True
Let z(c) = 2*c - 1. Let y be 1/2*0 - -6. Is z(y) a multiple of 11?
True
Let q(k) = -k**3 + 13*k**2 + k - 11. Let o be q(13). Suppose o*r = -r + 27. Is r a multiple of 3?
True
Let v be (2 - 5)/(0 + -1). Suppose -9 = -v*a + o - 4, 4*a - o - 6 = 0. Is 1/a*13/1 a multiple of 6?
False
Suppose -3*u - 115 = 2*u. Let z be (-4)/(-10) + u/(-5). Suppose 20 = 4*x - 5*r, -z*r = 4*x - 6*x. Does 6 divide x?
False
Suppose 2*k + 5*j = -2*k + 301, 3*k = -3*j + 225. Is k a multiple of 19?
False
Suppose 3*v - 4 = 14. Is 354/v - (-2 + 5) a multiple of 14?
True
Suppose 4*c = -4*r - 40, 2*c + 3*c + 43 = 2*r. Let h = c - -22. Suppose 43 = 4*x - h. Is x a multiple of 7?
True
Suppose 37 = -2*c + 2*b + 93, 3*b = -15. Does 14 divide c?
False
Let p = -214 - -321. Let x = -36 + 44. Suppose -5*d = -p - x. Is 14 a factor of d?
False
Let t = 1631 + -951. Is (-6)/(-27) + t/18 a multiple of 12?
False
Let w be 0 + -1 - (-88 - 0). Suppose -4*v + w = -5. Does 11 divide v?
False
Suppose 0 = -4*y + 5*p + 120, 60 = 2*y - 5*p + 2*p. Is y a multiple of 17?
False
Let u be 2/(-3) - 8/(-3). Suppose -u*r + 8 = -r. Is 4 a factor of r?
True
Let w(z) = 97*z**2 - 1. Is w(1) a multiple of 12?
True
Suppose -15*y - 12 = -14*y. Is 3 a factor of 145/20 - 9/y?
False
Let l(i) = i**2 - 6*i + 26. Does 5 divide l(-9)?
False
Suppose 5*w - 28 = -4*a, -a = w - 3 - 3. Let q be -1 + -1 + a + 1. Suppose 3*g = q + 23. Is 8 a factor of g?
True
Let p(z) = z**3 + z + 1. Let i be p(0). Let y be (-56)/2*i/(-2). Suppose 3*u + 4*c - 88 = -u, y = u + 5*c. Is u a multiple of 18?
False
Let a(x) = -6*x - 2. Does 17 divide a(-6)?
True
Let r = 6 - 2. Suppose -r*b - 3 = -2*b - 3*l, 5*l - 3 = 4*b. Suppose 2*y + b*y - 95 = 0. Does 9 divide y?
False
Let l(b) = 36*b - 1. Let j = -1 - 2. Let z(f) = -f**3 - 2*f**2 + 3*f + 1. Let n be z(j). Is l(n) a multiple of 15?
False
Let q(j) = 6*j**2 - 5*j. Let z = -7 + 12. Let v be q(z). Suppose l = -4*l + v. Is 9 a factor of l?
False
Let w = -49 - -92. Is w a multiple of 11?
False
Suppose 0 = 2*i - 64 - 192. Is 8 a factor of i?
True
Suppose 3*c - l = 74 + 161, -5*l - 20 = 0. Suppose -338 = -3*w - c. Is 29 a factor of w?
True
Suppose -7*h + 2*h - 4*k - 30 = 0, 13 = h - 3*k. Let p be ((-2)/1)/(-1) - h. Suppose -l - p*r + 20 = 0, -6 + 24 = l + 2*r. Does 10 divide l?
False
Suppose 32 = 5*j - j. Suppose 0 = -v + 4*z + j - 2, 4*z + 8 = 2*v. Is (-1)/((v + 1)/(-33)) a multiple of 11?
True
Does 4 divide 6 + 39 + 4/(-1)?
False
Let x = -122 - -321. Is 12 a factor of x?
False
Let v(r) = r**2 - 10*r + 34. Is v(14) a multiple of 18?
True
Suppose p + 5 = 4*g, p - 3*g + 4*g = 5. Suppose 0 = p*w, -w = -5*n - 0*w + 90. Does 11 divide n?
False
Let k be 8*((-16)/4 - -6). Let s = k + 13. Is 12 a factor of s?
False
Suppose -3*v - 6 = 5*u, 0*u + 2*v = u - 4. Suppose u*j + 3*j = 534. Suppose -5*w - 2*m + 166 = 0, w - 4*m = -4*w + j. Does 19 divide w?
False
Let m = -160 - -312. Is 17 a factor of m?
False
Let p(o) = 2*o**3 - 9*o**2 - 4*o. Let a(x) = x**3 - 4*x**2 - 2*x. Let b(s) = 5*a(s) - 2*p(s). Let n be b(4). Suppose 2*q + q = n. Is 8 a factor of q?
True
Suppose 5*w - 116 - 34 = 0. Does 10 divide w?
True
Let l(c) be the third derivative of c**5/12 - c**4/6 + 2*c**2. Is 11 a factor of l(3)?
True
Let h(s) = -1. Let x(o) = o**2 + 5*o - 5. Let d(k) = 6*h(k) - x(k). Let t be d(-4). Suppose a = 5*j - 55, 2*j - t*a - 21 = -j. Is j a multiple of 12?
True
Let t = -135 + 290. Does 4 divide t?
False
Suppose 0 = -w - 0*w + 4*r + 5, -w - 3*r = -5. Suppose -d - 3*d - w*n - 24 = 0, 5*d = -n - 30. Is (-80)/d - (-4)/6 a multiple of 12?
False
Let g(m) = 17*m**3 + 2*m - 2. Let u be g(2). Suppose -j = 2*j - u. Is 16 a factor of j?
False
Let y(b) = -3*b**3 - 2*b**2 - 2*b + 3. Let l(o) = 14*o**3 + 11*o**2 + 11*o - 16. Let r(t) = -2*l(t) - 11*y(t). Does 2 divide r(1)?
True
Is 23 a factor of (1/2)/((-7)/(-322))?
True
Suppose -5*k - 180 = -860. Is k a multiple of 6?
False
Let v(a) = a**3 - 4*a**2 + 4*a - 1. Let m be v(3). Suppose -5*n = -m*k - 20, -k - 1 + 5 = n. Does 14 divide 22 + k + 6/6?
False
Suppose -2*a - f + 14 = 3*a, -a - 2 = -f. Suppose 0 = -a*c - m + 70, 179 = 4*c - m + 33. Suppose 0*i - 3*i + 3*n = -c, 0 = -3*i + 5*n + 44. Does 4 divide i?
True
Suppose 25 = t + 6. Suppose 0 = 5*n - 2*g - t, 4*g + g = -4*n + 2. Is 6/(-3) + n - -35 a multiple of 18?
True
Let x(r) = 13*r - 6. Suppose 3*b - 12 = 0, -5*i = -0*b + 4*b - 6. Let j be (3 + 2/i)*2. Is x(j) a multiple of 23?
True
Let i be 0/(-1 + 