l) be the third derivative of l**6/120 + l**5/12 + 5*l**4/24 + 28*l**2. Let j be u(-4). Does 7 divide c(j)?
False
Let f be ((5/2)/5)/((-13)/156). Let n be (-3)/(f/(-17))*-22. Suppose -2*c - 3*d = -n + 10, c = d + 81. Is c a multiple of 28?
True
Does 105 divide (-10)/(-4)*(-14 + -502*(11 - 17))?
False
Suppose -38*q = -37*q + 10. Is (-2436)/q + (-6)/10 a multiple of 27?
True
Let y(r) = -3*r - 58. Let m be y(-23). Suppose 15*z - m*z - 1612 = 0. Does 50 divide z?
False
Suppose 4*c + 9 = 5*b - 4*b, 0 = c + 3*b + 12. Does 15 divide (5*c)/(27/(-351))?
True
Let a(p) = -21*p**3 + 2*p**2 + 11*p + 12. Let i be a(-2). Suppose -183*t = -i*t - 7565. Does 14 divide t?
False
Let o be 16823 + (-4 + 1)/(-3). Suppose 2602 + o = 22*u. Is u a multiple of 13?
False
Is 13/((-91)/(-196))*86 a multiple of 18?
False
Let c(y) = 31*y**2 + 2*y + 7. Let z be c(-4). Suppose u = -f + z, 488 = 4*f - u - 1487. Is f a multiple of 30?
False
Let p be (1 - -3)/(8/1548). Let l = p + -543. Does 3 divide l?
True
Suppose -11*g + 244416 - 37143 = 0. Does 45 divide g?
False
Let n be (-23)/(-115) + 54/5. Let h = -7 + n. Suppose -3*y = 12, h*w + w + 4*y - 334 = 0. Is 14 a factor of w?
True
Suppose -13*z = -9*z - 20. Suppose 0 = 4*a + 12, 2*v + 19 = -z*a - 16. Let s = 59 - v. Does 23 divide s?
True
Let w(f) be the second derivative of -16*f - 1/2*f**2 + 1/3*f**3 + 0 + 2/3*f**4. Is 3 a factor of w(-2)?
True
Let a(l) = -3529*l - 3180. Is 51 a factor of a(-12)?
True
Let x(i) = 7*i - 24. Suppose -g + 2*g + 22 = 2*q, -3*g + 4*q = 60. Let u = g - -24. Is x(u) a multiple of 5?
False
Let s(h) be the second derivative of -2*h**5/5 - h**4/12 - 3*h. Let d be s(-1). Suppose 623 = d*u - 0*u. Is u a multiple of 35?
False
Suppose 18 = -3*l + 51. Suppose 250 - 63 = l*b. Suppose -177 = -4*y - b. Does 8 divide y?
True
Let c(v) = -23*v - 23. Let u(n) = n - 1. Let d = 43 + -42. Let g(k) = d*c(k) + 6*u(k). Is g(-13) a multiple of 24?
True
Suppose 3*y + 4*p = -2*y + 40, 3*y - 32 = -4*p. Suppose -x - 20 = -y*j - 106, 2*j = 4*x - 344. Suppose 2*c + x = o, 11 = -5*c + 31. Is o a multiple of 13?
False
Let w(x) = -1346*x - 3684. Is 64 a factor of w(-17)?
False
Is 19 a factor of (-12)/9*2166/48*-6?
True
Let u(j) be the third derivative of 5*j**4/8 - 8*j**3/3 + 126*j**2. Let v = 13 + -9. Is u(v) a multiple of 19?
False
Suppose -2*v + v - 3*k - 477 = 0, 2405 = -5*v - 5*k. Let d = v - -283. Is ((-12)/10)/(5/d) a multiple of 12?
True
Let c(a) = -a + 11. Let n be c(11). Suppose -5*z - 15 = -g + 3*g, -4*g - 4*z = n. Suppose 4*y = g*y - 13. Does 4 divide y?
False
Suppose -4*j = 3*w - 26, 0*j = -j + 5. Let l be (3/(9/w))/(40/(-60)). Does 9 divide (6/(-9) - 110/6)*l?
False
Let u = 44020 - 29799. Does 8 divide u?
False
Let z = 4489 - -2821. Is z a multiple of 10?
True
Suppose 5*k + 824 = -17666. Is 7/(-77) + k/(-22) a multiple of 17?
False
Does 49 divide (64/(-28) + 2)*(18 - 75023)?
False
Let o(s) = 5*s**3 + 471*s**2 - 4693*s - 1. Is o(10) a multiple of 26?
False
Suppose 27*r - 17*r - s = 518853, -51891 = -r + 2*s. Is r a multiple of 9?
True
Let l(p) = -4*p**3 - 3*p**2 + 7*p + 1. Let i be ((-36)/6 - -2) + -2. Does 5 divide l(i)?
True
Suppose 263 - 53 = -5*x. Let h = -38 - x. Suppose -h*n + 91 = -149. Does 23 divide n?
False
Let k = -2797 - -2781. Let y(x) = x**3 + 17*x**2 + 16*x - 9. Let m(u) = -u**3 - 17*u**2 - 17*u + 8. Let f(r) = 3*m(r) + 4*y(r). Is f(k) a multiple of 3?
True
Suppose -3*u - 4*x = -9*x - 4387, 0 = 4*u - 3*x - 5820. Is u a multiple of 69?
True
Let q(k) = k**2 - 2*k - 7. Let d be q(3). Let h be d + (-8 - -2)/(3/(-58)). Does 15 divide h + 3/15*-3*-5?
False
Suppose -5*a + 2*a + 4*o = -1420, 5*o = -2*a + 962. Suppose 3*m + 972 = 4*f, 2*f + a = 4*f + m. Is f a multiple of 7?
False
Suppose -75*z - 42*z - 15*z + 516120 = 0. Is 3 a factor of z?
False
Suppose 4*n = -7*h + 3*h - 928, -4*h + 5*n = 964. Let f = h + 806. Does 57 divide f?
True
Suppose -19*b = 3*b - 3477 - 14475. Is b even?
True
Let s be (-6)/(-18) + -2*1/6. Suppose -5*z - k = -1369, s*k = -4*z + 5*k + 1072. Is z a multiple of 13?
True
Let g(q) = -q**3 + 8*q**2 - 7*q + 11. Let a be 52/20 + 4/10 + 4. Let p be g(a). Suppose -p*i + 15*i - 148 = 0. Is i a multiple of 8?
False
Let g = -1404 + 2425. Suppose -t + 6*t + f = g, -3*t + 611 = -f. Does 51 divide t?
True
Let j(x) = 36*x**2 - 237*x + 3271. Does 18 divide j(14)?
False
Suppose 3*u = u - 5*x + 48, -2*u = 4*x - 44. Let l(o) = 4*o**2 - 2*o + u*o**2 - 17*o**2 + 2. Is 10 a factor of l(-6)?
True
Suppose -3*o - 3*j - 477 = -8820, -j + 5569 = 2*o. Is 4 a factor of o?
True
Suppose 0 = 121*o - 122*o + 3*g + 11873, 3*o = -4*g + 35684. Is 40 a factor of o?
False
Suppose 29*c - 3552 = 5*c. Is c a multiple of 37?
True
Let r be -20*((-39)/(-2))/13. Is 29 a factor of 5*((-10)/(-2) + (-3678)/r)?
True
Suppose -a + 5*u = -8, 21*a + u - 40 = 18*a. Suppose a*v - 2347 = 4517. Is v a multiple of 48?
True
Suppose -17*z = -6*z - 16940. Suppose -z = -4*i - 18*i. Does 10 divide i?
True
Let r(o) = o**3 - 16*o**2 - 40*o + 34. Let l be r(17). Does 34 divide (36/(-21))/(3/l)?
True
Let q(g) = -188*g**3 - 9*g**2 + 12*g + 10. Let f(k) = -63*k**3 - 3*k**2 + 4*k + 4. Let u(j) = 11*f(j) - 4*q(j). Does 20 divide u(2)?
True
Suppose 0 = 563*u - 573*u + 67340. Does 13 divide u?
True
Let g be (1 - 0) + 3 + 2. Let s be 1/(g/3779) - 1/(-6). Suppose 94*z = 89*z + s. Does 9 divide z?
True
Suppose -3*k = 5*t + 2 - 34, -k - 12 = -4*t. Suppose -t*z - 5*l = -585, -3*z + z - l = -285. Is z a multiple of 20?
True
Let q(h) = -1781*h - 895. Is 13 a factor of q(-5)?
False
Let q = 356 - 20. Suppose -i - 5*r + q = 0, -2*i + 0*i - 3*r + 672 = 0. Is 12 a factor of i?
True
Let b(s) be the third derivative of 11*s**5/30 + 7*s**4/24 - s**3 - 22*s**2. Does 16 divide b(2)?
True
Let m be -6*(-436)/(-2)*1/(-4). Let v = m - 211. Is v a multiple of 10?
False
Suppose 65*t + 22 = 67*t - 2*u, 2*t = -4*u + 34. Let n(c) = c**3 - 8*c**2 + 24*c + 68. Does 35 divide n(t)?
True
Suppose -2*g - 25 - 13 = 0. Let a be g - (13 - 13)*(-1)/(-2). Let p = a - -47. Is 4 a factor of p?
True
Let f = 881 + 1170. Suppose -8*x - 451 = -f. Is x a multiple of 20?
True
Suppose -13*p = -70 - 164. Does 6 divide -3 + (-100)/(-36) + 14404/p?
False
Suppose 77*n = -131*n + 564634 + 588726. Does 23 divide n?
False
Suppose -4*p - 64176 = -3*t - 906, 0 = -2*t - 4*p + 42200. Is t a multiple of 230?
False
Suppose 0 = 98*f - 3637256 - 1793120. Is 10 a factor of f?
False
Let i = -7355 - -32702. Is i a multiple of 17?
True
Let z(n) be the third derivative of 31*n**4/24 - n**3/3 + 37*n**2 - 19. Let k be (-29)/(-9) - 8/36. Does 13 divide z(k)?
True
Let j(h) = -9*h**2 + 37*h + 44. Let d(a) = -5*a**2 + 19*a + 22. Let k(z) = -11*d(z) + 6*j(z). Let u be k(-14). Is 51 - (u/14 + 12/28) a multiple of 16?
True
Suppose 94*a - 126*a + 177536 = 0. Is 76 a factor of a?
True
Suppose 153*v - 199341 = 46*v. Is 8 a factor of v?
False
Let f(b) = -42*b - 3. Let j be f(1). Let s = -18 + -86. Let r = j - s. Does 13 divide r?
False
Suppose 3*y - 70 = -346. Let s = y - -114. Suppose t + s = 182. Is 32 a factor of t?
True
Suppose 0 = -0*q + 4*q - 1400. Suppose -2*z + 87 = y + z, -5*y + 2*z + q = 0. Let i = -39 + y. Is 11 a factor of i?
True
Let v = -4910 + 30826. Does 83 divide v?
False
Let n(i) = 20*i - 47. Let v(h) = 40*h - 100. Let c(q) = -7*n(q) + 3*v(q). Let z = -3 - 2. Does 26 divide c(z)?
False
Let d be 5/(-15)*0*1/(-2). Suppose 5*z = 2*z + 5*l + 189, 3*z + 3*l - 189 = d. Does 9 divide z?
True
Let x(k) = 4*k**3 - 2*k**2 + 1. Let m be x(-1). Let n be 4/(-5) + (-1254)/m. Let p = n + -178. Does 18 divide p?
True
Let z = -101 + 106. Suppose -608 = -3*p - z*c + 1357, -4*c - 638 = -p. Does 18 divide p?
False
Suppose 4*x - 5*b = -2*b + 1997, -2*b = -10. Suppose -974 = -5*o + 4*g, -x + 111 = -2*o + g. Is o a multiple of 23?
False
Let r(s) = -39*s**3 + 4*s**2 - 17*s - 15. Does 141 divide r(-7)?
True
Let u = -697 + 22008. Does 101 divide u?
True
Let b = -108 - -186. Suppose 710 = b*v - 77*v. Suppose -3*o - 356 = 2*q - 3*q, -2*q + 5*o = -v. Does 50 divide q?
True
Suppose -2*y - 5 = k - 31, -2*y = 5*k - 170. Let z be k + (3 - -1) - 4. Suppose 4*c - z = 72. Is 5 a factor of c?
False
Is 5 a factor of -6 - (5591/3)/(50/(-450))?
False
Suppose -54*u - 736609 = -2266051. Is 16 a factor of u?
False
Suppose -5*j + 4*p + 17 = 0, -6*j + 2*j - 2*p