2*k. Is r a multiple of 10?
True
Does 19 divide (-90 - 0)*(-10 - -9)?
False
Let x(j) be the third derivative of j**5/30 + 7*j**4/24 + 2*j**3/3 + 2*j**2. Is 8 a factor of x(-4)?
True
Suppose 4*n = -0*n - 5*o + 53, -2*n + 20 = -4*o. Does 12 divide n?
True
Is 30 a factor of 10/3*(12 + 24)?
True
Suppose -3*m = -5*b - 66, 2*b + 12 = -m - 10. Is -1 + 1 + (1 - b) a multiple of 13?
True
Suppose 0 = -h + 4*s - 1, 0*s - 91 = -4*h - 3*s. Suppose j - h = 23. Is j a multiple of 21?
True
Suppose 3*a = -u + 27, 4*u + 2*a + 80 = 8*u. Does 3 divide u?
True
Let n = 47 + -8. Let x = n - 56. Let c = -11 - x. Is 6 a factor of c?
True
Let u = 10 + -6. Suppose -u = -y + 4. Does 8 divide y?
True
Suppose -3 = -3*a + z + 14, -2*z = 2*a - 14. Let l = 9 - a. Suppose -4*u = 4*p - 8, l*u - p = -0*p + 26. Is 6 a factor of u?
False
Let u(o) = -6 + 0*o + 5*o**2 - 7*o - 4*o**2. Is u(8) a multiple of 2?
True
Let y = 72 + -21. Is y a multiple of 12?
False
Let v(x) = -10*x**3 + 2*x**2 - 1. Let a be 2*((-4)/8)/1. Does 5 divide v(a)?
False
Let u = -39 + 185. Suppose 3*p - o = -p + 199, -4*o = -3*p + u. Does 25 divide p?
True
Suppose -85*k = -88*k + 69. Does 23 divide k?
True
Let d(w) be the first derivative of -4*w**2 - w + 3. Is 2 a factor of d(-1)?
False
Suppose h + 3*h - 20 = 0. Suppose x + 0*t + h*t = 40, 5*x - 142 = 4*t. Is x a multiple of 15?
True
Let r = -56 + 71. Is 2 a factor of r?
False
Suppose 5*w - 84 = 16. Let s = 2 + w. Is s a multiple of 7?
False
Is (-3)/((-6)/16)*2 a multiple of 3?
False
Suppose -5*l = 5, 6*l + 41 = 2*h + 3*l. Does 8 divide h?
False
Let j(c) = -c**2 - 3*c + 2. Suppose -10 = -2*v - 3*v. Let s be j(v). Let y = 17 + s. Is y a multiple of 9?
True
Suppose -4*y = -3*u + 3, 4*y - 6 = -3*u - 3. Is 14 a factor of u + 0/(-1) - -27?
True
Suppose -2*u + x = u + 20, 2*x + 10 = -4*u. Let q(w) = -w**3 - 3*w**2 + 6*w + 3. Is q(u) a multiple of 9?
False
Suppose -3 = a - 5. Suppose 18 - 4 = a*y. Is 3 a factor of y?
False
Suppose 9*q - 7*q = 270. Is q a multiple of 27?
True
Is (-1 + (-60)/8)*-4 a multiple of 19?
False
Suppose -q - 2*q + 63 = 4*f, -31 = -2*f - q. Is ((-265)/f)/((-1)/3) a multiple of 19?
False
Suppose 10 = -2*v - 3*v. Let a = 2 - v. Let s(l) = -l**3 + 5*l**2 - 2*l + 5. Is 13 a factor of s(a)?
True
Let n be 10/35 - 746/14. Let x = -5 - n. Is 24 a factor of x?
True
Suppose 0*p = -2*a - p + 9, 4*a = -5*p + 33. Let n = a - -17. Is n a multiple of 11?
False
Does 26 divide 6640/32 + (-6)/4 + 2?
True
Let k(l) be the second derivative of -l**5/20 + 7*l**4/12 + l**3 - 3*l. Is k(7) a multiple of 21?
True
Let w be -2 + 2 + (-6 - 3). Does 5 divide 3/((-5)/(105/w))?
False
Let i(k) = 4*k + 1. Let z be i(1). Let m(s) = 18*s - 10. Let g be m(5). Suppose z*u - g = u. Does 20 divide u?
True
Let x(k) = 10*k**2 + 3*k - 3. Suppose -2*l + 4 = -0*l. Is 6 a factor of x(l)?
False
Suppose o - 2*k = 150, -3*o = -7*o + k + 635. Suppose 2*b = 7*b + o. Is 15 a factor of ((-39)/(-2))/((-24)/b)?
False
Let l be (-572)/(-7) + 12/42. Suppose 3*i = -4*y + l, 39 = i - 0*i - y. Is i a multiple of 29?
False
Suppose -4*z + 43 = 3. Suppose -74 = -4*h + 2*t, 3*h + 2*t = 7*t + 73. Let i = h - z. Does 3 divide i?
True
Suppose 0*l = -5*l + 10. Let m be (-2)/(-4) - (-255)/10. Suppose -86 = -3*v - o, -l*o = v - o - m. Is v a multiple of 11?
False
Let v = -2 + 5. Suppose -89 = -v*w + 163. Is w a multiple of 21?
True
Suppose 11*j - 460 = 7*j. Is 33 a factor of j?
False
Let o(w) = -2*w - 13. Is 2 a factor of o(-8)?
False
Let c = 1 - -2. Suppose c*h = 4*f - 8, -3 = -3*f + 4*f - 2*h. Is 5 a factor of f?
True
Suppose 3*n - 7 = 5. Suppose n*j = 61 + 59. Is 7 a factor of j?
False
Let k(m) be the first derivative of -6*m**2 + m + 1. Does 17 divide k(-2)?
False
Suppose -5*y + 898 = -152. Does 10 divide y?
True
Let p(f) be the third derivative of f**5/30 + f**4/24 + f**3/6 + 4*f**2. Is p(3) a multiple of 22?
True
Let k = -262 - -380. Is 16 a factor of k?
False
Let o(a) = a**3 - 18*a**2 + 17*a + 19. Is o(17) a multiple of 19?
True
Suppose 2*j - 2 = 0, -4*p = -p + 3*j - 21. Does 5 divide 22/(-3)*p/(-4)?
False
Let s = -32 + 61. Is 29 a factor of s?
True
Suppose 4*d - 656 = -4. Let y = 64 - d. Let a = y - -152. Is a a multiple of 17?
False
Let n = 57 + -45. Is 12 a factor of n?
True
Let r be 4/(-18) - 388/36. Let a = r + 31. Is 10 a factor of a?
True
Let g be 324/8 - (-3)/(-6). Suppose 2*u + 2*o - 6 + 4 = 0, 4 = -o. Is g/25 + 2/u a multiple of 2?
True
Let v(c) be the second derivative of c**6/120 + c**5/12 + c**4/24 - c**3/2 + c**2/2 + 2*c. Let m(y) be the first derivative of v(y). Is 8 a factor of m(-4)?
False
Suppose -5*p - 2*l = 62 - 278, 5*p + 3*l = 214. Is p a multiple of 20?
False
Let u be (-4)/(-8) - 73/(-2). Suppose -7 = 4*m + z - u, 0 = -3*z - 6. Let h = -6 + m. Does 2 divide h?
True
Let c(u) = 2*u**2 + 14*u + 1. Is c(-8) a multiple of 4?
False
Let y = -32 - -79. Does 8 divide y?
False
Suppose -r = -2*r + 12. Suppose 4*y + r = -0*y. Let w = 49 + y. Is w a multiple of 21?
False
Let y = 15 - 11. Let d be y + (-6)/3 + 1. Suppose -c = d*c - 168. Does 21 divide c?
True
Suppose -4*r + 4*l + 40 = -8, 3*l + 43 = 4*r. Does 5 divide r?
False
Suppose -30 = v - 6*v - 3*z, z = 5. Suppose -v*p + p = o - 4, -o + 1 = 5*p. Suppose 4*w + o = -14, b = 5*w + 42. Is b a multiple of 6?
False
Let l(a) = -10*a - 3. Suppose -5 = y - 21. Suppose -y = -2*b + 6*b. Is l(b) a multiple of 14?
False
Let v = -17 - -20. Let b(p) = -5*p + 2*p**2 + 2 + 2 - 2. Is 4 a factor of b(v)?
False
Suppose -138 = -0*b - 4*b + 2*p, 32 = b + 2*p. Is b a multiple of 13?
False
Suppose -s = 3*j - 9, -5*s - 2*j + 7 = -103. Does 8 divide s?
True
Let i be 7/(-3) - (-4)/(-6). Is 5 a factor of 6/i - (-7)/1?
True
Suppose 3*q = 7*q + 16. Let d = -5 - q. Is 4 a factor of (-29)/(-4) + d/4?
False
Let n be (-37)/2*(-4 + -6). Let w be n/2*(-6)/3. Is 9 a factor of w/(-10) - (-2)/(-4)?
True
Let j(q) = -q. Let t(k) = 5*k + 4. Let w = -4 + 5. Let a(p) = w*j(p) + t(p). Does 12 divide a(3)?
False
Suppose -20 = -2*t + 60. Is t a multiple of 10?
True
Let j(i) = -28*i + 1. Let v be j(-1). Let w = -18 + v. Is w a multiple of 5?
False
Is 31 a factor of 61 - ((-28)/(-20) - 1)*5?
False
Let p(u) = u**2 - 15*u + 8. Is 20 a factor of p(16)?
False
Let w(b) = -b + 7. Let r(u) = -1. Let l(o) = -3*r(o) - w(o). Suppose -i + 3*z + 13 = 3*i, -3*i = -4*z - 1. Is 2 a factor of l(i)?
False
Let b(d) = 15*d**3 - 3*d**2. Suppose 0 = -3*x - 2*x + 10. Is 22 a factor of b(x)?
False
Let y(n) = -n**2 - n + 30. Let w be y(0). Suppose 150 = 5*a - w. Does 12 divide a?
True
Let l(g) = -2 + 6 - 3 + 1 + 4*g + 7*g**2. Is 15 a factor of l(-2)?
False
Let t(d) = d - 4. Let n be t(8). Suppose 2 - 6 = -n*x. Does 8 divide ((-24)/(-15))/(x/5)?
True
Let g(x) = 2*x. Let m be g(3). Suppose 0 = m*v - 4*v - 68. Is 10 a factor of v?
False
Let q(h) be the second derivative of -h**5/20 - 5*h**4/6 - 11*h**3/6 - 6*h**2 - 7*h. Is q(-9) a multiple of 2?
True
Suppose -2*d - 1 = 1. Let m = -13 + 15. Is 10 a factor of (m/3)/(d/(-27))?
False
Suppose -3*a = -7*a. Suppose a*j - j = -53. Is j a multiple of 16?
False
Suppose j + 9 = 2. Let b(r) be the third derivative of -r**6/120 - r**5/10 + r**4/6 - 2*r**3/3 - 2*r**2. Is 15 a factor of b(j)?
False
Let q(j) = j + 21. Does 4 divide q(-13)?
True
Let a be (3/4)/(4/16). Suppose v - 72 = -a*v. Does 9 divide v?
True
Is 7 a factor of (-45)/(-6)*((-152)/(-20) + -2)?
True
Suppose 2*p = 2*n - 10, 5*n = 3*p + 40 - 15. Suppose 5*l = 3*z + 44, 0 = -2*l + l + n*z + 22. Is l a multiple of 7?
True
Suppose -5*r + 146 + 24 = -5*l, 4*l + 2*r + 118 = 0. Let k = l + 44. Does 8 divide k?
False
Let y = 62 + 66. Does 8 divide y?
True
Suppose 996 + 564 = 5*x. Is 52 a factor of x?
True
Suppose -5*l = 5*r + 10, r - 3*r = 3*l + 9. Suppose -s + 34 = 2*t - 19, s = -r. Is 28 a factor of t?
True
Suppose -2*i = -4*z + 76, -2*z + 8*i - 5*i + 38 = 0. Is z a multiple of 19?
True
Let g = -3 - -5. Is ((-52)/(-2))/2 - g a multiple of 4?
False
Suppose -3*d + 0*d - j - 5 = 0, 0 = -5*d - 2*j - 7. Let h be -4*d/(3/2). Suppose 0 = 4*g - h*g + 76. Does 17 divide g?
False
Let o(i) = 2*i**2 + 2*i. Suppose 7 + 3 = -5*b. Is 3 a factor of o(b)?
False
Suppose x - 1 - 13 = 0. Does 14 divide x?
True
Let y(o) = -2*o**2 - 15*o + 11. Let d(f) = 5*f**2 + 31*f - 23. Let a(n) = 4*d(n) + 9*y(n). Is a(7) a multiple of 14?
True
Let i = -11