e third derivative of k**5/60 + k**4/6 + 5*k**3/6 - 16*k**2 - 2*k. Let o(l) = l**3 + 7*l**2 + 9*l + 8. Let n be o(-6). Is 13 a factor of g(n)?
True
Let j(o) = 2*o**2 + 19*o - 13. Let n be j(-17). Suppose x - 80 = -x + 5*v, -2*v = -5*x + n. Does 10 divide x?
True
Is 8 a factor of 7*(-33)/((-429)/27898)?
False
Suppose n = 3*m + 15, n + m + 11 = 2*n. Suppose p - 420 = -n*p. Let c = -7 + p. Is c a multiple of 5?
True
Suppose 708 = -6*n + 18*n. Let m = 25 + n. Is m a multiple of 6?
True
Is 204/((-4)/1)*(-3 + (-1992)/9) a multiple of 49?
False
Let g be (6/(-2))/3 + -1. Is 20 a factor of (g + (-5)/(-10))*-78?
False
Suppose -320 = 66*c - 50*c. Let f(u) = u**2 + 5*u + 248. Does 9 divide f(c)?
False
Is -7 + 5*8/20 - (-75510)/6 a multiple of 68?
True
Suppose 6*b - 3*b = -6, 0 = -3*w + 5*b + 31. Suppose 2*g - 8*t - 72 = -w*t, -5*g = -3*t - 180. Does 7 divide g?
False
Let y(b) = b**2 - 61. Let i be y(23). Suppose 2*m - i = x, -16*x + 15*x + 702 = 3*m. Does 4 divide m?
False
Let p be (-15)/6*((-104)/20 + 4). Suppose -m + 5*l = -26, p*l + 16 = -l. Is 2 a factor of m?
True
Suppose -y - 84616 = -4*f, 4*f - 3*y - 21143 = 3*f. Does 66 divide f?
False
Let p = 15874 - -2798. Does 16 divide p?
True
Suppose -104*f - 21528761 = -397*f. Is f a multiple of 9?
False
Let p = -1 - -4. Suppose 58*j = 74*j - 1456. Is 30 a factor of (-2)/(2/(-3)*p/j)?
False
Let i(x) = -45*x**3 - 2*x**2 + 5*x + 2. Let l be i(-2). Is l + 0 + (0 - 4) a multiple of 20?
True
Let p(l) = 3*l**3 + l - 3. Let u be p(3). Let c be 18/u - (-1020)/27. Let n = c + 21. Is 15 a factor of n?
False
Let y(m) = m**3 - 20*m**2 - 92*m + 116. Is 8 a factor of y(26)?
False
Let n(m) = -6*m + 8. Let j be n(5). Let w(t) be the first derivative of -t**3/3 - 25*t**2/2 - 22*t + 63. Does 18 divide w(j)?
False
Let a(d) = d**3 + 11*d**2 - 13*d - 5. Let i be a(-12). Suppose 202 = i*p - 3641. Is p a multiple of 38?
False
Let z(w) = 4305*w**2 + 16*w + 16. Does 287 divide z(-1)?
True
Suppose -3*k - k = 4, 4 = -3*b - 4*k. Suppose -3*f = -25 + 10, 3*w + 4*f - 29 = b. Suppose 74 = q + w*r, 3*q = 7*q + 5*r - 324. Is 40 a factor of q?
False
Let j(y) = 12*y**2 + 3*y - 7. Suppose -4*i = 2*k - 0*i + 6, -5*k + i + 29 = 0. Let l be j(k). Suppose -8 = 3*v - l. Does 20 divide v?
True
Let u(r) = r**3 + 7*r**2 - 5*r - 10. Let i be u(-7). Let q be (-1 - 129/(-5)) + (-57)/(-285). Let f = q + i. Is f a multiple of 5?
True
Let s = -2187 - -12466. Is 5 a factor of s?
False
Suppose 0 = 4*d - 3800 - 840. Suppose d = -602*x + 606*x. Is 10 a factor of x?
True
Suppose 31*k = 19*k + 50904. Does 21 divide k?
True
Let o(h) = -71*h + 814. Is 27 a factor of o(-32)?
False
Let j = 330 - 325. Suppose 2*a - 2193 = -5*m + 1311, -15 = j*a. Does 54 divide m?
True
Let h = -4149 - -11690. Is h a multiple of 57?
False
Is 27 a factor of (10/4)/((-45356)/3024 - -15)?
True
Let v = 114 + 418. Suppose 0 = 84*h - 88*h + v. Is h a multiple of 29?
False
Let h = 54 - 15. Suppose 3*w + 5*q - 32 = 0, -w = 3*w + 3*q - h. Let i(c) = 2*c - 7. Does 7 divide i(w)?
False
Suppose 22*p + 4 = 23*p. Suppose -4 = -3*g + 5*k, 0 = -5*g + 4*k + 7 + p. Is 19 a factor of (-410)/(-10) - 1*g?
True
Let c be (-11343)/(-12) + -3 - 6/(-8). Let k = -529 + c. Is k a multiple of 23?
True
Let z be -1*(13/(-26) + (-61)/2). Suppose 6*a = z - 1. Suppose w - 6*w + a*i + 300 = 0, 0 = 3*w - 2*i - 175. Does 5 divide w?
True
Suppose 3*v + 17 = 62. Suppose v*c = 18*c - 243. Does 37 divide c?
False
Suppose -4*k - 8790 = -j + 8922, 0 = -6*j + k + 106111. Is 16 a factor of j?
False
Does 3 divide ((-14208)/(-42))/((-10)/(-35)) + 7?
True
Suppose 0 = 2*m - 0*h - 3*h - 570, -m = 5*h - 285. Suppose -2*j = 5*a - m - 337, 3*a = j - 311. Does 45 divide j?
False
Let c be 104 - -12 - (-4)/(-1). Suppose -2*f + c + 884 = 0. Does 38 divide f?
False
Let t(g) = -285*g**3 - 4*g**2 - 83*g - 154. Does 5 divide t(-2)?
False
Suppose -140*f + 471900 = 3*f. Does 10 divide f?
True
Let c = 196 + -464. Let l = 64 - c. Is l a multiple of 12?
False
Suppose -4*m + 86550 = 7*g - 7000, 3*g = 5*m + 40113. Is 82 a factor of g?
True
Let b(f) = -f**2 - 16*f + 45. Let m(s) = s - 1. Let g(t) = b(t) + 4*m(t). Does 4 divide g(-14)?
False
Let z(u) = 2412*u**2 - 279*u + 1734. Does 12 divide z(6)?
True
Is 19 a factor of ((-2064)/387)/((-2)/18003)?
False
Suppose -2*v = -7*v - 3*c + 8359, -2*v + 2*c + 3350 = 0. Suppose -13207 = -24*d + v. Does 31 divide d?
True
Let l(y) = -2089*y - 6. Is 29 a factor of l(-1)?
False
Suppose 223*z - 2043 = 222*z. Does 8 divide (92/69)/(6/z)?
False
Let j(o) = 2*o**3 - 18*o**2 + 9*o + 2. Let y(w) = -w**3 + w**2 + 1. Let i(f) = -j(f) - y(f). Is i(15) a multiple of 78?
True
Let o = 642 - 920. Let q = o - -282. Is 2 a factor of q?
True
Suppose 44*p - 130435 = 20*p + 112709. Is 33 a factor of p?
True
Suppose 0 = -78*v + 84*v - 12. Does 60 divide (v - (-15)/5) + 235?
True
Is -7*((-8227)/133 + 23) even?
True
Let x(w) = -419*w + 7. Let f be x(-1). Suppose -39*i + 33*i + f = 0. Is i a multiple of 7?
False
Suppose 5*a = -2*l + 7 + 1, 2*l - 2*a + 20 = 0. Let g(p) = -p**3 - 10*p**2 - 6. Let w be g(l). Is 15/(-2)*360/w a multiple of 18?
True
Suppose -k - 6 = -0. Let b be k/(0 + 2)*4/(-6). Suppose b*o + o - 3*l - 393 = 0, 0 = 5*l + 5. Is 13 a factor of o?
True
Let d = 3329 + -846. Suppose 24659 = 22*t + d. Is 13 a factor of t?
False
Suppose 463 + 248 = 9*k. Suppose k = 11*d - 64. Suppose -9*q + d*q = 324. Does 16 divide q?
False
Let y(c) = -c**2 - 6*c + 29. Suppose 6 = w + 15. Let v be y(w). Suppose r = 2*k - 52, 0*k - 40 = -2*k - v*r. Is 14 a factor of k?
False
Suppose 3*y = 3*t + 48, 2*y + 139 - 31 = -5*t. Let s = 164 - 105. Let x = t + s. Is 5 a factor of x?
False
Suppose -431*r - 5446978 = -609*r. Is 10 a factor of r?
False
Let v = -1882 + 3422. Suppose 2*x + 3*r = 756, 10*x - 14*x + r + v = 0. Is x a multiple of 24?
True
Let b(k) = -47*k**2 + 6858*k - 71. Is b(142) a multiple of 25?
False
Suppose 61*t - 5185818 = -144*t + 6105377. Is t a multiple of 124?
False
Let w(f) = -6 + 12 - f + 11. Let r be w(14). Suppose -b = -5*z - 0*b + 116, r*b = z - 12. Is z a multiple of 4?
True
Suppose 0 = 3*g + 183 - 240. Suppose g*a - 25*a + 6192 = 0. Does 43 divide a?
True
Is -1 + -1 + 2839 + -62 a multiple of 3?
True
Suppose 0*n + 22 = -2*n. Let c = -19 - n. Is 0*5/(-25) - c even?
True
Suppose 133696 + 1582564 = -65*h + 195*h. Is 178 a factor of h?
False
Let b = 127 + -219. Let x be (2/((-2)/3))/(69/b). Suppose 4*l - q - 435 = 0, 0 = x*q + 12. Does 20 divide l?
False
Let v = 5713 + -620. Is v a multiple of 8?
False
Suppose 3*j - j - 4*d = -214, -d = -4. Let q be (-1 - -2)*(-5 - 183). Let c = j - q. Is c a multiple of 15?
False
Let q(u) = -29*u - 242. Is 25 a factor of q(-73)?
True
Let v be ((-3)/6)/(2/20). Let p(f) be the first derivative of -8*f**2 - 4*f + 1. Is p(v) a multiple of 19?
True
Suppose 1691*o - 75301 = 1677*o + 134097. Is o a multiple of 55?
False
Let p(n) = 13*n + 9. Let d(u) be the second derivative of u**5/20 + u**4/2 - 4*u**3/3 + 14*u. Let k be d(-7). Does 50 divide p(k)?
True
Let n be 130/39 - 1/3. Suppose 5*s - 680 = g, s + 4*g = -n*s + 544. Suppose -44 = -4*v + s. Is 15 a factor of v?
True
Suppose 0 = 2*g - 10, 4*g - 142 = -3*y - g. Let l be 24/3 - (3 - (2 - 1)). Suppose -v = -l - y. Is v a multiple of 15?
True
Let w(z) = -z**2 + 15*z + 5. Let l be w(15). Suppose l*b - 2292 = -2*t + 961, -3*b - t = -1951. Is b a multiple of 17?
False
Suppose -6*p + 675 + 1047 = 0. Suppose -p = -3*s + s - 5*z, -706 = -5*s - z. Is s a multiple of 8?
False
Let p be 0*(4/(-10) + 77/55). Suppose 3*y - 696 = -5*a, p = y + y - 4. Does 23 divide a?
True
Let s be 2/(-4) - 45681/(-6). Suppose -s = 3*m - 26*m. Does 9 divide m?
False
Let c(h) = -2*h**3 + 28*h**2 + 12*h - 75. Let s(y) = 3*y**3 - 27*y**2 - 11*y + 76. Let o(l) = 4*c(l) + 3*s(l). Is o(-30) a multiple of 18?
True
Let p be (-4)/6 + 204/36. Let r be ((9 - p)/(-8))/((-1)/6). Suppose r*c + 10 = 25. Is c a multiple of 4?
False
Suppose 3*u - 21 + 21 = 0. Suppose w - 384 = -3*w + 3*k, k = u. Let d = -92 + w. Is 2 a factor of d?
True
Suppose -4*s - 372 = 4*a, a - 2*a - 123 = -5*s. Let p be 2183/19 + (-6164)/(-437) + -14. Let o = p + a. Is o a multiple of 5?
False
Is 81 a factor of 11*2/22*10935?
True
Let l be ((8/6)/2)/((-11)/(-99)). Is 10 a factor of 1 - 1800/(-2 - l)?
False
Let x be 5/(-25)*-5 + 3.