(-1)/(-6)). Let a be b(f). Suppose -3*l + a*k = -82, 3*l - 4*k - 86 = -0*l. Is 17 a factor of l?
False
Suppose -w - 20 = 5*x, 5*w - 3*x = w + 35. Let s(o) = -o**3 + 3*o**2 + 4. Let v be s(3). Suppose 2*y - 6*y = w*k - 20, 5*y - v*k = 25. Does 5 divide y?
True
Let v(o) = -o + 4. Let n be v(0). Let m be 2 - 2*-11*n. Suppose 106 = 4*q - m. Is q a multiple of 21?
False
Suppose 5*f - 108 = f. Does 3 divide f?
True
Let n(f) = f**3 - 9*f**2 - 6*f + 8. Is n(10) a multiple of 12?
True
Let q be (-216)/(-16)*4/6. Is 8 a factor of 5/(60/q)*20?
False
Suppose j = -3*p + 461, j = -4*p + 4*j + 619. Is 11 a factor of p?
True
Suppose 0 = 4*l - 4, 6*z - 2*z - 68 = -4*l. Let o = -4 + z. Is o a multiple of 4?
True
Suppose 2*b + 16 = -2*b. Let h be 2/b + 33/6. Suppose h = a - 10. Does 8 divide a?
False
Let z be 2/(-5) - (-208)/20. Let v be (-2)/z - 343/35. Is 3 a factor of 4/v*(-9 - 1)?
False
Suppose 2*m = 5*m - 12. Suppose 17 = -3*v - m. Does 9 divide 12/v*(-63)/6?
True
Let z(p) = 2*p**2 - 10*p + 17. Does 13 divide z(8)?
True
Let h = 7 + 31. Does 9 divide h?
False
Let w = 37 + -27. Is 13 a factor of (3 + w)/(3 - 2)?
True
Suppose -2*q - s - 2*s + 9 = 0, -3*s + 9 = 0. Let u be (-1)/5 + (-16)/(-5). Suppose u*d - 6*d + 21 = q. Does 2 divide d?
False
Let u = 208 + -83. Is 18 a factor of u?
False
Suppose -8 = 4*x, 4*c + 4*x + 195 = 483. Is c a multiple of 4?
False
Suppose 6*y - 9 = 3*y. Suppose -y*g = -2*x + 49, -3*g = 4*x - 0*x - 125. Suppose 40 = 3*j - x. Does 20 divide j?
False
Suppose 0 = 2*p - 2 - 22. Does 12 divide p?
True
Is 12 a factor of (-2928)/(-30) - (-2)/5?
False
Suppose -3*l - 11 = -2, u - 15 = 3*l. Suppose 5*t + 2 = u*t. Suppose 4*m + 18 = 3*b, -t*m = 5*b + 1 - 5. Is b a multiple of 2?
True
Let x = 2 + -2. Suppose x*d - 6 = -d. Is 3 a factor of d?
True
Suppose 0*v + 3*v - 480 = 0. Does 40 divide v?
True
Is (1 - 2)*(42 + 1)*-1 a multiple of 43?
True
Let p = -21 - -26. Suppose -19 - p = -j. Is 12 a factor of j?
True
Suppose 15*k - 204 = 12*k. Is 17 a factor of k?
True
Suppose 5*r + 0*r + 200 = 0. Let n be (8/10)/((-2)/r). Suppose 5*q - n = 14. Is 4 a factor of q?
False
Suppose -5*y + 233 = -4*s + 2*s, 0 = -2*y - 2*s + 82. Is y a multiple of 9?
True
Suppose -3*i = -2*q + 20, 4*q + 2*i - 22 = -i. Let t(y) = 2*y + 7. Is 6 a factor of t(q)?
False
Suppose 0 = -l - 5*t + 69, -228 = -2*l - 2*l - 4*t. Suppose -4*w = -l + 2. Is w a multiple of 7?
False
Let b(s) = s**3 + 7*s**2 + 2*s - 2. Does 3 divide b(-3)?
False
Suppose z + 1 = -2, -2*a - 75 = 3*z. Let v = 46 + a. Does 2 divide v?
False
Suppose 0 = 3*j - 13 - 347. Suppose -3*o + j = 2*o - s, 5*o - 120 = -5*s. Is 5 a factor of o?
False
Let z = 90 + -63. Suppose -d - 4 = -z. Is 14 a factor of d?
False
Let d = 41 - 16. Let q = -13 + d. Is q a multiple of 8?
False
Suppose 3*f = 4 + 2. Let s(a) = 2*a**2 - 3*a**2 + 11 + f*a**2. Is s(0) a multiple of 4?
False
Suppose -2*b + 0*y = -3*y - 395, 2*b - 5*y - 385 = 0. Is b a multiple of 41?
True
Let x(w) = -w + 10. Let z be x(-7). Suppose r - 2*r = -z. Is r a multiple of 6?
False
Let p(t) = -t + 10. Is p(-8) even?
True
Let q be 1*(1 + 0/(-2)). Let s be (35 + (-1)/1)*q. Let d = 50 - s. Is d a multiple of 6?
False
Let j(b) = 20*b + 9. Does 16 divide j(7)?
False
Let l be (-3 - -3) + 1 - -4. Suppose -r + 11 = -5*r + 5*t, 0 = t - 3. Does 5 divide (-3 - -2) + r + l?
True
Let l(u) = -u**2 + 10*u - 7. Suppose -1 = -x - q + 6, 5*q + 29 = 3*x. Let t be l(x). Suppose t*s - 4*s = 60. Is s a multiple of 12?
True
Suppose 0 = 2*x - b - 337, 8*b + 173 = x + 3*b. Does 14 divide (0 + -1)/((-3)/x)?
True
Suppose -4*a = 4*u - 436, 0*u = -5*a - 2*u + 533. Does 21 divide a?
True
Suppose 3*a - 28 = -2*g, a + 3*g - 5*g + 4 = 0. Is a a multiple of 4?
False
Let n(l) = -l**3 - 11*l**2 + 18*l + 43. Is 23 a factor of n(-13)?
False
Is 74*(4 - 6)*-1 a multiple of 37?
True
Suppose -3*n + f = n + 8, 3*n + 2*f = 5. Let o be 3 + n - 1*-6. Let w = 0 + o. Is w a multiple of 4?
True
Let c be 5/(-2)*16/(-10). Suppose c*j - 11 - 27 = 3*v, -2*j - 16 = v. Is 6/v - (-290)/7 a multiple of 22?
False
Suppose -y - 5*y + 600 = 0. Is 20 a factor of y?
True
Let b = -9 - -22. Let w = -7 + b. Suppose -w*v = -2*v - 84. Does 21 divide v?
True
Let g(t) = t**3 + 4*t**2 + 2*t + 2. Let u be g(-3). Suppose 0 = u*b + 15. Is b*(-2)/((-4)/(-10)) a multiple of 15?
True
Let w(x) = x**3 - 17*x**2 + 19*x - 4. Is w(16) a multiple of 11?
True
Does 13 divide 18/72 - (1774/(-8) + 1)?
True
Suppose -4*x + 116 = 4*c, 3*x + 6*c - 89 = c. Does 14 divide x?
True
Let l(x) = x. Let d be l(6). Suppose -i = -32 + d. Does 13 divide i?
True
Suppose 0 = s + 2*o - 49, 35 = 2*s + o - 60. Does 9 divide s?
False
Suppose -4*y = 23 - 143. Is y a multiple of 25?
False
Let d(b) be the third derivative of -b**6/120 - b**5/6 + 5*b**3/6 - 4*b**2. Let x be d(-10). Is 1164/30 + 1/x a multiple of 13?
True
Let w(v) = 3*v + 35*v**2 - 34*v**2 + 1 + 1 + 0. Is w(-5) a multiple of 6?
True
Let s(f) = 20*f**3 - 29*f**2 - 23*f - 6. Let j(a) = 7*a**3 - 10*a**2 - 8*a - 2. Let w(x) = 17*j(x) - 6*s(x). Is w(4) a multiple of 7?
False
Let q = 50 + 85. Suppose -i - q = 4*i. Let u = i + 46. Is u a multiple of 5?
False
Suppose -2*r + 8 = q, 7 = 3*r + 2*q - 6. Let g(s) = 1 + 7*s + 3*s**2 + s**r + 2*s**2 + 2*s**2 + 0*s**2. Is 16 a factor of g(-5)?
True
Let a(l) be the first derivative of -l**2/2 + 7*l - 1. Let f be a(7). Is 0 - (-2 - f - 33) a multiple of 14?
False
Let d(c) = 13*c**2 + 3*c + 3. Let j be d(3). Suppose 3*p - 4*f = j, 3*p - 3*f - 10 = 119. Suppose s - 5*s = -5*g - p, 31 = 4*s - g. Does 7 divide s?
True
Let w(x) = -x**3 + 6*x**2 + 3*x + 6. Let v(b) = b**2 + 10*b - 12. Let a be v(-11). Let n be a*(2 + -3 - 5). Does 14 divide w(n)?
False
Let v(t) = -t**2 - 11*t - 18. Does 5 divide v(-8)?
False
Let v = -6 + 8. Suppose -3*z = 8 - 2, 0 = -v*i + z + 62. Suppose 0*d = 3*d - i. Is d a multiple of 5?
True
Let j = 41 + 26. Is j a multiple of 18?
False
Let r(p) = -3*p + 14. Does 4 divide r(-6)?
True
Let k = -3 + 5. Let x(i) = 5 - k - 10*i + 7*i. Is x(-7) a multiple of 12?
True
Suppose -2*p - 84 = 2*p. Is (54/p)/(15/(-140)) a multiple of 24?
True
Let m(p) be the first derivative of p**7/840 + p**4/12 - 2*p**3/3 + 2. Let a(h) be the third derivative of m(h). Is 5 a factor of a(2)?
True
Suppose -204 = -4*x + 2*a, -3*x + a = -6*x + 143. Does 11 divide x?
False
Let l(u) = -u**3 + 2*u**2 - u + 4. Let w be l(-3). Suppose 2*h = 9 - 1. Suppose 2*c + 2*c = -h*s + w, -4*c = 5*s - 66. Does 7 divide s?
True
Let j(a) = -a**2 + 1. Let o be j(-1). Suppose 2*t = -u - 8, -t + o*u - 14 = -2*u. Is -11*3/t*2 a multiple of 4?
False
Let t = -4 - -5. Let n = t + 14. Is 15 a factor of n?
True
Let n = -68 - -128. Does 20 divide n?
True
Suppose -z + 0 = -2. Let t = 0 - z. Is 6*t*12/(-8) a multiple of 9?
True
Let l = -107 + 287. Does 16 divide l?
False
Let r be (-1 + 0)/(2/(-6)). Suppose 2*f + r = 19. Is f a multiple of 8?
True
Suppose -4*d - 605 = -5*t, -142 - 373 = -4*t - 3*d. Does 25 divide t?
True
Let w(q) = 4*q - 15. Is w(15) a multiple of 9?
True
Let o(y) = y**2 + 3*y + 1. Let q be o(-1). Let z(f) = -2*f**3 + f**2 - f - 1. Let n be z(q). Suppose 2*m - n*m = -16. Is m a multiple of 8?
True
Let i(h) = -h**2 + h + 6. Let c be i(0). Suppose -t = -0 - c. Is t a multiple of 6?
True
Let k = -41 - -61. Is k a multiple of 5?
True
Let h(m) = -m**2 + 3*m - 2. Let j be h(4). Is 11 a factor of (-57)/(-2)*j/(-9)?
False
Suppose 0 = -r - 3*r + 64. Is r even?
True
Let m be -1 - -48 - (-3 - -5). Suppose 50 + m = 5*l. Does 13 divide l?
False
Suppose -316 = -3*z - 2*r - 73, -4*r = -12. Does 15 divide z?
False
Suppose -5*f + 113 = 33. Does 8 divide f?
True
Let w(v) = v**2 + v - 2. Let t = 10 + -13. Is w(t) even?
True
Let i = 160 + -99. Does 13 divide i?
False
Let f(l) = -l - 9. Is 4 a factor of f(-15)?
False
Let m = 0 - -10. Suppose n - 5*i = m, 5*n - 4*n - 19 = -4*i. Is n a multiple of 15?
True
Suppose -3*q = 4 + 17. Let s = 11 + q. Suppose s*j + v = 189, 132 = 3*j + 6*v - 2*v. Is 24 a factor of j?
True
Let w(s) = s + 10. Let t be w(-7). Suppose -d + 11 = 3*j, 0*d + t*j = 5*d - 91. Is d a multiple of 5?
False
Let k(j) = 1. Let z(x) = -60*x + 10. Let o(l) = -10*k(l) + z(l). Let i be o(-3). Suppose -2*c - i = -5*f - 23, -3*f = 3*c - 90. Is 15 a factor of f?
False
Suppose -2*h + 4*h = -m + 14, 5*h - 61 = 4*m. Let k(p) = -p**3 + 9