divide j?
False
Let f(s) be the first derivative of -s**5/20 + s**4/3 + s**2/2 - 15*s - 16. Let p(g) be the first derivative of f(g). Does 9 divide p(3)?
False
Let k = -21 + 0. Let w = 3 - k. Is 12 a factor of w?
True
Suppose 8*s - 60 = 3*s. Let p = -636 - -639. Suppose w = -p, -2*q + 37 + s = -3*w. Is q a multiple of 10?
True
Suppose 3*g = 19*q - 21*q + 1359, 2*q = 0. Suppose k - 2*u - 138 = 0, -4*k + g = 5*u - 151. Is k a multiple of 23?
False
Let f(s) = -2*s**3 + 2*s**3 + 6*s + s**3 + s**2 - 12. Let d(q) = 147*q - 8374. Let z be d(57). Is 28 a factor of f(z)?
True
Let h = -2500 - -8220. Is h a multiple of 130?
True
Is 2 a factor of 8 + 623/(-77) - 9704/(-22)?
False
Let t be ((-2)/(-6))/(1/(-21)). Let h(n) = n**3 + 16*n**2 + 12*n - 2. Let i(x) = 2*x**2 + x - 1. Let a(o) = -h(o) + 5*i(o). Does 10 divide a(t)?
False
Suppose 0 = 5*y - 10, -r - y - 3*y = 194. Is -2 - 3 - r - -3 a multiple of 4?
True
Suppose 0 = -k - k - c + 5, 2*c = -3*k + 9. Suppose 8*h - 15 - k = 0. Is ((-3)/9)/((-3)/(344 - h)) even?
True
Let m be (-6)/(-14) - (-4266)/42. Let u = 215 - m. Does 9 divide (-18 - -16) + (u - 0)?
False
Suppose -4*d + 9 - 1 = -2*u, 4*d = 4*u. Is 6/45 + (u - (-7672)/60) a multiple of 33?
True
Let q = 10 + -10. Suppose -6*p + 42 = -q*p. Let z(s) = s**3 - 5*s**2 - 11*s + 6. Is z(p) a multiple of 11?
False
Let i = 512 - 512. Let q(r) = 14*r + 725. Is 36 a factor of q(i)?
False
Let i(v) = 3*v**2 - 82*v - 61. Let u(m) = 15*m**2 - 409*m - 304. Let j(w) = 11*i(w) - 2*u(w). Is 48 a factor of j(35)?
True
Let w(y) = 177*y**3 - 9*y**2 + 2*y + 8. Does 24 divide w(2)?
True
Let o(j) = -99*j + 11. Let w(a) = 199*a - 22. Let u(h) = 5*o(h) + 2*w(h). Is u(-4) a multiple of 19?
True
Suppose -2*k + 124100 = 5*j, -8*j - 5*k + 74441 = -5*j. Is j a multiple of 25?
False
Suppose 0 = -10*h - 14*h - 90 + 10170. Does 7 divide h?
True
Suppose -2*h = 2*q - 4*h - 54, 2*h - 138 = -4*q. Let l = q - -9. Let p = 37 + l. Does 39 divide p?
True
Suppose -31*w + 10*w = -700728. Does 194 divide w?
True
Let i = 40 + -36. Let b be (2/i)/((-1)/(-10)). Suppose r = -0*m - m + 55, -265 = -4*r + b*m. Is r a multiple of 17?
False
Suppose -6*z + 3014 = 5*z. Let u = z + -138. Is 17 a factor of u?
True
Suppose -7 = 6*n - 1. Let z(a) = -5*a**3 - 3*a**2 - 2*a. Let o be z(n). Suppose -5*v = o*m - 3*m - 112, 3*m = 3*v + 282. Is 14 a factor of m?
False
Let b(j) = j**3 - j**2 + 4*j - 5. Let u be b(2). Suppose 0 = -u*h + 2172 - 37. Let r = h + -177. Is r a multiple of 32?
True
Suppose -21*s = 2 + 103. Let w = s + 253. Is 3 a factor of w?
False
Let q = -4942 - -10915. Is 140 a factor of q?
False
Let z = -3367 + 10252. Does 9 divide z?
True
Suppose -3943*m = -3957*m + 490840. Does 87 divide m?
False
Suppose -13*y + 54797 = 31852. Is y a multiple of 5?
True
Suppose -62*g + 50*g = -8160. Does 5 divide g?
True
Let l(h) = 144*h**3 - 4*h**2 - 7*h - 2. Let z(t) = -3*t - 1. Let g(o) = l(o) - 3*z(o). Is 8 a factor of g(1)?
False
Is (-1 - 27)*6417/92*35/(-21) a multiple of 31?
True
Let o(q) = q**3 + 34*q**2 - 35*q + 89. Is 7 a factor of o(-35)?
False
Suppose 94 = 3*a - 2*l, -4*a + 114 = 11*l - 8*l. Is a a multiple of 15?
True
Let w = -88187 - -126457. Is 25 a factor of w/170 + ((-19)/17 - -1)?
True
Let t(r) = 25*r - 17. Let k be (0 - 1)*2/(-4)*10. Suppose -2*v - k*z + z = -24, -2*z = -8. Does 10 divide t(v)?
False
Let k be (-9795)/(-33) - (-46)/253. Let a = k + -249. Is a a multiple of 20?
False
Does 11 divide 47604/5 + 10 + 245/(-25) + 5?
True
Let u(c) be the second derivative of -7*c**5/120 + 7*c**4/6 - 6*c**3 - 32*c. Let v(d) be the second derivative of u(d). Does 35 divide v(-11)?
True
Let q(y) be the third derivative of -y**4/24 + 7*y**3/6 - 33*y**2. Let p be q(-6). Suppose -30 = p*o - 472. Does 3 divide o?
False
Let d be -11 + 5 + (1 - 0)*7314. Suppose d = 14*t - 2*t. Is t a multiple of 29?
True
Let z = 64 + -64. Let o be (-4)/(-14) + 1760/14. Suppose -3*l + r = -z*r - o, 4*r = -4*l + 152. Is 24 a factor of l?
False
Suppose 2*x + i - 21 = 0, 0 = 3*x + 2*i + 2*i - 34. Let z be 72/x + 6/(-30). Suppose -10*s + z*s + 414 = 0. Is s a multiple of 11?
False
Let w be 4177/5 - 2/5. Suppose -5*b + 40 = -w. Is b a multiple of 25?
True
Suppose 284*l = 279*l - 1495. Let m = -212 - l. Is m a multiple of 4?
False
Let h(s) = -18*s**3 - 6*s**2 + s - 4. Suppose 0 = 3*i - g + 12, 3*g = 3*i + g + 15. Does 25 divide h(i)?
True
Let y be 6*(-4)/60*-5. Let f be (-1)/(1/y + 2/(-3)). Is 1 + 3 - (5 - f) a multiple of 2?
False
Let b(j) = 28*j**2 + 127*j - 959. Does 19 divide b(8)?
False
Let w(o) = -o**2 + 53*o - 193. Let p be w(49). Is (-3)/(365/184 + (1 - p)) a multiple of 5?
False
Let n = -587 + 966. Let c = n + -347. Is c a multiple of 8?
True
Suppose -9*i + 50756 + 6005 = -30989. Is 25 a factor of i?
True
Let c(h) = -3*h**2 + 11*h - 27. Let t be c(17). Let l = t - -1097. Is 10 a factor of l?
True
Let q be 2602/5 - (5 - 115/25). Is 60 a factor of (390/q)/((-881)/(-880) + -1)?
True
Suppose 2*h - 4*x - 6 - 2 = 0, -3*h + 17 = -x. Suppose -h*k = -3*k - 30. Does 8 divide k?
False
Let g be (45/(-6))/((-6)/(-40)). Let z = -56 - g. Is 0/(z - -4) - 26/(-2) a multiple of 3?
False
Suppose -3*w - v = -5, 3*v = -2*w + 6*w - 11. Suppose 3*r = m, -5*m + w*r = 3*r - 32. Suppose -m*k + 86 = -394. Is k a multiple of 8?
True
Let z(c) be the first derivative of -c**3/3 + 12*c**2 + 7*c + 53. Is z(22) a multiple of 17?
True
Let r = 5385 + -2010. Does 125 divide r?
True
Suppose -22*l + 20 = -27*l. Is 7 a factor of ((-28)/(-49))/(l/(-14))*159?
False
Suppose 2*w + 4*k - 8 = 0, 0*k - 33 = -5*w + 3*k. Suppose -w*r = 41 - 191. Does 24 divide r*((-12)/(-4) + -2)?
False
Suppose b = 5, -q + 4*b - 28 + 10 = 0. Suppose 0*v - 2*f + 14 = q*v, -2*v = -5*f + 14. Suppose 2*p = -x, x - 2*x + p = -v. Is x a multiple of 2?
True
Let v(j) = 411*j**2 + 18*j - 29. Is 8 a factor of v(2)?
False
Let k(y) = -172 - 16*y**3 - y**2 - 2*y**2 + 166 - 5*y. Is 8 a factor of k(-2)?
True
Let w = 4117 + -3617. Is w a multiple of 4?
True
Suppose 2*p = 2429 - 101. Does 17 divide (p/(-14))/(3/(-21))?
False
Suppose -39*d = 308*d - 2026691 - 2067909. Is d a multiple of 18?
False
Let s(q) be the first derivative of 3*q**3 - q**2/2 - 5*q + 3607. Suppose -4*l = -m + 18 - 3, -5*l + m = 18. Is 6 a factor of s(l)?
False
Does 19 divide (0 + 14/4 + (-58)/(-116))*3040?
True
Let n be (-2 + 3 - 9)*-39*1. Does 2 divide (n/(-30))/(-4*(-2)/(-20))?
True
Does 10 divide (-21)/(-6)*1170808/434?
False
Let t(j) = -4 + 4*j**2 - 23*j**2 - 10*j + 24*j**2. Does 29 divide t(-4)?
True
Let g = 52 + -51. Is ((-40)/(-30))/(g/9) a multiple of 3?
True
Let n be 25/5*(-16)/(-10). Suppose -3*x = -n - 4. Suppose x*f + 73 = 3*i - 0*f, -f = 5*i - 114. Is 9 a factor of i?
False
Suppose 25 - 21 = 2*r. Suppose -4*h - 7 = -27. Suppose 0 = 6*x - 11*x + r*q + 107, -2*x + h*q = -26. Does 12 divide x?
False
Let r = 3476 + -2201. Suppose -5*h = 13*q - 8*q - r, 2*q - 3*h - 515 = 0. Is 32 a factor of q?
True
Suppose 129*r - 133*r = -27728. Does 14 divide r?
False
Let d(v) = -116*v + 3. Let s be d(2). Let t = s - -579. Does 46 divide t?
False
Let g(m) = -110*m + 524. Is 2 a factor of g(0)?
True
Suppose -4*r = -16, -2*r = t - 110 + 38. Let q be -2 - (-29 + 1 + 0). Suppose -q - t = -f. Is 18 a factor of f?
True
Let q = -480 + 277. Is (-14)/((-728)/(-39)) + q/(-4) a multiple of 10?
True
Let n be 3*(-282)/(4 - 5). Suppose 0 = -5*i + 5*d + 2125, 4*i + 3*d + n = 6*i. Does 27 divide i?
False
Let z be (0 - 1)/((-526)/(-132) - 4). Let c = 51 + z. Suppose f + 4*k - 115 = 0, 2*f - c - 153 = 2*k. Is f a multiple of 5?
False
Let a(l) = l**3 - 14*l**2 + 24*l + 16. Let d be a(12). Suppose 13*y = d*y - 6, 5*c = y + 158. Is c a multiple of 32?
True
Suppose 3*z + 5*g = 49, 42 = 4*z + 8*g - 6*g. Let n be -5*(3/(-2) - z/(-16)). Let i(h) = 7*h**2 + 8*h + 1. Is i(n) a multiple of 18?
True
Let w = 29250 + -16902. Does 14 divide w?
True
Suppose 12*l = 65 + 43. Let x(s) = -s**2 + 14*s - 4. Let o(m) = -m - 1. Let r(k) = -5*o(k) - x(k). Does 2 divide r(l)?
False
Suppose 81*i = -111*i + 552960. Is 30 a factor of i?
True
Suppose 0 = 10*h - 3*h + 1393. Let z = h + 77. Let k = z + 142. Does 2 divide k?
True
Let a(q) = -q**3 + q + 1. Let n(k) = 2*k**2 + 3*k. Let s(d) = 4*a(d) - 2*n(d). Let m be s(-3). Let v = m + -36. Does 11 divide v?
False
Let j be -4*3/(15/(-5)). Suppos