 be u(13). Let m = w + 175. Is m a multiple of 6?
False
Let t(r) = 4233*r - 993. Is 32 a factor of t(7)?
False
Let r = 532 - 1067. Let n = 772 + r. Is n a multiple of 30?
False
Let k(w) = -2*w**3 + 2189*w**2 - 4413*w**2 + 3*w**3 - 20*w + 2204*w**2 + 56. Does 34 divide k(23)?
False
Let a(u) = -39*u + 100. Let h be a(-4). Let g = h + 152. Is 18 a factor of g?
False
Let o(m) = 544*m**2 - 35*m + 33. Does 35 divide o(1)?
False
Let b(x) = 7*x + 6. Let l be b(2). Let v(h) = -2*h**2 + 42*h + 26. Does 7 divide v(l)?
False
Let q(v) be the third derivative of -v**5/6 - 3*v**4/8 - 23*v**3/6 - 3*v**2. Let x(f) = -3*f**2 - 3*f - 8. Let b(m) = 2*q(m) - 7*x(m). Does 14 divide b(-6)?
True
Let z = 64 - 65. Let d be 0 - (0 - (-4)/z). Suppose 0 = -d*h - 179 + 899. Is 20 a factor of h?
True
Suppose 4*v - 13172 = -z, 3*z = 8*z - 3*v - 65791. Does 14 divide z?
True
Suppose -12*p + c = -11*p - 7380, p = 4*c + 7359. Is p a multiple of 83?
True
Let u(n) = -77*n - 945. Does 3 divide u(-31)?
False
Let j(a) = -5*a - 16. Let y(l) = -l + 5. Let v be y(2). Let f be j(v). Let u = f + 46. Is 5 a factor of u?
True
Suppose 3*m = -4*m + 4*m. Suppose 11*h + 14 + 8 = m. Does 9 divide (-5313)/(-189) - h/(-18)?
False
Let c(i) = 3322*i - 4814. Does 114 divide c(9)?
False
Let q(n) = -n**3 + 18. Let l be q(0). Suppose 3*r = -k + 4, -4*k - l = -r - 4*r. Let z(u) = -5*u**3 + 2*u**2 + 5*u + 2. Is z(k) a multiple of 40?
True
Let n = 18 - -186. Let z = 342 - n. Is z a multiple of 23?
True
Let z(g) = 5*g**2 + 12. Let l be z(-7). Suppose 4*n = 3*o - l - 722, 2*n = o - 327. Suppose -h + 5 = 0, -w = 2*w - h - o. Is w a multiple of 12?
False
Let u = -5 + 9. Let m(l) = -l**3 - 16*l**2 - l - 15. Let j be m(-16). Suppose j = -u*r + 37. Is r a multiple of 8?
False
Suppose 0 = 4*h - h. Let o = 369 + -281. Suppose -2*w - 4*g + o = h, w - g - 6 - 38 = 0. Does 4 divide w?
True
Let s = -5832 - -34801. Is s a multiple of 24?
False
Let h(j) be the second derivative of -11*j**3/2 + 42*j**2 + 2*j + 16. Does 60 divide h(-12)?
True
Suppose -33855 = -15*p + 9345. Is 45 a factor of p?
True
Let u = -45484 - -85724. Is u a multiple of 42?
False
Let r be (81/(-18))/(1/(-2) - -1). Let x = r + 95. Is 23 a factor of x?
False
Let t = 27408 - 19360. Is t a multiple of 18?
False
Suppose 21*a = 26*a - 25. Suppose 16 = -a*j + j, 3*j + 1282 = 2*d. Is d a multiple of 20?
False
Suppose 0 = 3*d - 545*b + 542*b - 16911, 28245 = 5*d + 5*b. Is d a multiple of 33?
True
Suppose -1534*z + 1605*z - 590988 - 810481 = 0. Does 12 divide z?
False
Suppose 2*k = 3*n - 590, -n - 231*k = -226*k - 191. Is n a multiple of 4?
True
Let n(q) = q**2 + 62*q + 3086. Is 8 a factor of n(158)?
False
Let r(k) = k**3 - 4*k. Let i(h) = -h. Let c(x) = 3*i(x) + r(x). Let o be c(3). Is 78 - (o/(2/1) - 4) a multiple of 42?
False
Let y(k) = -k**2 - 427*k + 33. Is 7 a factor of y(-51)?
False
Suppose 104*t - 24675 = 29*t. Is t a multiple of 7?
True
Let g(a) = -214*a + 20. Let k(q) = q + 1. Let t(b) = g(b) - 6*k(b). Is 13 a factor of t(-1)?
True
Let v(l) = -48*l - 5261. Is 3 a factor of v(-125)?
False
Is 63 a factor of (-177020)/(-53) + -2 + (-1 - -2)?
True
Does 55 divide -5 - (-1 - -620)/(6 + (-484)/80)?
True
Let l(r) be the second derivative of 7*r**4/12 + r**3 + 9*r**2/2 - 7*r + 1. Does 12 divide l(-2)?
False
Suppose 14 = 5*i + u, 5*i - 12*u = -8*u + 19. Suppose i*n = f + 3021, -3453 - 1582 = -5*n - 4*f. Is n a multiple of 19?
True
Let r be 25/(-10)*(-28)/(-10). Let b(x) = -364*x - 298. Does 15 divide b(r)?
True
Suppose -7*k = -41 - 29. Does 4 divide -5 - ((k - 6) + -244)?
False
Suppose 2380 = 7*q - 4*u - 3353, -819 = -q - 5*u. Does 91 divide q?
True
Let f = -80 + 129. Let x = 48 - f. Let p(k) = -141*k**3 + 2*k**2 + 2*k + 1. Is p(x) a multiple of 12?
False
Let u(j) = -j**3 + 8*j**2 - 11*j + 6. Let q be u(6). Suppose q*n = 5*n. Suppose 16*k - 626 - 1262 = n. Does 21 divide k?
False
Let w(s) = 29*s + 604. Does 8 divide w(8)?
False
Let o(d) = 393*d**2 + 15*d + 2. Let l(f) = 1176*f**2 + 45*f + 6. Let x(u) = 6*l(u) - 17*o(u). Is 46 a factor of x(-2)?
True
Suppose -32*z = -37*z + 355. Let n = z - 67. Suppose 3*g - 311 = -5*u, 25 = u - n*g - 28. Is u a multiple of 8?
False
Suppose -6 = -5*d + 8*d. Let g be (55/d)/((-10)/60). Suppose -2*t = -h - 0*h + g, -t + 335 = 2*h. Is 34 a factor of h?
False
Let f = 3191 - 1187. Is 167 a factor of f?
True
Suppose t + 6 = 0, -15742 = -2*a + 5*t - 4030. Does 46 divide a?
False
Suppose -4*f = -2*r + 7048, 5*f - 66436 = 36*r - 193032. Is 3 a factor of r?
True
Let g(j) = 910*j - 9672. Is g(45) a multiple of 68?
False
Let q = 5589 - 3594. Suppose q = 24*i - 5*i. Does 3 divide i?
True
Suppose -2*z = -5*z - 6, -5*x + 24 = 3*z. Suppose 4*i - 2*i - 5*v = 9, 2*v - x = 4*i. Does 11 divide 5 + i - (-201)/6*2?
False
Suppose -5*g - 2*b = -3150, g - 161 = -2*b + 461. Let m = g - 264. Is m a multiple of 46?
True
Suppose 42 = -8*y + 5*y. Let g = y + 182. Does 14 divide g?
True
Let t(n) = -n + 27. Suppose 0 = 12*d - 190 + 226. Is t(d) a multiple of 10?
True
Suppose 2*i = -5*l + 20479, -i + 10244 = -6*l + 10*l. Does 32 divide i?
False
Is 13 a factor of -12*(473/(-66))/((-3)/(-156))?
True
Let i(z) = 235*z - 2*z**3 + 20*z**2 - 5*z**2 + z**2 - 237*z + 34. Is i(7) a multiple of 15?
False
Let k = 55174 + -32219. Is k a multiple of 125?
False
Let n = 12564 + 1411. Does 66 divide n?
False
Let g(r) = 4*r**2 + 58*r - 714. Is g(43) a multiple of 85?
False
Let u(n) = 6*n**2 + 14*n - 11. Let a(p) = p**2 - p. Let l(v) = v**3 + 3*v**2 + v + 2. Let m be l(-2). Let z(x) = m*a(x) - u(x). Does 5 divide z(-9)?
False
Suppose -6*t + 43 = -77. Suppose -2*g - 10 = 3*o, 2*o + t = -0*o - 4*g. Is 19 a factor of (2 - -3 - -5)*(o - -10)?
False
Let o(u) be the second derivative of -u**5/20 - 11*u**4/12 - u**3/2 + 11*u**2 - 3*u. Does 2 divide o(-11)?
False
Let x = -500 - -525. Suppose -x*n = -1067 - 1783. Does 3 divide n?
True
Let y = 7306 + 21627. Is y a multiple of 60?
False
Let g be (-2)/11 + 1140/220. Suppose 355 = 20*l - 17*l + g*c, l - 5*c = 85. Is l a multiple of 11?
True
Let u(k) = 896*k**2 - k + 2. Suppose 8*w - 6*w + 9 = -3*j, j + 4 = -w. Is u(j) a multiple of 31?
True
Let x(a) = 3*a**2 - 11*a - 14. Let d be x(9). Let h = 1960 + d. Suppose -2*v = -13*v + h. Is v a multiple of 19?
True
Suppose -4*p - 318*n + 316*n + 16714 = 0, -5*p + 20893 = 3*n. Does 19 divide p?
False
Suppose 2*p = 21*i - 16*i - 78344, 2*i = -p + 31334. Does 77 divide i?
False
Suppose i = -5*d + 5*i - 78, -36 = 3*d + 3*i. Let j be 14/(-3)*12/d. Suppose -4*f + 156 = -j*w, 0 = 4*f + 2*w + w - 191. Is 22 a factor of f?
True
Let j be (-15 - 8/(-4))/(1/1). Let i(k) be the third derivative of -k**5/60 - 2*k**4/3 - 3*k**3/2 - 112*k**2. Is 6 a factor of i(j)?
True
Let r(q) = -391*q + 1756. Is 13 a factor of r(-29)?
False
Suppose 0 = -21*x + 91 + 14. Suppose x*h + 40 = t, 3*t + 4*h - 3*h = 40. Is t a multiple of 15?
True
Does 255 divide (22/(-55))/((-2)/16830)*65/3?
True
Suppose 5*w = -4*z + 2*w + 13636, 5*z + 4*w = 17044. Let r = z - 1687. Does 39 divide r?
False
Let t be ((-1364)/77)/((-4)/14). Suppose -13*b + 1232 = t. Is b a multiple of 18?
True
Let y = 14522 - 5934. Does 16 divide y?
False
Let k = 3925 + -3935. Let q(z) = -z - 10*z**2 - 3*z**3 + 2*z**3 - 6*z + 12. Is 13 a factor of q(k)?
False
Let h = -2025 - -2340. Is 61 a factor of h?
False
Is 21 a factor of ((-9)/(-5))/((-174)/(-69020))?
True
Suppose -4*l + 5*n = -5987, 5*l - 2*n - 7456 = -5*n. Suppose l + 208 = 9*h. Is 21 a factor of h?
True
Let j be 2 + -3 + 3 - -342. Suppose -498 = -7*g - j. Is g a multiple of 11?
True
Let j be ((-5157)/(-7) - 1) + (-10)/(-35). Suppose -j = -73*l + 69*l. Is l a multiple of 17?
False
Let g = -139 + 297. Let b = -4 - -6. Suppose n - 231 = -3*t - 0*t, b*t = -2*n + g. Is t a multiple of 8?
False
Let m(x) be the second derivative of x**4/12 + 2*x**3 + 25*x**2/2 + 6*x. Let a be m(-10). Suppose -z + 17 = a*b - 129, 64 = 2*b - z. Does 5 divide b?
True
Let k = -9 - -12. Suppose -15*b + k*b = -16632. Suppose -w = 6*w - b. Is 18 a factor of w?
True
Suppose -33 = 4*t - 49. Suppose 4 = t*x - 5*m + 19, m = -3*x + 3. Suppose x = 10*v - 16*v + 132. Is 17 a factor of v?
False
Let d(o) be the second derivative of 0 + 1/2*o**3 + 1/12*o**4 + 21*o - 8*o**2. Is 6 a factor of d(-7)?
True
Let n(z) = 2*z**3 + 3*z**2 - 5*z + 5. Let h be 