5)). Let d(m) = -3*m + 1. Let c(k) = q*d(k) - 4*b(k). Is c(-5) a multiple of 6?
False
Suppose -4*b + 183 = -213. Does 5 divide b?
False
Suppose 3*o = 3*j + 276, 2*j = -3*o - 0*o + 276. Suppose 2*p + o = c - 2*p, 4*c + 4*p - 268 = 0. Let m = -26 + c. Does 23 divide m?
True
Let h be (2 - 0) + -3*2. Is (2/h)/(6/(-216)) a multiple of 18?
True
Is 19 a factor of (-12)/8 - 310/(-4)?
True
Let p be -2 + 0 + 0/(-2). Let t(d) = 10*d**2 + d - 2. Does 9 divide t(p)?
True
Let a = 808 + -567. Does 11 divide a?
False
Suppose 0 = -3*f - 2*v - 17, -3*f - 2*f - 3 = -3*v. Let i be f - (-3)/3*-7. Is 10 a factor of i/(-15) - (-58)/3?
True
Let k = -1 + 2. Does 12 divide -1 + (-2 - -27*k)?
True
Is 25 a factor of 15/4*(-280)/(-21)?
True
Is (42/35)/((-1)/(-100)) a multiple of 30?
True
Let s(h) = -h**3 + 3*h**2 + 2*h + 1. Let r = 6 - 4. Is s(r) a multiple of 4?
False
Suppose -64 = -d - 3*x, 4*d - 88 = 3*x + 123. Does 16 divide d?
False
Let j = -47 - -81. Is j a multiple of 17?
True
Let r(d) = 2*d - 8. Let p(h) = -h + 6. Let v be p(0). Is r(v) a multiple of 4?
True
Let b = 34 + -24. Does 10 divide b?
True
Let v be (0/(-2))/(1 + 0). Suppose -f + 5 = 4*b, v = 4*b - b + f - 5. Suppose 3*n - 4*n = -3*q + 22, 3*n - 6 = b. Is q a multiple of 8?
True
Let s(a) = a**3 - 6*a**2 - 8*a - 9. Is 11 a factor of s(8)?
True
Let a(p) = 67*p**2 + 6*p - 1. Does 15 divide a(-2)?
True
Suppose -l = -2*m - 31 + 6, 5*m - 65 = -5*l. Let h = l + -10. Is h a multiple of 2?
False
Suppose -5*h + 2*i = 29, 2*h + 1 + 7 = 2*i. Let k = 1 - h. Is 8 a factor of k?
True
Let f = -10 - -14. Suppose -3*x + 5*x - f = 0. Is 18 a factor of 0/(-2) + 39 + x?
False
Let n = -118 + 130. Is n a multiple of 12?
True
Suppose -2*f + 3 - 7 = 0. Let z be -4*(f + 26/8). Let d(w) = -6*w - 6. Is d(z) a multiple of 8?
True
Let s be -4*(130/8)/5. Let t = -9 - s. Suppose 2*v - 15 = -3*v, -4*v - 16 = -t*n. Does 2 divide n?
False
Suppose 3*m + 5*j + 130 = 0, j - 4*j + 125 = -4*m. Let k be (-236)/(-3) + (-2)/3. Let x = m + k. Is x a multiple of 16?
False
Suppose -2*l + 4*l + 3*d - 132 = 0, -l = -d - 61. Is 7 a factor of l?
True
Let a be 5 - (6/2 - 3). Suppose 4*d + m + 4 = 0, -a*d - 8 - 12 = 5*m. Suppose d*g - 4*g = -148. Is 15 a factor of g?
False
Let f(q) = -q**3 - 8*q**2 - q - 5. Is f(-8) a multiple of 3?
True
Let i(n) = 7*n. Let k be i(-2). Let f be (-94)/k + 2/7. Let y = 33 - f. Is 13 a factor of y?
True
Let b(f) = 8*f + 33. Is 11 a factor of b(0)?
True
Suppose -4*x + 2*c + 562 = 0, 3*c + 0*c - 3 = 0. Does 9 divide x?
False
Suppose -l + 28 = 3*g - 0*l, -3*g + l + 26 = 0. Is (40/3)/(g/27) a multiple of 12?
False
Suppose -f + 387 = 4*m, -4*m + 4*f + f = -369. Suppose d = 5*d - 4*z - m, -3*z - 93 = -4*d. Is d a multiple of 11?
False
Let k = 77 + -56. Is 7 a factor of k?
True
Suppose p - 6 = 2. Does 10 divide (-1)/4 - (-162)/p?
True
Let d(c) = c**2 + 4*c + 19. Let l be d(-7). Suppose -4*q + l = -120. Is 20 a factor of q?
True
Let z = -32 + 92. Is z a multiple of 16?
False
Let c(o) = o**3 - 4*o**2 + 2*o - 6. Let w be c(4). Suppose 0*f - 8 = -w*f. Is 3 a factor of f?
False
Let d = 213 - 103. Does 52 divide d?
False
Let a(g) = g - 40. Let n be a(0). Let c(i) = 2*i**2 - 5*i + 3. Let h be c(7). Let z = h + n. Is z a multiple of 12?
False
Let k(x) = 3*x + 1. Let m(r) = 13*r + 4. Let g(z) = 9*k(z) - 2*m(z). Let d be g(-1). Suppose 0*v - 5*q = -v + 10, 5*q - 10 = d. Is 14 a factor of v?
False
Let s(k) = -35*k**2 - 1. Let c be s(-1). Does 12 divide 4/3*c/(-2)?
True
Let v be 49/14 + (-2)/4. Suppose 2*o = -4*s - 82, v*s + 7 = -4*o - 52. Let t = 50 + s. Does 6 divide t?
False
Suppose 20 = -5*w - 0*w, -4*p + 320 = 5*w. Does 9 divide p?
False
Does 18 divide -3 + (21 - (-2 + 2))?
True
Let p be ((-2)/(-6))/(5/(-75)). Let j be (p/10)/(1/(-4)). Suppose 3*k + j*n = 86, 4*k + n = -n + 114. Is k a multiple of 10?
False
Does 11 divide (-3)/12 - (-3573)/36?
True
Is 22 a factor of (-3 - -135)/((-6)/(-4))?
True
Is (-40)/(-60)*33*1 a multiple of 11?
True
Let h = -4 - -6. Suppose -p - 18 = -m, h*m - 2*p = 3*p + 42. Is m a multiple of 8?
True
Suppose -120 = -93*c + 88*c. Is 12 a factor of c?
True
Let q be (2/3)/((-2)/(-3)). Let x be (-1)/((-2)/4*q). Suppose 5*c - x = 43. Is c a multiple of 9?
True
Let l(h) = 13*h**2 + h. Let x be l(1). Let u = x + 75. Does 23 divide u?
False
Let d be -1 - (0 - -6)/(-2). Does 2 divide d/4 - (-39)/6?
False
Let l = 0 + -3. Let p be 68 - l/(3/(-2)). Suppose 0*s + p = 3*s. Is s a multiple of 11?
True
Let h(u) be the third derivative of u**6/120 + u**5/5 + 7*u**4/12 - 5*u**3/3 - 2*u**2. Is 20 a factor of h(-10)?
False
Does 11 divide -2 + 43 + (-6)/(-3) + 1?
True
Let o = -18 - -11. Let a(d) = -5*d + 9. Is 11 a factor of a(o)?
True
Suppose 2*i = -2*i + 360. Suppose 3*n = -4*c + 90, -n + 4*n - i = -3*c. Is n a multiple of 10?
True
Suppose 13*b - 9*b - 20 = 0. Suppose -b*v + 69 = 9. Is v a multiple of 4?
True
Let l(p) = -p**3 + p + 1. Let m be l(0). Let a = m - 3. Let o = 10 + a. Is 6 a factor of o?
False
Let f(w) = -w**3 + 11*w**2 + 10*w + 22. Is 9 a factor of f(11)?
False
Let m(o) = -2*o**3 - o**2 + o + 5. Is m(-2) a multiple of 3?
True
Let d(n) = -8*n - 10. Let r be d(-10). Let q = 104 - r. Is 17 a factor of q?
True
Suppose 0 = -5*l - m + 90, 0 = -4*l + 5*m - 8 + 51. Let c be l - (-1)/((-2)/4). Let h = c + -3. Does 7 divide h?
False
Suppose -495 = -3*m - 2*m. Is 11 a factor of m?
True
Let m = 0 + 5. Let r(g) = 2 - m*g - 4 - 5. Does 13 divide r(-8)?
False
Let j(x) = x**3 - 2*x**2 - x + 2. Let h be j(2). Suppose 4*l + h*l = 72. Is 9 a factor of l?
True
Suppose 2*a + 115 = 3*z, -7*z + 45 = -6*z + a. Is z a multiple of 23?
False
Let u(w) be the second derivative of -7*w**3/6 - 3*w**2 + w. Suppose 0 = -4*d - 8, -3*c + 2*d + 8 - 22 = 0. Is u(c) a multiple of 18?
True
Suppose o + 208 = 2*l, 0 = -3*o + o. Is 9 a factor of l?
False
Let y(r) = r + 2. Suppose -o = 1, 0 = 2*w + 3*o + 3 + 6. Let u be y(w). Is (-47)/(-2 + 0 - u) a multiple of 16?
False
Suppose 4*j - 4*y - 4 = 0, -5*j + y + 13 = -0*y. Suppose 2*a = 5*h - h - 26, j*h = a + 21. Is 4 a factor of h?
True
Let u(h) = -h + 1. Let g(m) = 4*m - 2. Let b(v) = -4*g(v) - 11*u(v). Let r be -4 + 2/(1 + 1). Is 9 a factor of b(r)?
False
Let s(h) = -h**3 + h - 1. Let m be s(1). Let k = m + 6. Is k a multiple of 3?
False
Let p be (-60)/(-18) - 2/6. Let o be -1 + 0 + -2 + p. Suppose o*a = 4*a - 156. Is 13 a factor of a?
True
Is (676/5 - 4) + (-1)/5 a multiple of 18?
False
Let s = 8 + -3. Suppose s = -k + 2, 4*k = y. Let c = y + 36. Is c a multiple of 12?
True
Suppose -2*t + 23 + 41 = 0. Let l = t + -17. Is l a multiple of 7?
False
Let g be (4/6)/(1/(-9)). Let d = g - -25. Does 19 divide d?
True
Suppose n = -y - 13 + 83, -4*n + 284 = 3*y. Is 23 a factor of n?
False
Let u(a) = -a**3 + 6*a**2 - 3*a + 5. Suppose -11 = -2*g - 3. Is u(g) a multiple of 16?
False
Let i(c) = 4*c**3 + c**2 - c + 1. Let f be i(1). Suppose -2*a + p = f*p - 54, -49 = -3*a + 2*p. Is 19 a factor of a?
True
Let a = -11 + 21. Does 6 divide a?
False
Does 17 divide (-14)/21 - (-304)/6?
False
Let n(y) = -y**2 - 4*y + 2. Suppose 4*f + 21 = 5. Let b be n(f). Suppose -4*a + 82 = b*c, 0*a + 5*a = -5*c + 95. Does 8 divide a?
False
Does 6 divide (24/30)/((-2)/(-15))?
True
Let y = 12 - 8. Suppose -y*a + 48 = -3*a. Is a a multiple of 23?
False
Let r(y) be the first derivative of -y**4/4 - 5*y**3/3 - 7*y**2/2 + y - 6. Is 9 a factor of r(-5)?
True
Let c(m) = m**2 + 7*m + 2. Let v be 0 + 6*4/(-3). Is c(v) a multiple of 4?
False
Let v(b) = -b**3 - 3*b**2 - 5*b - 4. Let w be v(-3). Is (w/2)/((-1)/(-14)) a multiple of 13?
False
Let j = 92 - 77. Is 7 a factor of j?
False
Let p be -2 + 2 + -1 + 5. Suppose 2*b + 1 = s - 13, -31 = -p*s + 3*b. Is 3 a factor of s?
False
Suppose n = -5*v + 208, -2*n + v + 371 = 2*v. Does 17 divide n?
False
Let k(m) = 4*m - 2. Let u(c) = 8*c - 4. Let a(b) = -11*k(b) + 6*u(b). Does 9 divide a(5)?
True
Suppose -2*i - 380 = -3*o, -4*o + 2*i + 252 = -2*o. Is 6 a factor of o?
False
Let k(f) = -f**3 - 7*f**2 - 4*f + 14. Let p be k(-6). Let n be 3 + -2 - (-12)/2. Suppose 0 = -p*i + n*i - 115. Does 23 divide i?
True
Is 3 a factor of (-2)/7 - 240/(-56)?
False
Suppose p - 8 = -5. Suppose 0 = -5*y + 3*g + 29 + 74, -3*g - p = 0. Is 18 a factor of y?
False
Suppose -2*c = -8, -3*c = -h + c - 12. Suppose 0 = h*m - 2*m - 4*o - 14, -4*