 77. Let m be j(5). Is (189/m)/(-3) - (-1)/2 a multiple of 6?
False
Let r(f) = f**2 - 5*f - 4. Let d be r(6). Suppose -d*o + 11 + 3 = 4*c, -5*c + o + 21 = 0. Suppose 4*k = -0*k - 5*a + 38, 2*a = -c. Is k a multiple of 4?
True
Suppose 4*i - 2*i = 8. Suppose -3*d = p - 1689, -d - 2776 = -p - 1099. Suppose -i*f + 16*f - p = 0. Does 6 divide f?
False
Let m = 166 - 161. Suppose 0 = 3*p - 3*s - 177, 0 = -m*p + p - s + 211. Is p a multiple of 9?
True
Suppose -4*p - 5044 = -2*z, 647 + 1875 = z - 5*p. Is 8 a factor of z?
False
Suppose 2*j + 46 = 5*c - 0*c, 2*c + j - 22 = 0. Suppose 0 = -15*r + c*r - 165. Does 26 divide 78/4*(-44)/r?
True
Let h(v) = -168*v - 72. Let p be h(-12). Suppose -67*z + 55*z + p = 0. Is z a multiple of 3?
True
Is (-7139 - -4)*592/(-185) a multiple of 14?
False
Let h(m) = m**3 - 4*m**2 - 7*m + 6. Let w be h(7). Let u = w - 47. Does 3 divide u?
True
Suppose 2*o = b, o + 3 = 1. Let p(a) = -63*a + 8. Let w be p(b). Suppose -7*j + w + 27 = 0. Does 13 divide j?
False
Let g(c) = 216*c**2 + 182*c + 13. Does 24 divide g(8)?
False
Let q(d) be the third derivative of 16*d**4/3 + 6*d**3 + 183*d**2. Is q(6) a multiple of 18?
False
Suppose -2*c - 3*c = 4*s - 2067, c + 3*s - 409 = 0. Is c - (-5 - 13/(78/(-36))) a multiple of 4?
False
Let l(t) = -58 + 170 - 55 + 15*t. Does 16 divide l(9)?
True
Suppose -19*t + 11778 = 7*t. Let s = -291 + t. Is s a multiple of 27?
True
Let p(u) = 8*u - 14. Let r be p(1). Let l be (3 + 0)/(9/r) + 5. Suppose 0 = -2*f + 4*i + 238, -l*f + 5*f + 5*i = 256. Does 41 divide f?
True
Suppose -11*u - 245 = -6*u. Let m = u - -37. Is 80/m*(-18)/15 a multiple of 4?
True
Suppose -4*a - 148 = 92. Let t = -57 - a. Let r(s) = 13*s**2 + 7*s - 2. Is 17 a factor of r(t)?
True
Suppose -3*n = -38*n + 86800. Is 8 a factor of n?
True
Let g(w) = 5*w**3 - 9*w**2 + 73*w - 31. Let q be g(9). Is 24/4 - q/(-7) a multiple of 20?
False
Let b be 889 - 0/(-2) - (-11 + 11). Suppose 0 = -21*c + 2177 + b. Is 34 a factor of c?
False
Let d(q) = -3*q + 26*q + 24*q - 12*q - 7. Suppose b + 2 - 4 = 0. Is d(b) a multiple of 25?
False
Let g be ((-2)/4 - (-243)/6) + 1. Suppose -i + g = -2*i. Let s = i - -77. Is 6 a factor of s?
True
Suppose -187*k + 186*k + 2275 = -4*b, b - 8998 = -4*k. Is 38 a factor of k?
False
Let x be (-6)/(-9)*(-45)/(-10). Suppose b - 7 = -x. Suppose 5*m - 54 = -5*p + 766, 5*m = -b*p + 652. Is 14 a factor of p?
True
Suppose -2*s = -8*s + 1056. Suppose -194 = -2*c - s. Suppose 382 + 680 = c*w. Is w a multiple of 11?
False
Let w = -35 - -40. Let x be 40/(-10) - w*-2. Suppose 2*h + 8 = x*h, -3*y + 3*h = -144. Does 25 divide y?
True
Suppose v = -5*i + 1080, 2*v - 82 = -5*i + 1003. Suppose i*b - 332 = 214*b. Is 31 a factor of b?
False
Let a(d) = -1563*d**3 - d**2 + 2. Let k be a(-1). Let l = k + -99. Suppose 11*p = 16*p - l. Does 40 divide p?
False
Let k be 13*((-13)/13)/(3 - 2). Does 2 divide 30/(-195) - (-3 - (-1354)/k)?
False
Let p(b) = -15*b - 414. Is 9 a factor of p(-99)?
True
Let f be 7 + 16 - -1*2. Let v be (0 - -1)*-1*(-2 - -17). Let a = v + f. Is a a multiple of 10?
True
Let w be 9 + 2*6/(-2). Suppose -2*n - w*t = -0*n - 559, -2*n = -t - 539. Is 8 a factor of n?
True
Suppose -3*t + 3*h = -116 + 44, -2*h - 120 = -5*t. Suppose 26 = -2*m + t. Is 0 - (-13 + 2) - m a multiple of 6?
True
Let g = 6728 - 1672. Is 64 a factor of g?
True
Let y(j) = 73*j**2 - 7*j - 429. Is 312 a factor of y(26)?
False
Suppose 246*i - 93*i + 172*i = 3134950. Is 13 a factor of i?
True
Let m be 2/(-5) + 96/(-10). Let p(g) = -2*g - 15. Let k be p(m). Suppose f + k*o + 28 = 3*f, 0 = 5*o. Is 14 a factor of f?
True
Suppose 99*l - 102*l = -7161. Is 20 a factor of l?
False
Suppose -18*m + 4240 = u - 23*m, 5*m = -10. Does 47 divide u?
True
Let j(d) = 56*d**2 + 124*d + 2. Is 66 a factor of j(-13)?
True
Let u = -33395 + 70825. Does 197 divide u?
True
Let z = 9198 - 9080. Is 3 a factor of z?
False
Let z = -6215 - -21311. Is 17 a factor of z?
True
Let k = -170 - -116. Let d = k + -6. Let i = d + 75. Does 5 divide i?
True
Let q(l) = -l**3 - 24*l**2 + 22*l - 54. Let s be (-123)/5 + 12/(-150)*5. Is 9 a factor of q(s)?
False
Let y be (-9)/6 - 2/16*-28. Let c be ((-1)/2 - 0)*2. Does 15 divide y*36 + c + 3?
False
Let c(v) = 7*v**3 + 5*v**2 - 2*v - 4. Suppose 0 = 2*r - 2*q - 4 - 12, -12 = 3*q. Is 16 a factor of c(r)?
False
Let z = -17 - -44. Let g = 246 + z. Suppose -2*n = r - g, 4*r - 74 = -n + 52. Does 14 divide n?
False
Suppose 0 = -4*y + 3*h + 3903, 15*y = 13*y + 3*h + 1953. Is y a multiple of 15?
True
Suppose -u + 3*w = 54, -3*u + 4*w - 137 = -0*u. Let o be 5/(-30)*2*u. Does 16 divide o/4 - 3 - (-1182)/8?
False
Suppose 2*d + 16 = 198. Let t = -65 + d. Is t a multiple of 2?
True
Suppose -68 = 5*r - 98, 3*y + r - 98976 = 0. Does 46 divide y?
False
Let k be -6*20/(-6)*11825/(-100). Let n = -1582 - k. Is 18 a factor of n?
False
Suppose 1646*r = 1632*r + 49938. Does 29 divide r?
True
Let c(v) = 2*v**2 - 13*v + 29. Let f be c(4). Suppose 4*t - o = o + 2470, -f = 3*o. Does 20 divide t?
False
Suppose 3*z = 3*b + 23508, -5*z + 0*b + 39204 = b. Suppose 16*c - 2*c = z. Is c a multiple of 14?
True
Is 76 a factor of (7001676/84)/11 - (-24)/56?
False
Let w = 687 - -118. Suppose k + 16 = 4*z, -2*k = -2*z - 3*z + 20. Suppose z*m - 649 = x, 0 = -5*m - 2*x - 3*x + w. Is m a multiple of 27?
True
Suppose 10*c + 15*c + 177870 = 35*c. Is c a multiple of 11?
True
Let j = -3516 - -3580. Is j a multiple of 4?
True
Let u(f) = 64*f - 307. Let m be (-20)/((-1 - 3)/2). Does 3 divide u(m)?
True
Let b = 1528 - 815. Is b a multiple of 31?
True
Suppose 0 = -9*w + 198 - 171. Suppose 5*s - 5*f - 950 = 0, -w*s - 2*s = f - 974. Is s a multiple of 3?
False
Let t(z) = 163*z - 2153. Is 12 a factor of t(35)?
True
Suppose -3*t + 2*j - 5*j = -726, 5*t = 3*j + 1226. Suppose 2*s = 9*k - 11*k + t, 0 = 5*k - 25. Is 12 a factor of s?
False
Suppose -9 = -2*x + 3*k, -5*x + 14 + 6 = -5*k. Let s(c) be the third derivative of 35*c**4/24 - c**3 - 5*c**2. Is s(x) a multiple of 21?
False
Suppose 3*q + 57 = -3*h, 0 = -4*h - 3*q - 0*q - 71. Let a(b) = -2365577 + 2365562 - 3*b + b. Is 2 a factor of a(h)?
False
Let b = -440 - -887. Suppose 5*h = 5*x - 435, -15*h + b = 5*x - 17*h. Is 13 a factor of x?
True
Suppose 48*j = 47*j - 2. Is 3*j/6*-93 a multiple of 9?
False
Let h(m) = -96*m**2 + 3*m - 11. Let o(v) = -96*v**2 + 3*v - 12. Let k(x) = -5*h(x) + 4*o(x). Is k(-3) a multiple of 22?
True
Let p be ((-2 + -1)*2)/((-6)/740). Suppose -12*k + 11*k = -p. Suppose -4*c = -5*j - 633, 0 = 5*c - 2*j + 6*j - k. Is c a multiple of 19?
True
Let o(f) be the first derivative of 2*f**3/3 + 8*f**2 + 11*f + 18. Let i be o(-10). Is 11 a factor of (-4)/((-12)/i) + 1?
False
Let p(r) = 14*r**2 - 49*r - 246. Is 4 a factor of p(-6)?
True
Let t(w) = 147*w**3 - 14*w**2 + 25*w - 20. Is 7 a factor of t(5)?
True
Let g be (4 + -7 + 81/21)*35. Is (70/(-20))/(((-7)/g)/7) a multiple of 5?
True
Does 5 divide (30/(-12) + 7 - 5)*-4526?
False
Let k be (((-3630)/35)/11)/((-2)/84). Suppose -s - k = -4*x, 10*s = x + 5*s - 80. Is 50 a factor of x?
True
Let u(m) = 19*m**3 + 27*m**2 - 190*m + 13. Does 18 divide u(10)?
False
Let p(c) = 31401*c**2 + 387*c - 386. Does 19 divide p(1)?
False
Let p be (-222)/(-27) - 2 - (-2)/(-9). Suppose 4*t + 240 = p*t. Suppose 0 = -4*d - 40 + t. Is 17 a factor of d?
False
Suppose -2*i = -6, 5*s - 47313 = 33*i - 29*i. Is s a multiple of 72?
False
Suppose -53284 = 9847*a - 10020*a. Is 2 a factor of a?
True
Let p(y) = 91*y - 14. Let f = -284 + 286. Does 8 divide p(f)?
True
Let o(q) = 185*q - 9. Let i be o(-3). Let r = -327 - i. Suppose 218 = 5*x - r. Is x a multiple of 9?
False
Let n(y) = -3*y + 29. Let x be n(6). Let h be 2/x + 45/55. Is (h + 126)/(4/4) - 1 a multiple of 6?
True
Suppose 102*h - 1904 = 106*h. Let z = h - -890. Does 9 divide z?
True
Let o(h) = 6*h**2 - 6*h - 21. Suppose -8*g - g = -108. Is o(g) a multiple of 34?
False
Suppose 2*l + 16418 = 4*c - 3382, -5*l = 0. Does 29 divide c?
False
Let k = 2860 - -388. Does 58 divide k?
True
Let b(o) = -o**2 + 26*o - 64. Let w be b(32). Is (4 + w/10)*(-320)/24 a multiple of 3?
True
Let u = 24 + -10. Is 9 a factor of ((-72)/(-7))/(2/u)?
True
Let q = 8634 + -5513. Is 4 a factor of q?
False
Suppose 12*q + 4*y = 8*q - 40, 4*y - 8 = 2*q. Is 7 a factor of 3 - 3155/(-20) - 2/q?
True
Let p(c) = -6*c + 