6. Does 9 divide o?
False
Suppose 6*m = -m + 21. Suppose m*d = 8 + 13. Is d a multiple of 5?
False
Suppose 4*j - 416 = -l, 3*j - j = 5*l - 1992. Is 10 a factor of l?
True
Suppose -2*l - 4*v - 30 = 0, 0 = -l + v - 4*v - 18. Let h = l - -1. Is 6 a factor of ((-10)/h)/(5/120)?
True
Let a(l) = -7*l**3 - 24*l**2 - 14*l + 16. Is 10 a factor of a(-5)?
False
Let z be (0 - 1) + (-14)/(-7) - -6. Suppose 9*k - z = 353. Is k a multiple of 40?
True
Let s(w) = 2 + 53 + 45 - 8 + w**2. Let d be s(0). Let n = d - 60. Is n a multiple of 16?
True
Let r(k) be the third derivative of k**5/20 - k**4/6 - 13*k**3/6 - 17*k**2. Does 27 divide r(-7)?
True
Let v(s) = 7*s - 2. Let y be v(5). Let o = -52 + 109. Suppose 2*j - 2*b = 54, 5*j + 4*b - o = y. Is 8 a factor of j?
False
Suppose 4*o = 5*g + 346, 0*g - 2*g = -2*o + 138. Let l be g/21 - (-4)/(-6). Does 8 divide (-2)/((-456)/(-116) + l)?
False
Let a(p) = p**3 - 21*p**2 + 19*p + 23. Let x be a(20). Suppose -x*d + 0*n + n = -136, 48 = d - n. Is d a multiple of 18?
False
Let q = 0 + 19. Let p = -15 + q. Suppose -p*u - 3*z = -1 - 3, 3*z = -5*u + 8. Is u a multiple of 3?
False
Suppose 5*r - 760 = -b, -r = -2*b - 5*r + 1508. Is b a multiple of 15?
True
Let j(d) = d**3 + 18*d**2 - 21*d - 71. Does 23 divide j(-17)?
True
Let b(z) = 21*z**2 - 66*z + 525. Is b(9) a multiple of 34?
True
Let m = -2084 + 2679. Does 15 divide m?
False
Suppose -4*j + 5 = -k, -2*j + 0 = -k - 1. Let l be -38*3*21/(-42). Suppose j*x + l = 5*x. Is 19 a factor of x?
True
Suppose -6*k = -4*k + 5*p - 254, -4 = -2*p. Is 61 a factor of k?
True
Suppose 0 = x - r - 15, 5*r + 30 + 35 = 4*x. Suppose p - 2 = -3*j, 4*p - 2 = -5*j - 1. Let b = x - p. Is b a multiple of 11?
True
Suppose 5*y + 22 = -2*a + 92, 4*a = -y + 14. Suppose 0 = -4*j + 10 + y. Is j even?
True
Let p(x) = -808*x - 133. Is 29 a factor of p(-6)?
False
Let n(m) = 5*m**2. Let h be 2/4 - (-77)/22. Does 10 divide n(h)?
True
Let o = -170 - -260. Is o a multiple of 28?
False
Let k(t) be the third derivative of 13*t**5/12 + t**3/6 - 15*t**2. Is k(1) a multiple of 22?
True
Let f(c) be the second derivative of c**4/12 - 5*c**3/2 - 2*c**2 - 11*c. Is 8 a factor of f(16)?
False
Suppose -6*g = 1 - 19. Suppose -3*z = g*b + b - 92, 0 = -4*z + b + 148. Does 18 divide z?
True
Suppose -10*x + 11*x = 131. Let f = 253 - x. Is 14 a factor of f?
False
Let k be (-2 - -3)/((-5)/(-345)). Suppose -25*t = -22*t - k. Is t a multiple of 13?
False
Suppose 0 = -10*q + 22567 + 4553. Is q a multiple of 8?
True
Let n(s) = -s**3 + 8*s**2 + 9*s + 5. Suppose 0*p + 2*p - 18 = 0. Let i be n(p). Suppose -132 = -i*x + 303. Does 27 divide x?
False
Let l(w) = 2*w**2 - 2*w + 1 + 0*w - w**2 + 3*w. Let b(d) = -7*d**2 - 2. Let m(s) = b(s) + 6*l(s). Is 3 a factor of m(6)?
False
Let q = -39 + 44. Suppose 0*h - 292 = -4*x + q*h, -4*h = 0. Is x a multiple of 12?
False
Let q be 16/(-20) + 3513/(-15). Does 22 divide (-3 - 0) + q/(-5)?
True
Let y be 535/(-15) + 5 + (-1)/3. Is 12 a factor of -1 + (-2 - (4 + y))?
True
Let p(a) = a**3 - 5*a**2 + 6*a - 3. Let x be (-15 - -17)/(2/4). Let s be p(x). Suppose -5*j + 197 + 230 = 4*y, -s*y - 317 = -4*j. Is j a multiple of 12?
False
Suppose -189 - 336 = -5*f. Let v = f - 84. Is v a multiple of 7?
True
Suppose 2*l - 2*d = l - 68, 0 = -l - d - 65. Let z be (26/(-3))/(2/l). Suppose -4*h - 38 + z = 0. Is 18 a factor of h?
False
Let w = -145 + 149. Suppose w*j = -2*j + 2136. Does 18 divide j?
False
Let z(n) = n**2 - n - 8. Let k be z(-2). Let j(p) = -8*p - 8*p + p + 2. Is 16 a factor of j(k)?
True
Let o(f) be the second derivative of 7*f**4/12 - 11*f**3/6 + 4*f**2 + 25*f. Is o(5) a multiple of 16?
True
Suppose 5030 = 5*u - 4120. Does 16 divide u?
False
Let p(d) be the first derivative of 2*d**3/3 - 4*d**2 + 4*d + 1. Is p(-7) a multiple of 42?
False
Let t(g) = -17*g**3 + 2*g**2 - g. Is 12 a factor of t(-3)?
True
Suppose -14 = 3*p - 3*c - 47, 10 = -2*c. Suppose 1521 = p*y + 201. Does 13 divide y?
False
Let g be (-2)/8 + (-59)/4. Is 9 a factor of (12 + g)/(3/(-16))?
False
Let t(k) = -26*k + 28. Is 33 a factor of t(-12)?
False
Let c(y) = 2 + 0 + 102*y**2 - 3*y**3 - 101*y**2. Suppose -4*d - 6 = -d. Does 10 divide c(d)?
True
Let a(z) be the third derivative of 8*z**3 + 0 + 0*z - 5*z**2 - 1/8*z**4. Does 27 divide a(0)?
False
Let n be 6/15 + 24/(-10) + -2. Let b(z) = 156*z. Let l be b(-1). Is 26 a factor of (4/n)/(2/l)?
True
Suppose -a - 17 - 1 = -5*t, 2*t = 3*a + 2. Does 13 divide 1/(700/(-176) + t)?
False
Let p be (-1 - 24)*(-6)/10. Does 12 divide 1*35 + p/(-5) + 3?
False
Is 3 a factor of 35/(5985/38) + (-3182)/(-18)?
True
Suppose 0 = -7*v - 10 + 185. Suppose -i = -m + 41, -4*i = i + v. Is 8 a factor of m?
False
Let h(m) = -m**2 + m + 14. Let g be h(0). Let v = 20 - g. Let y = v - -1. Is 2 a factor of y?
False
Let t(r) be the first derivative of r**4/6 + 7*r**3/6 + 6*r**2 - 4. Let q(s) be the second derivative of t(s). Is q(0) a multiple of 3?
False
Suppose -p + 177 + 130 = 0. Suppose 8*m + 75 = p. Does 29 divide m?
True
Let o = -19 + 23. Suppose 4*c = -4*z + 60, z = o*z + 5*c - 55. Is z a multiple of 5?
True
Let z(p) = 2*p**2 - 75*p - 499. Is z(-35) a multiple of 28?
False
Let a = -82 - -388. Does 18 divide a?
True
Let v(s) = 6*s**2 + 4*s - 16. Is 28 a factor of v(-16)?
True
Let d = 18 + -19. Let c(f) = 4*f**2 - 3*f - 2. Is c(d) a multiple of 2?
False
Suppose 2*t = 5*g - 0*t - 24, 3*g - 5*t - 22 = 0. Suppose -3*o + 126 = 3*d, -35 = -o + g*d + 32. Suppose -2*c = -4*l - c + 167, l - o = 2*c. Does 11 divide l?
False
Suppose 0 = -19*m + 22*m - 6. Suppose 3*z - 154 = -3*x - m*z, 2*z - 10 = 0. Is x a multiple of 7?
False
Let x be (-11)/(-3 + (-13)/(-4)). Let v = x - -62. Suppose -v*w + 35 = -17*w. Does 10 divide w?
False
Suppose -3*k = -2*o - 47, 4*o + 19 = -4*k + 5*k. Suppose 18*h = k*h + 351. Does 39 divide h?
True
Is 1 + -1 + 520 + -110 + 111 a multiple of 16?
False
Let f be 1103/(-3) - (-17)/(-51). Let z = f + 60. Is 13 a factor of z/(-12) + (-8)/12?
False
Let o = -31 + 10. Let z = 26 + o. Suppose 0 = z*w - 0*w - 155. Is w a multiple of 31?
True
Suppose -3*b - 25 = -8*b. Suppose 94 = b*k - 86. Does 24 divide k/(-4*(-12)/32)?
True
Let j(b) be the first derivative of 13*b**3/6 + b**2/2 + 3*b + 5. Let s(o) be the first derivative of j(o). Does 14 divide s(1)?
True
Let v be 14 - 6*(-4)/(-24). Suppose 4*a - 5*m = 196, m = -5*a + 284 - 68. Let d = a - v. Is d a multiple of 15?
False
Let r = 1083 - 563. Does 13 divide r?
True
Suppose -560 = -5*r - 3*p, -p - 213 = -r - r. Let m(v) = -v**2 - 4*v - 1. Let f be m(-3). Suppose -3*o = -5*d + r + 53, 5*d + f*o = 142. Is d a multiple of 11?
False
Suppose -6*v = -80 - 2926. Is v a multiple of 3?
True
Let z be (-1 + -2)*1 + 5. Let y(r) = r**2 + 4*r + 2*r + 0*r**2 + 9 - z*r. Is 16 a factor of y(-7)?
False
Is 5 a factor of (((-2737)/28)/17)/(2/(-40))?
True
Let u(l) = l**2 - l + 1. Let i be u(0). Let k be 5 - 7 - (-1 + i). Does 17 divide (0 - k)*(0 - -14)?
False
Suppose 10*k = 1735 + 2195. Does 14 divide k?
False
Let o(m) = -m**2 + 8*m - 9. Let q be o(6). Let l(w) = -w**2 + 4*w - 1. Let a be l(q). Suppose -5*k + 5*r - 3*r + 115 = 0, r - 55 = -a*k. Does 25 divide k?
True
Let k = 130 + 31. Let i = k - 62. Does 10 divide i?
False
Let p be 4/3*(-54)/(-12). Let j(c) = 3*c - 9. Let v be j(p). Suppose -336 + 66 = -v*n. Is 10 a factor of n?
True
Suppose -2*r - 5*r + 840 = 0. Let g = 169 - r. Is 11 a factor of g?
False
Suppose 4*p - 5*j = 431, -295 = -5*p + 5*j + 250. Is 6 a factor of p?
True
Suppose 0 = -5*z + 4*z + 130. Is 10 a factor of z?
True
Suppose t = 24 + 69. Is 27 a factor of t?
False
Suppose 0 = h + 5*r - 27, -4*h - h + 25 = 3*r. Let p be (0 + -1)*0/h. Suppose p = 3*o + 4 + 5, -6 = -t - o. Does 9 divide t?
True
Suppose 3*o = 0, 0 = g - 2*o + 4*o. Suppose -4*v - 5*w + 122 = g, 5*w = 5*v - 2*v - 74. Does 7 divide v?
True
Suppose 5*l - 3*n - 14 = 0, 5*l + 8 = -5*n - 2. Let b(f) = 211*f - 3. Does 15 divide b(l)?
False
Let f(u) = -23 - u + 23. Let r(m) = -4*m + 6. Let t(o) = 3*f(o) + r(o). Is t(-6) a multiple of 19?
False
Let w(k) = k + 11. Let j be w(5). Let z = j + 0. Let x = z + 0. Is x a multiple of 16?
True
Let k = -26 - -28. Suppose -k*m + 4 = g - 9, 3*m - 26 = -2*g. Suppose 2*j = -g + 69. Is 14 a factor of j?
True
Let j be -5 + ((-2)/2 - 1). Does 12 divide (-18)/((j/(-84))/((-1)/2))?
