)/(-2 - 1). Let z(s) = s**2 + s + 27. Does 2 divide z(d)?
False
Let r(q) be the second derivative of q**4/12 - q**3 + 7*q**2/2 - 3*q. Let v be r(4). Let o = 7 + v. Is o a multiple of 3?
True
Let k = 230 - 127. Suppose c - k + 36 = 0. Does 10 divide c?
False
Let g(p) be the first derivative of -9*p**2/2 + 12*p - 15. Does 8 divide g(-4)?
True
Let s be (-2)/6 - (-21)/9. Suppose -r + s*m = -48, r + 7 - 51 = 3*m. Suppose -6*p + 2*p + r = 0. Is p a multiple of 12?
False
Suppose -2*t - 19 = 23. Let h = 24 + t. Suppose 0 = -h*p + p + 68. Is 17 a factor of p?
True
Is 2136/(-2)*(-6)/9 a multiple of 38?
False
Let m = -1676 + 1818. Does 26 divide m?
False
Let w(d) = -d**2 - 5*d + 13. Let x be w(4). Let z = 289 + x. Is z a multiple of 19?
True
Let d = 24 + -20. Suppose -d = b - 3*f, 5*b + f + 46 + 38 = 0. Let o = b - -40. Does 19 divide o?
False
Suppose w - 35 + 8 = 0. Suppose 5*d - 5 = 2*v, -3*v = d + 3*d - w. Suppose 4*p + 0*p + d*t - 127 = 0, 0 = -2*p + 4*t + 36. Is p a multiple of 11?
False
Let w(q) = -q**2 + 4*q + 5. Let i be w(4). Suppose 0 = -i*x + 3*r + 337, -2*x - 4*r = 2*x - 244. Suppose -k - 12 = 4*p, -5*k - p + 6*p = -x. Is 8 a factor of k?
True
Suppose 3*j + 12 = -9. Let l(t) = 6*t**3 + 11*t**2 - t - 13. Let g(k) = -k**3 - k**2 - k + 1. Let a(m) = -5*g(m) - l(m). Does 15 divide a(j)?
True
Suppose 136 = v + 3*p, 256 = 2*v + 4*p - 24. Is v a multiple of 22?
False
Suppose 2*i + 2*i + 3*q = 0, 5*q = -3*i. Suppose i = -13*u + 12*u + 151. Is 14 a factor of u?
False
Let m(f) be the second derivative of 5*f**4/12 - f**3/6 + f**2/2 + 7*f. Is 5 a factor of m(1)?
True
Does 6 divide (-12)/(-24) - 190/(-4)?
True
Let a(m) = -3*m**2 + 100*m - 38. Is 48 a factor of a(18)?
False
Suppose -10*y + 16*y - 2040 = 0. Does 17 divide y?
True
Let b = 157 - 79. Is b a multiple of 17?
False
Is 12 a factor of (-4089)/(-9) + -1*25/(-15)?
True
Let q = -10284 + 14559. Is 77 a factor of q?
False
Suppose -4*w = -527 - 589. Is w a multiple of 29?
False
Suppose 3*z - 7 = 7*z + w, 4*w = -4*z - 16. Let h be z/6 - (-377)/(-6). Is 10 a factor of (-2 + 3)/((-3)/h)?
False
Does 44 divide (5 + 778 + 9)*4/6?
True
Let t(y) = -3*y**3 - 4*y**2 - 10. Is t(-6) a multiple of 19?
True
Suppose -3 = -3*o + 2*u + 26, -2*u = o - 7. Does 12 divide 1920/50 - o/(-15)?
False
Let q(g) = -14 + 4*g**2 + 9 + 8*g - 2 - 3. Is 21 a factor of q(6)?
False
Let a = -15 + -41. Let l = 30 - a. Does 20 divide l?
False
Let p(v) = -v**2 - 7*v + 23. Let c be p(-9). Suppose c*w - 5*t = 285, 3*w - 263 = -w - 3*t. Does 17 divide w?
False
Let y be ((-21)/6 + -2)*(-4 - 0). Suppose -25*f = -y*f - 231. Is 16 a factor of f?
False
Suppose 15*z - 16*z = -2. Let h(m) = -m + 0*m - 3*m**3 + 2*m**2 + 6*m**3. Is h(z) a multiple of 12?
False
Let b(r) = 3*r**2 + 6*r + 5. Let v = -47 + 44. Is b(v) a multiple of 7?
True
Let g be 3/3*4*2. Suppose -g*m + 11 + 469 = 0. Does 15 divide m?
True
Suppose 16675 = 17*u - 5833. Is 33 a factor of u?
False
Does 16 divide (6/(-4))/(14/(4872/(-9)))?
False
Suppose -66 = 4*i - 1274. Does 5 divide i?
False
Let d = 361 - -1. Is d a multiple of 15?
False
Let x(f) = 32*f**3 + f - 1. Let r be 3/5 + 6/15. Does 32 divide x(r)?
True
Let o = 3 + -8. Is 22 a factor of 55*(26*(-1)/o)/1?
True
Suppose -3*i + 1 = 4. Let q(j) = 97*j**2 + 4*j + 2. Does 19 divide q(i)?
True
Let s(u) be the second derivative of u**5/60 + 7*u**4/24 + 7*u**3/3 + 2*u**2 + 4*u. Let y(d) be the first derivative of s(d). Does 22 divide y(-10)?
True
Let g(f) = f**3 + f**2 + f - 1. Let j(m) = -6*m**3 - 6*m**2 - 3*m + 2. Let p(l) = -5*g(l) - j(l). Is p(0) a multiple of 3?
True
Let i(l) = 14*l + 33. Is 13 a factor of i(17)?
False
Let m(z) = 55*z - 9. Is m(4) a multiple of 5?
False
Is -50*(-7)/(140/64) a multiple of 60?
False
Suppose 4*w - 9*w - 15 = a, 0 = 3*a + 4*w + 12. Suppose 3*z - 3*s - 159 = a, s = -4*z - s + 182. Does 8 divide z?
True
Let j = 7 - 4. Let g be (-1)/j + 7/3. Suppose g*c + 3*v = 6, 41 + 3 = 4*c - 2*v. Is c a multiple of 3?
True
Let f(n) = n**2 + 4*n + 5. Let a(y) = y**2 - 1. Let z(w) = 2*a(w) + f(w). Let b be z(-3). Suppose -4*q = 3*m - 40, 2*q + 0*m = -m + b. Is q a multiple of 7?
True
Suppose u + 36 = 117. Let t = -30 + u. Is 17 a factor of t?
True
Let g = 1 + 3. Suppose -g*q = -7*q + 159. Let s = -17 + q. Is 18 a factor of s?
True
Suppose 0 = 2*v + 4*x - 4 - 46, x - 22 = -v. Does 8 divide (7/(-4))/((19/(-24))/v)?
False
Let o = 674 - -151. Is 5 a factor of o?
True
Let c = 143 - -198. Does 31 divide c?
True
Suppose -30 = -2*j + 6*d - 2*d, 5*j + 3*d - 75 = 0. Let s(c) = 2*c**2 - 19*c - 23. Is 28 a factor of s(j)?
False
Let w = -7 + -23. Is (w - 0)*(-36)/45 a multiple of 4?
True
Let s be 64/(-80)*10/(-4). Suppose s*c - 2*x - 148 = 0, 3*x - 19 + 101 = c. Is c a multiple of 15?
False
Let x(a) = 5*a + 6. Let b(v) = 4*v**2 + 2*v. Let o be b(-2). Let z be x(o). Suppose -k - k = -z. Is k a multiple of 28?
False
Let l(b) = b**3 - b**2 - 7*b + 5. Let y(u) = 2*u**3 - 4*u**2 + u + 3. Let o be y(2). Is l(o) a multiple of 7?
True
Let j = -319 - -511. Is j a multiple of 16?
True
Let z(d) = -d**3 - 4*d**2 - 5*d - 2. Let c be z(-3). Suppose 6*r - c*r = 394. Does 22 divide r?
False
Suppose l - 4*l - 174 = 0. Let r(k) = -k + 124. Let p be r(0). Let i = l + p. Does 16 divide i?
False
Suppose 7*o = -47 - 135. Is 13 a factor of o/2*(-51)/17?
True
Let k = 2891 + -1799. Is 13 a factor of k?
True
Suppose -7*c = -2*c - k + 779, 0 = 5*c + 4*k + 784. Is c/(-18) - 3/(-9) a multiple of 2?
False
Is (-5)/(-30) + 1517/6 a multiple of 30?
False
Suppose -26*n = -21331 + 5055. Is n a multiple of 37?
False
Suppose -f + 66 + 39 = 0. Let d = 169 - f. Suppose 5*r = r + d. Is 8 a factor of r?
True
Let h = -10 - -13. Suppose 2*n + 140 = -3*p + 445, 0 = h*p - 4*n - 335. Is 16 a factor of p?
False
Suppose -5*b + 2*d + 52 = 0, -b - 2*b - d + 40 = 0. Let y be -5*3*b/10. Let k = 44 + y. Is 13 a factor of k?
True
Let i = 47 + -31. Let x(w) = -5*w - 7. Let n be x(-3). Let k = i + n. Is 12 a factor of k?
True
Let v(k) = 12*k**2 - 4*k - 2. Let l be v(-4). Suppose x - 518 = -3*m - 2*m, -x = 2*m - l. Does 13 divide m?
True
Let i be (-1)/(4/(-4)) + 2. Suppose -i*d + 110 = 4*z, 2*d - 106 = -4*z + d. Suppose b = 91 - z. Does 23 divide b?
False
Let o be ((-4)/10)/((-18)/135). Let x(k) = k**3 + 3. Does 15 divide x(o)?
True
Let c(p) be the third derivative of -29*p**6/120 + p**3/6 + p**2. Let v(k) = 30*k**3 - 1. Let j(z) = -5*c(z) - 4*v(z). Does 6 divide j(1)?
True
Let y be 4/(-18) + (-836)/(-36). Suppose -y = -3*c + 283. Is 8 a factor of c?
False
Let m(z) = -4 + 8 - 4*z - 9*z + 5*z**2 - 10. Does 8 divide m(6)?
True
Suppose 0 = -31*g - 73*g + 28704. Is 9 a factor of g?
False
Let x(y) = y**2 + 4*y + 15. Let i be x(11). Suppose -i - 261 = -7*c. Is 16 a factor of c?
False
Suppose 9*a - 1686 - 2643 = 0. Does 13 divide a?
True
Let y = -33 - -54. Let h = y - 19. Suppose -3*u - 5*q + 60 = -132, h*u - 4*q = 106. Is u a multiple of 15?
False
Let s = -76 + 116. Let q = s - 16. Is 8 a factor of q?
True
Suppose a - 431 = -4*x - 2904, 0 = a - x + 2468. Is 33 a factor of a/(-15) + (51/15 - 3)?
True
Let v(r) = r + 1. Suppose -23 = -5*g + 22. Is v(g) a multiple of 5?
True
Suppose -3*u + 8 = -u. Suppose 5*r + v = 836, 0 = -r - 4*r + u*v + 831. Suppose -2*f + 2*y + 56 = -2*y, -y = -5*f + r. Does 17 divide f?
True
Suppose 928 - 3413 = -7*j. Is j a multiple of 99?
False
Let u(l) be the first derivative of -l**6/40 - l**5/30 - l**4/12 - l**3/6 + l**2/2 + 9. Let d(k) be the second derivative of u(k). Is d(-3) a multiple of 17?
True
Let j = -9 - -27. Let c = j + 2. Is c a multiple of 4?
True
Suppose -553 + 1473 = 10*b. Is 4 a factor of b?
True
Let h(l) = l + 11. Let a be h(-6). Let r = a + -12. Is ((-46)/8)/(r/28) a multiple of 5?
False
Suppose m - 519 = -34. Let s = 690 - m. Is s a multiple of 41?
True
Suppose -45 = a - 4*u - 15, 0 = -2*a + u - 25. Let y be 6/(-10) + 24/a. Is (-3 - -2)*129/y a multiple of 7?
False
Suppose -4*w = 3*g - 1424, -4*g + 448 = -3*g - 4*w. Does 52 divide g?
True
Let x(v) = -3*v**2 - 3*v - 3. Let b be x(-2). Let p = b - -14. Let y = 9 - p. Does 4 divide y?
True
Suppose -4*f + 2*f - 12 = 0. Let a(g) = g + 9. Let s be a(f). Suppose s = 3*c - 39. Is c a multiple of 7?
True
Let j(m) = -2*m + 94. Does 4 divide j(15)?
True
Suppose 208 = 2*x - 344. Does 6 divide x?
True
Let b = -303 -