 2*z + 3*b - 19. Let s be (-6)/(-4) + (-6)/z. Let t(k) = 170*k**2 + k - 2. Is 39 a factor of t(s)?
False
Let g = -587 - -589. Is 16 a factor of g*(3 - 3/3) - -1670?
False
Let y(i) = i**2 - 29*i + 57. Let a be y(27). Suppose -a*b + 582 = r + r, -1208 = -4*r + 5*b. Is r a multiple of 11?
True
Let c be (-17)/(-4) + 7/(-28). Suppose c*q - 5*x = -5, 4*x = -0*q - 3*q + 35. Suppose 0 = 2*w + q*u - 260, 2*u = -3 - 1. Is 45 a factor of w?
True
Suppose -4*a + 671 + 169 = 0. Suppose -3*k + 235 = -5*d - a, -586 = -4*k + 3*d. Let s = -81 + k. Does 10 divide s?
False
Let j(v) = 8*v**2 + v - 1. Let c be j(0). Does 18 divide (42/(-10) - c)/((-72)/17820)?
True
Let l = -4063 - -10202. Does 20 divide l?
False
Suppose 2*a = -2*o + 50, 6*o - o = a - 49. Suppose -a*b - 396 = -31*b. Does 22 divide b?
True
Suppose -60 = o - 7*o. Suppose 0 = -2*b - 3*b + o. Suppose 3*m - 125 + 14 = -2*i, -b*m + 202 = 4*i. Is i a multiple of 36?
False
Let m be -1*1 + (-9)/(-1). Let y(b) = 94*b - 1282. Let c be y(14). Let f = m + c. Is 21 a factor of f?
True
Let o(t) = -3*t - 16. Let a be o(-7). Suppose -4*u + 68 = a*r, -4*r = u - 3 - 25. Suppose -u*h + 1352 = -4*h. Is h a multiple of 13?
True
Suppose 4*v - 68 = -2*w, -12 = 3*w - 0*w. Suppose c + 2*b - 10 = 0, -4*c - b - v = -66. Suppose 0 = 4*s + c, 2*s = y + 3*s - 47. Is 10 a factor of y?
True
Let s be (-97)/(2/6*(-6)/8). Suppose -s - 332 = -4*v. Is v a multiple of 6?
True
Suppose -2*z = 5*j - 2267, -z + 443 = j + 2*z. Let k = -346 + j. Is k a multiple of 13?
False
Let n = -794 - -1176. Is 17 a factor of 30/20*n/3?
False
Let m(v) = -3*v + 42. Let p(q) = -q**2 + 17*q - 3. Let a be p(19). Does 11 divide m(a)?
True
Let n be (-14)/10 + (-9)/15 + 9. Suppose 2100 = 7*t + n*t. Does 21 divide t?
False
Let l = -6667 + 19345. Is l a multiple of 69?
False
Is -4*(4 + 214/(-24))*(1 - -359) a multiple of 56?
False
Suppose 0 = -4*r - 6 - 10, 4*r - 2 = -2*q. Let s be (-777)/q - 2/3. Let i = -51 - s. Is i a multiple of 18?
True
Does 6 divide ((-60)/(-24))/(185/284604)?
True
Let f(n) = n**3 - 26*n**2 + 70*n - 11. Let m be f(23). Is 63 a factor of m/(-4) - (-7 + 5 + -1639)?
True
Suppose 5*t + 2*o = 64, -3*o = -5*t - 2*o + 73. Let j = 17 - t. Suppose -3*r + 87 - j = 0. Is r a multiple of 28?
True
Let q(m) = m - 11. Let f be q(14). Suppose 228 = 3*z + 2*c, -399 = -5*z + f*c - 0*c. Does 13 divide z?
True
Let j(n) = 27*n - 34 + 241*n**2 - 717*n**2 + 241*n**2 + 233*n**2. Is 5 a factor of j(8)?
False
Let k(r) = 4*r**2 + 7*r + 42. Let l be k(11). Suppose 201 - l = -6*m. Is m a multiple of 23?
False
Let x = 9 + -4. Suppose -22 = -x*y + 23. Suppose -y*n + 120 = -n. Is 3 a factor of n?
True
Let a = 4712 - 2750. Is 6 a factor of a?
True
Let l = -10 + 17. Let n(a) be the second derivative of a**5/20 - a**4/2 + a**3 + 7*a**2/2 - a - 601. Is 14 a factor of n(l)?
True
Does 50 divide (-36)/((-16488)/(-1500) - 11)?
True
Let q(c) be the third derivative of -2*c**4/3 + 23*c**3/6 - 73*c**2. Does 7 divide q(-7)?
False
Suppose 10*n + 1900 = -15*n. Is 4 a factor of 1/4 - 8037/n?
False
Suppose -5*p - 5 = 4*d, 0 = -5*d - 18*p + 15*p + 10. Suppose 3*m = -t - 172 + 454, -d*t = -5*m - 1450. Does 96 divide t?
True
Suppose 2*c = -10, 2*t - c + 15 = -6*c. Suppose -f - 7096 = -t*i, 0 = 2*i + 7*f - 3*f - 2856. Is 25 a factor of i?
False
Let u = 215 - 218. Let x(i) = -3*i**2 - 16*i + 5. Is 13 a factor of x(u)?
True
Let f = 15419 - 2709. Is 4 a factor of f?
False
Let j(w) = 2*w**2 + 71*w + 1050. Is 29 a factor of j(43)?
True
Suppose d = 3*t - 5, 4*t - 28 = -0*t - 4*d. Let q(m) = 50 - 8 + 7*m + 4*m**2 - t*m**2. Is q(-21) a multiple of 12?
True
Let x = -243 - -232. Let n(t) = t**2 - 9*t - 10. Let v(b) = -b**2 + 10*b + 11. Let h(o) = 6*n(o) + 5*v(o). Does 24 divide h(x)?
False
Let r(h) = -2*h + 23. Let u be r(9). Suppose 4*k = l + 177, 2*k = -u*l + 6*l + 87. Is k a multiple of 7?
False
Suppose 6*f - 95 = -71. Suppose f = 2*t, -t + 2*t + 634 = 3*p. Is 6 a factor of p?
False
Suppose 96*d - 7010 = 38206. Does 3 divide d?
True
Let r(s) = -s + 13. Let k be 6/(-21)*14/(-1). Let b be r(k). Is (b/3 - 4) + 94 a multiple of 18?
False
Suppose 0 = -4*a + 6*a - 4*s - 190, -3*s = 2*a - 197. Suppose -4*o - 91 = a. Let n = o - -131. Does 28 divide n?
True
Let r(g) = -838*g - 5034. Is r(-7) a multiple of 13?
True
Let k be 52/20 + (24/(-15))/(-4). Suppose k*v - 867 = -165. Let b = -125 + v. Does 13 divide b?
False
Let z = 1743 + 1632. Does 9 divide z?
True
Let z(s) = -4*s + 41. Let n = 57 + -46. Let v be z(n). Is -2 + 42 + v + -1 a multiple of 2?
True
Let z = 60 + -20. Suppose t = -a - 12, -3*a - 2*a - t = z. Let h(l) = -28*l - 21. Is h(a) a multiple of 13?
False
Suppose -3*x - 20465 = -8*x + 3*k, 0 = -5*x + 4*k + 20460. Is 16 a factor of x?
True
Let b(p) be the first derivative of -7*p**3/3 + 7*p**2 + 4*p - 19. Let v(j) = 20*j**2 - 43*j - 13. Let k(o) = 17*b(o) + 6*v(o). Is k(21) a multiple of 6?
False
Let k(r) = r**2 - 24*r + 803. Is k(62) a multiple of 243?
True
Let q = -7120 - -9479. Does 8 divide q?
False
Does 192 divide (-211049266)/(-2369) - 4/(-46)?
True
Is 82 a factor of (-32)/5 + (384/(-40))/16 - -5829?
True
Let z be -28 + 29 + 166*(-2)/(-4). Suppose -z*m + 568 = -83*m. Is 71 a factor of m?
True
Let y = -8800 - -10768. Is 11 a factor of y?
False
Suppose -54*k - 40535 = -57*k - 5*y, 2*k = 4*y + 26994. Does 185 divide k?
True
Does 18 divide ((-133416)/153)/((-1)/4)?
False
Suppose 39*a + 40920 = 72*a. Does 2 divide (2 + (-8)/10)/(12/a)?
True
Let d = -20496 - -29351. Does 26 divide d?
False
Let c be 3/2*(-36)/(-27). Suppose 2*u + 0*u - 683 = 3*o, 0 = -5*u + c*o + 1702. Does 34 divide u?
True
Let r = -3 + -4. Let y(x) = -2*x**3 + 11*x**2 + 8*x + 3. Let b(i) = i**3 - 10*i**2 - 9*i - 4. Let p(j) = 3*b(j) + 2*y(j). Is p(r) a multiple of 15?
False
Let l = -34 + 30. Let f = l + 64. Does 12 divide (1 - 10)/(f/63 + -1)?
False
Does 3 divide ((-13085)/65)/(-8*7/728)?
False
Let y(h) = -2*h**2 + 31*h - 33. Let v be y(17). Is 4 a factor of v/(-3) + 2 - -2?
True
Suppose 0*d = -d + s + 1737, 0 = -s + 4. Is 135 a factor of d?
False
Let s(o) = -15 + 15*o**2 + 1 - 7*o**2. Let b be s(-5). Suppose 10*g - b + 46 = 0. Is g a multiple of 8?
False
Is 552*(-12 - 1062/(-81))*6/10 a multiple of 5?
False
Suppose 15864 = p - 4*u, 46*u - 31698 = -2*p + 49*u. Is 36 a factor of p?
True
Let i(x) = x**2 + 6*x + 124. Let q(v) = -4*v**2 - 24*v - 494. Let j(p) = 9*i(p) + 2*q(p). Is 14 a factor of j(-11)?
False
Suppose -347*b - 1675 = -348*b. Suppose 5*q = 390 + b. Is 11 a factor of q?
False
Let q(y) = y**2 - 10*y - 8. Let w be q(11). Suppose 6 + 3 = w*t. Suppose -5*d = t*r - 199, -4*r - 5*d + 254 = -8. Does 7 divide r?
True
Suppose 1 = -4*j - 5*c + 42, -14 = -j - 5*c. Suppose 36 = -j*z + 11*z. Suppose z*l + 480 = 21*l. Is l a multiple of 11?
False
Suppose -14*v + 12*v = 12. Let x be (-188)/v - 2/6. Suppose 5*i - 24 = x. Does 8 divide i?
False
Let o(c) = -13*c**2 - 14*c**2 - 5 + 36*c**2 - 15*c - 5*c**2 + c**3. Is o(-4) a multiple of 11?
True
Suppose -2*c - 38 = -4*d, -3*d + c + 34 = 8. Suppose -2*j - 1895 = -5*o, o - 382 = d*j - 6*j. Is 29 a factor of o?
True
Let n = 1737 + -1410. Suppose 110 + 816 = 2*a. Let l = a - n. Is l a multiple of 20?
False
Suppose 682*a - 464*a = 7496148. Is 15 a factor of a?
False
Suppose 2*j - 2*m = -169 + 575, j - 4*m - 218 = 0. Suppose 5*z + 4*l = -294, 3*l - j = z + 2*z. Let r = z - -105. Does 5 divide r?
False
Let v(o) be the third derivative of -o**5/30 + o**3/3 + 36*o**2. Let u be v(1). Suppose u*h + 3*h = -5*b + 171, -h + 68 = -2*b. Is 12 a factor of h?
False
Suppose 159*j - 157*j - 224950 = -5*a, 0 = -5*a + 4*j + 224980. Is 32 a factor of a?
True
Does 24 divide (-369)/287 + (-3033)/(-7)?
True
Suppose 154 - 1808 = -3*m + 32. Is 14 a factor of m?
False
Let a = 3848 - 2835. Is 211 a factor of a?
False
Let x(s) = 15*s**2 + 25*s + 740. Does 30 divide x(-14)?
True
Suppose -4*w + q = -174187, w = 13*q - 14*q + 43553. Is w a multiple of 19?
True
Suppose -3*z = 4*c + 206 - 969, -5*c + 5 = 0. Let v = -73 + z. Is 6 a factor of v?
True
Let g(p) = 907*p**2 - 106*p + 3. Is 12 a factor of g(3)?
True
Let w(r) = 72*r**2 + 262*r + 1918. Is 86 a factor of w(-7)?
True
Let o(m) = -27*m - 5. Let y(l) = 27*l + 10. Let r(t) = 3*o(t) + 4*y(t). Is 25 a factor of r(10)?
False
Let k = 576 - -1272. Is k a multiple of 24?
True
L