14). Is p/(-24)*240/(-2) a multiple of 20?
True
Let r(p) be the second derivative of -p**6/16 - p**5/24 - 43*p**4/12 - 31*p. Let i(u) be the third derivative of r(u). Does 55 divide i(-5)?
True
Let u(i) = -i**3 - 47*i**2 - 109*i + 73. Does 81 divide u(-46)?
False
Let v(u) = 7*u**2 + 92*u - 260. Does 84 divide v(-34)?
True
Let t(p) = -10*p**3 + p**2 - p. Suppose 55*k - 18 = 46*k. Let z be t(k). Let g = -38 - z. Is 10 a factor of g?
True
Suppose -5*s + 20 = -0. Suppose 0 = -s*m - 4*h + 284, -m = -h + 3*h - 72. Is 7 a factor of m?
True
Let o be (1088/(-3))/((-94)/141). Let r = 820 - o. Does 6 divide r?
True
Let r(g) = -295*g + 10. Let f be r(-1). Let b be 321/2*8/(-6). Let m = b + f. Does 7 divide m?
True
Let h = 4087 + -3087. Is 10 a factor of h?
True
Suppose 4*o - 14157 = -3*n, 2*n - 9461 = -o + 6*o. Suppose -n = -17*z - 881. Is z a multiple of 41?
False
Suppose 5*n = 6*n - 3. Suppose -5*g = -4*f - 1182, 0 = -2*g - g + n*f + 711. Does 13 divide g?
True
Is 27 a factor of (1 - -723) + (23 - 113)/(-18)?
True
Suppose -4*x - 4*q + 143892 = 0, -5*x + 119546 = -2*q - 60340. Does 53 divide x?
False
Let r = 35 - 31. Suppose r*l = -2*f + 183 + 23, -4*l = 5*f - 215. Does 33 divide (-1 + -1 + l/(-8))*-12?
True
Let k(x) = -134*x**3 + 7*x**2 - 20*x - 49. Is k(-3) a multiple of 4?
True
Suppose 8*f - 13*f = -0*f - 22660. Does 61 divide f?
False
Suppose -1576 = 49*v - 41*v. Let h = -37 - v. Is 9 a factor of h?
False
Let f = 65 - 31. Suppose -2*r = -2*u + 3798, -105*u + 5*r + 7597 = -101*u. Suppose 0 = -7*a + u + f. Is a a multiple of 27?
False
Let s = 17 - 15. Let w(l) be the first derivative of 9*l**4/4 - 2*l**3/3 + l - 273. Is w(s) a multiple of 5?
True
Let b be -37*2/6*(-81)/(-9). Let f = b + 76. Let m = f - -91. Is m a multiple of 4?
True
Let q be (6/6)/(3/(-789)). Let o = -103 - q. Let v = o - 8. Is v a multiple of 19?
True
Let i = 33 + -54. Let u be i/(-14) - (-3)/2. Is 10 a factor of (-10)/(-15) + 58/u?
True
Let z(n) be the third derivative of n**2 + 0*n - 1/3*n**3 + 0 + 107/24*n**4. Does 21 divide z(1)?
True
Let i = -6362 - -12604. Is i a multiple of 118?
False
Let v be ((-6)/(-10))/((-18)/(-32580)). Does 8 divide v/17 + 20/170?
True
Suppose -4*f = 8, 2*b - 3*f + 5*f + 1048 = 0. Let h = b + 896. Is h a multiple of 11?
True
Suppose 0 = -13*s + 6*s - 14. Let p be s/((12/8)/(-3)). Suppose g + 5*b = 103, -p*b + 5 = -15. Is g a multiple of 15?
False
Let h = -36118 - -59411. Does 165 divide h?
False
Suppose -5086*k - 1944 = -5074*k. Suppose 2*u + 4 = 0, 67 = -4*b + 2*u + 7. Let c = b - k. Does 47 divide c?
False
Let l be (2 - -11)*2*(-6)/12. Let j(o) = -o**3 - 11*o**2 + 22*o - 16. Let u be j(l). Suppose -76 - u = -7*z. Does 7 divide z?
False
Let m(n) = n**2 - 20*n + 54. Let k be m(3). Suppose 5*j + s - 1010 = 0, -k*s - 8 - 7 = 0. Does 7 divide j?
True
Let y(q) = q**3 - 45*q**2 + 32. Let x be y(45). Suppose x*m - 6069 = 15*m. Is m a multiple of 17?
True
Let h(y) = -y**3 + 16*y**2 + y - 14. Let p be h(16). Suppose 0 = -2*w - 2*z - p*z + 254, 5*w - 2*z = 671. Suppose 0 = 6*r - w - 185. Is r a multiple of 8?
False
Does 286 divide (-3224)/91*5078/(-4) - (-228)/(-399)?
False
Suppose -448158 - 471829 = -31*d. Is d a multiple of 8?
False
Suppose 3496 = 9*u + 10*u. Suppose -z + u = 181. Let q(g) = 13*g - 11. Is q(z) a multiple of 28?
True
Let x(n) = -2*n**2 - 59*n - 28. Let s be x(-29). Suppose -5*r + 541 = 2*q, -3*r - 3*q = s - 331. Is 9 a factor of r?
False
Is 6 a factor of 1/(-2)*427*252/(-147)?
True
Suppose 4*h - 24593 - 95929 = -3*k, 0 = h - 2*k - 30125. Is h a multiple of 121?
True
Suppose 3833*t - 3806*t - 621270 = 0. Is t a multiple of 177?
True
Let z(k) = 10*k**2 - 5*k - 2. Suppose 2*r + 3*d = -10, r - 2*d + 7 = 9. Does 8 divide z(r)?
True
Suppose 5*l + 5*k = -985, 0 = 5*l + k + 461 + 512. Let p = l + 265. Is p a multiple of 2?
False
Let x(o) = 0*o + 6 - 3*o - 29*o**2 - 3*o**3 - 25*o**2 + 49*o**2. Is 4 a factor of x(-3)?
False
Let z be (-828)/(4 - 30/12). Is 15 a factor of (1/4)/(-1) - 199410/z?
False
Let p be ((-4)/((-80)/12))/((-3)/(-30)). Is 16 a factor of 8/24 + (-1 - (-1030)/p)?
False
Let m = -2099 - -870. Let v = -658 - m. Is v a multiple of 53?
False
Let d be (-6)/(-14) - (-22)/14. Suppose 70 = d*j + 3*j. Suppose -j = -2*c + c. Does 11 divide c?
False
Let r be (-1)/(-5 + 4) + 0. Let c = 1 - r. Suppose c = -m - 4*m + 460. Is m a multiple of 23?
True
Let u be 0 - (59/(-5) - (-28)/35). Suppose u*f - 7544 = 145. Is f a multiple of 16?
False
Let w = 621 - -2266. Does 67 divide w?
False
Let b(r) = -r**3 - 2*r**2 + r + 470. Let u be 18/45 - 4/10. Let g be b(u). Suppose -i + 364 = 5*o, -3*i + 122 - g = -5*o. Is 18 a factor of o?
True
Does 244 divide 104442/4 + 2370/(-948)?
True
Let n(s) = s + 4. Let r(d) = -40*d - 244. Let v(y) = -24*n(y) - r(y). Does 16 divide v(13)?
False
Is ((-46)/20 + 12/(-24))*-1255 a multiple of 10?
False
Let q = -878 - -1634. Let o = q + -403. Is o a multiple of 56?
False
Let o(m) = -m**3 + 13*m**2 + 31*m - 15. Let l be o(15). Suppose 3*w + 2*x - 2082 = l, 2*w - 2*x + 3*x - 1389 = 0. Does 29 divide w?
True
Let x = -260 - -233. Let q(h) = -h**3 - 29*h**2 - 53*h + 40. Does 3 divide q(x)?
False
Let p be 803/(-8) - (-3)/8. Let g = p + 241. Suppose -3*t = -4*x + 183, -3*x - t + 2*t = -g. Is 16 a factor of x?
True
Suppose 2*c - 56170 = -4*k, 19*k = 9*k + 2*c + 140404. Does 63 divide k?
False
Let q = 8 - 3. Let g be 24/q + (-4)/(-20). Suppose n - 202 = -2*n + u, g*n = -3*u + 360. Does 17 divide n?
False
Is 88 a factor of 9414/1 + 3/(-21) + 495/231?
True
Let l be (-6 + 1)/(40/(-16)). Let f be (-30)/(-15) - (1 - 61)/l. Suppose f*n - 29*n = 600. Is 12 a factor of n?
False
Let t(j) = 5*j**3 + 4*j**2 + 10*j + 14. Let p be t(6). Suppose 77 - p = -3*w. Does 19 divide w?
False
Suppose 30 = j + 4*d - 61, d + 106 = j. Suppose 5*y + 282 = -j. Let q = -54 - y. Is 19 a factor of q?
False
Suppose 22634 - 245714 = -20*d. Is 22 a factor of d?
True
Let q(y) = -y**2 + 6*y + 6. Let h be q(6). Suppose -4*z + h*z = 150. Let a = z + -18. Is a a multiple of 19?
True
Suppose -32*a + 202 = 10. Is 9 a factor of 581/a + (-105)/126?
False
Let k = -32 - -35. Let u be 1/(6 - k - 2). Does 5 divide u/((0 + 5)/95)?
False
Suppose 48*u = 26*u + 18040. Let h = -619 + u. Is h a multiple of 7?
False
Let u = 14 + -12. Suppose -6*t + 2*t = 4*a + 4, -5*a = u*t - 4. Suppose 5 + a = v. Does 7 divide v?
True
Suppose -k = 4*g + g - 2109, -12 = 2*k. Does 4 divide g?
False
Let b(o) be the third derivative of o**5/60 - o**4/12 - 4*o**3 - 75*o**2 - 1. Does 5 divide b(12)?
False
Suppose 22*k = 20*k + 4. Suppose -13 = -k*h - 5. Suppose -5*i = -h*l - 223, 4*l = -4*i + i + 121. Does 13 divide i?
False
Let k be 1 + 122 - (8 - 16). Suppose 273 + k = 2*v. Does 7 divide v?
False
Suppose -9*u + 3*u - 66 = 0. Let q(k) = -2*k**2 - 22*k + 15. Let h(j) = -5*j**2 - 66*j + 46. Let z(g) = 3*h(g) - 8*q(g). Is z(u) a multiple of 51?
False
Suppose 34*z - 35729 = 79613 + 158698. Is z a multiple of 73?
False
Let j(c) = 296*c**2 - 35 - 21*c + 28*c + 28. Is j(1) a multiple of 37?
True
Suppose -2*m - 22160 = -5*i - 6*m, -5*m + 17737 = 4*i. Is i a multiple of 45?
False
Suppose 0 = 4*m - j - 4*j - 147, -3*m = 2*j - 93. Suppose 13230 = 9*g + m*g. Does 35 divide g?
True
Let u(o) = 109*o - 7. Let c be u(5). Suppose -c - 290 = -b. Suppose 2142 = 18*v - b. Is v a multiple of 13?
False
Let d(j) = -j**2 - 11*j - 19. Let b be d(-8). Let c = -119 + b. Is ((-26)/(-39))/((-4)/c) a multiple of 2?
False
Suppose g = 5*n + 14266 - 478, -2*g + 5*n + 27606 = 0. Is 14 a factor of g?
True
Let h(j) = -j - 1. Let s be (-9)/(-36)*(-4 - 0). Let w(q) = 12*q - 77. Let p(z) = s*h(z) + w(z). Does 45 divide p(24)?
False
Let q = 15339 - 9309. Is q a multiple of 110?
False
Let o(r) = r**3 - 7*r**2 + 7*r - 5. Let x(h) = h**3 - 6*h**2 + 11*h - 24. Let u be x(5). Let n be o(u). Does 7 divide (551/58)/(n - (-5)/(-6))?
False
Suppose 0 = -2*r + 8, -4*r - 2116 = -2*w - 2*w. Let v = 641 - w. Does 7 divide v?
False
Suppose c - 4*u - 8644 = 0, 4*c + 4*u - 34860 + 304 = 0. Is 54 a factor of c?
True
Suppose 7*j - 6*j - p = 7, -11 = -5*j - 3*p. Suppose 3*v = -j*v + 427. Is v a multiple of 2?
False
Suppose 6 = 3*t - 9, -2*g - t = 31. Is (g/(-4))/(13/((-24804)/(-27))) a multiple of 20?
False
Is (1/4)/(2/(-4292))*(134 + -160) a multiple of 58?
False
Let s(l