+ 15*b - 2*b**2 + 20*b. Does 27 divide i(9)?
True
Let p(l) = 11*l - 13. Let i be p(2). Suppose -i*o + 0*o = -27. Is ((2016/15)/4)/(o/15) a multiple of 24?
True
Suppose -5*w + b = -6*w - 7, -5*b = 2*w + 5. Let d = -8 - w. Is (-1 - d)/(6/(-10))*20 a multiple of 25?
True
Let s(c) be the third derivative of c**5/60 + 7*c**4/24 + 16*c**3/3 + c**2 + 30. Is s(-9) a multiple of 10?
True
Let a = -14071 + 35015. Does 8 divide a?
True
Let a(d) = 3*d**2 + 18*d - 21. Let r(l) = -7*l**2 - 36*l + 42. Let h(g) = -5*a(g) - 2*r(g). Let c be h(-9). Let u = 0 + c. Does 24 divide u?
False
Let j = 28239 - 17885. Is j a multiple of 167?
True
Suppose -5*h = -1973 + 1973. Suppose -5*y - 2811 + 8811 = h. Is 12 a factor of y?
True
Suppose 4*y = -2*k + 84106, -y = 213*k - 210*k - 21039. Does 8 divide y?
True
Suppose -15*k + 19*k - 156 = 0. Let h(p) = -42*p**2 - 6*p + p**3 + k*p**2 - 22 + 0*p**3. Is h(8) a multiple of 25?
True
Let t(f) be the second derivative of -f**3/3 + 33*f**2 - 77*f. Is 2 a factor of t(0)?
True
Let s = 2283 + -5305. Let g = 4390 + s. Does 57 divide g?
True
Let l = -1 - -6. Let c be (-84)/60 - (-2)/l. Does 20 divide 160*(5/(-10) - c)?
True
Suppose -3*w = -3*w - 6*w. Suppose 10*i - 899 + 229 = w. Does 5 divide i?
False
Let r = 3156 + -1662. Does 9 divide r?
True
Let f(o) = 10*o**2 - 6*o - 4. Let a(z) = -11*z**2 + 6*z + 4. Let g(p) = -5*a(p) - 6*f(p). Let h be g(6). Is (-1)/((-10)/70 - 6/h) a multiple of 5?
True
Let v = 26 - -32. Suppose 0 = 61*d - v*d - 375. Is d a multiple of 25?
True
Is 10 a factor of 775710/30 + 28/7?
False
Suppose 2*q = -2*z + 1428, 85*q - 80*q + 4*z - 3577 = 0. Is 18 a factor of q?
False
Let h = -101 + 116. Suppose o - 53 = h. Is o a multiple of 3?
False
Let i(h) = 29*h**3 - 11*h**3 - 5*h + 3 - 3*h**3 - 14*h**3 + h**2. Let f be i(2). Suppose 0 = 7*q - f*q - 96. Is 4 a factor of q?
True
Let x = -162 + 177. Suppose 4*z - 3420 = -x*z. Does 24 divide z?
False
Let z = 39 + -44. Let l be (1 + 54)/(z/(-20)). Suppose -4*v + l = 24. Is v a multiple of 10?
False
Suppose -3*w = -3*u - 192, 34 = -3*w + 2*u + 228. Let d = w + -62. Suppose d*h = 73 + 355. Is h a multiple of 26?
False
Let n = -3483 - -5382. Is n a multiple of 45?
False
Let y be 0 - (-2*12 + 4). Let u(q) = q**2 - 6*q - 5. Let t be u(5). Is ((-672)/y)/(-1 + (-7)/t) a multiple of 14?
True
Is ((-181)/5 + 2)*((-1640)/10 + 9) a multiple of 11?
False
Suppose -624*o + 621*o + 50376 = -4*n, 0 = -5*o - 2*n + 84012. Is 16 a factor of o?
True
Does 206 divide (-143)/(-65)*5 - 191525/(-5)?
True
Suppose -i - 615 = -5*t, -t = 5*i - 27 - 122. Suppose -2*z + t = -z. Let f = z + -77. Is 26 a factor of f?
False
Let a(p) = 54*p**3 + 7*p**2 - 7*p. Let o(i) = 6*i - 119. Let s be o(20). Is a(s) a multiple of 9?
True
Let s(l) = 2*l**2 - 151*l + 2786. Is s(144) a multiple of 115?
False
Let j = -75 + 172. Let l = j - -323. Is l a multiple of 17?
False
Suppose 5*q - 19585 = -3*z, 5*q + 4*z = 7063 + 12517. Is 9 a factor of q?
False
Let j be ((-120)/35)/(-4)*70. Is 2 a factor of (-6)/(-4*6/j)?
False
Let n(c) = 28*c**2 + 87*c - 208. Let z(f) = -10*f**2 - 29*f + 69. Let w(g) = -4*n(g) - 11*z(g). Is 5 a factor of w(-16)?
True
Suppose w - 4*p = 3349, 26903 = 8*w - p + 6*p. Is 3 a factor of w?
False
Let m(g) = -1. Suppose 2*i = -4*i - 12. Let q(u) = -14*u - 6. Let j(z) = i*q(z) + 22*m(z). Does 48 divide j(7)?
False
Suppose -5*l + 0*r = -3*r - 110, 0 = -2*r. Suppose l*f - 1283 = 17813. Does 31 divide f?
True
Suppose 2*r = 5*q - 153, -3*q = 2*r + 26 - 105. Suppose -9*j - q - 7 = 0. Let w(t) = 7*t**2 + 3*t + 8. Is w(j) a multiple of 15?
False
Let k(m) = 673*m + 911. Is k(22) a multiple of 24?
False
Suppose -40147 - 31974 = -6*c - 25855. Is 54 a factor of c?
False
Let s = 72 + 734. Is 42 a factor of s?
False
Let b = 2526 + 2518. Does 7 divide b?
False
Let j(f) = 4*f - 5*f - 2 + 6*f - 7*f. Let k be j(-1). Let m(r) = 7*r + 242. Is 22 a factor of m(k)?
True
Let b(a) = -4*a + 9. Let x be b(2). Does 22 divide 557 + -1 - (x + 5)?
True
Let t(n) = -n**2 - n + 22. Let g be t(-5). Let b be -4 + g + 602 - -4. Suppose -3*h - 4*i = -464, 0 = 4*h - 8*h + 2*i + b. Does 34 divide h?
False
Suppose -263*i + 2*m - 44381 = -268*i, 4*m = -i + 8869. Does 128 divide i?
False
Is 675/125 + 7/((-140)/8) + 12679 a multiple of 25?
False
Suppose 6*u - 10402 - 17024 = 0. Does 13 divide u?
False
Let z(o) = 2*o + 22. Let b be z(5). Suppose 7 + b = 3*l. Is 3 a factor of l?
False
Suppose 1874813 - 132563 = 115*s. Is 6 a factor of s?
True
Let k be (6/(-5) - 0)/((-27)/180). Suppose -11*f + 7*f - 126 = -2*b, -2*f = k. Is 7 a factor of b?
False
Suppose -3*x + 4*q = -4, q = x + x - 6. Suppose x*v - 2819 = -4*b + 553, 5*v + 2545 = 3*b. Is b a multiple of 65?
True
Let a be 11 - (-2)/(-8)*0. Suppose -2*o - m + 3 = 0, -o - m + a = 3*o. Suppose -3*l = 3*y - 2*y - 213, o*l - 265 = 5*y. Is l a multiple of 7?
True
Let r(g) = -4*g + 37. Let d be r(21). Let f = d + 96. Suppose -v + f - 1 = 0. Is 9 a factor of v?
False
Let j(h) = 174*h - 1030. Is j(49) a multiple of 29?
False
Let f(z) = z**3 - z + 45. Let j be f(0). Let v = -45 + j. Suppose -3*n + 111 - 21 = v. Is n a multiple of 5?
True
Let x = -430 + 845. Suppose -x = 7*o - 4531. Does 14 divide o?
True
Suppose 8270 = -80*f + 75*f. Let k = 2346 + f. Does 12 divide k?
False
Suppose 2*s - 23*l + 58 = -20*l, 2*l - 62 = 2*s. Is 55 a factor of (-332 + (0 - -1))*(-36 - s)?
False
Let i = 59 - -8. Suppose 3*j = i + 47. Let q = 47 - j. Does 9 divide q?
True
Is 15 a factor of ((-99)/(-12) - 6)*(-52168)/(-6)?
False
Let f(y) = 6*y + 26. Let l be f(-4). Suppose -4*g + 57 = 5*s - 139, 4*s - 158 = -l*g. Does 10 divide s?
True
Let j = -24 + 57. Suppose -4*l + j = -5*l. Let c = l - -111. Is 19 a factor of c?
False
Let w(t) = -2*t**2 + 28*t - 25. Let i be (-1)/4 - 583/(-44). Let p be w(i). Does 4 divide (-945)/(-60) - p/(-4)?
True
Let b = 72 + -93. Let c be (8/(-7))/4 + (-90)/b. Suppose -864 = -5*u - c*u. Does 12 divide u?
True
Suppose 9*d - 232 = d. Suppose -2*f + 17 = f + b, 2*b = 3*f - d. Is 3 a factor of f?
False
Suppose 9*y - 8*y + 6 = 0. Let n be 2/(-3) + ((-52)/y - 4). Suppose 7*b - 4*b - 5*j - 77 = 0, -56 = -n*b - 5*j. Is 10 a factor of b?
False
Let x(a) = -2*a**2 - 18*a - 15. Let l be x(-10). Let f = 40 + l. Suppose -2*s + 3*n - f*n + 94 = 0, 178 = 4*s + 2*n. Is 6 a factor of s?
True
Suppose -12*d - 15*d = -8424. Is d even?
True
Suppose -58*l = 25*l - 20*l - 1297800. Is 25 a factor of l?
True
Let f(l) = -94*l + 37. Does 73 divide f(-22)?
False
Let c(r) = r**2 - r - 16. Let z be c(5). Suppose -3*l + z*n = -1835, 9*l - 7*l - 1220 = 2*n. Is l a multiple of 25?
False
Let p = -593 + 641. Suppose 520 = 4*b + 132. Suppose p = r - s, r + b = 3*r - 3*s. Is 7 a factor of r?
False
Let o = -9184 + 38888. Does 29 divide o?
False
Let l = 1694 - 827. Let v = l + -555. Is v a multiple of 13?
True
Let y(v) = 11*v - 19. Let l be y(17). Is 7 a factor of 2 - (-4 - l)/4?
False
Let w(v) = -102*v - 59. Let f be w(-8). Suppose 5*l = -2*s + 1530, 18 + f = s + 5*l. Does 72 divide s?
False
Let a(s) = 6665*s - 120. Does 100 divide a(5)?
False
Suppose -57*v + 143979 = -151350 + 76107. Is v a multiple of 8?
False
Let w = -5 - -9. Let z be -7*2/14*-1. Does 19 divide (w - 8) + z + 60?
True
Let u(v) = -v**3 - 2*v**2 - 2*v + 1944. Is 81 a factor of u(0)?
True
Let x(z) = z**3 + 0 - 5 + 6*z + 16*z**2 + 0*z**2. Suppose -3*s - 39 = -2*v, -5*s = -35*v + 37*v + 81. Does 17 divide x(s)?
False
Suppose 5*g = 4*b - 7*b + 142, 0 = 2*b + 3*g - 94. Suppose 0 = -b*y + 24*y + 1180. Does 4 divide y?
False
Let y(s) = 479*s**3 + 2*s**2 - 6*s + 5. Let k be y(1). Suppose 3*d + c - k = -3, -2*d - 5*c = -318. Is d a multiple of 7?
False
Let d(t) = -t + 8. Let r be d(5). Suppose 3*s = r*z - 0*z, 4*z = s + 15. Suppose -2*u - 231 = -s*u. Does 10 divide u?
False
Suppose 7*x - 17*x = -1190. Let q = 205 - x. Suppose r - q = -g, 6 = -g + 4*r + 67. Does 7 divide g?
False
Suppose -34 = -2*r - 26. Suppose 5*f = r*a + 843, a + 15 = 6*a. Is 10 a factor of f?
False
Let i = -14 - -21. Let l be 0 + (3 - i) + 211. Let g = -141 + l. Is 11 a factor of g?
True
Let n = -1057 + 1737. Does 32 divide ((-576)/27)/(5 + n/(-135))?
True
Let c(i) = -20*i - 567. Let a be c(-54). Let z = a - -20. Does 62 divide z?
False
Let r(y) = 178*y**3 - 4*y + 5. Let z = 330 - 329. Is 10 a factor of r(z)?
False
Supp