t o(a) = a**3 - 38*a**2 + 40*a - 70. Is o(37) a multiple of 2?
False
Suppose -16 = 4*k, -3*m + 5 = 2*k + 1. Suppose 0 = 2*f - m*n + 10 - 66, 0 = -4*n - 16. Does 5 divide f?
True
Let m be -1 + (1 - -2) - 2. Let n = 0 - m. Suppose n = 5*b - 151 + 36. Is 12 a factor of b?
False
Suppose -4*j = -0*j - 780. Is j a multiple of 13?
True
Let d = -103 - -151. Suppose -4*q = 4*c + 14 - 62, 0 = -4*q + 3*c + d. Is q a multiple of 8?
False
Let o(k) = 4*k**2 + 7*k - 8. Let m be o(-7). Suppose -4*y = -5*z - 313, -y - z = y - m. Suppose g = 3*g - y. Is 13 a factor of g?
False
Let d(i) = i**3 - 2*i**2 - 6*i + 5. Is 10 a factor of d(5)?
True
Suppose 2*r - 5*n + 1 = -10*n, -3*r + 4*n = -10. Suppose -5*i + 15 = 3*q + q, -4*q + 6 = 2*i. Let l = r + i. Is 5 a factor of l?
True
Let a be (-63)/6*6/(-9). Let f be -7*a - -2 - 1. Let l = -20 - f. Is l a multiple of 14?
True
Let w(s) = 2*s - 6. Let m be w(4). Suppose -2*a + 22 = -4*c, -4*a + m*c - c = -65. Is a a multiple of 9?
False
Let x(p) = 3*p + 1. Let r(b) = b**2 + 5*b - 3. Let j be r(-6). Does 5 divide x(j)?
True
Let c(v) = v**3 + 7*v**2 + 8*v - 1. Let w be c(-5). Let f(p) = -p**2 + 3*p + 10. Let h(k) = k**2 - 4*k - 11. Let q(n) = 2*f(n) + 3*h(n). Does 14 divide q(w)?
True
Suppose -17 = g - b + 2*b, -3*b = g + 23. Let y = g + 50. Is y a multiple of 12?
True
Let h(z) be the third derivative of -z**5/60 - 13*z**4/24 - 3*z**3/2 + z**2. Is h(-9) a multiple of 7?
False
Suppose -6*m + 5*p = -3*m - 510, -3*m - 3*p = -486. Does 33 divide m?
True
Let w = -18 + 20. Suppose 0 = -g + w*g - 67. Is 25 a factor of g?
False
Suppose -7 = 3*v + 4*h, -23 = -v - 0*h + 5*h. Let d = v - -18. Does 13 divide d?
False
Suppose 10 = d + 4*i - 7, 0 = -3*d - 2*i + 31. Suppose -6*o + d*o = 48. Is o a multiple of 4?
True
Let j = 72 - 66. Is j a multiple of 5?
False
Let z = 6 + -3. Let b(m) = m**3 - m**2 + 3. Let c be b(z). Let t = c - 15. Does 3 divide t?
True
Let p = 0 - -1. Suppose -p + 12 = -u. Let f(k) = k**3 + 10*k**2 - 12*k + 11. Does 8 divide f(u)?
False
Let i = -13 + 10. Let w(m) = 4*m**2 + 2*m + 3. Is w(i) a multiple of 10?
False
Suppose 78*w = 80*w - 212. Is 18 a factor of w?
False
Let o(p) = -4*p - 19. Is o(-6) a multiple of 5?
True
Suppose -9 = 4*d - 33. Is d a multiple of 6?
True
Suppose l = -4*l - 30. Is ((-52)/(-5))/(l/(-15)) a multiple of 26?
True
Let j(t) = 26*t - 2. Is j(1) a multiple of 12?
True
Suppose 4 = b - 2*b, 2*b = -4*l + 56. Is 6 a factor of l?
False
Let w = -13 - -95. Is w a multiple of 20?
False
Let p = 69 - 45. Does 8 divide p?
True
Suppose -839 = -5*u - 39. Does 29 divide u?
False
Suppose -2*i + 8 = 2*i. Does 18 divide i/1 - 3 - -65?
False
Let m = -16 - -6. Is 6 a factor of ((-108)/45)/(2/m)?
True
Let r(a) = a**3 + 11*a**2 - a + 1. Let s be r(-5). Let o = -88 + s. Is o a multiple of 23?
False
Let s(q) = -q**2 - 4*q + 4. Let h be s(-4). Suppose -2*w = -4*u + 50, -3*u + 34 = -h*w - 6. Does 4 divide u?
True
Suppose -7*z + 378 = -1267. Is z a multiple of 47?
True
Suppose -5*v + 7 = 17. Let r = v + 4. Does 3 divide (-6)/2 + r + 9?
False
Suppose 444 = 2*p - 4*u, -131 = -p - 5*u + 84. Is 44 a factor of p?
True
Let u = -6 - -6. Suppose -h = -1 - u. Does 8 divide (-4)/(-2)*h*4?
True
Suppose 2 = -4*p + 10. Suppose p*o - 3*u - 13 + 4 = 0, -u = -4*o + 3. Suppose 5*m + o*m = 325. Is m a multiple of 28?
False
Let o = 135 - 75. Is o a multiple of 12?
True
Let d = 3 - 8. Is (-28)/d + (-4)/(-10) a multiple of 6?
True
Suppose 5*k + 5*r = -80, 3*r + 7 = -8. Let a(f) = f**2 + 8*f - 9. Is a(k) a multiple of 12?
True
Let w(y) = 5 - 3 - 3*y - 5. Is w(-4) a multiple of 5?
False
Suppose -2*y + 4*c + 51 = -61, 4*y = -c + 260. Is 16 a factor of y?
True
Suppose -3*o + 44 = -5*d, -5*d - 16 = 4. Is 81/(-6)*o/(-12) a multiple of 9?
True
Let g be (-8)/(-36) - (-824)/18. Is (g - 1)/(12/8) a multiple of 15?
True
Let w be (-2)/(4/(-10)) + -1. Suppose 5*y - 5*z = -5, y = 3*y + w*z - 28. Suppose 0 = -2*r - 5*f + 44, -y*f + 7 = 5*r - 86. Does 11 divide r?
False
Let j(i) = 2*i - 10. Let k be j(7). Suppose k*w + 3*p = 67, -4*p + 25 = p. Is 11 a factor of w?
False
Let f(o) = 9*o + 2. Is 29 a factor of f(3)?
True
Let w = -2 + 16. Suppose -q = -w - 16. Is 15 a factor of q?
True
Suppose 0*r - 5*r = -45. Suppose 5*o - 21 = -j, o - r = -o - j. Is 12 a factor of ((-8)/o)/(4/(-26))?
False
Is 8 a factor of (-3012)/(-42) - (2 - (-48)/(-21))?
True
Suppose 4*a + 2 = -2. Is (-105)/(-7) + (2 - a) a multiple of 15?
False
Let v(p) = p**2 - p - 14. Is 16 a factor of v(11)?
True
Let b = -9 - -9. Suppose h - 2*h + 69 = b. Is h a multiple of 15?
False
Let n(l) = 12*l**3 - 3*l**2 - 2*l + 4. Let r(a) = -25*a**3 + 7*a**2 + 4*a - 9. Let k(q) = -7*n(q) - 3*r(q). Let j be k(2). Is 3 a factor of 1/3 - j/9?
False
Let p(x) = 4*x**2 + 2*x. Let b be p(-3). Suppose -2*s + 78 = b. Is 7 a factor of s?
False
Let f be 3/(-6)*-4 + 2. Suppose f = -k - 1. Does 6 divide (16/k)/(5/(-25))?
False
Let x = 685 + -402. Is 37 a factor of x?
False
Let a = -14 - -14. Does 10 divide -4*(a - (-60)/(-8))?
True
Let v(b) = -b**3 - 6*b**2 - 2*b - 5. Let k be v(-6). Let f = -5 + k. Suppose -59 = -f*j + 13. Is 12 a factor of j?
True
Let h be 174/4 + 4/8. Suppose n - 76 = h. Suppose 0 = -4*u - u + n. Does 12 divide u?
True
Let o(k) = k + 1. Let r be o(1). Suppose -2*d = 2*a - 218, -2*a + d = -2*d - 233. Suppose p - 5 = 0, -2*m + a = r*p + 2*p. Is 12 a factor of m?
False
Is ((-364)/(-3) + 0)/((-62)/(-186)) a multiple of 21?
False
Let q = 4 + -2. Suppose -2*r - q*r = -40. Is 5 a factor of r?
True
Suppose -693 = -8*y + 539. Is 9 a factor of y?
False
Let z(q) = -q**2 + 6*q - 3. Let j be z(5). Let w = j - 4. Does 11 divide w/((-32)/(-11) - 3)?
True
Let u(n) = 3*n**2 - 4*n + 2. Let z be u(2). Let a(i) be the third derivative of i**6/120 - i**5/12 - i**4/24 - 4*i**3/3 - i**2. Is a(z) a multiple of 11?
True
Let w = 1 - -2. Suppose -3*z + w = -3. Suppose 2*m - 63 = -z*m + g, -m + 12 = -g. Is 9 a factor of m?
False
Suppose -3*z - 6 = -6*z. Let o be ((-6)/z)/3 + 1. Suppose t + r + 7 - 18 = o, -t + 5*r = 19. Is t a multiple of 6?
True
Let x(c) = c**2 - 26*c - 53. Does 11 divide x(29)?
False
Let x(z) be the second derivative of z**5/20 + z**3/2 + z**2/2 + z. Is 10 a factor of x(3)?
False
Does 4 divide -1 + -2 + 76 + (-4 - -1)?
False
Suppose w + 9 = 43. Does 20 divide w?
False
Let j(h) = 4*h**2 + 7*h + 47. Does 11 divide j(-9)?
True
Let f be 2 + -4 + 1 - -4. Let w(o) = 2*o**3 + f - 2*o - 3*o + 0*o**3. Is 13 a factor of w(3)?
False
Let w be (-1)/(3/9*1). Is 10 a factor of -10*(0/w + -2)?
True
Suppose 0 - 4 = -3*v + 4*b, -2*v = -2*b - 2. Suppose 44 = -v*s + 4*s. Is 11 a factor of s?
True
Suppose 0 = 8*o + 3 - 195. Does 5 divide o?
False
Is (-3)/((-30)/115)*2 a multiple of 4?
False
Let s(c) = -c**2 + 18*c + 21. Is s(18) a multiple of 21?
True
Let m = 43 - 19. Suppose 2*n - m = -n. Does 3 divide n?
False
Does 9 divide 0 + (147 - (-1 + 0)) - 1?
False
Let u(r) = -r**2 + 8*r + 25. Is 5 a factor of u(10)?
True
Let w = 1 + 3. Let t(m) = 5*m**2 + 11*m - 9. Let h(c) = -4*c**2 - 10*c + 8. Let g(j) = 7*h(j) + 6*t(j). Does 9 divide g(w)?
True
Suppose 4*m + 1 + 3 = -x, -5*x = 20. Suppose 5*t - 146 + 1 = m. Does 14 divide t?
False
Let l(m) = m**2 - 11*m - 20. Is l(17) a multiple of 8?
False
Suppose 0 = -5*h + 575 - 170. Let s = h - 26. Does 30 divide s?
False
Is 6 a factor of 10/4*(-480)/(-75)?
False
Suppose -2*j + 3*a + 6 = 0, a = -j - 3*a + 3. Suppose 2*t + 45 = -j*t. Let o = t + 21. Does 12 divide o?
True
Let v be (-4)/(-6) - (-16)/(-6). Is v/((-13)/6 - -2) a multiple of 4?
True
Let s = 12 + -8. Is 4 a factor of s?
True
Let w(c) = c**3 + 2*c**2 - 5*c + 4. Let k = -6 + 9. Is w(k) a multiple of 17?
True
Let w(b) = -2*b**3 - 2*b**2 + 2*b + 2. Let l = 4 + -3. Let x(q) = -3*q**2 + 2*q - 1. Let g be x(l). Does 6 divide w(g)?
True
Let p(f) be the second derivative of -f**3/6 + 2*f. Let b be p(-4). Suppose b*l - 38 = 102. Is 15 a factor of l?
False
Let o(a) = -a - 3 + 1 - 8. Let v be o(-8). Is 10 a factor of (v/(-6))/((-2)/(-78))?
False
Let n be 38 + (-1 - (1 + -2)). Suppose 26 = 3*j - 2*g - n, 0 = j + g - 23. Suppose 0 = -2*q + 68 - j. Is 21 a factor of q?
False
Is (-1 - (1 - 4)) + 73 a multiple of 27?
False
Let h be (12/9)/((-2)/6). Let u(t) = -t**3 - 5*t**2 - 4*t. Let m be u(h). Suppose m = q - 30 + 6. Does 24 divide q?
True
Let x(b) = 5