 Is d a multiple of 8?
True
Let r(j) = -5*j**3 - 13*j**2 - 9*j + 8. Let o(c) = c**3 + c**2 + c. Let i(u) = -6*o(u) - r(u). Is 7 a factor of i(7)?
False
Let z = -10 + 14. Let s(k) be the third derivative of k**6/120 - k**5/15 + k**4/6 - 2*k**3/3 + 2*k**2. Is s(z) a multiple of 6?
True
Let v = 1 + -7. Let x be ((-6)/(-9))/((-1)/v). Suppose x*l - 12 = g, -2*g - l + 26 = l. Is 4 a factor of g?
True
Suppose 5*f = 20, 3*w + f - 98 = 2*f. Is 9 a factor of (-2)/((-1)/(w/4))?
False
Suppose 2*s - 3*s - 4*v - 17 = 0, v = -5*s + 10. Suppose s = -c - 1. Is 2 a factor of c/14 + (-60)/(-14)?
True
Suppose -4*t - 2*q = -590, 0*t - 740 = -5*t - 5*q. Let n = t + -105. Is n a multiple of 14?
True
Is 1/(5/520) - 3 a multiple of 15?
False
Let j be (-1)/1 + (-470)/(-2). Let q = j + -164. Suppose 4*g - s = q, -g + 3*s + 3 = -9. Does 12 divide g?
False
Is 24 a factor of 122 + ((-4)/5)/((-12)/60)?
False
Let g(s) = -s**2 - 14*s - 19. Let l be g(-13). Does 2 divide (-88)/(-33) - (-4)/l?
True
Suppose 3*o - 2*o = 35. Is 9 a factor of o?
False
Suppose -26 = 5*j - w, 2*w - 12 = 4*j + 10. Is 1/5 + (-14)/j a multiple of 2?
False
Let z be 1/2 - (-13)/2. Let n = z - 5. Suppose -2 + 12 = n*o. Is 5 a factor of o?
True
Let n(s) = -s**3 + 7*s**2 + 2. Let y be n(7). Suppose 4*f - y = 18. Suppose -f*i - 3 + 88 = 0. Is i a multiple of 13?
False
Let u(l) = l**2 - 1. Suppose 0 = 2*b - 0 - 2. Let p be u(b). Suppose p*q - 2*q = -6. Is 3 a factor of q?
True
Suppose -2*y - 21 = -5*y. Suppose y*h - 136 + 52 = 0. Is h a multiple of 6?
True
Let m = 13 - 8. Let c be (m/10)/((-2)/24). Let r(q) = -q - 3. Does 3 divide r(c)?
True
Suppose 0 = -5*w + 87 + 93. Suppose 29 = 5*f - w. Is f a multiple of 13?
True
Does 6 divide (-9)/(108/40)*126/(-15)?
False
Let q(d) = -5*d - 2. Does 3 divide q(-6)?
False
Is ((-15)/9)/((-5)/15) a multiple of 5?
True
Suppose -27 = 5*p + 43. Let r = 32 + p. Is 16 a factor of r?
False
Does 24 divide (-867)/(-12) + 2/(-8)?
True
Let j = -7 - -12. Is j a multiple of 3?
False
Let u(w) = -w**3 - 1. Is u(-3) a multiple of 13?
True
Let l = 6 + -3. Suppose l*a - 7 = -5*q, -3*a + q + 21 = 2*a. Is 2 a factor of a?
True
Suppose -3*y - 1056 = -11*y. Is y a multiple of 38?
False
Suppose b + b = -3*t - 41, 0 = -3*t - b - 40. Let l(r) = r**2 - r. Let h be l(5). Let w = h + t. Is 3 a factor of w?
False
Let n(x) be the second derivative of x**3/6 + 5*x**2/2 - 3*x. Is 9 a factor of n(11)?
False
Let q = 96 - 13. Does 19 divide q?
False
Suppose -2*y + 166 = -3*g, -4*y + 372 = -4*g + 36. Is y a multiple of 23?
False
Let v(f) = 3*f - 27. Is 9 a factor of v(12)?
True
Let n = 9 + 1. Is 3 a factor of n?
False
Let x(b) = 24 - 3*b**2 + 2*b**2 + 2*b**2. Let h be x(0). Let p = h - 6. Is p a multiple of 9?
True
Suppose 13 - 3 = -5*l, -3*b = 4*l - 7. Suppose 0 = -x - b*w - 16, -39 - 1 = -5*x + 5*w. Suppose 4*q - 4*k = -35 + 131, -x*k - 12 = 0. Is q a multiple of 10?
False
Let s be ((3 + -3)/(-4))/(-2). Let u(n) = 10 + n + 0*n + 6. Is 8 a factor of u(s)?
True
Suppose -2*k + 5*o - 15 = 0, -2*k + 7 = -3*o + 16. Suppose 3*h = -k*h + 81. Is h a multiple of 22?
False
Let y = -41 - -55. Does 4 divide y?
False
Let k = 76 + -42. Does 7 divide k?
False
Suppose 0 = -4*t + 4*u + 28, 3*t + 2*u - 1 = -0*u. Suppose h - t*h = -24. Does 5 divide h?
False
Suppose -122 = -o - 3*b, 4*b - 452 = -4*o + b. Is o a multiple of 11?
True
Suppose -2*o = -0*o - 10. Suppose -3*y = 31 + o. Let i = y + 21. Is i a multiple of 9?
True
Let n be (-27 - 4)/(-1*1). Suppose -205 = -4*p + n. Is p a multiple of 28?
False
Suppose -j + 110 + 59 = 0. Suppose 0 = -3*m + u - 0*u + 103, 4*m + 5*u - j = 0. Is m a multiple of 12?
True
Let x(u) = -7*u**2 + 0*u - 6*u + 6 + u - u**3. Let f be x(-6). Does 6 divide (-36)/(f - 3) + -2?
False
Let m = 8 - 6. Suppose -m*t - 3*t + 70 = 0. Is t a multiple of 5?
False
Let d = 55 + 95. Suppose 3*s + 0*s = d. Is (s/(-6))/(2/(-6)) a multiple of 12?
False
Let l(f) = 15*f**2 - 7. Is 32 a factor of l(3)?
True
Suppose 4*k - b + 7 = 0, 3*b - 1 = 4*k - 4. Is k - 1/((-2)/76) a multiple of 13?
False
Suppose 13 + 21 = -2*n. Let j = 38 + n. Does 4 divide j?
False
Let p(i) = -2*i**3 - 5*i**2 - 3*i - 2. Let k(g) = -g**3 + 3*g**2 + 2*g + 5. Let c be k(4). Let q be p(c). Let l = q - 11. Is l a multiple of 4?
False
Let u be (26/39)/((-2)/66). Let b = 33 + u. Does 5 divide b?
False
Let k be (-2 - -5)*(-4)/(-2). Is (k/(-3))/(-2)*31 a multiple of 15?
False
Suppose -2*u + 7 = 3. Let y(p) = 5*p - 1 + 5 + 2 + p**u. Is y(-8) a multiple of 15?
True
Let k = 1 - -8. Let q = k - -17. Suppose -3*t - 3*v = -33, 4*t + 3*v - 14 = q. Is t a multiple of 7?
True
Let m be ((-3)/(-5))/(1/5). Suppose m*a - 5*a + 78 = 0. Is 13 a factor of a?
True
Suppose 3*c - 61 = -10. Let h = -11 + c. Is h a multiple of 2?
True
Suppose -3*a - 40 = -5*a. Does 9 divide a?
False
Let v(c) = 2*c**2 - 13*c - 13. Is 16 a factor of v(10)?
False
Let o = -83 + 53. Let m = o + 74. Suppose -u + 2*u = 4, x = -u + m. Does 20 divide x?
True
Let k = -2 - 2. Let u be (2 - 0) + k/2. Suppose u = -j - 2*j + 69. Is 7 a factor of j?
False
Let g(u) = 5*u**2 - 8*u - 14. Is 15 a factor of g(-8)?
False
Let y = 24 - 4. Is 7 a factor of y?
False
Let j(d) be the third derivative of d**6/60 - d**5/30 + 5*d**4/24 + d**3/6 - 8*d**2. Is 13 a factor of j(3)?
True
Let g(a) = a**3 + 5*a**2 - 7*a - 6. Let c be g(-6). Let j(q) = q + 25. Is j(c) a multiple of 20?
False
Let n = -2 - 0. Let i be 21/n*(8 - 2). Let j = i + 89. Is j a multiple of 13?
True
Suppose x = 4*s + 23, 0 = -2*x + 4*x + 2. Is (-2)/(-6) + (-28)/s a multiple of 2?
False
Let b(z) be the third derivative of z**8/5040 + z**7/5040 - z**6/720 + z**5/60 - 3*z**2. Let k(l) be the third derivative of b(l). Is k(-2) a multiple of 8?
False
Suppose 92 = 2*k - 74. Is 17 a factor of k?
False
Let u(z) = -z**3 + 4*z**2 + z - 1. Let l be u(4). Let q(s) = -2 + 0 - 4 - 1 + l*s. Is 4 a factor of q(5)?
True
Suppose v = 2*v - 196. Is 19 a factor of v?
False
Suppose 0 = -5*g + 2*z + 268, -7*g + 2*g - 5*z = -240. Is g a multiple of 6?
False
Let w(m) = -m**2 - 3*m - 3. Let g be w(-2). Let o = 7 + g. Is (-1)/(-6) - (-179)/o a multiple of 15?
True
Suppose -2*c = -5*q - 0*c + 19, -4 = 2*c. Suppose -2*f - i + 3 = 0, f = i - q*i. Does 2 divide f?
True
Suppose -2*i - 5*b = 40, 0*b = 5*b. Let w = 40 + i. Does 10 divide w?
True
Suppose -v + 25 = -5*h + v, -4*h = -v + 23. Let q = -1 - h. Is q a multiple of 3?
True
Let g(l) = l + 1. Let a be g(1). Suppose 2*p = 2, 5*w + a*p - 114 = 48. Does 11 divide w?
False
Is 2/4*(-3)/((-12)/704) a multiple of 22?
True
Let m(f) = 9*f - 4*f + 2*f + 16*f + 1. Let q be m(4). Suppose 5*b - 12 - q = 0. Is b a multiple of 21?
True
Let j = 2 + 6. Does 8 divide j?
True
Let h(s) = s**2 - 5*s + 11. Is h(5) a multiple of 4?
False
Suppose 4*z = 12, -3 = -y - 4*z - 1. Suppose -3*c - 61 = 4*b, 2*b + 2*b = 5*c + 59. Is 20 a factor of (60/2)/(c/y)?
True
Suppose -5*f - 57 = 33. Let n = f + 37. Is 9 a factor of n?
False
Let s be ((2 - 2)/(-2))/2. Suppose s*n + n - r = 33, 0 = -2*r + 8. Does 13 divide n?
False
Let u = 59 + -1. Is u a multiple of 24?
False
Let m(c) = -2*c**2 - 6*c + 2. Let g(w) = -3*w**2 - 9*w + 3. Let h(j) = -5*g(j) + 8*m(j). Let z be h(-2). Suppose 6*v - 123 = z*v. Is v a multiple of 14?
False
Let t be 5/((-5)/(-3)) + 116. Let d = 189 - t. Suppose d + 38 = 4*n. Does 10 divide n?
False
Does 11 divide 72 - (3*10/15 - 4)?
False
Suppose 5*k + i - 6 = 0, -5*k + 0*i - 5*i = 10. Is -2*k/8*-32 a multiple of 16?
True
Suppose -s - 188 = -5*k, 4*k = -s + 44 + 110. Does 19 divide k?
True
Is 41 a factor of (-5)/(50/(-1232)) + (-5)/25?
True
Let l(w) = 34*w**2 + 2*w - 6. Does 21 divide l(-3)?
True
Suppose -4*o + 192 = -0*o. Does 6 divide o?
True
Suppose -5*l = -0*l - 100. Is 5 a factor of l?
True
Let a be 1*(-1 - (1 - 6)). Suppose -13 = 3*r + a*d - 69, 0 = 2*r - 2*d - 56. Does 12 divide r?
True
Suppose 136 = b - 5*b. Let s = b + 85. Does 17 divide s?
True
Let u(y) = 2*y - 12. Let g be u(7). Suppose -2*o - g*o + 264 = 0. Is o a multiple of 27?
False
Suppose -2*k = k. Let r = 3 + k. Suppose 0 = -4*b - r*n + 55, 6*b - 25 = b + 5*n. Does 6 divide b?
False
Suppose 3*q + 3*l + 2*l = 50, -2*q - 5*l = -35. Let m be 5*-2*(-21)/q. Does 10 divide (-1 - (0 + 1)) + m?
False
Let n(w) = -7*w**2 - 8*w**2 + 6 + 16*w**2 - 7*w. Is n(7) a multiple of 6?
True
Does 2 div