m + 56. Is m a multiple of 14?
True
Let y(i) = 7*i + 24. Let s(a) = -20*a - 71. Let o(z) = -6*s(z) - 17*y(z). Does 3 divide o(-8)?
False
Let t(c) = c**2 - 3*c - 3. Let h be t(3). Let f(q) = -14*q - 1. Is 20 a factor of f(h)?
False
Is 7 a factor of 6 + (2 - (0 - -1))?
True
Let d(j) = 4*j**2 + j + 2. Suppose 3*r = 4*o + 8, 2*r + 12 = 4*r + 4*o. Suppose f - z - r*z = 23, 2*f + 19 = -3*z. Is 9 a factor of d(f)?
False
Let g(o) = -o**3 - 5*o**2 + 5*o - 4. Let b be g(-6). Suppose b*j - 9 = -j. Suppose 0 = 3*r - 3*k - 24, -4*k + 4 = 2*r - j*r. Is 5 a factor of r?
False
Let r(p) = 5*p**2 - 4*p + 2. Does 3 divide r(2)?
False
Suppose -56 = -4*z - 0*z. Suppose -5*g + 7 = 4*f + 46, -3*g = -f - z. Let b = 19 + f. Does 6 divide b?
False
Let a(g) = 10*g**2 - 2*g. Is 24 a factor of a(-3)?
True
Let g(x) = -30*x**3 - 1 + 1. Let o be g(-1). Suppose 10 = n - 3*z, -n + z - o = -4*n. Does 4 divide n?
False
Suppose -8*w + 10*w = -6. Let c(i) = -11*i - 12*i + 5*i. Does 18 divide c(w)?
True
Let j = 6 - 2. Let g(d) = j*d + d - 5 - 2*d. Is g(5) a multiple of 10?
True
Suppose 0 = -s - 0*n + 3*n + 15, s = -3*n - 15. Suppose -o + 4*l + 50 = 0, 4*o - 185 = l - s*l. Let z = o + -19. Is z a multiple of 17?
False
Let f = 155 + -258. Let r(c) = 2*c**3 - 6*c**2 + 14*c - 20. Let g be r(5). Let t = f + g. Does 15 divide t?
False
Let f = 125 + -85. Suppose 3*k = -3*t + 66, 4*t = 3*k + 128 - f. Is t a multiple of 6?
False
Let y(b) = b**2 + 3*b + 2. Let a be y(-2). Suppose a = -x + 2 + 2. Suppose -4*h = 5*m - 102, 2*m - 3*m = -x*h - 30. Is m a multiple of 11?
True
Suppose -d - 136 = -3*c, c - 3*d - 34 - 22 = 0. Suppose 5*y + n - 76 = 4*n, -n - c = -3*y. Is 7 a factor of y?
True
Suppose -3*u + 30 = -3. Let i = u + -7. Suppose -i*g + 20 = -36. Is 5 a factor of g?
False
Let j(i) be the third derivative of 1/30*i**5 + 1/4*i**4 + 0*i**3 + 0 + 0*i - 2*i**2. Is 3 a factor of j(-4)?
False
Let c(o) = 5*o**2 - o - 2. Suppose 4 - 19 = 5*f. Let i be 5 - (-1)/(1/f). Is c(i) a multiple of 16?
True
Let p be ((-4)/6)/(8/(-108)). Is -48*(-1)/(12/p) a multiple of 11?
False
Suppose 0 = -3*f - 5*q + 3, 0*f + 4*q = -3*f. Is f/30 + 242/15 a multiple of 14?
False
Let d = -1 + 5. Suppose 7 = d*n - 5. Suppose -10 - 17 = -n*w + 3*p, 4*w = -2*p + 18. Is 3 a factor of w?
True
Let i be 5/20 - (-54)/8. Let f(s) be the third derivative of -s**5/60 + 11*s**4/24 + 5*s**3/3 + 2*s**2. Is f(i) a multiple of 12?
False
Let k = 82 + -2. Suppose t + 3*x = 24, -5*x - 29 = 2*t - k. Suppose 99 = 3*c + t. Is 14 a factor of c?
False
Suppose 5*c - 20 = 2*z, -3*z + 16 = -0*c + 4*c. Is c a multiple of 2?
True
Suppose -2*i + 2 = z - 8, 5*z = 2*i + 98. Does 6 divide z?
True
Suppose -n - 55 = -2*g + 175, -2*n + 110 = g. Is 19 a factor of g?
True
Let n be ((-12)/42)/((-1)/7). Suppose 2*c - 3*m = 30, -5*m = 6*c - 4*c + n. Is 2 a factor of c?
False
Suppose -h = -5*h - n + 175, 3*n - 129 = -3*h. Let a = 76 - h. Is a a multiple of 16?
True
Let x = 2 - -1. Let s = 19 - x. Does 4 divide s?
True
Let y(v) = -11*v - 14. Is y(-6) a multiple of 20?
False
Suppose -2*p + 309 = p. Is p a multiple of 33?
False
Let s(n) = -21*n + 7. Let c(i) = -11*i + 3. Let o(t) = -7*c(t) + 4*s(t). Is 14 a factor of o(-5)?
True
Let s(n) = 3*n + 6. Let h be s(-5). Let p = h - -12. Suppose -3*g - 5*a = -7, g + p*g - 3*a - 19 = 0. Is 2 a factor of g?
True
Let b be (4/12)/((-2)/6). Let y be b/(-1 - 96/(-93)). Let z = y + 53. Does 15 divide z?
False
Is 14 + -2 + 3*(-1 - -2) a multiple of 15?
True
Let y be 21/6 + (-9)/6. Is 2511/45 - y/(-10) a multiple of 23?
False
Let g be 2 - (1 + 0) - 1. Suppose 2*c = -g*c + 6. Suppose c*o = 5*w - 77, 0 = -5*w - 2*o + 18 + 39. Does 6 divide w?
False
Let t = 2 - 0. Suppose -t*a = -7*a + 800. Suppose -5 = -5*u + a. Does 10 divide u?
False
Let z be -1 - 12/(-8)*2. Suppose 0 = r + 2*o - 8, 8 + 26 = 2*r - z*o. Is r a multiple of 3?
False
Let m = 4 - 4. Suppose m = -y + 4*y - 180. Does 15 divide y?
True
Let q(v) = 3*v + 0*v**2 - 2*v**2 + 30*v**3 - 2*v + 17*v**3. Is q(1) a multiple of 17?
False
Suppose -4*g + 240 = 5*q, g + 4*q - 71 = -0*g. Is g a multiple of 19?
False
Let b(p) = -p. Let u be b(7). Let y(l) = l**2 + 6*l - 4. Let w be y(u). Is 3 a factor of -5*(w*-1)/3?
False
Suppose 0*x - 3*x + 11 = s, 3*x + 29 = s. Is 4 a factor of s?
True
Does 30 divide (-60)/(-4 - (-30)/9)?
True
Suppose -3*o + 21 + 91 = h, 0 = o - 3*h - 44. Let u = -27 + o. Is 11 a factor of u?
True
Let o(c) = 2*c. Let a be o(2). Let h(g) = -a*g**2 + 2*g**2 + 3 - 10*g + g**2. Is 9 a factor of h(-7)?
False
Let f(n) = 2*n**3 + 2*n**2 - 2*n + 3. Is f(2) a multiple of 23?
True
Let h = 93 + -36. Let p(k) = -k + 14. Let l be p(11). Suppose 0 = 4*g + 5*v - 111, -l*v + h = -5*g + 242. Is 15 a factor of g?
False
Let u(p) = p**2 + 9*p - 7. Let y(h) = -2*h - 2. Let q be y(-5). Let m = -2 - q. Is u(m) a multiple of 2?
False
Let i(s) = 15*s - 17. Is 14 a factor of i(3)?
True
Let q(t) = -2*t**3 + t**2 + 2*t + 1. Is 2 a factor of q(-1)?
True
Let q be 20/9 + (-2)/9. Let o(v) = v**3 + 4*v**2 + 2*v - 2. Let r be o(-3). Let c = q + r. Does 2 divide c?
False
Let y = 37 + -29. Is 8 a factor of y?
True
Suppose 5*a = -f + 250, -2*f - 2*a + a = -482. Does 40 divide f?
True
Does 8 divide (4 - 9)*-13 - 3?
False
Suppose s = 2*q - 4*s - 27, 5*s - 36 = -q. Does 21 divide q?
True
Suppose 0*r + 2*j + 12 = 4*r, -3*j - 6 = -3*r. Suppose -8*v = -r*v - 12. Is 3 a factor of v?
True
Let y be ((-5)/(-3))/((-6)/(-18)). Suppose s - 3*m = 58, s + 202 = y*s - 2*m. Is s a multiple of 14?
False
Let g(o) = o**3 + 6*o**2 + 3*o + 2. Let t be (-4)/(-6)*-3 + 9. Let b = -12 + t. Is 12 a factor of g(b)?
True
Let b(k) = -4*k**3 + k**2 - 3*k - 2. Let m be b(-2). Suppose 0 = 3*h - 3*w + 5 + m, -3*w = 0. Is -1*(h - 2/(-2)) a multiple of 7?
True
Does 18 divide (6/(-15))/(2/(-90))?
True
Let i(w) = 18*w**2 + w - 1. Does 9 divide i(1)?
True
Let k be -3*1 - (-4 - -5). Let c = 1574 - 2302. Does 16 divide k/18 + c/(-36)?
False
Let v(i) = i**3 + 13*i**2 + 12*i + 1. Let u be v(-12). Let a be (-1 - u)/((-12)/18). Suppose -w + 5*c + 2 = -0*w, 5*w = -a*c + 66. Does 6 divide w?
True
Let u = -96 - -166. Suppose c = -2*l + 60, 2*c = 5*l + u + 5. Does 8 divide c/4 - (-2)/4?
False
Suppose 2*l + n = 4*n + 21, -l - n = -3. Does 3 divide l?
True
Is (-8)/(-28) + 691/7 a multiple of 33?
True
Suppose -2*q + 70 = -8. Does 2 divide q?
False
Let m(f) = f**3 - f**2 - 4. Is 14 a factor of m(3)?
True
Let n be (-1)/(2/7)*-2. Let u = 5 - n. Is 4 a factor of 5 + (-1 - (-2 - u))?
True
Let i be (-12)/(-8)*(-8)/(-6). Suppose 0 = -4*s - i*r + 48, -4*s = -2*r + 3*r - 46. Does 4 divide s?
False
Let b(l) = l**3 - 3*l**2 + 5*l + 4. Does 20 divide b(4)?
True
Suppose -5*t + 16 = v - 4, -v - 2*t + 14 = 0. Is 2 a factor of v?
True
Let y(p) be the first derivative of -5*p**2/2 - 14*p + 1. Does 12 divide y(-10)?
True
Let f be (-2 + -1 + 0)*-1. Suppose 4*i = -f*s + 272, -s + 142 = 2*i + 2*s. Suppose i = 4*u + 1. Does 13 divide u?
False
Let b = -354 - -635. Is b a multiple of 36?
False
Let z(i) = -i**3 + 7*i**2 - 8*i + 2. Let x = 5 - -1. Let n be z(x). Let y = -6 - n. Does 4 divide y?
True
Let n = 2 - -2. Let o(q) = -q**2 + 4*q - 1. Let c be o(n). Let y = 7 - c. Is y a multiple of 7?
False
Let h(o) = 2*o**2 - 3*o - 1. Let g = 2 - -3. Is h(g) a multiple of 13?
False
Let q = 215 + -125. Is q a multiple of 10?
True
Does 15 divide (-2 - (6 + -3))*-3?
True
Let p(d) = -d - 4. Let b be p(-4). Suppose b*m - 3*m = -6. Suppose 19 = a + 5*h, 0 = 3*a - a + m*h - 30. Does 8 divide a?
False
Let h(r) = r**2 + r + 64. Let s be h(0). Let v = s - 28. Is v a multiple of 11?
False
Suppose 3*y - q = 322 + 164, 0 = 3*q + 9. Does 25 divide y?
False
Let q be (-2)/7 + (-47)/7. Let z be (2 + (-2)/4)*100/30. Let u = z - q. Is 4 a factor of u?
True
Let j = 30 - 15. Does 10 divide (-1)/(-3) - (-250)/j?
False
Suppose -18 + 2 = 4*j. Let d be (-28)/(-6)*54/(-21). Is ((-6)/j)/((-2)/d) a multiple of 9?
True
Let z = -62 + 110. Suppose 2 = -v, x - 5*v = -2 + z. Is x a multiple of 12?
True
Let z(t) = -26*t**3 + 2*t**2 - 1. Let x be z(-1). Let j = x + -18. Is j a multiple of 9?
True
Let y(m) = m**3 - m. Let t be y(-3). Is (t/(-20))/((-6)/(-220)) a multiple of 11?
True
Let l(s) = -s**2 + 2*s + 3. Is l(0) a multiple of 3?
True
Suppose -3*i = -2*t - 375, -4*i + 6*i + 3*t - 237 = 0. Let c = i - 82. Is 19 a fact