s m a multiple of 5?
False
Let n(o) be the third derivative of o**6/120 - o**5/6 + 5*o**4/12 - 13*o**3/6 - 11*o**2. Let z be n(9). Let w = z - -19. Is 3 a factor of w?
True
Is 36 a factor of 959 - (-5 - 1/3*6)?
False
Suppose -1785 = 8*z - 15*z. Suppose 4*k = k + z. Does 18 divide k?
False
Let y be -2 - -4 - -203*(-3 - -4). Suppose m = -4*w + 279, -2*w - w - 5*m + y = 0. Is w a multiple of 5?
True
Suppose -63 = -3*y - 54. Suppose 0 = -4*a - 3*i + 24, 4*a + 0 = -2*i + 20. Suppose 27 = y*k + a. Is 8 a factor of k?
True
Let h(u) = -u**3 + 35*u**2 - 96*u - 118. Is h(31) a multiple of 30?
True
Suppose 3*k - 73 = 5. Is 26 a factor of k?
True
Let z(j) = j**2 + 7. Let i be z(0). Suppose 0 = -i*o + 8*o - 75. Is o a multiple of 25?
True
Suppose 3*o - 5*o = -86. Suppose 28 = -5*j + o. Suppose -5*y - 14 + 105 = -j*r, -51 = -3*y + 3*r. Is 20 a factor of y?
True
Suppose -4*t + 0*t = -4. Is (((-72)/(-7))/((-18)/(-336)))/t a multiple of 30?
False
Suppose -3*n + 0*l - 110 = l, 0 = 3*n - 2*l + 95. Let w be (-2)/(2 + (-256)/126). Let j = n + w. Is j a multiple of 14?
True
Let w(r) = r**2 + 8*r + 3. Let o be w(-8). Is 18 a factor of ((216/(-10))/o)/((-8)/100)?
True
Let q = 20 + -20. Is 14 a factor of 2/2*(1 - (-55 + q))?
True
Suppose 0 = 2*r + 2*n - 1510, 4*r = n + 804 + 2191. Does 26 divide r?
False
Suppose -5*z = w - 81, 4*w - 3*z = 2*z + 299. Does 3 divide w/8 + (-5)/10?
True
Let a(l) = -l**3 + 3*l**2 - l. Let z be a(2). Suppose -3*c - 2*r = -135, -37 = -4*c + 3*c + z*r. Is 5 a factor of c?
False
Suppose 0 = 3*j + 5*r - 2792 + 773, -r = -2*j + 1333. Is 13 a factor of j?
False
Suppose 2*d - 4*f = 100, 3*d - 250 = -2*d + 2*f. Suppose 0 = 4*v - 86 - d. Let a = v - 17. Is a a multiple of 17?
True
Let t = 53 + -79. Let u = 10 - t. Is 10 a factor of u?
False
Let k(o) = -o + o + o**2 + 29 + o. Let r be k(0). Let j = r - 9. Is j a multiple of 5?
True
Let y = -1577 + 2459. Is 92 a factor of y?
False
Suppose -17*v + 29768 - 3605 = 0. Does 27 divide v?
True
Let k = 2642 - 1859. Does 29 divide k?
True
Let w be ((-2)/3)/(4/(-12)). Suppose -5*n - 24 + 79 = 0. Suppose -w*q - 6 = 0, n = 4*s + q - 130. Is s a multiple of 18?
True
Let q be (-1*2)/((-2)/(-27)). Let s be 2/((-33)/q - 1). Does 8 divide 13*1 - (s - 12)?
True
Let m(o) = 12*o - 4. Let n be m(7). Let q = n + -25. Is q a multiple of 19?
False
Suppose 49*x - 11*x - 9424 = 0. Does 64 divide x?
False
Suppose -6*j + 16 + 2 = 0. Suppose -278 = -j*p - 98. Does 4 divide p?
True
Is 11 a factor of (-2)/4 - ((-4060)/8 + 1)?
True
Let t(v) = v**3 + 2*v**2 - 4*v + 4. Let u be t(-3). Suppose -70 = -3*y - 2*y. Let p = y - u. Does 5 divide p?
False
Let g(y) = -y**2 - 14*y + 2. Let f be g(-14). Suppose 5*d - 463 = -2*l + 834, -2*l + f = 0. Is d a multiple of 37?
True
Let g(c) = c**3 - 32*c**2 - 44*c - 36. Is g(34) a multiple of 15?
True
Suppose -40*n = 16*n - 17192. Is n a multiple of 3?
False
Is 6 a factor of (79/2 - 1)*48/28?
True
Let m be ((-12)/5)/(0 + (-9)/(-30)). Let w(a) = -11*a + 19. Is 29 a factor of w(m)?
False
Let f be 3/24 - 1/8. Suppose k - u + 2 = f, -k + 3*k + 5*u = 24. Suppose g - 10 = -3*w + k*w, 26 = 2*g + 5*w. Does 3 divide g?
False
Let z = 2 + 6. Let k = 13 - 9. Is 38*k/z - -3 a multiple of 11?
True
Let i(p) = -p**2 + 11*p - 18. Let r be i(9). Suppose -5*y - 4*z + r*z = -407, 0 = -4*z - 8. Is 15 a factor of y?
False
Let h(w) = -w**3 + 12*w**2 + 29*w + 1. Let j be h(14). Is 19 a factor of (-1)/3 - (-290)/j?
True
Let r(s) = -s**3 - 9*s**2 - 17*s + 27. Is r(-12) a multiple of 17?
True
Let k(g) = 24*g**2 + 5*g + 10. Does 18 divide k(4)?
True
Let m = -18 - -20. Suppose -2*x = m*w - 472, 4*w + x = -w + 1192. Does 20 divide w?
False
Let d(a) = 1468*a**3 + a**2 - 6*a + 6. Is d(1) a multiple of 64?
False
Let m = 3311 + -1400. Does 39 divide m?
True
Let z be 2 - (1 + 5) - -7. Suppose 36 = -j + z*j. Does 18 divide j?
True
Suppose i = x + 3*i + 5, 11 = -3*x - 5*i. Suppose -4*n + 312 = 3*f, x*n + f - 131 - 98 = 0. Does 17 divide n?
False
Let i be 2/14 + 2/(-14). Let r = -4 - 0. Does 3 divide i + (-4)/(r/11)?
False
Let a(g) = 3*g - 1. Let t be a(1). Let q = -132 + 135. Suppose -f = -3*p + 108, -p - t*f - q*f + 52 = 0. Is p a multiple of 9?
False
Let w(l) = -3*l + 11. Let t be w(6). Let s(x) = -9*x - 12. Let j be s(t). Let m = j + -40. Does 2 divide m?
False
Suppose -124 = 4*y + 16. Let m = -9 - y. Does 13 divide m?
True
Let n be (-194)/22 - 18/99. Suppose -5*r + 2*g - g + 230 = 0, 2*r = 3*g + 79. Let z = r - n. Does 10 divide z?
False
Let g(t) = 7*t + 6. Let x be g(14). Let h = x - 240. Let u = h + 191. Is 11 a factor of u?
True
Let l = 10 - -6. Suppose -4 = -w, -5*w = b - 120 - l. Is 29 a factor of b?
True
Let j(a) = -319*a + 17. Does 6 divide j(-1)?
True
Suppose 2*q + 3*s + 93 = 5*q, -2*s = -5*q + 161. Does 33 divide q?
True
Let m(y) be the first derivative of y**2 - y - 5. Let c(t) = -6*t + 2. Let j(h) = 3*c(h) + 10*m(h). Is j(11) a multiple of 6?
True
Does 21 divide (11 - (-1 - -6))*28?
True
Let z(k) = -12*k - 23. Let g be z(-3). Suppose -6*n - 588 = -g*n. Is n a multiple of 12?
True
Let w = 941 + -725. Is 18 a factor of w?
True
Let i be 7 + 12/4*-1. Suppose -4*d + 8*d = -5*c + 146, -i = 2*c. Is d a multiple of 3?
True
Let i = 79 + -113. Let d = i + 39. Is d a multiple of 3?
False
Let o = 1685 - 1352. Does 9 divide o?
True
Let c = 2305 - -649. Is 16 a factor of c?
False
Does 12 divide (2 + 59 + 1)*(-114)/(-3)?
False
Suppose 290*b - 2660 = 286*b. Is 7 a factor of b?
True
Let q be (-3)/(1/(-2)*2). Let f(i) = 11*i**3 + 2*i**2 - 13*i + 16. Let a(o) = 5*o**3 + o**2 - 6*o + 8. Let n(z) = -13*a(z) + 6*f(z). Is 10 a factor of n(q)?
True
Let c(k) = k**3 + 9*k**2 + 10*k + 10. Let p be c(-8). Is 7 a factor of (-307)/(-3) - (-2)/p?
False
Let q be 1/4 - (-22)/8. Suppose -c = -q*c + 66. Is 12 a factor of c?
False
Does 53 divide ((-384)/(-30) + -8)*795/6?
True
Let w(p) = -p**2 - 2*p - 1. Let l = 1 + -2. Let g be w(l). Suppose 6*o + 0*o - 108 = g. Does 14 divide o?
False
Let w(l) = 9*l**3 + l**2. Let b be w(-1). Let z(f) = f**3 + 8*f**2 - 4*f. Let v be z(b). Suppose -v + 6 = -2*p. Does 13 divide p?
True
Let c(m) = 32*m + 21. Suppose 4*r = 3*w + 8, -4*r + 5*w = -3*r + 15. Is 18 a factor of c(r)?
False
Let s(n) = -n**2 - 23*n + 5. Let o = -69 - -62. Is 16 a factor of s(o)?
False
Suppose -5*a + 35 = 2*i, 4*a - 18 = -2*i + 18. Let o = i + -15. Suppose -o*m = -0*m - 3*x - 72, -m + 4*x + 11 = 0. Is 3 a factor of m?
True
Suppose -y + 75 = -3*x, -3*y + 6*x = 11*x - 197. Let s = 33 + y. Is s a multiple of 14?
False
Suppose 4*w - 5*q - 19 = 0, w = -w - 5*q - 13. Is 12 a factor of (119 - -5) + (-4)/w?
True
Let m(w) = -6*w**3 - 56*w**2 + 15*w + 12. Is 24 a factor of m(-12)?
True
Let t be (-2 - (-12)/8)*-2. Does 4 divide 10 + -8 + t*4?
False
Suppose 13 = 2*y + 3. Let i be 0 - y/(5/6). Let u(h) = -h**3 - 6*h**2 - 6*h - 1. Is u(i) a multiple of 10?
False
Let l = 44 + -17. Suppose -l = 12*c - 15*c. Let y(q) = -q**3 + 10*q**2 - 7*q + 6. Does 6 divide y(c)?
True
Let v(j) = -j**2 - 14*j + 8. Let z be v(-13). Let a(b) = -b + 2. Let g be a(11). Let u = g + z. Is u a multiple of 6?
True
Let b(m) = -4*m + 15. Let x be b(6). Is 4 a factor of (-42)/x*(-60)/(-14)?
True
Suppose -30 = -3*v - 3*v. Let i(h) = h - 4. Let b be i(v). Is (-7 - -5)/(b/(-10)) a multiple of 15?
False
Is 8 a factor of (1/2)/(5438/(-544) + 10)?
True
Let x(p) = 2*p**3 + 13*p**2 + 5*p. Let i be x(-6). Suppose -i*w = -28 - 140. Is w a multiple of 14?
True
Let d be (28/12 - 2)*-3. Let l(g) = 2*g**3 - g**2 - g - 1. Let v be l(d). Let x(q) = q**2 - 7. Is 2 a factor of x(v)?
True
Suppose 5*l - 3*r - 74 = -0*r, 4*r = -5*l + 53. Let j(b) = b**2 - 16*b - 43. Let s be j(19). Suppose -l*c + s*c = 9. Does 4 divide c?
False
Let g(z) = z**2 - 4*z - 7. Let l be g(6). Is 181/5 - 1/l a multiple of 18?
True
Suppose 7*i = 8*i + 11. Let f = 51 + i. Is f a multiple of 17?
False
Let p = 23 + -21. Is p/10 + 528/10 a multiple of 6?
False
Suppose -4*m + 4105 = s, 347 - 3442 = -3*m - 4*s. Is 25 a factor of m?
True
Suppose 2*g + 5*y + 14 = -4, 5*y - 6 = 4*g. Does 9 divide 57 - (-2 - (3 + g))?
False
Let f = -4726 - -8110. Is 12 a factor of f?
True
Suppose 2*r = c + 3*c, -4*c + 20 = 3*r. Suppose -32 = -2*g - r. Is g even?
True
Let x(y) = 558*y + 3. Let h be x(1). Suppose 5*p + 3*f = h, -p = -0*p - 2*f - 107. Is 15 a facto