c. Does 25 divide x + 2 - -1 - -38?
False
Let p(s) = -3*s + 1. Let n = 5 + -3. Suppose -h - n*h = 15. Is p(h) a multiple of 16?
True
Suppose -3*m + 9 = -4*d - 5, -5*d - 35 = 5*m. Is 11 a factor of -2 + (1 + -9)*m?
False
Is ((652/(-16))/((-1)/4))/1 a multiple of 22?
False
Let i = 111 + 33. Suppose -3*s + 9*s = i. Does 8 divide s?
True
Suppose 301 = 5*v - 2*r, 2*r - 313 = -5*v - 2*r. Is 16 a factor of v?
False
Does 14 divide 1/(-3) - 430/(-30)?
True
Suppose 0 = -4*j + n - 55, -5*j + 4*n - 73 = -18. Let q = j + 31. Is q a multiple of 16?
True
Suppose 7*n - 3*n = 8. Let d be n/7 - (-23)/(-7). Is 4/(-6) + (-20)/d a multiple of 3?
True
Let q(y) be the first derivative of y**4/4 - 4*y**3/3 - y**2/2 - 4*y - 2. Is q(5) a multiple of 6?
False
Suppose 5*c = 3*q - 0*q - 24, 3*c - 6 = -5*q. Does 21 divide (-2 - -1)/(c/171)?
False
Let o = 27 - -24. Is 17 a factor of o?
True
Let n(c) = 2*c + 2. Let f be n(-3). Let s(v) = -v**2 - 6*v + 2. Does 6 divide s(f)?
False
Is 356/8 + 3/(-6) a multiple of 12?
False
Let a be 1 - 3 - -2 - 28. Suppose -56 = 5*g - 4*d, -3*g + 14 - 58 = -5*d. Let t = g - a. Is 20 a factor of t?
True
Is 12 a factor of 6/(-33) + (-510)/(-22)?
False
Let w be -1*4*(-9)/(-12). Let a = 12 + w. Let c = a + 7. Is c a multiple of 5?
False
Let p(b) = b**2 - 17. Is p(-8) a multiple of 33?
False
Let x = 20 - -14. Is x a multiple of 17?
True
Suppose 19 = -5*c + 79. Does 2 divide ((-2)/4)/((-3)/c)?
True
Let q = -21 + 31. Let h = 0 + q. Is h a multiple of 4?
False
Let u(n) = 8*n**3 - 1. Let l be u(1). Let x(q) = -8*q + 35. Let a(r) = -3*r + 12. Let w(i) = -17*a(i) + 6*x(i). Is w(l) a multiple of 11?
False
Suppose 5*g - 8*g + 135 = 0. Is g a multiple of 10?
False
Suppose -5*w + 140 = -0*w. Suppose -5*x + 3*g - 5 + 32 = 0, 4*x + 4*g - w = 0. Is 2 a factor of x?
True
Let q be (-1)/4 + (-1)/(-4). Let d be (1 + q)/((-4)/100). Let b = 9 - d. Is 17 a factor of b?
True
Let m(y) = -y + 11. Let o be m(7). Suppose -2*f + o*f - 6 = 0. Is 0 - 1*-9*f a multiple of 11?
False
Let j(i) = -28*i - 44. Does 26 divide j(-9)?
True
Let d(m) = 11*m**2 + 9*m - 10. Let a(g) be the third derivative of g**5/15 + g**4/8 - g**3/2 - g**2. Let f(k) = -8*a(k) + 3*d(k). Is f(-6) a multiple of 8?
False
Suppose 2*y - 6*d = -3*d + 87, -4*y - 2*d = -134. Does 7 divide y?
False
Let d(k) = 3*k - 7. Let g be d(5). Suppose -4*n + g*n - 92 = 0. Suppose s + 2 = n. Is 7 a factor of s?
True
Suppose 3*x + i - 340 = 0, 0 = -0*x - 4*x - 5*i + 457. Is 41 a factor of x?
False
Let d(i) be the second derivative of i**7/840 + i**6/120 - i**5/40 - i**4/8 - i**3/2 + 4*i. Let g(x) be the second derivative of d(x). Is 23 a factor of g(3)?
False
Let b = 414 + -603. Let y = b - -127. Let i = y - -89. Does 16 divide i?
False
Let a(h) be the first derivative of -1 + 2*h + 1/4*h**4 + 5/2*h**2 + 2*h**3. Is 7 a factor of a(-3)?
True
Suppose -39 = -2*i + 51. Is 20 a factor of i?
False
Let d be 2 + 0 + 2 + 7. Suppose -4*m - m + d = 4*u, -3*u + 52 = -5*m. Is u a multiple of 3?
True
Let o = -36 + 90. Is o a multiple of 18?
True
Suppose 0 = 2*s - 20. Let v = s + 2. Does 6 divide v?
True
Is (-2)/(-6) + (-56)/(-12) + 0 a multiple of 4?
False
Suppose -3*r + 5 = -16. Let i = 30 - r. Does 17 divide i?
False
Let r = -2 - -5. Suppose 26 - 170 = -r*w. Is 16 a factor of w?
True
Let l(k) = -k**3 + 10*k**2 - 3*k + 16. Is l(8) a multiple of 15?
True
Let o = -7 - -3. Suppose -5*m + 20 = -3*m. Let g = m + o. Is g a multiple of 6?
True
Let w = 30 + -16. Does 11 divide w?
False
Let h be 11 + 2 + (1 - 0). Let b be (-21)/h - 26/(-4). Suppose 2*v - 1 = b. Does 3 divide v?
True
Let j = 131 - -311. Let s be (-2)/4 - j/(-4). Suppose -7*z = -2*z - s. Does 11 divide z?
True
Suppose 0 = -5*u - 15, -28 = -5*b + 3*b + 2*u. Suppose 0 = -4*j + 1 + b. Suppose j*y - 38 + 8 = 0. Does 5 divide y?
True
Suppose 0 = -4*o - 12, 0 = -3*n + 3*o + 85 + 11. Is 6 a factor of n?
False
Suppose 0 = 5*d - 2*o - 242, -4*o = -4*d - d + 244. Does 12 divide d?
True
Let s(k) = -k**3 - 5*k**2 + 4*k - 2. Let t be s(-6). Let a = t - 3. Does 2 divide a?
False
Suppose -4*y + y = -n - 312, 0 = y - 2*n - 104. Suppose 0 = -5*d + m + 177 - 1, -3*d + y = -m. Does 16 divide d?
False
Suppose 0 = -5*q + 41 + 69. Is 6 a factor of q?
False
Suppose r + 0*r = 430. Is r a multiple of 14?
False
Suppose -57 = 4*s - 13. Suppose -3*k + 4*f = 5, 3*k - 23 = 8*k - 3*f. Let r = k - s. Is 4 a factor of r?
True
Let a(k) = -7*k - 19. Does 25 divide a(-17)?
True
Let n be ((-21)/6 - 0)*(-16)/7. Let u(w) = w**2 - 5*w + 4. Let m be u(6). Is (n/m)/((-6)/(-15)) a multiple of 2?
True
Suppose -1 = -s + 2. Suppose 6*l = s*l + 15. Suppose 39 + 26 = l*r. Is r a multiple of 5?
False
Suppose -3*s = -0*s - 54. Is s a multiple of 14?
False
Let y(b) be the second derivative of -2*b**3/3 - b**2/2 + 2*b. Does 2 divide y(-2)?
False
Let o(y) = -y - 2. Let u be o(-4). Suppose u*p = 5*p. Let c = p + 2. Does 2 divide c?
True
Suppose -j = -3*w - 16, -j - 9 + 1 = 3*w. Suppose j*y = -0*y + 320. Suppose y = 2*f + 2*f. Does 10 divide f?
True
Let v = -11 - -7. Is 11 a factor of (-87)/v + 3/12?
True
Let b be (2*-1 - -2)/1. Let n(x) = 2*x + 16. Let z be n(-9). Does 9 divide (b + 2)/z - -10?
True
Let u be (-864)/(-3) - (1 - 0). Let s = -167 + u. Suppose s = 4*w + 4*l, 3*w + 5*l - 46 = 36. Is 17 a factor of w?
True
Let g = -3 + 2. Let v be g + (1 - (0 - 17)). Let t = v + -2. Does 15 divide t?
True
Let g be (-1900)/(-45) + (-2)/9. Is 22 a factor of g - (1 + -5 - -2)?
True
Suppose -3*p + 2*p = -5. Suppose -6*v + v - 180 = -p*g, -180 = -5*g + 2*v. Does 12 divide g?
True
Let m = -40 - -24. Let s(g) = 13*g. Let z be s(2). Let u = m + z. Is 4 a factor of u?
False
Let s be 2 + 0 + -1*1. Let d(o) = o. Let b(w) = -10*w + 1. Let q(k) = s*b(k) - 6*d(k). Does 17 divide q(-1)?
True
Let h = 27 + 52. Is 16 a factor of h?
False
Let b(o) = 4*o**2 - 11*o + 13. Is b(6) a multiple of 16?
False
Let c = 13 + -13. Is 14 a factor of 0 + c - (-54 + -10)?
False
Suppose 34 = h + 5*u, 2*u - 48 + 140 = 2*h. Is 22 a factor of h?
True
Suppose 8 = -r + 3*r. Suppose -4*l + 18 + r = 3*m, 0 = -m - 2*l + 8. Does 5 divide m?
False
Suppose -5*b + 3*k + 33 + 41 = 0, -b + k = -16. Does 13 divide b?
True
Suppose 3*k = -5*c + 17 - 1, -4 = -5*k + 3*c. Suppose -k*f + 0 + 4 = 0. Suppose -f = -u + 11. Is u a multiple of 13?
True
Let a be (-47)/(-7) - (-36)/126. Does 12 divide (-18 - -4)*(-18)/a?
True
Let v(c) be the second derivative of c**4/12 - c**3/3 + 2*c**2 - c. Let s(m) = m**2 - m + 1. Let b(l) = 4*s(l) - v(l). Does 3 divide b(2)?
False
Let m(z) = -2*z + 10. Let f(c) = -4*c**2 + 5*c - 1. Let n be f(2). Is m(n) a multiple of 24?
True
Let k = 153 - 49. Does 26 divide k?
True
Suppose -5*u + 140 = -20. Suppose l - 2*b - u = -0*b, b = 4*l - 100. Is l a multiple of 8?
True
Let h be 96/(-3)*5/(-2). Suppose 0*j - h = -2*j. Is 12 a factor of j?
False
Let j = 17 - -28. Does 9 divide j?
True
Suppose 4*v = 0, -3*f + 8 + 7 = 2*v. Suppose -4*r = f*x - 28, -r + 0*r - 11 = -x. Is 3 a factor of x?
False
Let s(l) = -l - 4. Let v be s(-6). Suppose -3*b + 6 = -v*b. Let j = -4 + b. Is j a multiple of 2?
True
Suppose 34 = s + 8. Is 11 a factor of s?
False
Let v(i) be the second derivative of -i**4/12 - 5*i**3/3 + 2*i**2 + 6*i. Does 25 divide v(-6)?
False
Let d(g) = -7*g - 21. Does 12 divide d(-20)?
False
Suppose -3*x + 4*a = 37, 0 = x + 5*a + 15 + 29. Let z = x + 33. Is 10 a factor of z?
False
Let p(a) = a. Let h(v) = -3*v + 2. Let y(m) = -h(m) + 3*p(m). Is y(3) a multiple of 13?
False
Let n = 123 + -61. Suppose -f + n = -0*f. Is f a multiple of 19?
False
Suppose 0 = -4*k, 10 = -3*x + 3*k + 40. Is x a multiple of 10?
True
Suppose 4*k - 2*h + 84 = 2*h, 4*k = 5*h - 81. Is 2/12 - 1100/k a multiple of 14?
False
Let z(i) = -i**2. Let m = -4 + 2. Let c(a) = a**3 + 4*a**2 - 8*a + 9. Let o(g) = m*z(g) + c(g). Is 8 a factor of o(-7)?
True
Suppose 36 = -30*z + 28*z. Is 7 a factor of (z/(-8))/3*20?
False
Suppose 0 = -u + 2*u - 50. Does 12 divide u?
False
Suppose 0*r = -5*j + 3*r + 27, -r = -1. Is 4 a factor of 11 - -6*4/j?
False
Suppose 3*n - u = n + 356, 4*u = -4*n + 736. Is 34 a factor of n?
False
Let a(i) = -i**3 - 5*i**2 + 10*i + 3. Let b be a(-7). Suppose -6 = l - b. Suppose 0*o + l = o. Is 22 a factor of o?
False
Let l(j) = -j**3 + 10*j**2 - 7*j - 6. Does 24 divide l(6)?
True
Let u(l) = -l + 15.