 of i**5/60 + i**4/6 - 7*i**3/3 + i**2. Does 14 divide p(-12)?
False
Does 3 divide ((-81)/(-9) - 48)/(3/(-4))?
False
Suppose 0 = b - 3*i + 5, 3 = b + 5*i - 16. Is b a multiple of 4?
True
Let b(n) be the second derivative of -4*n**3/3 + 7*n**2/2 + 11*n. Does 10 divide b(-7)?
False
Let b(l) = l**2 - 5*l + 5. Let k be b(7). Suppose -3 = v + k. Is (-171)/(-33) - (-4)/v a multiple of 5?
True
Suppose k - 277 = 131. Is k a multiple of 12?
True
Let d(l) = l**2 + l - 27. Let o be d(10). Let k = o + -59. Is k a multiple of 8?
True
Suppose -85 = -2*h + v, 10 = h + 4*v - 46. Is 19 a factor of h?
False
Let n(k) be the third derivative of -k**6/120 - 11*k**5/60 - 7*k**4/12 - 12*k**2. Let h be 60/8*8/(-6). Is 14 a factor of n(h)?
False
Suppose 84 = 5*f - 2*f + 5*d, -f - 3*d + 28 = 0. Let i be (2 - 1)/(11/(-275)). Let s = f + i. Is s a multiple of 3?
True
Let i(z) = 8*z - 32. Let p be i(6). Let t(j) = 2*j**2 - 23*j + 12. Is 26 a factor of t(p)?
True
Let o be 3 - (0 + 22)*(-1)/(-2). Let x(p) = -p**2 + 2 - 18*p + 2 + 2 - 16. Does 14 divide x(o)?
True
Let c be ((-1)/(-2))/((-6)/36). Let a be c*((-8)/(-6))/(-2). Suppose a*r = 15 + 53. Is r a multiple of 6?
False
Let b(n) = 7*n**2 + 141*n + 5. Is b(9) a multiple of 29?
False
Does 12 divide 12 + -13 + 2990/5?
False
Is 9 a factor of (-12448)/(-22) + 18/99?
False
Suppose -4*n - 3*u - 33 = -13, -4*n + 5*u = -12. Let p be (-20)/4*n/(-5). Is 2*(p + 44/8) a multiple of 7?
True
Suppose 90 = -5*c + 100. Suppose 5*g + 3*a = 2*g + 15, -14 = -c*g - a. Is g a multiple of 9?
True
Let l = -2300 - -3683. Is 20 a factor of l?
False
Suppose d - 16 = -3*y, -4*y - 2*d + 1 = -23. Let r(w) = w**2 - 2*w - 3. Let m be r(y). Suppose 45 = -m*p + 290. Is p a multiple of 26?
False
Let l(t) = 3*t + 2. Let s be l(3). Let v be (-4)/22 + 2/s. Does 13 divide (-3)/((-4)/20 - v)?
False
Let q = -10 + 26. Suppose 2*s - 5*y = q, 4*y + 18 = 4*s - 2*s. Let b = 38 - s. Is b a multiple of 14?
False
Suppose -7*f + 9*f = 6. Let w be f/(-9)*10*-3. Let i = w + -4. Is i a multiple of 5?
False
Is -1 + (-52)/(-16)*28 a multiple of 45?
True
Let k(b) = 160*b**2 - 2*b + 1. Does 18 divide k(-1)?
False
Suppose -6*g = -7*g + 82. Does 20 divide 4 + (-4)/((-8)/g)?
False
Suppose 4*g + 7 = 7*g - 2*u, -2*g - 2*u = -8. Suppose 9 = -g*s - 2*n, -s - 2*s + 2*n + 3 = 0. Is 10 a factor of (s + 5)/((-4)/(-14))?
False
Let a = 102 - 63. Let p = a + -22. Suppose -10 = -3*r + p. Is r a multiple of 5?
False
Let y(v) = -v**3 - 10*v**2 + 11*v + 2. Let c be y(-11). Suppose c*f - 109 = 79. Is f a multiple of 23?
False
Let h be (-21)/14 + (-3)/2. Is (-42)/h + 5 + -3 a multiple of 4?
True
Let k = -229 + 357. Suppose -2*r + k = -2*b + 5*b, 0 = -4*b - 5*r + 180. Suppose -b = -5*c + 5*t, 3*t + 8 = 20. Does 6 divide c?
True
Suppose -3*a - 391 = -5*p, 5*a - 19 + 4 = 0. Let g = p - 15. Is 16 a factor of g?
False
Suppose -2*s = -2*l + 24, -5*s + 6*s - 18 = -l. Suppose -99 = 14*n - l*n. Is 9 a factor of n?
True
Let z(k) = -k - 7. Let w be z(7). Let x = w + 106. Is 23 a factor of x?
True
Let m = -191 + 598. Is m a multiple of 89?
False
Let l be (24/(-32))/((-1)/4). Suppose y - 20 = -r, 2*r = 7*y - l*y + 46. Is r a multiple of 4?
False
Is -1262*(-1)/3*3/2 a multiple of 63?
False
Let r(w) be the second derivative of -w**5/20 - 17*w**4/12 - 10*w**3/3 + 7*w**2 - w. Is 14 a factor of r(-16)?
False
Let q(y) = 3*y**2 + 5*y + 10. Let z = 37 - 43. Is 42 a factor of q(z)?
False
Let v(i) = -i**3 + 11*i**2 - i + 27. Let w be (-429)/26*4/(-6). Does 8 divide v(w)?
True
Let k be (-54)/(-12)*8/6. Suppose -4*s + 18 = -f, -2*f - s = -3*f - k. Let c(u) = u**2 - 2*u - 3. Is c(f) a multiple of 3?
False
Let j = 8 + -5. Let l(i) = 5*i - 3. Let g(w) = -2*w + 2. Let t(v) = 7*g(v) + 3*l(v). Is 4 a factor of t(j)?
True
Suppose 5043 = 12*c - 14541. Is c a multiple of 12?
True
Suppose 4*f - 3 = -i + 2, 41 = -5*i + 2*f. Let u(o) = o**2 - 15*o. Let l be u(16). Is l*3/((-6)/i) a multiple of 14?
True
Let f = 661 - 457. Let p = f + -92. Does 15 divide p?
False
Suppose -27*k + 23*k + 152 = 0. Does 38 divide k?
True
Let k = 16 - 11. Suppose 9*b = k*b + 496. Suppose -2*t - 2*h = -h - b, -5*h = 20. Is 23 a factor of t?
False
Let h be 2/4*4*(3 - 2). Is (1 + 6*h)/((-1)/(-3)) a multiple of 8?
False
Let q be (-1)/((-5)/(2 - 7)). Is (-2 - 31 - 2)/q a multiple of 6?
False
Let s = 484 - 127. Does 12 divide s?
False
Let k = 13 - 19. Let c be k + (2*-4)/4. Does 2 divide -3 + 9 + c/4?
True
Let j(z) = 80*z**2 - z - 2. Let g(m) = m. Let b(p) = -g(p) + j(p). Let d be 0 + (-10)/7 - 3/(-7). Does 20 divide b(d)?
True
Let y = 7 + -3. Suppose 3*f + y*u - 50 = 0, 0*f + 18 = f + 2*u. Suppose -2*p = w - 18, f = w - 2*p - 12. Does 12 divide w?
False
Let w(g) = g**3 - 4*g**2 + 7*g - 2. Does 13 divide w(4)?
True
Is ((-32)/(-20))/((-4)/(-740)) a multiple of 8?
True
Let i be (-2 + 3)/4*8. Suppose i*v = 2*g + 4, -v + 2 + 3 = -2*g. Let k = v - -7. Is k a multiple of 4?
False
Let i = -46 - -66. Suppose 0 = 5*h + i, 3*w - 4*h + 35 = 345. Is w a multiple of 29?
False
Let b be 1/(-4) - (-158)/(-8). Let o(x) = -23 + x**2 - x**2 - 9*x**2 + 33 - 3*x - 11*x**2 - x**3. Is o(b) a multiple of 10?
True
Suppose 5*o - 4 + 39 = 0. Let h(w) = -8*w - 29. Is h(o) a multiple of 9?
True
Suppose 3*d + 3*z + 0*z = 0, -5*z - 20 = 0. Suppose -d*t + 97 = 3*r - 114, 5*r - 4*t - 309 = 0. Let s = r - 39. Is s a multiple of 26?
True
Suppose -30*r + 8398 = -4*r. Is r a multiple of 40?
False
Let z = -20 + 24. Suppose -z*i + 294 - 70 = 0. Does 25 divide i?
False
Does 12 divide 0/(-3) - -168 - (-24)/6?
False
Let g(p) = p**2 - 4*p - 6. Let r = -7 - 9. Let x = r + 23. Is g(x) a multiple of 4?
False
Let v(u) be the first derivative of -u**3/3 - u**2 - 2*u - 2. Let r(l) be the first derivative of v(l). Is r(-10) a multiple of 16?
False
Suppose -4*a + 5*f = -1234, 4*a + 175 = -4*f + 1391. Let j be (-11)/22 - (-7)/2. Suppose j*h - m = -h + a, 302 = 4*h - 3*m. Is h a multiple of 20?
False
Let a(k) = 2*k + k - 70 + 64. Does 8 divide a(6)?
False
Suppose -3*b = -5*b + 50. Let j = b + -31. Is 6 a factor of (-10 + j)/(0 - 1)?
False
Let a = 20 - 25. Let h = 5 + a. Suppose h = -w + 5, 3*l - 2*w = l + 30. Is 5 a factor of l?
True
Let u(r) = -r**3 - 28*r**2 + 26*r - 56. Is u(-29) a multiple of 13?
False
Let u be ((-20)/(-25))/((-2)/(-5)). Suppose 2*j - 136 = -u*h, 3*j = 4*h - 2*j - 281. Suppose 6*f - h = 3*f. Does 5 divide f?
False
Suppose 4*z - 5*h - 145 = 362, -2*h = -10. Let m = z + -96. Is m a multiple of 4?
False
Let m be (-6)/4*(-12)/(-18). Let f(l) = -63*l**3 + l + 1. Does 21 divide f(m)?
True
Let j = -577 - -360. Let w = -96 - j. Let p = w + -74. Is p a multiple of 12?
False
Let t(r) = r + 16. Let i be t(-14). Suppose 2*c + i*x - 54 = 0, -5*c - x + 3*x + 149 = 0. Let z = -22 + c. Is 7 a factor of z?
True
Let i = 331 - 65. Is 19 a factor of i?
True
Let o = -688 - -738. Is 25 a factor of o?
True
Suppose -o - 480 = -11*o. Let z = 228 - o. Is z a multiple of 20?
True
Suppose -4*r = 2*f - 294, 3*f - 71 = r - 2*r. Let d(m) = -m**3 + 6*m**2 - 6*m + 8. Let a be d(5). Is 26 a factor of r + 6/(-1 + a)?
False
Let s(d) = d**3 - 6*d**2 + 5*d - 1. Let q be s(4). Let w = q + 64. Suppose -5*i = r - 174 - w, 225 = 5*i - 2*r. Is i a multiple of 9?
True
Suppose -5*a + k = 8, 5*k = 5*a + 4 + 16. Let j be 106*(-2 - a)*-2. Suppose 0 = -5*f + j - 12. Does 18 divide f?
False
Let b be 1/(0 - 2/(-4)). Suppose -b*h = -h - 86. Is 14 a factor of h?
False
Let y(g) be the first derivative of -g**4/4 + 8*g**3/3 + g**2/2 - 25. Does 29 divide y(6)?
False
Let h(i) = 34*i**2 + i**3 + 16 - 50*i**2 - 4*i + 27*i**2. Is h(-8) a multiple of 32?
False
Let f(n) be the third derivative of n**5/20 - n**4/12 + 11*n**3/6 + 25*n**2. Is 18 a factor of f(5)?
False
Let u(v) = 6*v**2 - v - 5. Let l be 5 + -1 - 4 - 3. Is u(l) a multiple of 13?
True
Let i be (171/76)/((-6)/(-8)). Suppose i*t = 22 + 5. Is 2 a factor of t?
False
Let l = -1990 + 2957. Does 28 divide l?
False
Let p be 4/(-16) - (-2)/8. Suppose 206 = v - 4*a, -v + p*v - 4*a + 214 = 0. Suppose 0 = -3*c + 2*g + 145, -4*c - c - 3*g = -v. Does 13 divide c?
False
Let u = -43 - -143. Suppose 84 = 2*z - u. Is z a multiple of 16?
False
Suppose 799 = -4*b - 361. Let a be b/(-8) - (-2)/(-8). Let q = -20 + a. Is 4 a factor of q?
True
Let j(l) = -l - 5. Let c be j(-8). Suppose -g = -c - 3. Does 9 divid