)?
True
Let v(g) be the second derivative of g**7/420 - g**6/240 + 3*g**5/40 - 5*g**4/12 - g + 1. Let u(p) be the third derivative of v(p). Is 9 a factor of u(4)?
False
Let n = 3597 - 2881. Is 4 a factor of n?
True
Let s(d) = -d**3 + 4*d**2 + 6*d - 2. Let v be ((-32)/(-80))/((-2)/(-25)). Let l be s(v). Suppose -240 = -l*j - j. Is j a multiple of 12?
True
Suppose -3*p - 5*o = 10, 5*p - o = p + 2. Suppose p = -5*k + 3*s + 2*s + 1135, 4*k + 4*s - 876 = 0. Does 15 divide k?
False
Is 6 a factor of 3/(-9)*1 - 554480/(-240)?
True
Suppose -21*z - 43*z = -660800. Is z a multiple of 12?
False
Let r(t) = -t**2 + 17*t + 11. Let b be r(17). Let w = b + -3. Does 3 divide ((-4)/w + -1)*(-2 + -4)?
True
Let k(m) = 98*m**3 + 5*m**2 - 8*m + 19. Let z be k(5). Let o be (-2)/(-8) - z/(-24). Suppose -3*w = -o - 259. Is w a multiple of 20?
False
Let y = 1042 - 997. Is y a multiple of 2?
False
Let q be (6/(-15) - (-216)/15)/2. Suppose 4*i = 5*c + q, -i + 20 = 4*i + 5*c. Suppose 139 = i*s - 5*k, 5*s = 3*s + 5*k + 101. Is s a multiple of 38?
True
Let p(l) = -l**3 + 9*l**2 + l - 3. Let a be p(9). Let o be (1 + 6/(-4))/(a/(-60)). Suppose -43 = -q + 2*j, 4*q - 75 = o*j + 85. Does 29 divide q?
False
Suppose -5*g = 3*y - 51, -3*g - 3*y + 35 = 8. Does 33 divide -2 - (382/(-2) + (16 - g))?
False
Is ((-3814734)/24)/(-7) - (3 + 91/(-28)) a multiple of 7?
False
Let g(l) = 4*l + 28. Let q be g(-7). Suppose -9*a + 1362 + 15 = q. Is 19 a factor of a?
False
Let x(r) = -8*r**2 - 11*r - 25. Let j(n) = -23*n**2 - 32*n - 75. Let u(k) = -6*j(k) + 17*x(k). Is u(6) a multiple of 9?
False
Let n(t) = 13*t**3 - 9*t**2 + 123*t - 40. Does 22 divide n(8)?
False
Let r be (-35)/(-10)*12/7. Suppose 0 = q - r*q + 10. Does 20 divide (-54)/(q - 76/32)?
False
Let u be -2 - (-34)/18 - 32685/(-135). Let r be 2*137*2/(-4). Let z = r + u. Does 23 divide z?
False
Suppose -78*s = -245384 - 34168. Is s a multiple of 7?
True
Suppose 139 = -15*k - 1211. Does 64 divide 104/(-10)*9/(k/175)?
False
Suppose -379 + 114 = -m. Suppose o + o = 5*c + m, 5*c = 15. Is 28 a factor of o?
True
Suppose -2*s - 367 = -3*s + 2*h, s + 4*h - 343 = 0. Let g be ((-11)/3)/((-15)/(-1035)) - -4. Let k = s + g. Does 15 divide k?
False
Suppose 30 = 5*f - 0*f. Let h = 3295 - 3289. Is 40 a factor of (86/f)/((-95)/(-15) - h)?
False
Let i(g) = 7*g**2 + 5*g + 48. Suppose -9*w - 70 = -16. Is 32 a factor of i(w)?
False
Let l = 3699 + -2046. Is 5 a factor of l?
False
Suppose 15191 - 15942 = -60*j + 29189. Is 7 a factor of j?
False
Let u(j) = -5*j**3 - 9*j**2 - 9*j. Let k(s) = 14*s**3 + 27*s**2 + 26*s - 2. Let z(a) = 4*k(a) + 11*u(a). Is z(-8) a multiple of 8?
True
Let s(n) = -5*n**3 - 3*n**2 + n + 8. Let x be s(-2). Suppose 5*u - x = 16. Suppose 36 = u*c - 8*c. Does 7 divide c?
False
Let h(t) = t**3 - 85*t**2 - 88*t - 593. Is h(87) a multiple of 153?
False
Suppose 5*g - 3*s = 300, 0*s - 169 = -3*g + 4*s. Does 63 divide g/(-6*(-6)/396)?
True
Let z(o) = 50*o + 2. Let a be z(-3). Let s be (3 - a) + 0/(0 - -2). Let p = s + -35. Does 56 divide p?
False
Let v(i) = 115*i + 57. Let f be (-7)/42*-27*12/27. Is 8 a factor of v(f)?
False
Suppose -8*i - 15 = -13*i. Suppose 0*w = i*w. Does 29 divide 346/3 + 8/12 + w?
True
Suppose 0 = w, -28*b + 53*b + 87904 = 27*b - 4*w. Is 168 a factor of b?
False
Suppose -2183 = -16*w - 13783. Let d = -110 - w. Is d a multiple of 11?
False
Let l = -413 - -442. Suppose 32*j - 1119 = l*j. Is 30 a factor of j?
False
Suppose 4*k = 2*g - 590, -11*k = 3*g - 12*k - 860. Is 4 a factor of 24/6 + (g - -3) + -4?
True
Suppose 3*l - 353 - 370 = 4*g, 0 = 3*l - 15. Let v(s) = -7*s**2 + 24*s - 69. Let z be v(4). Let a = z - g. Is 46 a factor of a?
True
Let y(m) = 21*m + 148. Let f be y(-23). Let v = 432 + f. Is v a multiple of 9?
False
Suppose -l = 2*l - 12. Suppose -25 = -5*h - 2*u, -l*u + 7 = h + 2. Suppose 32 = h*i - n, -3*i - 5*n - 12 = -48. Is i a multiple of 3?
False
Let z(h) = 27*h**3 + 3*h**2 - h - 2. Let a be z(3). Suppose 2*n = -3*y - a, y - 3*n + 22 = -243. Let v = -163 - y. Is v a multiple of 15?
True
Suppose 20*t + 28*t - 234726 = 19*t. Does 23 divide t?
False
Suppose 0 = -5*k - 4*g + 4350, 0 = -4*k + 73*g - 77*g + 3484. Suppose -248 - k = -m. Is 22 a factor of m?
False
Suppose 12*f + 0*f = 12132. Suppose 4*r - f - 673 = 0. Let y = r - 285. Is 17 a factor of y?
True
Let k(z) = -z**3 - 8*z**2 - 9. Let j(y) = -9*y + 10. Let v be j(2). Let h be k(v). Let s = h + 41. Does 18 divide s?
False
Suppose -91*z = -112*z + 73979 + 139066. Does 41 divide z?
False
Is 1608/5 - ((-78)/65)/3 a multiple of 92?
False
Suppose -3*y = 13 + 2, -165 = -3*o - 3*y. Suppose 52 = -4*p + o. Suppose 2*k - 4*c = 52, -p*c - 3*c = 20. Is 5 a factor of k?
False
Let i be (-4)/(-2 + (-2336)/(-1176)). Suppose 8*c - 3666 = i. Is 17 a factor of c?
False
Suppose 0 = -3*n - 4*g + 70, n + 3*g - 30 = -0*g. Suppose -a - d - d = -2, 2*d + n = 4*a. Is 8/(a/(67 - 3)) a multiple of 16?
True
Suppose 21 + 7 = -7*i. Suppose -c - 2*q + 342 = 0, c - 3*q + 338 = 2*c. Does 34 divide ((324/63)/(-3))/(i/c)?
False
Let a = -144921 - -217884. Does 18 divide a?
False
Suppose 0 = -2*w - 2*b + 1306, 17*w = 14*w + 4*b + 1952. Is 36 a factor of w?
False
Suppose 109*c - 108*c - 2*b - 21825 = 0, 3*c - 65475 = -4*b. Is c a multiple of 45?
True
Let y be 7/21 - 6/(-9) - -4. Suppose -753 = -y*d + 77. Is 9 a factor of d?
False
Let n = -77571 - -110937. Is 12 a factor of n?
False
Suppose 15*o - 5*o + 90 = 0. Let a = 89 + o. Is a a multiple of 20?
True
Let n = 3467 - 2795. Does 6 divide n?
True
Suppose -2*j - 3 = -11. Let h(v) = v**3 - 43*v**2 - 92*v - 2. Let s be h(-2). Suppose m + 120 = 5*m - j*n, -s*m - 3*n + 70 = 0. Is m a multiple of 32?
True
Does 76 divide (88/33)/(4/1140)?
True
Let g(x) = 12*x + 28. Let l = -223 - -226. Is 32 a factor of g(l)?
True
Let s(p) = 975*p**2 + 9*p - 141. Is s(4) a multiple of 24?
False
Let c = 59 + -50. Suppose -2*o - 28 = -c*o. Is 2/o - (-18)/(-8)*-26 a multiple of 5?
False
Suppose 7*s - 30 = 13*s. Does 15 divide 65 + (-15 - s/1) + 5?
True
Let i be (-32)/12*3/(-2). Suppose -w = -2, -j + i*j + 3*w - 1059 = 0. Suppose 345 = 12*n - j. Is n a multiple of 5?
False
Let h(p) = -p**3 + 3*p**2 - 4*p + 4. Let v be h(4). Let c be (-131)/(-2) + 175/14 + -14. Let r = v + c. Does 9 divide r?
True
Let h be (-7)/(-2) - (10/(-4) + 3). Suppose 24 = h*d - 2*w, -d + 22 = -2*w + 6*w. Is 5 a factor of (d/30)/((-1)/(-255))?
True
Let l be (-159)/(-21) - (-18)/42. Suppose 5*d - l - 9 = -r, 5*r - d - 33 = 0. Suppose r*f - 120 = f. Is 13 a factor of f?
False
Let k(m) = -651*m**3 - 2*m**2 - 2*m - 1. Suppose 65*h = 54*h - 11. Does 26 divide k(h)?
True
Suppose -43356 = -2*s - f, 86718 = -142*s + 146*s + f. Does 33 divide s?
True
Let r = -1345 + 1915. Let u be -1*(-1486)/2*1. Suppose 0 = -4*j - 4*f + u + 21, 0 = 3*j + 4*f - r. Is j a multiple of 39?
False
Let r = 2130 + -1809. Is r a multiple of 11?
False
Suppose -36*h + 334167 = 134587 - 194440. Is h a multiple of 9?
False
Does 36 divide (147/24 - 6)/((-5)/(-737320))?
False
Is -3 + (2*1/(-4) - (-171465)/30) a multiple of 17?
True
Suppose 879 = -11*g + 3805. Suppose g = -10*y + 376. Does 2 divide y?
False
Let f(z) = z**2 - 28*z - 88. Let v be f(31). Suppose -w = -0*w - 3*n - 234, 258 = w + v*n. Is w a multiple of 27?
True
Suppose 27 = -6*l - 213. Let u be 14/10 + -1 + (-184)/l. Suppose -4*v = 3*o - 384, u*v - 645 = -8*o + 3*o. Is o a multiple of 44?
True
Suppose 10 = 6*z + 124. Let t = z - -39. Suppose -4*j = 4*d - 152, 4*d + j - t = 129. Is 11 a factor of d?
False
Does 13 divide -6 + (-61*22)/(7/(-14))?
True
Let p = 39987 + -37055. Does 77 divide p?
False
Let f = 4567 + -2460. Let q = f + -977. Suppose -q = 42*t - 47*t. Is 54 a factor of t?
False
Let x be ((-13)/((-260)/15))/((-2)/8). Is 2*x/(-30) + (-4334)/(-55) a multiple of 11?
False
Let w(k) = 18*k**2 + 2*k. Let q(y) = 37*y**2 + 5*y + 1. Let b be (-8)/12*(-234)/12. Let g(p) = b*w(p) - 6*q(p). Does 38 divide g(-3)?
True
Let m be 255/4 - -15*10/(-200). Suppose -5*n - 2*k = -635, 0*k = 5*n - 2*k - 655. Suppose -n = -8*r + m. Is r a multiple of 11?
False
Let s(j) = -9*j + 33. Let l be s(5). Is 13 a factor of (-12)/9*6714/l?
False
Suppose -151*t = 157*t - 4808496. Is 15 a factor of t?
False
Let p = -34 - -33. Does 27 divide (-4)/p*(1 - 462/(-4))?
False
Suppose -k - 131*q + 6668 = -133*q, k =