77. Let g(m) = 7*m**2 - 14*m + 139. Let h(l) = 11*g(l) + 6*q(l). Is 8 a factor of h(40)?
False
Suppose -5*y - 5*a = -15, 7 = 5*y - 4*a - 8. Suppose -3*x + 72 = -4*c, 12*x - 137 = 7*x + c. Suppose y*o - 307 + x = 0. Is o a multiple of 11?
False
Let r(y) = -191*y - 240. Let c be (-3)/(-5) + 43/(-5). Is 14 a factor of r(c)?
True
Suppose 0 = 4*s + 188 - 76. Let y = s - -148. Suppose 2*t - 72 = -t + o, o = -5*t + y. Is 6 a factor of t?
True
Suppose -g = 97 - 99. Suppose -2*p + 542 = -g*b, -8*b = 4*p - 3*b - 1102. Is p a multiple of 20?
False
Suppose 406*z - 90 = 388*z. Let b = -190 - -799. Is 17 a factor of (60/16)/z + b/4?
True
Let u = -596 + 1466. Suppose u + 50 = 4*g. Is 13 a factor of g?
False
Suppose -101 = -3*l + 214. Suppose 3*i - 15 - l = -c, -i = -5*c + 552. Is c a multiple of 2?
False
Let u(p) be the first derivative of -3*p**3 + 5*p**2/2 + 7*p + 22. Let k be u(6). Let d = -193 - k. Is 9 a factor of d?
False
Suppose -58311 = -o - 19428 + 28161. Is o a multiple of 302?
True
Is 107 a factor of (-14)/175 - 789135/(-125)?
True
Let q(f) = -f**3 - 5*f**2 + 4*f - 6. Suppose 5 - 14 = 3*c. Let z(l) = 2*l**3 + 4*l**2 - 3*l + 6. Let m(s) = c*q(s) - 2*z(s). Is 3 a factor of m(6)?
True
Let q = 240 + -241. Let c be (4/(-6))/((-13)/(-39)). Is (q/c)/(431/(-216) - -2) a multiple of 9?
True
Let z = -17210 - -31745. Is 171 a factor of z?
True
Suppose -2*c - z = -1948 - 743, -2*z = 2*c - 2696. Does 13 divide c?
False
Let v be 508/17 + -6 + (-4)/(-34). Suppose -17*h = -v*h + 686. Is h a multiple of 6?
False
Let b(h) be the second derivative of -h**4/12 - h**3 + 13*h**2/2 + 10*h. Let w be b(-8). Does 28 divide (3 - 3)/w + 57?
False
Let y = 441 - 440. Is 11 a factor of (6 + -7)*(-310 + (0 - y))?
False
Let p = -175 + 177. Suppose v - 2 = -b + 196, -5*v - p*b = -975. Is 13 a factor of v?
False
Let f(m) be the first derivative of 4*m**2 + 36*m + 28. Let z be f(-7). Does 23 divide 0/(-2) - (-265 + z)?
False
Suppose 2*q - 4*m = 152, -q + 2*m = q - 144. Let j = q - 50. Suppose 4*i + j = 2*n, n + 4*i = 3 - 0. Does 2 divide n?
False
Suppose -26*g + 22*g = -8. Let o(p) = -g*p**2 + 0 - 19*p + 5 + 1 + 5. Is o(-9) a multiple of 5?
True
Let n be 24/(-18)*36/8. Let z be 15567/(-57) + n/(-57). Let i = z + 553. Is 50 a factor of i?
False
Suppose -12*m = -17*m + 530. Suppose 26 - m = -2*u. Suppose u*r - 43*r = -435. Is 13 a factor of r?
False
Suppose -2558*t + 2561*t = 2*z + 104540, 5*z + 5 = 0. Does 82 divide t?
False
Let r be (0 - 0 - 1)*(-16 - -13). Suppose -4*x + i = -95, 5*i = -r*x - 9 + 109. Does 14 divide x?
False
Let r(y) = 15 - 37*y - 11 + 36*y. Let j be r(-8). Suppose -j = -b + 61. Is b a multiple of 6?
False
Let v(q) = -3*q**3 + 4*q**2 + q - 3. Let y be v(-3). Let t = 25 + y. Is t a multiple of 32?
False
Let m = -21545 - -44393. Is m a multiple of 17?
True
Let o(s) = 48*s - 307. Let r(h) = 32*h - 206. Let j(l) = -5*o(l) + 7*r(l). Is 4 a factor of j(5)?
False
Does 14 divide ((-3)/(-6))/(2/(-6066)*55/(-220))?
False
Let z(o) be the third derivative of o**6/120 + o**5/10 + o**4/24 + 4*o**3/3 - 36*o**2. Let a be z(-6). Does 12 divide (a - 1)/(-1)*(-155 - -47)?
True
Suppose 29*d - 34*d = -5*l - 2400, 3*d - 2*l = 1442. Let i = -458 + d. Is 12 a factor of i?
True
Let p(n) = n**3 + 64*n**2 - 185*n + 39. Is 15 a factor of p(-65)?
False
Suppose 2*j - 3*i - i = 10, i = 0. Suppose -5*d - 10*k + 1454 = -11*k, 0 = -j*d + 2*k + 1453. Is d a multiple of 25?
False
Suppose j - 141 - 92 = h, 0 = -3*h - 15. Suppose -12*m + j + 5052 = 0. Does 11 divide m?
True
Suppose -5*j - 86019 = -2*s, 48*s + 4*j = 53*s - 215107. Is s a multiple of 12?
False
Let j(w) = -81*w - 3570. Does 4 divide j(-70)?
True
Suppose 0 = -43*s + 35*s + 35*s - 177903. Does 30 divide s?
False
Let x = 34 - 39. Let z be (-2)/x - 13788/(-30). Suppose c + z = 5*c. Is c a multiple of 40?
False
Let c = -57 - -71. Let z be 0/((c + -4)/5). Suppose 4*r - 3*f - 958 = z, -f + 6*f = 10. Does 18 divide r?
False
Let a = -60 - -48. Is 14 a factor of (-6)/a - 1106/(-4)?
False
Suppose 22*w + 15*w - 28800 = -38*w. Is 71 a factor of w?
False
Let a = -84 - -189. Suppose z = 107 - a. Suppose 3*l - 72 = 4*i, -8*i + 4*i = -z*l + 48. Is l a multiple of 6?
True
Let x(f) = -74*f**3 - 3*f**2 + 18*f + 32. Is 83 a factor of x(-4)?
True
Let f(g) = -566*g - 6245. Is 33 a factor of f(-12)?
False
Let z(c) be the second derivative of -c**3/6 + 6*c**2 - 19*c. Let h be z(-15). Suppose h*k = 24*k + 171. Is 19 a factor of k?
True
Let h(b) = -10*b**3 + 2*b**2 - 2*b - 2. Let q be h(-1). Does 13 divide (-1840)/q*-1*3?
False
Let l(v) = 99*v + 1147. Does 35 divide l(30)?
False
Suppose -4*h + 48 = -312. Let z = h + -75. Let m(f) = -2*f**2 + 40*f + 10. Is m(z) a multiple of 40?
True
Let u(j) be the second derivative of j**7/2520 + j**6/720 - j**5/20 - 2*j**4 + 27*j. Let s(n) be the third derivative of u(n). Is s(-6) a multiple of 17?
False
Is 20 a factor of (598/39)/(2/69)?
False
Let a(k) = k**2 - 5*k - 4. Let n be a(8). Let b be (1838 - 1) + n/(-5). Is (-8)/(-3)*b/52 a multiple of 19?
False
Let d be (6/8)/(-3*11/(-6204)). Let x = d + 34. Does 25 divide x?
True
Let f(m) = 7*m + 2. Let p be f(-3). Let x(c) = -c + 16. Let v be x(p). Suppose 5*r + d - 475 = -v, -4*r + 352 = d. Is 11 a factor of r?
True
Let v(p) = p + 11. Let o be v(-7). Let w(y) = 18*y**2 - 5*y + 20. Is w(o) a multiple of 48?
True
Let n be (2 + 18/(-3))*(-6)/(-4). Let f(x) = -x**2 - 8*x - 4. Is f(n) even?
True
Let g(j) = -8*j**2 - 11 - 3*j**3 + 19*j + 12 - 4*j**2 + 19. Does 46 divide g(-8)?
False
Let q(b) = -b**3 - 55*b**2 + 304*b - 212. Is q(-65) a multiple of 282?
True
Let y = -9 - -91. Let n(z) = 47*z + 2. Let a be n(3). Let v = a - y. Does 14 divide v?
False
Let d = -595 + 597. Is 8 a factor of (3 - d)*(1 - -175)?
True
Suppose 0*y - 4*j = -y + 12, -3*j = -5*y + 60. Let r(q) = -q**3 + 7*q**2 + 98*q. Let z be r(-7). Suppose -y*m + 11*m + 182 = z. Is 13 a factor of m?
True
Suppose g = 1, -12*h + 14*h + 5*g + 1273 = 0. Let k = -398 - h. Does 7 divide k?
False
Suppose 2*q = 2*k + 3*q + 1, 2*k + 2*q = 0. Let j be -4*(-3 + k + 2). Suppose -1433 - 231 = -j*t. Is 16 a factor of t?
True
Let j(i) = 3369*i + 120 - 3370*i - 43. Suppose w = -0*w. Is j(w) a multiple of 17?
False
Let k(n) = n**3 - 5*n**2 + 7*n - 13. Let l be k(5). Is 6699/l - (-12)/8 a multiple of 9?
True
Let l(r) = 39*r - 89. Suppose 4*o + 24 = 2*i + i, 0 = 3*i - 5*o - 24. Does 10 divide l(i)?
False
Let j = 163 + -208. Is (-6)/45 + (-11481)/j a multiple of 17?
True
Let t(j) = -4*j. Let p be t(-1). Suppose -6*o = -4*o - 2*w - 1586, o = -p*w + 788. Suppose -5*k + o - 172 = 0. Is k a multiple of 13?
False
Let z = 6388 + -5366. Does 14 divide z?
True
Suppose -y + 820 = -11*i + 9*i, 5*i - 4040 = -5*y. Is y a multiple of 81?
False
Suppose 0 = -z - z + 672. Let q be z/32*(-4)/6. Let w = q + 104. Does 14 divide w?
False
Let p be -1*3/6*(-24)/4. Let j(f) = 25 + 105*f**2 - 17*f**2 - 24 + p*f. Is 23 a factor of j(-1)?
False
Let v = -3662 + 6252. Is v a multiple of 18?
False
Suppose 0 = 3*g - 4*t - 80348, -11*t - 14753 = 3*g - 95116. Is 24 a factor of g?
True
Let i = -6387 - -6563. Is 2 a factor of i?
True
Is 1/4*60 + 406 a multiple of 3?
False
Let i(j) = -5*j + 167. Let x(o) = -7*o + 166. Let t(r) = 5*i(r) - 4*x(r). Is 3 a factor of t(-31)?
True
Let i(r) be the second derivative of r**4/12 - 2*r**3/3 + 17*r**2/2 - 1357*r. Let k be (2 + -6)*(-5)/2. Is 11 a factor of i(k)?
True
Suppose -2*s - q = 3*s + 597, 0 = -3*s - 3*q - 351. Let l = 117 + s. Is (-9 - -1)/(l/21) a multiple of 14?
True
Suppose 73*a - 65*a = 32. Suppose 0 = 3*o + 4*m - 1616, 0 = -4*o - 0*m + a*m + 2108. Does 28 divide o?
True
Let c be ((-15)/2)/((-25)/(-4) + -7). Is -2 - ((-1)/(-2) + (-2965)/c) a multiple of 21?
True
Suppose 3*n = 2*l - 0*l + 8, 2*l = -2*n + 12. Suppose -n*v = -8, o + 19 = 6*o - 3*v. Suppose 2*i - 3*k + o*k = 204, 0 = -3*i - k + 306. Is 8 a factor of i?
False
Let c(y) = -12*y - 94. Let w be c(6). Let i = w - -226. Does 10 divide i?
True
Suppose 0 = -16*i + 13*i, 2*h + i = -h + 89310. Is h a multiple of 30?
False
Suppose -k + 20213 = -4*t, 0 = 3*k - 10*t + 13*t - 60564. Is 7 a factor of k?
False
Let d = -82469 - -135284. Does 208 divide d?
False
Does 7 divide (-48377)/(-21) + (-5 + 4)/(-3)?
False
Let i(k) = 2882*k - 1366. Is 140 a factor of i(3)?
True
Let b(x) = 51*x + 