6) + -2. Let d = 60 + a. Let o = -20 + d. Is 20 a factor of o?
False
Let q(b) be the first derivative of -b**6/360 + b**5/12 - b**4/3 + b**3 + 3. Let o(w) be the third derivative of q(w). Is 8 a factor of o(8)?
True
Suppose -4*a = -3*f + 19, 20 = -4*a - 2*f + 6*f. Let t(g) = -g**3 - 4*g**2 - 4*g - 4. Is t(a) a multiple of 12?
True
Let y(c) = 6*c**2 + 9*c - 3. Let t be y(-4). Suppose h + 15 + 24 = 0. Let i = h + t. Does 9 divide i?
True
Suppose 0 = -2*x + 50 + 32. Is x a multiple of 8?
False
Let d(b) = -b**3 + 5*b**2 - 5*b + 6. Suppose -5*x = 4*i - 16, 2*i - 9 - 5 = -4*x. Is d(x) a multiple of 2?
True
Is 3/1 - (-102)/3 a multiple of 8?
False
Let k(w) = -78*w - 2. Is 10 a factor of k(-1)?
False
Suppose -133 = 7*b - 518. Does 5 divide b?
True
Let a be ((-86)/3)/((-4)/12). Let b = 123 - a. Is 16 a factor of b?
False
Suppose 2*s = 6*s + 4. Is 12 a factor of -1 + (s - (-24 + -2))?
True
Suppose -a + 6 = 24. Is 26 a factor of (-5)/(1*2/a)?
False
Does 40 divide 3*(-3)/6*-32?
False
Suppose 3*m - 3 + 0 = 0. Let f be (m - 2)/((-2)/4). Suppose -o + f*o = 3. Is o a multiple of 2?
False
Suppose 0 = -3*f + 7*f - 56. Is f a multiple of 3?
False
Let s be (-24 - (2 + -1)) + 1. Let a = -14 - s. Is 4 a factor of a?
False
Suppose 36 = 5*p - 4. Let w = p - 13. Let k(y) = -y**3 - 5*y**2 - 3*y + 1. Is k(w) a multiple of 16?
True
Let m be (-2 - (-15)/12)*12. Let q = m - -14. Suppose 0 = -b + q*b - 76. Is b a multiple of 16?
False
Suppose -3*n + 4 = -137. Does 13 divide n?
False
Suppose -r - 3 + 13 = 3*x, 3*r - 50 = x. Is 9 a factor of r?
False
Let z(c) = c + 1. Let v be z(-1). Suppose v*h - 138 = -3*h. Is 18 a factor of h?
False
Suppose -3*p + 62 = -6*s + s, 0 = 3*p + 5*s - 82. Let w = 92 - p. Is w a multiple of 25?
False
Suppose 5*c - g = 905, -g - 905 = -5*c + g. Is 7 a factor of c?
False
Is (15/(-10))/((-93)/92 + 1) a multiple of 6?
True
Let f(a) = a**2 - 4*a + 3. Let s be f(4). Suppose 4*p - 26 = -3*j, -50 + 16 = -5*p - s*j. Is p a multiple of 8?
True
Let a = -8 + 29. Suppose y - 16 = -5*o, y = 3*o + 27 + a. Is y a multiple of 13?
False
Let f be (-2)/(-6) + (-7)/3. Let j be f + -1 + (1 - 0). Does 17 divide (222/(-24))/(j/8)?
False
Suppose k - 115 + 20 = 0. Is k a multiple of 19?
True
Let n = 1 + 2. Let f = 9 + n. Is 12 a factor of f?
True
Let a(z) = -z**3 - z**2 + 1. Let p be a(-2). Suppose -4*r = -2*b + b - 15, 5*r - p*b - 30 = 0. Is r a multiple of 2?
False
Suppose -89 - 15 = 4*w. Let x = w + 40. Is 10 a factor of (-4)/x + 424/14?
True
Let a = -10 + 26. Suppose -w - a = -2*w. Does 7 divide w?
False
Let g be (6/(-5))/((-1)/5). Is 11 a factor of 2/6 + 172/g?
False
Suppose 0 + 4 = -t + 2*p, 5*t + 35 = -5*p. Let i = 3 - t. Is 2 a factor of 6 + (i/(-3) - -2)?
False
Let v(n) be the third derivative of -n**5/120 + 17*n**4/24 + n**3/2 - n**2. Let g(o) be the first derivative of v(o). Is g(8) a multiple of 9?
True
Let g be (-6)/4 - (-23)/2. Suppose -a + g = 4*a. Suppose 1 = a*j - 5. Is j a multiple of 3?
True
Suppose 4*g + 21 = 2*i - 11, g - 13 = -3*i. Suppose -2*n + 5*n - i = 0. Suppose -n*q - 24 = -4*q. Is q a multiple of 6?
True
Let l(p) = -25*p + 42. Does 38 divide l(-12)?
True
Suppose a - 186 = -2*s, 3*a + 5*s = 7*a - 718. Does 17 divide a?
False
Let q(u) = -2*u**3 - 4*u**2 - 3*u - 4. Let c be q(-4). Suppose -2*o - 2*o = -c. Is 8 a factor of o?
False
Let r(b) = 3*b + 0*b + 0 + 5*b**2 - b - 1. Is 3 a factor of r(1)?
True
Let d = 6 + -3. Suppose d*z - 3*p = z + 37, -2*p + 8 = z. Is z a multiple of 5?
False
Suppose -n + 13*n = 300. Is 5 a factor of n?
True
Let u(a) = -23*a**3 + 2*a**2 - 1. Let v(k) = k**2 - 11*k + 9. Let t be v(10). Is 10 a factor of u(t)?
False
Let c(s) = 5 + 0*s - 5*s + 0*s. Let h = 5 + -9. Is c(h) a multiple of 25?
True
Suppose -3 + 13 = f. Does 15 divide (-1 - 2)/((-1)/f)?
True
Let l(q) = -2*q - 1. Suppose -2*b = 10, 4 = -4*s - 2*b - 2*b. Suppose -y = -s*y - 24. Does 5 divide l(y)?
True
Let j = 36 + -22. Does 17 divide (2 - j/3)*-9?
False
Let x(v) = 52*v**2 - 2*v + 1. Let h(n) = -n**2 - 7*n + 9. Let w be h(-8). Let m be x(w). Let c = m - 33. Is 18 a factor of c?
True
Let j = -184 + 359. Suppose 0*x + 5*x - j = 0. Is x a multiple of 7?
True
Does 19 divide (0 + 1)/(0 - 1)*-169?
False
Let l = 54 + -38. Let n = l - 8. Is n a multiple of 8?
True
Let b = -6 + 36. Is b a multiple of 6?
True
Let o(p) be the second derivative of p**3/6 + 4*p**2 - 2*p. Let z be o(0). Let k = -1 + z. Does 3 divide k?
False
Suppose -3*x = -182 - 253. Is x a multiple of 29?
True
Let p(b) = b**3 - 7*b**2 + 3*b + 3. Suppose 3*r - r - 2 = 0, -5*t - 2*r = -37. Is p(t) a multiple of 12?
True
Let b = 10 - 4. Suppose 20 = b*x - 58. Does 13 divide x?
True
Let k = -31 - -51. Does 4 divide k?
True
Suppose 0 = 4*q - 0*q - 112. Suppose 0 = 5*o - 3*j - j - 46, q = 3*o - 2*j. Is 10 a factor of o?
True
Let a(h) = h**3 - 7*h**2 + 3*h + 5. Let p(u) = -u**2 - 9*u + 7. Let w be p(-9). Does 13 divide a(w)?
True
Let v(p) = 305*p**2 + p - 2. Is v(1) a multiple of 19?
True
Let o = -1 + -1. Is 25 a factor of ((-58)/(-6))/(o/(-6))?
False
Suppose 2*u + 50 = 8*r - 6*r, 3*r = -4*u + 110. Is 13 a factor of r?
False
Suppose 2*o = 4*l - 414, 2*o - 204 = -2*l - 0*o. Suppose -5*a - 5*p + 82 = -l, 3*p = -4*a + 144. Does 13 divide a?
False
Let v(g) = g**3 + 2*g**2 - 3*g + 136. Does 8 divide v(0)?
True
Let i(f) = -3*f**3 - f**2 + 4*f + 3. Does 15 divide i(-2)?
True
Is 12 a factor of -4 + -1 + 1 + 47?
False
Suppose 2*f = 2*i + 66, 3*i + 12 = f - 29. Does 6 divide f?
False
Suppose -170 = -2*m - m - 5*n, 2*m = -4*n + 112. Is m a multiple of 12?
True
Suppose 5*r = -2*o - 0*r + 39, 0 = 2*o - 5*r - 9. Suppose -o = -t - 0*t. Does 6 divide t?
True
Suppose c + 150 = 2*c. Suppose -2*r - r = -c. Is r a multiple of 25?
True
Suppose 4*a + 5*r - 501 = 0, 0 = 2*a - 3*a + 5*r + 94. Is a a multiple of 12?
False
Suppose a + 3*b = 15, a + 11 = 3*b - 4. Let d(n) = -n**3 - n + 3. Is 3 a factor of d(a)?
True
Suppose 2*z + 5 = -7. Is 18 a factor of (5 + z)*(1 - 19)?
True
Let u(o) = -o**3 + 15*o**2 + 15*o + 6. Let f be u(16). Let k(z) = -7*z + 14. Is 21 a factor of k(f)?
True
Suppose 2*c - 5*c = -66. Suppose -i = t + 2*t - 36, i - c = 4*t. Is i a multiple of 15?
True
Suppose -4*o = -8, l - 3*o - 29 = -4*o. Does 2 divide l?
False
Let g = -2 - -8. Suppose -71 = -4*r - n + 2*n, 2*n + g = 0. Is r a multiple of 14?
False
Suppose -2*u = -2*y - 4, 9*y - 4*y + 3*u + 42 = 0. Let c(b) = -b**3 - 5*b**2 + 3*b - 5. Does 7 divide c(y)?
False
Suppose -2*b + 6 = -4*f, 2*f - 4 + 22 = 4*b. Suppose -b + 50 = o. Does 15 divide o?
True
Suppose 0*k + 27 = 3*k. Let o be ((-30)/k)/(4/(-6)). Suppose -11 = -2*q - 3*l, -4*q + 2*q + 19 = -o*l. Is 4 a factor of q?
False
Let t be 3/(-1) - (0 + -5). Suppose 0 = 2*s + t*s - 128. Is 8 a factor of s?
True
Let c(v) = -v**3 + v**2 + 3*v + 1. Let i be c(-2). Suppose -z - 5*a = -56, 0 = 2*z - i*z - 5*a + 180. Does 8 divide z?
False
Let s(t) = 42*t**3 - t**2 - t. Let y be s(-1). Let v = 85 + y. Suppose -2*p = n + 3*n - 66, 5*p + v = 3*n. Is n a multiple of 11?
False
Let o(g) = 2*g**2 - 2*g + 8. Let x be o(7). Let w = -48 + x. Is 12 a factor of w?
False
Let w(d) = -2*d - 12. Let c be w(-8). Suppose 0 = -5*v + c*q - q - 6, 3*q = 3*v + 6. Suppose -2*z + 48 = -2*s, v = 2*z + 5*s - 12 - 8. Is 15 a factor of z?
False
Suppose -2*y = -0*y + 2. Is ((-5)/(-3))/(y/(-18)) a multiple of 15?
True
Is 18 a factor of ((-40)/(-32))/((-2)/(-288))?
True
Let b = -2 - -6. Suppose 70 + 30 = -b*g. Let c = -4 - g. Is 13 a factor of c?
False
Let m(a) = -a**3 + 3*a**2 + 6*a - 3. Let k be m(4). Suppose -v + 6*r - r = 7, -5*v - 5*r = k. Is (v/2 - -2) + 27 a multiple of 14?
True
Let l(i) be the third derivative of 2*i**5/15 - i**4/24 - i**3/6 - i**2. Let b be l(-1). Does 6 divide 50/4 + (-4)/b?
True
Let h = 175 + -15. Does 13 divide h?
False
Let a = 97 + -79. Does 12 divide a?
False
Suppose 0*w + w - 4 = 0. Let h(g) = 5*g**3 - 2*g**2 - 4*g + 3. Let v(d) = -11*d**3 + 4*d**2 + 7*d - 6. Let j(k) = w*v(k) + 9*h(k). Is 14 a factor of j(5)?
False
Let i be 1/2 + 65/2. Let v = 3 + i. Let z = -22 + v. Does 7 divide z?
True
Suppose -3*s = -77 - 175. Is s a multiple of 26?
False
Let l = -8 + -27. Let c = l + 66. Suppose -4*o + c = -1. Is 3 a factor of o?
False
Let m(r) = r**2 - 2*r - 4. Let l be 5/((-3 + 0)/(-3)). Is 11 a factor of m(l)?
True
Suppose -4*z - 4 +