 = -84 + 88. Suppose 5*o - 84 = -z*d, -o + 2*d + 12 = -2*d. Does 8 divide o?
True
Is (-13 - (-564 - -17))/(1/4) a multiple of 38?
False
Let s(y) = -y**2 - 11*y + 11. Let h = 80 + -50. Suppose -5*q - h = 15. Does 13 divide s(q)?
False
Let g(m) = -m**3 - 11*m**2 - 3*m - 15. Let n be g(-11). Suppose -2*x + 162 = -n. Is x a multiple of 15?
True
Let h = 24 - 19. Let m(u) = u**3 + 2*u**2 + 2*u + 6. Is m(h) a multiple of 32?
False
Let o(y) = -y**3 - 29*y**2 - 5*y - 9. Let p be ((-10)/3)/5 - 170/6. Does 22 divide o(p)?
False
Let q = 8 + 0. Let j be (q - 1) + 0/5. Let a = -2 + j. Is 2 a factor of a?
False
Let y = -167 - -280. Does 8 divide y?
False
Let n be ((-144)/(-1))/((-2)/(-2)). Let k = n - 99. Does 9 divide k?
True
Let p = 154 + -133. Suppose -3*x - 16 = t + 4, 14 = -2*x - t. Is x/4*(-238)/p a multiple of 3?
False
Suppose 0 = 2*a - 4*b - 970, 0 = -a - a - b + 970. Is 13 a factor of a?
False
Suppose 7*m - 26520 = -13*m. Is m a multiple of 17?
True
Let p(u) = -u**2 + 25*u - 2. Let j be p(30). Is (-3)/(((-18)/j)/(-3)) a multiple of 11?
False
Suppose -20 = 2*x - 276. Suppose -4*m + 4*y = -x, 0*m + 65 = 2*m - 3*y. Does 5 divide m?
False
Suppose -296 = 77*f - 78*f. Is f a multiple of 26?
False
Suppose -3*n + 5*n + 102 = 0. Let o = -8 - n. Is 11 a factor of o?
False
Is 24 a factor of ((-5772)/(-2))/13*(-47)/(-2)?
False
Let w(u) be the first derivative of -15*u**2/2 - 29*u - 10. Is 9 a factor of w(-9)?
False
Let u = 495 + -135. Suppose u = -6*r + 9*r. Suppose -4*v = v - r. Is v a multiple of 8?
True
Let y(r) = 3*r**3 - 3*r**2 - 2*r + 1. Let d be y(6). Suppose 441 = 5*p - d. Is 27 a factor of p?
False
Suppose 3*m - 15*m + 648 = 0. Is m a multiple of 54?
True
Let c(y) = -y**2 + 4*y - 1. Let o be c(4). Let l be -1*o/(-3)*-129. Suppose 0*r - 44 = -5*b + 3*r, 4*b - l = 5*r. Is 5 a factor of b?
False
Let f(w) be the third derivative of w**4/6 - 2*w**3 + w**2. Let z be f(7). Let o = z + 17. Is o a multiple of 11?
True
Let c be (-2 - (-1 - 2)) + 29. Let b = c - 25. Is b a multiple of 3?
False
Suppose -4*k + 111 = -749. Is k a multiple of 23?
False
Suppose 18*n - 13*n = 1590. Does 9 divide n?
False
Let g(d) be the third derivative of d**5/60 + 7*d**4/24 + 31*d**3/6 - d**2 + 6*d. Does 3 divide g(-7)?
False
Is 1*(-718)/(-2) - 8 a multiple of 9?
True
Let y(a) = 80*a**3 - 2*a**2 - 6*a + 6. Is y(1) a multiple of 5?
False
Let y be (4/6)/(9/(-27)). Let k be (-20)/(y + 44/24). Suppose 7*m = 2*m + k. Is 8 a factor of m?
True
Is 22 a factor of (68/(-8))/(3/132*-1)?
True
Let j = 16 + -23. Let q(o) = o**3 + 11*o**2 + 9*o - 14. Let v be q(-10). Let s = v - j. Does 2 divide s?
False
Let a = -128 - -132. Suppose 3*h - 2*h = 2*i - 23, a*i + 3*h = 61. Is 6 a factor of i?
False
Let c be 1385*((-12)/(-20) - 1). Is 35 a factor of (-39)/(-26)*c/(-3)?
False
Is 23 a factor of 42/63 - (-488)/6?
False
Let i(s) = -s**3 + 4*s**2 + 4*s - 3. Let w be i(5). Is 5 a factor of (8/6 - -2)/(w/(-84))?
True
Let l = -12 - -1142. Is l a multiple of 22?
False
Let p be 11/((-88)/1792)*6/(-8). Suppose 4*j = -4*u + p, 38 = -5*j + 6*j - u. Does 7 divide j?
False
Suppose 2*r - v - 1706 = v, -2*r - v + 1700 = 0. Is 24 a factor of r?
False
Let y be 162 + (0 - 3) + -2 + 1. Suppose -y + 1093 = 5*d. Is 11 a factor of d?
True
Let w(z) = 32*z - 286. Does 15 divide w(23)?
True
Let u(c) = -2*c**2 - 20*c - 1. Let w(o) = -o**2 - 1. Let x(i) = -u(i) + 3*w(i). Is x(17) a multiple of 9?
False
Let i = -51 - -55. Suppose 0 = -2*y - i*f + 26, 4*y - 2*f = f + 107. Is 5 a factor of y?
False
Let k(r) = -r**2 - 7*r + 10. Let d = -32 - -24. Let x be k(d). Suppose 0*u + 77 = x*u - s, u + 4*s = 52. Is 26 a factor of u?
False
Suppose -33*n + 29*n + 12 = 0. Let i(w) = w + 2. Let j be i(4). Is 4/j + 43/n a multiple of 15?
True
Let j(v) = -55*v + 429. Does 13 divide j(0)?
True
Let i = -24 + 26. Suppose 0 = 2*n + 2*s - 44, -2*n + i*s + 124 = 3*n. Does 6 divide n?
True
Suppose 0 = -4*k - 0*k + f + 1, k = 5*f + 5. Suppose k = 9*n - 13*n + 180. Is n a multiple of 9?
True
Suppose -58 = -2*c + 5*w, -3*c + 77 - 7 = w. Suppose -2*t + 10 = 2*x, 3*t - 2*x - 2*x - 1 = 0. Let o = c - t. Does 9 divide o?
False
Let a(b) = b**2 + 7*b + 8. Let v = -15 + 9. Let j be a(v). Suppose -26 = -4*x + j. Is 3 a factor of x?
False
Let s(z) be the first derivative of -z**5/20 - 7*z**4/12 - 5*z**3/6 - 7*z**2/2 + 8*z - 8. Let q(j) be the first derivative of s(j). Does 10 divide q(-7)?
False
Let l = 8 + -14. Let r be 3 - 0/(-3 - l). Does 5 divide r/(-2)*(-64)/6?
False
Let b(m) be the third derivative of -m**5/60 + 3*m**4/8 - 3*m**3/2 + m**2 + 4. Suppose 2 = 3*l + 5*j - 11, -l - 4*j = -2. Is b(l) a multiple of 9?
True
Let v(o) = o**3 + 10*o**2 + 10*o + 13. Let k be v(-9). Suppose k*z - 66 - 6 = 0. Does 18 divide z?
True
Let p = -251 + 359. Suppose -2*g - 2*r + p = 0, -4*r = -4*g - r + 237. Is g a multiple of 19?
True
Suppose 3*g - 2*a = g + 204, 4*a + 108 = g. Is g a multiple of 23?
False
Let x = 139 - 139. Suppose -5*w = 5, -j + x*j = -5*w - 115. Is 10 a factor of j?
True
Suppose -10 = -7*i + 11. Suppose -2*b + 210 = i*b. Does 6 divide b?
True
Suppose -4*n + 223 = -5*f, -70 - 74 = -2*n - 4*f. Let s = n - -5. Is s a multiple of 15?
False
Does 60 divide (-34)/221 - 11652/(-26)?
False
Suppose 3*a - 3 = -3*y, 0 - 5 = -a + 3*y. Let w be a/12 + 7/(-42). Suppose w*q + 45 = 5*q. Is q a multiple of 4?
False
Let u(t) = 25*t - 60. Is 29 a factor of u(14)?
True
Let f = 7286 - 4088. Is f a multiple of 17?
False
Suppose 0 = -5*p + r + 3, -2*p + p - 4*r = -9. Suppose 8 = 5*x - 47. Suppose j - x = -p. Is 5 a factor of j?
True
Is 35 a factor of 564 + (14 - 22)*1/2?
True
Let y(u) = -u - 1. Let b(h) = 3*h - 27. Let f(c) = 5*c - 40. Let q(w) = -7*b(w) + 5*f(w). Let s(d) = -q(d) - 3*y(d). Is s(-5) a multiple of 7?
False
Let c be ((-10)/(-4))/((-1)/(-2)). Let y(s) = 7*s**2 - 9*s + 23. Let z be y(2). Suppose 2*w - z = k + 105, c*w + 4*k = 358. Is 11 a factor of w?
False
Let q = -295 - -353. Is q a multiple of 29?
True
Suppose -1545 = -3*f + 5*a, 2*f - 5*a - 607 - 418 = 0. Is 10 a factor of f?
True
Let s(t) = 1 - 3 - 2*t - 5 - 6. Let u be s(-8). Is 12 a factor of ((-16)/(-2))/(2/u)?
True
Does 15 divide (-36)/(-132) - 5277/(-11)?
True
Suppose -5*d - 220 = -20. Let z = d - -58. Does 18 divide z?
True
Suppose -2*v = -3*l - 1, -5*v + 12 = 3*l - l. Let o(s) = l + s - s + 24*s**3 - s**2 + 0*s. Is o(1) a multiple of 12?
True
Suppose 10*c - 587 = -37. Is c a multiple of 5?
True
Suppose -4*m + 7048 + 1796 = 0. Is 33 a factor of m?
True
Let l(o) = -o**2 - 5*o + 14 + 20*o + 7*o. Is l(21) a multiple of 10?
False
Let p = -5 - -10. Suppose 4*t - p*y = 173, 5*t + 0*t + y - 180 = 0. Is t a multiple of 5?
False
Suppose 2*n = 11 - 1. Suppose 39 = -n*u + 2*u. Let g = u - -22. Is g a multiple of 3?
True
Suppose -9*c - 190 = -928. Suppose -2*t + c = y, -3*y + 251 = t - 0*t. Is 14 a factor of y?
True
Is 4 - ((-72438)/90 - 6/45) a multiple of 15?
False
Let w(u) = -u**3 - 12*u**2 - 12*u + 14. Let n be (4/(-10) + (-252)/(-80))*-4. Is w(n) a multiple of 25?
True
Let k = 5 + -72. Let p = 112 + k. Is (2 - 1) + p + -2 a multiple of 11?
True
Suppose -14 = -3*z - z + p, -5*p - 6 = -4*z. Suppose 711 = 5*k + z*k. Is k a multiple of 25?
False
Let v be (-7 + 8)*(-1 + 3). Suppose l + v*l = 27. Is 8 a factor of l?
False
Suppose 2*i + 2*i + 4 = 0. Let b(u) = -13*u + 2. Let z(s) = -38*s + 6. Let c(v) = -14*b(v) + 5*z(v). Is c(i) a multiple of 2?
True
Let l(f) = f**3 - 5*f**2 - 5*f - 4. Let j be l(6). Let p be ((-3)/(-6))/(j/(-116)). Let x = -21 - p. Does 6 divide x?
False
Suppose -4*y + 2*z = y - 269, -3*y - 3*z + 153 = 0. Let a = y + -46. Is 2 a factor of a?
False
Suppose 170 = -5*p - 5*l, 4*p + 138 = 5*l + 38. Let b be (-2)/10 + 54/p. Let x = b + 8. Is x a multiple of 3?
True
Let p = 391 + -91. Is p a multiple of 25?
True
Suppose -22 = 2*z + 2. Let t(h) = -15*h + 9. Let s be t(z). Suppose p = -2*p + s. Is p a multiple of 8?
False
Let k = 4736 - 2931. Is 85 a factor of k?
False
Let j(x) = 4*x**2 - 33*x - 109. Does 27 divide j(17)?
True
Let u = 149 + 1798. Is 11 a factor of u?
True
Suppose 0 = 8*b - 13*b + 105. Suppose -l + 77 = 2*c - 42, 4*l = -4*c + 248. Suppose -f + c = -b. Is 21 a factor of f?
False
Suppose -3*j - 4*a + 42 = 0, 5*j - 4*a = -3*a + 47. Suppose 11*c - 84 = j*c. Is 14 a factor of c?
True
Let t(x) = -3*x**