 + 9. Let p(y) = -y**2 + 5*y - 9. Let c(w) = -6*i(w) - 7*p(w). Is c(q) a multiple of 17?
True
Let b(c) be the second derivative of -17/2*c**2 + 0 + 11*c + 5/6*c**3. Is 10 a factor of b(9)?
False
Does 29 divide (-8 + 3)/((-3)/4098)?
False
Let b = 6856 + -4672. Is 14 a factor of b?
True
Does 33 divide (-216)/(-189) - 87273/(-21)?
False
Let g(x) = x**3 - 15*x**2 - 15*x - 16. Let k be g(16). Let v(u) = 0*u**2 + 2*u**2 + 2 - 6 + k. Is v(6) a multiple of 18?
False
Let r be 1 - 2*(2 + 0)/4. Suppose -4 = -i - r*z + 2*z, -3*i - z = -33. Suppose 6*x + 248 = i*x. Does 16 divide x?
False
Let y(p) = 32*p**2 - 10*p + 2. Suppose -r - 10 = -4*x + 8, -r + 3*x = 15. Let n be y(r). Does 9 divide 30/24 - n/(-8)?
True
Suppose 0 = 14*h - 0*h - 25522. Suppose -5*m + 4*s = -h - 1697, 4*m = -3*s + 2785. Is 35 a factor of m?
True
Suppose x + 5*r - 14 = 0, -x + 6 = -2*r + 3*r. Let g(v) = 16*v**2 + 9*v + 2. Is 42 a factor of g(x)?
True
Let g(z) = -11*z**3 + 48*z**2 + 53*z + 35. Let k(d) = 4*d**3 - 16*d**2 - 18*d - 12. Let h(m) = 3*g(m) + 8*k(m). Does 31 divide h(12)?
False
Let p(f) = -f + 44 + 8*f - 6*f + 8. Let b(s) = -3*s - 102. Let v(r) = 2*b(r) + 5*p(r). Does 8 divide v(-24)?
True
Let p(d) = 3*d**2 + 2*d - 2. Suppose 2*z + 0*q = 2*q - 8, -4*q = -8. Let g be p(z). Suppose 31 = -g*w + 655. Does 13 divide w?
True
Suppose -54*c + 23950 = -23956 + 3356. Is 33 a factor of c?
True
Let i = -91355 + 134391. Is i a multiple of 53?
True
Suppose -28 = -3*a - 2*t - 2, 0 = 2*a + 4*t - 28. Is (-755)/(-10) - 7 - a/(-4) a multiple of 7?
True
Let y(j) = -j**2 - 16*j - 36. Let l be y(-11). Suppose -17*f - 166 = -l*f. Is f a multiple of 17?
False
Let r = -309 - -318. Suppose 2*a + 939 = -r*l + 14*l, -3*l + 564 = -a. Is l a multiple of 9?
True
Let p(z) = 9*z**2 + 4*z - 9. Let b be p(2). Let w(x) = 0 + 9*x**2 - b*x + 31*x - 8. Is 12 a factor of w(-4)?
False
Suppose -3*b - 484 = -3*k - 1945, 3*k - 964 = -2*b. Suppose 4*j = c + 1889, -j + 2*j + 4*c = b. Is j a multiple of 11?
True
Let k be (-17316)/(-74)*((-2)/6)/(-1). Is (k/12)/(255/(-130) - -2) a multiple of 11?
False
Suppose -9178 = -4*c + 2*p, -7*p - 9193 = -4*c - 10*p. Does 8 divide c?
True
Let v(s) = -s**3 - 7*s**2 + 7*s - 14. Let a be v(-8). Let p be 8 - 0 - (8 + a). Suppose -p*q = 2*q - 216. Does 27 divide q?
True
Suppose -318 = -11*y + 2058. Is ((-238)/3)/(-2 - (-416)/y) a multiple of 52?
False
Let z = -19508 - -36509. Does 8 divide z?
False
Is 24 a factor of (-15872)/(-2)*(413/28 + -14)?
True
Let i be (-5 - (-4 + -1))/(3/1). Suppose -3*f - 4*k = -1235, 0 = -i*k - k + 5. Is 61 a factor of f?
False
Let z = 1451 + 504. Does 5 divide z?
True
Suppose 0 = -5*x + 2 + 13, 0 = 3*c + 2*x + 114. Does 45 divide (9 - -126)*c/(-15)?
True
Suppose -15*d + 9828 = 3*d. Let n = d - 210. Is n a multiple of 16?
True
Let g(l) = -l**3 - 7*l**2 + 6*l - 8. Let r(a) = a**3 + 8*a**2 - 7*a + 8. Let x = -51 + 47. Let c(n) = x*g(n) - 5*r(n). Does 6 divide c(-13)?
True
Suppose -19 = -4*h - 39, -14294 = -2*v - 2*h. Is 12 a factor of v?
True
Let z(i) = 59*i**3 - 4*i**2 + 14*i - 87. Does 176 divide z(5)?
False
Let v = 12 + -9. Suppose -2*k - 203 = -n - 5*k, 597 = v*n - 3*k. Does 19 divide (0 - -1) + (-3 - n/(-5))?
True
Is 18 a factor of (2808/(-10))/(((-1656)/(-160))/(-69))?
True
Suppose 13*w = 11*w. Let v = 28 + w. Is ((-208)/v - -4)*-28 a multiple of 8?
True
Let f(v) = -6*v**2 + 8*v + 29*v**3 + 29 - 28*v**3 - 2*v**2. Does 13 divide f(10)?
False
Let z = 11637 + -6773. Is 14 a factor of z?
False
Suppose 0 = -2*z - 8, -45991 + 3991 = -2*m + 5*z. Does 10 divide m?
True
Let m(p) = 481*p**2 + 408*p + 8. Is m(-5) a multiple of 24?
False
Suppose 3*u = 12, w = -5*u - 4 + 32. Suppose -3*l - w = -29. Suppose 6*i - l*i = -135. Does 15 divide i?
True
Let j be (-1)/(1480/(-494) - -3). Let w = j + 502. Does 51 divide w?
True
Let z be 18/(-2) - (-1264)/79. Let h(l) be the third derivative of -l**6/120 + 2*l**5/15 - l**4/8 - 4*l**3/3 + 2*l**2. Does 5 divide h(z)?
True
Suppose -2*c - 10 = -18. Let p(r) = r**3 - 2*r**2 - 4*r + 9. Is 10 a factor of p(c)?
False
Suppose -4672 = -44*i + 26524. Suppose b - i = -605. Does 4 divide b?
True
Let h = -280 + -163. Is 28 a factor of 6/(0 - -1) - h?
False
Suppose 3*b - 4477 = -d - 3*d, 0 = -d + 7. Does 2 divide b?
False
Let r = 7490 + -3819. Is 6 a factor of r?
False
Let p be 18/4 - ((-14)/(-4) + -2). Let v(z) = -2*z**3 - 6*z - 24 + 3*z**2 - 6*z**2 + z**p - 2*z**2. Is v(-6) a multiple of 6?
True
Is -5*590/125*(-1 + -149) a multiple of 177?
True
Let a(u) = u**3 + 8*u**2 - 25*u - 32. Suppose 6*p - 2*x = 10*p + 38, 5*x - 13 = 2*p. Is a(p) a multiple of 24?
False
Let j(p) = -2*p**3 + 3*p**2 - 12*p + 21. Let z be j(4). Let n = -79 - z. Does 28 divide n?
True
Let d = 14 - 9. Let y be 3/d - (-6)/(-10). Suppose 3*q - l + 18 - 76 = y, -4*q + 109 = 5*l. Is q even?
False
Let c(d) = 602*d + 364. Let g be c(7). Suppose -17*z - g = -24*z. Does 18 divide z?
False
Let h = -65 - -37. Let x = 68 + h. Suppose -6*u + x = -5*u. Is 8 a factor of u?
True
Let r = -258 + 128. Let q = r - -238. Does 4 divide q?
True
Let a(o) = 2*o**2 + 2*o - 2. Let r be a(1). Suppose r*y - 103 = 55. Suppose -3*t + 3*j = -50 - y, t = -2*j + 34. Does 7 divide t?
False
Let d = 1793 + -1343. Is 15 a factor of d?
True
Let x = -17613 + 36753. Is x a multiple of 44?
True
Suppose -f = -g - 11, 4*f - 118 + 46 = -3*g. Suppose -12*d = -f*d + 144. Does 12 divide d?
True
Suppose 3*c - 5*f - 26629 = 0, -8879 = 4*c - 5*c + f. Is 195 a factor of c?
False
Let c(b) = -b + 85. Suppose -756 - 336 = -21*i. Is 33 a factor of c(i)?
True
Let g be ((-3)/1)/((-6)/4). Suppose -4*j - 5*o + 444 = 0, -2*j + g*o + 444 = 2*j. Suppose 6*s - j - 105 = 0. Is s a multiple of 6?
True
Let l be (-1)/(36/90 + 33/(-70)). Is 6/(-63)*-3 - (-8956)/l a multiple of 28?
False
Let m be 0/(-1) - (-3 - -3). Suppose n - 5 = m, 2*w - 2*n - 54 = 12. Is w a multiple of 19?
True
Let o = -41 + 36. Let r(q) = -2*q**2 - 9*q + 7. Let y be r(o). Suppose -f - 2 = -n + 63, y*f - 215 = -3*n. Is n a multiple of 21?
False
Is 109 a factor of (18 - 23) + -26165*(4 - (-132)/(-30))?
False
Suppose -5*a + 687 = l, 260*a - 3*l + 267 = 262*a. Does 3 divide a?
True
Let k(m) = m**2 + m + 8. Let y(a) = -2*a**2 - a - 17. Let q(p) = -5*k(p) - 3*y(p). Let r be q(0). Let z = r - -25. Is z a multiple of 18?
True
Let t(y) = -y**3 - 3*y**2 + 8*y + 5. Let o be t(-6). Let w = o - -109. Let n = w - 134. Does 14 divide n?
False
Let h(c) = c + 35. Suppose -17 + 227 = -30*f. Is 2 a factor of h(f)?
True
Suppose -9 = -3*n + 6. Let i = n - 1. Suppose -3*r - 4*j + 48 = -7*j, 2*j - 94 = -i*r. Is 6 a factor of r?
False
Let n(w) = 486*w**2 - 41*w + 260. Does 27 divide n(7)?
True
Suppose -3*q = -3*b + 3433 + 2288, -3*q + 9503 = 5*b. Is 9 a factor of b?
False
Suppose -375*c = -744154 - 754346. Does 27 divide c?
True
Suppose -4*p = 4*a + a - 2451, -3*p = 5*a - 1832. Does 23 divide 2*(4 + p) - (6 - 2)?
True
Is (77 + -74)/(2/12712) a multiple of 14?
True
Let v = -13863 - -19473. Does 80 divide v?
False
Is ((-638)/145)/((-4)/420) a multiple of 10?
False
Suppose -180 = 4*y + 3*t + 150, 5*y + t + 407 = 0. Suppose 0 = -4*v - 6*v - 480. Let q = v - y. Does 11 divide q?
True
Let r(i) = 255*i - 61. Let h be r(4). Is 33 a factor of 2 + h + (-6 - -2)?
True
Let i be 8 - (5 + -2 + 1). Let l(c) = -5 + 8 - i - 3 - 31*c. Is 10 a factor of l(-4)?
True
Is 91 a factor of (-8 - 15016/16 - 6)*(-152)/12?
False
Suppose -5*y = -4*k + 109423, 4*k = 2*y + 135685 - 26283. Is 29 a factor of k?
True
Let i(c) = 3*c**3 - 2*c**2 - c + 4. Let x be 7 + -1 + (6 - 8). Let w be i(x). Suppose 0 = y - w + 43. Is y a multiple of 25?
False
Let i be ((-14)/6)/((-28)/72). Let t(a) = a**2 - 11*a - 3. Let k be t(8). Is (44/i)/((-18)/k) a multiple of 2?
False
Suppose -9*o + 26*o = 9*o + 56640. Does 6 divide o?
True
Is 152 a factor of (308 + -612)*(-22 - 3/1)?
True
Let r(b) = b**2 - 9*b - 14. Let p be r(10). Let x(h) = h + 9. Let j be x(p). Suppose -2*g + 232 = -j*q + 1024, 0 = 2*q + 2*g - 328. Does 32 divide q?
True
Let n(r) = r**2 - 14*r + 1134. Is n(0) a multiple of 63?
True
Let v = 89 + -61. Let c = v + -35. Let n(w) = w + 33. Is n(c) a multiple of 26?
True
Let d(s) = -s**3 - 66*s**2 + 233*s + 286. Is d(-73) a multiple of 60?
True
Let c(g) = 2*g**2 - 19*g + 35. Let d(y) = -11*y + 89. Let r be d(7). Is 8 a factor of c(r)