 + 5*z**4/12 - 11*z**3/3 - 4. Let p(q) be the third derivative of g(q). Is p(-6) a multiple of 16?
True
Suppose 5*p = 4*p - 5, 5*b - 4*p - 100 = 0. Let a = -21 + b. Let u(c) = 5*c**2 + 9*c - 9. Is 6 a factor of u(a)?
False
Let q(s) = 13085*s - 1384. Is 141 a factor of q(2)?
False
Let h = 63403 - 30996. Does 12 divide h?
False
Let c(j) = 24*j + 20. Let o(a) = a + 1. Let i(t) = -c(t) + 2*o(t). Suppose 0 = -38*g + 19*g - 171. Is i(g) a multiple of 20?
True
Let c(j) = -8*j + 2070. Is c(15) a multiple of 39?
True
Let a be (11 + (-15144)/40)/((-2)/40). Suppose -12*n + 20*n - a = 0. Does 74 divide n?
False
Let a = -339 + 2969. Does 4 divide a?
False
Suppose -2*h - 4*j + 13152 = 0, 4*h + 1244*j = 1248*j + 26400. Does 169 divide h?
False
Let n = 283 - -2. Let j = n + -154. Is 13 a factor of j?
False
Suppose -2*s = -5*h - 28, 2*s - 2*h + 14 = 4*s. Suppose -2*d = -g + 7, g - 2*g + d = -s. Is g a multiple of 7?
False
Let d(i) = -7*i**2 + 571*i + 249. Does 2 divide d(82)?
False
Let q be 2/(-1)*(2 - 4). Suppose 5*u = d - 22, -2*d - 4*u + 0*u - 12 = 0. Suppose 2*h = q*w + 56, 3*h - 155 = -d*h - 5*w. Is 5 a factor of h?
True
Let s = -290 + 360. Let z = s - -475. Is 15 a factor of z?
False
Let g(p) = 5*p - 20. Let u be g(5). Suppose -553 = -4*m - u*c, -c + 899 = 4*m + 350. Is 5 a factor of m?
False
Let x(f) = -1304*f + 4048. Is 96 a factor of x(-10)?
True
Suppose -19*r = -13*r - 2520. Is (r/(-75))/(1/(-25)) a multiple of 7?
True
Suppose 3*w - 3*m - 154 = 2*m, -w - 2*m + 44 = 0. Let p be ((-1)/(3/w))/(-2). Let s(v) = -v**3 + 8*v**2 + 13*v - 19. Does 17 divide s(p)?
True
Let c(l) = 5*l**2 + 3. Suppose -4*y = 2*h - 5 + 1, 4*h = 2*y - 2. Suppose 3*o + y = 10. Does 16 divide c(o)?
True
Suppose 2*o - 3*t + 125 = 7*o, -12 = -o + 2*t. Let x(w) = 20*w**2 - 14 + w**3 - 13*w - 36*w**2 - 10 + o*w**2. Is x(-7) a multiple of 2?
True
Suppose 13 = 5*f - s, 3*f + 7 = 8*f - 4*s. Suppose -4*v + 3*v = f*v. Suppose y + 2*y = 3*h - 99, v = h - 3*y - 39. Does 10 divide h?
True
Let n = -1921 + 3546. Is n a multiple of 25?
True
Let l(v) = -2*v**3 - v + 1. Let c(t) = 3*t**3 + 12*t**2 - 3*t - 9. Let g(b) = c(b) + l(b). Does 14 divide g(-8)?
True
Let m = -1973 + 5829. Is 16 a factor of m?
True
Let f(r) = -11*r + 100*r - 25*r + 43*r**2 - 34*r - 121. Is f(5) a multiple of 12?
True
Suppose -4*s + 37*j - 32*j + 346401 = 0, -5*j = 2*s - 173253. Is s a multiple of 28?
False
Let o be 1 + 1 + (0/(-5))/1. Suppose -3*p = y + 3 - 18, o*y + 3*p - 39 = 0. Does 4 divide y?
True
Let o(d) = 25*d**3 - 3*d**2 + 2*d. Let l = -158 - -159. Is 8 a factor of o(l)?
True
Suppose 0 = -5*w + 5 - 30. Let f be (-2)/5 + 2 + (-17)/w. Suppose 930 - 290 = f*k. Is 16 a factor of k?
True
Let m(o) = 6661*o**2 + 56*o + 56. Is m(-1) a multiple of 27?
False
Suppose -2*h + t = h - 3404, -5*t + 4526 = 4*h. Let r be h/24 - (-12)/16. Let n = r + -43. Is 4 a factor of n?
False
Let o(f) = f + 13. Let l(y) = -y**3 + 7*y**2 + 8*y - 9. Let p be l(8). Let n be o(p). Suppose -n*b + 64 + 20 = 0. Is 3 a factor of b?
True
Does 14 divide 1/(-13)*2 - (-25 - 2585770/286)?
False
Suppose -4*m + 2*o + 1020 = 0, 3*m - 262 - 496 = 5*o. Does 12 divide 1117/4 + (-320)/m?
False
Suppose 42*s - 37*s = -100. Let f(w) = w**3 + 19*w**2 - 28*w - 28. Is f(s) a multiple of 22?
True
Let i(g) = -g**3 - 12*g**2 - g - 5. Let x(n) = 3*n + 30. Let w be x(-14). Let v be i(w). Is 225/(v - 2) + 0 a multiple of 9?
True
Suppose 2*i - 18331 = -5*l, -36*i = -3*l - 31*i + 10980. Does 23 divide l?
False
Suppose -2*h + 6 = -2*s - 152, -3*s - 232 = 2*h. Let m = 88 + s. Does 2 divide m?
True
Let l(i) = -i**3 - 40*i**2 - 14*i + 91. Let c(x) = 4*x. Let q(k) = 5*c(k) - l(k). Is q(-39) a multiple of 11?
False
Let s(d) = d**3 - 14*d**2 + 10*d + 28. Let g be s(13). Let a = -3 - g. Suppose 4*c - a*c + 1004 = 0. Is c a multiple of 25?
False
Let d(u) = 17*u - 23. Let l(f) = 17*f - 23. Let m(g) = 6*d(g) - 4*l(g). Let r be m(5). Let w = r - 108. Is w a multiple of 3?
False
Let y = -52 - -63. Let s be 24*(56/6 + (11 - y)). Suppose -4*i + 7*t = 6*t - 224, 5*t + s = 4*i. Is i a multiple of 6?
False
Suppose -5*t + 18 = 2*b - 8, -t - 11 = -5*b. Suppose 0 = 5*z - 20, -4*x + z + 23 + 53 = 0. Suppose -t*m - 1 = -v + 8, 4*m - x = 0. Does 5 divide v?
False
Suppose 9*n - 45 = 27. Is -329*(5/10)/((-4)/n) a multiple of 6?
False
Let c = -65 - -65. Suppose -5*j = 2*j - c*j. Suppose -t + 0*z + 200 = z, -3*t - 2*z + 599 = j. Is t a multiple of 21?
False
Let b(j) = -1084*j + 15 + 1096*j + 7. Suppose -3*g - 52 = -4*z, 3*z - 42 = 3*g - 0*g. Does 38 divide b(z)?
False
Let v = -3539 + 5365. Suppose -792 = -7*s + v. Is s a multiple of 24?
False
Let z(w) = 6*w + 39. Let x be z(-5). Let g(b) = -b**3 + 10*b**2 - 6*b - 26. Let n be g(x). Does 49 divide (-4 - -1)*-17*3*n?
False
Let d(m) be the first derivative of -2*m**2 - 3*m - 1. Let r(n) = 60*n - 1203. Let x be r(20). Does 7 divide d(x)?
False
Suppose -3*m + 4491 = -3*g, -4*g = 7*m - 5010 - 5502. Does 13 divide m?
False
Let f = -1009 - -831. Is (-2224)/(-6) - -1 - f/534 a multiple of 62?
True
Suppose -67*p + 64387 = -90316. Is p a multiple of 4?
False
Suppose 86*m - 683 - 8175 = 0. Does 20 divide m?
False
Let i = -706 + 693. Let r(j) = 6*j**2 - 11*j + 75. Does 11 divide r(i)?
True
Let r = -161 + 165. Suppose 3*a = -3*l + 5*l - 587, -r*l + 4*a + 1176 = 0. Does 23 divide l?
False
Let u(a) = -2528*a - 1929. Is 13 a factor of u(-3)?
True
Let n(t) = 10*t**2 - 6*t - 838. Is n(-22) a multiple of 2?
True
Suppose -17 = -2*r - 13. Let i(d) = d**r + 0 - 1 + 5 - 2. Is 19 a factor of i(8)?
False
Let f be 32/(-6)*1290/(-8). Let l be f/180 + 2/9. Suppose l*k - 4*k = 272. Is k a multiple of 49?
False
Let p be (44/(-154))/((-1)/203). Suppose 21*q = p + 5717. Is q a multiple of 5?
True
Is 448/(560/(-20)) + 40859 a multiple of 79?
True
Let u = -13 + 21. Let a(z) = -3*z**2 + 38*z - 24. Let d be a(12). Suppose d = 5*f - u*f + 144. Does 12 divide f?
True
Let j = -20819 - -21558. Is j a multiple of 21?
False
Does 23 divide 29653 + -16 + 35/5?
False
Let z = 15561 - 8265. Is 114 a factor of z?
True
Suppose -9 = -5*l - 9. Let z(k) = -k**2 + 2*k + 68. Let y be z(l). Let u = 100 - y. Is 15 a factor of u?
False
Let f(s) = 1903*s**2 + 122*s + 351. Is f(-3) a multiple of 93?
True
Let h(a) = 112*a + 49. Let m be h(3). Let l = m - 72. Is 32 a factor of l?
False
Let a = -29522 - -31506. Does 31 divide a?
True
Is 24 a factor of (-323 + 26)/(2/(-22))?
False
Suppose s = -j + 11, -3*s + 0*s - 5*j = -27. Suppose -1152 = -s*x + 11*x. Is x a multiple of 12?
True
Suppose -110*w - 145*w = -568395. Is 62 a factor of w?
False
Suppose 6*f - 25 = f. Suppose f*h - h = 184. Let t = h + 17. Is t a multiple of 7?
True
Is ((-40)/12)/(14/126 - 61/547) a multiple of 150?
False
Suppose 4*h = 3*h - 269. Let g = 6916 - 7042. Let s = g - h. Does 13 divide s?
True
Suppose -205 - 179 = 8*c. Let x = -56 - c. Does 35 divide (-741)/(-21) + x/28?
True
Let q(n) = 21*n**2 + 11*n + 85 + n**3 - 20*n + 30*n. Is q(-20) a multiple of 17?
False
Is -29 + 45 - (-3632 - 12) a multiple of 21?
False
Let u = -95 - -1170. Is u a multiple of 162?
False
Let v = -162 - -170. Suppose 0 = z - v*b + 3*b - 150, -z - 3*b + 166 = 0. Is 19 a factor of z?
False
Let o(v) = 5*v**3 + 6*v**2 - 112*v + 839. Is o(7) a multiple of 12?
True
Let n(g) = 2*g**2 - 6*g - 10. Let o be (-2)/(-10) + 11/(-55). Suppose -5*z = -o*z + 4*k + 4, 2*z + 4 = -k. Is 17 a factor of n(z)?
False
Let z = -55 + 190. Let v = 327 - z. Is v a multiple of 24?
True
Let s(t) = 17*t**3 + 20*t**2 - 189*t + 23. Is 27 a factor of s(7)?
False
Does 50 divide ((-3039)/39)/(6/(-1794))?
False
Is 33 a factor of (175176/64 - (-2)/(-16)) + (2 - 0)?
True
Let m = 20723 + -17083. Is 182 a factor of m?
True
Suppose -8*f + 2542 = -39*f. Is -2 + 5 - (-17)/(-2)*f a multiple of 28?
True
Suppose y - 3*o = -8, -5*o + 16 = 3*y - 16. Is 370/y*52/65 a multiple of 37?
True
Let x = 2358 - 4322. Does 13 divide x/6*6/(-4)?
False
Let s = -5 - -9. Suppose 0 = 27*m + 6*m - 13 + 13. Suppose -4*l + 34 = 2*d - d, s*d + l - 91 = m. Is d a multiple of 22?
True
Let y(o) = 18*o - 21 - 25 + 15. Suppose 3*t = -r + 22, 0 = 2*r + 3*t + 2*t - 41. Is y(r) a multiple of 29?
True
Let k(i) be the second derivative of i**5/10 - 7*i**3/6 - 2*i**2 - 22*i. Let a be k(4). Is (4 + (-6)/3)/2*a a multiple of 10?
False
Suppose -10*h - 1