 p(m) = -m**3 - 6*m**2 + m + 8. Let h be p(-6). Let o(x) = 15*x + x**3 + 10*x**h + 1938 + 0*x**3 - 1938. Is 9 a factor of o(-6)?
True
Suppose 0 = m + 2*m - 12. Suppose 0 = m*p - 3*p - 76. Let y = p + -52. Is 10 a factor of y?
False
Let u(s) = -51*s**3 + 5*s**2 + 5*s. Is u(-2) a multiple of 2?
True
Suppose -61*c + 3076 - 2812 = -24929. Does 9 divide c?
False
Let t(f) = 2*f**2 + 2*f + 13. Suppose 20*i = 13*i + 63. Does 9 divide t(i)?
False
Let c = -8 - -12. Let b = c - 9. Is 15 a factor of ((-4)/b)/(6/675)?
True
Let p = 681 - 284. Suppose 13*n - 3880 - p = 0. Is n a multiple of 28?
False
Suppose -2*q - t - 2 = -12, 0 = -4*q - 3*t + 20. Suppose -8*w - 653 = -q*n - 4*w, 3*n + 2*w - 405 = 0. Does 19 divide n?
True
Let n(c) be the third derivative of 77*c**4/24 - 7*c**3/2 - 59*c**2. Is n(3) a multiple of 14?
True
Let d = -29 - -27. Let g be -130 - d/4*1*6. Let u = 1 - g. Is u a multiple of 13?
False
Let j(a) = -a**3 - 11*a**2 + 32*a - 18. Let f be j(-14). Let z = f - 117. Suppose -z*g - 5*s + 1308 = -37, -4*g - 2*s + 1066 = 0. Is g a multiple of 44?
True
Suppose 4*a + 9*k = 7*k + 12, -5*a - 3*k + 14 = 0. Suppose 545 - 85 = a*r. Is 5 a factor of r?
True
Let x(y) = 19*y**2 - 7*y + 6. Let d be x(1). Let s be 9/7 - d/63. Is 5 a factor of s*5*(5 + (-28)/(-10))?
False
Suppose -5*x + 3*f = 58, -4*f - 12 - 4 = 0. Let n(w) = -8*w - 82. Is 15 a factor of n(x)?
True
Suppose 52*n - 53*n - 69 = 0. Let o = n + 66. Is 5 a factor of -64*(-2)/((-8)/o)?
False
Let r(i) = -4*i**3 + i + 4. Let a(v) = 11*v**3 - 4*v - 12. Let t(s) = -3*a(s) - 8*r(s). Let b be t(-2). Suppose -801 = b*j - 13*j. Does 18 divide j?
False
Does 68 divide ((-4482225)/(-150))/(3/2) + 12?
False
Let s(f) be the third derivative of 2*f**6/15 + f**4/8 - 5*f**3/3 - 5*f**2 + f. Does 26 divide s(2)?
False
Let g = 8566 + 3080. Is 124 a factor of g?
False
Let p(k) = 31*k**2 - 5*k. Let x = -10 + 12. Does 12 divide p(x)?
False
Is (-884)/(-170)*2060/((-6)/(-3)) a multiple of 13?
True
Suppose -n = -79*g + 76*g - 3438, 5*n + 2*g - 17275 = 0. Is 19 a factor of n?
False
Let w(g) = 6*g**2 + 20*g + 2. Let t be w(-3). Let l(y) = 3*y + 15*y**2 + y - 8 - 10*y**2. Is 7 a factor of l(t)?
True
Suppose 2536 = -2*r - 2*t + 4*t, 0 = 5*r + t + 6364. Let m = -596 - r. Is m a multiple of 52?
True
Let h = -51 - -55. Suppose -m + 61 = 3*d + 18, 0 = -3*d + h*m + 68. Is 48/(d/(-4) + 38/8) a multiple of 10?
False
Let d(l) = 21*l - 6. Suppose -b - 24 = -5*h + 11, -4*b + 52 = 4*h. Is d(h) a multiple of 54?
True
Let k(p) be the first derivative of -p**4/4 - 2*p**3/3 - p**2/2 + 40*p - 196. Does 6 divide k(-5)?
True
Let g(r) = 1697*r - 451. Is 54 a factor of g(4)?
False
Suppose 31*n - 27*n = -4*c + 29876, 5*n = c - 7469. Does 9 divide c?
False
Let u be (-56)/(-42)*(-30)/(-8) - -26. Suppose 0 = 3*v + 3*y - 423, y + 403 = 34*v - u*v. Is v a multiple of 15?
False
Let r = -90 + 97. Suppose 0 = 3*m - r*m - 3*c + 144, m = -2*c + 31. Is 7 a factor of m?
False
Suppose 12 = 6*p - 0. Suppose -p*t = 4*i - 688, 2*t - 353 - 332 = -5*i. Does 35 divide t?
True
Let o be ((-3)/6)/((8 + -2)/(-432)). Is 7 a factor of 644/10 + o/(-90)?
False
Let c = 64 - -26. Is 18 a factor of (c/48 - (-1)/8) + 309?
False
Let x be (45/100*4)/((-1)/(-5)). Suppose x*j = 8*j + 3. Suppose -j*l + 148 = -0*g + g, -l = 5*g - 26. Is 9 a factor of l?
False
Is 618*(-24 - -26 - -1*4) a multiple of 9?
True
Suppose 3*c + 56 = -c. Let a be (-2684)/110 - (-4)/10. Let w = c - a. Is w a multiple of 4?
False
Suppose -4*k = 241 - 825. Let v be 3/(-18) + k/12. Let g = 61 - v. Is 26 a factor of g?
False
Suppose 0 = -24*i + 92*i - 21556. Is i a multiple of 3?
False
Let h(t) = -32*t - 5. Let n be (4 + -4)/2 - 1*10. Let z = 5 + n. Is 28 a factor of h(z)?
False
Let q be (-1*1)/(8/8) + -15. Let i(s) = -s**2 - 18*s - 28. Let x be i(q). Suppose 0 = t - 3*f - 33, x*t - 70 = 2*t + 5*f. Is t a multiple of 6?
False
Let x(l) = -2341*l + 488. Is x(-5) a multiple of 89?
True
Suppose -53*s = -3*s - 4*s - 818064. Is s a multiple of 57?
True
Let i(h) = 6*h**2 + 130*h - 53. Does 3 divide i(12)?
False
Let p(f) = 3 + 4*f - 2*f**2 + 5*f**2 - f**2 - f**2. Let i(u) = 3*u**2 - 21*u + 7. Let g be i(7). Is 8 a factor of p(g)?
True
Suppose 3*g = f + 29101, -2*g + 19394 = -477*f + 475*f. Does 126 divide g?
True
Let b be (-114)/(-38)*1/1. Suppose 0 = -5*c - b*v + 1080 + 388, -4*c - 4*v + 1168 = 0. Does 6 divide c?
False
Suppose -20672 - 2673 = -13*s - 4079. Does 13 divide s?
True
Suppose -188*l + 58097 = -199087. Does 9 divide l?
True
Suppose 7*u + 6*u - 43428 = -20*u. Does 14 divide u?
True
Let r(p) = -11448*p + 2856. Does 310 divide r(-3)?
True
Suppose 12*p - 13*p + 3*o + 17811 = 0, -p + 2*o = -17808. Is p a multiple of 69?
True
Let r(v) be the second derivative of 83*v**4/6 - 2*v**3/3 + v**2/2 - 203*v. Does 40 divide r(-3)?
False
Let b(s) be the first derivative of 11*s**2 + 120*s - 175. Is 47 a factor of b(33)?
True
Let z(s) = -43*s + 377. Let r be z(6). Does 26 divide 3/(-51)*-2 - (-92806)/r?
True
Let g(j) = -119*j - 617. Is g(-31) a multiple of 75?
False
Suppose 23*s - 5*t - 852830 = 0, 29*s - 27*s + t - 74162 = 0. Is s a multiple of 15?
True
Suppose 104*f - 102*f = 16. Let h(i) = 19 + 9 + 5*i + 0. Is h(f) a multiple of 17?
True
Suppose -5 = 3*h + p, h + 3*p - 4*p + 3 = 0. Let o be 2023*(-2)/4 - h/(-4). Is 24 a factor of o/(-14) - 1/(21/6)?
True
Suppose 695 = z + 3*g, -3*z + 5*g + 1213 + 914 = 0. Suppose 0*w - n = 3*w - 529, z = 4*w + n. Does 5 divide w?
True
Suppose 0 = -11*g + 8*g + 120. Suppose 6*o + 4*o - g = 0. Suppose -5*j = -2*v - 393, 3*v + 166 = o*j - 2*j. Does 11 divide j?
True
Does 161 divide (2*2 - (-75 + 81))*(1 + -3932)?
False
Suppose -170*y - 75209 = -120570 - 116479. Is y a multiple of 119?
True
Let k(d) = -8*d + 56*d**3 - 2*d**2 + 70*d**3 - 5 - 332*d**3 - 266*d**3. Does 25 divide k(-1)?
False
Is (3 - 9) + (3349 - (2 - 2)) a multiple of 10?
False
Suppose -17*l - 86*l = -1238472. Is 4 a factor of l?
True
Suppose -5*q + 5*a - 11 = 4, 10 = 2*a. Suppose -334 + 1272 = q*j + 3*y, 2299 = 5*j - 4*y. Is 31 a factor of j?
False
Let m(t) = -6*t - 7 + 12*t - 3*t**3 - 5*t + 5*t**2. Let b be m(4). Let p = 213 + b. Is p a multiple of 14?
True
Suppose 6*y = 3*v + 9*y - 99147, -y = -v + 33063. Is 35 a factor of v?
False
Suppose 1200 = 6*i + 4*i. Does 15 divide ((-16)/i + 8899/30)*2?
False
Let v(s) be the third derivative of -s**6/20 + s**5/10 + 5*s**4/12 - 5*s**3/6 + 77*s**2. Does 48 divide v(-3)?
False
Let a = -152 + 144. Let t(c) = -c**3 - 4*c**2 + 18*c + 19. Is t(a) a multiple of 2?
False
Suppose -64*x = 41*x - 2084775. Is x a multiple of 11?
True
Let h(k) = 158*k - 522. Let r be h(6). Suppose 5*t + 5*n - 410 = 0, 3*n + r = -2*t + 7*t. Is 14 a factor of t?
True
Let q(c) = 18*c**3 + 6*c**2 - 51*c - 97. Does 6 divide q(12)?
False
Let i(a) = -162*a + 24. Let x be i(-4). Suppose -9*p + 10*p = x. Suppose -6*y = -13*y + p. Is y a multiple of 13?
False
Let o = 12649 + -12219. Is 9 a factor of o?
False
Suppose 11*c - 17492 = -3*s + 13*c, 5*s = -c + 29149. Is s a multiple of 11?
True
Let w = 1097 + 1198. Suppose -6*q + w = 5*p - 5*q, 0 = -4*q. Is 17 a factor of p?
True
Is 48891/86 - (9/(-6))/(-3) a multiple of 13?
False
Suppose 5*x + 4*a - 105 - 344 = 0, 5*x - 448 = -3*a. Suppose u = -12 + x. Suppose 3*r = u + 49. Is 14 a factor of r?
True
Suppose 145*d = 129*d - 1152. Suppose -4*s - 138 = 478. Let u = d - s. Is 6 a factor of u?
False
Suppose -4*q + 105 = 3*q. Suppose 30 = -q*f + 20*f. Suppose 0 = 4*i - 4*m - 116, -46 + f = -2*i - 4*m. Is i a multiple of 13?
True
Let t = -68 + 78. Let q be ((-15)/t)/((-1)/2). Suppose 0 = -q*i + 166 + 44. Does 22 divide i?
False
Let v be (2376/756)/((-3)/(-105)). Let l = 39 + -12. Let m = v - l. Does 5 divide m?
False
Suppose -138*j + 708410 = 161654. Does 7 divide j?
True
Suppose -9*j = 4*j + 10*j - 42159. Is j a multiple of 47?
True
Let w(r) = r**3 + 10*r**2 + 18*r + 6. Suppose 26 + 6 = -2*d. Let o(k) = k**2 + 14*k - 39. Let q be o(d). Does 6 divide w(q)?
False
Let i be (-6)/21 - (-54)/(-7). Is (-17 + 9)/(((-3)/i)/(-3)) a multiple of 5?
False
Let m = -13962 + 19875. Is 26 a factor of m?
False
Suppose 3*f + 5*p = -50, -2 = p + 2. Let o(n) = -4 - 15*n - 2 + 25 - 2*n**2 + n**2. Is 15 a factor of o(f)?
False
Does 57 divide 3 + 47/((-47)/(-10296))?
False
Let i(b) = -b**2 - 6*b - 14. Let h