de c(k)?
False
Suppose -z = -8 - 3. Does 5 divide z?
False
Suppose -3*p = 3*k - 63, 0 = -p + 2*p - 4*k - 16. Does 4 divide p?
True
Suppose 0 = 16*j - 13*j - 105. Is j a multiple of 5?
True
Let z(k) = -k + 9. Let n(o) = -2*o + 18. Let v(j) = -3*n(j) + 5*z(j). Let m be v(7). Is 23 a factor of m - (-4)/(12/75)?
True
Suppose 2*f - 3*f = 5*m - 349, -f = -2*m + 141. Does 10 divide m?
True
Let m = -4 - -8. Suppose -6 = 3*v - j, m*j - 5 = 2*v + 9. Does 3 divide ((-14)/(-6))/v*-3?
False
Let w be (1/1)/((-1)/(-8)). Suppose 3*o = 6, w*o + 38 = 4*x + 3*o. Is x a multiple of 12?
True
Let h(p) = 2*p - 8*p - p**3 - 7*p**2 + 0*p - p - 2. Let j be h(-6). Suppose 8*g = j*g + 176. Is g a multiple of 17?
False
Let r be 4/(-30) - 514/(-30). Suppose r = 4*c + 5. Is 3 a factor of c?
True
Let a = -337 - -490. Is 18 a factor of a?
False
Let x = 1 + 1. Suppose 29 = y - 3*y - 5*h, 0 = -3*y - x*h - 27. Let l = 18 + y. Is l a multiple of 11?
True
Let o be (-6)/4 - (-153)/6. Suppose 0 = 4*n - 84 - o. Is 22 a factor of n?
False
Suppose -5*l - 178 = -783. Suppose 0 = -2*r - 3*r + n + l, -70 = -3*r - 2*n. Does 12 divide r?
True
Suppose 0 = 2*a + 205 - 71. Let g = a - -94. Suppose -3*q + 2*c + g = 0, -q - 5*c = q + 1. Does 3 divide q?
False
Suppose -35 = -f + 5*f - 3*m, -2*m = -5*f - 42. Is 34 + -1 + (f - -11) a multiple of 9?
True
Let c = 16 + -14. Does 22 divide 1*c*(36 - 14)?
True
Let l(q) = q**2 + 3*q + 11. Is l(-6) a multiple of 12?
False
Suppose -f - 387 = -4*m + 512, -4*m + 911 = -5*f. Is m a multiple of 14?
True
Let q(r) = -r**3 + 9*r**2 + 3*r. Suppose -4*k + 57 = 5*w, -2*w + 24 = w - k. Is q(w) a multiple of 14?
False
Let l(p) = 22*p - 37. Does 8 divide l(8)?
False
Suppose -2*w = 2*w - 212. Is w a multiple of 12?
False
Let c = -1 + 1. Suppose 2*j = 4 - c. Suppose 0 = -5*k, 0 = 2*h - 2*k - j*k - 76. Does 15 divide h?
False
Suppose -5*o = -57 - 138. Is o a multiple of 13?
True
Let f(g) = -2*g + 19. Does 15 divide f(-7)?
False
Suppose -2*d + 10 = 2. Suppose 0 = -k + 4, -356 = -5*w + d*k + 3. Does 25 divide w?
True
Let b(k) = k - 6. Let i(o) = o**2 - 8*o. Let m be i(9). Is b(m) even?
False
Let w = 26 - 9. Does 17 divide w?
True
Let w(s) = 33*s**2 + s. Let k be w(1). Let n(m) = m + k + m - m. Is n(0) a multiple of 17?
True
Let n = 16 + -10. Is 3 a factor of n?
True
Suppose 16 = 3*r + r. Suppose r*q - 9 = 11. Suppose q*y = 55 + 20. Is 5 a factor of y?
True
Let p(x) = 50*x**2 - 3*x + 3. Is 5 a factor of p(1)?
True
Let h = -361 - -656. Is 50 a factor of h?
False
Let b = 19 - 72. Let j(c) = 20*c - 3. Let x be j(-4). Let w = b - x. Is w a multiple of 10?
True
Let v = 6 + -3. Suppose t - 1 + 0 = 0. Let b = v + t. Is b a multiple of 2?
True
Let a(p) = 2 - 5 - 9*p + 4*p. Let k be a(3). Is 0 + 2 + k/(-2) a multiple of 11?
True
Let h be 10/3 + (-1)/3. Suppose -134 = -2*z + 2*l, h*z + 2*l - 189 = l. Is 16 a factor of z?
True
Let u be ((-2)/4)/((-6)/24). Is -1 - (-16 - (-1 + u)) a multiple of 16?
True
Let m be (-1 + 1)*1/3. Let i(k) = k**3 + 20. Is i(m) a multiple of 10?
True
Let j(z) = -5*z + 17. Does 5 divide j(-7)?
False
Let d = 9 - 8. Let y(j) be the second derivative of 3*j**5/4 + j**2/2 - j. Is 8 a factor of y(d)?
True
Let c(l) = 3*l - 70. Does 4 divide c(30)?
True
Suppose 4*j = 42 - 6. Is 9 a factor of j?
True
Let w be -2*(0 - 6/4). Suppose 2*x - 25 = w*r - 5, -10 = -x - 2*r. Is x a multiple of 5?
True
Let r(j) = j**2 + 14*j + 16. Does 3 divide r(-13)?
True
Let f be (-1)/((-7)/(-3) + -2). Let s(a) = -2*a**3 - a**2 + 3*a + 2. Let b be s(-2). Let y = f + b. Does 5 divide y?
True
Let b be 10/6 + (-3)/(-9). Suppose -3*q = -b*n + 22, -4*n + 3*n + 5*q = -25. Let v(o) = o**2 + o - 6. Is 12 a factor of v(n)?
True
Let d = -372 - -657. Is 34 a factor of d?
False
Let k(v) = v**3 + 3*v**2 - 6*v - 3. Let g be k(-4). Suppose -11 + 56 = g*y. Does 9 divide y?
True
Let b(t) = t**3 - 27*t**2 + 14*t - 30. Does 29 divide b(27)?
True
Let d(a) = 3*a + 6. Let l be d(-4). Let h(p) = -2*p + 1. Let y(u) = u - 1. Let c(q) = -4*h(q) - 12*y(q). Does 11 divide c(l)?
False
Let k(j) = 28*j + 2. Is k(4) a multiple of 19?
True
Suppose 27 = -r - 0*r. Suppose 2*t + t + 3 = 0. Does 9 divide 1/((-1)/r) + t?
False
Suppose -5*v + 3 = 4*j - 6, 3*j - 1 = 2*v. Is (-4)/4 - (-16)/j a multiple of 6?
False
Let t = -76 - -154. Does 13 divide t?
True
Let q = -8 - -14. Let z be 8/(-3) + 4/q. Is 2 a factor of 1/((-6)/9)*z?
False
Suppose 0 = 3*y - 51 + 9. Suppose -h - 1 = -y. Is h a multiple of 13?
True
Suppose -3*n = 59 - 11. Let j = 48 + n. Is j a multiple of 16?
True
Let g(w) = -w**2 - w + 61. Let s be g(0). Suppose -2*b + s = 1. Is 30 a factor of b?
True
Let s(f) be the second derivative of f**6/120 + f**5/12 + 2*f**3/3 - f**2 - 3*f. Let x(c) be the first derivative of s(c). Does 14 divide x(-4)?
False
Suppose -v - 3 = -5*k, 29 = v + 8*k - 5*k. Is v a multiple of 12?
False
Suppose 47 = 3*q - 49. Suppose -2*o - 2*o = q. Does 10 divide (-129)/(-6) + 4/o?
False
Does 14 divide (-5)/1*(-448)/80?
True
Suppose 85 = -12*b - 35. Suppose 0 = o + 3*o. Let j = o - b. Does 5 divide j?
True
Let o(d) = 2*d**2 + 4*d. Let u(p) = -3*p**2 + 2*p + 1. Let g be u(-1). Is o(g) a multiple of 8?
True
Let u(n) = -5*n**3 - 4*n**2 - n - 8. Let x(m) = -4*m**3 - 4*m**2 - 7. Let p(h) = -5*u(h) + 6*x(h). Is p(5) a multiple of 17?
False
Let p(y) = -2 + 4*y**2 + y**3 - 3*y - 2*y + 3*y. Let r be p(-2). Let i(o) = o**2 - 9*o - 7. Does 3 divide i(r)?
True
Let f = 154 + -2. Suppose -4*x = 3*j - f, -3*x - 2*x = -4*j - 221. Suppose 3 = -2*r + x. Does 10 divide r?
False
Let n = -77 - -73. Suppose 3*z - p + 42 + 53 = 0, 4*z + p = -129. Let b = n - z. Is b a multiple of 17?
False
Let l = 129 + -68. Suppose -c - 5*h = 12 + 2, 3*c + l = 4*h. Let i = 3 - c. Is i a multiple of 9?
False
Let p(c) = -c**2 + c + 1. Let z(t) = -6*t**2 + 3*t + 3. Let m(b) = -2*p(b) + z(b). Let x be m(-1). Let j = 17 + x. Is j a multiple of 13?
True
Let k(z) = -z**3 - 10*z**2 - 11*z - 7. Let x be (-2)/(-10) - 138/15. Is 11 a factor of k(x)?
True
Let i be ((-196)/(-6))/(2/3). Suppose -5*n - 19 = -i. Is n even?
True
Suppose 0 = -9*l + 789 + 66. Is l a multiple of 21?
False
Suppose 0 = 4*x - 2*o - 7 - 17, 16 = 4*o. Is 8 a factor of x - (-1 + (-1 - -2))?
True
Let h(c) = -c**3 - 5*c**2 + 4*c + 8. Let x be h(-6). Let v(n) = 4*n**2 - n - 1. Let j be v(-1). Suppose -5*p + x = -j*p. Does 7 divide p?
False
Is 11 a factor of 614/8 + 30/24?
False
Suppose 26 = 4*a - 26. Is 13 a factor of a?
True
Let j be -1 + 1/((-1)/(-89)). Suppose 0 = -f - 2*f + 2*b + j, 4*b - 154 = -5*f. Does 10 divide f?
True
Suppose -3*z + 4 + 5 = 0. Suppose 0 = -z*x + x + 8. Suppose 5*v = -x*y + 289, 2*v + v - 5*y - 203 = 0. Is v a multiple of 24?
False
Let l(a) = 2*a - 4. Let k be l(3). Is 12 a factor of 4/(-8) + 73/k?
True
Let o = 5 + 38. Is 23 a factor of o?
False
Let u = 2 - 4. Let n be (u/3)/((-6)/9). Is 14 a factor of (12/15)/(n/35)?
True
Let n = -2 - -3. Is 18 a factor of 39 + (n - (-5 - -3))?
False
Let c(m) = -m**2 - 9*m - 4. Let d be c(-9). Let f(v) = 2*v + 6. Let z be f(d). Let g = 2 - z. Does 3 divide g?
False
Let l be (-1)/(-2) + (-9)/(-6). Let x be (6/12)/(l/(-48)). Is 2 a factor of (-6)/x + (-10)/(-4)?
False
Let z(c) be the third derivative of c**5/60 + c**4/24 - c**3/6 + 3*c**2. Is 7 a factor of z(4)?
False
Let o = -5 - -8. Let l(f) = -f**2 + 7*f - 2. Does 10 divide l(o)?
True
Let o = 8 - 6. Let j = o + -2. Suppose -g + 32 + 10 = j. Does 18 divide g?
False
Let w(j) = 2*j**2 + 7*j - 5. Suppose 4*q = 11 + 9. Let l be w(q). Suppose 54 = 3*h - 2*z, 5*h + z + 3 - l = 0. Does 8 divide h?
True
Let a(p) = -5*p**3 + 2*p**2 - 2*p + 1. Let r be a(2). Is (1 - 1) + (7 - r) a multiple of 14?
True
Let h(y) = y**2 + 3*y + 2. Let c be h(-2). Is 8 a factor of -2 + c + 8*2?
False
Let g be 4/(-14) + (-36)/21. Let s be g + 19 - (2 - 0). Suppose -3*n + 4*i = -s, n - i - 42 = -4*n. Does 6 divide n?
False
Let k = 41 + -28. Suppose -h + 17 = -k. Does 30 divide h?
True
Let v(b) = 4*b - 1. Suppose 3*m + 0*m - 15 = 0. Let j be v(m). Let p = 3 + j. Is 11 a factor of p?
True
Let o be -1*0/(0 + 1). Suppose o*k = -2*k + 58. Does 14 divide k?
False
Let n(p) = p**2 + 3*p + 4. Let g be n(-3). Suppose -w - 2*w + 60 = -3*o, -5*o + g*w = 102. Is (-334)/o + (-4)/22 a multiple of 4?
False
Let u(z) be the second derivative of 3*z**4/4 - z**2/2 + 3*z. Is 3