be i(5). Let o(n) = 19*n**2 + n + 1. Is 12 a factor of o(z)?
False
Let c = -112 + 114. Suppose -c*q = -5*l - 93, -3*q - 4*l = -63 - 134. Is 3 a factor of q?
False
Suppose 44 = 2*k + 52, 3*y - 1702 = k. Is 7 a factor of y?
False
Let c(s) = -10*s + 224. Is c(17) a multiple of 4?
False
Let w(v) = 23*v + 17*v + 4 - 2 - 1. Let p be w(1). Suppose -4*q = -3*q + 4*b - p, 3*b = 5*q - 90. Is 7 a factor of q?
True
Let b(v) = 14 - 38 + 4 + 12*v. Is b(6) a multiple of 13?
True
Suppose -14 = -3*q + 1. Suppose 5*g = -4*i + 264, q*i - 363 = -2*g + 4*g. Let y = -16 + i. Does 11 divide y?
True
Let t(k) = k**3 + 16*k**2 + 13*k + 16. Is 14 a factor of t(-8)?
False
Let t be (-8)/(-28) - ((-6)/(-7))/3. Let f be ((-5)/(-2))/(3/6). Suppose f*c = -t*c + 30. Is 2 a factor of c?
True
Let o = 58 + -62. Does 2 divide 8/o + 5 + 2?
False
Let s(p) = p**2 - 10*p + 17. Let i be s(7). Let u be (i - 130/(-15))*-3. Let q = u + 27. Is 10 a factor of q?
False
Is (-44)/308 - 20414/(-14) a multiple of 54?
True
Let h(p) = p**2 + 4*p - 13. Let q(k) = 3*k**2 + 13*k - 40. Let f(x) = -11*h(x) + 4*q(x). Let d = 17 - 30. Is 26 a factor of f(d)?
False
Let g be (-1 - -6)*(-1 + 0). Let u be g/(5/(-3) - -2). Let y = 26 + u. Does 2 divide y?
False
Suppose 5*k - 7 = 3*g, -k + 11 = g - 0*k. Let p(v) = -g*v - 7 - 7*v + 0. Is p(-5) a multiple of 15?
False
Let h(x) = -x**2 - 8*x + 4. Let g be h(5). Let w = -14 - g. Is 21 a factor of w?
False
Let z be (2 - 4/3)*6. Let j = -12 + 12. Suppose j*w - z*w = -128. Is w a multiple of 8?
True
Suppose 63 = -0*z + 4*z + 5*q, z - 2*q = 6. Let p(d) be the third derivative of d**4/12 + 11*d**3/6 - 61*d**2 + 2. Does 13 divide p(z)?
False
Let o = -9 + 13. Suppose 4*g + 3*f + 17 = 0, o*f = 4*g + 80 - 28. Is 2 a factor of 2/4*(-2 - g)?
False
Let h(f) = f**2 + 1. Let l = -10 + 7. Let k be h(l). Suppose -5*a = -k, 4*u - 87 = -5*a + 123. Does 15 divide u?
False
Let d be -12*(-33)/(-9)*3. Let l = 225 + d. Is l a multiple of 15?
False
Suppose 699*l = 715*l - 8160. Does 34 divide l?
True
Suppose 8*i = 13*i - 4*q - 2288, 0 = 2*i + q - 910. Is i a multiple of 24?
True
Is 56 - (-7 + (-35)/5 + 12) even?
True
Suppose 2*l + 6 = l. Let u be 49 + 5 + l + 3. Suppose -2*t = 7 - u. Is t a multiple of 5?
False
Let r(z) = -4*z + 506. Does 3 divide r(16)?
False
Let t be (-2)/(-7) - 4992/(-21). Suppose -t = -3*w + 23. Is (w + -3)/2*1 a multiple of 21?
True
Let s = 9 + 149. Is -1 - -1 - (6 - s) a multiple of 14?
False
Let m = 1284 - 680. Is 11 a factor of m?
False
Let l be 4 + (-2)/4*0. Suppose l*h - 2 = 3*h. Suppose -3*v + 6 = 3*n, 0 = 2*n + v + h*v + 1. Is 2 a factor of n?
False
Let k(f) = -3*f**3 - 16*f**2 + 6*f + 10. Let h(v) = -8*v**3 - 47*v**2 + 17*v + 29. Let z(b) = 4*h(b) - 11*k(b). Does 30 divide z(12)?
True
Suppose 0*a + 40 = 8*a. Suppose -a*n = -c - 0*c + 44, -2*n = 3*c - 47. Does 2 divide c?
False
Let m = 89 - 53. Let q = 50 + m. Is 11 a factor of q?
False
Let g(i) = 3*i**3 - 4*i**2 - 16*i + 11. Is 22 a factor of g(11)?
True
Suppose -31*k + 106803 = 26668. Does 38 divide k?
False
Suppose -135*u + 140*u = 3910. Does 14 divide u?
False
Suppose -2 = -5*s + 13. Suppose g + f = -2*f + 15, -s*g + 5*f - 11 = 0. Suppose 0 = d + 5*z - 11, g*d + 7*z = 4*z + 57. Is 10 a factor of d?
False
Suppose 4*u + o - 2661 = 0, -2*o + 551 - 3221 = -4*u. Is u a multiple of 35?
False
Does 46 divide 94*(-3 + 6) + -1?
False
Suppose -24*q - 110 + 1166 = 0. Is 22 a factor of q?
True
Let b(h) be the first derivative of h**3/3 + 5*h**2/2 + 4*h - 2. Let f be b(-3). Let x(t) = -4*t - 1. Does 4 divide x(f)?
False
Suppose -1636 = -2*a + 1352. Is a a multiple of 20?
False
Suppose 0 = -2*t + 3*y - 6, 4*t - 4*y = -12. Let j(u) = -3*u**3 + 5*u**2 + u - 3. Is 12 a factor of j(t)?
True
Suppose 0 = -4*s - 205 + 217. Suppose -2*x + s*c = -273, -2*x - 4*c + 212 + 68 = 0. Does 13 divide x?
False
Let g = 421 - -9. Is 43 a factor of g?
True
Let t be 211 - (-5)/((-15)/(-9)). Suppose 0*v - 5*v = 2*j - t, v + 202 = 2*j. Let q = -56 + j. Is 26 a factor of q?
False
Suppose 1264 = 6*z - 2*a - 112, 224 = z - 3*a. Is z a multiple of 13?
False
Suppose -5*d = -2*d - 75. Suppose 4*k + k - d = 0. Suppose 17 = -k*z + 117. Is 9 a factor of z?
False
Suppose -w - 25 = -3*w - 5*g, -5*g = 5. Does 2 divide w?
False
Is ((-48)/(-40))/(3/7820*2) a multiple of 46?
True
Let q(c) = 13*c**3 - 7*c**2 - 7*c + 72. Is 21 a factor of q(5)?
False
Let n = 431 - 303. Is 32 a factor of n?
True
Let h = 7 - 4. Let w(y) = h*y**2 - 6*y - 2*y**2 - 5 - 1 - y. Is 6 a factor of w(10)?
True
Let f(t) = t**2 + 8*t + 72. Is f(-16) a multiple of 8?
True
Suppose 25*s = 22*s - 27. Let p = s - -83. Is 55 a factor of p?
False
Let h be ((-24)/18)/(6/(-9)). Suppose d + 1 = -4*s, 4*s + 0*d = -h*d - 2. Suppose -p - 5*p + 30 = s. Is p a multiple of 4?
False
Suppose 4*d + a = 6*a + 28, 3*d - a - 10 = 0. Let s = 6 - d. Suppose s*w + 5 = -3, 3*w - 18 = -2*q. Is q a multiple of 4?
True
Let d(h) = -h**2 - 20*h + 12. Let g be d(-14). Suppose -5*s - n - 10 + 170 = 0, 3*n = -3*s + g. Does 8 divide s?
True
Suppose -f + 2 = -2*f. Let x(m) = m**3 - 16*m**2 + 16*m - 19. Let a be x(15). Does 15 divide (318/12)/(f/a)?
False
Suppose 2*f = 3*f. Suppose -3*k + 6 = -f*k. Suppose s = -n - 4*s - 9, 41 = 3*n - k*s. Is n a multiple of 7?
False
Suppose t + 4*t - 452 = 3*z, 5*t - 444 = z. Is t a multiple of 2?
True
Does 33 divide ((-1)/((-20)/15))/(4/5664)?
False
Suppose -130 = -4*i + 3*x, 2*x - 106 = -6*i + 3*i. Suppose -i = -5*s + 6*s. Is (s/3)/(12/(-18)) a multiple of 3?
False
Suppose 1840 = 25*u - 10660. Does 25 divide u?
True
Suppose 2*v = -2*v - 96. Let c = -11 - v. Suppose 0 = 2*n + 5*j + 11 - 30, -n + j = -c. Does 6 divide n?
True
Suppose 1689 = 6*b + 603. Does 3 divide b?
False
Suppose 5*p - 6 = 2*p. Suppose 0 = 2*s + 4*y - 360, -2*s + 238 = -p*y - 98. Is 49 a factor of s?
False
Suppose 53*n + 12 = 57*n. Suppose -n*p + 144 = -p. Is p a multiple of 35?
False
Suppose 2*k - 8 = 6. Suppose -3*g + 5 = -k. Is g a multiple of 4?
True
Suppose -7*l - 15 = -10*l. Suppose l*j - 112 = 4*j. Is 24 a factor of j?
False
Let p be (-56)/((-12)/(-3)) + 0. Is (-1760)/p + 44/154 a multiple of 21?
True
Let q be (-17)/(27/15 - 2). Let y = -41 - 17. Let u = y + q. Is 9 a factor of u?
True
Let s(b) be the first derivative of -65*b**3/6 + 3*b**2/2 + 2*b + 11. Let z(t) be the first derivative of s(t). Is z(-1) a multiple of 15?
False
Suppose 14*n + 433 = -197. Let m = n - -81. Is 8 a factor of m?
False
Let i(b) = 2*b - 16. Let s be i(8). Suppose s = -3*w + 1 - 73. Let u = w + 100. Is 13 a factor of u?
False
Let w(p) = 17*p**3 + p**2 - 3*p - 1. Let r be w(-2). Let z = r - -186. Let q = z - 10. Is 10 a factor of q?
False
Suppose -5*p - 8 = 4*l + 4, -4*p - 10 = 3*l. Is 24 a factor of l/(-5) + 137/5?
False
Let y(t) = -2*t + 129. Is 25 a factor of y(27)?
True
Let j(t) = -23*t**3 - t**2. Let d be j(1). Let f = 42 - 48. Does 5 divide (-990)/d + f/(-8)?
False
Suppose -5*r + 12 = -2*r. Does 7 divide -2*-18*r/8?
False
Suppose -12 = -p + 2*g, -p + 5*g - 35 = -5*p. Let i = 93 - 6. Is 17 a factor of i/5 - p/25?
True
Let p(k) = 4*k - 21. Let c be p(6). Suppose z = -c*q + 2*q - 5, 4*q + 20 = z. Let w = z + 18. Does 9 divide w?
True
Let d be -5*33*-1 + -4. Let t = d + -56. Suppose -m + 15 + t = 0. Is 25 a factor of m?
False
Let f(l) = -27*l - 242. Does 8 divide f(-19)?
False
Let z = 4 - 4. Let v be z/((-2 + 0)*-1). Suppose -3*l = v, 4*t + 45 = l + 117. Is t a multiple of 9?
True
Suppose 5*f + n - 16 = -n, -3*n = 6. Let w be 0/f*(3 + -2). Suppose -i + 42 - 13 = w. Is i a multiple of 5?
False
Let h(x) = x**3 - 27*x**2 + 55*x - 27. Is h(26) a multiple of 7?
False
Suppose -2099 = 3*k - 4*k + 2*n, n + 6302 = 3*k. Suppose -6*q = 5*q - k. Is 22 a factor of q?
False
Suppose -8*y = -4381 - 635. Is 6 a factor of y?
False
Suppose 34840 = 15*r - 2*r. Does 58 divide r?
False
Let j(z) be the first derivative of 93*z**2/2 - 5*z - 10. Is 10 a factor of j(1)?
False
Suppose 9207 = -2*a + 3*a. Let f be (3 - 4)*-20 + -4. Is 35 a factor of 6/f + a/88?
True
Suppose 5*t - 110 = -0*t. Does 4 divide t?
False
Suppose 3*u + 5*t + 948 = 0, -u + 0*u + 3*t - 316 = 0. Let m = u + 484. Is 31 a factor of m?
False
Let i(q) = q**3 + 15*q**2 + 30*q - 11. Is i(-8) a multiple of 49?
False
Let s = 59 + -59. Let r be (81 - 0) + (-2 - -2). Suppose j = -s + r. Is 17 a facto