*c - 107. Let l = 37 - p. Suppose -5*k = m - 36, 2*k + 5*m - 3*m = l. Is 5 a factor of k?
False
Let t = -92 - -163. Suppose -3*g - t = -4*p, 3*g - 14 - 15 = -p. Does 10 divide p?
True
Let b(u) = -2*u - 6. Let d be b(-4). Is 14 a factor of ((-8)/d - -8)*7?
True
Let y = 0 + 3. Suppose 0*s + y*s - 84 = 0. Is s a multiple of 9?
False
Let y = -9 + 13. Suppose y*f = 5*o - 51 - 68, -3*o + 93 = 3*f. Let h = o + -11. Is h a multiple of 9?
False
Let f be (178/(-2) - 1) + -1. Let a = -16 - f. Does 24 divide a?
False
Let m(q) = -3*q + 25. Is m(7) even?
True
Let t(r) = -r**2 + r + 92. Suppose 0 = -11*d + 6*d. Let o be t(d). Suppose 2*s + 24 - o = 0. Is 10 a factor of s?
False
Suppose 4*c - 1 - 15 = 0. Suppose 3*i = -i + c. Suppose -5*f = -2*z - 10, -f + 3*z = -3 + i. Is f a multiple of 2?
True
Let s(l) = -l**3 + l**2 + 3. Let w be s(0). Suppose 4*i - 5*i = -2*d - 28, -70 = -w*i - d. Is 12 a factor of i?
True
Let j(d) = 8*d. Let c(q) = -3*q. Let t(s) = 14*c(s) + 4*j(s). Let i be t(-4). Suppose -7*z + 2*z + 5*b = -i, 5*z - 4*b = 43. Is 5 a factor of z?
False
Let y be 42*(-3)/(1*-6). Suppose -s + y = 2*l - 2*s, l = 3*s + 13. Is 5 a factor of l?
True
Suppose -4*r + 57 + 51 = 0. Suppose -5*b + y - 128 = 5*y, -y - 122 = 5*b. Is 6 a factor of (r/(-12))/(9/b)?
True
Let y = 21 - -18. Is 19 a factor of y?
False
Is 4 a factor of 54/(-5)*10/(-4) - 4?
False
Suppose 6 = 4*a - 6. Suppose -a*k + 60 = -30. Is 10 a factor of k?
True
Let p(k) = -3*k**2 + 2*k**3 - 7*k**3 + 6*k**3 + 4*k. Is 6 a factor of p(3)?
True
Let s be (-1)/((-3)/(-9)) + 8. Let b be 60/27 + 4/(-18). Suppose 2 = 2*i, s*i + 5 + 22 = b*t. Is t a multiple of 12?
False
Suppose m + 68 = 3*m. Let t = m + -14. Does 10 divide t?
True
Suppose 130 = 3*v + 2*q - q, 0 = 4*v - 3*q - 156. Does 14 divide v?
True
Is 29*(-3 - (-3 + -1)) a multiple of 10?
False
Suppose -140 = 10*y - 1080. Does 28 divide y?
False
Let c = -64 - -107. Is c a multiple of 13?
False
Suppose 0 = 2*k + 3*k - 160. Does 8 divide k?
True
Let q(p) = 3*p - 1. Let x be q(-1). Let g = 7 + x. Is 2 a factor of g?
False
Let l(c) = c**3 - 5*c**2 - 5*c. Is 6 a factor of l(6)?
True
Suppose -2*j - 6 = -j. Let a = j - -9. Suppose -a*g - 3*y - 30 = -5*g, 39 = 3*g - 3*y. Is g a multiple of 9?
True
Let f = -16 - -46. Is f a multiple of 6?
True
Suppose 90 - 972 = -9*p. Is p a multiple of 49?
True
Suppose -1 = -2*t + 5. Suppose g - t*f + 6 = -f, -5*f = -g - 21. Suppose 5*s - 52 = g*s. Is s a multiple of 21?
False
Suppose -2*w + 3 - 1 = 4*s, 4*s - 1 = -w. Suppose 2*c - 10 = -3*c. Is (-44)/c*w/(-1) a multiple of 12?
False
Suppose 0 = 3*s - 1046 - 439. Suppose -6*p + p = -s. Is 26 a factor of p?
False
Is 3 + (-2 - 5/(5/(-16))) a multiple of 11?
False
Let b = -8 - -3. Let f = b + 24. Does 7 divide f?
False
Let z = -28 + 36. Is z a multiple of 4?
True
Suppose -2 - 8 = -5*j. Suppose -j*a - d = 2*d, a = 3*d - 18. Is 5 a factor of 2 - (a + -4 + 2)?
True
Let o = 0 + 34. Is o a multiple of 12?
False
Let t(c) be the first derivative of c**4/4 + 5*c**3/3 - 3*c**2/2 - 2*c - 4. Is 13 a factor of t(-3)?
False
Let i(y) = -y**3 - y**2 - 4*y - 3. Is i(-2) a multiple of 4?
False
Suppose 0 = 2*j - 3*p - 3, -p - p + 30 = 4*j. Does 6 divide j?
True
Let g(z) = -2*z + 1 + z + 4. Let n be 4/(-2)*-1*-5. Is g(n) a multiple of 8?
False
Suppose -10 = -4*y - k + 6, -y - k = -7. Let q = y + -1. Is q a multiple of 2?
True
Suppose 0*p + 348 = 4*p. Does 34 divide p?
False
Suppose -40 = 4*b + b. Let p(o) = -6 + o**2 + 7*o - 2*o - 1. Is 8 a factor of p(b)?
False
Let u(d) = -4*d**2 - 7*d + 2. Let g(w) = -13*w**2 - 21*w + 6. Let t(x) = 2*g(x) - 7*u(x). Suppose 5*m + 2*m + 42 = 0. Does 13 divide t(m)?
False
Let s(i) = -i**3 + 4*i**2 + 3*i + 4. Let k(r) = r + 11. Let q be k(-8). Is s(q) a multiple of 9?
False
Let b(u) = -u**3 - 6*u**2 - 4*u - 9. Suppose 2*k - 18 = 5*k. Does 4 divide b(k)?
False
Let o be (-1 - 1)/(2 + -3). Suppose 0 = -o*x - u - 5, 5*u + 3 + 2 = 0. Does 20 divide 0 + (x - 2*-11)?
True
Is ((-4)/(-8))/((-1)/(-254)) a multiple of 22?
False
Suppose 5*d + 4*z - 48 = -18, -2*z + 14 = 2*d. Let j = d + 1. Is 3 a factor of j?
True
Let d(x) = -4*x + 1. Let g(n) = -n**2 - 2. Let a be g(0). Let i be 0 - 0 - a - 6. Is 12 a factor of d(i)?
False
Suppose 0 = 2*a + 13 - 23. Suppose 55 - 4 = a*u + 4*h, 3*h + 3 = 0. Is u a multiple of 3?
False
Let y(p) = -p**3 + 7*p**2 - 5*p - 1. Let q be y(6). Suppose -3*c + 3*t = -51, q*c + 0*t - 2*t = 70. Does 7 divide c?
False
Let q be 1/(-3) - 115/(-3). Let o(g) = -g**2 - 10*g + 19. Let r be o(-13). Let s = q + r. Is 9 a factor of s?
True
Suppose 3*g = -p - p + 31, 0 = 2*g - 4*p - 10. Let j be (g/(-2))/((-1)/2). Suppose -4*a + j = -63. Does 14 divide a?
False
Let p(h) = -7*h + 7. Let q be p(5). Let i = q - -76. Is 12 a factor of i?
True
Suppose -5*f - 45 = 4*b, -b = -2*f + 2*b - 18. Let o(u) = -5*u - 6. Does 11 divide o(f)?
False
Suppose 4*w = 4*l - 436, 2*w = w + 3. Let z = l - 65. Is 9 a factor of z?
False
Let d(r) = r + 19. Is 4 a factor of d(-14)?
False
Let a = 67 - 40. Let x(d) = a*d**2 + 6 - 3*d**3 - 7*d - 19*d**2 + 2*d**3. Does 2 divide x(7)?
True
Let q = 11 - 6. Suppose 2*u + h = -3*h - 28, -q*h = u - 1. Is 13 a factor of (10/4)/((-2)/u)?
False
Let d be (-15)/4 + 27/36. Does 10 divide (-45)/6*16/d?
True
Does 7 divide 3/(-2)*1442/(-21)?
False
Let a(w) = -2*w. Let l be a(1). Does 3 divide 4/l - (2 - 8)?
False
Suppose 4*g + 0*y + 4*y + 20 = 0, -2*y - 2 = 0. Let s(m) = -m**2 - 4*m + 5. Is 2 a factor of s(g)?
False
Suppose -2*r + 6*d + 358 = 2*d, 2*d = -3*r + 521. Does 34 divide r?
False
Does 16 divide (-2 - (3 - 2)) + (13 - -198)?
True
Suppose -n = 2*n + 2*g - 10, -3*g - 42 = -5*n. Suppose n*u - u + 50 = 0. Let k = u + 22. Is k a multiple of 12?
True
Let a(i) = i**3 - 5*i**2 + 3*i + 1. Let y = -11 - -16. Does 16 divide a(y)?
True
Let r(p) be the third derivative of -p**4/4 + p**3/2 - 4*p**2. Does 14 divide r(-6)?
False
Let q(v) = -v**3 + 13*v**2 - 9*v + 16. Let x be q(12). Suppose -5*w + 0*l = -4*l - 113, -5*l - x = -2*w. Does 21 divide w?
True
Let s = 8 + -8. Suppose s*b - 27 = -3*b. Suppose b*w - 15 = 4*w. Is 3 a factor of w?
True
Suppose 0 = 4*g - 2*d + 62 - 368, -g - 5*d + 71 = 0. Is 23 a factor of g?
False
Suppose 0 = -5*t + 23 - 8. Suppose l = -t*l + 384. Is 0/(-2) + l/8 a multiple of 8?
False
Suppose -8*u = -3*u - 15. Suppose 2*d - 146 = u*g, -3*g - 150 = -2*d - 2*g. Does 29 divide d?
False
Suppose -155 = -4*h - h. Let x be (-9)/1 - (3 + -1). Let i = x + h. Does 10 divide i?
True
Let x be (-2)/((-1)/(-2)*2). Let t be (-4)/(-8) + (-155)/x. Suppose 0 = 4*y + 6 - t. Does 18 divide y?
True
Let z be 4/(-18) - (-1180)/(-36). Let q = z - -55. Does 11 divide q?
True
Let n = 5 - 13. Is (-356)/n*4/2 a multiple of 24?
False
Let w = -59 + 128. Suppose -5*q - 4*o + 65 + w = 0, 3 = 3*o. Is 13 a factor of q?
True
Let t(s) = 2*s + 4. Suppose -c + 0*c - 17 = -r, c + 21 = 3*r. Let h be ((-4)/(-1))/((-6)/c). Is t(h) a multiple of 12?
True
Suppose -33*x + 28*x + 795 = 0. Does 14 divide x?
False
Let a = 7 + -1. Suppose -a*x = -4*x - 176. Suppose 0 = -n - h + 6 + 8, 0 = -5*n + h + x. Is n a multiple of 10?
False
Let l(c) = c + 1. Let d be l(3). Suppose 3*m - 42 = -d*z + 31, 2*m + 120 = 5*z. Is z a multiple of 11?
True
Let y(s) = 18*s**2 + 11*s - 2. Is y(-2) a multiple of 17?
False
Let j(o) = -2*o + 2. Let y be j(-3). Let v = -4 + y. Is v even?
True
Let m(l) = 10*l - 49. Is 32 a factor of m(14)?
False
Let m(u) be the third derivative of u**5/60 - u**4/6 - u**3/2 + u**2. Let i(d) be the first derivative of m(d). Is i(7) a multiple of 5?
True
Suppose 0 = 3*v - 5*a - 135, -4*v - 4*a = -v - 108. Is 10 a factor of v?
True
Suppose 2*d + 2 - 6 = 0. Is 116/6 + d/(-6) a multiple of 7?
False
Let f = -11 + 8. Let b = f + 11. Does 8 divide b?
True
Suppose 0 = -4*q - 0*q - 4*v - 128, 3*q - v + 80 = 0. Let w = -14 - q. Does 7 divide w?
True
Let i = -7 + 10. Suppose -i*b + 6*a + 17 = a, -b + 5*a = 1. Is 7 a factor of b?
False
Is 6 a factor of ((-12)/(-10))/(2/15)?
False
Let v(a) = a**2 - 4. Let q be v(3). Let b = 7 - q. Suppose 3*k - b*k - 10 = 0. Is 5 a factor of k?
True
Let f be (-44)/(-10) + (-4)/10. Suppose -f*s = -2*s - 2. Is 10 a factor of (-3 - -1)/(s/(-10))?
True
Does 18 divide 55*(-9)/10*(-24)/18?
False
Suppose -2*d + 2*b = -0*d - 2, 2*b - 12 = -5*d. Suppose 3*m + 5*u = -2*m + 15, 2*