 = 6*d(n) + 17*y(n). Is h(8) a multiple of 17?
False
Let z(j) = 39 + 82*j + 76*j - 3*j**2 - 163*j + 4*j**2. Does 9 divide z(5)?
False
Suppose -4*l + 8*c - 4*c = -122764, -5*c + 61438 = 2*l. Is l a multiple of 185?
False
Suppose 124 = 2*j - 2*u, -2*j = -0*j + 4*u - 142. Let x = -62 + j. Suppose 8*c - x*c = 370. Is c a multiple of 23?
False
Suppose 96*a + 2*m = 95*a + 23630, 118106 = 5*a - m. Is 28 a factor of a?
False
Suppose -51*b = -22*b - 5133. Is b a multiple of 2?
False
Let j = 15981 - 13292. Is j a multiple of 17?
False
Suppose 0 = 5*v - 5*o - 2299 - 5671, -3*o + 18 = 0. Is v a multiple of 32?
True
Suppose -p - 3*t = -470, -2*t - 1438 = -4*p + 386. Is 69 a factor of (p/2)/(-5 + (11 - 5))?
False
Suppose 10 = 2*d - 0*d, -3*j + 4*d + 100 = 0. Let n = -38 + j. Is 24 a factor of ((-96)/40)/(n/(-40))?
True
Let j be (18 - 8)/((-8)/(-28)). Let n = 289 + j. Does 9 divide n?
True
Suppose 0 = -3*x + 5*x, 385 = -5*b - 3*x. Suppose 0 = 19*u - 955 - 2085. Let d = u + b. Is 20 a factor of d?
False
Let f = 20 - 17. Let s(c) = -9*c + 3*c**3 + 5*c**2 - 13*c + 9 + 6*c - f*c. Is 46 a factor of s(5)?
True
Suppose 22*n - 2*o = 26*n - 214240, 2*o = 2*n - 107114. Is 99 a factor of n?
True
Let o be ((-200)/5)/(2/3). Let f = 214 - o. Is 7 a factor of f?
False
Let d(a) be the third derivative of a**5/30 + a**4/2 + 20*a**3/3 - 22*a**2. Is d(-17) a multiple of 9?
True
Suppose 2*b - 52 = -54. Is 3940/70 + b/(14/4) a multiple of 28?
True
Let q(o) be the second derivative of o**5/20 - 17*o**4/12 + 8*o**3/3 + 40*o**2 - 4*o - 2. Is 10 a factor of q(16)?
True
Let h = 21080 - 4492. Does 143 divide h?
True
Let k = 1481 + -1413. Let w be 4/2 + -20 - 2. Is 6 a factor of (k/w - 2)*-5?
False
Suppose -5*i - 50388 = 1306*y - 1307*y, 4*y - i - 201514 = 0. Does 104 divide y?
False
Let n be (-74)/259 + (-122)/14. Let g(c) = 4*c + 39. Is 3 a factor of g(n)?
True
Let q be (-24)/(-18)*(0 - -3). Suppose -2*j + 168 = -3*p + q*p, 0 = 4*j. Does 24 divide p?
True
Let x(p) = 2*p**3 - 48*p**2 - 67*p - 96. Is 14 a factor of x(29)?
False
Suppose 4*s = 3*u + 20978, 35*u = -2*s + 39*u + 10494. Is s a multiple of 7?
True
Let m(p) = 537*p - 7098. Does 112 divide m(42)?
True
Suppose 5*f - 52 = w, -w = f - 15 + 91. Let y be 16/w - (-465)/27. Suppose -5*x + 227 = y. Is x a multiple of 6?
True
Is (3 - -1906)/(99/(-55) + 2) a multiple of 23?
True
Suppose -2*k = -8, 17*b - 57213 = 12*b + 3*k. Does 109 divide b?
True
Let t(a) = -2*a**2 + 2*a + 23. Let s be t(9). Let l = s + 425. Does 76 divide l?
True
Let r(c) = -1856*c - 164. Is 6 a factor of r(-1)?
True
Let r = 5 + 10. Suppose 0 = 4*a + 4*m + 472, 2*a + 2*m = 6*m - 230. Let z = r - a. Is z a multiple of 11?
True
Suppose -w = 12 + 38. Let x = w + 170. Is x a multiple of 15?
True
Let u(w) = -2*w**2 - 19*w + 23. Let n be (-5)/(-1)*(-3 - -4). Let f(l) = 3*l**2 + 37*l - 45. Let d(z) = n*u(z) + 3*f(z). Does 2 divide d(11)?
False
Let d = -3961 + 9265. Is d a multiple of 6?
True
Let a(l) = -l**2 + 260*l - 8122. Is 66 a factor of a(155)?
False
Let w = 170 - 102. Let s(u) = -76*u**3 + 7*u**2 + 11*u + 5. Let r be s(-1). Let j = r - w. Is j a multiple of 3?
True
Let i(y) = 2*y**2 + 20*y - 192. Is i(21) a multiple of 74?
True
Let x(n) = 28*n**3 + 0*n**3 + 19*n + 3 + 17*n**2 - 27*n**3. Does 42 divide x(-15)?
True
Let o be 110/30 - 3 - 8/(-6). Does 11 divide o/(-4)*(-2173 + -1)?
False
Let q(c) = 46*c**2 - 369*c - 18. Does 6 divide q(-6)?
True
Let b = -3513 + 7545. Does 12 divide b?
True
Let d(r) be the second derivative of 25*r**3/6 + 41*r**2/2 + 8*r + 5. Is 32 a factor of d(15)?
True
Suppose o + 6 = -4*a, 3*o + 2*a - 2 = -0*a. Suppose -5*j + 21 = o*h - 8*j, j = 2*h - 15. Suppose -1 = z, 0*z + h = x + 4*z. Is x even?
True
Let n be 96/7 + 4/14. Let k(f) = -f + 28. Let p be k(n). Suppose -p*c + 132 = -8. Is c even?
True
Does 8 divide (2 + 154/(-70) + (-9)/5)*-584?
True
Is 26 a factor of ((-156)/(-16))/((-57)/(-11096))?
True
Suppose 7*z - 8*z + g + 4 = 0, -3*g - 3 = 0. Suppose -z*h + 4*k + 16 = 0, 3*h + 2*k = -k + 30. Does 4 divide h?
True
Suppose -8397 = -11*r + 12368 + 13214. Is 4 a factor of r?
False
Suppose -94*b - y - 246664 = -99*b, 0 = -4*b + 5*y + 197348. Is b a multiple of 209?
False
Suppose -24 = c - 4*c. Suppose 0*g = c*g + 16. Is 4 a factor of ((-3)/(15/g))/(2/60)?
True
Suppose -9*r - 14*r + 46767 = -61517. Is 107 a factor of r?
True
Let r = -1042 - -606. Let p = -321 - r. Is 18 a factor of p?
False
Is 21 a factor of (-36)/216 + 61214/(-12)*-1?
False
Let t be 324/60 - 2/5. Suppose 4*h + 15 + t = 0. Does 4 divide (-34*1)/(4 + h)?
False
Let q(k) = -k + 70. Let a(w) = 3*w - 210. Let u = -24 - -31. Let b(i) = u*q(i) + 2*a(i). Does 14 divide b(0)?
True
Let n be (3 - 3) + -3 - (-1 + -12). Suppose -15*u = -n*u - 1680. Let h = u + -202. Is h a multiple of 9?
False
Let b = 26 - 25. Let h = b + 1. Suppose -202 = -3*u + 3*q + h*q, 4*u - 304 = -2*q. Is 21 a factor of u?
False
Suppose 3*c - 4*h + 38 + 182 = 0, -3*h = -4*c - 305. Let w = c + 104. Suppose 3*y = 4*z + 55 + w, 0 = -3*y - 3*z + 51. Is 9 a factor of y?
False
Suppose 0 = -6*u + 22097 - 4589. Does 7 divide u?
False
Let j(s) = 2*s**2 + 2*s - 8. Let n = 83 - 81. Let p be j(n). Suppose -4*b = -4*d + 284, 359 = 6*d - d - p*b. Is d a multiple of 5?
True
Suppose -931 = -213*c + 206*c. Does 31 divide 37088/c - ((-39)/(-21) + -2)?
True
Suppose -7*c + 33 = 19. Is c/(-2) + (9 - -2 - 2) a multiple of 8?
True
Suppose 5*h - 517 + 2937 = 0. Let b = h - -813. Suppose 7*u - b = -112. Does 4 divide u?
False
Suppose 2*f + 200 = 3*f. Suppose -c = 3*c - f. Suppose c*q + 181 = 51*q. Is 13 a factor of q?
False
Let v(q) be the second derivative of -q**5/20 - q**4 - 5*q**3/3 + 9*q**2/2 - 19*q. Let h be v(-11). Is 17 a factor of (-2191)/(-10) - h/(-20)?
False
Let n(j) = -j**3 + 11*j**2 - 11*j + 15. Let u be n(10). Let h be (1 + -356)*(-4)/u. Suppose 0 = -0*z - 4*z + h. Does 10 divide z?
False
Suppose 4*s - 137718 = -5*h, -5*s = 20*h - 18*h - 172156. Does 23 divide s?
False
Let q be 11/11 + (-15 - (-2 - 0)). Let o(w) = -23*w - 38. Is 9 a factor of o(q)?
False
Let u be (-11)/(-3) + 2/6. Suppose -8 = -u*d - 0. Suppose 2*m = d*k + 2*k - 106, 0 = m - 3. Is k a multiple of 14?
True
Suppose -27*j + 60*j - 99 = 0. Suppose -37*t + 40*t + 4*v - 2645 = 0, 0 = -2*t + j*v + 1735. Does 23 divide t?
False
Let t(w) = w**3 - 3*w**2 - 13*w - 45. Let b be t(8). Suppose -816 = b*l - 177*l. Is 8 a factor of l?
True
Is 11 a factor of 2722 - (6 - 11 - (6 + -5))?
True
Let c(f) = 356*f**2 - 26*f - 6. Does 18 divide c(-3)?
True
Is ((-18)/12)/((-84)/(-24)) - 83460/(-14) a multiple of 30?
False
Suppose 0 = -850*g + 870*g - 2420. Is g a multiple of 3?
False
Let o(w) = -5*w**2 + 25*w - 18. Let i(f) = f**2 - f + 2. Let j(x) = 2*i(x) - o(x). Does 13 divide j(11)?
True
Let j(t) be the second derivative of -5*t + 7/3*t**3 + 4*t**2 + 3/4*t**4 + 1/20*t**5 + 0. Is j(-7) a multiple of 3?
False
Suppose -3*o = -7*o - 16. Let p(t) = 8*t - 28. Let v(w) = -10*w + 28. Let b(k) = -7*p(k) - 6*v(k). Does 3 divide b(o)?
True
Suppose -36*r = 145 - 577. Suppose 49*g = -r + 6186. Is 14 a factor of g?
True
Let r(x) = 2*x**2 - 9*x + 9. Let k be r(4). Suppose -4*m + 3*m + 412 = 3*z, -k*m - 252 = -2*z. Let u = z - 73. Is 8 a factor of u?
False
Let h = -3712 - -3976. Is 2 a factor of h?
True
Suppose -159*l - 115*l + 14216046 = 152*l. Does 52 divide l?
False
Suppose 5 + 4 = -9*q. Let k(g) = -605*g + 5. Let a be k(q). Suppose 6*z = z + a. Does 8 divide z?
False
Suppose 2385 - 34333 = -18*w + 4*w. Is 3 a factor of w?
False
Does 11 divide (-4 + 384/(-30))/(3/(-4420))?
False
Let o(j) = -j**3 - 116*j**2 - 373*j + 758. Is o(-113) a multiple of 20?
True
Let y(u) = 6*u**2 + 60*u - 90. Does 6 divide y(-31)?
True
Let d be 2*(-2 + (-1468)/(-8)). Let m = -55 + d. Let j = -217 + m. Is j a multiple of 12?
False
Let l be (-112)/(-21) - 4 - 172/3. Let b = l + 126. Does 7 divide b?
True
Let j(l) be the first derivative of -15*l**2/2 - 10*l - 2. Let a be j(-3). Suppose w - a = 45. Is w a multiple of 20?
True
Let a(h) = h**2 + 3*h. Let b be a(-3). Let j be 1 + 8/(2 + b). Suppose -5*f - 5*g = -g - 247, 3*f + j*g = 143. Is f a multiple of 4?
False
Let y(k) = 3*k**2 + 72*k + 5. Let p be y(-24). Suppose -795 - 465 = -p*f. Is f a multiple of 12?
True
Let z = -26452 + 29824. Does 3 divide z?
True
Suppose -7*p = -9