k*y - 173. Is y a multiple of 17?
True
Let h = 1 - -9. Suppose l - 10 = t - 4*l, 4*t - 5*l + h = 0. Suppose -660 = -t*k - 4*k. Is 12 a factor of k?
False
Let n be ((-1)/(-3))/((-9)/(-2943)). Suppose 1273 = 3*r - 32. Suppose -106*j = -n*j + r. Is j a multiple of 10?
False
Let a = 2090 - 1942. Is 2 a factor of a?
True
Suppose 12*x + 70 = -86. Let w = x + 16. Suppose -z + 101 = -w*f - 0*f, 547 = 5*z - f. Does 11 divide z?
True
Let i(b) = 2*b**2 - b. Let f be i(-1). Let j(m) = -2*m**2 - 11*m + 4*m + 0 + m + m**f + 2. Does 5 divide j(4)?
True
Let s(t) = 7*t - 8*t - 7 - 9 + 2. Let o be s(-17). Let y(u) = 26*u + 6. Is y(o) a multiple of 17?
False
Let w = 75 + -63. Suppose -2788 - 3284 = -w*m. Is m a multiple of 23?
True
Let f(g) = 13*g**2 - 6*g + 1. Let p be ((-768)/45)/8 - (-4)/30. Let k be f(p). Is 2 a factor of k/6 - 30/(-180)?
False
Suppose -4*t + 0*r - r + 38 = 0, 2*t - r - 22 = 0. Suppose 5*z - 7 = -2*a, -3*a + t - 25 = -z. Is 12 a factor of 1/(15/(-890))*6/a?
False
Let c be (-1 + 2)/(3/13716*3). Let d be (1/((-6)/c))/(-1). Let m = 358 - d. Is m a multiple of 52?
True
Let c = -2443 - -3103. Does 66 divide c?
True
Suppose -12*s - 762 + 12738 = 0. Does 4 divide s?
False
Let w = 18111 + -10691. Does 140 divide w?
True
Suppose -v = -2, 3*l + 5*v - 218 = 125. Suppose l*b + 4 = 107*b. Is 18 a factor of ((-16)/32)/(b/36)?
True
Let f(h) = -44*h**3 - 2*h**2 + 1. Let r be f(-1). Suppose 0 = 9*l - r - 1622. Does 13 divide l?
False
Let p be ((-21)/14)/(3/(-20)). Let q = -16 + p. Does 14 divide (1/((-10)/(-24)))/(q/(-105))?
True
Suppose -5*o = -4*t - 6172, 0 = -3*o + 23*t - 24*t + 3693. Is 176 a factor of o?
True
Let r(q) = 0*q**2 + q**2 + 3*q**2 - 5 + q**3. Let f be r(-2). Suppose -f*n = h - 10 - 244, 0 = 3*n - 2*h - 266. Does 43 divide n?
True
Is 12/(-132)*-451*2/((-2)/(-313)) a multiple of 41?
True
Let k(j) = -j + 4. Let m be k(-12). Suppose 4*g = -m, 0*d + 5*g = -3*d - 701. Let f = d + 371. Is 24 a factor of f?
True
Suppose 4*q = -2*b + 14978, 5*q + 27*b = 23*b + 18724. Is 52 a factor of q?
True
Let f be 258/12 - (-1)/2 - 2. Suppose -4*b = 5*x - 0*b - 59, -5*b = f. Is 242/x + 6/(-45) a multiple of 3?
False
Let i(w) = w**3 - 7*w**2 - 8*w + 92. Let j be i(5). Suppose -4*h = j*x - 512, -5*h - 1024 = -6*x + 2*x. Does 60 divide x?
False
Suppose 1 = -3*n + 4. Suppose -n + 1 = -c. Suppose c = -12*w + 10*w + 74. Does 9 divide w?
False
Let m(k) = k**3 + 8*k**2 - 2*k + 8. Let c be m(-8). Suppose -3*w + 7*w - c = 0. Does 15 divide 87/12*14 + w/4?
False
Suppose 7*l - 5 = 6*l. Suppose -2*z - 302 = -2*m, m = l*z - 64 + 227. Is 29 a factor of m?
False
Let k be -6 + (-52)/(-4) + -1. Suppose -3*a + 2*d - 1324 = -k*a, a + d = 442. Does 6 divide a?
False
Suppose -2*v - 663 + 1 = -2*x, 2*v + 662 = -3*x. Let q = v - -363. Is 6 a factor of q?
False
Let m = -144 - -198. Suppose -55*t + m*t + 336 = 0. Is t a multiple of 24?
True
Let u(w) = -65*w + 1222. Is u(-43) a multiple of 13?
True
Let o(d) be the third derivative of -d**7/560 + 31*d**6/720 - 4*d**5/5 - 9*d**2. Let q(x) be the third derivative of o(x). Is 13 a factor of q(-9)?
False
Let n = 771 - 314. Is n - -2*21/(-6) a multiple of 30?
True
Suppose 4*j + 5*a = 87882, 69770 = -5*j + 4*a + 179684. Does 55 divide j?
False
Let w(p) = 35 - p + 10 - 21. Is w(-4) a multiple of 2?
True
Suppose 0 = m - 1029 + 917. Is 16 a factor of m?
True
Suppose 163*j - 87827 = 149338. Is 4 a factor of j?
False
Let r(i) = 8645*i**2 + 407*i + 818. Does 42 divide r(-2)?
False
Suppose 0*o - 9*o + 8568 = 0. Does 56 divide o?
True
Suppose q - 84 = -20*q. Suppose 3*f = j + 1161, -4*f + 0*f + q*j = -1540. Does 17 divide f?
False
Let q = -899 + 1332. Suppose q = -4*k + 113. Let r = -77 - k. Is r even?
False
Let p be (-81)/(-18)*(-6)/(-27). Let y be (-4)/p*((-40)/(-16) + -2). Is 14 a factor of (-2 + 306/(-4))*y?
False
Suppose -2*z + 356*f - 355*f = -57593, 0 = 3*f - 9. Does 17 divide z?
True
Suppose 8*l = -551 - 1009. Let n = l - -222. Is 9 a factor of n?
True
Suppose 4*w - 109269 = 3*z, -4*z + 26544 = 3*w - 55414. Is 9 a factor of w?
False
Suppose 4*c - 104 = -112, 3*j + 5*c = 3041. Does 5 divide j?
False
Let o(a) = -5*a**2 + 43*a - 40. Let u be o(12). Let f = 688 + u. Is 12 a factor of f?
True
Let z be (2 - 108/8)*86. Let b = z - -1457. Does 78 divide b?
True
Let k(g) = -g - 1. Let h(m) = -150*m - 9. Let t(c) = h(c) - 6*k(c). Let l be t(2). Does 11 divide ((-10)/(-15))/((-2)/l)?
False
Suppose -2*u - 1121 = -3*g, -3*u + 799 = 3*g - 332. Let p = g - 276. Does 64 divide p?
False
Let s be (-20)/(-20) - (2/(-2) + 5). Let y be s - (-1 - (-2 - -6 - -63)). Suppose -y - 151 = -6*h. Does 5 divide h?
False
Let v(a) = -2*a**3 + 27*a**2 + 11*a - 102. Is 7 a factor of v(13)?
True
Suppose 0 = -5*w - 14 - 6, 6 = 2*b + 3*w. Suppose 3 = 2*k - 3. Is 2 - (-23 - b/k) a multiple of 7?
True
Let f(t) = 4*t**2 + 3*t + 1176. Let y be f(0). Suppose -8*z + y = -z. Is z a multiple of 14?
True
Let w = 36 + -29. Let a(u) be the second derivative of -u**5/20 + 3*u**4/4 - u**3 - 14*u**2 - u - 27. Is 4 a factor of a(w)?
True
Let d = 9699 + -6665. Does 74 divide d?
True
Let d be (1 + 0)*(0 - 1). Let m be ((-18)/(-1))/(38/(-152)). Let u = d - m. Is u a multiple of 9?
False
Let w(d) = d**2 + 35*d - 173. Is w(45) a multiple of 38?
False
Let o(h) = -924*h - 1386. Does 22 divide o(-8)?
True
Suppose 0 = 2*a + 3*x - 5430, x + 14520 = 5*a + 945. Is a a multiple of 181?
True
Let p(a) = 663*a + 849. Is 24 a factor of p(17)?
True
Suppose 0 = 5*u - 39 - 221. Suppose 49*d - 285 - 595 = 39*d. Let x = d - u. Is x a multiple of 12?
True
Suppose -3*c - c + 49835 + 13385 = 0. Is 37 a factor of c?
False
Is 32 a factor of 1607*13*3/39?
False
Let l = 4507 + -4522. Suppose -159 = -4*o - s, 0 = 2*o - 5*s - 22 - 41. Let d = l + o. Is 7 a factor of d?
False
Let f = 730 + -475. Suppose 3*b = -g - 2*g + f, 0 = 3*b - 3. Is 12 a factor of g?
True
Suppose -2*w + 0*w = a - 165, 3*a + w - 475 = 0. Let u = a - 310. Let t = u + 219. Does 37 divide t?
False
Let z be -2 + -4*2073/(-12). Let i = -475 + z. Is i a multiple of 13?
False
Suppose 153*g + 105*g - 8670816 = -78*g. Is g a multiple of 66?
True
Let h(v) = 3041*v + 118. Is 181 a factor of h(3)?
False
Suppose -132 = 21*c + 12*c. Let t(v) = 21*v - 3. Let b(l) = -1. Let w(d) = -6*b(d) - t(d). Is 10 a factor of w(c)?
False
Let m(i) = -30*i + 4*i**2 + 29*i - 2*i**2. Let b be m(-1). Does 8 divide (b/2)/((-3)/(-22))?
False
Let g = 40 + -146. Let y = 187 - g. Is 23 a factor of y?
False
Suppose -5*f - 1035 = 4*g, -4*f + 29 - 9 = 0. Let r = 468 + g. Does 12 divide r?
False
Let j(a) = 9*a**3 - 18*a**2 - 24*a - 3. Is j(9) a multiple of 22?
True
Let t = 575 + -911. Let z = 21 - t. Does 8 divide z?
False
Suppose 0 = -3*m + 4*o + 12016, -5*m - 5*o + 6422 = -13593. Suppose -t = -4, 4*w - t - m = -6*t. Does 65 divide w?
False
Let m = -3235 - -4959. Suppose 89*q = 93*q - m. Is 30 a factor of q?
False
Is 8 a factor of 1372 - -5 - 28/(2 + 2)?
False
Let h = 111 - 84. Let q be (-280)/45 - (-6)/h. Is 5 a factor of ((-99)/q)/(27/36)?
False
Suppose -9*s - 196 = 560. Suppose 0 = -2*z + 6*z + u - 31348, -5*z - u + 39184 = 0. Is 10 a factor of (-4)/14 - z/s?
False
Suppose -83*q + 74*q = -72. Let x(c) = 2*c**2 - 29. Is x(q) a multiple of 3?
True
Let v = 10465 - 1861. Is 12 a factor of v?
True
Suppose 1123*p = 1131*p - 200. Suppose -p*y + 16*y = -3753. Is 12 a factor of y?
False
Suppose -30*j - 7*j + 99302 = 4*j. Is 38 a factor of j?
False
Does 29 divide (-1)/(-13) + ((-47889)/(-39) - (-75 - -65))?
False
Let r(x) = 2*x + 18. Let u(b) = 4*b**2 + 8*b - 12. Let z(i) = 3*i**2 + 8*i - 12. Let o(h) = -4*u(h) + 5*z(h). Let g be o(6). Is 12 a factor of r(g)?
False
Let l be (-52 - (-2)/2) + (2 - 2). Let c = l + 54. Suppose -3 = q - 3*z - 70, -c*z = 2*q - 143. Is 14 a factor of q?
True
Let g(l) = l**2 + 13*l + 6. Let y be g(-5). Let h = y + 36. Does 6 divide 39/(3*h/4)?
False
Let g = -123 + 783. Suppose 8*u - 5*u - g = 0. Suppose 0 = k + 4*k - u. Does 4 divide k?
True
Let i(q) = -q**3 - 4*q**2 - 5*q - 2. Let n be (2*-1)/(7/14). Is 9 a factor of i(n)?
True
Let g(q) = -q**2 + 2*q. Let j be 3/(-5) + (-117)/(-45). Let h be g(j). Suppose 3*u + 5*y - 162 = h, 0 = -3*u - y + 240 - 66. Does 14 divide u?
False
Let l be 76/(-14) - (-136)/(-238). Let g(j) = 21*j**2 + 13*j + 3. Is 83 a factor of g(l)?
False
Suppo