6. Let i(v) = -v**3 - v - 2. Let h be i(-6). Suppose -m*q = -q + 2*k - h, 5*q = -5*k + 220. Is q a multiple of 41?
False
Let f(j) = j**3 - 3 - 4*j**2 + 8*j**2 + 0. Let v be f(-3). Is 5 a factor of (-88)/(-2) + (2 - v)?
True
Suppose 290*h = 138*h + 2359800. Does 23 divide h?
True
Let p be (12 - 1) + 78/(-26). Suppose 2*i - 1404 = 3*t, 5*t + 702 = -p*i + 9*i. Is 26 a factor of i?
True
Let t(b) be the second derivative of -b**5/10 - 3*b**4/4 + 4*b**3 + 7*b**2 + b - 2. Is t(-10) a multiple of 22?
False
Let y be (-6)/10 - 6666/(-110). Suppose 0 = -p + 6 + y. Is 8 a factor of 1 - p/(-4)*170/15?
False
Let d(u) = 145*u**2 - 7*u + 36. Let q be d(5). Suppose -18*z = -q - 2350. Is 16 a factor of z?
False
Suppose 4*a = -5*s + 828, -9*s + 8*s - 804 = -4*a. Let o = a - 114. Does 4 divide o?
True
Let a = -59 + 114. Suppose -14*m - 165 = m. Let t = m + a. Does 11 divide t?
True
Suppose -s = 7*s - 16. Suppose -v + 3*k + 73 = k, 131 = s*v + k. Suppose 0 = 4*q + 4, -2*q = -5*j + v. Is 13 a factor of j?
True
Let o = -261 - -264. Suppose 0*s + 5*s - 2 = 2*z, -z - 4*s = -12. Is 239 - o*(26/6 - z) a multiple of 14?
True
Suppose -2*l + 5*o = -32 - 13, 2*o = -l. Is l/8*(9 + (2 - -21)) a multiple of 8?
True
Is (-48)/10*(5520/9)/(-2) a multiple of 56?
False
Does 4 divide 12*(4 + 77/3 + 4)?
True
Let f be (8/20)/(3/(-75)). Let n = f - -34. Is 30/(-40) + 1857/n*2 a multiple of 46?
False
Suppose 0 = d - 5*d - 2*w + 16, 0 = -d + 5*w - 18. Is 9 a factor of 77266/161 + -3 - d/(-23)?
True
Let y(p) be the first derivative of -p**3/3 - 7*p**2 + 23*p - 65. Is 19 a factor of y(-14)?
False
Suppose -3*u = k + 11, 5*k = -2*u - 2*u. Suppose 0 = 5*v - 5*i + i - 14, k*i - 2 = -3*v. Is 3 - (-118 - 2) - v a multiple of 16?
False
Let h = 1430 + -1355. Is h a multiple of 3?
True
Suppose 0 = -f + 6*j - 11*j + 8574, -3*f + 25722 = -j. Is 20 a factor of f?
False
Let k(m) = -1. Let r(b) = -5*b + 30. Let u(p) = 10*k(p) + r(p). Let w be u(5). Does 24 divide 4 - (-19)/w - (-309)/5?
False
Let j = 8461 - 8001. Does 45 divide j?
False
Let n be -6*(-8)/(16/1). Suppose -4*s - 11*o + 10*o = -619, 0 = -n*s + o + 466. Does 23 divide s?
False
Suppose 1249 = -0*p + p + 3*s, 3795 = 3*p - 3*s. Suppose 18*c - p = 827. Is c a multiple of 58?
True
Let l = 415 + -1002. Let w = l + 1041. Is w a multiple of 39?
False
Let u(m) = -11*m**2 - 6*m + 23. Let v be u(4). Let k = -63 - v. Is k a multiple of 10?
False
Let y(j) be the second derivative of j**5/20 - 5*j**4/6 - j**3/2 - 5*j**2 - 14*j. Let m be y(10). Does 20 divide (-5)/5*(0 + m)?
True
Suppose 0 = -1099*f + 1068*f + 257145. Is f a multiple of 79?
True
Suppose 5*s - 11 = -5*w + 9, 0 = 3*s + 6. Suppose 12 = 2*d + w. Suppose -2*u + 5*r = -39, d*u - 2*u - 19 = 2*r. Does 17 divide u?
True
Suppose -20*r - 68022 = -38*r. Does 4 divide r?
False
Let q(b) be the first derivative of 9*b**2/2 + 217*b + 116. Does 18 divide q(-6)?
False
Suppose 0 = -7*q - 64 + 50. Is (9 + -9 + -10)/(q/52) a multiple of 17?
False
Suppose -12 + 8 = -r. Suppose -2376 = r*j - 10*j. Is 12 a factor of j?
True
Suppose 376*i - 372*i = -4*k + 25580, 0 = -3*i - k + 19199. Is i a multiple of 11?
True
Suppose b + 3*b = 3360. Suppose -j - b = -9*j. Suppose -8*q = -q - j. Is 3 a factor of q?
True
Suppose 2*r + 3*q - 57 = 0, 2*r = q + 51 - 6. Is (-2 + (-3 - r/(-9)))*-96 a multiple of 21?
False
Suppose -226*k - 73649 = -4*o - 225*k, 4*k = -4*o + 73624. Is 323 a factor of o?
True
Let l = 546 + -270. Suppose 0*t - a = -t + 69, -l = -4*t - 2*a. Is 3 a factor of t?
True
Let n = 8842 + -4702. Is n a multiple of 6?
True
Let i(m) = -m**3 + m + 1. Let f be i(-2). Let s(x) = x**2 - 7*x + 6. Let q be s(f). Let p(u) = -u**3 + 11*u**2 - 2*u - 5. Is p(q) a multiple of 15?
False
Let i(j) = 6*j**2 + 24*j - 260. Does 7 divide i(-15)?
False
Is 9 a factor of ((-44532)/48)/(0/2 - (-6)/(-32))?
False
Let a = -49 - -55. Suppose -4*m = -6 - a, 2*s + 4*m = 16. Suppose -3*n = -n + 3*h - 356, s*h + 171 = n. Does 12 divide n?
False
Let n(y) be the first derivative of -44 + 13*y + y**2 - 1/4*y**4 + 10/3*y**3. Is n(9) a multiple of 14?
True
Suppose 3*a + 3*o - 10527 = 0, -2*a = -o + 2*o - 7022. Is 64 a factor of a?
False
Let z be (-8 + 3 + -7)*267/(-12). Suppose 0 = -3*j + v + 1883, j + 0*j - 637 = -2*v. Suppose 7*h = j + z. Is 16 a factor of h?
True
Let s = 47 + 33. Does 5 divide (s/(-6))/(2*6/(-18))?
True
Let o(p) = 4*p**3 - 17*p**2 - p - 12. Let u(c) = 3*c**3 - 16*c**2 - c - 13. Let z(r) = -4*o(r) + 5*u(r). Let t be z(-12). Is 31 a factor of 3/15 - 744/t?
False
Let q = -7186 + 39157. Is 158 a factor of q?
False
Let j be -5246*316/((-16)/4). Does 7 divide (-16)/18 + 1 - j/(-387)?
True
Let u be (-8*(-33)/352)/((-1)/(-32)). Let m(j) = j**3 - 24*j**2 + 38*j + 20. Does 19 divide m(u)?
False
Let k be -2 + 19*(0 - 3). Let h = k + 79. Suppose -21*p + 182 = -h*p. Is 33 a factor of p?
False
Let w(n) = 2*n**3 - 25*n**2 + 36*n + 42. Let y be w(18). Let k = y + -2964. Does 10 divide k?
True
Let s = -34 - -21. Let l(i) be the second derivative of -i**4/12 - 10*i**3/3 - 31*i**2/2 - 9*i - 3. Is l(s) a multiple of 9?
False
Let n(c) = -c**3 + 38*c**2 + 8. Let g be n(38). Does 24 divide (1 - g - -9)*410?
False
Suppose 10*r + 56 = 24*r. Suppose -4*x - 4*i + 617 = -543, -x + 305 = -r*i. Does 82 divide x?
False
Let g be ((-9)/3)/((-5)/90). Let o(k) = k**3 - 4*k**2 - 10*k + 18. Let j be o(6). Let y = g - j. Does 5 divide y?
False
Let y be (-2 - -8)/(18/48). Is 25 a factor of ((-20)/y*170)/(5/(-10))?
True
Let m = 435 - 423. Does 5 divide m/(-14)*-7 + 88?
False
Let x be (-1)/(4 + (-218)/54). Let j be 1/((x/12)/9). Suppose -5*q - 10 = -5*h + 40, -q - 49 = -j*h. Does 13 divide h?
True
Let p(s) be the third derivative of s**7/2520 - s**6/720 - 7*s**5/120 + 5*s**4/12 - 12*s**2. Let g(r) be the second derivative of p(r). Is 12 a factor of g(-4)?
False
Let k = -6263 - -10238. Does 11 divide k?
False
Let r = -17850 - -34787. Is r a multiple of 6?
False
Let n(u) be the second derivative of -6*u**2 + 0 - 11/6*u**3 + 14*u. Is 20 a factor of n(-12)?
True
Suppose 0 = 21*p - 59*p + 160056. Is p a multiple of 12?
True
Suppose 158*r = 134*r + 127008. Does 3 divide r?
True
Let o be 10/(2/(-40)*5). Does 3 divide (o/5 + -658)*(-1)/3?
True
Let x be 6 + (-4 - 0) - -32. Does 4 divide (x/(-68))/(1/(-94))?
False
Suppose -11223 - 28158 = -99*g - 78. Is g a multiple of 12?
False
Let t(i) = 182*i - 4. Let u(l) = 237 - 479 + 242 + l. Let a(b) = t(b) - u(b). Is 18 a factor of a(1)?
False
Let m(g) = -187*g - 9. Suppose 3*c + 0 + 9 = 0, -4*c = 4*u + 44. Let r be m(u). Suppose 0 = -13*z + r - 551. Does 18 divide z?
True
Let f be 189/(-9)*(-1 + -12). Let y(c) = 12*c**2 - 3*c - 7. Let k be y(6). Suppose k = 5*z - f. Is z a multiple of 16?
False
Let m = 1 - 1. Let u(i) = -2*i**3 + 11*i**2 + 19*i - 78. Let y be u(6). Suppose m = -11*l - y*l + 198. Does 18 divide l?
True
Let r(a) = 1475*a**2 + 252*a - 1732. Does 80 divide r(7)?
False
Suppose -4*l - 3231 = -y, -7*y - 2*l + 9721 = -4*y. Is 108 a factor of y?
False
Let l be (-1200)/26 + (-5)/(-130)*4. Let q = -44 - l. Suppose 0 = -4*v - q*v + 996. Is 21 a factor of v?
False
Let u = 64 - 53. Suppose -u*s - s - 120 = 0. Is 5 a factor of (0 + s/4)/((-2)/36)?
True
Suppose -12*n + 67284 + 50988 = 0. Is 154 a factor of n?
True
Let c(r) = -r**3 - r + 8. Let a be c(0). Suppose 72 - a = -4*j. Is 33 a factor of ((-2)/3)/(j/792)?
True
Let z = 41867 - -11406. Is z a multiple of 167?
True
Let m = -6595 + 7138. Is 91 a factor of m?
False
Let u(s) = s**3 - 11*s**2 - 5*s + 6. Let w be u(11). Let g = w - -58. Suppose 4*c = g*c - 450. Does 12 divide c?
False
Let h be (2/(-4))/((-11)/66). Suppose -3*d = -q + 4*q - 15, -5*d = -h*q - 25. Suppose -18 = -2*n - q*n. Is n a multiple of 4?
False
Let h be (-4)/(-6) + (-1104)/36. Is (10/h)/((-1)/393) a multiple of 2?
False
Suppose 5760 = 181*k - 90*k - 87*k. Is 5 a factor of k?
True
Suppose -2*d = 3*h + 2*d - 23, -2*h = d - 12. Suppose 0 = 4*k + 3*f - 357, 2*k + 6*f = h*f + 177. Let t = k - 11. Is t a multiple of 8?
False
Let h = 811 + -796. Let m = 130 + -75. Suppose r = m - h. Does 20 divide r?
True
Let d = 161 + -19. Suppose 5*g - 293 = d. Does 11 divide g?
False
Let r(p) = -8*p**2 - 3 - 14*p**2 + 16*p + 14*p**2 + p**3. Let j(q) = 2*q**3 - 15*q**2 + 32*q - 6. Let h(v) = 2*j(v) - 5*r(v). Is 43 a factor of h(5)?
False