 - 2. Is i(c) a multiple of 8?
False
Let t(z) be the first derivative of 2 - 1/4*z**4 - 3/2*z**2 - 5*z + 7/3*z**3. Is 13 a factor of t(6)?
True
Let o be 2/(-8) + 130/40. Suppose -5*w + 5*u = -215, -3*w + o*u - 175 = -8*w. Is w a multiple of 19?
True
Is 4/(-10) - (-737)/55 a multiple of 13?
True
Suppose -2*r = -8 + 2. Suppose -2*j + j = r*g - 18, -2*j = -6. Is g a multiple of 5?
True
Let b(g) = -g + 5. Is b(-22) a multiple of 3?
True
Let r(w) = 2*w + 6. Let d be r(-5). Let y = d + 8. Is y even?
True
Let q be 10/(0 + 0 + 2). Let f(u) = 2*u**2 - 4*u - 5. Does 10 divide f(q)?
False
Suppose -k = -2 - 0. Suppose k*u - 4*z - 30 = 0, 2*z = -4*u + 5 + 5. Let p(y) = y**2 - 2*y - 2. Does 13 divide p(u)?
True
Suppose 8*i + 1 = 17. Suppose -4*s + 52 + 6 = w, 0 = -5*w + 5*s + 190. Suppose i*c = -c + w. Is c a multiple of 5?
False
Is 8 a factor of -3 - -6 - (-5 + 0)?
True
Suppose 3*f + f = 716. Is f a multiple of 12?
False
Let q be (1 - (1 - -2)) + 58. Let y = q - 33. Does 18 divide y?
False
Let k = -1 + -10. Let l = k + 22. Is l a multiple of 11?
True
Suppose -l + 2*b = 10, -3*l - 4*b + 25 = b. Suppose 3*n = -l*n + o + 27, -o - 36 = -4*n. Is n a multiple of 9?
True
Let p(b) = -12*b. Let i be p(2). Let x = i + 41. Does 3 divide x?
False
Let c(a) = 2*a + 12. Is c(18) a multiple of 19?
False
Suppose -4*y - 2*p + 146 = y, y = 3*p + 19. Suppose 2*h - 2*u + 0*u - y = 0, -4*h + 52 = -3*u. Is h a multiple of 10?
True
Suppose 0*w - 5*w = -170. Suppose -114 = -3*a - 3*t, 3*t + 17 = 2*a - w. Is 11 a factor of a?
True
Let j = 5 - 3. Let l be 5 + -1 + j - 2. Suppose -l*w = w - 80. Is w a multiple of 8?
True
Is 15 a factor of (-26469)/(-68) + (-2)/8?
False
Let q = -46 - -28. Let u = 50 + -63. Let y = u - q. Does 2 divide y?
False
Let f(u) = 3*u**3 + u. Is f(2) a multiple of 13?
True
Suppose -2*b - 4*n = -16, -26 = -b + 4*n + 12. Does 6 divide b?
True
Suppose -19 = -3*z - 4*t, -2*t + 10 = z + 1. Let c be (-2 + z)*1 + 10. Does 6 divide -4 + 2 + c*2?
False
Let k be (-405)/(-12) - (-1)/4. Suppose 0 = 3*w + c + 2*c - 33, -4*w = 2*c - k. Is 6 a factor of w?
True
Suppose -4*p - 19 = -5*a - 63, 0 = -2*p - 4*a + 22. Does 2 divide p?
False
Let k be (2/4)/((-2)/(-128)). Suppose 5*s - 68 = k. Is 8 a factor of s?
False
Suppose 0 = -5*s - 20, -3*s + 6*s = n - 97. Is n a multiple of 11?
False
Suppose 5*b - 3*n = 2*b + 15, -3*n = -9. Let u = b - -8. Is 16 a factor of u?
True
Suppose 2*o + 0*o = 190. Does 7 divide o?
False
Suppose -l - 3*f + 135 = 0, 50 - 155 = -l + 3*f. Suppose -l = 3*i - 8*i. Is 14 a factor of 2/(i/(-21))*-8?
True
Suppose -2*m + o + 4 = -0*m, -2 = -m + 5*o. Let s be (-1)/2 - (-9)/m. Suppose -98 = -5*r - n - n, s*r - 2*n - 82 = 0. Is 12 a factor of r?
False
Does 8 divide -24*((-1)/2)/(12/24)?
True
Let j = 109 + -45. Does 16 divide j?
True
Suppose 0 = 4*q + 3 + 5, -4*q = r + 5. Let y be 1*(2 + -1) - -20. Suppose k - 15 = 6*k, -y = -2*u + r*k. Is u a multiple of 6?
True
Let s be 12/9*6/4. Suppose s*j = -0*j + 2. Does 22 divide 2 - (-2 + j - 28)?
False
Is (6 - 3)*536/24 a multiple of 8?
False
Let o(d) = 3*d + 7. Let a(p) = -1. Let g(b) = -4*a(b) - o(b). Suppose -2*y = h + 9, 2*y + 2*h = -0*y - 12. Is 6 a factor of g(y)?
True
Suppose 0*b = 3*b - 135. Does 15 divide b?
True
Let c be 2/(-6) + (-140)/(-15). Let k = c - 5. Is 4 a factor of k?
True
Suppose 3*r + 46 - 352 = 0. Is 17 a factor of r?
True
Let l = -6 + 5. Is (l - (-2 + 2)) + 29 a multiple of 14?
True
Let z = 9 + -6. Let x = 85 - 81. Suppose 2*w = z*m + w - 62, 18 = 2*m + x*w. Is 10 a factor of m?
False
Is 9/(-3)*(-40)/15 even?
True
Let o(q) = -q**2 + 9*q - 8. Let t be o(6). Let f(r) = -4 - 10*r**2 - 6*r**3 + r + 3*r**3 + 4*r**3. Is 6 a factor of f(t)?
True
Let i = 10 - 10. Let c = 13 - i. Is c a multiple of 4?
False
Suppose -210 = -s - 48. Suppose 0 = 4*m - m - s. Does 20 divide m?
False
Let q = 31 + -56. Is ((-35)/q)/(1/5) a multiple of 2?
False
Let v(f) be the third derivative of -1/20*f**5 + 1/120*f**6 + 1/12*f**4 + 0 - 1/3*f**3 - f**2 + 0*f. Is v(4) a multiple of 11?
True
Is 2 a factor of ((-64)/6)/((-56)/12 + 4)?
True
Let j(z) = -z**3 + 9*z**2 - 11*z + 6. Let i be j(7). Suppose -4*b = -20, -2*t + b = 6*b - i. Does 10 divide (-5)/(1/(t - 3))?
True
Let x(h) be the first derivative of h**4/12 + 2*h**3/3 + 9*h**2/2 + h + 1. Let k(a) be the first derivative of x(a). Is 12 a factor of k(-6)?
False
Suppose 3 + 3 = 2*t. Suppose 4*f = 11 - t. Suppose 46 = o - 7*k + f*k, 0 = -2*k + 2. Does 14 divide o?
False
Let y be (-2)/6 - (-1)/3. Let t be (-3)/6*1*y. Suppose 2*b = -2*c + b + 29, -5*c - 5*b + 75 = t. Is c a multiple of 5?
False
Let t(n) = -4*n + 6. Is 6 a factor of t(-3)?
True
Let s(m) = 4*m - 10*m**3 + 3*m**2 + 0 + 9*m**3 + 2. Let j be s(-2). Suppose -2 = 5*y - 4*c - 24, -4*c = y - j. Is 4 a factor of y?
False
Let i be ((-1)/(-2) - 0)*-12. Let g be (2/3)/((-4)/i). Does 14 divide 16*g - (-1 + 3)?
True
Suppose 5*p + 4*h - 5 = 0, -4*p + 2*h = -22 - 8. Let l be (-2)/p + (-274)/(-10). Let x = l + -4. Is x a multiple of 9?
False
Let t(p) = -p**3 + 10*p + 3. Does 27 divide t(-4)?
True
Suppose 3*w = -2*x - 1, -4*x - 1 = w + 6. Let r be (-8)/x*(-20)/(-8). Suppose -4*p = -r - 22. Is 4 a factor of p?
True
Let t = -92 + 272. Is t a multiple of 12?
True
Let d = -99 + 155. Suppose 4*s - 112 - d = 0. Does 21 divide s?
True
Suppose j + c = 6, -2*c + 21 = j + 4*j. Suppose z - 1 = -j. Is (0 - (3 + z))*-19 a multiple of 13?
False
Let t be (-5)/(3*(-3)/(-72)). Is 10 a factor of (15/10)/((-6)/t)?
True
Suppose -a = -0 - 3. Let v(t) = -6*t + 2*t**3 - 311*t**2 + 2*t + 3 + 312*t**2. Is 21 a factor of v(a)?
False
Let r(p) = -3*p + 38. Is 12 a factor of r(0)?
False
Let z be (-17)/(-4) + (-2)/8. Suppose 34 = -0*d + d + 4*p, -4*d + 68 = -p. Suppose z*j - 4*m - 8 = 0, -6*j - m + d = -2*j. Is j a multiple of 2?
True
Let y(f) = 11*f + 1. Is 4 a factor of y(1)?
True
Suppose 4*p - 396 - 104 = 0. Is 25 a factor of p?
True
Let x be (10/(-8))/(1/(-4)). Suppose 0*k - x*k + 105 = 0. Does 21 divide k?
True
Let q = 2 - -3. Suppose -5*l + 520 = -5*x, -q*x - 370 - 45 = -4*l. Suppose -5*b - 9 = -w, 3*w + 3*b = -w + l. Is w a multiple of 12?
True
Suppose 4*d - 2*d - 18 = 0. Does 9 divide d?
True
Let f(t) = -t**2 - 5*t. Suppose -p + 8 = -3*p. Let y be f(p). Suppose -q - 4*h - 8 = -y*q, 3*h - 3 = 0. Does 2 divide q?
True
Suppose -8 = -o - 3*o. Let l(m) = 6*m + m - 2*m**o + 3*m**2. Does 8 divide l(-8)?
True
Suppose 20 = -2*s - 3*s. Let c = 1 - s. Suppose -3*g - g - c*w + 27 = 0, -15 = -5*w. Does 2 divide g?
False
Let t(b) = 2*b**2 + 2*b - 2. Let c be t(-2). Suppose c*d = 312 + 44. Does 15 divide (-2)/(-5) - d/(-5)?
False
Let z(q) = -q**2 - 9*q + 4. Let m be z(-10). Is (-4)/(3 - 1)*m a multiple of 11?
False
Suppose 3*w - 4*w = -24. Let r(k) = 7*k + 7. Let d be r(5). Let b = d - w. Is 7 a factor of b?
False
Is 22 a factor of (-3 - 3)/((-3)/22)?
True
Let m(z) = -z - 1. Let c(l) = -4*l - 5. Let g(k) = 2*c(k) - 11*m(k). Does 16 divide g(7)?
False
Suppose -2*g - j = -9, -2*g + 14 = -5*j + j. Suppose -13 - 12 = -g*x. Suppose -4*o + 48 = -0*s + s, -x*o - 21 = -s. Is 18 a factor of s?
True
Suppose 2*o - 8 = 4*n, 3*o + 3*n - 3 = -0*o. Suppose s - 3*s + 2*j = 2, -10 = s + o*j. Let y(c) = c**2 + 2*c - 1. Is 2 a factor of y(s)?
False
Suppose 3*n - 11 = 37. Let t = 25 - n. Is t a multiple of 9?
True
Let v(l) = 1. Let t(n) = 4*n - 3. Let m(f) = -t(f) - 6*v(f). Let x(p) = p - 1. Let s(b) = m(b) - 2*x(b). Is s(-1) a multiple of 5?
True
Let a = -17 - -78. Does 16 divide a?
False
Suppose 5*u = 369 - 14. Suppose -5*n - 7 - 2 = -g, n = -5*g + u. Is 10 a factor of g?
False
Is 9 a factor of -1 + 2 - (-49 + 4)?
False
Suppose 2*y = -5*i + 52, -8*i - 8 = -10*i. Is y a multiple of 16?
True
Suppose 2*s = 4*m - 2*m - 12, 3*s = -2*m + 7. Let x = s + 3. Suppose x*a = 6 + 6. Does 5 divide a?
False
Let o be 4/(-8) - (-31)/2. Let y = 3 + 1. Suppose -y*d + 5 + o = 0. Is d even?
False
Let s be (-8)/(-36) + 25/9. Suppose -s*t + 4*c = -27, 20 = 2*t - t - 5*c. Is t a multiple of 5?
True
Suppose 4 = -3*g + 16. Suppose -u = 5*y - 43, g*u - 157 = -u + 4*y. Is 11 a factor of u?
True
Let z be ((-54)/8)/(15/40). Let y = -4 - z. Is 14 a factor of y?
True
Let d(y) = -4*y - 22. Is 10 a factor of d(-9)?
False
Let j(g) = 52*g. Let m be j(1). Let p = -16 + m. Is p a multiple of 18?
True
Suppose -v = v - 40. Su