. Is m a multiple of 8?
True
Let c(v) = -v**2 - v + 5. Suppose y + h - 5 = 0, -1 = 4*y + h - 6. Let m be c(y). Suppose g + m*l = -11 + 4, -4*g + 4*l = -44. Does 8 divide g?
True
Suppose a + k = 296, 1899 = 5*a - 5*k + 469. Let w = a - 208. Does 15 divide w?
False
Suppose -30 = -3*v + 5*v. Let x be (39/v - 1)*-5. Suppose 0 = -23*h + x*h + 20. Is h a multiple of 2?
True
Let i = 3353 + -1766. Does 35 divide i?
False
Let t = -14 + 16. Let v(q) = 2*q - 1. Let x be v(t). Suppose 0 = 2*r + x*r + 3*n - 357, 5*r - 5*n - 365 = 0. Is r a multiple of 18?
True
Let w(b) = -b**3 + 6*b + 5. Let z be 2*(-5)/(10/3). Does 5 divide w(z)?
False
Let q be (-1)/(2 + ((-88)/89 - 1)). Let a = q + 158. Is 23 a factor of a?
True
Suppose 6*q = 497 + 1915. Does 39 divide q?
False
Is 15 a factor of 84/28*4/(-3) - -604?
True
Let w(n) be the third derivative of 1/15*n**5 + 0 + 1/8*n**4 - 1/2*n**3 - 1/120*n**6 + 0*n + 6*n**2. Is 17 a factor of w(-3)?
True
Let s = 190 - 154. Is s a multiple of 24?
False
Let x(h) = -2*h**2 + 13*h + 2. Let v(r) = -r**2 + 14*r + 3. Let b(d) = 5*v(d) - 6*x(d). Is 20 a factor of b(5)?
False
Let m(d) = 2*d**2 + 24*d**3 - 4*d**2 + d**2 - 8*d + 1 + 7*d. Is m(1) a multiple of 15?
False
Is (276/(-5))/(-2 + 84/45) a multiple of 8?
False
Let w(o) = -15*o**3 + 2*o**2 + 2*o + 3. Let g be w(-3). Suppose 0 = -7*d + 2*d + g. Does 7 divide d?
True
Suppose 3*d + 0*b = 5*b + 50, -4*b = 2*d - 26. Is 27 a factor of (-5)/d*243/(-3)?
True
Let l(t) = 1 - 6*t + 2*t - 7*t + t + t**2. Let q be l(-7). Suppose -q = -4*g - g. Is g a multiple of 12?
True
Suppose -39*c + 37*c + 162 = 0. Does 4 divide -2 - (c/18)/((-2)/4)?
False
Let k be -6*(-1)/3 - 0. Does 3 divide (k/(-3))/((-8)/36)?
True
Suppose 5*k = 4*n + 338, 3*k = -2*n + 297 - 81. Suppose 20*z - 21*z = -k. Is 14 a factor of z?
True
Suppose -4*u + 5*l = 45 + 49, -3*u + l - 76 = 0. Let h = 67 + u. Is 10 a factor of h?
False
Let x be (-2 + 5/(15/9))*193. Suppose -2*a + x = -143. Is 43 a factor of a?
False
Let x = -31 - -35. Suppose 3*j + 0*r - 51 = 2*r, -5*j + 83 = -x*r. Does 6 divide j?
False
Is (5 - (-12089)/(-55))*-5 a multiple of 26?
False
Suppose 0 = -2*b, s - 115 = -4*s + b. Suppose -l + 81 - s = 0. Suppose 3*a - l - 37 = -2*i, 3*i = -2*a + 60. Does 5 divide a?
False
Let s = 1 - 4. Let h(g) = 52*g - 5. Let i(n) = 17*n - 2. Let f(r) = 2*h(r) - 7*i(r). Is f(s) a multiple of 14?
False
Suppose 842 = 4*k - 802. Is k a multiple of 32?
False
Let t = -34 + 36. Let o(n) = 2*n + 28. Let f(c) = c + 29. Let i(m) = t*f(m) - 3*o(m). Is i(-14) a multiple of 10?
True
Let q = -1278 - -1828. Is 53 a factor of q?
False
Suppose -t - 6 = -v, -3*v - 2*t = 2*v - 58. Suppose -48*k + 46*k + 2*f = 160, 0 = 5*k + 3*f + 376. Is (v - 2)*k/(-28) a multiple of 12?
False
Let p(q) = 2*q + 11. Let x be p(8). Let m(l) = 37*l - x*l + 3 + 7. Is m(5) a multiple of 20?
True
Let w be (156/42)/((-4)/(-14)). Suppose 0 = 14*x - w*x - 204. Is x a multiple of 17?
True
Let g = -19 - -143. Does 3 divide g?
False
Let o = -28 + -2. Is (5 + -10)*(o - -1) a multiple of 7?
False
Is 2/(-17) - (-2744098)/1666 a multiple of 45?
False
Suppose 10 - 12 = -a. Let l(i) = 8 + 0 + 19 + i + a. Is 13 a factor of l(-16)?
True
Is 28 a factor of 2/(-16)*-673 + (-7)/56?
True
Let m(r) = 8*r**2 - 14*r + 66. Is 56 a factor of m(-9)?
True
Let s(a) = 5*a**2 - 4*a - 5. Let j be s(4). Suppose m + 6*p = p - 19, 5*m + 7 = -3*p. Does 14 divide (6 - j)/(m/(-2))?
False
Let y(b) = 1 + 39*b**2 - 21 + 48*b**2 - 86*b**2. Does 16 divide y(6)?
True
Let k(d) be the first derivative of -d**4/4 + 5*d**3/3 - 2*d**2 + 5*d + 11. Does 5 divide k(4)?
True
Let j(q) = 2*q**3 + 3*q**2 + 6*q + 4. Let t(u) = -u**3 - 1. Let y(o) = -j(o) - 4*t(o). Let d(i) be the second derivative of y(i). Is 7 a factor of d(4)?
True
Suppose -1274 = 8*u - 6314. Is u a multiple of 21?
True
Let o(z) = -z**2 - 6*z - 7. Let j be o(-3). Suppose -3*w = -j*w. Suppose r - 5*l - 60 = w, -3*l - l - 58 = -r. Does 10 divide r?
True
Suppose -6 = 2*z, 17*p - 15*p + 4*z = 1500. Is 14 a factor of p?
True
Let i(n) = -10*n - 562. Does 14 divide i(-66)?
True
Suppose 0 = 5*i - 2*a - 990, 5*i + 2*a - 3*a - 995 = 0. Suppose 0 = -o - 3*q + 58, -4*o + 4*q + i = -0*o. Is 11 a factor of o?
False
Suppose 8*q - 3*q = 5*o - 35, -o + 5*q - 9 = 0. Suppose 0 = o*c - 2317 - 1423. Is c a multiple of 34?
True
Let p(n) = -8*n**3 - 5*n**2 + 3*n - 4. Let i be p(3). Let c be (24/(-3))/((-2)/i). Is c/(-20) - (-2)/(-10) a multiple of 16?
False
Let o = 106 + -77. Suppose -32*c + 84 = -o*c. Is c a multiple of 28?
True
Suppose -3*w - 8 = -w. Let j(n) = -n**3 - 4*n**2 - 2*n - 1. Let q be j(w). Suppose 3*i = q*i - 72. Is i a multiple of 9?
True
Let k(m) = m**2 + 3*m + 2. Let b be k(-3). Suppose b*x = -10, 5*o = 2*x - x - 30. Let n(s) = -s**2 - 13*s. Is n(o) a multiple of 21?
True
Suppose 2*w + 9 = w. Let l(n) = -3*n**3 + 10*n**2 + 10*n - 10. Let q(x) = -2*x**3 + x + 1. Let i(o) = -l(o) + 2*q(o). Is i(w) a multiple of 3?
True
Let l = 574 + 2013. Is 53 a factor of l?
False
Let u(j) = 6*j**3 - j**2 - j. Let o be 2/((-3 + -1)/(-4)). Is 42 a factor of u(o)?
True
Suppose 3*i = m + 7*i - 24, 5 = 5*i. Suppose -15*z - 110 = -m*z. Does 6 divide z?
False
Suppose 4*w + 12 = -2*o, -2*w = 2*o - 6*w - 28. Suppose 2*f + c = 3*f + 10, 5*f - o*c = -47. Is (-3 - f)/(-2) - -26 a multiple of 12?
True
Suppose -5*z = p - 15, -2*z - p + 1 = -5. Suppose t = -z*t + 64. Is 8 a factor of t?
True
Let d = 51 - 74. Let x = d - -156. Does 17 divide x?
False
Let a(j) = j**3 + j**2 + j + 2. Let r be a(0). Suppose 64 + 86 = r*k. Suppose -3*s + 246 = -k. Does 29 divide s?
False
Let v(n) = n**2 + 6*n + 9. Let h be v(-3). Suppose 2*q - 2*j = -h*q + 40, -3*q = -2*j - 59. Does 5 divide q?
False
Let f = -77 - -124. Let u = 25 + f. Is u a multiple of 18?
True
Let s be (-5)/2*(-2 + (-24)/30). Is (20/5)/4 - s*-6 a multiple of 4?
False
Suppose 9*f - 30 - 69 = 0. Suppose -f*l + 7*l + 276 = 0. Is 26 a factor of l?
False
Let v(a) be the first derivative of -a**4/4 + 8*a**3/3 - a**2 + 5*a - 15. Is 18 a factor of v(4)?
False
Let g be (-4)/(-4) - -17*1. Let l(w) = -w + 47. Does 16 divide l(g)?
False
Let f(w) = -7*w**2 + 4*w - w**2 + 3 - 10*w - w**3. Let z be f(-7). Let a(u) = -7*u - 6. Is a(z) a multiple of 6?
False
Let l = -99 + 66. Let s = l + 71. Does 19 divide s?
True
Is 136460/55 + (-3)/33 a multiple of 18?
False
Let d(b) = -4*b + 10. Let j be -4*(-2 + 20/(-4)). Let i = 17 - j. Does 18 divide d(i)?
True
Let n = -418 - -628. Is n a multiple of 7?
True
Suppose 5*j - 5*k = -18 - 2, 3*k - 4 = -j. Let o(h) = 2*h**2 + 3*h. Let i be o(j). Suppose -i*a = 3*a - 90. Does 9 divide a?
True
Let q(a) = 143*a - 11. Is q(4) a multiple of 51?
True
Let x = 1110 - 715. Does 14 divide x?
False
Suppose 0 = -5*c + 3*o + 2192, 20*c - 2191 = 15*c + 4*o. Is c a multiple of 14?
False
Let t = 388 + -203. Suppose 3*j - x = 173, -5*x - 64 = -4*j + t. Is 19 a factor of j?
False
Let t(a) = -5*a**2 - 13*a + 0*a**2 + 3*a + 4*a**2 + 15. Is 8 a factor of t(-9)?
True
Let m(c) = -2*c**2 + 5*c - 10. Let q be m(-6). Let d = q + 46. Let i = -18 - d. Is 12 a factor of i?
True
Let c = -81 + 160. Suppose 3*d = c + 11. Suppose -k = -4*k + d. Is 5 a factor of k?
True
Let x(j) = 53*j**2 + 1. Let t be x(1). Suppose 4*d - t = 78. Is 4 a factor of d?
False
Let w(u) = u**3 - 4*u**2 - 15. Suppose 5*x = 6*g - 4*g - 34, -2*x = 8. Does 11 divide w(g)?
True
Let t = 986 + 715. Is 33 a factor of t?
False
Is 2080/8 + 12/(-4) a multiple of 15?
False
Suppose -16 = 3*k - 40. Suppose -k = a + a. Does 5 divide 15*(2 + (-5 - a))?
True
Suppose 40*q = 34*q + 7116. Is 12 a factor of q?
False
Let u(b) = -b**2 - 7*b + 1. Let d be u(-6). Let p(f) = -5*f**3 - 4*f**2 + 4*f**3 - 3*f - 6 + d*f. Does 21 divide p(-6)?
True
Suppose -49*a + 1857 = -397. Is a a multiple of 3?
False
Suppose -2*l = -5*h - 983, -4*l + 10*h + 1996 = 6*h. Does 56 divide l?
True
Let w(o) = 2*o**2 - 19*o - 5. Let j = -32 + 45. Let m be w(j). Let c = 143 - m. Is c a multiple of 19?
True
Let d(l) = -l + 50. Let a be d(14). Let b = 91 - a. Is 17 a factor of b?
False
Let d be (3/1)/((-39)/(-30) - 1). Suppose 2*q + d = 0, -4*q = 4*f - 5*q - 77. Is 7 a factor of f?
False
Let b be 1/((-2)/(-8)) + 2. Let d(n) = n**2 - 5*n + 1. Let w be d(b). Suppose 0 = p - 4, w*o - 3*o = -3*p + 100. Is o a multiple of 11?
True
Let h(o) = -o**3