actor of k?
False
Let z(d) be the third derivative of -1/30*d**5 + 1/60*d**6 + 18*d**2 + 0 + 1/8*d**4 - 1/3*d**3 + 0*d. Does 7 divide z(3)?
False
Let p be 1/(-3)*3 - -6. Suppose 2*a - 4*f + f = 1292, 0 = -p*a + 3*f + 3212. Is a a multiple of 40?
True
Is 61 a factor of 43*(4200/14)/6?
False
Let b = -355 - -7950. Is b a multiple of 49?
True
Let u(i) be the first derivative of -10 - 2*i + 1/4*i**4 + 1/3*i**3 + 0*i**2. Is u(3) a multiple of 25?
False
Suppose 11*m + 3 = 8*m. Let i = m - -5. Suppose -i*k = 2*d - 8, -d + k - 2*k = -5. Is 2 a factor of d?
True
Suppose -7*l = -151 + 74. Suppose -194 = -l*r + 103. Is r a multiple of 27?
True
Suppose 2*a = -5*s - 30, a = s - 0*a + 13. Is -3165*(s/24 - 0) a multiple of 38?
False
Let d be (50/15 - 4) + (-8)/6. Let n(a) = -41*a**3 - 2*a**2 - 3*a - 4. Is n(d) a multiple of 23?
True
Let n(k) be the second derivative of -8*k**3 - 19*k**2/2 - 119*k. Is 20 a factor of n(-3)?
False
Suppose -18*s - 2800 = -23*s + 3*d, 4*s - 2272 = -4*d. Let g = 1132 - s. Is 54 a factor of g?
False
Let m be (-1)/(-5)*-4082 - 230/(-575). Let a = m - -1202. Is 10 a factor of a?
False
Let o(h) = 25*h + 12. Let u be o(4). Let w be u/(-35)*(-21 + 1). Suppose 5*f = 2*x - w, -f - 18 = 3*x - 80. Is x a multiple of 7?
False
Let n(i) = -i**3 + 14*i**2 + 2*i - 15. Let h(f) = 7*f**2 - 2*f - 1. Let v be h(-3). Suppose -5*p + 53 = 4*k - 2*p, 0 = 5*k + 2*p - v. Is n(k) a multiple of 8?
False
Let m(p) = -77*p + 2237. Does 58 divide m(-41)?
True
Suppose -2*p - 3373*l + 19306 = -3377*l, -3*l = -24. Does 11 divide p?
True
Let s(z) = -z**2 - 21*z - 100. Let c be s(-14). Is (-1256 + -4)/(-7) - c a multiple of 19?
False
Let z be (-3 - (-48 - (-6 - -3))) + -4. Does 24 divide 399/z*824/6?
False
Let x(h) = 4*h**2 + 13*h + 96. Let j(y) = y**3 + 14*y**2 - 15*y - 8. Let u be j(-15). Does 9 divide x(u)?
False
Suppose 5*h - 47033 = 2*v, 9*v + 28216 = 3*h + 4*v. Is h a multiple of 25?
False
Let b(a) = 2*a**3 + a**2 - 8*a + 37. Let s be b(7). Let h = s - 371. Is 24 a factor of h?
False
Let l(t) = 2*t + 12. Let z be l(-6). Suppose 3*s - 5*g + z*g = -6, -s - 2 = g. Is 3 a factor of 2/3*((-275)/(-10) + s)?
False
Let r(c) = c**3 + 26*c**2 + 44*c + 266. Does 9 divide r(-22)?
False
Let x(k) = -k**2 - 6*k - 4. Let h be x(-3). Suppose 5*u = -3*m - 39, -1 = -2*m + 4*u - h. Does 12 divide ((-3010)/40)/(2/m)?
False
Suppose 0 = 3*z - 6, 0 = 119*y - 121*y + 2*z + 2102. Is 3 a factor of y?
True
Let u = -361 - -1109. Does 9 divide (15 + -6)/3*u/6?
False
Suppose 0 = 2*m - 2 - 6. Let j be 3015/30 + (-2)/m. Suppose -p = 3*t - 160, 2*t - p - j = -0*t. Does 13 divide t?
True
Suppose -127*u = 11*u - 64998. Does 15 divide u?
False
Suppose -74*a + 6951434 - 2047546 = 75*a. Is 272 a factor of a?
True
Let q = -2631 - -7714. Is 39 a factor of q?
False
Suppose 118*c - 114*c = 3104. Suppose 31*v + c = 32*v. Is 16 a factor of v?
False
Let n(i) = i**2 - 16*i + 42. Let w be n(13). Suppose 8*o - 13*o = 4*m - 3008, 0 = -w*m + 6. Does 50 divide o?
True
Let f(d) = d**2 - d - 1. Let n(q) = -q**3 + 16*q**2 + 2*q + 18. Let z(m) = 6*f(m) - n(m). Let g be z(12). Suppose 25*v = 23*v + g. Does 7 divide v?
True
Suppose -2*o = -2*j - 14, -2*j - 5 + 19 = 2*o. Let m(u) = 2*u**3 - 10*u**2 - u + 19. Let h be m(o). Suppose 68 = -5*r + h. Is r a multiple of 7?
True
Suppose 3*s - 96 - 579 = 3*k, 3*s - 690 = 8*k. Is 4 a factor of s?
False
Suppose 3*b + 0*b - 5*j = 490, 0 = 5*b + 3*j - 862. Let h = b - -108. Is 49 a factor of h?
False
Let y be 8 - (1 - (-2)/(-2)). Let a = 2490 - 2506. Is a/(y/(-2)) - -56 a multiple of 12?
True
Let d = 595 + 950. Is d a multiple of 16?
False
Suppose -5*c + 8 = -12. Suppose 5*v - 1080 = -c*g, 5*g - 132 = -v + 84. Is 36 a factor of v?
True
Suppose 2586 = 2*v + 1018. Suppose -4*u + 4*z + v = 0, -4*u - 3*z + z + 760 = 0. Suppose -105 = r - u. Is 36 a factor of r?
False
Let s(q) = -q**3 - 19*q**2 + 40*q + 33. Let u be s(-24). Suppose -u = -3*g - 171. Is 18 a factor of g?
True
Suppose -5 = -l - 0*l - w, 20 = 5*w. Let v(t) = t - 1. Let q(i) = -i**3 + 2*i**2 - 5*i - 1. Let y(a) = l*q(a) + 5*v(a). Is y(-3) a multiple of 13?
True
Suppose 3*p = 15, 2*g + 2*g + 2*p - 26 = 0. Let n be ((-20)/(-6))/(g/27)*2. Let w = n + 163. Does 21 divide w?
False
Is 7/(-2)*(-399 - (-30 - -13)) a multiple of 7?
True
Let t = 121 - 115. Suppose 4*z + 122 = t*z - h, -5*h + 39 = z. Is z a multiple of 8?
False
Let g(a) = 5644*a**2 - 39*a - 39. Is 68 a factor of g(-1)?
True
Let b = -2090 + 4756. Does 6 divide b?
False
Suppose 10*q = 3*q + 35. Suppose 5*n - 2*n = -p - 10, -p - 4*n - 14 = 0. Suppose 0*h + 58 = 5*f - p*h, -q*h = 4*f - 53. Does 3 divide f?
True
Let s(r) = 2*r**3 - r**2 + r + 238. Let u(y) = y**3 + 5*y**2 - y - 5. Let x be u(-5). Let o be s(x). Let d = -139 + o. Does 18 divide d?
False
Let j(o) = 15*o - 9. Let c(n) = -7*n + 4. Let q(i) = 13*c(i) + 6*j(i). Let u be q(-2). Suppose 0 = -d - u*d + 9. Does 3 divide d?
True
Suppose -3*q + 14 = -g, 6*g + 5*q = g + 10. Let v = -33 + g. Let o = v + 68. Is 13 a factor of o?
False
Suppose -4*c + 16639 - 6151 = -4*n, -16 = -4*n. Suppose 5*u = -21*u + c. Is u a multiple of 19?
False
Let o(u) be the first derivative of 4*u**3/3 + 6*u**2 - 30*u + 98. Is o(12) a multiple of 69?
True
Does 37 divide 37/(312/(-728) - ((-2066)/4788 - 0))?
True
Let t be 24/56 + (-952)/49. Is (-5)/3*(t + 50/5) a multiple of 2?
False
Let y be (-1*2136/(-20))/(6/45). Let d = -551 + y. Is 16 a factor of d?
False
Let t(f) = 215*f**2 - 54*f - 620. Is t(-8) a multiple of 36?
True
Let l(z) = 21*z - 3. Let h(m) = -52*m + 8. Let t(d) = 5*h(d) + 12*l(d). Let g = 1749 + -1756. Is 10 a factor of t(g)?
True
Let j(y) = -y**3 - 9*y**2 + 10*y - 4. Let a be j(-10). Let x(d) = -29*d + 14. Let h be x(a). Suppose -3*f + 439 = 3*l + h, f = -3*l + 307. Does 34 divide l?
True
Let c(j) = -j**3 + 6*j**2 + 8*j - 4. Let k be c(7). Suppose -479 = 4*n + 3*y, 0*n - 2*n + k*y = 253. Let x = n - -254. Does 33 divide x?
True
Suppose 16*m = 8*m + 3296. Suppose 35*f - m = 31*f. Is 32 a factor of f?
False
Suppose -3*y = -2*d - 34, 6*d + 58 = 5*y + 3*d. Suppose -13*x + 55 = -y*x. Let q = 14 - x. Does 23 divide q?
True
Let p = 13 + -17. Let v be (6 + p)/((-4)/(-8)). Let h(t) = 28*t - 8. Does 17 divide h(v)?
False
Let o be (0 + 35)/(27/(-15) - -2). Let h = 107 + o. Is h a multiple of 12?
False
Let k = -36 + 52. Suppose k = -4*y, 5*y + 129 + 188 = f. Is 9 a factor of f?
True
Suppose 5*k - 729951 + 2946643 = 43*k. Is k a multiple of 14?
False
Let d = 275 - 153. Let v be 30/(4*(-8)/(-176)). Suppose 0 = -3*b + 4*y + d, -5*b - y = -0*y - v. Is 9 a factor of b?
False
Is 54 a factor of (28644/28)/(5 + 534/(-108))?
True
Does 8 divide (-1292)/(-3) - (-76)/57?
True
Is 11 a factor of -2 + ((-61 - -55)*(-4)/(-6) - -6364)?
True
Let h be 3/21 - (5 - 522/21). Is 8 a factor of ((-1722)/35)/((-3)/h)?
True
Suppose 2*p + 2*p = 2036. Suppose f + 3*d - 183 = 0, -5*d + 6*d - p = -3*f. Is f a multiple of 24?
True
Let o(w) = 133*w**2 - 18*w + 10. Is 5 a factor of o(3)?
False
Let b be (0 - -6) + (-420)/(-15). Suppose b*m - 48*m = -1890. Is 27 a factor of m?
True
Let k = 68 + -38. Suppose 20*y + k = 21*y. Let t = 46 - y. Is 7 a factor of t?
False
Let y = 536 - 521. Is (1 + 4049)*(5 + (-69)/y) a multiple of 27?
True
Does 2 divide ((-33)/9)/11 + (1036/12 - -4)?
True
Let f = -616 - -864. Let p = 266 - f. Does 18 divide p?
True
Let m = 12 - 10. Suppose 10 + 0 = m*x. Suppose x*t - 78 = 2. Is 5 a factor of t?
False
Let n = -114 - -117. Suppose -2*a - 4*a + 228 = 0. Is 5 a factor of a*1/2 + -6 + n?
False
Suppose 3*n = -0*n + 6. Suppose n*z = 4 - 0. Suppose -u + 98 = 3*y + u, -z*y + 2*u = -62. Is y a multiple of 8?
True
Suppose -5*l = -2*l - 27. Suppose -1 = -i + 2*q, 4*i + 4*q - 11 = 53. Let o = l + i. Does 12 divide o?
False
Suppose 0 = 3*z - 15, 5*r - 8*r + 2*z + 1880 = 0. Is 105 a factor of r?
True
Let l = -42 + 47. Let y be (l/(-2) - -2)/(10/(-5860)). Let v = y + -163. Does 10 divide v?
True
Let r(o) = 9*o - 6. Let m be r(10). Suppose -2*j - 24 = 4*c + 36, 0 = -4*j + 4*c - m. Let w = j - -84. Is w a multiple of 10?
True
Let a(f) = -261*f + 2125. Is 8 a factor of a(-15)?
True
Let t be (24/16)/(3/4). Suppose 3*g = -6 + 18, 0 = t*b + 3*g - 18. Suppose b = i + 5*k - 54, -3*i + 251 = -5*k. Is i a multiple of 42?
False
Let v be (-6)/(-4) + 15/(-6) - -1. Suppose 