*w - 8. Let u(i) = i**2 - 7*i - 1. Suppose -5*n - 1 = -41. Let a be u(n). Is 21 a factor of y(a)?
False
Suppose -3*n + 2*n = -9. Let h = n + -6. Suppose 2*a + 3 = h*a. Is 3 a factor of a?
True
Suppose -5*f + 4 = -6. Suppose f*d + 1 + 7 = 4*s, -2*s = -3*d - 4. Suppose 4*p = -d*p + 28. Is 7 a factor of p?
True
Let m = 5 + -1. Suppose 0 = -f + m*f - 39. Is 2 a factor of f?
False
Suppose -205 = 4*i - 9*i. Is i a multiple of 41?
True
Let b be 3/5 + 4/10. Suppose 16 = 5*j + b. Suppose -j*t + 54 = 21. Is 11 a factor of t?
True
Let w be 4/22 + (-2298)/(-66). Suppose -w = -3*k + 91. Is 14 a factor of k?
True
Suppose 4*f + 5*m = 377 + 383, -4*f + 5*m = -720. Suppose -2*n + 7*n = -5*p + f, -4*n = p - 28. Is p + 4/((-2)/1) a multiple of 14?
False
Let w(j) = j**2 + 10*j - 16. Let x(p) = 2*p**2 - 2*p - 2. Let k be x(2). Suppose i = -b - 13, 0*i - k = 2*i. Does 5 divide w(b)?
False
Let v = -65 - -94. Does 25 divide v?
False
Is 6 a factor of (-3)/(-8)*2 + 1331/44?
False
Let g be -3 + (-4 - -3 - -4). Suppose g*x + 3*x = 102. Does 17 divide x?
True
Let h be (-16)/(-10) - 2/(-5). Let o be (-17)/(0 - h/4). Let b = o + -24. Does 10 divide b?
True
Let i(s) = 25*s**2 - s + 1. Let h be i(1). Suppose 0 = 5*m + 5, 2*m - h = -o + 6*m. Does 10 divide o?
False
Suppose y = -0*y. Let k(v) = 2*v - 3*v + v**2 + 3 + 3*v + y*v. Does 17 divide k(4)?
False
Suppose -2*p = -4*c + 88, 4*c = -c - p + 96. Suppose n - c = 41. Does 17 divide n?
False
Suppose -2*a + 10 = 0, 5*d + 3*a + 20 = -45. Let t be (d/6)/(3/(-36)). Is (-9)/3*t/(-6) a multiple of 12?
False
Let k(z) = -z**2 + 7*z + 5. Let d be k(7). Suppose -3*j = d*v - 234, -4*j - 2*v + 125 + 187 = 0. Is 26 a factor of j?
True
Suppose -4 = -2*s - 3*n + 26, -2*s + 2 = -4*n. Suppose -p + 12 = -s. Does 6 divide p?
False
Let y be (-28)/(-10) + (-3)/(-15). Let z(u) = -u**3 + 5*u**2 + 3*u. Let i be z(y). Let h = i - 16. Is 8 a factor of h?
False
Let u = 525 + -357. Suppose -d - u = -3*d. Does 23 divide d?
False
Suppose -5*u = -7*u + 288. Is u a multiple of 24?
True
Suppose -5*u - n = -12, u = n + 4*n - 8. Let q(z) = 5*z**2 - 7*z**2 + z**u + 1 + 47*z**3. Does 17 divide q(1)?
False
Let r be (-1 - 4)*(-1 - 1). Let o be -11 - 5/(r/4). Is -3 - -1 - -2 - o a multiple of 7?
False
Let b = -119 - -56. Let g = -27 - b. Let h = g + -2. Does 19 divide h?
False
Let a(n) = -4*n**3 - 4*n**2 - 3*n. Let h(d) = -d**2 - 7*d + 6. Suppose 3*p = -35 + 11. Let s be h(p). Does 15 divide a(s)?
False
Suppose 5*q + 4*c = 0, 2*q - 7 = 4*q + 3*c. Let y(a) = -a - 4 - q*a + 3*a. Is y(-6) a multiple of 8?
True
Suppose 2*x - 882 = -5*x. Does 42 divide x?
True
Suppose -1 - 14 = -3*c. Suppose c*r - 84 - 106 = 0. Does 19 divide r?
True
Suppose -h + 0*h + 225 = 2*l, 5*h - 3*l - 1060 = 0. Is h a multiple of 28?
False
Suppose m = -36 + 10. Let w = 9 - m. Suppose -5*l - 5*t = -w, 0 = 4*l - 2*t - 31 - 27. Is 7 a factor of l?
False
Suppose 2*y = -5*g - 0*y - 187, -5*g = y + 186. Let m = -24 - g. Is m a multiple of 13?
True
Is 19 a factor of 4/(-30) + (-5148)/(-135)?
True
Let s be (-2)/5 - (-6)/(-10). Is 7 a factor of (22/(-4))/(s/2)?
False
Let u be (-1 - -5)*(-15)/(-12). Suppose 0*j - 155 = -u*j. Is 13 a factor of j?
False
Let j(o) be the third derivative of -o**6/120 + 3*o**5/20 - o**4/24 + 13*o**3/6 - 4*o**2. Is j(9) a multiple of 4?
True
Let k(h) = -h**2 + 5*h + 3. Let j be (-2)/(1 - 5/4). Let y be k(j). Let w = y + 35. Is 6 a factor of w?
False
Suppose z + 2*t = 7, 14 = 2*z + 6*t - 3*t. Does 3 divide z?
False
Let j(a) = -a + 13. Let m be j(10). Suppose -g = g + m*l - 99, 0 = g - 5*l - 17. Is g a multiple of 21?
True
Suppose 5*t = 4*t + 3*t. Suppose 0 = 5*k - 30 - 15. Is -1 + k + (t - -2) a multiple of 5?
True
Let o(c) = 5*c - 1. Suppose -n - 4*n + 40 = 0. Does 14 divide o(n)?
False
Let g(k) = -31*k + 1 - 15*k + 13*k. Let l be g(-2). Suppose -d = 20 - l. Is d a multiple of 17?
False
Let p(b) = -b**3 - 5*b**2 + 7*b. Let f be p(-6). Let t = f + 2. Is 6 a factor of 272/44 + t/22?
True
Is 17 a factor of -2 - -1 - -206 - (5 + -4)?
True
Let p(v) = -v**2 + 4. Let u = 5 + -5. Is p(u) even?
True
Let t(s) = -s**2 + 6*s + 4. Let u be t(6). Suppose -3*c - u*j = -77, 5*c - 3*c + 4*j = 58. Is 9 a factor of c?
False
Suppose 0 = -m + 6*m - 190. Is 11 a factor of m?
False
Suppose 0 = -4*y + 20, -3*x + 2*y + 56 = -x. Suppose -3*l - 3 = -x. Does 5 divide l?
True
Let h(u) = -51*u**3 + u**2 + 8*u. Is 36 a factor of h(-2)?
True
Let x(u) = u**3 - 3*u**2 - 6*u - 7. Let r(y) be the third derivative of -y**5/60 + 7*y**4/24 + 5*y**3/6 - 2*y**2. Let j be r(7). Is 5 a factor of x(j)?
False
Suppose -6*i - 10*i = -6048. Is i a multiple of 63?
True
Suppose 10 = 3*m + 4*x - 0, -4*x + 20 = 4*m. Is 5 a factor of m?
True
Suppose 47 = h - t, 3*t + 240 = 5*h - t. Suppose -5*a + h = -63. Is a a multiple of 11?
False
Suppose -3*m = 2*t - 18, -m = 2*t + 1 - 11. Is ((-158)/(-3))/(2/t) a multiple of 21?
False
Let j(x) = 2*x**2 + 9*x - 19. Does 8 divide j(9)?
True
Let i = -4 + 7. Suppose -5*s - 2 = -i*s. Is 2 + (s - -24) + 0 a multiple of 11?
False
Let u be (-1)/2*(0 - 0). Is 2/(-6)*u + 3 a multiple of 2?
False
Let h(o) = o**2 + 4*o - 4. Let d be h(-6). Suppose 7*i = d*i - 29. Is i a multiple of 12?
False
Suppose 2*i + n = -i + 113, 2*n - 152 = -4*i. Is i - ((0 - 3) + 4) a multiple of 18?
True
Let q(h) = -2*h - 11. Let g be q(-7). Suppose -g*j + 193 = 5*k, -5*j + 3*k + 238 = -j. Is j a multiple of 24?
False
Let q(n) = 17*n**2 - n. Let j = 22 + -21. Does 8 divide q(j)?
True
Suppose -50 = -2*h - 3*h. Suppose m - h - 18 = 0. Does 11 divide m?
False
Let h = -9 - -2. Let r be 15*h/((-35)/6). Is r*(-3 + 11/3) a multiple of 6?
True
Let f = 12 - 7. Suppose b + 20 = f*b. Suppose -3*w = 2*w + 4*c - 42, -2*c = -b*w + 24. Does 3 divide w?
True
Suppose 3*j + 196 = -95. Let o = j - -168. Let u = o + -40. Does 15 divide u?
False
Let k be (-46)/(-14) + 4/(-14). Is 5 a factor of k/24*4*10?
True
Let c(p) = p**2 - p + 6. Let x(v) = -6 + 0*v + 0 + v**3 + 4*v**2 - 5*v. Let i be x(-5). Is 18 a factor of c(i)?
False
Let b(c) = -c**3 + 5. Let u be b(0). Suppose -24 = -2*p + 4*m, u*p - p = -4*m - 12. Is 18 a factor of (p/4)/(2/72)?
True
Let d(g) = g**2 - 7*g + 3. Let u(o) = o**3 - 2*o**2 - o + 4. Let y be u(3). Let q = -2 + y. Does 11 divide d(q)?
True
Let s(d) be the first derivative of 4*d**3/3 - d**2 - 3*d + 1. Does 4 divide s(-2)?
False
Let d(y) = y**3 + 4*y**2 - 4*y - 2. Let j be d(-4). Suppose 2*v - j = v. Is v a multiple of 6?
False
Suppose 0 = -5*l - 7 - 28. Let n = -5 - l. Suppose -n*b - 3*q + q + 36 = 0, 0 = -4*q - 16. Is b a multiple of 11?
True
Let t = -19 + 77. Is t a multiple of 10?
False
Let l be -3 + 2 + (-2 - -3). Suppose 0 = 5*a - 4*n - 32 - 98, l = 3*n. Is 13 a factor of a?
True
Is 10 a factor of -30*(3/1 - 4)?
True
Let y(z) be the first derivative of z**2/2 + 19*z + 2. Is 8 a factor of y(0)?
False
Let i(o) = o**3 + 9*o**2 + 6*o - 9. Suppose 38 = -4*b + 3*z, -b - z + 10 = -2*b. Is i(b) a multiple of 5?
False
Suppose -11*m = -14*m + 30. Suppose m*a = 4*a + 354. Does 12 divide a?
False
Suppose -3*t - k - 4 = 0, 0*t + 2*t - 4 = -4*k. Let c = -3 - t. Is (c/2)/((-1)/14) a multiple of 7?
True
Suppose 4*h = -5*l + 111 - 41, -2*h + 10 = 0. Does 5 divide l?
True
Let d(n) = n**3 + 9*n**2 - 2*n. Let s be d(-9). Suppose -3*x + 105 = 3*c, -4*c + 88 = 3*x - 19. Suppose 5*l - s = 4*u, -3*l = 2*l + u - x. Is l a multiple of 5?
False
Let v = 29 - 25. Is 4 a factor of v?
True
Let g(t) = -2 + 3 - t**2 + 13*t - 8. Let q be g(9). Let f = q - 9. Does 14 divide f?
False
Let y = -30 - -50. Is (4/(-6))/(y/(-810)) a multiple of 27?
True
Suppose n - 14 = -2*n - f, -n - f = -6. Suppose 5*q - 5*l = -5, n*l + 0 = 5*q + 1. Is q a multiple of 2?
False
Does 16 divide 3*20/15 - -12?
True
Let r = -47 + 29. Let j = 28 + r. Is j a multiple of 8?
False
Let z = 71 + -25. Is 23 a factor of z?
True
Suppose -27 = -5*r - 7. Let s be (1 + r)*(-3)/(-5). Suppose s*a = -0*a + 18. Is a a multiple of 3?
True
Suppose 2*w = -4*l - 0*w - 28, 21 = -3*l - 3*w. Let m(u) = -6*u - 6. Is 18 a factor of m(l)?
True
Suppose -y + 4*n + 6 = -2*y, 0 = 4*y + 4*n - 12. Let r be (y - 2) + 0 + -1. Is 4/((-2)/r*-3) a multiple of 2?
True
Suppose 2*i = 3*z + 5*i + 12, 5*z - 4*i + 2 = 0. Let u = 9 + z. Is u a multiple of 2?
False
Let k = 45 - 27. Is k a multiple of 18?
True
Let a(g) be the t