 6. Is 14 a factor of k(2)?
True
Let f = -80 + 84. Let a(n) be the third derivative of n**6/120 - n**5/20 + n**4/6 - n**3/2 - n**2. Is 18 a factor of a(f)?
False
Is 27 a factor of ((-108)/(-42))/((-1)/(-21))?
True
Let b(x) = 2*x**2. Let w be b(-2). Let h be -3 + 2 + w/2. Suppose h*u + u = 168. Is u a multiple of 15?
False
Let g(o) = -o**3 + 7*o + 6. Does 14 divide g(-4)?
True
Suppose j - 3 + 1 = f, -5*f + 20 = 0. Is 6 a factor of j?
True
Suppose 2*v + 24 = -v. Let f = 12 + v. Suppose -f*r + 91 = -3*a, -23 = -2*r - a - 2*a. Does 19 divide r?
True
Let w = -94 + 123. Is 11 a factor of w?
False
Let i(q) = q**2 + 6. Is 18 a factor of i(8)?
False
Is 14 a factor of 476/16*(7 + 1)?
True
Does 29 divide 7/14*18/2*42?
False
Let f(n) = -n**2 - n + 2. Let m be f(-2). Suppose 5*x - 141 + 6 = m. Is x a multiple of 7?
False
Let u = 7 + -5. Suppose -75 = -5*w + u*j, 2*j + 1 = w - 6. Is w a multiple of 17?
True
Suppose 505 = 5*i + k + k, -5*i = -k - 490. Suppose -2*n - i = -n. Is 3/2 - n/6 a multiple of 18?
True
Let z be (-56)/3 + (-4)/(-6). Let o be (-52)/(-16) - (-2)/(-8). Is (-1)/o - 114/z a multiple of 3?
True
Suppose -8*c + 12 = -12*c. Is c/(-9) - (-1736)/21 a multiple of 15?
False
Let n = -182 + 260. Does 39 divide n?
True
Let v = 14 + 7. Suppose -9*u + v = -6*u. Is 2 a factor of u?
False
Let t(h) = -2*h**3 - 4*h**2 + 3*h + 5. Let r be t(-4). Suppose -55 = -4*s + r. Let n = -18 + s. Is n a multiple of 9?
False
Let r = 38 + -89. Let g = r - -97. Does 23 divide g?
True
Let l = -28 + 16. Let f be ((-50)/(-3))/((-8)/l). Is 3 a factor of 30/f*(-10)/(-4)?
True
Suppose j + 4*c = 4*j - 34, 5*j - 50 = 5*c. Does 2 divide -6*j/(-4) + -2?
False
Suppose -3*k + 58 = -68. Is 17 a factor of k - (2/2 - 2)?
False
Let u(h) = 5*h - 9. Let l be u(3). Let d(p) = -1. Let k(m) = -3*m - 3. Let y(n) = -5*d(n) - k(n). Is y(l) a multiple of 13?
True
Suppose 0 = -0*n - 5*n. Suppose -b + 2*b - 3 = n. Let a = 15 - b. Is 6 a factor of a?
True
Suppose 4*z - 21 - 3 = 0. Let c = -3 + z. Is c a multiple of 3?
True
Let k = 190 - 107. Is 29 a factor of k?
False
Let n = 0 + 2. Suppose n + 23 = 5*a. Suppose 0 = j + 3*r - a*r - 4, -2*j + 3*r + 8 = 0. Is 2 a factor of j?
True
Let q(y) = y**3 - 6*y**2 - 6*y + 4. Is 3 a factor of q(7)?
False
Suppose 5*q - 22 + 87 = 0. Let i = 107 + -94. Let f = i - q. Is 13 a factor of f?
True
Is 2 a factor of -1 - (10/(-1) - -2)?
False
Let q(p) = 2*p**2 - p + 1. Let s be q(1). Is (-2)/s*36/(-3) a multiple of 6?
True
Let v = -18 + 24. Is v a multiple of 4?
False
Suppose -6 = 2*z - 5*z. Suppose 0 = -4*i + 5*v + 20, -2*v = -3*i + z*v + 14. Is 5 a factor of i?
True
Suppose -11*m = 8*m - 703. Does 13 divide m?
False
Suppose 0*n - 10 = 5*n, 90 = 5*w - 5*n. Is w a multiple of 8?
True
Suppose 3*c - 2*z - 25 - 2 = 0, 2*z - 29 = -5*c. Is c even?
False
Let z be 3 - (6/(-2) - 82). Let m = z - 58. Suppose -p = p - m. Is 15 a factor of p?
True
Let i be ((-2)/(-4))/(4/8). Let g = -1 - i. Is 9 a factor of (-17 - 1)*g/2?
True
Suppose 0 = -q - 22 + 24. Let p = -11 - -17. Is 21 a factor of (q + (-14)/p)*-105?
False
Is 5 a factor of (-15 - -17)/(2/10)?
True
Let l(o) = -o**3 + 2*o**2 + o - 4. Let q(r) = -2*r + 9. Let g be q(6). Does 8 divide l(g)?
False
Suppose 7*h = 3*h + 160. Suppose 5*j = -3 + 8, -4*p + h = -4*j. Is 11 a factor of p?
True
Let v be -6*1 - (-1 + 3). Let b = v - -8. Let n(d) = d**2 - d + 27. Is n(b) a multiple of 12?
False
Let z be ((-1)/2)/(3/(-6)). Let d(c) = c - 1. Let x(t) = -6*t - 8. Let h(n) = z*x(n) - 6*d(n). Is 17 a factor of h(-3)?
True
Let k(g) be the third derivative of 37*g**5/60 - g**3/6 + 2*g**2. Let v be k(-1). Suppose 0 = 5*s - 2*s - v. Does 5 divide s?
False
Suppose 7 = -2*y + 45. Suppose k - 15 = y. Is 17 a factor of k?
True
Suppose 0 = -4*r - 4*m + 44, -3 = -3*m - 6. Suppose 28 = 4*n + r. Suppose n - 14 = -f. Is f a multiple of 10?
True
Let m = 10 + -7. Let o(r) = 2*r + 1 - r**2 + 3*r**2 - m*r. Is o(2) a multiple of 6?
False
Suppose 1 = l + 5. Let a(r) = r**2 - 5*r + 6. Let f be a(6). Does 19 divide l/f*1*-141?
False
Let u(j) = -j**3 + 25*j**2 + 3*j - 60. Does 3 divide u(25)?
True
Let x(g) = g**3 + 5*g**2 + 5*g + 5. Let t be x(-4). Let j be (t + 3)/(0 - -2). Is (-18)/(-12)*j*1 a multiple of 3?
True
Let i(u) = u. Let p be i(4). Let j(k) = -2*k + 4. Let h be j(p). Is 5 a factor of (-2)/(h/(-6))*-2?
False
Let s be 6*13/6*2. Suppose 3*g + s = 5*g. Suppose -y + g = -3. Is y a multiple of 8?
True
Suppose -2*n + 26 = 5*q, -3 + 19 = n + 4*q. Is (-1 + (-12)/n)*-4 a multiple of 6?
False
Let z = 426 + -179. Is 19 a factor of z?
True
Let c = 29 - -6. Suppose 12 - c = -s. Is 8 a factor of s?
False
Does 20 divide -1 - (-84 + (8 - 4))?
False
Suppose 0 = 2*s - 0*s - 198. Does 11 divide s?
True
Let a(x) = 5*x**2 - 3*x + 4. Let z(o) = 1. Let i(k) = a(k) - 3*z(k). Let m = 7 - 4. Is i(m) a multiple of 13?
False
Let d(v) = v**2 + 6*v - 5. Let f be d(-6). Let t(i) = -i - 7. Let x be t(f). Let n(c) = -2*c**3 - 3*c**2 - 3*c - 1. Does 3 divide n(x)?
True
Let h = 49 - 25. Does 15 divide h?
False
Suppose -15 = q - 3. Let n(v) = 6*v. Let j be n(-3). Does 12 divide (q/(-9))/((-2)/j)?
True
Let i = -21 - -55. Is i a multiple of 11?
False
Let y(s) be the third derivative of s**7/280 - s**6/180 - s**5/60 + s**4/24 + s**3/2 + 3*s**2. Let g(z) be the first derivative of y(z). Is 13 a factor of g(2)?
True
Let r be (-3)/((-6)/(-184)*-2). Let w be (1 - 1 - 13)/1. Let x = w + r. Is x a multiple of 12?
False
Let i = 38 + -19. Suppose -2*d = 5*t + 2, -d - d + 4*t - 38 = 0. Let n = i - d. Does 15 divide n?
True
Suppose a + 0*a = 0. Suppose -3*f - 60 = -5*f - 2*d, -f + 2*d + 27 = a. Does 13 divide f?
False
Let c(l) = -l + 5. Let t be c(10). Let b be (-8)/6 - (-2)/6. Let y = b - t. Is y a multiple of 4?
True
Is 177 - (-9)/(-2)*(-14)/(-21) a multiple of 29?
True
Suppose 0 = 4*f - 2*n - 334, 3*f + 3*n + n - 267 = 0. Suppose -4*x + 3*x = f. Let h = -45 - x. Does 15 divide h?
False
Let m(j) be the first derivative of j**2/2 + 26*j - 2. Let z = -4 + 4. Is 13 a factor of m(z)?
True
Let s = -8 - -13. Suppose 0 = -4*w + s*w + 3. Is 23 a factor of w*2*31/(-3)?
False
Let u = 83 - 38. Is u - 2 - (1 + -2) a multiple of 11?
True
Let o(x) = -x - 7. Let p be o(-6). Let u = p - -5. Does 9 divide (54/(-15))/(u/(-10))?
True
Let i be 1 + (-3 - -2) + -44. Suppose 4*m - 50 - 246 = 0. Let j = m + i. Does 15 divide j?
True
Is 19 a factor of 76/(-10)*(-9)/(9/10)?
True
Let i be (-3)/(9/(-6) - 0). Suppose -2*k + 624 = -5*l, -i*k - 44 = l + 88. Does 8 divide 2/(-5) - l/15?
True
Let c(v) = 24*v**2 - 6*v + 11. Is 25 a factor of c(3)?
False
Let t(d) = -d**3 - 4*d**2 + 6*d + 5. Let n be t(-5). Let g = n + 2. Suppose 0*b + 40 = g*b. Is b a multiple of 9?
False
Let h = -404 - -569. Is 18 a factor of h?
False
Let d(a) = -a**3 - a - a**3 - 4*a**2 - 5 + 0*a**2. Let l be d(-5). Suppose 5*q - 2*r - 145 = 0, -4*q - q + l = -3*r. Is q a multiple of 22?
False
Suppose -110 + 40 = -d. Let y = d + -38. Does 16 divide y?
True
Let t(g) = -g**2 - 22*g - 11. Is 16 a factor of t(-20)?
False
Suppose 4*w = 2*u + 20, 7 = 2*w - 4*u - 3. Suppose 5*v = -x + 22, 3*x - 9 - 17 = -w*v. Suppose -5*b = -v*r + 131, -4*b - 42 + 218 = 4*r. Is 15 a factor of r?
False
Suppose 6*k - 2*k = 48. Is k a multiple of 2?
True
Let t = -116 + 62. Let i = 84 + t. Is 15 a factor of i?
True
Suppose 3*j - 48 = 48. Is j a multiple of 6?
False
Let y = -13 + 8. Let s = y + 8. Suppose 48 = s*i - i. Does 10 divide i?
False
Suppose -11*l = -14*l - 27. Let y = l + 15. Is 2 a factor of y?
True
Suppose 4*q = 87 + 265. Does 6 divide q?
False
Is 8/16 - 73/(-2) a multiple of 8?
False
Suppose -92 = 5*o - 142. Is o a multiple of 3?
False
Suppose 3*r = 2*r + 22. Does 6 divide r?
False
Let w(i) = i**2 + 14*i + 5. Let a be w(-14). Suppose -422 = -a*b - 112. Is 17 a factor of b?
False
Let x = 95 + -43. Suppose -3*w + 4*w - 8 = 0. Suppose 12*k = w*k + x. Is k a multiple of 13?
True
Let w = -10 - -34. Is 8 a factor of w?
True
Let f = 3 - 0. Suppose 0 = -4*x + f + 9. Is x a multiple of 3?
True
Suppose 0 = 6*y - y - 445. Let o = -64 + y. Let r = o + -9. Is 7 a factor of r?
False
Let z(y) = 3*y**2 + 3*y - 1. Let o(j) = -j**3 + 8*j**2 - 3. Let t be o(8). Is z(t) a multiple of 4?
False
Let n(y) = -3*y. Let q be n(-2). Suppose -q*j = -j - 40. Is 4 a factor of j?
True
Suppose 0*t + 3 = t. Sup