Let i(w) = w. Let t(p) = 25*p + 27. Let f(o) = 2*i(o) - t(o). Suppose -9*b = 76*b + 680. Is 17 a factor of f(b)?
False
Let j(f) = f**2 + 9*f + 13. Let a = -56 - -48. Let w be j(a). Suppose -3*b - w*g + 42 = -2*b, -156 = -5*b + 2*g. Is 32 a factor of b?
True
Let s = -94 + -256. Let m be ((-48)/(-10))/((-7)/s). Suppose 2*w = 6*w - m. Is w a multiple of 12?
True
Suppose -8*r - 18260 = -19*r. Let s = 2363 - r. Does 37 divide s?
True
Let d = 89 - 79. Suppose d*a + 4*y = 9*a + 49, -a = 3*y - 48. Does 3 divide a?
True
Let q = -60676 + 33715. Is 63 a factor of (-6)/(-10) + q/(-165)?
False
Let i = 49 + -46. Suppose i - 28 = -5*t. Suppose 2*g + 2*b = 96, -396 + 146 = -t*g + 5*b. Is 9 a factor of g?
False
Suppose 83*y + 42*y = 3164625. Does 11 divide y?
False
Suppose -c + 358 = -2*t, 5*c - 2*t = 2*t + 1760. Suppose -c = -5*w + 7152. Suppose -10*x + 0*x = -w. Is 15 a factor of x?
True
Let q = 100 - 96. Suppose 0 = -4*f - l + 411, -q*l - 540 = -f - 4*f. Suppose -7*a + 505 + f = 0. Does 37 divide a?
False
Let o = -17236 + 24094. Does 36 divide o?
False
Let p = 283 + -273. Suppose -898 = -p*t - 238. Does 11 divide t?
True
Let u(x) = -x**2 + 30*x - 25. Let j be u(29). Suppose 27 = 4*a + 7, -j*l - a + 845 = 0. Is 15 a factor of l?
True
Let d(q) = 2*q**2 - 18*q + 10. Let p be d(10). Suppose 5*n - 2*l - 2574 = 0, -p*n + 2583 = -25*n + l. Is 21 a factor of n?
False
Let x = 37600 + -222. Does 22 divide x?
True
Let k(x) = 18*x + 8508. Is 25 a factor of k(-15)?
False
Let h be -6*(-3)/(-6) - (4 - 427). Suppose 0 = -2*q + d + 895, -5*q + 4*q - 5*d + h = 0. Does 10 divide q?
False
Let o be (-84)/112 - (2 + 118/(-8)). Does 19 divide (52/o - 3) + 19930/15?
True
Let x = 193 - 190. Suppose x*f + 22 - 43 = 0. Does 7 divide f?
True
Let n be (-88)/(-14) + 148/(-28) + 5. Let u be (-1 - n/(-4))/(7/(-602)). Let x = -39 - u. Is x even?
True
Suppose 6*i - 716 = 616. Let l = i + 12. Is l a multiple of 12?
False
Suppose -2*u - 12*a + 9*a - 5 = 0, 2*a = 2*u - 10. Let x be u/3*(-29 - 1). Let p = 13 - x. Is p a multiple of 33?
True
Let w(x) = -x**3 + 16*x**2 + 2*x + 34. Let y(d) = -d**2 - 31*d - 198. Let j be y(-10). Is 19 a factor of w(j)?
False
Let a(s) = 25*s**3 - s**2 - 2*s + 3. Let x be a(2). Let r(l) = l**3 + 5*l**2 + 9*l + 20. Let h be r(-4). Suppose 0*o - o + x = h. Does 30 divide o?
False
Let c(b) = -b**2 + 24*b + 1. Let q be c(22). Let r = 30 - q. Is r/(-1) + -1 + -2 a multiple of 2?
True
Suppose -4779 - 1189 = -8*c. Suppose 7*m - 2*m - c = -3*n, -4*m = -n - 590. Is 29 a factor of m?
False
Suppose -587*w + 844600 = -547*w. Does 10 divide w?
False
Suppose -4*v - 7*v = 11. Let k(q) = -51*q**2 - 2*q - 2. Let x be k(v). Let h = x + 63. Is 12 a factor of h?
True
Suppose -24*g - 3*q + 4185 = -19*g, -2*g = -q - 1674. Is g a multiple of 43?
False
Suppose -3*a - 84 = -2*a. Let s = a + 282. Suppose -5*q - 50 = -3*r + 2*r, 3*r - s = 3*q. Does 10 divide r?
True
Let i(m) = -2*m - 5*m + 2*m - 14*m**3 + 3 + 15*m**3 + 4*m**2. Let a be i(-5). Suppose a*k - 2*r - 88 - 652 = 0, 2*k + 3*r - 502 = 0. Is 13 a factor of k?
False
Suppose -4*k = -4*p - 3 - 9, -3*p = -4*k + 14. Let o be ((-6)/9)/((-2)/(-6)). Is 10 a factor of -37*p/o - -2?
False
Let j = -58484 - -120098. Is j a multiple of 30?
False
Let m(q) = -44*q + 2080. Does 38 divide m(-8)?
True
Let u be (0/3)/(3 - 0). Let f(q) = -q**3 - 2*q**2 - q + 144. Is f(u) a multiple of 12?
True
Let b(o) = -2*o**2 + 33*o - 87. Let x be b(14). Let z(g) = -19*g - 27. Does 8 divide z(x)?
True
Let f(d) = -96*d + 212. Is f(-14) a multiple of 3?
False
Does 23 divide 1150/3*(-17 - (-873)/45)?
True
Let z(a) = 10*a + 7. Let n be z(0). Let y(c) = 2*c**3 - 12*c**2 - 3*c + 17. Does 28 divide y(n)?
False
Let n be 2*-18*1/(-4). Suppose 5*i + 1672 + 2873 = 0. Is 12 a factor of ((-6)/n)/(6/i)?
False
Suppose -30 = 5*z, -3*z - 5317 = -i - 1459. Does 40 divide i?
True
Is ((-1030)/15)/(3/(-18)) a multiple of 8?
False
Let a = -6 + 9. Let y = 1739 - 961. Suppose -a*p + 462 = -u, 0 = 6*p - p + u - y. Is p a multiple of 31?
True
Suppose -5*r = 25, 0*r - r - 21 = -4*c. Let m be (1 - c) + (-75)/25. Does 12 divide (-770)/(-33) - 4/m?
True
Suppose -2*w - 2*w - 2*j + 17518 = 0, 3*w - 13143 = 3*j. Is 15 a factor of w?
True
Suppose 10 = t - 0*t. Suppose -4*i - 3*w = -2, 0 = 4*i - w - t - 0. Suppose -l + 17 - i = 0. Does 2 divide l?
False
Suppose 28 = 4*l - k, -3*l - 3*k + 11 = -25. Suppose -4*a + l = 4*d, -2*d = -a - 11 - 5. Is 9/1 - (-1)/(d/18) a multiple of 12?
True
Let c(l) = -l**2 + 6*l + 7. Let g be c(-5). Let z = g - -54. Let x(t) = 2*t - 4. Is x(z) a multiple of 2?
True
Suppose 8*w - 260 = -2*w. Suppose w*b - 25*b - 338 = -4*j, 0 = -2*j + b + 166. Does 42 divide j?
True
Suppose 2*w + 5 + 3 = 0, 0 = 3*v + 3*w. Is 5230/v*(-38)/(-95) a multiple of 8?
False
Suppose 4*w - 3*t - 972 = 0, -5*w + 1215 = -0*t - 2*t. Suppose 746 + 586 = 4*f. Suppose -4*c = -f - w. Is c a multiple of 16?
True
Let h(t) = 24*t**2 + 7*t - 77. Is h(9) even?
True
Let y = 2411 - 1706. Is 5 a factor of y?
True
Let q(n) = n**3 + 31*n**2 - 148*n - 71. Let p be q(-35). Suppose 6*l = 893 - p. Does 3 divide l?
True
Let s(w) = 6*w - 70. Let f be s(15). Suppose -f*n + 196 = -13*n. Does 5 divide n?
False
Suppose 4*m - y - 56916 = 0, 5*y - 7311 = -m + 6918. Is 17 a factor of m?
True
Let p = -645 + 701. Suppose 39*d + 816 = p*d. Does 8 divide d?
True
Let w(c) = 839*c + 1721. Does 25 divide w(11)?
True
Let y be 9/72 - 355/(-40). Suppose -y*x - 200 = -1109. Is x a multiple of 5?
False
Let m(c) = 23*c**3 - c**2 - 3*c - 15. Is 147 a factor of m(3)?
True
Let i = 16611 + -5952. Is i a multiple of 57?
True
Suppose 96 - 351 = -15*a. Suppose -a*j + 1469 = -4*j. Does 44 divide j?
False
Let c(o) = o**3 + 8*o**2 + 18*o + 32. Let q be c(-6). Let j(a) = -144*a + 39. Does 44 divide j(q)?
False
Suppose -2*f = -2*m - 0*f - 170, 0 = 5*m - f + 421. Let o = 7638 - 7715. Let u = o - m. Is 7 a factor of u?
True
Suppose -8*f + 4070 = -3*f. Let m = f - 302. Let g = m + -333. Does 22 divide g?
False
Suppose 0 = -4*y + 232 + 92. Let d be (-156)/y*-3 + (-6)/(-27). Suppose -47 = -d*k + 121. Is k a multiple of 28?
True
Suppose 172 = r - 5*d, 0*r - 3*r + 567 = 2*d. Let v(c) = -c**3 + 11*c**2 - 11*c + 9. Let l be v(7). Suppose 2*j = -b + 5 + l, 3*j = b + r. Is j a multiple of 8?
True
Let t be ((-96)/(-300)*-5)/((-2)/705). Suppose 0 = -t*y + 555*y + 11124. Does 103 divide y?
True
Let o = 3176 + -2828. Is o a multiple of 116?
True
Let w(i) = -i**3 - 7*i**2 - 2*i - 1. Suppose -12 = 4*s - 2*s. Let g be w(s). Let a = g - -52. Does 5 divide a?
False
Suppose -196 + 64 = -12*k. Let z(g) = -k*g**3 + 8*g**3 - 3*g**3 - 4 - g. Is z(-3) a multiple of 17?
False
Suppose -y - 2*c + 80 = 0, 0 = 4*y + c - 105 - 229. Is (-192)/9*y/(-8) a multiple of 40?
False
Let r(c) = 2*c**2 + 57. Let f be (-4 - -3)*-2*2. Suppose 0 = -v + 4 - f. Is 19 a factor of r(v)?
True
Let u be (56/6 + 4)*(-2 + -1). Let w be 5/((10/9)/(u/(-30))). Is 7 a factor of (40/w)/(22/297)?
False
Suppose -l - 2156 = -4329 - 2903. Is l a multiple of 47?
True
Suppose -5*n = 4*m + 20, -5*m + 0*n - 16 = 4*n. Let c be 1794/4 - (1 + 2/(-4)). Suppose m = 6*a - 2*a - c. Is 19 a factor of a?
False
Suppose 12 - 10 = d. Suppose -u = -d*q + 245, -3*q + 231 = -u - 134. Is 7 a factor of q?
False
Suppose 0 = -t - 3*k + 966, -t + 0*k = -5*k - 910. Is 3 a factor of t?
True
Suppose 10*b - b = 4338. Let o = b + -239. Does 13 divide o?
False
Let y = 489 + -561. Does 39 divide (-61672)/y - (-8)/18?
False
Let o(z) = 51*z**2 + 32*z - 118. Is o(8) a multiple of 42?
True
Suppose 5*f + 2847 = 6582 + 16695. Is 18 a factor of f?
True
Let g(j) = 53*j**3 + 59*j**2 - 391*j + 21. Is 46 a factor of g(7)?
True
Suppose -256 = 13*l + 147. Let x = l - -31. Suppose 3*i = n + 397, -4*i - n - 4*n + 523 = x. Is 44 a factor of i?
True
Let g = 19435 + -15933. Is g a multiple of 3?
False
Let h(v) be the third derivative of -v**5/60 - 5*v**4/24 - 7*v**3/6 + 15*v**2. Let o be h(-2). Is o*(-3)/(-3) + 8 even?
False
Let o = -130 - -99. Let k = 6 - o. Is 2 a factor of k?
False
Let r be (-2)/(-11) - (-13 - 87270/22). Suppose b = 3*y + 435 - 3410, 4*b = 4*y - r. Is y a multiple of 18?
True
Suppose -2*c = 3*q - 82737, 0 = -2*c - 0*c - 5*q + 82719. Is 11 a factor of c?
True
Let w(b) = -b**3 - 14*b**2 + 219*b - 95. Is 87 a factor of w(-25)?
True
Let l(j) = 16