l = 5*w + 3*o - 3348, -11*o - 3372 = -5*w - 8*o. Is w a multiple of 21?
True
Let y(u) = 17*u - 66. Let c be y(4). Let f(s) = 133*s**2 - s + 10. Is 54 a factor of f(c)?
True
Suppose -77*l = -21*l + 112. Is 32 a factor of (-1)/(l*6/(-36)) + 355?
True
Suppose -18 = 5*g - 183. Suppose -6*t + 3*t + 84 = 0. Suppose t*z + 550 = g*z. Is 22 a factor of z?
True
Let j(r) = 273*r**3 + 43*r - 7. Is j(3) a multiple of 71?
False
Does 140 divide 5 - (364/(-7))/(6/393)?
False
Let x(u) = -u**3 + 4*u**2 + 7*u - 5. Let b be x(5). Does 48 divide (b - (-86)/(-10))*-120?
True
Let v = -3 + 17. Let u be (928/52 - 9) + 4/26. Suppose -575 = u*y - v*y. Is 11 a factor of y?
False
Let c = 318 + -316. Does 18 divide c/((-6)/(-1557)) + 4?
False
Let t(n) = -74*n**2 - 52*n + 34*n**2 + 39*n**2 + 77. Is 11 a factor of t(-53)?
False
Suppose -z = -5 + 6. Let l(f) = f**3 - f. Let k be l(z). Suppose -223 = -2*j + 6*o - o, 5*o - 5 = k. Is 13 a factor of j?
False
Let y(m) = 22*m - 68. Suppose -11*l + 34*l = 230. Is y(l) a multiple of 38?
True
Let m = -5721 + 9089. Does 6 divide m?
False
Let u = -5002 + 7651. Does 100 divide u?
False
Let z = -165 + 168. Suppose 900 = 3*f + z*f. Is f a multiple of 30?
True
Let j be (156/(-390))/((-1)/2065). Suppose 828*m - j*m = 808. Is 52 a factor of m?
False
Let g = -63 + 15. Let z = 50 + g. Suppose -x - 2*y + 146 = 0, -4*x - 3*y + 294 = -z*x. Does 41 divide x?
False
Let y(m) = -116*m - 88. Let l be y(-19). Suppose 9*c - 305 - l = 0. Does 11 divide c?
False
Suppose -3*g + g + 2*l = 0, -3*l = g. Let z be g*(-1)/5*(-25)/10. Suppose -3*a = -9, -d = -z*d + 4*a - 168. Does 12 divide d?
True
Let o(t) = t**2 - 12*t - 24. Let a be o(12). Let i = a - -9. Let d(m) = -6*m + 30. Does 21 divide d(i)?
False
Is (-18)/27*2550/(4/(-8) + 0) even?
True
Let j = -82 + 28. Let o = 397 + j. Is 10 a factor of 4/10 + 3/(15/o)?
False
Let t(b) = b**3 + 13*b**2 - 20*b - 10. Let p be t(-14). Let i = p + -29. Let a = i - 33. Does 5 divide a?
False
Suppose 0 = 12*t + 71*t - 442307. Does 54 divide t?
False
Suppose 2118*o = 2104*o + 168700. Is o a multiple of 50?
True
Suppose 0 = 5*h - 5*p + 220, -176 = 4*h - 5*p + 4*p. Let x = 12 - h. Does 7 divide x?
True
Suppose 2*g + 38856 = -29*g + 589075. Does 129 divide g?
False
Let t = 7352 - 467. Is 54 a factor of t?
False
Suppose 0*h - 216 = -12*h. Suppose -2925 = h*r - 9549. Is 38 a factor of r?
False
Let h(k) be the second derivative of 19*k**6/360 - k**5/120 - 13*k**4/12 + 4*k. Let l(x) be the third derivative of h(x). Is 15 a factor of l(2)?
True
Let s = 12316 - 10696. Is 36 a factor of s?
True
Let s(d) = 2*d**2 - 11*d + 22. Suppose 0 = -3*r - 4*g + 11, -9*g + 12*g = -2*r + 6. Is s(r) a multiple of 25?
False
Let t = -9792 + 20520. Is 72 a factor of t?
True
Suppose -3*y = 5*t + 2, 4*t - 5*t - 1 = 0. Is 16 a factor of (-3)/(12/(-628)) + (-1 - y)?
False
Let s = 12838 + -4467. Is 11 a factor of s?
True
Let c = -1086 + 1547. Let l = -256 + c. Is l a multiple of 41?
True
Let i(r) = -21*r + 95. Let o be i(-4). Let h = o + 412. Does 15 divide h?
False
Let u(n) = 20*n**2 - 52*n - 131. Let h(p) = 9*p**2 - 26*p - 66. Let c(m) = 7*h(m) - 3*u(m). Is 5 a factor of c(19)?
True
Let c(n) = -n**3 - 16*n**2 + 3*n + 15. Let t be c(-16). Let a be (-1)/(t/16 - -2). Suppose 5*v = -a + 266. Is 25 a factor of v?
True
Let c be (2 + (-15)/10)*6/1. Suppose 3*m - m - 5*k = -10, 4*k - 8 = -c*m. Suppose x = -4 - 1, m = 2*g - x - 329. Is g a multiple of 18?
True
Let p(t) be the third derivative of t**5/12 + 35*t**4/24 - 5*t**3/6 - 14*t**2 - 2*t. Is 73 a factor of p(-16)?
False
Suppose 4*a - 3104 = 5*l, 23*a + 3*l - 1574 = 21*a. Does 13 divide a?
False
Let h = 48502 - 27058. Does 122 divide h?
False
Let k be (4 - 18/4)*0. Suppose h - 5*l + 18 = k, -4*l = -h - h - 12. Is (h/(-6))/(-1)*15 a multiple of 5?
True
Let b = -533 + 902. Let d = -114 + b. Does 15 divide d?
True
Is 212 a factor of 12/18 - (244805/(-33) + -1)?
True
Let u be ((-180)/(-7))/(3/63). Let q = 1527 + -1523. Suppose -d - u = -q*d. Is d a multiple of 31?
False
Let t(i) = 20*i**2 + 108*i - 2908. Is t(23) a multiple of 14?
False
Suppose -5*m - 714 = -k, -5*k + 3*m + 3492 = 4*m. Let q = 1203 - k. Does 21 divide q?
True
Let g(n) = 49*n**2 + 258*n - 24. Does 27 divide g(18)?
False
Suppose 27*b = 19*b + 48, 2*b = d - 49. Is d even?
False
Does 53 divide (-2297919)/(-312) + (-75)/(-40)?
True
Let p be 2/7 + (-5368)/(-28). Let q be 2 + -5 - (1 - 105 - -3). Let k = p - q. Does 12 divide k?
False
Let l be 8/(-1) - (-35 + -15). Is (-4044)/(-9) + (-56)/l a multiple of 28?
True
Let x = -3261 + 6681. Does 18 divide x?
True
Suppose 153*p - 13702559 = -752945. Is p a multiple of 101?
True
Suppose -63*r - 5664 = -66*r. Let c = r - 1129. Suppose 7*x - c = -4*x. Does 8 divide x?
False
Suppose 4*m - 140668 = -4*n, 38*m - 37*m + 2*n - 35174 = 0. Does 20 divide m?
True
Let r be (59/(-1))/(2 + -1). Let c be 7185/90 + 3/18. Let i = c - r. Is 33 a factor of i?
False
Let o = -9782 + 19826. Is 36 a factor of o?
True
Does 21 divide -2*(-15)/24 - (-5)/(-40)*-249638?
True
Let d(r) = 15*r - 35. Let f(t) = 8*t - 1. Let z(s) = d(s) - 4*f(s). Suppose 3*v - 35 = 8*v. Is z(v) a multiple of 11?
True
Let y(t) = -3*t**2 + t + 1. Let c(l) = -4*l**2 + 12*l + 19. Let r(s) = -c(s) + y(s). Does 42 divide r(29)?
True
Let m = -201 - -205. Suppose 0 = -m*h - 4*b + 2608, 0*h = -2*h + b + 1289. Is 66 a factor of h?
False
Suppose -2*f - 1 = -f. Let i be (-5 - (-10 + 2)) + (1 - f). Is -1 + i - (-97 - 0) a multiple of 9?
False
Suppose 3*q = -3*z + 2*z + 3765, 0 = 5*z + 5*q - 18805. Suppose -10*x = 179 - z. Is 14 a factor of x?
False
Let j(p) = 158*p**2 + 18*p - 63. Does 105 divide j(4)?
False
Let t be 3*(-8)/(-8) + 0/1. Suppose t*s - 8*s - 5*l = 0, -s = -3*l. Suppose s = -0*j + 3*j - 36. Is j a multiple of 3?
True
Let l(p) = 53*p + 3. Let j(q) = 64*q + 4. Let z(d) = -3*j(d) + 4*l(d). Let g(k) = k**2 - 3*k + 1. Let m be g(4). Is z(m) a multiple of 25?
True
Let y be ((-4)/(-10))/((21/595)/(-3)). Let x = -11 - y. Is x - -2*(-4)/(-8) a multiple of 3?
True
Suppose 13*j + 19 = 14*j. Is (7*j - (-5 - -8)) + 5 a multiple of 15?
True
Let o(f) = 7*f - 6*f - 6 + f. Let m be o(7). Let a = 9 + m. Does 4 divide a?
False
Let u(h) = 3*h**2 - 22*h + 21. Let m(k) = 2*k**2 - 20*k + 20. Let j(p) = -4*m(p) + 3*u(p). Let l be 24/(-10)*(-60)/(-8). Does 11 divide j(l)?
True
Suppose -8*i - 8 = -9*i. Suppose -2*q - 2 = i. Is (q/4)/5 - 562/(-8) a multiple of 12?
False
Let n be ((-2)/(-3))/((-38)/(-1311)). Let j = 36 + n. Is j a multiple of 35?
False
Is -4326*2/(-2) + 231/(-7) + 27 a multiple of 15?
True
Let s(u) = 5*u**2 + 7*u + 4. Suppose -5*m + 16 = k + 2, -5*k + 12 = -4*m. Is 14 a factor of s(k)?
True
Let r(f) = -556*f - 5097. Is r(-17) even?
False
Suppose -m - 4442 = 5*z, 3*z + m = 5*z + 1781. Let r = z - -1526. Does 8 divide r?
False
Let l = -688 - -432. Let s = 432 + l. Is s a multiple of 22?
True
Let x = -2273 - -2315. Is 3 a factor of x?
True
Let p(c) be the second derivative of c**5/20 + 2*c**4/3 - c**3/3 - 21*c**2/2 - 151*c. Is p(-6) a multiple of 7?
True
Let h(u) = -216*u - 1876. Is h(-15) a multiple of 23?
False
Let o(h) = 35*h - 2481. Is o(123) a multiple of 6?
True
Let x(u) = 0*u**2 + 1 + 11*u**2 + 0 - 34*u**3 + 33*u**3. Let f be x(11). Is 16 a factor of 77 - 2 - f*4?
False
Suppose 142*m - 68544 = 139*m. Suppose z + 31*z = m. Is z a multiple of 21?
True
Suppose -2*n + 1206 + 118 = i, 3*n - 18 = 0. Is i a multiple of 17?
False
Let h(u) = -u**3 + 5*u**2 + 798*u - 58. Does 34 divide h(30)?
False
Is 26 a factor of ((-2310)/(-24))/77 + 67451/4?
False
Let w(f) be the third derivative of 1/60*f**5 - 1/12*f**4 + 0*f + 6*f**2 + 0 + 1/6*f**3. Is 8 a factor of w(-3)?
True
Let i be (-3)/(135/(-57816)) - 2/(-10). Is 14 a factor of i/4 - 3/(-16)*4?
True
Let j be (-142)/(4/10 + -2 + 2). Let k = j - -643. Does 8 divide k?
True
Let c be 6 + 12/(-11 - -5). Is 10 a factor of ((-61)/c)/(325/(-80) - -4)?
False
Suppose 0 = -n - o - 7, 0*o = 4*n + 5*o + 29. Let k(i) be the second derivative of i**4/12 + 6*i**2 - 59*i - 1. Does 12 divide k(n)?
True
Let k be (-8)/(-28) + (-356)/(-28). Let f(j) = -j**3 + 14*j**2 - 11*j - 24. Let r be f(k). Suppose -5*t = -c - 65, 58 = 7*t - 3*t - r*c. Does 4 divide t?
True
Let r(g) = -g**3 + g**2 - g + 1. Let b(s) = -s**3 + 10*s**2 - 8*s - 9. Let h be b(9). Le