 = a + -660. Is z a multiple of 8?
True
Let p = -102 + 104. Suppose -m = -v + 4*v - 327, 0 = -p*m - 2*v + 638. Suppose -12*r = -17*r + m. Is r a multiple of 16?
False
Let x = -73 + 77. Let j be -5 + 0 + -2 + x + 8. Suppose -p = j*p - 156. Is p a multiple of 22?
False
Let p = -667 - -1700. Suppose -2*i = 3*n - 1099, -5*i + 54 = 3*n - p. Is n a multiple of 25?
False
Let z(i) = -13*i**2 + 10*i - 25. Let s(v) = 26*v**2 - 21*v + 52. Let h(o) = -3*s(o) - 7*z(o). Does 39 divide h(-5)?
False
Let i(f) = -3*f + 2275. Does 22 divide i(57)?
False
Let x(i) = 3199*i**3 - 9*i**2 + 8*i - 7. Is x(1) a multiple of 8?
False
Suppose 60745 = 4*l - 5*b - 181058, b = 5*l - 302259. Is l a multiple of 28?
True
Suppose -4*v + o = -2206, 20*v + 5*o = 23*v - 1646. Is 3 a factor of v?
True
Let f(d) = -9*d**2 + d + 67. Let q be f(8). Let b = -1 - q. Is 10 a factor of b?
True
Let v be ((-16)/10)/((-10)/50). Let q(p) = 4 - 6*p + 0*p - p**3 - v*p + 9*p**2 + p. Is q(5) a multiple of 8?
False
Let u(x) = 4066*x**2 + 67*x + 24. Is u(-2) a multiple of 82?
True
Suppose 0 = -3783*x + 3800*x - 77418. Is x a multiple of 11?
True
Let m(n) = n**2 + 17*n - 39. Let s be m(-19). Is 5 a factor of (15/(-6))/((-21)/18 - s)?
True
Is 70*2/10 - -14242 a multiple of 18?
True
Let r = -90 + 47. Let i = -83 - r. Is 20 a factor of 24/i + 954/15?
False
Let t be (-4)/10 - (-6 - 108/(-30)). Let u be t/4*(-44)/(-11). Suppose u*p - 516 = -4*p. Is p a multiple of 12?
False
Let g(l) = -19*l + 76. Let n be g(4). Suppose -25*q + 6096 - 96 = n. Is 30 a factor of q?
True
Suppose 30*k - 2905 = 7535. Is k a multiple of 52?
False
Let f be (9 + -13 - 94)/(-2*1). Suppose 4*b = 20, 6*b - b = v - f. Is 74 a factor of v?
True
Let i(f) = 10*f**2 + f + 1. Let b be i(-1). Let l be 206/b - (-20)/50. Does 33 divide 6/l + (-1286)/(-7)?
False
Suppose b = -10*o + 6*o + 31078, -o + 7765 = -2*b. Is o a multiple of 9?
False
Suppose s = 2*p + 2*p + 17, 5*p + 40 = 5*s. Suppose -2*o + 797 = w, -s*o - 2*w - 1327 = -3320. Is 21 a factor of o?
True
Suppose -54*l = -19188 - 40450 - 99284. Is 9 a factor of l?
True
Let y = -227 - -242. Let m(f) = f**2 - 3*f + 94. Is m(y) a multiple of 12?
False
Let h be (-116)/(-4) + (-28)/(-7). Let k be (-1 + 1 + 1)*-5. Let l = k + h. Is l a multiple of 28?
True
Let o = -89 + 93. Suppose u = o*u - 33. Suppose 0 = 2*q - u - 17. Does 7 divide q?
True
Let r(k) = 86*k**3 + k**2 + 2*k + 1. Let g be r(-1). Let o = 47 + g. Let m = o + 87. Is m a multiple of 12?
True
Let k(a) be the third derivative of 491*a**5/30 - 5*a**4/4 - 31*a**3/6 + 162*a**2. Is 14 a factor of k(-1)?
False
Let g be (1 + 1/6*-2)*195. Suppose -3*s - 4*v - 2 = -87, 5*s - g = 5*v. Suppose -b = 2*i - 2*b - s, 4*i - 39 = 5*b. Is 12 a factor of i?
False
Suppose 8203217 = 272*z - 1724239. Is z a multiple of 6?
True
Let a = -562 - -181. Let k = a - -880. Suppose -5*d + k = -0*m + m, 3*m - 97 = -d. Does 12 divide d?
False
Let q(n) = 316*n + 14. Let x(i) = 159*i + 7. Let v(r) = -2*q(r) + 5*x(r). Is v(1) a multiple of 34?
True
Let n = 1685 + 3191. Is n a multiple of 53?
True
Suppose 0 = -3*c + 4*b - 0*b - 28, -2*c + 12 = 5*b. Let x(m) = -7*m - 24. Let v be x(c). Suppose 14*n - v*n - 680 = 0. Is 17 a factor of n?
True
Let z(d) = d**3 + 7*d**2 + 10*d + 3. Let y be z(-5). Suppose -y*p = p. Suppose -3*v + p = -210. Is v a multiple of 8?
False
Let l(i) = 1054*i - 6554. Is l(11) a multiple of 63?
True
Let p(b) = 14*b**3 + b**2 - b - 2. Let o be p(2). Let v(s) = -19*s + 2. Let c be v(-2). Let w = o - c. Does 6 divide w?
True
Let s = 41866 + -35962. Is 16 a factor of s?
True
Let b = 8285 - 6817. Does 4 divide b?
True
Suppose w + 27 = 3*v - 310, -1685 = 5*w + 5*v. Let l = w + 426. Is l a multiple of 3?
False
Does 44 divide (-9080)/6*(-630)/1050?
False
Suppose -5*u = 5, 4*p + 2*u + u + 3 = 0. Suppose p = b + 997 + 105. Is 25 a factor of 93/33 + -3 + b/(-11)?
True
Suppose 0 = 82*h + 44255 - 126501. Is h a multiple of 46?
False
Does 18 divide 201/2010 - 176219/(-10)?
True
Let z = 32 + -8. Suppose z = 4*s - 332. Let j = s - 53. Is 2 a factor of j?
True
Does 56 divide 13360 + 10 + 9*(-13)/13?
False
Suppose -6*a + 4360 = -3*a + 7*a. Is 4 a factor of a?
True
Let j = 6 - 7. Let o be 8/(-2 + 5 + j). Suppose 256 = 3*u - 2*y + y, o*u + y = 353. Is 29 a factor of u?
True
Let k = 29313 + -24383. Is 285 a factor of k?
False
Suppose 3*h = 2*m - 808, -8*m = -3*m - 3*h - 2011. Let o = 561 - m. Is o a multiple of 32?
True
Suppose -2*q + 12 = -26. Let g = q + -18. Does 14 divide 1*(42 - (g - 1)/(-3))?
True
Suppose -56 - 68 = -31*g. Suppose 0 = -g*i + 61 + 187. Is 2 a factor of i?
True
Let h be 2/(-5) - 58982/(-55). Suppose -2*v - 2*v + h = 0. Suppose -3*j - 18 = -3*p + 372, -2*j = 2*p - v. Does 11 divide p?
True
Let r(z) = -5*z**3 - 14*z**2 - 10*z + 38. Is 10 a factor of r(-10)?
False
Suppose 3*s + 2 = 5. Let a(g) = -2*g**2 + 19 - 58 + 20 + 20 + 191*g**3. Is a(s) a multiple of 27?
False
Let r(l) = -l**2 + 18*l + 66. Let q be r(21). Suppose -3*a - 68 = -2*f, 37 = 3*f - q*a - 68. Is 2 a factor of f?
False
Let n(q) = 5889*q - 11093. Is 148 a factor of n(5)?
True
Let p = 31517 - 22021. Does 16 divide p?
False
Suppose -9*s + 6*s = 2121. Let g = s - -1027. Suppose -2*v + g = 2*v. Is v a multiple of 25?
False
Let s = 86 + -70. Suppose 1009 = s*o - 2335. Suppose 90 + o = r - 5*f, -f = -5. Is 36 a factor of r?
True
Is 24016/46 + 4/(-46) a multiple of 9?
True
Suppose 106 = 5*f - z, 3*f - 58 = 4*z + 9. Let r be 4/1 + (18 - f). Is 14 a factor of r/2 + (-333)/(-6)?
True
Let q = 2924 + -2902. Let r = -34 - -59. Suppose 78 = -q*k + r*k. Does 9 divide k?
False
Let w(j) = -26*j + 3. Let h(s) = s. Let b(n) = 6*h(n) + w(n). Let a be b(-1). Suppose 0 = f - a - 87. Is f a multiple of 22?
True
Does 18 divide (-1882240)/(-352) - 8/(352/12)?
False
Let k = 175 - 151. Suppose -k*a + 15529 = 3241. Is 9 a factor of a?
False
Let z be 402/15 + (-1)/(-5). Suppose -72 = 9*b + z. Let q(n) = -8*n - 13. Is q(b) a multiple of 10?
False
Let t be (1 - -1) + (-12)/(1*-2). Is 49 a factor of 24/t*(-1617)/(-9)?
True
Is 9 a factor of (-1*2083)/((-33)/231)?
False
Let i = 2840 - -1533. Is i a multiple of 7?
False
Suppose -509*k - 64743 + 314153 = 0. Does 10 divide k?
True
Let i(n) = -23*n**3 + 5*n**2 + 2*n - 15. Let z be i(4). Let r = z + 2482. Is 15 a factor of r?
False
Suppose -239*h = 5*h - 437049 - 1284371. Is 73 a factor of h?
False
Let y(s) = -s + 2. Let i be y(-4). Suppose 23 = i*o - 145. Is o a multiple of 4?
True
Does 19 divide 13792 - (16 + -4)/(-6)?
True
Suppose 79*o - 134946 = -23*o. Does 49 divide o?
True
Suppose 0 = -5*s + 1684 - 149. Let t = 907 - s. Is 15 a factor of t?
True
Let u(y) = -71*y. Let w be u(-1). Let d(n) = 40*n - 86. Let a be d(4). Suppose -a*k + w*k = -243. Is 24 a factor of k?
False
Let p = 15449 - 9224. Is 75 a factor of p?
True
Let w = -5009 + 32403. Does 109 divide w?
False
Let k be (-490)/(-4) - (-2)/(-4) - 3. Let z = k - 77. Suppose 5*r + 4*q - 25 = q, 0 = 4*r - 2*q - z. Does 8 divide r?
True
Suppose -43*s = 3*h - 46*s - 570, -30 = 5*s. Is 2 a factor of h?
True
Suppose 7716 = 5*y + y. Suppose 4*z = -5*u + 1575, 3*z - y = -4*u + 5*z. Suppose 61 = -2*f + u. Is f a multiple of 21?
False
Let a = 25269 + -6068. Does 211 divide a?
True
Let b be ((-3030)/(-50))/((-3)/30). Let d = b - -738. Does 41 divide d?
False
Let d(s) = 2*s**3 + s**2 - 3*s + 2. Let v be d(1). Is -12*(v - (-9)/(-2))*4 a multiple of 40?
True
Let t(p) = p**3 - 61*p**2 - 27*p - 611. Is 171 a factor of t(68)?
False
Let c(b) be the second derivative of -b**3/6 + b**2/2 + 9*b. Let q(m) = 3*m**2 - 14*m + 9. Let y(k) = -3*c(k) + q(k). Does 17 divide y(8)?
False
Let j = -4941 - -7706. Suppose -15*w + j = -8*w. Is 19 a factor of w?
False
Suppose 4*n + 43 = y + 7*n, 5*n + 206 = 4*y. Suppose -4*b + 533 - y = 0. Is 5 a factor of b?
False
Let t(w) = 768*w**2 + 165*w + 644. Does 104 divide t(-4)?
True
Suppose -3*f = 5*z - 25, 2*f + 4*z = 12 + 6. Let v(j) = 120*j + 134. Is v(f) a multiple of 74?
False
Let t be (0 - -3)/(0 - -1). Suppose -t*n + 7 = -2*n. Let u(v) = 2*v**2 - 4*v + 8. Is u(n) a multiple of 16?
False
Let t(g) = 23 + 4*g - 48 - 2*g + 56. Let z be t(-9). Suppose -b = -3*l - 44, 5*l = -2 - z. Does 5 divide b?
True
Suppose -6*m + 7*m - 22 = 0. Let y = m + 77. Is ((68/6)/(-1))/((-11)/y) a multiple of 16?
False
Suppose -25*g + 4