 -8 - -13. Let g(w) = 4*w**2 + 156*w + 8. Let s be g(-39). Let d = z + s. Does 3 divide d?
False
Let m = 752 + -758. Let f(w) = 24 + 3 - w + 2*w. Is f(m) a multiple of 20?
False
Let a(k) = -366*k - 3. Let v be a(-1). Suppose 3*y - 6 = v. Let f = y + -83. Does 8 divide f?
True
Let r(l) be the second derivative of 1/12*l**4 + 16*l + 0 + 13/20*l**5 + 3*l**2 - 2/3*l**3. Is r(2) a multiple of 42?
False
Suppose -249 = -7*m + 262. Suppose m*c - 5760 = 63*c. Is 22 a factor of c?
False
Suppose 2*x - 3*y = 6071, 3*x - 13179 = -y - 4089. Is 49 a factor of x?
False
Suppose 72*r + y + 3824 = 73*r, 11460 = 3*r + y. Does 54 divide r?
False
Is 7 a factor of 203/2*(-367 + 393)?
True
Let o = -16929 + 18691. Is 48 a factor of o?
False
Suppose 4*w = -w + 44910. Is 10 a factor of (-10)/((-60)/w)*1?
False
Let u = -233 - -219. Is (101 - -4)*u/(-42) a multiple of 3?
False
Let w be ((-2)/(-6) - 4/12)*-1. Suppose -36*k + 38*k - 8 = w. Suppose 0 = k*l - 4*f - 29 - 39, 0 = -l + 2*f + 21. Is l a multiple of 6?
False
Suppose -u = -z - 57, -u = 2*z - 5*z - 177. Is 55 a factor of (495/z)/((-2)/160*3)?
True
Let w(o) = -o**2 - 5*o + 24. Let u be w(3). Suppose h - j + 727 = 6*h, j - 2 = u. Is h a multiple of 5?
True
Let c be 113*(-2)/((-10)/5). Suppose 5*i + c = 2*v + v, -i = 3*v - 125. Is 11 a factor of v?
False
Suppose 5*p + 3*x = 8, 3 = -3*p + x + 19. Suppose -56 = p*s - 60. Is (s + 8)/(2/4) a multiple of 6?
True
Let k(v) = -v**2 - 17*v + 38. Let q be k(-16). Suppose 3 - q = g. Let m = 78 + g. Does 3 divide m?
True
Let q = 6504 - 5958. Is 2 a factor of q?
True
Let c = -1053 - -1548. Is 9 a factor of c?
True
Let v = -2539 - -4373. Is 5 a factor of v?
False
Suppose -2*f + 46 = -66. Suppose -4*t + 224 = f. Suppose -2*m + t = -130. Does 15 divide m?
False
Let z(l) = -395*l + 690. Does 39 divide z(-16)?
False
Suppose 1002*w - 1007*w - 4706 = -a, 0 = a - 3*w - 4716. Is a a multiple of 4?
False
Suppose -45*i + 620 = -25*i. Let l(v) = v**2 - 30*v + 143. Does 8 divide l(i)?
False
Is 50 a factor of -1409*(5 + (-8)/2)/(-1)?
False
Suppose -994 + 2666 = 13*t - 3320. Is 2 a factor of t?
True
Suppose -r = -b + 26, b - 2*b + 5*r + 30 = 0. Suppose 0 = 5*c - 20, 0 = -3*q + 7*q + 2*c - 56. Let t = b + q. Is 28 a factor of t?
False
Does 6 divide ((1 - -407)/2)/(19*(-14)/(-931))?
True
Suppose 5*r + 31209 = 15*r - 1831. Does 34 divide r?
False
Suppose 3*y + 378 = 132. Let i = y + 87. Suppose b + z - 293 = 0, -77 - 1388 = -i*b - 4*z. Is b a multiple of 43?
False
Let w(k) = -3*k - 34. Let a be w(-10). Let f(p) = -7*p**3 + 2*p**2 + 8*p - 12. Is f(a) a multiple of 27?
False
Suppose -y - 5*d = y - 18, 4*d = 0. Suppose -2*g - 14 = -y*g. Suppose g*f = f - 3*h + 28, -5*f - 3*h = -116. Is 3 a factor of f?
False
Suppose 5 = 5*m - g - 5, -19 = 2*m - 5*g. Suppose 806 = m*s + n, -3*s + 6*s - 808 = n. Is 18 a factor of s?
False
Let r(x) = -16*x + 1820. Is 20 a factor of r(30)?
True
Let z = -32930 + 86030. Does 295 divide z?
True
Let x(b) = 3*b**2 - 90*b - 1633. Is 25 a factor of x(-29)?
True
Suppose 139606 = 26*t + 46942 - 61958. Is t a multiple of 8?
False
Let i = -32 + 40. Suppose -5*y - i = -y. Is 6 a factor of y/14 - (-3976)/49?
False
Let x(n) be the third derivative of -n**4/24 + n**3/6 - 16*n**2. Let l be x(-4). Suppose 0 = w + 1 - l, -3*j + 3*w + 105 = 0. Is j a multiple of 2?
False
Suppose 4*k - 39204 = 2*b, -5*k - 3*b = -68570 + 19576. Is k a multiple of 70?
True
Let o = 71628 - 22422. Is o a multiple of 59?
True
Suppose -6*f - 10 = -11*f. Suppose -f*c + 33 + 377 = 0. Suppose 3*s - 77 - c = 0. Is 15 a factor of s?
False
Suppose -5*o + 3*g = 5*g - 137163, 5*o - 3*g = 137168. Does 53 divide o?
False
Let s be 11/33 + (-7419)/9. Let z = -418 - s. Is z a multiple of 14?
True
Let i = -4252 + 12104. Does 52 divide i?
True
Suppose -5*b = -12294 + 2459 - 14940. Is 5 a factor of b?
True
Let b = -276 + 710. Suppose b = 16*u - 9*u. Is 8 a factor of u?
False
Let a be ((6 - 7)/((-2)/(-758)))/(-1). Suppose -a = -2*o + 63. Does 19 divide o?
False
Suppose -20*h + 853196 = 82302 + 101654. Is h a multiple of 143?
True
Let d = 39453 - 33124. Is 67 a factor of d?
False
Let x = 1360 - -63. Let c = x + -943. Suppose d = -d + c. Does 40 divide d?
True
Let s(z) = -223*z - 187. Does 21 divide s(-2)?
False
Let w be (-143)/(-26)*(100 - -2). Does 17 divide (w/(-6))/((-6)/24)?
True
Suppose -3*d = 4*b - b - 81, -4*d = 5*b - 134. Suppose -2*w = -b - 282. Is w a multiple of 14?
True
Let s = 526 + -563. Let i = s - -289. Is i a multiple of 4?
True
Suppose -4*g = 5*r + 51 - 2060, 4*r + 4*g - 1604 = 0. Does 5 divide r?
True
Suppose 474*g - 456*g - 37584 = 0. Is g a multiple of 7?
False
Suppose -2*p + 3*a = -193, 0 = -3*p - 5*a + 88 + 154. Let v = p - 35. Does 10 divide v?
False
Is 13 a factor of (3 + 10)*-110*2/(12/(-21))?
True
Let m(r) be the third derivative of 15*r**4/8 + 36*r**3 + 22*r**2 - 1. Does 18 divide m(-4)?
True
Let d(h) = 573*h**2 + 264*h + 3049. Is 22 a factor of d(-11)?
False
Suppose -3*i + 8*i = -2*h - 129, 0 = -4*h + i - 225. Let v = 208 - 127. Let a = h + v. Is a a multiple of 8?
True
Let b = -495 - -665. Suppose -4*u + 4 = -8, 0 = p + 3*u + 101. Let k = b + p. Is k a multiple of 10?
True
Let d be (-2 - (-2)/4*2)*5. Let u be 1 + d/3 - 220/(-60). Suppose -141 = -u*r + 9. Is r a multiple of 5?
True
Suppose -g = -3*m - 5, -4*g + 0*m = -3*m - 47. Let l(z) = z**3 - 15*z**2 + 20*z - 15. Let n be l(g). Let p = 109 - n. Is p a multiple of 40?
True
Let p be (150/(-250))/(1/(-955)). Suppose -o + 2*d = -p, 5*o - 4*d - 1501 - 1358 = 0. Does 16 divide o?
False
Let c = -83190 + 122746. Does 29 divide c?
True
Let x(s) = -s**3 - 22*s**2 - 20*s + 13. Let k be x(-21). Let i(w) = w**3 + 12*w**2 + 16*w - 11. Is i(k) a multiple of 9?
True
Let d = -2266 - -4170. Is d a multiple of 11?
False
Suppose -3*j - 30 = 3*y, -5*j = 3*y + 9 + 21. Let z(u) = u**3 + 18*u**2 + 12*u. Is 10 a factor of z(y)?
True
Let j(s) = s**3 + 10*s**2 + 4*s + 7. Let w be j(-8). Suppose 345 = x - w. Is 14 a factor of x?
True
Let l = 6596 - -453. Is l a multiple of 84?
False
Let p(q) = 4*q**2 - q - 19. Let k be p(11). Suppose k = -9*c - 10121. Is (3 - (-124)/(-44)) + c/(-11) a multiple of 19?
False
Suppose 3*z = -5*n - 18 + 1523, 4*z - 1995 = 5*n. Suppose 89*g - z = 79*g. Is 3 a factor of g?
False
Does 6 divide (31296/36)/(4/6)?
False
Suppose 45 + 85 = 26*d. Let g(v) = 3*v - 5 - v - 5*v + 2*v**2. Does 10 divide g(d)?
True
Let a(r) = 857*r**3 + 4*r**2 - 140*r + 393. Is 36 a factor of a(3)?
True
Is 24 + 1056 + -1 + 3 + 0 a multiple of 2?
True
Let l = 92 + -87. Suppose l*d + 792 - 163 = 4*a, 2*a = -2*d + 292. Is 28 a factor of a?
False
Let k be (-2 + 0)*1368/16. Does 17 divide (32/80)/(-1 + k/(-170))?
True
Let l = -1757 - -1760. Suppose -174 = -4*p + 210. Suppose -3*k - l*f + p = 0, 0*k + 4*k - 2*f - 146 = 0. Does 7 divide k?
True
Suppose -5*z = -2*k - 9 - 11, -5*k = 3*z + 19. Suppose 4*q = -3*f + 2*f + 201, z*q - 396 = -2*f. Suppose -7*t = f - 1177. Is t a multiple of 14?
True
Suppose 4*g + 3*g - 126 = 0. Suppose k - 52 = g. Is k a multiple of 10?
True
Let c(w) = w**3 - 10*w**2. Let m(n) = -3*n**3 + 29*n**2 - n. Let r(d) = 11*c(d) + 4*m(d). Let b be r(5). Let f(k) = 3*k**2 - 2*k - 5. Does 6 divide f(b)?
True
Let z(a) be the second derivative of -a**4/12 + 5*a**3/6 + 8*a**2 - 13*a. Let c be z(7). Suppose -c*x - 12 = -5*x. Does 2 divide x?
True
Let k(o) = -4*o - 18. Let n be k(-5). Suppose n*j = -j + 5*x + 229, 2*j = -5*x + 111. Let l = -36 + j. Is 4 a factor of l?
True
Let y(t) = -t**3 + 3*t**2 - t - 28. Let z(f) = -f**3 + 21*f**2 - 56*f + 31. Let m be z(18). Does 42 divide y(m)?
False
Let r = -232 - -259. Let y(z) = 9*z - 56. Is 43 a factor of y(r)?
False
Let c(o) = o**3 - 16*o**2 - 3*o + 37. Suppose -3*h = 2*g + 2*h - 29, -4*h = 4. Does 10 divide c(g)?
False
Suppose -5*u + 10021 = -4*k, 5*k + 23 = 3. Is 13 a factor of u?
False
Let z(b) be the first derivative of 18*b**2 + 216*b + 95. Is 45 a factor of z(19)?
True
Does 16 divide (-28)/(-2) - (-8695 - -240)?
False
Let i = 813 + -459. Suppose -135 = 2*t + w - 0*w, 5*t - 3*w = -i. Let g = t - -80. Does 11 divide g?
True
Let q be 392 - (0 + (1 - 0)). Suppose 4*d - 5*u = -296, 6*d - u = d - q. Let z = d + 116. Is 11 a factor of z?
False
Let j = -162 - -62. Let m = 62 - j. Is m a multiple of 14?
False
Let m = 61672 + -38750