*b**2 + 3*b - 3. Suppose 4*a + 25 + 19 = 4*k, a = -3*k - 19. Let r = -18 - a. Is 16 a factor of v(r)?
True
Let b = -9 - -11. Suppose -3*l - o = -b*o - 127, 82 = 2*l + 2*o. Is l a multiple of 14?
True
Suppose 0 = -2*m - 220 + 50. Let l = 155 + m. Is 32 a factor of l?
False
Suppose 26 + 0 = 2*i. Is i a multiple of 2?
False
Let f(l) be the third derivative of l**6/120 + 3*l**5/20 + l**4/4 - 5*l**3/3 + l**2. Let m(k) = -k + 2. Let j be m(10). Does 6 divide f(j)?
True
Suppose -2*x - 5*q - 62 = 0, 0 = q - 0*q + 2. Let b be x/(-5) - 2/10. Suppose -105 = -8*g + 3*g + b*p, 3*g = -3*p + 81. Is g a multiple of 12?
True
Suppose -2*h - 1 = -h. Let p(z) = -14*z. Is 7 a factor of p(h)?
True
Let r = -56 - -87. Does 8 divide r?
False
Let r(f) = 2*f + 11. Let x be r(8). Suppose 5*m + x = 227. Is m a multiple of 20?
True
Let k be 0/(-5 - -1) - 32. Does 12 divide (45/(-20))/(2/k)?
True
Suppose -2*a + 383 - 155 = 0. Is a a multiple of 23?
False
Let r be (-5 + 1)/(1/2). Let l be -3 - (2 + -5 - 14). Let b = l - r. Is 11 a factor of b?
True
Let z = 67 + -45. Is z a multiple of 11?
True
Suppose 0 = -q + n + 7 + 1, -4*n = -5*q + 39. Suppose 2*a = q*a - 190. Is 13 a factor of a?
False
Let f(i) be the second derivative of i**4/6 - i**3/3 - 3*i**2 + 3*i. Is 14 a factor of f(-4)?
False
Let p be 20/(-6)*12/(-10). Suppose p*z - 256 - 16 = 0. Is 34 a factor of z?
True
Let h(d) = 1. Let k(b) = b**2 + b - 13. Let p(i) = 3*h(i) - k(i). Is 16 a factor of p(0)?
True
Let i = 10 - 31. Is 6/i - (-212)/7 a multiple of 15?
True
Is 6 a factor of (216/42)/((-3)/(-14))?
True
Suppose -4 = -2*q - 5*v, -2*q + 1 = -v - 3. Suppose -4*w - 23 = -6*w + 3*m, 2*w + q*m - 8 = 0. Is w a multiple of 7?
True
Suppose 0 = -54*g + 59*g - 1065. Does 14 divide g?
False
Let x = -5 - -5. Let y be (1 + 0)*(x - -35). Suppose 25 = 3*z - y. Does 20 divide z?
True
Let n = 3 - 3. Let o = 2 + n. Suppose -4*x - 91 = -3*k, 6*x - 2*x = -o*k + 74. Is k a multiple of 14?
False
Let w(b) = -b**3 + 2*b**2 - 6*b + 1. Let u(o) = 2*o**3 - 3*o**2 + 11*o - 1. Let s(h) = -3*u(h) - 5*w(h). Is 3 a factor of s(-2)?
False
Let k = 9 + 15. Does 16 divide k?
False
Suppose d - f - 12 = 0, 5*d - 51 = -2*f + 4*f. Let k = d - 6. Is k a multiple of 2?
False
Suppose 8*g = 3*g + 25. Suppose 37 = 3*k + g*u, -5*u = -3*k - u + 46. Does 6 divide k?
False
Let d = -22 - -21. Let q = d + 12. Is q even?
False
Let k(t) = 7*t**2 - 1 + t**3 - 2*t**3 - 2*t - 3. Suppose z - 2*i = -i + 5, -5*z + 3*i + 25 = 0. Is k(z) a multiple of 20?
False
Let p(m) = -m**3 + 2*m + 1. Let d = 0 - 2. Let x be p(d). Suppose -3*r + 8*r - 20 = 0, x*n - 153 = 3*r. Is 12 a factor of n?
False
Let c(r) = r**3 - 5*r**2 - 6*r + 3. Let a = 9 - 4. Let z be c(a). Let f = 55 + z. Is f a multiple of 14?
True
Let p(l) = -l**3 - 3*l**2 + 2*l - 1. Let q be p(-3). Let f(b) = 2*b**2 + 8*b + 7. Is f(q) a multiple of 23?
False
Let l = 111 + -65. Does 40 divide l?
False
Let r = 116 + -56. Is r a multiple of 12?
True
Suppose -2*d - 3*h + 316 = h, -3*d = h - 464. Is d a multiple of 24?
False
Let x = 221 - 103. Suppose 3*d - x = d. Is d a multiple of 14?
False
Let c = 63 + -22. Let z = 3 - 0. Suppose -z*f + 46 = -c. Is 11 a factor of f?
False
Suppose w + 2*r + 6 = 0, -2*w - 2*w = 2*r. Let m = 3 + w. Does 2 divide m?
False
Let a be (1 - 0)/(5/25). Suppose 5*p - 146 = s - a*s, -32 = -p + 2*s. Is 10 a factor of p?
True
Let o(z) = 3*z - z**3 - z**2 - 4*z + 1 + 0. Is 22 a factor of o(-3)?
True
Let r(t) = -6*t + 3. Let k(a) = -3*a + 1. Let l(h) = 7*k(h) - 4*r(h). Let q = 11 - 2. Does 10 divide l(q)?
False
Let w(r) = -r**2 + 27. Let q be w(0). Suppose 0 = -2*o + 17 + q. Suppose -t = -3*t + o. Does 7 divide t?
False
Let m(w) = -w + 6. Let v be m(6). Suppose 0 = -3*g + 4*y - v*y - 11, 0 = -2*y + 10. Suppose -21 = -g*q + 4*a + 28, -3*q + a + 46 = 0. Is q a multiple of 7?
False
Let a(k) be the second derivative of k**4/12 - k**2/2 + k. Does 4 divide a(-3)?
True
Let s(m) = -m + 1. Let h be s(-2). Let q be -2 - (6/h - 6). Suppose -4*c + 3*c - q*r + 24 = 0, -112 = -3*c + 4*r. Does 16 divide c?
True
Let d(q) = -2*q**3 + 2*q**2 - 2*q + 3. Let y be d(3). Let k be 2/(-1)*y/6. Let n = 3 + k. Is 16 a factor of n?
True
Suppose 0 = 3*z + 3*o - 27, 2*z + 2*z = o + 26. Let s(u) = 4*u + 1. Is 17 a factor of s(z)?
False
Let b(t) = -t + 30. Is b(-22) a multiple of 26?
True
Let b(a) = -a + 66. Is b(-14) a multiple of 5?
True
Let y(m) = 6*m**3 - 5*m**2 + m + 4. Let s(h) = -11*h**3 + 9*h**2 - 2*h - 8. Let i(u) = 4*s(u) + 7*y(u). Is 17 a factor of i(-3)?
False
Let y(l) = l**3 + 11*l**2 + 11*l + 10. Let t be y(-10). Let j be 0*1/(-2) - -4. Suppose j*i + t*i = 92. Does 9 divide i?
False
Suppose 5*d - 42 = -2*o + 120, o - 107 = 4*d. Suppose 4*w + o = 5*w. Is 30 a factor of w?
False
Suppose 2*p - 785 = -3*p. Suppose -3*r + 93 = 6*h - 5*h, 5*r = -h + p. Does 15 divide r?
False
Suppose g + 4*h = 5*g + 4, -5*h = 2*g - 19. Is 1/g + 70/4 a multiple of 18?
True
Let b(k) be the third derivative of k**5/60 + k**4/3 - 11*k**3/6 - 5*k**2. Is 14 a factor of b(-11)?
False
Let f(p) be the third derivative of -p**6/120 + p**5/10 + p**4/3 + p**3/3 + 4*p**2. Is f(7) a multiple of 6?
False
Let s be -12*(3 - (-9)/(-6)). Let v = 71 + s. Is v a multiple of 14?
False
Let r(b) = -1. Let q(c) = 7*c - 3. Suppose -f = -3*w + 4, w = 5*f - 3*w + 9. Let a(i) = f*q(i) + 3*r(i). Is 7 a factor of a(-2)?
True
Let r = 23 + -11. Suppose -5*c = n - 1 - r, -11 = -c + 4*n. Is c even?
False
Let w be (6 - 4)*7/2. Let n(q) = -4*q**3 - q**2 + 8*q - 8. Let g(c) = -9*c**3 - c**2 + 16*c - 17. Let j(f) = w*n(f) - 3*g(f). Is 19 a factor of j(-6)?
True
Let z(g) = 4*g**3 - 3*g**2 - 3. Let r be z(3). Let j = r + -47. Is 11 a factor of j?
False
Let a be (-13 + 3)*2/(-5). Suppose -a*f - 44 = -f - 4*r, f = r - 14. Let l = f + 34. Is 11 a factor of l?
True
Let r = 2 - 0. Suppose -5*w + 15 = -r*w. Is 4 a factor of w?
False
Let j = 22 + 6. Is j a multiple of 28?
True
Let j(i) = 2*i - 5. Is 3 a factor of j(10)?
True
Let d(k) = -k**3 - 5*k**2 + 4. Let r be d(-5). Is 5 a factor of -16*(25/r)/(-5)?
True
Suppose 6*i + 330 = i. Let u = i + 113. Let z = u + -32. Is z a multiple of 15?
True
Let w = 9 - 9. Suppose -5*m + 3*u + 405 = 0, w = -4*m + 6*u - 2*u + 332. Is 20 a factor of m?
False
Let h be (2/6)/((-1)/(-12)). Suppose 3*q = 5 + h. Suppose -4*j = -z + 2*z - 41, -5*j + q*z = -30. Does 5 divide j?
False
Let m = -13 + -156. Let n = -55 - m. Is 25 a factor of n?
False
Let z(b) = 17*b - 23. Is 23 a factor of z(8)?
False
Is 20 a factor of 1/(2/(-8)) - -251?
False
Let t(j) = -j + 6. Let y be t(3). Let x(h) be the first derivative of 9*h**2/2 - h - 5. Is 13 a factor of x(y)?
True
Suppose -3 = t, -150 = 5*r + 4*t + 62. Let b = -24 - r. Suppose 0 = -5*s + b + 44. Is s a multiple of 9?
False
Suppose 5*u = 97 + 38. Suppose 0*j + u = -3*j. Let s = j - -17. Is s a multiple of 4?
True
Let p(l) = l**2 - 5*l. Let h be p(6). Is 18 a factor of (6*-2)/((-4)/h)?
True
Suppose -a - 3*a = -4*z - 96, 0 = z + 3. Is a even?
False
Suppose -183*m - 2622 = -189*m. Is m a multiple of 48?
False
Let m = 550 + -343. Does 23 divide m?
True
Does 23 divide (0 + 4)/((-18)/(-423))?
False
Suppose -c + 2 + 1 = 0. Suppose -4*y + 1 = -2*b + c, -2*b + 10 = 0. Is -1 + 1 - (-4 - y) a multiple of 6?
True
Suppose -5*y = 4*a - 105, -a + 8 + 10 = 4*y. Let k = a - 10. Is 20 a factor of k?
True
Let a = -11 + 12. Does 7 divide (29 - -3) + (3 - a)?
False
Let b = 0 - 0. Let u be -2*9/(-6) - -51. Suppose -s - s + u = b. Does 16 divide s?
False
Let x(u) = -u**3 - 10*u**2 - 10*u + 13. Let y(k) = -2*k**2 - 9 - k**3 - k**2 - 5*k**2. Let d be y(-8). Is 8 a factor of x(d)?
False
Let q = -9 - -22. Suppose -q + 163 = 6*b. Is 13 a factor of b?
False
Let y(c) = 5*c. Is y(6) a multiple of 16?
False
Suppose -4*l - 1 + 9 = 0. Suppose 5*x + 4*p = 0, x - l*x = 3*p. Let t = x - -2. Is 2 a factor of t?
True
Suppose -5*r + 272 = -88. Suppose 0 = -3*y - w + 81, 2*y - r = -y - 4*w. Does 17 divide y?
False
Let b(l) = l**2 - l. Let g be b(-1). Suppose -3*d + h = -85, g*d + 3*h + h - 66 = 0. Is 10 a factor of d?
False
Let g(b) = b**3 - 16*b**2 + 4*b - 6. Is 14 a factor of g(16)?
False
Let t be ((-9)/12)/(1/(-12)). Let i = t - 4. Does 2 divide i?
False
Let d be 0/(-5)*(2 + -3). Let c = 10 - d. Is c a multiple of 5?
True
Is 16 a factor of 16/3*(13 + -7)?
True
Let 