Does 8 divide s?
False
Let c = -7 + 6. Does 20 divide (-52 - (-1 + -2))/c?
False
Suppose -4*a + 28 = -2*a. Is 14 a factor of a?
True
Suppose 2*o - 3*o = 3, 3*o - 847 = -4*z. Does 11 divide z?
False
Let c(y) = 4*y**2 + y + 1. Let f be c(-2). Let q = f + -11. Suppose -q*g + 89 = -75. Is 20 a factor of g?
False
Let k(c) be the third derivative of c**5/60 + c**4/6 - c**2. Let s be (18/4)/(6/(-8)). Is k(s) a multiple of 6?
True
Is 3/(-6)*(-24 + 4) a multiple of 3?
False
Let o = -2 - -37. Is 12 a factor of o?
False
Suppose -3*a - 2*s = 16, -2*a + 8 = -3*s - 3. Let u be a + (-1 - (-5 - 0)). Does 9 divide 24 - 1*(u + -4)?
False
Suppose 32 + 4 = 2*f. Is 6 a factor of f?
True
Suppose -2*p - p + x + 21 = 0, -3*x - 15 = -3*p. Is p even?
True
Let z be 3/6 - 49/(-2). Let n = z + 3. Does 14 divide n?
True
Let b(m) = -10*m - 6. Let s be b(5). Let o = -33 - s. Let d = o - 1. Is d a multiple of 14?
False
Let m be ((-4)/(-8))/((-1)/4). Is 19 a factor of (-351)/(-9) - (-2)/m?
True
Suppose -r = -1 - 2. Let c = 8 - 0. Let p = c - r. Is p a multiple of 5?
True
Let h be (0 - (0 + -1))*2. Suppose -4*k = -h*k - 3*g, 2*k + 8 = -g. Does 7 divide ((-28)/(-6))/((-1)/k)?
True
Let b(j) = 14*j**2 + 15*j - 23. Let o(i) = -5*i**2 - 5*i + 8. Let k(w) = -6*b(w) - 17*o(w). Is k(6) a multiple of 8?
True
Suppose 5*b + 5 = -5. Let v = b - -71. Is v a multiple of 16?
False
Suppose 2*x = 346 - 14. Is 42 a factor of x?
False
Let f be (4/3)/((-3)/9). Let u(l) = l**2 + 2*l - 2. Does 2 divide u(f)?
True
Let b be 0/1 + -4 + 6. Suppose -p + 6*k + 33 = 2*k, 0 = b*p + k - 39. Is 11 a factor of p?
False
Let m be (2/(-2))/((-2)/32). Suppose -p + 3*i + m = 0, -p - 28 = -4*p - i. Does 6 divide p?
False
Suppose -9 = -5*c - 3*m, -2*c + 2*m + 7 = -c. Suppose -c*f + 69 = 3. Is 4 a factor of f?
False
Let f = -28 + 70. Does 13 divide f?
False
Let a(x) = -x. Let d be a(-5). Suppose 5*g - 80 = -d*i, 5*i = 3*g + g + 80. Is i a multiple of 8?
True
Let x(f) = -f**3 + 6*f**2 - 4. Let s be x(6). Let q(p) = -2 + 2*p**2 + 0*p**2 + p + 0*p. Is 26 a factor of q(s)?
True
Let c = -13 + 32. Is c a multiple of 11?
False
Let u(t) = 8*t**2 - 2*t. Is u(4) a multiple of 8?
True
Let m(z) = 8*z + 4. Suppose 28 = 2*a + 2*a. Let o be m(a). Let h = o - 24. Does 18 divide h?
True
Let t(q) = -q + 3. Let u be t(4). Does 10 divide u + -14*9/(-6)?
True
Let i = -2 + 4. Suppose -i = -b - 4*z - 13, 2*z = -8. Suppose 2*j - 4*j - 2*h = -42, 0 = -b*j + 2*h + 105. Is j a multiple of 9?
False
Let t = 30 + -18. Is t a multiple of 3?
True
Let g(x) = 3*x**2 - 3*x - 3. Let v = -2 + 0. Is g(v) a multiple of 5?
True
Let i(b) = -3*b. Let a be i(-4). Let m = 0 + a. Does 9 divide m?
False
Suppose -z + 3 = 0, 125 = g + g - z. Suppose -2*t - 2*t + g = 0. Is t a multiple of 8?
True
Let q = 1 - -2. Let j = 0 + q. Suppose -j*y + 10 = -2. Does 4 divide y?
True
Suppose 4 = -3*q + 16. Suppose -35 = -q*y + 13. Does 12 divide y?
True
Let s be (10/4)/(1/(-2)). Does 11 divide s - -4 - (1 - 35)?
True
Let u be 7 + -3*4/6. Let p = -1 + u. Let i = p - -22. Is i a multiple of 11?
False
Suppose 39 = 4*x - 93. Let y = x + -23. Let k = y - 6. Does 4 divide k?
True
Suppose -5*g + 3*g = -16. Does 3 divide g?
False
Let s be (-54)/(-7) + (-2)/(-7). Suppose s = 4*r - 0. Suppose -2*o + 2*c = -23 + 9, r*c = -o - 8. Is 2 a factor of o?
True
Let h(q) = -q**2 - 9*q - 9. Let p be h(-6). Let r(k) = -k**2 + 10*k - 6. Let l be r(p). Is 14 a factor of l + (2 - 3) - -20?
False
Let h(o) = -o + 50. Is 7 a factor of h(17)?
False
Let t = 123 + -24. Is t a multiple of 20?
False
Let n(g) = g**2 + 12. Let v be n(-9). Suppose 5*l + c - 30 = v, 0 = -4*c + 12. Does 12 divide l?
True
Let a(f) = -f**2 - 13*f + 12. Is 3 a factor of a(-13)?
True
Let y(t) = -3*t**2 + 7*t - 9. Let q(b) = 2*b**2 - 6*b + 8. Let f(d) = d**3 - 3*d**2 - 5*d - 2. Let v be f(4). Let s(r) = v*q(r) - 5*y(r). Does 13 divide s(3)?
False
Let w = 37 - 24. Is w a multiple of 5?
False
Let x be (2/(-5))/(1/(-35)). Suppose 0 = 5*v - x + 4. Suppose 4*h + v*j + 24 = 90, -3*h + 2*j = -39. Is 5 a factor of h?
True
Let b = -15 + 6. Let t(c) be the second derivative of -c**4/12 - 13*c**3/6 + 5*c**2 + 3*c. Is 17 a factor of t(b)?
False
Suppose 3*u = n - 0*n + 25, -2*n = 5*u + 94. Let j = n + 57. Is 5 a factor of j?
True
Suppose -8 = -4*k - 4. Suppose 16 = -3*n - 5*a, -3*n - k = -5*n - a. Suppose -7*h + 64 = -n*h. Is 8 a factor of h?
True
Suppose -a - 35 - 34 = -y, 0 = -2*y - a + 129. Does 6 divide y?
True
Let r be 4 - (3 + 4/(-2)). Suppose -313 = -5*c - 4*s, r*s = 5*c - 0*c - 299. Is 22 a factor of c?
False
Let s = -3 + 8. Suppose s*u - 2 - 63 = 0. Is 4 a factor of u?
False
Let d = 93 + -41. Is 6 a factor of d?
False
Let p be 18/24 - 27/4. Is 16 a factor of (-8)/p*(-72)/(-2)?
True
Suppose 0 = g - 3*j - 165, 2*g - 3*j - 525 + 186 = 0. Is 28 a factor of g?
False
Is ((-190)/(-25) - 6)*20/1 a multiple of 6?
False
Is -3*17*3/(-9) a multiple of 2?
False
Let k = -9 + 44. Suppose 2*f + 5*w + 3 = 38, -5*f - 2*w = -k. Is 2 a factor of f?
False
Suppose -1 = s - 5. Suppose -4*l = -0*t - 4*t + 8, -3*t = -s*l - 6. Let u(b) = b + 7. Does 4 divide u(l)?
False
Suppose 3*x - 14 = 4*l, -l + 5*x = -6*l. Does 18 divide (-254)/(-14) + l/14?
True
Let k be (2 + 0)/(9/9). Suppose 0 = o - 12 - k. Is o a multiple of 7?
True
Suppose 3*k - 4*u = 11, k - 5 = -4*u + 4. Suppose -k*x = -x. Suppose d + 10 = 4*v, -v + 9 = -x*v + 3*d. Is v a multiple of 2?
False
Suppose -5*v + 0*v + 120 = 0. Is v a multiple of 13?
False
Does 11 divide 342/3 + 4 - 3?
False
Does 3 divide (3/(-2))/(19/(-38))?
True
Let j(b) = b**2 + 9*b + 2. Let v be j(-9). Suppose 4*y = -n + 109, -y = -7*n + v*n - 1. Does 16 divide y?
False
Is 2 a factor of 2*5/10*11?
False
Suppose -5*d + 0 = 3*o - 18, 3*o = d. Let n(f) = f**2 + 1. Let c(v) = 5*v**2 + 2*v + 2. Let r(y) = o*c(y) - 4*n(y). Is 13 a factor of r(3)?
True
Let f(b) = -6*b + 0 - 3 + 1. Does 11 divide f(-4)?
True
Suppose 2*c + 0*m - 108 = 4*m, -2*m + 10 = 0. Is 16 a factor of c?
True
Suppose -4*c + 4 = -2*c. Suppose 4*j - c*y + 0*y = -480, -4*j + y - 476 = 0. Is 14 a factor of (j - -1)*1/(-3)?
False
Suppose r + 3*r = 0. Suppose r*s - 9 = -3*s. Is s even?
False
Let l(j) be the first derivative of -5/2*j**2 - 1/3*j**3 - 3 + 4*j. Is l(-5) a multiple of 4?
True
Suppose 4*y - p - 12 = 1, 3*y + 3*p - 21 = 0. Suppose -2 = -y*h - 5*w, 2*w + 24 - 5 = 5*h. Suppose -x + 11 = 2*r, 3*r - h*x - 16 = 2*r. Does 7 divide r?
True
Let r(s) = -s**3 - 14*s**2 - 16*s - 15. Does 8 divide r(-13)?
True
Let i be -1 - 2 - 1/(-1). Let d = 0 - i. Suppose -2*s + d = -40. Does 11 divide s?
False
Let u = 1 - -2. Suppose 6 - 18 = -3*w, 0 = -v + u*w - 4. Suppose -41 = -3*g - v. Does 11 divide g?
True
Let k be 8 - -2 - 20/5. Does 10 divide (33 - k)*2/2?
False
Suppose 4*b + 0*b = 0. Suppose -2*h + b*h + 1 = y, 3*y = -4*h - 3. Suppose -57 = -h*t - 0*t. Is 16 a factor of t?
False
Let b = -22 + 10. Does 3 divide (-6)/9 + (-80)/b?
True
Let g(v) = -v**2 + 7*v - 2. Let b be g(6). Let r = b - 3. Does 16 divide (1 - 2)/r*-17?
False
Suppose -o - 2*a + 25 = 0, -o + 40 = -0*o - 3*a. Is o a multiple of 5?
False
Let u(s) = s**3 - 7*s**2 + 2*s - 3. Is 20 a factor of u(8)?
False
Let u(p) = -17*p + 4. Let n be u(-5). Suppose j - 11 = 2*m + 16, 3*j = 2*m + n. Is j a multiple of 8?
False
Suppose -4*v + 67 = 5*y, 2*v + 4*y = -0*v + 32. Is 2 a factor of v?
True
Suppose 0 = 3*r - 7*r + 12. Does 14 divide ((-2)/r)/(8/(-228))?
False
Let c be (-2)/5 - 60/(-25). Let d(i) = i - 4*i + 2 - 8*i - c*i. Is d(-2) a multiple of 14?
True
Let d = -163 - -353. Is d a multiple of 38?
True
Let w = 523 - 295. Does 57 divide w?
True
Suppose -4*j - d = -24 + 2, -4*j + 5*d = -10. Let s = -1 + 4. Suppose j*t - 17 = 3*t - u, -s*u = t - 1. Is t a multiple of 5?
True
Is 6 a factor of 18 - (-2 + 0 + 2)?
True
Let i(a) = 2*a**2 - 4*a + 4. Let w = 11 + -8. Let m be i(w). Does 6 divide (12/(-5))/((-2)/m)?
True
Suppose 5 = g + 2*b, 6*b = -g + 2*b + 13. Does 2 divide (-6*3)/(1 + g)?
False
Let n(b) = b**3 - b + 2. Suppose 2*c - 5 = -c + r, 0 = 2*c - 4*r - 20. Let x be n(c). Suppose z - 8 = -x. Is z a multiple of 6?
True
Let y(p) = 4*p - 13. Does 12 divide y(7)?
False
Let r = -32 - -132. Is 25 a factor of r?
True
Let n be 105/25 - (-2)/(-10). Suppose r = 5*p - 61, 3*r + 19 = n*p - 32. Does 4 divide p?
True
Let d = -82 - -124. Is 6 a fact