4)/2 - 2). Does 5 divide 24/(-16) - (-185)/k?
False
Let r be 2 + 36/(-15) + 1192/(-20). Let u be 215*(-18)/r*2. Suppose -2*o = -87 - u. Is o a multiple of 6?
True
Suppose -3*u - 187 + 58 = 0. Let v be 2/(-5) + 11514/(-190). Let c = u - v. Is 6 a factor of c?
True
Let f(p) be the third derivative of -p**6/120 + p**5/6 - 5*p**4/12 + p**3 + 35*p**2. Is f(8) a multiple of 3?
True
Let s(d) = 28*d**2 + 49*d + 24 - 34*d - 28*d. Is 37 a factor of s(-6)?
True
Let v be 17/(-34) - 1187/4*-2. Suppose v = 6*w + 197. Suppose l = 3*b + w, l = -l - b + 125. Is 28 a factor of l?
False
Let v = -12974 - -13872. Is 2 a factor of v?
True
Let y = -2788 - -4293. Suppose x = -4*x + y. Is 43 a factor of x?
True
Is 9 a factor of 13/(-39) - 45777/18*-2?
False
Suppose -5*k - 16 = -k. Let y = 20 + k. Suppose 0 = 2*l - 6 - y. Is l even?
False
Suppose -1957 + 11350 = 3*o + 4*w, 3*o - 9399 = -2*w. Is o a multiple of 5?
True
Let g be -2 + -50 + (0 - -4). Let n be -13 + ((-26)/12 - 8/g). Is 30 a factor of (n/(-6))/(3/1008*4)?
True
Let n = -632 - -5491. Is 113 a factor of n?
True
Let i be (-3)/2 - 28/(-24)*3. Suppose i*v - 602 = -3*n + 310, v - 4*n - 467 = 0. Is v a multiple of 27?
True
Let o = -819 - -2903. Suppose -2*d + 4*y + o = 0, 4*y + 20 = 36. Is 50 a factor of d?
True
Let q = 9316 + 554. Is q a multiple of 70?
True
Let b be 107*1*(21/7 + 0). Let n = b - 118. Does 5 divide n?
False
Suppose 10 = -2*w, 2*u = -0*w + 2*w + 16. Suppose t + 3*t + 2*d - 976 = 0, -729 = -u*t - 3*d. Is 31 a factor of t?
False
Let t = 2811 - 2741. Is 10 a factor of t?
True
Let c(k) = k**2 - 13. Let t(r) = r + 56. Let v be t(17). Let y = v + -65. Is 16 a factor of c(y)?
False
Let l(f) = f + 4. Let s be l(-6). Let j be (2/s)/((2/231)/(-2)). Suppose -b = 2*b - j. Is 10 a factor of b?
False
Suppose -54419 = -2*m - 5*j, 4*m - 141833 = 2*j - 33055. Is m a multiple of 53?
False
Let q(b) = 4871*b - 413. Is q(3) a multiple of 25?
True
Let z(q) = 3*q**2 + 121*q + 336. Is z(-66) a multiple of 86?
True
Suppose 57*o = 60*o - 21. Suppose 1 = -o*l + 351. Let a = l + -21. Does 29 divide a?
True
Let s(m) = -m**2 - 13*m + 13. Let n be s(-14). Let g(a) = -2*a - 1. Let x(q) = 27*q - 10. Let k(d) = n*x(d) - 4*g(d). Is 27 a factor of k(-5)?
False
Suppose -51728 = -4*z - 4*x, 4*z + 4*x - 7*x - 51756 = 0. Is z a multiple of 6?
True
Let a be 135/(-81) - 1292/6. Let l = a - -320. Is l a multiple of 12?
False
Let t(p) = -3*p**3 - 6*p**2 + 5*p - 9. Let z be t(-7). Let l = 1279 - z. Suppose c + l = 8*c. Is 21 a factor of c?
True
Suppose b = -w - 98, 3*b + 2*w + 435 = 141. Let y = b - -160. Does 2 divide y?
True
Let z = 1754 - 1063. Let i = -467 + z. Is 32 a factor of i?
True
Let c(d) be the third derivative of -d**6/90 - d**5/5 + 5*d**4/12 + 2*d**2. Let t(j) be the second derivative of c(j). Is t(-9) a multiple of 16?
True
Is 12 a factor of (1844/(-3))/((-22)/3168)?
True
Suppose 20 - 32 = 3*s, 4*a - 5*s = 9524. Is a a multiple of 22?
True
Let k(c) = c**2 + 6*c - 37. Let r be k(-9). Is 2/r + (-6258)/(-15) a multiple of 39?
False
Suppose 1623 = 52*d - 826113. Is d a multiple of 14?
True
Let k(a) be the second derivative of -a**5/40 + 5*a**4/4 - 17*a**3/6 + 11*a. Let w(o) be the second derivative of k(o). Does 9 divide w(-17)?
True
Let a = 108 + -108. Suppose -4*k - 2*f - f - 16 = a, 2*f = -3*k - 12. Does 5 divide (-6)/4*(k - 10/(-15))?
True
Let g(u) = 345*u**2 + 23*u - 20. Does 26 divide g(-4)?
True
Let o be ((-4)/(-16))/((-3)/108*-3). Suppose -4*u + 5 = -o. Suppose 3*k - 3*t + 81 = 609, 0 = -u*k - 5*t + 352. Is k a multiple of 22?
True
Let t be 134*(6/(-4) + 1). Let m = t - -252. Is m a multiple of 6?
False
Let y(s) be the third derivative of 47*s**4/4 - s**3/3 + 9*s**2. Let g be y(-1). Let f = -180 - g. Does 21 divide f?
False
Let f be (3 - -14)*(1 + 1). Suppose 7*g + 149 = -5. Let o = g + f. Does 12 divide o?
True
Suppose 14*s + 563392 = 30*s. Does 58 divide s/60 - 6/(-45)?
False
Suppose 5*r - 10 = -3*u, -5*u + 5*r - 44 = 6. Is -13 + (-41712)/(-80) - (-2)/u a multiple of 4?
True
Let v be ((11765/20)/13)/(3/(-12)). Let d = 1078 + v. Does 14 divide d?
False
Suppose -4*d + 708 + 1368 = 4*t, -2*t + 1020 = -d. Is t a multiple of 19?
True
Let d = 149 - 120. Let f(p) = p**3 - 29*p**2 + 5*p + 16. Is f(d) a multiple of 11?
False
Let r(p) = 8*p + 28. Let b be r(-8). Let d be 3/(14/(-22) - 24/b). Let y = -49 + d. Is 25 a factor of y?
True
Let h(w) = 2*w + 2. Let a be h(7). Suppose a - 4 = 2*p. Suppose 396 = -p*v + 18*v. Is 6 a factor of v?
False
Let d(z) = z**3 + 13*z**2 - 24*z + 3. Let j(g) = 3*g + 1. Suppose 20 = -5*p + 5*b, 0 = -3*b - 2*b - 5. Let m be j(p). Does 13 divide d(m)?
True
Let c(s) = -7*s**2 + 2*s - 1. Let q be c(-2). Let d(b) = 13*b**2 - 13*b - 21. Let w be d(-2). Let p = q + w. Is 3 a factor of p?
True
Suppose 315*i - 543*i = 328*i - 12945348. Is 9 a factor of i?
True
Suppose -u - 1659 = -p, 31 = 3*p - 5*u - 4938. Is p a multiple of 45?
False
Let t be ((-16)/(-24))/((-2)/(-9)). Suppose -49 = s + 3*y, 7*y = 4*y + t. Is 21 a factor of s/78 - (-382)/6?
True
Is ((9/15)/(72/15440))/((-6)/(-1251)) a multiple of 22?
False
Let l = 22409 - 1571. Is l a multiple of 36?
False
Suppose 19*l - 44*l = -37300. Is l a multiple of 71?
False
Suppose 4*a = 3*n - 3 + 8, 2*a - 15 = -n. Suppose 0 = 3*u + 2*u - n*j - 1730, -4*u = 2*j - 1408. Is u a multiple of 25?
True
Suppose -8*i - 1233 - 4727 = 0. Let q = -467 - i. Is 21 a factor of q?
False
Let h(m) = -4*m - 16. Let s be h(-5). Suppose -v = -6 + 4. Is 84*(s/(-4) + 1*v) a multiple of 21?
True
Let x(q) = -11*q**2 - 3*q**3 + 11 + 0*q**3 + 2*q + 1 + 4*q**3. Let f be x(5). Let i = 309 + f. Is 39 a factor of i?
False
Let f(y) = y**3 - 9*y**2 + 10*y + 22. Let a be ((-58)/(-10) - (-20 + 24))*5. Is 5 a factor of f(a)?
False
Suppose 2*k - 34 = 4*x, 2*k - 6*k + 80 = -5*x. Suppose 0 = 20*p - k*p + 980. Is 32 a factor of p?
False
Let c(t) = 125*t**3 + 3*t**2 - 2. Suppose -1 = 377*f - 378*f. Is c(f) a multiple of 14?
True
Suppose -9*k - 9 = 45. Let x(f) = -117*f + 42. Does 62 divide x(k)?
True
Let g = 295 + -120. Suppose 5*y = p + g, -2*p - 2*p = -3*y + 88. Suppose -5*i - 473 = -4*j, j - i + y = 153. Does 8 divide j?
True
Let t(p) = 63*p**2 + 72*p + 8. Is 17 a factor of t(-4)?
False
Let r be (-2)/(-7) - 56650/(-77). Suppose 3*u + 746 = 4*m + m, 5*m + 2*u - r = 0. Suppose -5*x = -448 + m. Is x a multiple of 5?
True
Let g = -2481 - -6850. Is 17 a factor of g?
True
Let j(s) = -3*s**2 - 10*s + 8. Let w = -18 + 8. Let k be j(w). Is (5 + k/15)/((-1)/5) a multiple of 31?
False
Let z = 74 - 42. Suppose -4*y = -20 - z. Let n = y + 31. Is 44 a factor of n?
True
Suppose -5*h + 19*g - 23*g = -33574, 0 = h - 5*g - 6680. Does 22 divide h?
True
Suppose 0 = s + 19*y - 18*y + 400, -1196 = 3*s + y. Let h = 782 + s. Does 32 divide h?
True
Does 17 divide (-5)/(1 + -31) - ((-236283)/18 + 1)?
False
Suppose -3*k - 2*q + 0 + 8 = 0, -k + 6 = 4*q. Suppose -2*o - 13 = 5*z, k = z + 5*o - 0. Is 41 + 7 + 0 + z a multiple of 11?
False
Let x(z) = -29405*z**3 + 16*z**2 + 7*z - 8. Does 78 divide x(-1)?
True
Let k = -36 + 38. Suppose 0 = 5*z + 20, -2*m - 4*z + k*z = 8. Suppose m = 2*s, 4*s + 20 = 3*y - 22. Does 7 divide y?
True
Suppose v + 3 = -2*c, -3*c - 10*v - 7 = -9*v. Let s(w) = 17*w**2 - 10*w - 2. Is 31 a factor of s(c)?
True
Suppose 4*k + 3*t = 593, 5*k + 3*t - 5*t = 724. Let p = k + -83. Suppose 0 = i - p - 90. Does 25 divide i?
False
Suppose -55*a + 9468 = -59*a + 4*s, 4*s = 5*a + 11832. Is a/(-18)*3*2 a multiple of 42?
False
Let n(i) = 34*i**2 - 5*i - 135. Let j(v) = 12*v**2 - 2*v - 45. Let u(y) = -11*j(y) + 4*n(y). Is u(-10) a multiple of 67?
True
Suppose 92*x = 86*x + 18. Suppose -2*d + 6*q - 11*q = -1533, x*d - q = 2308. Is d a multiple of 37?
False
Suppose w = 4*w - 3*i - 1455, -5*w + i + 2429 = 0. Suppose w = -20*k + 3086. Is k a multiple of 10?
True
Let u(p) = p**2 + p - 3. Let d be u(-9). Suppose 73*k = d*k + 12. Suppose -k*b + 4*r = -135, 16 + 125 = 3*b - 2*r. Is b a multiple of 9?
False
Suppose -24 = 4*k - 12*k. Let x be (k - 24)/(3/(-9)). Suppose 4*g - x + 12 = -w, -39 = -4*g + 3*w. Is 3 a factor of g?
True
Suppose -3*y + 2*y = 3*c - 44, 0 = c + 5*y - 24. Let x = c + -9. Suppose -3*j - 3*p = -x*j + 15, -5 = -5*p. Is 9 a factor of j?
True
Let r(a) = -a**2 - 6*a + 10. Let i be r(-8). Let s = i - 3. Is 21 a factor o