 16. Let j be g(-7). Suppose j*v = 7*v. Does 10 divide 20*(-2)/(v - 2)?
True
Let j(f) = f**2 + 7*f - 208. Does 19 divide j(29)?
True
Let z(p) be the third derivative of -p**6/120 + 7*p**5/60 + p**4/12 + 5*p**3/6 - p**2. Let f(w) = -w**2 - 23*w + 180. Let s be f(6). Is z(s) a multiple of 17?
False
Let i(s) = -540 + 7*s**2 + 0*s + 530 - s**3 + 8*s. Suppose 0 = u - 4 - 0. Is i(u) a multiple of 18?
False
Let m = -15 - -13. Is 3 a factor of (22/2)/(m/4*-2)?
False
Let m be ((-3)/3)/((-4)/548). Suppose -2*t - 3*p - 77 = -16, m = -4*t - p. Is -1*7/(t/510) a multiple of 34?
True
Let t(k) = k**2 + 2*k - 3. Let y(c) = 55*c - 65. Let l(f) = -5*f + 6. Let b(z) = -65*l(z) - 6*y(z). Let v be b(1). Does 9 divide t(v)?
False
Does 15 divide 6*6/(-6 - -78)*3734?
False
Suppose 0 = 3*u + 2*z - 2426, 3*u - 6*z + 2*z - 2456 = 0. Is u a multiple of 14?
True
Let p be 9/(-15) + -68*(-3)/15. Let v(c) = 13*c + 9. Is 35 a factor of v(p)?
False
Let v(a) = -a**2 + 8*a - 13. Let u be v(3). Suppose -100 = -4*b + 2*n, -4*n + 16 - 60 = -u*b. Is b a multiple of 26?
True
Let g(x) = x + 60. Suppose -u + 0 = -3*n - 6, u = 2*n + 3. Let a = 3 + u. Is 20 a factor of g(a)?
True
Suppose -19 = -5*y - 49. Let l(w) be the third derivative of -w**6/120 - w**5/12 - w**3/6 - 2*w**2. Does 8 divide l(y)?
False
Let l(y) = -y**3 - 5*y**2 - 6*y - 4. Let k be l(-4). Is 4/(-2)*((-122)/k - 1) a multiple of 9?
True
Is 47 a factor of 18/24 - (-19887)/28?
False
Suppose 0 = -3*g + 10*z + 12433, z + 9101 = 3*g - 3323. Does 101 divide g?
True
Let m be 4*(-4 + 5) + -1. Let a(t) = 16*t. Let q be a(m). Suppose -7*x + q = -5*x. Is 4 a factor of x?
True
Let f(x) = -43*x + 24. Let u(o) = 1. Let k(r) = -f(r) + 6*u(r). Is k(3) a multiple of 10?
False
Suppose -2*d - 1 = -9. Suppose -6*g + 321 = 2*a - 11*g, 0 = a + d*g - 193. Does 18 divide a?
False
Let z = -166 + 544. Is z a multiple of 3?
True
Suppose 22*j - 14*j - 704 = 0. Is j a multiple of 4?
True
Let c be 29/(-1) + 4 + -7. Let g = c + 68. Is 6 a factor of g?
True
Let f = 350 - 214. Suppose -5*h + 164 = 4*n, 0 = 5*h - h + 2*n - f. Is 9 a factor of h?
True
Let n be 758/(-6) - 16/(-48). Let j = 231 + n. Does 7 divide j?
True
Let i(q) be the second derivative of 1/2*q**2 + 0*q**3 + 0 + 7/4*q**4 - q. Does 22 divide i(-1)?
True
Let n = -816 + 954. Does 74 divide n?
False
Suppose -w = 4, -5*w = -2*x - 3*w + 656. Is x a multiple of 6?
True
Suppose 6*s = 3*s. Suppose 5*y - 6*y + 58 = s. Is 15 a factor of y?
False
Let v be 39/33 - (-3 - (-35)/11). Is (-1)/(v/(-149)) - (-4 + 1) a multiple of 13?
False
Suppose 4*w - 1345 = -y, 3*w - 332 = 2*w + 4*y. Suppose w = -u + 3*u. Suppose u = -4*q + 10*q. Does 7 divide q?
True
Let s(u) = -u**3 - 9*u**2 - 7*u + 2210. Does 26 divide s(0)?
True
Suppose 2*l = -5*r + 610, -10*r + 14*r + 4*l = 500. Does 8 divide r?
True
Let o be (-10 - 12)/(1/(-2)). Suppose 2*d - 39 = -5*k, 0 = -0*d - 2*d - 4*k + o. Is 20 a factor of d?
False
Suppose 3*n = -9, -5*k + 5*n = -0*n - 25. Suppose -4*d = -3*j + 7, -4*d - 3*j - k*j = -33. Is 246/9 + d/(-6) a multiple of 16?
False
Suppose 0 = 3*x - 5*g - 10, 2*x + 2 = -3*x - g. Suppose 4*c - 2*c + 5*r - 262 = x, -4*r = 3*c - 379. Is c a multiple of 11?
True
Suppose -4*p + 224 = -2220. Suppose -2*x + 0*x - 155 = -u, 0 = 4*u + x - p. Does 17 divide u?
True
Let j(u) = u**3 + 9*u**2 + 3*u + 3. Let q = -23 - -14. Let t be j(q). Is 4 a factor of 1/6 + (-164)/t?
False
Suppose -4*u + 421 = b + 28, -4*u = -b + 393. Is 10 a factor of b?
False
Suppose 2*t = -2*t + 5*z + 864, 0 = -2*t + z + 438. Suppose 0 = 3*i + 181 + t. Let c = -35 - i. Is c a multiple of 26?
False
Let c(b) = b**3 - b**2 + 8*b + 15. Let h(g) = 4*g**3 - 4*g**2 + 33*g + 61. Let u(d) = -9*c(d) + 2*h(d). Is u(-4) a multiple of 13?
True
Let x = 75 + -144. Let f = -33 - x. Is 9 a factor of f?
True
Let d(q) = q**3 - 17*q**2 - 18*q + 3. Let x be d(18). Suppose 18 + 9 = x*f. Does 2 divide f?
False
Suppose 4*a = -13 + 1349. Is a a multiple of 33?
False
Let j(w) = 16*w + 4 + 9*w - 20*w - 20. Does 6 divide j(7)?
False
Suppose -3*m + 197 = j - 606, 5 = j. Let g = m + -131. Is g a multiple of 19?
False
Let m be 6/2 + 10/5. Suppose -m*y + 7*y + 90 = 0. Is 18 a factor of (-7 + 1)/(3/y)?
True
Suppose 4*d + 112 = s, s + 7*d = 5*d + 88. Let p be 4/8 + 25/(-2). Does 20 divide (30/(-4))/(p/s)?
True
Let t(z) be the first derivative of -10*z + 1 + 2 + 27*z**2 - z - 25*z**2. Does 6 divide t(11)?
False
Let j = -1 - -6. Suppose -f = -4*d + 76, -j*d + 95 = -f + 2*f. Suppose 5*s - d = 11. Is 4 a factor of s?
False
Let o(s) = 6*s + 6 - 1 - 5*s. Let n be o(-9). Let g = n - -9. Is 3 a factor of g?
False
Let i = -184 + 259. Let r = i + -50. Is 4 a factor of r?
False
Suppose -5*s + 9 = 4. Let h be (-376)/5 - s/(-5). Is (-4 - (4 - h))/(-1) a multiple of 23?
False
Let a = 86 - 53. Let m(p) = p**3 + 3*p**2 + 3*p + 6. Let i be m(-4). Let s = a + i. Is 11 a factor of s?
True
Is 240*6/(-72)*-15 a multiple of 10?
True
Suppose 2*d - 190 = 4*k, -395 = -5*d - 2*k + 44. Suppose 2*p - 21 = d. Let z = p - 36. Does 5 divide z?
False
Let a = 28 - 20. Let l = 0 - 0. Let t = l + a. Is t a multiple of 8?
True
Let v = -23 - -46. Suppose 5*w = v + 32. Suppose 307 = 6*b - w. Does 13 divide b?
False
Let a(r) = r - 8. Suppose 0 = -0*s - 6*s. Suppose s = -2*p - 4*f + 32, -4*p = p - f - 69. Is a(p) a multiple of 6?
True
Suppose 0 = 7*l - 4*l. Suppose l*r = -5*r + 5. Suppose x = -5*z - 10, -2 = x + 2*z - r. Does 4 divide x?
False
Let n = -23 + 15. Is 1143/12 - 6/n a multiple of 16?
True
Suppose -1015 = -x + 1265. Does 17 divide x?
False
Let b = -108 - -49. Does 48 divide (b - 1)/(50/(-8) - -6)?
True
Let r = 255 - 180. Suppose 0 = -6*k - r + 411. Is k a multiple of 28?
True
Let p = 52 + -14. Let k = p + 40. Does 13 divide k?
True
Let z(n) = 2*n + 4. Let i = -8 - -13. Let w be z(i). Let v = w + 40. Is v a multiple of 11?
False
Suppose -4*d - 700 = -11*d. Suppose -34*t = -38*t + d. Is t a multiple of 8?
False
Let t(g) = -1 + 44*g**3 - 4*g**2 + 5*g**2 + 22*g - 21*g. Is 15 a factor of t(1)?
True
Let w(x) = 11 + 2*x - x + 15 + x. Let c be w(-11). Suppose 15 = 5*t, -3*t = -c*o - 5*t + 22. Is o a multiple of 4?
True
Suppose t + 0*t - 894 = -2*z, 2*t - 1784 = -2*z. Does 10 divide t?
True
Let f = -312 - -372. Is 12 a factor of f?
True
Suppose 3*m - 26 + 11 = 0. Let c be (69/15)/(1/m). Suppose 3*k - c = 19. Does 14 divide k?
True
Let a(m) = m**2 - 1. Let x be a(1). Suppose -10 = -v - x*v. Let k(f) = f**3 - 11*f**2 + 12*f - 11. Is k(v) a multiple of 3?
True
Let b = -69 - -71. Suppose 4*l - 8 = 12. Let i = b + l. Is i a multiple of 3?
False
Suppose 5*r = -2*w, -w = -r - 2*w. Suppose r*o = -5*o + 355. Does 35 divide o?
False
Suppose 36 = -4*v - 0. Let n be (-592)/(-6) + 6/v. Let d = -58 + n. Is d a multiple of 14?
False
Suppose -b + 13 = 4*q - 11, -30 = -2*q - 5*b. Suppose -q*l + 2*i + 2*i + 340 = 0, -4*i - 20 = 0. Does 16 divide l?
True
Let n(s) = 116*s + 35. Is n(1) a multiple of 17?
False
Let p be (-35 - -4 - 5)*(-6)/(-4). Let g = 28 + -40. Is 6 a factor of g/p + 124/9?
False
Let m(r) = -r**2 - 41*r - 42. Does 13 divide m(-31)?
False
Let y(j) = 4*j + 56. Let m be y(17). Let l = 53 + -26. Let p = m - l. Is 25 a factor of p?
False
Let j(p) = 13*p**2 + 4*p + 21. Let f(g) = 3*g**2 + g + 5. Let s(x) = -9*f(x) + 2*j(x). Let h(y) = y**2. Let k(c) = h(c) - s(c). Is k(3) a multiple of 5?
False
Let o = -75 - -282. Does 69 divide o?
True
Let i(k) = -k**2 - 32*k - 240. Does 6 divide i(-13)?
False
Let s(q) be the first derivative of 11*q**2/2 - 48*q - 6. Does 29 divide s(11)?
False
Suppose 50 - 11 = -3*c. Let v = 25 + c. Does 8 divide v?
False
Let q = 11 - 5. Suppose 4*b - 52 + 4 = -2*u, 3*u = -q. Let x = b - -18. Is 11 a factor of x?
False
Let k(h) be the first derivative of 7*h**4/2 - h**3/3 - h**2 + 5*h + 8. Does 18 divide k(2)?
False
Let o = 46 + -27. Let w(b) = -o*b + 22*b + 3 + 20*b. Is w(3) a multiple of 18?
True
Suppose 11*p - 16*p = -35. Suppose -80 = -p*n + 2*n. Is n a multiple of 16?
True
Let h(j) = -j + 1. Suppose 4*l - 24 = -2*l. Suppose 6*q = l*q - 12. Does 4 divide h(q)?
False
Suppose -706*f - 5250 = -711*f. Is f a multiple of 13?
False
Does 20 divide (52 - -2)*((-11)/(-2) - 4)?
False
Suppose -1591 = -10*p + 1209. Is 40 a factor of p?
True
Let b be -3 + (-200)/(-72) + 20/9. Suppose -9*r + 546 = -b*r. Is 13 a factor o