erivative of s**5/40 + 3*s**4/2 + 2*s**3/3 - 45. Let r(z) be the third derivative of c(z). Does 15 divide r(-6)?
False
Let c be 3 - 1 - -3 - 2. Let t be (-1)/(-2 - c/(-2)). Suppose 5 = t*b - 23. Is b a multiple of 3?
False
Let v = 92 - 150. Let k = -52 - v. Does 16 divide 9/k*(-84)/(-1)?
False
Suppose 2*o - 13 - 2 = -3*x, 5*o - x + 5 = 0. Suppose -3*j - 102 - 84 = -5*y, o = -y - 2*j + 45. Does 2 divide y?
False
Suppose 99*o - 243032 = -29*o - 8*o. Is 19 a factor of o?
False
Suppose -295 = 2*y + 3*y. Let c = y - -27. Let k = 79 + c. Does 16 divide k?
False
Let u(d) = 38*d**3 - d**2 - 14*d + 54. Does 7 divide u(3)?
True
Let w be ((36/(-5))/2)/(14/(-245)). Let p = w + -111. Let o = -10 - p. Is 6 a factor of o?
False
Let v = -41 + 297. Does 9 divide (((-147)/12)/7)/((-2)/v)?
False
Suppose -4 = -3*s + 11. Suppose -3*j - 144 = -s*j. Does 12 divide j?
True
Let k(j) = 12928*j - 371. Is k(2) a multiple of 20?
False
Let r = -598 + 621. Suppose 4295 = r*q - 6331. Is q a multiple of 42?
True
Suppose 7*d = -6*d + 4706. Let x = 46 + d. Is x a multiple of 12?
True
Let n(y) = 41*y + 83. Suppose -3*b + 2*b = -f + 8, -3*b - 29 = -4*f. Is 72 a factor of n(f)?
True
Let s be ((-9584)/20)/(10/(-25)). Is 24 a factor of s/5 - (-27)/((-1755)/(-26))?
True
Suppose 5*x = 5*v + 10, 2*v = -2*x - v + 14. Suppose -x*l - 3861 = -15*l. Is 27 a factor of l?
True
Let s(h) = 338*h**2 - 441*h + 2604. Is s(6) a multiple of 43?
True
Let t = -5170 - -9222. Does 25 divide t?
False
Let p(l) = -200*l - 80. Let h be p(-7). Let m = h - 912. Is 8 a factor of m?
True
Let k(u) = u**3 - 3*u**2 + 2*u - 3. Let z be k(3). Let c(l) be the second derivative of 19*l**3/6 + 7*l**2 + 665*l. Is c(z) a multiple of 6?
False
Does 2 divide 50/(-75) - (-11034)/27?
True
Suppose 4*s = 120*k - 115*k + 162018, 0 = 2*s + 5*k - 81054. Is s a multiple of 211?
True
Suppose -48*x - 940 = -58*x. Suppose n + 20 = 4*c, n = -3*c + 20 - 5. Suppose 34 = 2*r - c*b - x, -2*r + 3*b + 128 = 0. Is 16 a factor of r?
True
Let w(i) = -i**2 + 1. Let j(c) = 4*c**2 - c + 4. Let q(r) = -j(r) - 5*w(r). Let t be q(-12). Let s = -63 + t. Does 6 divide s?
True
Let d be (-408)/20 - (-24)/(-40). Let k be (-30)/d*(18 - 4). Let s(f) = f + 25. Is s(k) a multiple of 5?
True
Suppose q - 5*q + 24 = 2*k, 0 = q - 4*k + 12. Suppose -a + q = -28. Suppose a*o + 100 = 34*o. Does 5 divide o?
True
Let o(b) = 650*b + 52. Let z be o(2). Suppose 8*x = -0*x + z. Is 33 a factor of x?
False
Let b be 3 - 3/(-1)*(7 - 6). Let f(o) = -4*o**2 - 4*o + 36. Let k(t) = 5*t**2 + 5*t - 37. Let i(v) = b*f(v) + 5*k(v). Does 5 divide i(0)?
False
Let s(q) = 3*q**2 - 36*q - 66. Does 6 divide s(36)?
True
Let r(p) = -14*p**3 + 3*p**2 - 3*p + 9. Let i be r(3). Let d = i - -636. Suppose 0 = 6*w + d - 1029. Is w a multiple of 25?
False
Suppose 6*f + 5 + 61 = 0. Let h be 3/(70/16 + f + 7). Suppose -h*n = -12 - 12. Does 3 divide n?
True
Suppose 8559 = 22*i - 121373. Is 80 a factor of i?
False
Suppose 5*z + 51485 = 5*o, -13*o + 10*o + 30906 = 2*z. Is o a multiple of 195?
False
Let w be 76/114 + 2782/(-6). Let k = -320 - w. Is k a multiple of 5?
False
Let d = 77 - -1. Is 13 a factor of (d/(-4))/(-2 + (-77)/(-42))?
True
Suppose -3*r - 4*z + 2324 = -3778, 3*r + 5*z = 6096. Does 59 divide r?
False
Suppose 213*j - 968 + 232 = 1181. Let n(g) = 3*g**2 - 7*g - 7. Let p be n(6). Suppose -j = -z + p. Is z a multiple of 30?
False
Suppose 3*w = 4*a - 1135, -3*a - 12*w + 851 = -14*w. Suppose 0 = -a*r + 282*r + 477. Is r a multiple of 53?
True
Suppose 5*f = 45 + 55. Does 28 divide -2 + (-22568)/(-80) + (-2)/f?
True
Let u be 9*138/36*-2. Let d = u + 97. Is d a multiple of 4?
True
Let q = 20 + -13. Suppose 5*b - q*b = 108. Let y = b - -93. Does 10 divide y?
False
Is 28 a factor of 657563/873 - 6/27?
False
Let z(q) = -7 + 15*q**2 - 1 - 16 + 1 + 8*q. Does 34 divide z(3)?
True
Is 5 a factor of ((-9)/12)/((-285)/(-304)) - 5188/(-10)?
False
Suppose -294 = 6*l + 306. Does 20 divide -2 - (-4 + l + 8/(-2))?
False
Let u be 47982/78 - 2/13. Let b = u + -295. Is 20 a factor of b?
True
Let f(w) = -2*w + 33. Let y(t) = -t. Let a(u) = -5*u + 33. Let i(d) = -a(d) + 4*y(d). Let r(q) = -2*f(q) - 3*i(q). Does 5 divide r(-8)?
True
Let h(k) = 3*k**2 - 19*k + 6. Suppose -31 = -5*t + g + 15, -5*t - 3*g + 62 = 0. Let z be h(t). Suppose 9*a = 7*a - 2*w + z, -3*w = 12. Is a a multiple of 54?
False
Suppose -24*t + 372 = 38*t. Let d be (4 - 20/6)*234. Suppose -v - 2*i = -d, 456 = -3*v + t*v + 3*i. Is 29 a factor of v?
False
Let o(b) = -b**3 - 7*b**2 - 11*b - 4. Let p(m) = -8*m**2 - 12*m - 4. Let n(w) = 5*o(w) - 4*p(w). Is 6 a factor of n(-2)?
False
Let a(i) = -33*i**3 - 3*i**2 - 31*i - 62. Is a(-2) a multiple of 126?
True
Let x be (-64)/(-2 - -4 - 3). Let c = x + -152. Let a = -18 - c. Does 10 divide a?
True
Let z be 1/(-9*(-3)/206766). Suppose -3*v + 7656 = 5*m, 5*m + 9*v - z = 5*v. Is m a multiple of 45?
True
Let p(s) = 171*s**2 - 34*s + 31. Does 56 divide p(1)?
True
Let k(g) = -g**3 - 60*g**2 - 175*g - 137. Is 43 a factor of k(-60)?
True
Let c(w) be the first derivative of -8*w**3/3 - 57*w**2/2 + 17*w - 17. Let u(v) be the first derivative of c(v). Is u(-7) a multiple of 11?
True
Let t be (-3*2)/2*(-10081)/51. Suppose 0 = 6*n - 2993 + t. Does 10 divide n?
True
Suppose -5*q - 4*f + 2193 = 0, -3*q + 456 = -2*q - 5*f. Suppose -8*u + 2177 = q. Is u a multiple of 14?
False
Let q = 31 + -37. Let z(v) = -17*v - 50 + 7*v + 8. Is z(q) a multiple of 18?
True
Suppose 0 = u + 3*g - 4, -5*u + 4*g + 7 = -13. Suppose 3*d - 198 = 330. Is 45 a factor of d + 2 + u + -2?
True
Let g be ((-6)/(-21))/(1/14) - 1. Suppose 3 = g*n - 9. Suppose n*r = 2*r + 3*a + 129, 0 = 5*r - 3*a - 318. Is r a multiple of 11?
False
Let v = -36 + 44. Suppose -247 = -2*k - 3*z, v = k + 5*z - 98. Suppose k = 7*t - 65. Is 10 a factor of t?
False
Suppose -4*f - u - 32 = -2*f, 0 = -3*f - u - 48. Is (f/24)/2*(-519 - 0) a multiple of 30?
False
Let y(f) = -282*f**3 + 6*f**2 + 4*f. Let z = 118 - 119. Is 11 a factor of y(z)?
False
Let n(j) = -15*j - 64. Let q be n(-9). Suppose 0 = 55*k - q*k + 752. Is k a multiple of 41?
False
Let c = -14 + 19. Suppose -c*j = -g - 175, 5*j + 2*g + g = 195. Suppose -4*q - j = -t, -5*t + 0*t + 237 = -q. Is t a multiple of 8?
True
Let p = 45 - 43. Let u(a) = 19 + 0 - 2*a - 4*a**p + 5*a**2 + 6*a. Is u(11) a multiple of 46?
True
Is (1480 - (-55 + 31)) + -4*2 a multiple of 34?
True
Let a(k) = 65 - 10 + 644*k - 609*k. Is a(12) a multiple of 19?
True
Let a(s) = s + 151. Let y(g) = -2*g + 89. Let r be y(22). Does 28 divide a(r)?
True
Suppose -56*r = -5*d - 60*r, 0 = 2*d + 5*r + 17. Is 2 a factor of 5765/25 - d/(-10)?
False
Let w(k) = -3*k + 43. Let y be w(15). Let f(p) = -68*p**3 + 5*p**2 + 2*p. Is f(y) a multiple of 40?
True
Suppose -h + 3*b + 391 = 0, -5*h + 999 = 4*b - 1070. Is 27 a factor of h?
False
Suppose 6 = -4*x + 2, -2*x + 12694 = 2*y. Is y a multiple of 27?
False
Let u = 9229 - -1351. Is u a multiple of 17?
False
Suppose 8*y - 63 = 9. Suppose 0 = y*l + 8*l - 102. Is 14 a factor of (18/3)/l*(1 + 40)?
False
Let g(b) = -3*b. Let a be g(4). Suppose -4*t + 8*t - 3*x - 8 = 0, 0 = -2*t - x + 14. Is 3 a factor of (a/(-14))/(4/(145 - t))?
True
Suppose 146*a - 45*a - 4203418 = 0. Is 203 a factor of a?
False
Let c = 880 + -916. Let u = 2028 - c. Does 24 divide u?
True
Suppose -6*t = -29 - 7. Suppose -2*d - 17 = -3*o, 5*d + t = -5*o + 1. Does 11 divide (-1)/(-16)*d + 221/4?
True
Let x = -4139 - -4664. Is 19 a factor of x?
False
Let r be 3 + (-6 - (-2 + 3)) + -86. Let t = 93 + r. Suppose -5*m + 5*y = -540, -4*y = t*m - 2*m - 113. Is m a multiple of 35?
False
Let j(v) = 6 - 1 + 7*v**3 + 0*v + 2*v**2 - 6*v + 4*v. Let w be j(3). Let s = w - 116. Is 30 a factor of s?
True
Let x(n) = 2*n**3 + 12*n**2 + n - 1. Let z(r) = r**3. Let c(w) = -x(w) + 4*z(w). Let i be c(9). Let q = -336 + i. Does 22 divide q?
False
Let o(c) = 2*c**2 + 21*c + 14. Let t be o(-10). Let r(z) = -2*z - z - z - t. Is r(-7) a multiple of 24?
True
Suppose -26980 = 15*u - 25*u. Is 54 a factor of 4/20 - u/(-20)*2?
True
Is 14 a factor of 3368/(-20)*(417/(-12) - (-3)/(-12))?
True
Let j = 35 + -173. Is 79 a factor of (j/(-4))/(18/132)?
False
Let o(z) = -30*z**2 - 16*z - 38 - z**3 - 10*z - 8*z. Suppose 3*c + 5*k + 82 = 0, -2*k = -c - 24 - 7. Is 22 a factor of o(c)?
False
Suppose 2*w - 10 