 z**4/4 - z**3/2 + 3*z**2/2 + 9*z - 5. Let m(o) be the first derivative of y(o). Is 19 a factor of m(-2)?
False
Let p(r) = r**3 - 2*r**2 - 7*r + 5. Let k be p(4). Let m(a) = a**3 + 21*a**2 + 40*a + 52. Let q be m(-19). Is q/(-3) + 4 + 915/k a multiple of 9?
False
Let p(v) = -16*v - 1. Let l be p(-4). Let g be (195/(-117))/(10/6). Is 13 a factor of 1*l + g*(-4 + 2)?
True
Suppose 301860 = 6408*q - 6382*q. Is q a multiple of 9?
True
Let f be (3 - 5 - (-4)/(-2)) + 236. Let i = f - 120. Let w = 249 - i. Is w a multiple of 44?
False
Is 62 a factor of (123*(-161)/(-21))/(5/15)?
False
Suppose -90*x + 156*x = 128436. Does 17 divide x?
False
Let a be 5*2*(36 - 26)/(12/(-45)). Suppose -4*n - 1245 = -2*p - n, 4*n = 12. Let w = a + p. Is 28 a factor of w?
True
Suppose -2*a + 0*z + 10922 = -5*z, 0 = 3*z - 12. Suppose a + 3193 = 12*v. Does 56 divide v?
False
Suppose 4*w - 2*g = -2, -3*w - 2 = -g + 2. Let u(a) = 67*a**2 + a + 15. Let f be u(w). Suppose n = 6*n - f. Does 32 divide n?
False
Let k = 2143 + -981. Let x = k - 652. Does 30 divide x?
True
Let u be (-3878)/10 - (-9)/(-45). Let i = -287 - u. Is i a multiple of 5?
False
Let u(p) = 16*p + 54*p + 3 + 2. Let n(f) = 9*f + 118. Let m be n(-13). Does 15 divide u(m)?
True
Suppose 4*j - s - 53 = 0, -2*s + 0 = 2. Let g be (-8 + (-1 - -1))/(38 - 39). Suppose -g*b = -j - 27. Is b a multiple of 3?
False
Suppose 0 = -5*q, -2*x - 6*q + 8*q + 2080 = 0. Is x a multiple of 20?
True
Let j(v) = 8*v + 26. Let w be j(-3). Suppose 0 = 10*k + w*k - 1224. Is 20 a factor of k?
False
Suppose 5*h + 2797 = 4*q, -h = -5*q - 2*h + 3460. Suppose 0 = -7*w + 56 + q. Does 18 divide w?
False
Let v(u) = -10383*u - 260. Is 37 a factor of v(-1)?
False
Let c = -226 - -247. Suppose -10*w = -11*w + c. Is w a multiple of 21?
True
Suppose -26450 = -3*c + 2*a + 41253, 0 = c + 5*a - 22528. Is 69 a factor of c?
True
Suppose -5*w = -5*x + 25, 3*w + 3*x - 1 + 22 = 0. Let c be (-2)/w - (-234)/27. Let i = 15 + c. Is 6 a factor of i?
True
Let a(u) = -u**3 + u**2 + 3*u - 3. Let m be a(1). Does 23 divide 1426*(m + 5/2 + -2)?
True
Let d = 83 + -68. Let y(a) = a**2 - a - 1. Let l(u) = u**3 - 9*u**2 - 36*u - 12. Let g(s) = -l(s) + 4*y(s). Is g(d) a multiple of 3?
False
Let f be 217/1 + -2 + 5. Suppose 7*l - 3755 = -f. Suppose 475 + l = 7*c. Is c a multiple of 15?
False
Suppose 4*r + 4*r = -24. Let i(x) = -8 + 4 - 9*x - x**2 + 6. Is i(r) a multiple of 17?
False
Let n be (-150)/30*(-2)/(1 - -1). Suppose n*w + 6*j + 41 = 2*j, -j - 4 = 0. Let o = 113 + w. Is o a multiple of 18?
True
Let m(b) = 333*b - 9. Let t be m(-3). Does 42 divide (-14)/(4*7/t)?
True
Is 17 a factor of 950/57*5/((-125)/(-1605))?
False
Let z(r) be the second derivative of 11*r**3/6 + 3*r**2/2 + 31*r. Let m be z(-5). Let s = 3 - m. Is s a multiple of 5?
True
Suppose 3*q = 169*n - 170*n + 1939, n = q + 1951. Does 19 divide n?
False
Let w = 319 + -271. Is 33 a factor of (-55)/((-392)/w - -8)?
True
Suppose 44*a = -8*a + 65520. Suppose 4*q = -8, -5*b + a = -3*q - 2101. Is b a multiple of 22?
False
Let s(q) = -79*q + 406 + 39*q**2 + 26*q**2 - 21*q - 400. Is s(4) a multiple of 17?
True
Suppose -29 = -8*n - 77. Let r(o) = o**3 + 13*o**2 - 14*o - 16. Does 25 divide r(n)?
False
Let y be (0 + 1)*-1*(8 - 13). Suppose -16*k + 3058 = -y*k. Does 16 divide k?
False
Let k = 68 - -1970. Suppose 20*o - 302 = k. Is o a multiple of 9?
True
Let s(r) = r**2 + 6*r - 13. Let o be s(-4). Does 34 divide (243/36)/(o/(-1736))?
False
Suppose 6*a = 1049 + 6733 - 330. Is 6 a factor of a?
True
Suppose -4*x = 4*j - 8851 + 1279, -4*x = j - 1896. Suppose 12*f - j = f. Suppose 4*z + 2*h = 100 + f, h = -4*z + 276. Does 37 divide z?
False
Let b(q) = -q**3 - q**2 + 3*q + 45. Suppose 4*u + 5*o - 20 = 0, 5*o - 3*o - 8 = -u. Is b(u) a multiple of 3?
True
Let w be (2*-59)/((-4)/48*3). Is 7 a factor of w/80 + -6 + (-1542)/(-20)?
True
Does 23 divide 46/((-24)/(-294)*(-42)/(-36))?
True
Let j(g) = 9*g + 3. Let c be j(13). Is 90/(-4)*3/(c/(-128)) a multiple of 24?
True
Suppose -26*m + 123 = -7. Suppose -5*x - m*n = -2765, x - n - 560 = -1. Is x a multiple of 21?
False
Let q = 88 - 86. Suppose q = m, -10 = k - 3*m + 2. Is ((-54)/4)/(k + (-180)/(-32)) a multiple of 12?
True
Let l(r) = 16678*r - 9. Let q be l(3). Is q/175 - 2*(-3)/42 a multiple of 26?
True
Suppose 3*j + 1622*v - 17707 = 1627*v, 4*j - 23621 = -5*v. Is j a multiple of 164?
True
Let o(m) = m**2 - 4*m + 3. Suppose -2 = -3*w + 10. Let j be o(w). Suppose -479 = -j*t + z, -z + 148 = t + z. Is 23 a factor of t?
False
Suppose -515*f + 479*f + 251640 = 0. Does 30 divide f?
True
Suppose 33945 + 426055 = 46*k. Is k a multiple of 40?
True
Is 15 a factor of 3*((-6)/(-18)*1340 + 5)?
False
Let y(v) = -1954*v + 4038. Is y(-7) a multiple of 103?
True
Let w = -118 + 134. Suppose 10 = -0*l + 2*l. Suppose 4*p = -l*y + 116, -2*p + 3*y = -w - 64. Is p a multiple of 22?
False
Suppose 731 = -0*b - 3*b + 4*g, -5*b + g - 1224 = 0. Let p = b + 379. Let l = p + -29. Does 7 divide l?
True
Let n(z) = -255*z + 1803. Is n(-28) a multiple of 11?
True
Let p(k) = 460*k + 2176. Is 12 a factor of p(6)?
False
Let f(d) be the third derivative of -59*d**4/12 - 3*d**3/2 + 5*d**2 - 4*d. Is 12 a factor of f(-3)?
False
Suppose -2 = 2*f, -2*n = -5*f - 296 + 41. Is 5 a factor of n?
True
Suppose 2*r + 3*n - 51 = 0, -4*r - 2*n = -5*n - 57. Let t(j) = j**3 + 3*j**2 - 3*j - 2. Let p be t(0). Is 23 a factor of ((r/(-15))/p)/(4/1340)?
False
Suppose -3*x = -4*z + 4 + 24, 2*z + 8 = -4*x. Suppose -3*y = -d - 341 - 164, -674 = -z*y + 2*d. Is y a multiple of 5?
False
Let h = 9316 + -1650. Does 15 divide h?
False
Let q(y) = -5*y - 25. Let n be q(-6). Suppose 5*j - 50 = -n*j. Suppose -w + 26 = j*d - 19, -3*w + 105 = 5*d. Does 4 divide w?
False
Suppose -11*k + 8*k + 6 = 0. Suppose 2*i + 2*i - 8 = n, 3*i - k*n = 6. Let j(m) = 3*m**3 - 2*m**2 + 2*m - 2. Is j(i) a multiple of 9?
True
Let u(s) = 244*s + 74. Let o(h) = -366*h - 112. Let g(y) = 5*o(y) + 7*u(y). Let l be g(-18). Is 5*(l/30 - (1 - 0)) a multiple of 40?
False
Let o(p) = -p**2 - 26*p + 20. Let b be o(-11). Let f = b - 144. Is 3 a factor of f?
False
Let f(c) = -c**3 - 25*c**2 - 104*c - 40. Let o be f(-20). Let d(r) = r**3 - 38*r**2 - 36*r - 54. Is d(o) a multiple of 11?
False
Suppose -5*h + m - 891 = 0, 2*h + 0*m - 2*m + 350 = 0. Suppose 140 = -6*i - 574. Let d = i - h. Is d a multiple of 30?
True
Suppose 2*a + 2*l - 2 = 0, a + 3*a + 5*l + 1 = 0. Suppose -a = 3*c + 33. Let d(j) = 2*j**2 + 25*j - 7. Does 3 divide d(c)?
True
Let u(t) be the second derivative of t**5/60 + 11*t**4/12 + 2*t**3 + 12*t. Let d(j) be the second derivative of u(j). Is d(12) a multiple of 23?
True
Suppose -5*i = -3*x + 37 + 341, -254 = 3*i + 5*x. Let u = 6 + i. Let q = 80 + u. Is 8 a factor of q?
True
Suppose -k = -5*j + j + 9539, 4*k - 7140 = -3*j. Is 4 a factor of j?
True
Is 2 a factor of 5 + 171792/88 + (-12)/66?
False
Does 13 divide (-26985)/21*6/(-15)?
False
Suppose -4*a - 8 = -2*u, 4*u + 4 = 5*a + 17. Let t(y) = y**3 - 9*y**2 - 12*y + 13. Let l(w) = -w. Let x(i) = a*t(i) + 5*l(i). Is x(9) a multiple of 7?
False
Let z(c) = -7*c**3 + 4*c**2 + 2*c + 3. Let u(v) = -27*v**3 + 17*v**2 + 8*v + 13. Let i(j) = -6*u(j) + 26*z(j). Is 10 a factor of i(-2)?
True
Does 57 divide (-4726 - 14)*-1 + -11?
False
Let g(j) be the second derivative of -j**5/20 + 2*j**4/3 - j**3/6 + 5*j**2/2 + 16*j - 1. Does 3 divide g(5)?
True
Suppose 15690 = 2*a + 13*a. Suppose 1038 = 2*g - i, -a = -2*g + 7*i - 2*i. Is g a multiple of 5?
False
Let q be (-70)/(-20)*(2 - 0/2). Suppose -8 = 4*k - 28. Suppose y + k*v = q, 7 = y - 0*v - 2*v. Is 3 a factor of y?
False
Suppose 60 = 4*i - 5*t, -i + 0*i + 5*t = -15. Does 22 divide 992/i + 1*(-4)/30?
True
Let u = 104 + -102. Suppose -32 = -u*g + g - 3*f, 8 = 4*f. Is 13 a factor of g?
True
Let n(c) = 667*c - 179. Let g(o) = -3*o + 2. Let x(m) = -6*g(m) + n(m). Is x(3) a multiple of 43?
False
Let q(s) = 6*s**2 + 11*s + 8. Suppose -19*f - 10 = -162. Does 15 divide q(f)?
True
Let d = 170 - -120. Let l = d - 221. Is 23 a factor of l?
True
Suppose 14*h - 641 - 157 = 0. Suppose 11*y = h - 2. Does 3 divide y?
False
Suppose 0*g = 4*g + 1072. Let c(z) = -z**2 - 3*z - 95. Let n be c(18). Let s = g - n. Does 41 divide s?
True
Let b be 36*(4 + 21/(-6)). Does 7 divide (-82)/(-738) - (-4678)/b?
False
Let z = 4