(c). Does 2 divide n(-6)?
False
Let b be 10/(-15) + (-26)/(-3). Let j = 13 - b. Does 2 divide j?
False
Suppose -5*w + 5*b = -5, 0 = -2*w + 4*b - 2 - 0. Suppose 0*l - 5*l - o + 257 = 0, 0 = 4*l + w*o - 199. Is 26 a factor of l?
True
Suppose 0*h - h = -4. Let c(i) = 2*i**2 - 2*i + 6. Is 15 a factor of c(h)?
True
Let z be 466/10 - 6/(-15). Let f be (-2)/(-5) + (-147)/5. Let u = f + z. Is u a multiple of 9?
True
Let h = -23 + 263. Does 15 divide h?
True
Suppose -5*v + 10*v + 5 = -3*x, -5*v = 20. Suppose -5*r = j - 27, 2*j - x*r + 63 = 6*j. Is j a multiple of 6?
True
Is 9 a factor of (-20)/(-5) + (-46)/(-2)?
True
Let b(w) = -w**3 - 4*w**2 + 6*w + 5. Let i be b(-5). Suppose -y = 2 - i. Does 14 divide 98*(-1)/y*1?
False
Let a = 73 - 25. Let y = -1 + a. Is y a multiple of 20?
False
Suppose 0*x - 3*q = -3*x + 180, 0 = 2*x + q - 135. Is 16 a factor of x?
False
Is 29 a factor of 2050/35 + 0 + (-4)/7?
True
Let k = -20 - -30. Let n be (8/k)/(4/10). Suppose -4*o - 60 = -5*b, o - 1 = -n*b - 2*o. Does 4 divide b?
True
Let u(h) = h**3 - 7*h**2 + 9*h + 1. Is 16 a factor of u(7)?
True
Is 16 a factor of 1/(-3) + (-2288)/(-24)?
False
Let n = -27 + 126. Does 9 divide n?
True
Let j(w) = w - 10. Let p be j(12). Suppose 0 = -2*o - 2*h + 12, p*o + 0*o + h - 12 = 0. Does 3 divide o?
True
Let u(g) = 32*g - 6. Let x be (4/10)/(2/20). Let y be u(x). Suppose 42 = -4*l + y. Is 9 a factor of l?
False
Let t(m) be the first derivative of -m**5/8 - m**4/24 - m**3/3 - 2. Let u(i) be the third derivative of t(i). Does 14 divide u(-1)?
True
Let k be (-32)/(-6)*6/4. Let p = k + -3. Is p a multiple of 3?
False
Suppose -5*m + 218 = -202. Is m a multiple of 28?
True
Let g = 11 - 6. Is 4 a factor of g*(3 - (-2)/(-1))?
False
Let s(h) = -h**3 - 13*h**2 + 12*h - 18. Let x be s(-14). Is 13 a factor of (32/5)/(2/x)?
False
Let h = 128 - 93. Is h a multiple of 7?
True
Let h = 49 + -25. Does 14 divide h?
False
Suppose -3*g + 6 = -3*h, -6*g = -2*h - g - 16. Let v be (20/(-15))/(h/(-6)). Suppose -i + v*i = 66. Is i a multiple of 10?
False
Suppose -5*h + q + 45 = 0, 4*q - 27 = 4*h - 7*h. Is h a multiple of 7?
False
Let n(s) = 7*s**3. Let o be n(1). Let v = 14 - o. Is 7 a factor of v?
True
Suppose -4*k = 2*f - 6, -7*f + 3*f = 2*k - 24. Let n = f + 25. Is n a multiple of 14?
False
Suppose -4*l = -7 - 5. Suppose -90 = -l*z - 0*z. Is z a multiple of 13?
False
Suppose 0 = 4*m - 2 - 10. Suppose m + 21 = 3*h. Does 4 divide h?
True
Let t be (-2)/(-3) - 6/9. Suppose -5*i + 4*i + 23 = t. Is 12 a factor of i?
False
Let n be ((-9)/(-12))/((-5)/(-360)). Suppose 0*y + n = 5*t - y, 0 = -3*t + 4*y + 46. Is 5 a factor of t?
True
Suppose 154 = q + 5*u, -593 = -3*q + u - 163. Does 18 divide q?
True
Let b = -409 + 605. Suppose -3*k = 3*r - k - 164, 4*r = 3*k + b. Does 13 divide r?
True
Suppose -3*t - 41 = -4*l, 0*l - 4*t - 28 = -2*l. Does 3 divide l?
False
Let c(x) = -x**2 - 2*x + 1. Let f be c(1). Does 6 divide (-32)/(-6) - f/3?
True
Suppose 0 = 3*m + m - 180. Is m a multiple of 23?
False
Suppose 3*o + 2*g - 73 = 0, 0*g = -4*o + 5*g + 105. Suppose o = 3*f - 8. Is 5 a factor of f?
False
Let y be (-1917)/(-18) + (-2)/4. Suppose -5*c + y = -209. Does 22 divide c?
False
Suppose r = 59 - 25. Does 17 divide r?
True
Is 8/(-24) - (-199)/3 a multiple of 33?
True
Suppose -3*u = -4 - 2. Suppose 4*o + 28 = -0*b + u*b, 3*b + o = 7. Is b a multiple of 4?
True
Let x(t) = 36*t + 2. Let f be x(2). Suppose 4*i - h = h + f, -2*h - 6 = 0. Is 6 a factor of i?
False
Does 18 divide ((-44)/10)/(2/(-10))?
False
Suppose 5*z - 2*z = 0. Suppose -5*w - i + 14 = z, 2*w - i - 5 = -2*i. Suppose -2*m + 3 = -4*h + w*h, -10 = -5*m + 2*h. Is 3 a factor of m?
False
Let d = 1 - -4. Suppose -49 = -4*w - x, d*x - 69 = -4*w - 0*x. Does 11 divide w?
True
Let f(v) = v**3 + 2*v - 2. Is f(3) a multiple of 4?
False
Suppose 0 = 4*p - 20, -2*u - 2*p = p - 3. Does 6 divide 2/u - 49/(-3)?
False
Let h(x) = -x**3 + 11*x**2 + 17*x + 1. Let w be h(12). Let f = w - 32. Does 18 divide f?
False
Suppose 16 = 3*g - 2*m - 0, 3*g = -5*m + 2. Suppose y - g*y = -x - 121, 2*x - 45 = -y. Is y a multiple of 14?
False
Let m(z) = z**3 + 7*z**2 + 6*z + 7. Let w be m(-6). Suppose 4*d = 5*s - 4, -2*s + 9 + 11 = 3*d. Suppose 9 = s*u - w. Is u a multiple of 2?
True
Suppose -3*g = -2*t - 271, -4*t = -7 - 9. Is 31 a factor of g?
True
Let b be 21/6 + (-3)/2. Suppose b*j - v - 8 = -3*v, 3*v = 4*j - 30. Does 6 divide j?
True
Let n(i) be the second derivative of -i**5/20 - 5*i**4/6 - i**3/3 - 5*i**2/2 - 3*i. Does 10 divide n(-10)?
False
Let u = 92 - 59. Does 11 divide u?
True
Let h(o) = 60*o**2 - 2*o + 1. Does 8 divide h(1)?
False
Let w(a) = 3 - 1 + 0 + 3*a. Does 11 divide w(14)?
True
Suppose 4*l - p - 154 = p, 0 = -3*l - 5*p + 135. Does 10 divide l?
True
Let i(m) be the second derivative of -m**6/720 + m**5/20 - m**4/12 - 3*m. Let u(q) be the third derivative of i(q). Is u(-5) a multiple of 6?
False
Let y = 10 + -76. Let u be y/(-14) - (-12)/42. Let t = u - -11. Is 16 a factor of t?
True
Let r(z) = z**2 - 3*z - 6. Let y be r(-5). Suppose 0*i - s - y = 2*i, s + 50 = -3*i. Is 3 a factor of (-2)/8 + (-100)/i?
True
Is (-11)/(-2*3/30) a multiple of 19?
False
Suppose 5*o + 175 = 685. Is o a multiple of 16?
False
Let r = 35 - 58. Let d = r - -41. Does 6 divide d?
True
Suppose -4*b - 112 = -4*o, 2*o - 2*b = -3*b + 56. Is 28 a factor of o?
True
Let x(o) = o**3 - 5*o**2 - 5*o + 12. Is 8 a factor of x(6)?
False
Suppose -23*j - 8 = -27*j. Is j even?
True
Suppose 2*c = -c + 21. Let t(i) = i**3 - 6*i**2 - 6*i + 4. Is t(c) a multiple of 11?
True
Let m(o) = -o**3 + 11*o**2 + 3*o. Let l be m(5). Suppose 0*n + 5*n = l. Does 11 divide n?
True
Suppose 35 - 9 = -2*h. Let f = h + 85. Suppose f = -q + 4*q. Is 12 a factor of q?
True
Suppose 3*h - 5*u - 100 = 0, h + 3*u + 65 = 3*h. Let m = 249 + -143. Suppose h = 5*j, -3*i - 2*j - 33 = -m. Is i a multiple of 9?
False
Suppose 0 = -12*s + 10*s + 26. Does 2 divide s?
False
Let i = -17 - -75. Is i a multiple of 29?
True
Let c(j) = -j**2 + 27*j + 18. Is 16 a factor of c(17)?
False
Let x = -69 + 109. Is 8 a factor of x?
True
Let u(s) = -s**2 - 9*s - 7. Let k be u(-3). Let c = k + -6. Does 5 divide c?
True
Suppose 0*u + 1 = 2*n - u, -8 = -n - u. Suppose -n*w = -1 - 20. Is 3 a factor of (-2)/(-1) + w + -1?
False
Let x = -1 - -6. Suppose 82 = x*d + j, -2*j + 5 = 5*d - 79. Suppose d = 3*y - 50. Is y a multiple of 11?
True
Suppose y + 2*y = 45. Is y a multiple of 6?
False
Let r(s) = -3 + 0 + 2*s - 8*s + 0*s. Let u(o) = -11*o - 6. Let w(g) = -5*r(g) + 3*u(g). Is 7 a factor of w(-5)?
False
Let s(z) be the third derivative of -5*z**4/12 - 5*z**2. Is s(-2) a multiple of 10?
True
Is 21 a factor of 6/(-21) + 886/14?
True
Is (27/6)/(6/16) a multiple of 3?
True
Let p be 2 - 0 - (-1 + 0). Let r = -4 - -23. Suppose -p*d = 4 - r. Is d a multiple of 5?
True
Suppose -4*z + 3*v - 2*v = -172, -2*v - 8 = 0. Suppose 8*h - 122 = 3*h - 2*f, -h = -4*f - z. Suppose h = -3*o + 4*o. Does 25 divide o?
False
Let w be 22 + (3/(-3) - -1). Suppose w = -2*z + 3*z. Is z a multiple of 9?
False
Let t be (-1)/((-6)/(-20))*3. Let v = t - -10. Suppose -84 = -3*a - v*a. Is 14 a factor of a?
True
Let y(x) = -x + 4. Let p be y(7). Let u = -1 - p. Suppose 6*c - 160 = u*c. Is c a multiple of 16?
False
Suppose 2*i = 5 + 3. Let r be (2/2)/(2/i). Suppose -h + 6 = -r. Does 4 divide h?
True
Is (-115)/10*3*-2 a multiple of 10?
False
Let d(q) = -q**3 + 7*q**2 + q + 5. Let h be d(6). Suppose 4*t - 2*u - 3*u - h = 0, 21 = 3*t + u. Does 4 divide t?
True
Suppose 2*u - 5*a = 35, 5*u - 3*a - 40 = -0*a. Suppose 2*z = u*z + 90. Let i = 55 + z. Is 12 a factor of i?
False
Let n(o) be the first derivative of 2*o - 4 + 8/3*o**3 + o**2. Does 15 divide n(-2)?
True
Let z = 8 + -5. Suppose 0 = -z*f - 5 + 17. Suppose 2*v + 4*q - 41 = 17, -f*q = 5*v - 133. Does 12 divide v?
False
Suppose g - 5*m = 33, -3*g + 97 - 34 = -3*m. Is g a multiple of 12?
False
Let s be 2/(-6) - (-4)/12. Suppose s = -4*t + 2*c + 9 + 9, 4*t = 4*c + 24. Suppose 4*o = 5*o - t*d - 46, -o + 46 = 2*d. Is o a multiple of 12?
False
Suppose -3*n = -2*s - 6*n + 144, 3*s - 2*n = 190. Is 7 a factor of s?
False
Let d = -434 - -100. Suppose -32 = 5*u - 57. Does 11 divide (-2)/u + d/(-10)?
True
Suppose m + 3*p = 4*m - 6, p - 23 = -4*m. Let o be (1 + -2)*m*-7. Suppose 5*j = 5 +