1 - 4. Suppose 0 = 4*b + 3*w - 26, -6 = -w - 2*w. Is s(b) a multiple of 17?
True
Does 11 divide (414/(-24))/((-6)/16)?
False
Let p(l) be the third derivative of 5/6*l**3 + 2*l**2 + 0*l + 0 - 1/12*l**4. Is p(-7) a multiple of 19?
True
Suppose -4*d = 56 - 452. Let w = d + -53. Is w a multiple of 8?
False
Let b(o) = 4*o**2 + 6*o + 6. Is 6 a factor of b(-4)?
False
Is ((-93)/12)/(((-52)/(-272))/(-13)) a multiple of 17?
True
Let p = 75 + 19. Is p a multiple of 10?
False
Let h be 1 + 0 + 12 + -1. Does 10 divide 66/h*(1 - -5)?
False
Suppose -244 + 55 = -3*v. Does 12 divide v?
False
Suppose 20*i - 18*i + 118 = 0. Let k = -9 - i. Is 15 a factor of k?
False
Let l(o) = o**3 + 12*o**2 + 11*o - 3. Let p be l(-11). Let u = p - -5. Suppose -u*x = -5*w + 81, -44 = 2*w - 4*w - 5*x. Is 14 a factor of w?
False
Suppose 0 = 5*q + 15, -2*d - 3*q - 24 = -5*d. Let y be (-52)/(-9) + (-4)/(-18). Suppose -25 = -5*k + d*p, -2*k - 5*p + 18 = -y. Does 7 divide k?
True
Let j = 198 + -138. Suppose -j = -k - 0*k. Is k a multiple of 16?
False
Suppose -3*v = 5*p - 23, 2*p = 5*v + 3*p - 9. Let w be 2*v/(-1) - 0. Is (-76)/(-8) - w/4 a multiple of 6?
False
Suppose 0*z - 6 = 2*z + 2*p, 5*p = -3*z - 19. Suppose f - z*f = -15. Let v = f + -8. Does 7 divide v?
True
Let z(y) be the second derivative of 5*y**4/6 - 2*y**3/3 - 2*y**2 - 2*y. Does 13 divide z(-2)?
False
Let g be 0 + (-2 + 0 - -2). Suppose g = -3*x + x + 84. Is 6 a factor of ((-6)/(-9))/(2/x)?
False
Let y(p) = -p**2 + 8*p - 7. Let q be y(6). Suppose -2*o - 300 = -q*o. Suppose -4*s + o = s. Is 10 a factor of s?
True
Let r(c) = 3*c**3 - c**2 - 3*c + 4. Suppose 0 = 2*v + v + p - 13, 4*v = -5*p + 32. Does 19 divide r(v)?
False
Let z(r) = r - 1. Let o be z(6). Suppose 5*a = o, f - 4*a - 24 = -3*f. Does 3 divide f?
False
Suppose -3*t = -4*x + 36, -x + 9 + 1 = -t. Let f = x - 3. Does 4 divide 1/(f*(-1)/(-27))?
False
Let d = 30 + -28. Is d*(-5 + 3)*-2 even?
True
Let m(o) = -o**3 - 13*o**2 - 9*o - 14. Let z be m(-11). Let u be (-1)/((3/z)/3). Suppose 29 = -5*w + 3*k + 181, -5*w = 2*k - u. Is 11 a factor of w?
False
Let d = 0 - -15. Suppose v + v + 21 = -5*a, -d = 5*v. Does 9 divide (a/(-6))/(3/108)?
True
Is 11 a factor of 1 + 67 - (-1 + (-2 - -5))?
True
Let j be -4 + -72 - 0/(-1). Is (j/(-8))/((-1)/(-2)) a multiple of 7?
False
Let l be -82 + 4*(-1)/(-4). Let g = -39 - l. Is 14 a factor of g?
True
Suppose -i - 14 = -3*i. Suppose 0 = z - i + 2. Is z a multiple of 2?
False
Let v(l) be the first derivative of l**4/4 - l**3/2 + 2*l**2 + 3*l - 2. Let j(z) be the first derivative of v(z). Does 11 divide j(3)?
True
Suppose -6*d + 167 + 151 = 0. Is 5 a factor of d?
False
Suppose -3*q + p = -q - 197, -2*p = -5*q + 494. Is q a multiple of 25?
True
Let a be (-13*(0 + -2))/(-1). Let y = 56 + a. Is y a multiple of 19?
False
Suppose 0*b - 5*r = -4*b + 146, 4 = -2*r. Is 17 a factor of b?
True
Let j(y) = 2*y**3 - 5*y**2 - 4*y + 6. Does 38 divide j(4)?
True
Let z(q) = 25*q - 6. Let d(v) = -26*v + 7. Let a(h) = 6*d(h) + 7*z(h). Let y(l) = l**3 - 4*l**2 - 6*l + 6. Let t be y(5). Is a(t) a multiple of 7?
False
Suppose 12 = 3*t - 0. Suppose 2*p = -t*r + 156, 2*p - p + 36 = r. Is r a multiple of 16?
False
Let d = -61 - -18. Let m = d + 77. Suppose -m = -3*x + 3*a + 59, 91 = 3*x - 5*a. Is x a multiple of 12?
False
Suppose -7 - 1 = -2*n. Suppose j = -5*q + 8 - 25, 0 = 4*j - n*q - 52. Is 5 a factor of j?
False
Let o(w) = 5*w. Let t be o(-5). Is 5 a factor of t/(-2) + (-6)/(-12)?
False
Suppose -4*x - 3*x + 924 = 0. Is 22 a factor of x?
True
Let y = 51 - 22. Let m = 43 - y. Let h = m - -8. Is 8 a factor of h?
False
Let w = 55 + 0. Does 11 divide w?
True
Suppose 340 = 4*a - 5*x, 4*a - 3*a - 3*x = 92. Is 16 a factor of a?
True
Let j(r) = 28*r**2. Let z be j(1). Let f be 245/z + (-1)/(-4). Is 4 a factor of (-3)/2*(-48)/f?
True
Suppose -2*t = a - 70, 0 = t - 4*a - 61 + 17. Is 6 a factor of t?
True
Let f(u) = 2*u**2 - 32*u - 4. Does 4 divide f(18)?
True
Let h = 1 - 10. Let r be (-12)/(-8)*(-1 + h). Let l = 26 + r. Is 4 a factor of l?
False
Suppose 0 = 3*r + v - 3*v + 13, 4*r + 21 = -v. Is r/((-20)/(-294))*-2 a multiple of 37?
False
Let d be 13 + 4/8*-6. Is 26 a factor of (8/(-3))/(d/(-105))?
False
Let w = 5 - 3. Suppose j + w*j - 78 = 0. Suppose 4*m = 5*k + 14 + 15, -4*m + j = -2*k. Is m a multiple of 6?
True
Let d(v) = v**2 + v + 2. Is 7 a factor of d(-3)?
False
Suppose 9*b = 4*b + 195. Is b a multiple of 37?
False
Let d = -42 + 63. Is 8 a factor of d?
False
Let l(z) = z**3 + 10*z**2 + 3. Let g be l(-10). Suppose -18 = -3*y - g. Is y a multiple of 5?
True
Suppose -2*l + 87 + 45 = -5*k, 3*k - 5*l + 64 = 0. Let d = 4 - 6. Does 12 divide ((-48)/(-28))/(d/k)?
True
Suppose 9*w - 4*w - 5*y = 40, -w + 4*y = -8. Let s = -5 + w. Is s a multiple of 3?
True
Let r = -6 + -4. Does 2 divide (-12)/(-10)*(-25)/r?
False
Suppose -2*z - 16 = -5*w + 2*z, 2*w + 2*z + 8 = 0. Suppose -4*d = 12, w*b - 5*d = 2*b - 217. Suppose 4*s = 76 + b. Does 16 divide s?
True
Suppose 3*r - 25 = -2*f, 3*f - 39 - 46 = 5*r. Is f a multiple of 4?
True
Let w = 205 + -164. Is w a multiple of 9?
False
Suppose -5*s + 4 = -6. Suppose 0*q = s*r + q - 35, -5*q = -2*r + 65. Suppose 0 = -5*c + 130 + r. Is c a multiple of 13?
False
Suppose g + 49 = p, 0 = -2*p + 3*g - 46 + 141. Does 26 divide p?
True
Let l be (-2)/(-5) - 38/(-5). Suppose l = 2*g + 2*g. Suppose g*u - 3*u = -30. Does 15 divide u?
True
Let m(j) be the first derivative of j**4/6 - j**3/6 - 2*j - 3. Let b(y) be the first derivative of m(y). Is 6 a factor of b(-2)?
False
Let g(q) = 3*q**3 + 5*q**2 - 9*q - 1. Let k(b) = -2*b**3 - 2*b**2 + 5*b + 1. Let r(u) = 3*g(u) + 5*k(u). Does 7 divide r(4)?
False
Suppose -2*h = 2*t + 14, -h + 2*t = -6*h - 20. Let f(s) = -s**3 + 2*s + 2. Let d be f(h). Suppose -2*y - d = -2*w + 16, 22 = 2*w + 5*y. Is w a multiple of 4?
False
Let r(s) = -8*s + 2. Suppose 6 = 4*o + 50. Is r(o) a multiple of 15?
True
Let j(f) = -f**2 - 16*f - 12. Does 19 divide j(-10)?
False
Let z(o) be the second derivative of 13*o**3/6 - 3*o**2 + o. Is 14 a factor of z(4)?
False
Let r be (1 + -2)*-3 - 1. Suppose -r = -4*n + 6. Suppose 2*m + 3*t = 34, 3*m - 25 = n*t - 0*t. Is m a multiple of 11?
True
Suppose h + 27 = 26. Let m(f) = 49*f**2 + f. Is 20 a factor of m(h)?
False
Let w = 200 - 132. Does 19 divide w?
False
Let w(j) = j**2 + 8*j + 8. Suppose 3*a - 5*g + g = -33, -29 = 5*a + 2*g. Let k be w(a). Does 7 divide 18 - (-2 - (-1 - k))?
False
Suppose -30 = 2*o - 5*o - 3*c, 2*o - 35 = -5*c. Suppose -2*s - 12 = -o*s. Is s a multiple of 4?
True
Does 13 divide (130/(-20))/(1/(-14))?
True
Let g be 0 + -1 - (1 - 13). Suppose -3*h + g = 3*f + 2*f, 0 = -5*h + 2*f + 8. Suppose -4*j = -3*d + 24, -h*d = 2*d - j - 19. Is d a multiple of 2?
True
Let x = -417 + 643. Is x a multiple of 22?
False
Let p(c) = -c - 1. Let f(h) = 2*h + 2. Let g(k) = -6*f(k) - 11*p(k). Is g(-6) even?
False
Let d(k) = k**3 + 3*k**2 - k + 6. Suppose -6*h = -4*h + 10. Let y be d(h). Is 2/(1 - y/(-45)) a multiple of 7?
False
Suppose -3*p - 5*b = 4, p + 3*p - 2*b = 12. Suppose p*o = -2*u + 80, 6*o = u + o - 10. Let v = u + -18. Is v a multiple of 16?
False
Let f = 25 - 39. Let q be (-6)/21 - 284/f. Suppose 3*c - q = -2*c, -4*w + 24 = 3*c. Does 3 divide w?
True
Is (-119)/(-14)*(1 + 5) a multiple of 28?
False
Let s(l) = l**2 - 6. Let w be s(0). Let g(k) = 8*k**3 - 2*k**2 - 6*k - 2. Let y(t) = -t**3 + t**2 + t. Let c(p) = w*y(p) - g(p). Is c(-3) a multiple of 10?
True
Suppose 601 = 5*u - 884. Does 33 divide u?
True
Suppose 4*q + 276 = 7*q. Is q a multiple of 11?
False
Let r = 126 - 78. Does 12 divide r?
True
Let p(m) = m - 1. Let y be p(0). Let g be y/4 + 122/8. Suppose 2*s + 3*s = g. Does 2 divide s?
False
Let k(j) = j**3 - 7*j**2 + 5*j + 1. Let p be k(6). Is 10 a factor of (0 - 1)*3*p?
False
Let a = 2 + 2. Let k(u) = 2*u + 2. Is k(a) a multiple of 5?
True
Suppose 35 = 3*a - 1. Is a a multiple of 6?
True
Let h(p) be the third derivative of -p**2 + 0 + 0*p - 1/2*p**3 - 1/24*p**4. Does 4 divide h(-7)?
True
Let w(m) = -2*m - 2. Let g be w(-4). Let q(j) = j**2 - 4*j + 4. Is 16 a factor of q(g)?
True
Let a = -29 + 14. Is 21 a factor of (-236)/(-5) + 3/a?
False
Let f(p) = -2*p - 7. Let c be f(-7). Let i(w) = w**3 - 6*w**2 - 6*w - 1. Does 2 divide i(c)?
True
Suppose 2*n - 81 = n + 4*t, 4*t + 341 = 5*n