rd derivative of g**6/240 - g**5/10 - g**4/6 + 7*g**2. Let l(m) be the second derivative of b(m). Is 3 a factor of l(5)?
True
Let k(m) = -m**2 + 5*m - 1. Let i be k(3). Suppose i*s + u = -u + 395, -370 = -5*s + 3*u. Is 11 a factor of s?
True
Suppose -4*p + 224 = -2*p. Does 13 divide ((-2)/(-4))/(1/p)?
False
Suppose -q + 0*j + 16 = -2*j, -52 = -5*q + 3*j. Suppose -5*a + 558 = q. Is a a multiple of 11?
True
Let u = 309 + -126. Is u a multiple of 12?
False
Let o(v) = 135*v**2 + 9*v + 36. Is o(-3) a multiple of 72?
True
Let m = 48 + -3. Let b = -25 + m. Suppose 10 = c - b. Does 10 divide c?
True
Let z(b) = 6 + 8 - 3*b + 0*b. Let t = 386 - 401. Is 29 a factor of z(t)?
False
Let l(i) = i**2 + 10*i + 16. Let z = -15 + 5. Is l(z) a multiple of 7?
False
Let v(o) = o**3 + 10*o**2 - 11*o + 17. Let u be v(-11). Suppose -u - 239 = -4*a. Is a a multiple of 8?
True
Suppose -2*z = -5*n + 63, 6*n = n + z + 59. Suppose -n = -5*c + 9, 4*i + 2*c - 16 = 0. Suppose i*f + 3*f = -2*u + 1, -5*u = -3*f - 18. Is u even?
False
Is (-3128)/(-14) + 5/(140/16) a multiple of 9?
False
Suppose p = 3*p - 32. Is 6 a factor of p?
False
Let b be -1*3 + 106 + -27. Suppose 0 = 4*l + 4*n - 4, 3*l - 4*n + 3 + 1 = 0. Is 31 a factor of b + 3 + 0 + l?
False
Is (3 - (-111)/(-12))*-16*3 a multiple of 6?
True
Suppose 0 = 383*a - 379*a - 348. Is a even?
False
Suppose -27 + 3 = 8*o. Let u(s) = -s**3 - s**2 - s - 5. Does 6 divide u(o)?
False
Let c(r) be the first derivative of -r**4/4 + 7*r**3/3 + 11*r**2/2 - 7*r + 347. Let z(y) = 4*y. Let j be z(2). Is c(j) a multiple of 17?
True
Let j(t) be the first derivative of -t**2 + 16*t + 9. Let m be j(8). Is 13 a factor of m + (2 - 3) - -27?
True
Suppose 0*x + 108 = 3*x. Suppose -11*k - x = -12*k. Is 9 a factor of k?
True
Let c(l) = -l**2 + 4*l + 2. Let b be c(4). Let p = 12 - b. Suppose 41 = 3*q + 2*i, 2*i - 14 - p = -2*q. Is 17 a factor of q?
True
Let z(g) = g**2 - 5*g + 9. Let p(m) = m**3 - 7*m**2 - 7*m + 8. Let t be p(8). Let i = t - 8. Is 11 a factor of z(i)?
True
Let k(b) = b**3 + 13*b**2 - 14*b + 5. Let i be k(-14). Let v(q) = 7*q - 25. Does 5 divide v(i)?
True
Let o = 9 + -6. Let u be 0 - (o + -1 + 0). Is 28 a factor of (u/2)/(1/(-56))?
True
Let f(l) = -l**2 - 5*l - 7. Let i be f(-5). Let n(q) = -q - 5. Let p be n(i). Let m(z) = 5*z**3 - z**2 - 2*z + 3. Does 6 divide m(p)?
False
Let r(f) = -6*f**3 - 4*f**2 - 24*f - 25. Is r(-4) a multiple of 9?
False
Suppose -2*t = -6*t + 24. Let v(b) = 34*b + 1. Is v(t) a multiple of 41?
True
Suppose -238 - 262 = -5*u - 2*h, -h = 0. Is 25 a factor of u?
True
Suppose 4*x - 16794 = -2*n, 6*x - 5*x - n - 4203 = 0. Does 50 divide x?
True
Let v = -44 + 78. Suppose 3*g - 76 = -5*n, -3*g + g = -5*n - v. Let m = g + -19. Is m a multiple of 2?
False
Let s be (-6)/(-45) + 2410/(-75). Let k = s - -131. Is k a multiple of 17?
False
Let r be 1/(-1) - (2 + -28). Is 4 a factor of 2/5 + 215/r?
False
Suppose w + 1 - 3 = 0. Suppose -2*l = w*z - 0*z - 102, 2*l - z - 93 = 0. Suppose 4*b - l = 4. Does 10 divide b?
False
Suppose 29*v - 1547 - 657 = 0. Is v a multiple of 9?
False
Suppose 21 = -2*d - 15. Does 5 divide (-2)/(d/39) - (-4)/6?
True
Suppose -3*k - 5*i - 309 = -4*i, 2*i = -2*k - 202. Let c = k + 122. Is c a multiple of 5?
False
Suppose 3*q - 2636 = -s, 3*q - 1771 - 889 = 5*s. Is 33 a factor of q?
False
Let r(h) = 1006*h**2 + 4*h. Is r(1) a multiple of 5?
True
Suppose 48 = 2*m - 8. Suppose -5*p + 93 - m = -g, 4*p + 4*g = 28. Does 5 divide 62/6 + (-4)/p?
True
Suppose 0 = 3*m - 5*m. Let i(h) = h**2 + h + 3. Let v be i(m). Let p = v + 23. Is p a multiple of 7?
False
Let l(y) = 5*y**2 + y. Let g be l(-1). Let a(z) be the third derivative of z**6/120 - z**5/15 + z**4/24 + 5*z**3/6 - 13*z**2. Does 9 divide a(g)?
True
Let b(g) = g**3 + 8*g**2 + 13*g + 7. Suppose -2*y - 5*y = 35. Does 17 divide b(y)?
True
Let j = 16 - 11. Suppose j*y - 174 = 7*y. Let m = y - -164. Is m a multiple of 11?
True
Is (-2)/(-11) - 139248/(-792) a multiple of 22?
True
Let h be 32*80/28 - 4/(-7). Let v = -58 + h. Is v a multiple of 17?
True
Is ((-414)/(-27) - 3)*18 a multiple of 6?
True
Let d(s) = -s**3 - 2*s**2 - 2*s - 1. Let q be 5*(3 + (-19)/5). Let j be d(q). Let y = j + -18. Is 16 a factor of y?
False
Let u = 1256 + -417. Does 4 divide u?
False
Suppose -8*d = -12*d + 336. Does 2 divide (-4 - d/(-16))*4?
False
Let f(x) = x - 5. Let a be f(2). Let v be 12 + 1/(a/(-6)). Suppose 21 = 5*q - v. Is q a multiple of 7?
True
Let g be (-96)/16*(-1)/3. Suppose g*u = -5*y + 130, -207 + 72 = -5*y - u. Is 3 a factor of y?
False
Suppose 3*l - 407 = o + o, 5*o = 25. Let b = 229 - l. Is 8 a factor of b?
False
Let d(c) = c - 7*c + 5*c + 5*c - 26. Is 3 a factor of d(8)?
True
Let n(w) = -w - 3. Let s be n(-3). Suppose 551*p = 547*p + 2240. Suppose -3*c + 10*c - p = s. Is 20 a factor of c?
True
Let x be (-9)/(-15) + (-1908)/(-20). Let u = x + -14. Suppose 8*r - 6*r = u. Does 7 divide r?
False
Is 46 a factor of -5 - 1*657/(-3)?
False
Let n(y) = -y + 2. Let u be n(2). Suppose u = -5*m + 3*d + 476, -4*m - 90 = -5*m - 2*d. Is 12 a factor of m?
False
Let z(c) = 13*c**3 - 4*c**2 - 2*c - 2. Let g be z(4). Suppose g = 7*r - 1006. Is 21 a factor of r?
True
Let h be (-8 + -1)/(3/20). Let s = 105 + h. Does 15 divide s?
True
Let g(q) = 106*q**2 + 3*q + 52. Is g(-5) a multiple of 96?
False
Let v(t) = -t**2 + t - 8. Let h be v(7). Let a(y) = 3*y**2 - 6*y + 5. Let z be a(6). Let q = z + h. Is q a multiple of 21?
False
Suppose -5*a = -3*r - 14, 0 = -a + 4*a + r - 14. Suppose a*c - 2*f = 402, -4*c + 278 = 2*f - 120. Is c a multiple of 21?
False
Let g = 568 - 522. Is g a multiple of 23?
True
Suppose 18*l = 228 + 1716. Does 36 divide l?
True
Let y(w) = w**3 - w + 4. Let p be y(0). Suppose 5*b = 12 - 2. Suppose -b*j + p*z + 124 = 0, 46 + 122 = 3*j + 3*z. Is j a multiple of 15?
False
Suppose -4*x = -x. Suppose x = -5*b - 3*o + 45 - 12, -4*b = 5*o - 29. Does 6 divide b?
True
Suppose 18*l - 99 = -171. Suppose -4*v - 32 = -4*n + 2*n, v + 3*n = 6. Is l/v - (-93)/9 a multiple of 11?
True
Suppose -3*u = -111 - 84. Suppose -38*n = -37*n - u. Does 13 divide n?
True
Let q = -123 - -190. Suppose -13 + q = a. Is 6 a factor of a?
True
Let y(x) = -x + 15. Let t be y(11). Suppose 4*g = -3*d + 36 + 78, -t*d + 4*g = -180. Does 6 divide d?
True
Let h(u) = -u**3 - u + 309. Let w be h(0). Suppose -32*q = -27*q - 25. Suppose -q*t - 44 = -w. Does 11 divide t?
False
Suppose 3*v + 20 = -2*v, -2*n = 4*v - 550. Let a = 33 + n. Does 21 divide a?
False
Suppose -1173 = 4*m - 27*m. Does 9 divide m?
False
Let f = 85 + -82. Suppose -j = -f*v + 160, -2*v + 6*v = -j + 225. Is 33 a factor of v?
False
Let c = 881 + -764. Does 3 divide c?
True
Let j(p) = -5*p**2 - 10*p - 4. Let b be j(-6). Let y = 268 + b. Is y a multiple of 9?
True
Suppose -3*h - 1000 = -t, 3*t + 3966 = 7*t + 5*h. Is 14 a factor of t?
True
Let i = -483 + 770. Is i a multiple of 28?
False
Suppose -6 = -3*x - 0*x, -v - x + 1083 = 0. Is 47 a factor of v?
True
Let h(q) = -q**3 - 4*q**2 + 7*q + 7. Let f be h(-5). Let t(s) = -s**3 + 48 - 49 - 3*s - s. Is t(f) a multiple of 19?
True
Let q(h) = 6*h**3 + 16*h**2 + 45*h - 43. Let d(j) = 5*j**3 + 16*j**2 + 44*j - 43. Let p(a) = -7*d(a) + 6*q(a). Does 4 divide p(18)?
False
Suppose 3*d + 4*j = 16, -3*d + j = -5*d + 9. Is 0 + (4 - -144)/d a multiple of 8?
False
Let f(s) = 9*s - 573. Is f(67) a multiple of 18?
False
Let t(l) = -l**3 - l**2 - 4*l - 3. Let m be t(-3). Let g = -12 + m. Suppose -3*y = 3*s - 12, 2*y - g = -y - 2*s. Does 2 divide y?
False
Let p = 4 + -3. Suppose -4*i + p + 15 = 0. Suppose -i*r - 3*v + 43 = -32, 0 = 2*r + 5*v - 41. Is r a multiple of 6?
True
Suppose 3*k - 78 = -k + 2*q, -2*k + 5*q + 19 = 0. Let v = k - 17. Suppose 4*r + 5*w - 376 = 0, -5*r + 4*r = -v*w - 119. Does 13 divide r?
False
Let y(x) = -2 + 7 + 4*x**2 + 3*x - x - 1. Suppose 2*s + 3 + 13 = -4*n, -4*s = -3*n - 12. Is y(n) a multiple of 22?
False
Let n be -1 + 2 - 2 - -1. Let b(j) = -41*j + 6 + 78*j - 39*j. Does 2 divide b(n)?
True
Let c = 108 + -101. Does 7 divide c?
True
Suppose -2*n + 2 = 0, -458 = -5*r - 4*n + 8771. Is 41 a factor of r?
True
Let x(w) = -w + 21. Let t be x(13). Is 5 a factor of 20/(4/(t - 0))?
True
Suppose 2*h = k - 490 + 38, 0 = 4*k - 5*h - 1796. Is k a multiple of 24?
False
Suppose 4*r + 3*p - 9 = 27, 44 = 4*r + 5*p. 