(j) be the second derivative of j**5/20 - j**4/4 + j**3/3 - 5*j**2/2 - 3*j. Let w be z(4). Suppose 17 = 2*b - w. Is 5 a factor of b?
False
Let r(k) = k**2 - 3*k - 2. Let l be r(7). Is 13 a factor of l + 2 - 8/4?
True
Let m(s) = s**2 + 5*s + 4. Let l be m(5). Let r = l - 18. Does 6 divide (2/(-3))/((-2)/r)?
True
Let l be 3/9 - (-22)/6. Let w be ((-28)/2)/(2 - l). Let d(q) = -q**2 + 9*q - 10. Does 2 divide d(w)?
True
Suppose 0 = 3*o - 38 - 40. Suppose -3*v = 4*w - 8, -4*w - 2*v - 1 = -9. Suppose o = 2*l - u - w*u, 3*u - 22 = -l. Is 8 a factor of l?
True
Let p be (2/1)/((-2)/9). Let n = 49 + p. Does 17 divide n?
False
Suppose -t = -6*t + 5. Suppose -2*z - 13 = -m, m - 2*m = z - t. Suppose -m*w + 3*w + 17 = i, 5*i + w - 85 = 0. Does 17 divide i?
True
Suppose -4*c = 0, -5*m + 1 = 4*c - 24. Let i(x) be the third derivative of x**4/8 - x**3/2 + x**2. Is 12 a factor of i(m)?
True
Suppose -g + 5*h = -27, g + 0 = h + 7. Let n(q) = -6*q**2 + q + 1. Let v be n(-1). Let c = g - v. Does 3 divide c?
False
Let k be ((-88)/33)/((-4)/42). Suppose 0*z - k = -z. Is z a multiple of 7?
True
Let j be 0*(-1 - (0 - 0)). Let n = 42 - 79. Does 13 divide 0 - j - 1 - n?
False
Let j be 2/(-6) + 7/3. Suppose -i - 2 = -0*i + 5*s, 2*i + 4 = -j*s. Let h = 13 - i. Is 15 a factor of h?
True
Suppose -9 + 97 = 2*i. Is i a multiple of 23?
False
Let g = 59 + -42. Suppose y = -4*l + g, 0*l - y = 3*l - 13. Suppose -2*w + 3*w - 1 = i, l*i = w + 8. Is w a multiple of 3?
False
Is 6 a factor of 30/1*(4/(-10) - -2)?
True
Let j(t) = 21*t - 5. Is 9 a factor of j(1)?
False
Let a = -30 - -422. Suppose -120 = 4*f - a. Is 19 a factor of f?
False
Let t be 0 - -3 - (-2)/(-2). Suppose -18 - t = -i. Does 10 divide i?
True
Let f = 4 + -1. Suppose 2*n + f*u - 4 = 8*u, 4*n - 8 = -2*u. Suppose 4*x + n*r - 118 = 0, -3*r = 3*x - 6*x + 66. Is 9 a factor of x?
True
Let b be 3 - (0 + (-4)/2). Suppose -b + 3 = 2*c. Is 5 a factor of ((-32)/(-24))/(c/(-6))?
False
Does 9 divide -4*1*47/(-4)?
False
Suppose -5*d + 5*u + 19 = -d, 2*u = 2. Is 7 a factor of d/(-14) - (-160)/14?
False
Suppose 0 = -0*x + 4*x - 16. Suppose 126 = -g + x*g. Does 21 divide g?
True
Suppose -2*g - g + 15 = 0. Suppose g*v + 15 = -4*m + 61, m = -5*v + 4. Does 4 divide m?
False
Let f(b) = -81*b**3 + 4*b**2 + 3*b. Is 19 a factor of f(-1)?
False
Let y(z) = -z**3 - 8*z**2 - 4*z - 4. Let l be y(-8). Let w(v) = v**2 + 6*v + 1. Let u be w(-7). Let n = l - u. Is n a multiple of 12?
False
Is -2 - (-1 + -295)/4 a multiple of 24?
True
Let q(k) = -k**3 - 12*k**2 - 15*k - 8. Suppose -12 = 4*a + 32. Is 18 a factor of q(a)?
True
Let t(l) = l**3 + 7*l**2 + 5*l + 1. Suppose -3*w + 3*v = -15, 2*w - w + 2*v = 17. Suppose -k - o = -2 + w, 0 = 2*k + o + 11. Is 16 a factor of t(k)?
False
Suppose 0 = -5*u - 0*f - 4*f + 112, f = 3. Suppose u = k - 2. Is k a multiple of 14?
False
Suppose -n + 2 = -3. Suppose -n*s = -60 - 0. Is 4 a factor of s?
True
Let n = 35 + -25. Does 5 divide n?
True
Suppose 62 - 8 = f. Is f/6*(-2)/(-6) a multiple of 2?
False
Let i(t) = 3*t + 3. Let v be i(-2). Let d = v + 5. Suppose 4*u - 3*w - 200 = 0, 0 = -2*u - 7*w + d*w + 74. Does 16 divide u?
False
Suppose -2*n = 3*n. Let j(u) = -u**2 - u + 36. Is 9 a factor of j(n)?
True
Suppose 3*z = -4*w + 6, -w - z + 2 = 4*w. Let v = 21 - 9. Suppose w = -i - 4*h - v, 5*i + 0*h - 65 = 5*h. Does 3 divide i?
False
Let o(s) = 5*s**2 + 2*s + 4. Does 5 divide o(-2)?
True
Suppose 399 = 12*m - 9*m. Is m a multiple of 19?
True
Suppose 3*u = 6 + 3. Let t be ((-1 - -3) + -11)*-2. Does 12 divide (-3 - u)*t/(-4)?
False
Let u = -5 + 2. Let b be ((-1)/u)/((-1)/(-15)). Suppose v + 7 + b = 2*n, 0 = 3*n + 2*v - 4. Is n a multiple of 4?
True
Let n = 5 + -9. Is ((-31)/n)/(1/4) a multiple of 14?
False
Let u be 10/45 + (-129)/(-27). Suppose 0 = u*h - 0*h - 65. Does 3 divide h?
False
Let i(x) = -x + 11. Let s be i(6). Is 14 a factor of s*(-4 - (-124)/10)?
True
Suppose -2 = -r + 1. Suppose -2*n + r*n = 5. Suppose n*u - 55 = -0*u. Does 7 divide u?
False
Let s = 4 + -8. Let n be (s/2)/((-4)/(-122)). Does 21 divide n/(-3) - (-4)/6?
True
Let n = 6 - 1. Suppose -2*r - m + 30 = 2, -4*r + n*m + 70 = 0. Is r a multiple of 5?
True
Let h(l) = -l**2 + 6*l - 8. Suppose -2*y + 6*y = 24. Let f be h(y). Is 2 a factor of ((-6)/f)/((-5)/(-40))?
True
Let t(p) = 2*p**2 - 3*p - 4. Let a be t(6). Let x = a + 65. Suppose w = 6*w - x. Does 8 divide w?
False
Suppose 0 = 4*l - 214 - 802. Does 14 divide l?
False
Suppose 3*q = 4*q + 1. Is q/(-1 + 40/41) a multiple of 24?
False
Suppose 4*d = -5*f + 65, -d + 2*f - f = -5. Let g be (2/4)/((-4)/304). Let i = d - g. Is i a multiple of 17?
False
Suppose q = -6*q + 119. Does 11 divide q?
False
Suppose 7*w - 31 = 11. Let i be ((-4)/(-10))/((-2)/(-20)). Let r = w - i. Is 2 a factor of r?
True
Let c be 3*47 - (0 - 3). Suppose -c = 4*r - 8*r. Does 11 divide r?
False
Let t(g) = -g**3 + 6*g**2 + 4*g - 12. Let k(l) = l**3 - l + 1. Let i(m) = -2*k(m) - t(m). Is i(-7) a multiple of 16?
False
Let q(c) = 41*c - 3. Is q(4) a multiple of 16?
False
Suppose 0 = -l - 2*d + 70, 5*l = 9*l - d - 289. Does 24 divide l?
True
Suppose -q + 3*d - 8 = 0, -d - 2*d + 43 = 4*q. Is 3 a factor of q?
False
Suppose -45 = -p - 19. Is 5 a factor of p?
False
Let z(n) = -4 - 3*n + 5 + 4*n + 0. Let q be z(-2). Is 7 a factor of 15 - (q - -1)/(-3)?
False
Suppose -b - 215 = -3*s, -s + 5*b + 0*b + 81 = 0. Suppose -5*v - 5*m + s = -v, 2*v + 2*m - 34 = 0. Is v a multiple of 14?
True
Suppose 0 = -5*v + 380 + 10. Is v a multiple of 10?
False
Suppose -3*i + 1 - 4 = 0. Let z be i/((-3)/42*2). Suppose 3*l + 2*f = z + 22, -l - 5*f + 27 = 0. Is 6 a factor of l?
False
Suppose v = 4*g + 6, -v + g + 6 = -g. Let w(n) = -n**3 + n**2 - 2. Let h be w(0). Is 14 a factor of (38/(-6))/(h/v)?
False
Let g = -11 + 17. Let n(y) be the first derivative of -y**4/4 + 2*y**3 + 9*y**2/2 - 8*y - 1. Is n(g) a multiple of 18?
False
Let g = -2 - -17. Let z = 24 - g. Suppose z + 16 = 5*h. Is 5 a factor of h?
True
Let z(t) be the first derivative of -t**4/4 + 5*t**3/3 - 3*t**2/2 + 2*t - 1. Let i(l) = -l - 3. Let o be i(-5). Is z(o) a multiple of 8?
True
Suppose 0*f - 2 = 2*n + 2*f, -3*n + 27 = -3*f. Is n/(-16) - (-129)/4 a multiple of 17?
False
Suppose 4*t = -2*v + 146, 0*v = -3*v - 3. Is 8 a factor of t?
False
Let v = 1 - -19. Suppose 3*a = -a - v, -2*a - 26 = -4*k. Is k a multiple of 4?
True
Suppose 2*p = -p + 3*b + 33, -23 = -p - 3*b. Let y = p - 53. Let k = -17 - y. Does 11 divide k?
True
Let y = 8 + 17. Is 12 a factor of y?
False
Suppose 6*j - 4*j + 154 = t, -302 = -2*t - 2*j. Suppose -3*i - r + t = 0, 5*i + 2*r + 2*r = 251. Suppose 5*o + 21 = y, o - 3*o = 5*y - i. Is 9 a factor of y?
False
Let i(k) = -k**3 - 3*k**2 + 3*k + 4. Let l be (1*-1)/((-1)/(-3)). Let w be i(l). Is (-18)/w - (-9)/(-15) a multiple of 3?
True
Suppose -5*u = -185 - 95. Is u a multiple of 28?
True
Suppose -264 = -4*h + 36. Is h a multiple of 15?
True
Let a(b) = 5*b**2 - 7*b - 40. Is a(10) a multiple of 42?
False
Let z be (-6)/21 + 1094/7. Suppose -5*i = 3*g - 178, -z = -6*i + 2*i + g. Is 12 a factor of i?
False
Suppose 4*n - 6 = 90. Does 10 divide (2 + 1)/(2/n)?
False
Let d = -72 - -103. Is 11 a factor of d?
False
Suppose -o - o - 108 = 0. Let x = 92 + o. Is x a multiple of 19?
True
Let x be 1/(-4) - 387/(-12). Suppose 5*s = -c + x, -s + 4 = -0*s + c. Is s a multiple of 7?
True
Let o = 84 - 33. Let j = 4 - 3. Is 21 a factor of o + 1 - (j + 1)?
False
Let l(u) = u - 3. Let z be l(7). Suppose -2 = o + z. Let c = 10 - o. Is 8 a factor of c?
True
Let j(c) = 2*c**2 + 2*c - 4. Suppose -3*o = -4*g + 4, g - o + 20 = 5*g. Does 21 divide j(g)?
False
Let w(v) be the first derivative of v**4/4 + 8*v**3/3 - 6*v**2 - 13*v + 1. Is w(-9) a multiple of 14?
True
Suppose 3*x - 2 = x, 3*o - 5*x = -2. Let d = o - -9. Is d a multiple of 3?
False
Let z = 43 + -7. Does 18 divide z?
True
Let y = 139 - 81. Suppose -4*r = -4*k - 101 + 33, 0 = -4*r + 2*k + y. Does 6 divide r?
True
Let d(w) = 14 - 4 + 1 + w. Let b be d(-8). Suppose -b*z = -5*q + 105, 4*q + 2*z = 10 + 52. Is 8 a factor of q?
False
Let g(t) = t - 1. Let s be g(5). Let n = s + 1. Suppose -4*l = -n*z - 101, -z - 1 = -l + 23. Is 11 a factor of l?
False
Let i(m) = 3*m**2 - 5*m - 6. Is i(4) a multiple of 22?
True
Let j(y) = -y**3 + 6*y**2 - 4*y. Is 16 a factor of j(4)?
True