b - 3*k. Is w(b) a multiple of 2?
True
Let b(d) = -22*d**2 - 1. Let v be b(1). Let n = v - -44. Suppose 5*h = -a + n, -20 = -4*a + 2*a + h. Is a a multiple of 11?
True
Let i(z) = z**3 + 7*z**2 + 6*z. Let u be i(-6). Let p be 2/1 + (-2 - 0). Suppose -h + p*h + 8 = u. Is 7 a factor of h?
False
Let w be (-2)/4 + (-10)/4. Suppose 5*v + a + 16 + 24 = 0, -3*v + 4*a - 24 = 0. Does 4 divide (-78)/v - w/(-4)?
False
Is 36 a factor of 13/26 - (-542)/4?
False
Let l = 14 + -5. Let s be 2136/l - 1/3. Suppose -4*r = 4*i - 103 - 101, 5*r = 4*i + s. Does 22 divide r?
False
Let v(h) = 9 - 2 - 8*h - 3*h**2 + 4*h**2. Let c be v(9). Suppose -c = -4*f - 0*f. Is f even?
True
Let p be 1/(-3) - 16/(-3). Suppose -5*b + 2*x = -34, -4*b - b + 55 = p*x. Does 16 divide (-4)/(2 - 18/b)?
True
Suppose -5*i + 4*k = 464, 7*i = 4*i + 3*k - 279. Let p = i - -190. Suppose 3*x = -0*x - 4*o + 46, 4*x - 2*o - p = 0. Does 18 divide x?
False
Let d be 4*1/2 + 0. Let g be (d/(-2) - 3)/2. Is 4/3*(-21)/g a multiple of 14?
True
Let s(m) = -m**3 + 5*m**2 + 7*m - 3. Let a be s(6). Let v = -37 - -40. Suppose v = l - a. Is l a multiple of 2?
True
Let v be (-12)/(-15)*105/6. Let n = v + -8. Suppose 17 = o + n. Is 4 a factor of o?
False
Does 13 divide 1/(1 + 0)*46?
False
Let i(o) = 2*o**3 - 7*o**2 + 7*o + 2. Let b(a) = 3*a**3 - 6*a**2 + 7*a + 2. Let k(g) = -3*b(g) + 4*i(g). Does 18 divide k(-11)?
False
Suppose 0 = -4*f + 22 + 14. Is 2 a factor of f?
False
Suppose -2*t + 5*t = 90. Does 17 divide t?
False
Suppose 0 = 4*u - 42 + 14. Suppose u*k = 2*k + 80. Does 7 divide k?
False
Does 15 divide -4 + 4/(20/435)?
False
Let v = 8 + 2. Let x = v - 5. Is 3 a factor of x?
False
Let c(n) = 12*n. Let a be c(-2). Let p = -4 + a. Let q = 39 + p. Is 11 a factor of q?
True
Let o(q) be the second derivative of 5*q**4/2 - q. Is o(1) a multiple of 15?
True
Does 2 divide 2 - -39 - (4 + (-2 - 0))?
False
Suppose 2*l = 4*c - 320, -76 + 7 = -c - 5*l. Does 9 divide c?
False
Suppose 8 = 4*x - 0. Suppose -j + x*c + 15 + 41 = 0, -2*j + 3*c + 109 = 0. Is 25 a factor of j?
True
Suppose 5*m + 2 = -p, -3*p + 3*m = m + 6. Let o be (6 - p)*2/4. Suppose -h - 5*k + 32 = 0, o*h - 2*h + 2*k = 96. Is h a multiple of 14?
False
Let c = -3 - 3. Let y be 236/c + (-8)/12. Is (-3)/((-117)/y + -3) a multiple of 11?
False
Let f(c) = c**3 - 2*c**2 + 4*c - 3. Let s be f(2). Suppose -4*i - 4*x = -124, s*i + 2*x - 157 = -2*x. Does 11 divide i?
True
Let k = 110 + -69. Let d = k + 40. Is d a multiple of 27?
True
Is (-1)/(-2) - 4/(-8)*347 a multiple of 29?
True
Let o = -165 - -254. Suppose -1 = 5*y + o. Is 8 a factor of 24/y*(-30)/4?
False
Let l(v) = -2*v + 1. Let i be l(-1). Suppose -r + 9 = -i. Does 10 divide r?
False
Let c = 63 - 28. Is 7 a factor of c?
True
Suppose 0 = i - 4*i. Suppose -b + 0 + 14 = i. Is 5 a factor of b?
False
Suppose -u + 2*u = -2. Let f(n) = 13*n**2 + n + 1. Let g be f(u). Suppose 4*m = -g + 175. Does 10 divide m?
False
Does 4 divide 11/(-66) + (-614)/(-12)?
False
Let f be 111/15 - 2/5. Let o = f - 4. Suppose -2*r + 9 = -1, o*r = 3*s - 51. Is 14 a factor of s?
False
Let t(b) = b**3 + 11*b**2 + 10*b - 1. Let h be t(-10). Let k(i) = -4*i - 1. Let d be k(h). Suppose -d*l + 5*c = -56 - 39, 5*l = 2*c + 152. Does 15 divide l?
True
Suppose 0 = 4*r - 4*z + 28, 0 = 5*r + 3*z + z - 10. Let m = r + 4. Is m*(-1)/2*-12 a multiple of 6?
True
Suppose 3*v - 119 = 211. Let k be ((-7)/4 - -1)*-4. Suppose 0 = k*r + 2 - v. Is 18 a factor of r?
True
Suppose 9*h - 80 = 4*h. Suppose 3*y - h = -y. Is 3 a factor of y?
False
Let m(y) = -44*y**2 + 2*y + 1. Let o be m(-1). Let w = 1 + o. Let d = -27 - w. Does 14 divide d?
False
Let q(x) = 2*x + 1. Let p be (-1)/(-3)*0 + 2. Is 2 a factor of q(p)?
False
Suppose 10*c = c + 2637. Is 17 a factor of c?
False
Let i(v) be the first derivative of -5*v**2 - v + 3. Is i(-1) a multiple of 9?
True
Suppose u - 5*x - 82 = 0, 0*x = 2*u - 2*x - 132. Is u a multiple of 11?
False
Let p = -4 - -7. Suppose p*v - 23 = -u, 2*u - 3 = 2*v + 19. Is 7 a factor of u?
True
Suppose -4*n = -8*n - 36. Let d = n - -43. Let r = d + 30. Is 22 a factor of r?
False
Suppose -4*b + 3*b + 4 = 0, -2*w + 8 = b. Let d be w/4 + (-1177)/2. Is d/(-27) - (-4)/18 a multiple of 11?
True
Let f(q) = q - 3. Let k be f(6). Suppose k*s - 30 = -5*c + 5*s, -13 = -2*c + s. Suppose 3*t = c - 1, -4*n - 4*t + 116 = 0. Is n a multiple of 10?
False
Let s(i) = -i**3 + 7*i**2 + 4*i - 6. Is 14 a factor of s(6)?
False
Let g(b) = b + 7. Let x be g(-7). Suppose -5*l + 9*l - 348 = x. Is l a multiple of 21?
False
Let x(b) = 5*b - 5. Let y be x(-6). Let n = y + 52. Does 17 divide n?
True
Let c = 174 - 59. Suppose -c = -5*p - 0. Is 6 a factor of p?
False
Suppose q + 5 = 2, -4*m = 4*q. Let w(p) = p**3 - 2*p**2 + 0*p**3 - m*p**2 + 4*p - 4. Is 9 a factor of w(5)?
False
Let t(v) = 2*v + 21. Is t(-9) even?
False
Suppose -2*b = -23 - 25. Suppose m + 3*m - b = 0. Does 6 divide m?
True
Let r be ((-18)/15)/(8/(-20)). Suppose -4*n - r*v + 111 = 0, -2*n + 4*n - 63 = -3*v. Is 15 a factor of n?
False
Suppose -741 = -22*p + 183. Is p a multiple of 7?
True
Suppose -4*g + g + 177 = 0. Suppose 0 = 5*f - h - g, 0*h = 5*f + h - 51. Is f a multiple of 3?
False
Let j be ((-8)/(-6))/((-1)/3). Let u(x) = x**2 + 4*x - 2. Let p be u(j). Let w = p - -7. Does 5 divide w?
True
Let o = 43 - 17. Let r = o - 64. Let m = 5 - r. Is 19 a factor of m?
False
Let d = -6 - -8. Suppose 0*b = -d*b + 40. Is b a multiple of 9?
False
Let x(s) = -2*s - 4. Let g(r) = 9*r + 15. Let q(b) = 6*g(b) + 22*x(b). Let y be (-2)/7 - (-16)/7. Is q(y) a multiple of 7?
False
Let n(l) be the second derivative of -l**5/20 + 7*l**4/12 - l**3/2 + l**2 + l. Let t be n(3). Suppose -5*f + 36 = -t. Is f a multiple of 11?
False
Let q = 89 - -72. Suppose a - q = -5*x, -5*a + 28 - 87 = -2*x. Is 16 a factor of x?
True
Suppose -2*n = 2*d - 318, 8*d + 632 = 4*n + 11*d. Is n a multiple of 10?
False
Let l be ((-7)/3)/(8/24). Let m(a) = -a + 3. Let g(w) = 3*w - 11. Let b(n) = 2*g(n) + 9*m(n). Does 13 divide b(l)?
True
Suppose -77*v - 255 = -80*v. Does 17 divide v?
True
Suppose 0 = -0*r + 2*r + m - 1, -23 = -4*r + 5*m. Suppose 755 = r*s - 2*o + 175, -2*o = -3*s + 874. Is 14 a factor of ((-12)/(-7))/(12/s)?
True
Suppose -5*l + 120 = -2*v, l + l = 0. Let u = -34 - v. Is 12 a factor of u?
False
Let w be (8 + 2)*(-6)/(-4). Let x be (w/(-20))/(1/(-4)). Suppose -3*i - 2*i + x*z = -76, 3*i - 4*z - 50 = 0. Does 14 divide i?
True
Let j(u) = u**2 + u - 2. Let m be 4/(-6) + 48/18. Is j(m) even?
True
Let d(i) = -2*i**2 + 2*i - 1. Let k be d(3). Let l = 28 + k. Is 5 a factor of l?
True
Let a be 2/(-8) + 15/(-4). Is 3/(-3)*a + 1 even?
False
Let r = 3 - 0. Suppose -r*c = -2*c + 4. Let p = c + 18. Is p a multiple of 6?
False
Is (0 + (-10)/6)*-72 a multiple of 40?
True
Let d(m) = m + 18. Let c = 6 - 3. Let a(t) = -t**3 + t**2 + 2*t + 2. Let q be a(c). Does 8 divide d(q)?
True
Let t(v) be the first derivative of -v**4/4 + 4*v**3/3 + 3*v - 3. Let m be t(4). Suppose -m*l + 130 = 2*l. Does 12 divide l?
False
Suppose 0 = 5*l - 4 - 1. Let f = 8 + l. Is f a multiple of 9?
True
Let v(k) = k**2 + 9*k - 58. Is v(-15) a multiple of 4?
True
Let o(b) = 2*b + 20. Is 30 a factor of o(5)?
True
Suppose 0 = -2*s + 1 + 7. Is (-21)/(-1) - (1 - s) a multiple of 15?
False
Suppose -3*i = -6*i + 9. Suppose 2*t = -5*d + 712, -i*d + t + 198 = -238. Suppose -d + 49 = -5*f. Does 9 divide f?
False
Suppose -3*c + 0*z - 77 = 2*z, -2*z + 68 = -2*c. Let q = -9 - c. Is q a multiple of 10?
True
Suppose -131 + 3 = -4*r. Is 22 a factor of r?
False
Let r = -222 + 154. Let a = 13 + -9. Is (-1 + 2/a)*r a multiple of 12?
False
Let x(p) = 2*p + 6. Let i(z) = 2*z + 5. Let s(g) = -5*i(g) + 4*x(g). Suppose 1 = -u + w - 1, -3*u - 4*w - 13 = 0. Is 5 a factor of s(u)?
True
Suppose -3*i = -2*i - o + 3, 6 = 4*i + 2*o. Suppose -2*y + 60 = x, i*y = 4*y - 2*x - 120. Does 15 divide y?
True
Let l(t) = t**2 - t - 7. Suppose 5*p + 15 = 0, 4*p - 2*p = 4*k - 54. Let w = k - 7. Is 13 a factor of l(w)?
True
Let k(o) = -o**3 - 20*o**2 + 43*o + 7. Is k(-22) a multiple of 17?
False
Suppose -481 = -8*f + 159. Is 14 a factor of f?
False
Let q = -9 - -13. Let g(x) = 2*x**2 - x + 4 - 4 - 5*x + 1. Is g(q) a multiple of 9?
True
Let a(y) = 6*y**2 + 2*y. Let b(q) = -q - 4. Suppose -4 = x + 2. Let i be b(x). Is a(i) a multiple of 1