et y = -7 - -14. Suppose 0 = -2*k + 4, -2*h - 3*k - 2 = -y*k. Suppose -h = -2*l + 17. Is 5 a factor of l?
True
Does 2 divide 2/(-1 - -5)*8?
True
Let j = -82 - -122. Does 10 divide j?
True
Suppose 5*m = t + 64, 2*m - 37 = 4*t + 3. Is m a multiple of 9?
False
Let o(v) = 8*v**3 - 2*v**2 + 2*v - 1. Let g be o(1). Let s(d) = d - 4. Let h be s(g). Is (0 - -30)/h + 0 a multiple of 10?
True
Let q = -11 - -15. Suppose -39 = -5*t - 14. Suppose 35 = t*a + 5*b, -q*a - 5*b = -0*a - 24. Is a a multiple of 11?
True
Let p(m) = -m**3 + 8*m**2 - 8*m - 6. Let r be p(6). Suppose 2*x = 10 + r. Is x a multiple of 7?
True
Let w be (1/4)/(9/72). Suppose m + w*m - 72 = 0. Is m a multiple of 9?
False
Let z be (-40)/(-12) - 4/(-6). Let w be z/6 + (-4)/6. Suppose 5*r + 0*r - 110 = w. Does 11 divide r?
True
Let y(q) = q**2 - q - 4. Let j be y(3). Let t = 2 - j. Suppose t = -x + 5*x - 40. Is x a multiple of 10?
True
Let h be (-20)/3 + 1/(-3). Let i = 15 + h. Is i a multiple of 4?
True
Let h(c) = -c - 21. Let f be h(0). Let d = f - -30. Does 5 divide d?
False
Suppose -z = 3*z - o - 8, -z - 13 = -4*o. Let c(t) = t**2 + t - 4. Let y be c(-3). Suppose -y*w = -3 - z. Is w even?
False
Let n be (-1 - (-1 + 0)) + 2. Suppose 56 = n*c - 0*c. Does 12 divide c?
False
Let o be 2 + 77 + 1 + -3. Suppose -o = -4*m + 51. Let n = m - -11. Is n a multiple of 11?
False
Let i = -30 - -58. Let s = 6 + i. Is 13 a factor of s?
False
Let l(i) = i**3 + 6*i**2 + 5*i + 6. Suppose 4*y - 15 - 1 = 4*g, 0 = 5*y. Does 18 divide l(g)?
True
Let x(i) = i**2 - 12*i + 7. Does 15 divide x(-6)?
False
Suppose 3*i + 35 = -13. Let a = i + 23. Is (-38)/(-8) + a/28 a multiple of 2?
False
Let c = -8 - -10. Let m be c + -2 - 0 - 10. Is 7 a factor of 49/2 - 5/m?
False
Let d be (4/(-4) - 1) + 131. Suppose 0*k = -3*k + d. Is 13 a factor of k?
False
Let z = 116 - 43. Let d = z + 27. Suppose -2*q + d = -0*i + 5*i, 2*i - 40 = 4*q. Is 10 a factor of i?
True
Suppose -4 - 12 = -5*q + 4*j, 3*q + 3*j + 12 = 0. Suppose q*b + 2*b - 14 = 0. Is 5 a factor of b?
False
Let j be -35*((0 - 0) + -1). Suppose 0 = y - 3*y - 5*a + 25, -5*a + j = 4*y. Let h = y + 10. Is 15 a factor of h?
True
Let d = -46 + 69. Does 6 divide d?
False
Suppose 0 = 3*v - 10 - 8. Is v a multiple of 3?
True
Let b = 42 - 242. Is b/(-70)*14/4 a multiple of 6?
False
Suppose -5*y - 3 + 13 = 0. Is ((-558)/(-3))/3 + y a multiple of 23?
False
Let t be ((-3)/(-2))/((-6)/(-32)). Suppose -60 = -4*h - t. Is h a multiple of 8?
False
Suppose 2*n + 2*n = 24. Let s(j) = 4*j - 1. Let x be s(n). Let u = -16 + x. Is u a multiple of 7?
True
Suppose -4 = -4*a + 5*a, 3*j - 2*a - 80 = 0. Is 24 a factor of j?
True
Let w(q) = 2*q - 4. Does 4 divide w(7)?
False
Suppose -5*t = -h - 24, -t + 0 + 2 = -3*h. Suppose -3*k - 46 = -t*k. Is 16 a factor of k?
False
Is ((-138)/(-4))/((-12)/(-16)) a multiple of 12?
False
Suppose -3 = -b, b = 5*a - b - 524. Is a a multiple of 29?
False
Suppose -2*g - 9 = 5. Let z = g - -38. Does 10 divide z?
False
Let x = 65 - 39. Is 13 a factor of x?
True
Let c = 50 - 20. Is 6 a factor of c?
True
Let c be -38*(-1 + 1/(-1)). Let s = c - 46. Is 10 a factor of s?
True
Suppose 19 + 26 = l + 3*u, -3 = -3*u. Is l a multiple of 21?
True
Let b = -9 - -6. Is ((-3)/(-6))/(b/(-150)) a multiple of 18?
False
Suppose 0*x = -4*x - 112. Suppose -5*z - 252 = 3*g - 0*g, -92 = 2*z - g. Let i = x - z. Does 10 divide i?
True
Let j(w) = w**2 - 9*w + 8. Is j(-5) a multiple of 10?
False
Is 5 a factor of (1 - 0)/((-4)/(-48))?
False
Let d = -58 + 86. Is d a multiple of 5?
False
Is (-230)/(-69)*78/10 a multiple of 20?
False
Let l = 5 + -7. Is 20 a factor of (-234)/(-12) - 1/l?
True
Let l(b) = -3*b**3 + b**2 + b - 1. Let h be l(1). Does 3 divide h - (3 - 2)*-9?
False
Let w be 6/9 + (-20)/(-6). Let r be (4 + -5)/((-1)/w). Let u = r + 2. Does 6 divide u?
True
Suppose -86 = -6*i - 26. Does 5 divide i?
True
Suppose 0 = 5*p + 49 - 214. Suppose 4*t - t - p = 0. Does 11 divide t?
True
Let y(v) = 3*v**2 + 6*v + 8. Let c be y(-4). Let r(m) = -6*m - 1. Let s be r(-1). Suppose k + 2*o = 4, -s*k + c = 2*o + 2*o. Does 5 divide k?
False
Let q(b) be the second derivative of -b**4/12 - 7*b**3/6 - 2*b**2 - b. Let i(s) = -s**3 - 6*s**2 + 9*s + 10. Let x be i(-7). Does 3 divide q(x)?
False
Does 19 divide 39*(-12)/(-5) + (-2)/(-5)?
False
Suppose 5*j + 0*j = 25. Is j*6*(-1)/(-2) a multiple of 6?
False
Let n(s) = 1. Let c(h) = -12*h + 4. Let j(q) = c(q) - 4*n(q). Is 26 a factor of j(-4)?
False
Suppose -4*c - 2 = 3*q, -2*q - 3 - 2 = -c. Let n be 0 - 2 - (1 - c). Let d(u) = -13*u - 3. Is 17 a factor of d(n)?
False
Let v(i) = 2*i**2 - 4*i + 2. Is v(5) a multiple of 16?
True
Suppose -1119 = -3*z - 4*i, -2*z + 11*i - 6*i = -723. Is 41 a factor of z?
True
Let p(u) = 3*u + 10*u - 17 + 0*u - 3*u + u**2. Does 2 divide p(-12)?
False
Suppose -10 = 3*x + 5*a - 3, 29 = 4*x - a. Suppose -61 - 107 = -x*q. Is q a multiple of 14?
True
Let g(l) = 2*l**2 + 5*l + 3. Suppose 3*k + 36 = 15. Let f be (k - -2)/(1/1). Does 14 divide g(f)?
True
Let t = 0 + 1. Let n(y) = 7*y**3 - 3*y**2 - y + 1. Let f(l) = l**3 + l**2. Let u(x) = 2*f(x) + n(x). Does 8 divide u(t)?
True
Let b = 91 + -36. Does 11 divide b?
True
Let h(c) = 2*c - 1. Let z be h(-2). Is 6 a factor of z/((-5)/3) + 4?
False
Let d(t) = 14*t - 3. Is d(3) a multiple of 8?
False
Let o be 2/(-3)*1*-51. Does 17 divide o*(0/(-3) + 1)?
True
Suppose -74*i + 181 = -73*i. Does 19 divide i?
False
Suppose -14*l + 9*l + 25 = 0. Suppose 0 = -4*j + l*j - 12. Is j a multiple of 12?
True
Suppose -v - 3*o = -106, 61 = 3*v + 4*o - 247. Is v a multiple of 10?
True
Let o(q) be the first derivative of q**3/3 - 3*q**2/2 + 4*q + 1. Is o(6) a multiple of 7?
False
Let d(p) = -p**2 + 2. Let r be d(-2). Let b = 10 - r. Does 12 divide b?
True
Let w be 2 + (-1 - (1 - 1)). Let p be (1/2)/(w/(-212)). Is 11 a factor of (-6)/(-15) + p/(-10)?
True
Let y = -532 + 787. Does 44 divide y?
False
Is 10 a factor of (-57)/2*(-2)/3?
False
Suppose -t - 5*u + 24 = 0, -4*u = 4*t - 3*t - 22. Does 14 divide t?
True
Let g be 0 + 157/(0 + -1). Let z = 289 + g. Suppose -2*k + 6*k = z. Is 11 a factor of k?
True
Suppose 5*a = -0*a + 200. Let k(w) = 6*w - 9. Let i be k(6). Let t = a - i. Is t a multiple of 7?
False
Suppose j + 3*j - 12 = 0. Let r(s) = 0*s**j + 5*s**2 + s**3 - 6 - 6*s + 0*s**3. Is r(-5) a multiple of 12?
True
Suppose 97*w = 99*w - 10. Is 3 a factor of w?
False
Let a(t) = 5*t - 5. Let b(o) = o - 1. Let r(c) = 6*a(c) - 33*b(c). Suppose x + 4*x = -25. Does 13 divide r(x)?
False
Suppose s + 2 = 3*q - 9, 4*q + 4*s = -12. Suppose -2*k + 96 = 5*t, -k = q*t - 5*k - 24. Let c = t + -11. Does 5 divide c?
False
Let n(w) = 2*w**2 - w - 2. Let x(g) = -g - 1. Let u be x(-3). Let z be n(u). Suppose 0 = -z*j + y + 97 + 40, j - 47 = -4*y. Is j a multiple of 11?
False
Suppose 45 = -5*u + 155. Does 7 divide u?
False
Let q = -4 - -6. Let b(z) = -q*z + 5 - 5 - 5. Is 5 a factor of b(-8)?
False
Let h be -6 - -9 - (-5)/(-1). Is 9 a factor of 208/24 - h/6?
True
Let j(m) = m - 12. Suppose -3*d + 25 = 2*h, -5*h = -0*d - d - 20. Let i be j(h). Let b(v) = v**2 + 4*v + 3. Is b(i) a multiple of 12?
True
Let j = 9 + -4. Suppose -5*l + 41 = w, w = l - j - 2. Is l a multiple of 8?
True
Let u be 0/((5 + 3)/(-4)). Is 8 a factor of 31 - (-1 - (-2 - u))?
False
Let n(v) = -5*v**3 - 2*v**2 + 2*v. Let c = -1 - -4. Suppose c*l + 5 = -1. Does 11 divide n(l)?
False
Suppose -10 = -2*k, -2*k = -2*g - 4*k - 244. Let p = 237 + g. Suppose -2*x + p = 3*h, -5*h + 243 = 5*x + 58. Is 14 a factor of h?
False
Let c = 34 + -19. Is c even?
False
Let t(x) = x**3 + 7*x**2 + 4*x - 4. Is t(-6) a multiple of 8?
True
Let l(h) = h + 1. Let f(i) = -10*i - 16. Let p(s) = -2*f(s) - 28*l(s). Is p(-4) a multiple of 12?
True
Suppose 2*a = a + 25. Let b = a - 15. Suppose -b - 3 = -v + 5*y, 2*y = 5*v - 65. Does 13 divide v?
True
Let t(g) = 3*g + 2*g**2 - 5*g**2 + 2*g**3 + 0*g**3. Let c(i) = -i - 4. Let n be c(-6). Is 10 a factor of t(n)?
True
Suppose -n + 0*n + 5*y - 12 = 0, 0 = -2*y + 4. Is 23 a factor of (3 + n)*91 - 3?
False
Is 27 a factor of 3/(-2) - 498/(-4)?
False
Is 296/12*3*2/4 a multiple of 7?
False
Is 3 + (2 - -82)/4 a multiple of 8?
True
Suppose -4*m = -2*i + 8, -11 = 5*m - 4*i - 1. Is 3 a factor of (1 - (-6)/m) + 7?
False
Let j be 3 + 3/((-9)/15). Let i(u) = -9*u - 3. Is i(j) a