oes 8 divide k?
False
Suppose -42*s - 2070 = -48*s. Does 23 divide s?
True
Let f = 127 + 161. Suppose 2*g = 18*g - f. Does 6 divide g?
True
Let n be ((-620)/8)/(-5)*6. Suppose -6*k = -3*k - n. Let s = 43 - k. Is 9 a factor of s?
False
Let x(q) = 11*q**2 - 2*q - 1. Is x(3) a multiple of 46?
True
Let h(x) = 9*x + 4. Let s(a) = -9*a + 1. Let g(j) = -3*h(j) - 4*s(j). Let c(t) = 2*t**2 - 5*t - 4. Let d be c(4). Is g(d) a multiple of 14?
True
Suppose 3*n - 6*n = -15. Suppose n*u = 25, -2*u = -3*k + k - 6. Suppose t + k*r = 50, 0 = -5*t + 4*r - r + 315. Is 20 a factor of t?
True
Let z(t) = -11*t + 7. Suppose -6*d - 27 + 3 = 0. Let j be z(d). Suppose -3*p + 3*i = -4*p + 10, 4*p - j = -i. Is p a multiple of 8?
False
Let m be (3 + -1)*(-13 + 12). Let j(d) = -8*d + 8. Does 8 divide j(m)?
True
Suppose -5*a + 3 = -4*a. Suppose 189 = 5*i + a*g, -5*i - 2*g + 7*g + 205 = 0. Is i a multiple of 13?
True
Let v(f) = 4*f**3 - 21*f**2 + 5*f - 12. Does 61 divide v(8)?
True
Let b = -1669 - -2551. Is b a multiple of 9?
True
Suppose -3*l - 3*a + 9 = -1059, -1423 = -4*l - 5*a. Is 17 a factor of l?
True
Suppose 0 = -5*w - 4*h + 4900, 9*h - 14*h - 1960 = -2*w. Is 49 a factor of w?
True
Is 207/27 - 8 - 6258/(-9) a multiple of 7?
False
Suppose 2*i = 58 + 78. Let v be (0 + 1)/((-4)/i). Let t = 21 + v. Is t a multiple of 2?
True
Let n = 4 - 11. Let o = -8 - n. Is -1 + 50 - o*3 a multiple of 13?
True
Suppose -3*j = 8*h - 3*h - 2588, -3*h + 868 = j. Does 56 divide j?
False
Suppose -5*x - 5*v = -125, -4*x = -x + 2*v - 79. Suppose -2*p = 3*p - 75. Let y = x - p. Is y a multiple of 7?
True
Let g(n) = -2*n**2 - 18 + n + 4*n**2 + 19. Let k be g(-1). Suppose k*o = 2*c + 30, 7 = o + 4*c - 13. Is o a multiple of 16?
True
Suppose -9*w = 9*w - 918. Is 5 a factor of w?
False
Does 15 divide -146*-10*4/16?
False
Let z be (44/(-3))/((-2)/(-6)). Let p(g) = g**3 + 6*g**2 - g - 20. Let x be p(-6). Does 9 divide z/(-10)*(-4 - x)?
False
Let f = 64 - 0. Is 8 a factor of f?
True
Suppose 8*u + 11*u = 4997. Does 18 divide u?
False
Let s(q) = 4*q**2 + 13*q + 3. Let d be s(-3). Suppose -2*h = 2*p - 4*p - 292, 4*h + p - 594 = d. Is 52 a factor of h?
False
Suppose 9 = 5*t - 2*g, -3*t - 2*t = -3*g - 6. Suppose 5*d = 3*l - 0*l - 14, -t*l - 5*d = -4. Suppose -l = -2*j + 9. Does 2 divide j?
True
Suppose -251 = -3*i - c, 1 = 4*c - 19. Is 3 a factor of i?
False
Let d = 254 + -229. Is 6 a factor of d?
False
Let w(o) = 21*o**2 - 2*o. Suppose -2*j - 3*f = 11, -f + 21 = -2*j - 6*f. Let r = 0 + j. Is 20 a factor of w(r)?
True
Let s(v) = -20*v + 1. Let n = -28 + 27. Is 3 a factor of s(n)?
True
Does 5 divide (((-17628)/8)/13)/((-6)/8)?
False
Let d(c) = c + 0*c - 5 + 0*c - 3*c + c**2. Let l be d(4). Suppose l*u = -u + 44. Is 6 a factor of u?
False
Suppose -9 + 1005 = 4*v. Suppose 8*x - 873 = -v. Does 26 divide x?
True
Let g(m) be the second derivative of -49*m**3/6 - 2*m**2 - 12*m. Is g(-3) a multiple of 15?
False
Suppose 3*r - 118 = -28. Is (r/7)/(0 - 6/(-42)) a multiple of 5?
True
Let k(h) = 46*h**2 + 11*h - 15. Is 64 a factor of k(3)?
False
Suppose -4*k - 981 = -13*k. Let t = 125 - k. Is 16 a factor of t?
True
Let i(c) be the first derivative of c**3/3 - 18*c + 461. Suppose 7*j - 2*j + 40 = 0. Does 7 divide i(j)?
False
Let j = 1721 - 1067. Is 4 a factor of (-152)/36 + 4 + j/27?
True
Suppose -2*r - 4*h + 18 = -6*h, 2*r = -2*h + 10. Suppose -r*n + 4*n = 0. Suppose n = 3*w - 99 - 60. Is w a multiple of 16?
False
Suppose -5*z = p - 515, -9*p - 3*z - 1056 = -11*p. Is p a multiple of 8?
False
Let r(t) = t + 9. Let a be r(-7). Let k = 5 + a. Let m = k + 3. Is 5 a factor of m?
True
Is 7 - (-6)/(24/812) a multiple of 35?
True
Let d be 1*5*(66 - -4)/7. Let f = -34 + d. Is 2 a factor of f?
True
Suppose 886*r - 2508 = 880*r. Is 22 a factor of r?
True
Suppose 4*c - c - 210 = 0. Let n = c - 46. Is 8 a factor of n?
True
Suppose 5*o = 3*r - 2533, -2*r - 2*o + 848 = -r. Does 72 divide r?
False
Let u(i) = 28*i - 76. Let d(z) = 9*z - 25. Let k(p) = 7*d(p) - 2*u(p). Is 3 a factor of k(7)?
False
Suppose -4*m = -2*h - 38, 0 = 3*h + h - 4*m + 68. Let g(z) = -12*z + 11. Is g(h) a multiple of 41?
False
Let t(s) = 14*s**2 + s - 8. Let y be t(2). Does 23 divide 2/(26/y + (-1)/2)?
False
Let k be (-12)/((-16)/(-4)) - -5. Suppose 5*w + 35 = -k*z, -3*w - 7 = 8. Is 4 a factor of 2 - ((3 - 2) + z)?
False
Let g(t) be the first derivative of 3*t**3 + t**2/2 + t - 11. Let i be g(-3). Let k = i - 21. Is 14 a factor of k?
False
Let y(v) = -8*v. Let b be y(2). Let l = -10 - b. Suppose -l*d + 79 = -5*d. Does 23 divide d?
False
Suppose 3*c = 3*k + 2*k - 19, 2*c - 2*k + 6 = 0. Let s be ((-16)/(-12) - c)*36. Does 7 divide (42/(-4))/(18/s)?
True
Let q be (-9)/(-90) - (-811)/(-10). Is 22 a factor of (-2)/9 + (-5364)/q?
True
Let a(o) = 2*o**3 + 35*o**2 + 45*o + 9. Does 19 divide a(-16)?
True
Suppose 5*u - u - 80 = 0. Suppose 9*a - 4*a = -u. Is 12 a factor of (2/a)/(6/(-648))?
False
Is (-2)/(-4)*(-2668)/(-2) - 1 a multiple of 9?
True
Suppose y + 4*y = 0, 51 = 3*j + 2*y. Suppose 4*b + g - j = 2*g, 4*b + 5*g - 11 = 0. Suppose -4*z + 75 = -3*x + 217, -b*x + z = -172. Is 21 a factor of x?
True
Let a(z) be the third derivative of -z**6/120 + 11*z**5/60 - z**4/4 + 17*z**3/6 + 3*z**2. Does 14 divide a(9)?
False
Let s(x) = -39*x + 8. Let z be s(-6). Let c = -30 + z. Let p = c + -134. Is 13 a factor of p?
True
Let r = -6 - -4. Let i = r - -14. Suppose -i - 39 = -y. Is 22 a factor of y?
False
Suppose -107010 = -5*y - 82*y. Does 15 divide y?
True
Let v = 134 - -257. Is 3 a factor of v?
False
Let i(o) = -o**3 + 5*o**2 + 8*o - 9. Let v be 2/(-11) - 204/(-33). Let g be i(v). Suppose -g*t = 2*t + 5*b - 10, -12 = 3*b. Is 3 a factor of t?
True
Suppose -8*a + 7*a = 6. Is (72/(-10))/(a/100) a multiple of 31?
False
Let r(o) = -o + 34. Let p = 40 + -24. Does 18 divide r(p)?
True
Let k(o) be the third derivative of 0*o + 1/3*o**3 + 0 - 6*o**2 + 5/24*o**4. Is k(2) a multiple of 12?
True
Suppose -4*j = -z - 2 - 6, 0 = 4*j - 12. Suppose n = z*n - 15. Suppose 0 = -n*t + 3*t + 46. Is t a multiple of 10?
False
Suppose -t + 5*l = -27, 2*t - t - 22 = 4*l. Let b(u) = 137*u + 1. Let d be b(1). Suppose t*s = -s + d. Does 9 divide s?
False
Let c(z) = -41*z - 693. Does 10 divide c(-20)?
False
Let v(l) be the first derivative of 16*l**3/3 + 2*l - 4. Let u be v(-4). Suppose -u = -3*c - 66. Does 21 divide c?
False
Suppose -2*f + 108 = -6*f. Let x = 19 + f. Does 5 divide (13 + x)/(2/10)?
True
Let u(j) = -j**3 - 14*j**2 + 2. Let q be u(-14). Suppose -6 = q*n - 28. Suppose 5*x + n = 121. Does 11 divide x?
True
Is 10 a factor of (-5 - (-399)/28)*-16*-8?
False
Let d(l) = 2*l**2 - 4*l - 4. Suppose 0 = v + 15 - 12. Is d(v) a multiple of 13?
True
Suppose -3*i + 2099 = -3184. Is i a multiple of 34?
False
Suppose 2*o = -3*v + 17, -4 - 8 = -2*o - 2*v. Is 21 a factor of 2 - o/1*-19?
True
Let w = -75 - -883. Suppose -14*b = -w - 662. Does 15 divide b?
True
Let q(h) = 7*h - 109. Is q(35) a multiple of 7?
False
Let f = -1631 + 5830. Is f a multiple of 17?
True
Let a(t) = -t**3 + t**2 + 7*t + 5. Let l be a(-4). Suppose 2*i + p + 4 = 4*p, -5*p - 8 = 4*i. Is 12 a factor of 0 + 4/i + l?
False
Let u = 25 + -25. Suppose -7*a - a + 32 = u. Suppose 8*d - a*d = 144. Does 15 divide d?
False
Is 12 a factor of (-4)/(-30) + ((-420888)/180)/(-13)?
True
Let b = 3 - 1. Suppose -5*w + j + 133 = -2*j, -106 = -4*w + 2*j. Suppose b*d - w - 118 = 0. Is 18 a factor of d?
True
Does 5 divide (-6)/(-39) + (-2 - (-1608)/26)?
True
Suppose v = 6*v. Let q = v - 7. Is (-1130)/(-14) - 2/q a multiple of 18?
False
Suppose -30*j + 5*j + 66700 = 0. Is j a multiple of 15?
False
Let b(n) = 139*n - 272. Is 9 a factor of b(6)?
False
Suppose -6 = -4*f + 2*f. Let d = f + -2. Let s(k) = 22*k**3 - k**2 - k + 1. Is s(d) a multiple of 6?
False
Suppose 5*q = 6*m - 11*m + 220, 2*q + 41 = m. Is m a multiple of 18?
False
Let h(y) = 432*y**2 + 2. Is h(1) a multiple of 62?
True
Let u(x) = -2*x**3 + 10*x**2 - 7*x + 6. Does 12 divide u(-6)?
True
Suppose -3*m - m + a = -19, -5*m + 35 = -5*a. Suppose -4*i = 2*l - 82, -4*i + 44 + 112 = m*l. Suppose -l - 108 = -5*k. Is 10 a factor of k?
False
Let c(t) = -t**3 - 3*t**2 - t - 4. Let x be c(-4). Let k = 19 - x. Is 2 a factor of k?
False
Is 3 a factor of -4 - (595/(-7) + -7)?
False
Does 106 divide 7032/(-10)*(-10)/3?
