 - 20 + 7. Is q(0) a multiple of 8?
False
Suppose 7*c - 19*c - 13831 = -78091. Is 9 a factor of c?
True
Let h(c) = -c**2 - 4*c - 1. Let d be h(-3). Let a be 6/9*d*(-3)/(-2). Let y(m) = 3*m**3 + 6*m**2 - m - 3. Is 4 a factor of y(a)?
False
Let i(v) = 36*v + 17. Let k be i(3). Let x = k - 29. Is x a multiple of 3?
True
Let n(v) be the first derivative of 2*v**3/3 + 7*v**2/2 + 20*v - 10. Let m(a) = 3*a**2 + 10*a + 30. Let t(s) = -5*m(s) + 8*n(s). Does 8 divide t(-6)?
False
Suppose -s + 5*s + 2*r - 32260 = 0, 4*r + 24162 = 3*s. Is s a multiple of 14?
False
Suppose -516 = -13*a + 1174. Is 13 a factor of (-9)/(27/(-12)) + a?
False
Let j(p) = -p**2 + 36*p - 128. Let s be (30/(-9))/(-5) + (-182)/(-6). Is 9 a factor of j(s)?
True
Suppose -6884 + 188 = -18*t. Suppose 0 = -35*c + 36*c - t. Is 12 a factor of c?
True
Let l(s) = s**3 + 4 + 1 + 7*s**2 - 1. Suppose -8*y + 7 = 31. Does 8 divide l(y)?
True
Let k(s) = 4*s - 1. Let v be k(1). Suppose -2*g = 4*m - 20, 0 = 3*m - v*g - 15 - 0. Suppose 616 = 2*n + m*n. Does 22 divide n?
True
Let s(v) be the third derivative of v**5/60 + 25*v**3/6 - 6*v**2 + 82*v. Let d be 1/2*(0 - 0). Is s(d) a multiple of 4?
False
Let b(x) = -173*x**3 - 3*x**2 - 2*x. Let d be b(-1). Suppose -d = -2*w - 20. Is 5 a factor of w?
False
Let c be (2/4)/(5/(16 - -4)). Let y be (-13)/(-39) + ((-1516)/(-6) - c). Let w = y - 119. Is 12 a factor of w?
True
Let o be 26/1 + (-55)/11. Let z = 21 - o. Suppose 82*u - 84*u + 432 = z. Is u a multiple of 24?
True
Suppose 0 = 86*y - 140041 - 52255. Is 120 a factor of y?
False
Suppose 3*h + 5*g = 555, 5*h + 3*g = 7*g + 888. Does 7 divide (-2)/12*3*h/(-3)?
False
Is 5 a factor of 637851/39 + (-34)/1989*9?
True
Let b(c) = -76*c**3 + 31*c**2 + 8*c - 8. Is 40 a factor of b(-4)?
True
Let m = 4454 + -3956. Is 6 a factor of m?
True
Let m = 67071 + -2096. Does 112 divide m?
False
Suppose -3*z + 6*z = 12. Suppose -9*h = -22 + z. Is 90/(-4)*-3*h a multiple of 27?
True
Suppose 3*z - 3*u + 27 = 0, 0 = -3*z - 4*u - 4 - 37. Let i = -5 - z. Suppose -60 = -i*k + 228. Does 8 divide k?
True
Let g = -1871 - -2882. Does 14 divide g?
False
Let l = -40935 - -62177. Is 26 a factor of l?
True
Let v(l) = -3*l**3 + 26*l**2 + 15*l - 31. Let m be v(9). Suppose 18*y - m*y - 473 = -2*x, 3*y = x - 238. Is x a multiple of 16?
False
Suppose 5*o + 5*t - 4 = 1, 3*o - 24 = 4*t. Suppose -2*k = -2*c, -2*k + 2*c - o*c - 4 = 0. Is (2 + k)/((-408)/412 + 1) a multiple of 7?
False
Let u = 1268 + -1278. Let t(n) = -3*n**2 + 14*n + 21. Let s(v) = -4*v**2 + 15*v + 21. Let i(w) = -4*s(w) + 5*t(w). Does 7 divide i(u)?
True
Suppose 216 = -4*v + 3428. Let u = -545 + v. Is 21 a factor of u?
False
Suppose 99788 = -35*t + 61*t. Does 19 divide t?
True
Suppose 2*h = -2*h + 31896. Suppose -261*b + 255*b + h = 0. Is 74 a factor of b?
False
Suppose -278*m = -283*m + 2275. Let z = 95 + m. Is z a multiple of 11?
True
Let q be 11/(-9) + 1 - 21034/117. Let k = q + 550. Suppose k = 4*d + d. Is d a multiple of 7?
False
Let x(v) = 3*v**3 - 7*v**2 - v - 1. Let m be 4*(-1)/16 - 11/4. Let p be x(m). Let i = p + 238. Is i a multiple of 16?
True
Let b = 3137 + -234. Does 96 divide b?
False
Is ((-64)/10)/(102/(-158610)) a multiple of 8?
True
Let u be -5 + 3 + 98 + 8 + -3. Suppose -y + 214 + u = 0. Does 12 divide y?
False
Let w(i) = -28*i - 3. Suppose 0 = -7*j - 121 + 37. Let s be -6 + 7/((-21)/j). Is 19 a factor of w(s)?
False
Suppose -3*o = 5*m - 21510, 14*m - 19*m + 21475 = -4*o. Is m a multiple of 4?
False
Let x(r) = 3*r**2 + 35*r + 23. Does 21 divide x(-16)?
True
Suppose -18822 + 930 = -126*a. Is a a multiple of 10?
False
Let f = -183 + 187. Is ((-33)/(-9) - f - 0)*-84 a multiple of 20?
False
Let o(g) be the second derivative of 2*g**3/3 + 2*g**2 - 3*g. Let w be o(-1). Suppose -s - f + 68 + 74 = w, 4*s - f = 543. Does 11 divide s?
False
Let m(w) = 1617*w - 1125. Is 18 a factor of m(3)?
True
Suppose 0 = 5*b - 9*b + 20. Suppose 0 = 4*o + b*h + 53 - 853, 0 = 2*o - 5*h - 400. Is 20 a factor of o?
True
Let f(n) = 16*n**2 - 14 + 4 - 37263*n + 37262*n. Is 47 a factor of f(-2)?
False
Let v = 5005 + 2296. Does 7 divide v?
True
Suppose -3250 = -5*a + 50. Does 10 divide a?
True
Let h(f) = 54*f**3 + 3*f**2 - 18*f + 43. Is 11 a factor of h(3)?
True
Let u = 237 - 227. Suppose -u*p + 6*p = -1596. Does 51 divide p?
False
Does 14 divide (-1946315)/(-28) + (-658)/(-56) + -12?
False
Let u = -22 + 36. Let n(o) = -o**3 + 13*o**2 - 5*o - 8. Let x be n(u). Let w = -157 - x. Is 47 a factor of w?
False
Suppose -50*f - 30*f + 1114272 = 26*f. Is 41 a factor of f?
False
Let z(u) be the second derivative of u**4 - 5*u**3/3 - u**2/2 - 136*u. Is 10 a factor of z(-4)?
False
Let j(w) = -205*w - 14712. Is 4 a factor of j(-83)?
False
Let q = 6070 + 14938. Is 24 a factor of q?
False
Let z(f) = f**2 + 4*f + 4. Let m be z(-2). Suppose -5*s + 4*j = -2006 - 1754, -4*s - 3*j + 3039 = m. Does 34 divide s?
False
Suppose 7*r + 72 = -285. Let s = r + 55. Suppose 51 = s*w - 33. Does 3 divide w?
True
Let w(b) = -766*b + 221. Does 35 divide w(-2)?
False
Let j = 31 - 76. Let x = 47 + j. Suppose 17 = x*u - 21. Is 2 a factor of u?
False
Suppose 44*f - 5*a - 14450 = 39*f, f - 2887 = 4*a. Does 7 divide f?
True
Let q(x) = -x**2 - 3*x + 13. Let u be q(-5). Suppose 10*r = u*r + 350. Is 10 a factor of r?
True
Let q(n) = n**2 - 831 + 1662 - 13*n - 835. Suppose 3*z - 7*z + 60 = 0. Is q(z) a multiple of 13?
True
Suppose 467836 - 1745710 = -39*q. Is q a multiple of 40?
False
Let u = -29918 + 46090. Is u a multiple of 14?
False
Is (-1306 - -1)/((-10)/(-234) + (-202)/1313) a multiple of 27?
True
Suppose 31 = 5*w + 6. Suppose -w*v = v - 42. Suppose v*o = 5*o + 22. Is o a multiple of 11?
True
Suppose 5*p - 102 = -32. Let v = 248 - p. Let j = v - 92. Is j a multiple of 18?
False
Let n(f) = f**3 - 35*f**2 - 4*f - 19. Let h be n(35). Let t = h - -241. Does 2 divide t?
True
Suppose -474 = -r - 478, 2*v + 3*r - 252 = 0. Is 91 a factor of v?
False
Suppose 5*i + 10695 = p, 22*p + 12*i - 234945 = 7*i. Does 40 divide p?
True
Suppose -77*l + 70007 = -73*l + 5*g, 3*l = -3*g + 52500. Does 19 divide l?
False
Suppose -19*v - 31*v + 21*v = -401418. Is v a multiple of 9?
True
Does 19 divide 3 - (-18266)/(-3)*(2 + -5)*1?
False
Let m(v) be the first derivative of -v**4/4 + 5*v**3/3 - v**2 - 5*v - 1. Suppose -2008*q = -2017*q + 27. Is 7 a factor of m(q)?
True
Suppose 5*k - 3055 = -8*k. Let j = 354 - k. Does 9 divide j?
False
Is 320776/14 - (-2410)/1687 a multiple of 201?
True
Let h = -7886 - -48821. Is 26 a factor of h?
False
Suppose -3*d = 0, -23956 - 61420 = -4*y - 2*d. Does 35 divide y?
False
Let o(z) = -7*z**2 - 33*z + 34. Let q be o(1). Does 12 divide 4/2*(-1 + (-699)/q)?
False
Let i = -406 + 406. Suppose -13*l + 15*l + p - 49 = i, 0 = -2*l + 2*p + 52. Does 25 divide l?
True
Let d(m) = m**2 + 13*m + 46. Suppose -5*j - 6 + 41 = -3*z, 5*z = 4*j - 80. Is 62 a factor of d(z)?
True
Let d(c) = 3*c**2 + 31 - 4*c**2 + 5*c - 16*c. Let t = -49 - -36. Does 3 divide d(t)?
False
Suppose -293480 - 74082 - 652846 = -204*g. Is g a multiple of 13?
False
Is 30 a factor of ((-111)/9*20)/((-35)/630)?
True
Suppose 3*r + 119 = d, -5*r + 4 = -16. Suppose -q = -157 - d. Is 36 a factor of q?
True
Let z(n) = -n**3 + 15*n**2 + 34*n + 17. Let f = 298 + -284. Does 53 divide z(f)?
True
Let y(a) = -5*a - 8. Let o(v) = -7 - 14*v + 6*v + 4*v. Let f(n) = -4*o(n) + 5*y(n). Is f(-13) a multiple of 16?
False
Suppose -r - r = -6. Suppose 0 = -23*n + 41 + 5. Suppose n*f = r*f - 121. Does 16 divide f?
False
Let s be (1/3 - 1136/(-12)) + 1. Let r = 110 - s. Does 13 divide -3 + (668/r - (-8)/28)?
False
Let s(u) be the second derivative of u**4/12 + 7*u**3/6 + u**2 + 12*u. Let g be s(-7). Is 3 a factor of g/8 + (-75)/(-4)?
False
Let m be 4*((-2)/(-2 + 4))/(-1). Let a be (-16)/m - (-345 + 0). Let s = 509 - a. Does 28 divide s?
True
Suppose m - 1468 = -m. Let s = m + -350. Is 24 a factor of s?
True
Let v(a) = 83*a + 73 - 43 - 111 - 76. Does 31 divide v(6)?
True
Let r = -171 - -171. Suppose 3*j + 9 = r, 11*c - 8*c - 240 = 4*j. Is c a multiple of 3?
False
Let x = 7883 + 16410. Does 164 divide x?
False
Let w = -138 + 208. Let h = w + 250. Does 32 divide h?
True
Let x(b) = 18*b + 131. Let l be x(-7). Suppose v - 9*q = -11*q + 63, 4*v + l*q - 255 = 0. Is v a multiple of 11?
False
Let x be ((