*k. Let w(u) = 8*u. Is 8 a factor of w(k)?
True
Suppose 4*r = 11*r - 2730. Is 15 a factor of r?
True
Let y(c) = -c**2 + 7*c - 5. Let h be y(5). Suppose -7 = h*l + 3*f, -2*l - 6 = -2*f - 0*f. Is 1/1*l + 40 a multiple of 15?
False
Let b(i) = 3*i**2 + i - 34. Does 52 divide b(13)?
False
Suppose -1 - 7 = -4*p. Does 6 divide ((-42)/56)/(p/(-32))?
True
Let d be 4/5*(-10)/(-4). Suppose -82 = -d*k + 16. Does 18 divide k?
False
Let s(o) = o**2 - 3*o - 3. Suppose -42 + 17 = -5*k. Let v be s(k). Suppose 5*d = -r + 25, 0 = -2*d + 15 - v. Does 3 divide r?
False
Suppose 4*y + 4*c = 3*y + 10, 0 = -2*y + 4*c - 4. Let d = 17 - y. Is d a multiple of 10?
False
Suppose -f + 5*n = -31, -3*f + n - 6*n + 113 = 0. Is f a multiple of 32?
False
Does 15 divide (3 - (1 + 1)) + 160?
False
Let l(r) = -7*r**2 - 5*r - 6. Let z(n) = -15*n**2 - 10*n - 12. Let t(o) = -13*l(o) + 6*z(o). Does 20 divide t(-7)?
True
Let h(k) = -k**2 - 6*k + 3. Let y be -1 - (1 + 1) - 2. Is h(y) a multiple of 7?
False
Suppose -5*b + 183 = 2*x, -4*b - 3*x + 146 = -x. Is b a multiple of 4?
False
Suppose 4*l - 114 = 90. Is 17 a factor of l?
True
Let l be 4/(-14) + 210/49. Suppose 18 = 2*n - 2*r - 0*r, r + 39 = l*n. Is n a multiple of 9?
False
Let p(s) = s**3 + 11*s**2 - 2*s - 6. Let m be p(-8). Suppose -4*h - 14 = -m. Is h a multiple of 13?
False
Let o = 1 - 1. Let t be 91 + o + 0 + 1. Suppose t = 5*b - 3*z, 2*z + 8 = -0*z. Is 16 a factor of b?
True
Let j = -22 + 15. Let l(h) = 7*h**3 + 12*h**2 - 7*h + 6. Let c(x) = 3*x**3 + 6*x**2 - 3*x + 3. Let u(d) = -5*c(d) + 2*l(d). Is u(j) a multiple of 13?
True
Let o(g) = g**2 + 8*g - 3. Let y(k) = k - 1. Let m(q) = o(q) - 3*y(q). Let j be m(-6). Let w(a) = -a**2 + 11*a - 7. Is 18 a factor of w(j)?
False
Let y = -16 + 9. Let x = -5 - y. Suppose -x*r = 17 - 69. Does 13 divide r?
True
Suppose -15 = -y - 4*y. Suppose 5*z - 2*o - 33 = -2, -2*o = -z + y. Is 3 a factor of z?
False
Suppose 0 = -2*z - i - 2*i + 138, -2*z = -3*i - 138. Does 11 divide z?
False
Let s(c) = -24*c - 3. Let z be s(-2). Let x = z - 19. Is 13 a factor of x?
True
Let c be (10/6)/((-9)/(-513)). Suppose 5*i - 3*h - 20 - 195 = 0, -2*i + 3*h = -c. Is 20 a factor of i?
True
Is (-3 - -4)/7 - (-293)/7 a multiple of 7?
True
Let x(c) = 5*c**2 - 4*c - 6. Let w be x(-4). Let b = w + -55. Is b a multiple of 14?
False
Suppose 3*h - 42 = l + 41, 5*h - 127 = -4*l. Is 3 a factor of h?
True
Suppose 4*x + 12 = 3*q - 7*q, -2*x = -q - 3. Let p be q/5 + 648/(-45). Let d = 3 - p. Is 9 a factor of d?
True
Is 15 a factor of (3*9)/(8/8)?
False
Suppose -4*u + 72 = 3*f, -2*u + 30 = -5*f - 6. Is 15 a factor of u?
False
Suppose 7 = 4*g - 1. Suppose 38 = h + 3*f, 0 = h - g*h + 3*f + 32. Is h a multiple of 35?
True
Suppose -8*m + 2136 - 24 = 0. Is m a multiple of 12?
True
Let k(i) = i**2 - 11*i - 5. Is k(13) even?
False
Let m(q) = -q**3 + 8*q**2 + q + 1. Let s be (-15)/(-2) - 2/(-4). Is m(s) a multiple of 9?
True
Suppose 0 = -5*f + 3*l - 0*l + 51, -2*f + 21 = -l. Is 4 a factor of f?
True
Let v(z) = -z**2 + 11*z - 8. Let o be v(10). Suppose 0 = 5*c + 5*g - 15, 3*c - 9 = o*g + 2*g. Suppose c*n = -0*n + 12. Is n a multiple of 2?
True
Let y(a) be the second derivative of 1/2*a**3 + 0 - a**2 - a + 1/6*a**4. Is y(-4) a multiple of 8?
False
Is 9/(135/1640) + 2/3 a multiple of 11?
True
Suppose 4*h - t = -44, h + 2*h - 5*t = -33. Is 5 a factor of (-75)/h - 2/(-11)?
False
Let f(i) = -4*i + 2. Let z be f(-5). Suppose -5*o = -z + 7. Suppose 0 = 4*p + o*u - 2*u - 39, -p = 2*u - 15. Is p a multiple of 4?
False
Is 2 a factor of 27/3 - (2 + -1)?
True
Let m(a) = -a**3 + 7*a**2 + 10*a + 4. Let g be m(8). Let n = g - -52. Is n a multiple of 21?
False
Suppose 0*g - 2*g + 4*b + 326 = 0, 4*g = -2*b + 662. Let x = g - 65. Is x a multiple of 25?
True
Suppose 3*t = -3*z - 18, 2*z - 4*z - 4*t - 20 = 0. Let w be (-1)/z + (-4)/8. Suppose w = -3*d + 5*r + 6, -3*d + 18 = r - 2*r. Is d a multiple of 3?
False
Suppose -3*q - 120 = -8*q. Does 7 divide q?
False
Let z = -5 + 8. Let a(p) = 3 + 0 - 3*p - 5 + p**z + 6*p**2. Is a(-3) a multiple of 21?
False
Let q(r) = r**2 - 3. Let j be q(-3). Suppose 3*d = -3*v, 0 = -7*d + 4*d + 4*v - 21. Let m = d + j. Is m a multiple of 2?
False
Let p(l) be the second derivative of l**3/2 + 3*l**2/2 - l. Let r be p(-3). Let d = r - -22. Is d a multiple of 16?
True
Let r be (-114)/(-30) + 2/10. Suppose 15 = -r*p + 127. Is 7 a factor of p?
True
Let y = -25 + -26. Let t(f) = -f**2 - f - 24. Let m be t(0). Let c = m - y. Does 12 divide c?
False
Suppose 20 = -5*k + 40. Suppose -288 = -k*h - 96. Is h a multiple of 12?
True
Suppose 0 = -m + 1 - 0. Let s(n) = -13*n**2 - 6*n + 7. Let z(w) = -25*w**2 - 11*w + 13. Let g(j) = 11*s(j) - 6*z(j). Is g(m) a multiple of 2?
True
Let u(r) = -2*r - 1. Let d be u(2). Is 6 a factor of 5/25 + (-54)/d?
False
Suppose -g + 44 = 4*n, 76 = 2*g - 5*n + 10*n. Does 7 divide g?
True
Suppose 5*c + 2 + 62 = 2*f, -12 = 3*c. Is 6 a factor of f?
False
Let v(i) = 13*i. Let w(g) = 77*g. Let a(f) = -35*v(f) + 6*w(f). Let h be a(2). Let z = h - 2. Is z a multiple of 12?
True
Let t be (-5)/(-2) - 2/4. Suppose t*q + 3*q - 7 = 3*l, 2*l = 2. Suppose -10 = -a + q. Is 6 a factor of a?
True
Let o = -94 - -163. Is 25 a factor of o?
False
Suppose -c - 1 = -2*z, 3*z + 2*z - 15 = 0. Suppose 0 = -5*n + 2*u + 49, -c*n - u - 10 = -68. Is n a multiple of 10?
False
Let y = -39 + 82. Is 15 a factor of y?
False
Let k(a) = -a + 7. Suppose -5 = -0*r - r. Let u be k(r). Suppose 0 = -4*l - 16, 5*z - u*l = 6*z + 1. Is z a multiple of 7?
True
Suppose -z = 4*z - 10. Suppose a - z = 8. Is a a multiple of 9?
False
Let r = 238 + -125. Does 18 divide r?
False
Suppose -4*v - 4 = 32. Let r = 18 + -16. Does 2 divide -3*21/v - r?
False
Let q(u) be the second derivative of u**4/12 - u**3/3 + 3*u**2/2 + 2*u. Let y be q(3). Suppose -n - 50 = -y*n. Is n a multiple of 5?
True
Let h(a) = a. Let u be h(3). Suppose -t = -u*t + 72. Does 10 divide t?
False
Suppose 3*f = y - 0 + 3, 0 = -y + f + 7. Let t(s) = s - 6. Let x(o) = -o + 7. Let h(v) = 6*t(v) + 5*x(v). Does 4 divide h(y)?
False
Let p = -9 + 126. Does 13 divide p?
True
Let i = -3 - -14. Is i a multiple of 5?
False
Is 13 a factor of 3385/45 + (-6)/27?
False
Suppose -11*a + 327 + 47 = 0. Is a a multiple of 17?
True
Let o(q) be the first derivative of q**5/30 - 5*q**4/12 + q**3 + q**2 - 2. Let d(w) be the second derivative of o(w). Is 17 a factor of d(7)?
True
Let b = -51 + 156. Is 21 a factor of b?
True
Let a(u) be the third derivative of -u**4/8 + 4*u**3/3 + 3*u**2. Is a(0) a multiple of 3?
False
Does 11 divide 6/(-9) + 800/12?
True
Let w be (15/(-25))/(1/(-5)). Let l be 14/(-1)*w/(-6). Let h(q) = 2*q - 7. Is 5 a factor of h(l)?
False
Suppose 1 + 3 = 2*j. Suppose 0 = -j*m - 3*l + 38, -l - 22 = -2*m + 24. Is m a multiple of 10?
False
Let w = -31 - -39. Is 2 a factor of w?
True
Does 2 divide 26/12 - (-4)/(-24)?
True
Suppose 3*v = 15, -14 = 4*f + 2*v - 44. Let c = 27 + f. Is c a multiple of 12?
False
Let v(w) = 16*w - 17. Is v(6) a multiple of 7?
False
Let g be (0 - 2)*(-700)/8. Let d = g + -115. Suppose 4*o + l - d = -o, 0 = 3*o + 2*l - 43. Does 4 divide o?
False
Suppose 33 + 3 = -4*i. Is 20 a factor of 120/i*-3*1?
True
Let t(o) = -o - 3. Let d be t(-5). Let x be (-407)/(-5) + d/(-5). Let z = x - 55. Is z a multiple of 13?
True
Let b = 2812 + -1840. Suppose -b = 3*u + 48. Is u/(-8) - 2/4 a multiple of 19?
False
Is 18 a factor of 3 - (3 - 4 - 78)?
False
Let v(k) = 11*k + 3. Let s(d) = -7*d - 2. Let q(u) = -8*s(u) - 5*v(u). Let f(b) = -2*b**2 + 2*b + 4. Let t(m) = -f(m) + 3*q(m). Is t(-3) a multiple of 9?
False
Let w be (-1)/2 - 6/12. Let x be -1 + w + 2 + 68. Suppose 6*t - x = 2*t. Is t a multiple of 7?
False
Suppose 5*c = r - 241, 0*c - 633 = -3*r - 3*c. Suppose 5*v = 2*p - 144, 3*p = -0*v + v + r. Does 24 divide p?
True
Let a(v) = v**2 + 6*v - 3. Let k(j) = j**3 + 6*j**2 + 6*j - 3. Let p be k(-5). Is 6 a factor of a(p)?
False
Suppose 4*q - 49 = -177. Let h = q + 56. Is 8 a factor of h?
True
Let p be 428/(-24) + (-2)/12. Suppose -3*a + 14 - 2 = 0. Let o = a - p. Is 15 a factor of o?
False
Let f(n) = n**3 + 4*n**2 - 4*n + 2. Let k(m) = 2*m + 5. Let x be k(-5). Let r be f(x). Let c = r - -11. Does 4 divide c?
True
Let v(x) = x**3 - 4*x**2 - 4*x + 3. Let f(r) = -r**3 - r**2 + 1. Let z be f(-2). Suppose 2*a