 3*8*4 - 0. Let w = s + -56. Is w a multiple of 14?
False
Let f = -5 - -11. Suppose 3*b - f*b = 6. Is 79/2 - b/4 a multiple of 16?
False
Let l be 3 - ((5 - -2) + 1). Is 10 a factor of (-2)/(-9) - (l - 4081/63)?
True
Let k(o) = 2*o**3 - 4*o**2 + 2*o. Suppose 0 = -2*j - 4*d + 10, -j - 4*d = 2*j - 13. Let u be k(j). Suppose 90 = s + u. Is s a multiple of 11?
True
Let f(p) = 2*p - 7. Let y be f(6). Suppose -y*t - 13 = -3, 3*h + t - 64 = 0. Suppose g - w = 54, g - 36 = -w + h. Is g a multiple of 28?
True
Suppose 4*p - 29 - 39 = 0. Let u = p - 5. Is u a multiple of 4?
True
Let u be (-15)/5 - (-428 + -5). Suppose -2*z = 3*x - u, -5*z + 24 = -5*x + 749. Does 16 divide x?
True
Let z be 22/4 - (-3)/(-2). Suppose z*j + 0*m = -4*m + 140, 4*m + 84 = 3*j. Is 10 a factor of j?
False
Let f(c) = -270*c + 214. Does 32 divide f(-3)?
True
Suppose 0 = -2*c - 4*p + 448, -7*c - 2*p = -3*c - 920. Is 14 a factor of c?
False
Let m(c) = 7*c**2 - 8*c + 3. Let p = 36 - 32. Suppose -x - 9 = -p*x. Is 14 a factor of m(x)?
True
Let m = -99 - -177. Is m a multiple of 23?
False
Let k(r) = 343*r**2 + 8*r - 7. Is 4 a factor of k(1)?
True
Suppose 0 = -8*z + 17 + 111. Is 13 a factor of (173/7 - z/(-56)) + 1?
True
Suppose 4 = -7*d + 18. Suppose 5*c - 5*r = 50, 4*c = d*c - 4*r + 50. Is c even?
False
Is 56 a factor of ((-852)/(-2))/((-18)/(-12)) - 4?
True
Is 28 a factor of 4/(-5) + (-19)/((-1045)/1584)?
True
Let t be -1 - ((-8 - -1) + 3). Suppose t*c + 117 = 6*c. Does 16 divide c?
False
Suppose 0 = -13*k + 2211 + 4939. Does 38 divide k?
False
Suppose -2*o = -6 - 2. Suppose 79 = o*p + 59. Is 2 a factor of p?
False
Let n(z) = -z**3 - 13*z**2 + 21*z + 29. Is 21 a factor of n(-17)?
False
Let a = -2 - -5. Suppose -k - a*p = 3*k - 89, 4*k + 5*p - 95 = 0. Let n = k + 4. Is 10 a factor of n?
False
Suppose -9*z + 1197 + 135 = 0. Is 37 a factor of z?
True
Suppose 0 = -3*f + 9 + 3. Suppose l - 2 = -n, 0 = n + 3*l - l - f. Suppose 3*a + 9 = 0, 3*a - 1 = -d - n*d. Does 10 divide d?
True
Suppose -2*u = -i + 270, 9*i - 2*u - 830 = 6*i. Is i a multiple of 10?
True
Suppose 2*s = -23*i + 27*i - 974, 5*i - 1218 = 2*s. Is 9 a factor of i?
False
Suppose r - 4*u = -0*r + 50, -3*u = r - 85. Let o = 140 - r. Is o a multiple of 22?
False
Let t be 4 - (-2 - (0 - 3)). Suppose -4*i + t*v = 2*v - 38, -3*i - v = -25. Does 3 divide i?
True
Suppose 2*r - 88 = 3*r. Suppose 840 = -8*c - 12*c. Let f = c - r. Does 11 divide f?
False
Let u = 64 + -64. Suppose -5*i + 5*l - 173 = -648, 5*i - 4*l - 475 = u. Is i a multiple of 49?
False
Suppose 28*h - 43601 = -4793. Does 14 divide h?
True
Let m be (51/(-2))/(26/(-8) - -3). Let r = 222 - m. Does 15 divide r?
True
Let s = 388 + 49. Is s a multiple of 9?
False
Let m(a) = a**3 - a**2 - a + 1. Let v(u) = 4*u**3 + 9*u**2 - 21*u + 11. Let t(c) = 5*m(c) - v(c). Let r = 27 + -14. Is 11 a factor of t(r)?
True
Let u(j) = 6*j**2 - 62*j + 32. Does 5 divide u(11)?
False
Let h = -216 + 744. Suppose -h = -7*l + 158. Does 49 divide l?
True
Let y(c) = -c**3 - 3*c**2 + 7*c - 1. Does 7 divide y(-5)?
True
Let k(q) = -74*q - 7. Let b be k(3). Let z = b + 73. Let p = z + 246. Does 18 divide p?
True
Let t(a) = a**3 - 4*a + 4. Let z be t(2). Let h be 0/(-1)*z/(-16). Suppose -2*b + 6*b - 360 = h. Is 24 a factor of b?
False
Let w(u) = -2*u - 12. Let x be w(-8). Suppose 9*p = x*p. Suppose -2*b + i - 4*i + 25 = p, -2*b - 10 = -4*i. Is 4 a factor of b?
False
Suppose 4*y = -192 + 2912. Does 17 divide y?
True
Let p be -1 + (3*-16)/4. Let z(b) = b**2 + 10*b + 15. Is z(p) a multiple of 9?
True
Suppose -4*b + 2*b + 5*r + 180 = 0, 5*r = -20. Suppose b - 464 = -2*j. Does 32 divide j?
True
Suppose -a + 50 = -73. Suppose -a = -7*y + 129. Does 3 divide y?
True
Suppose 3*d + 5*z - 4 = 5*d, -22 = 2*d + 4*z. Let i(a) = 9*a - 15. Let x be i(d). Let y = 128 + x. Is 10 a factor of y?
True
Suppose 18*v = 8*v + 1100. Is v a multiple of 10?
True
Let w = 231 + -169. Is w a multiple of 31?
True
Let u = 296 - -470. Is u a multiple of 33?
False
Let t = -71 + -153. Let d be (33/(-2))/((-42)/t). Let q = d + 167. Is q a multiple of 9?
False
Let x be (-4)/12 + 2/6. Suppose x*i - 3*i + 69 = 0. Let b = i + -14. Does 3 divide b?
True
Let p(g) = g**2 + 7. Suppose -3*m + 5*m - 90 = -3*h, -4*h - 4*m = -120. Suppose -3*t + 9*t + h = 0. Is 10 a factor of p(t)?
False
Let n(b) = -b + 2. Let j be 1/(3*1/24). Suppose -4*u = j, 3*u - 4 - 8 = 2*f. Does 3 divide n(f)?
False
Suppose -1371 = -5*x + 719. Does 19 divide x?
True
Suppose -48*i - 572 = -49*i - 5*z, -4*i - 4*z + 2240 = 0. Does 5 divide i?
False
Let u = -143 - -123. Let v(i) = -2*i + 62. Does 16 divide v(u)?
False
Let z(y) = -y - 42. Let r be z(12). Let k = 129 + r. Does 25 divide k?
True
Let d = 56 + -38. Let u = 71 - d. Does 16 divide u?
False
Suppose -2*v + 23 = -3*q, 30 + 2 = -5*q - 3*v. Is (-1762)/q - (0 - 8/28) a multiple of 44?
False
Suppose -5*i = s - 4 - 8, s + 6 = 4*i. Suppose i*d + 96 = 4*d. Is 24 a factor of d?
True
Does 32 divide (-56)/(-196) - (-1 - (-1783)/(-7))?
True
Suppose -7*t = -3743 + 1286. Does 11 divide t?
False
Let y = 92 - 83. Suppose -2*m = -c + 16, 2*c - 3*m + y - 40 = 0. Does 2 divide c?
True
Let u(l) = -l**2 + 6*l - 6. Let i be u(4). Let v = 64 - 62. Suppose 32 = v*d - 3*c, 3*d - i*c = 31 + 12. Is d a multiple of 5?
False
Let j = -12 - -20. Suppose -2*x + j = -2. Suppose 4*d - 2*m - 222 = -0*m, -x*d + 279 = -m. Does 10 divide d?
False
Suppose 2*k + 272 - 572 = 0. Is 30 a factor of k?
True
Let h(y) = -209*y**3 - 2*y**2 - 2*y + 1. Is 6 a factor of h(-1)?
True
Suppose 0 = -0*o - 2*o + 6. Does 7 divide 39*o/9*2?
False
Let q(u) = 2*u + 17. Let i = -37 + 42. Does 9 divide q(i)?
True
Let z be 3 - (-47*2 + -3). Let k = -67 + z. Suppose k = 4*p - p. Is p a multiple of 6?
False
Suppose -3*k - 3 = -4*k. Let n be -1 - ((-6)/(-4))/((-2)/28). Suppose -k*f - 8 = -n. Is f a multiple of 2?
True
Suppose -v = -4*v - 30. Let l be 2/v + (-7)/(-35). Is -1 + 14 + -1 + l a multiple of 5?
False
Suppose -4*m + 12 = a, -5*a + 0 - 9 = -3*m. Let k = -81 - -71. Is k*m/6*-13 a multiple of 15?
False
Suppose -6*d + 5168 = 2*d. Suppose 5*p = -2*b + d - 34, 3*b - 484 = -4*p. Is p a multiple of 31?
True
Let y be (264/55)/((-8)/5 + 2). Suppose 0 = y*v + 61 - 373. Does 4 divide v?
False
Let y(r) = -r**2 - 17*r + 8. Let d be y(-16). Let l be (12/(-10))/(d/(-2800)). Is (-3)/(3 + l/(-46)) a multiple of 14?
False
Let d = 48 - 148. Does 9 divide 1081/10 + 10/d?
True
Let y = -24 + 32. Suppose -2*f = 5*t - 109, -4*f + y*f = -2*t + 178. Is 19 a factor of f?
False
Suppose -2*w + 6 + 2 = 0. Let l be (-107)/(-7) - w/14. Is 10 a factor of 228/l - 3/15?
False
Suppose 0 = -21*y + 31*y - 7000. Is 43 a factor of y?
False
Let c(p) = 3*p**3 - 7*p**2 - 16*p + 72. Does 38 divide c(6)?
False
Suppose 2*h + 4*n - 145 = -31, -122 = -2*h + 4*n. Suppose -3*v + 4*k + h = 18, 2*v = -2*k + 32. Is 12 a factor of (-12)/v*(-33 + 3)?
True
Let c(j) = 2*j**3 - 5*j**2 + 11*j - 4. Does 16 divide c(5)?
True
Let w be -36*-3*(-1)/6. Let c = 63 + w. Is c a multiple of 8?
False
Let j = -58 + 301. Suppose -11*x + j = 12. Does 3 divide x?
True
Let w be (-17)/(-2) - (-3)/2. Let l be (-2 - w/(-4))*-8. Is 33 a factor of l/10 - 664/(-10)?
True
Let s(z) = 2 + 3 - 3 + 10*z - 2*z. Let q be s(-1). Does 18 divide (-1)/q + 1059/18?
False
Let c be (-63)/(-28)*4/3. Suppose -52 = -c*b + 38. Does 15 divide b?
True
Let b(r) = 7*r + 2. Let h be b(1). Let l = 28 + -40. Is 12 a factor of (l/h)/((-2)/90)?
True
Let j(p) be the third derivative of p**5/15 + 3*p**4/8 - 5*p**3/6 - 10*p**2 + 1. Suppose 2*d - 8 = -0*d. Is 32 a factor of j(d)?
False
Let n(i) = -i**3 - 16*i**2 - 16*i - 13. Let g be n(-15). Suppose 2 = -g*t, -3*h + 4*h + 1 = -5*t. Suppose h*o = o + 54. Is 4 a factor of o?
False
Let d(x) = -205*x**3 - 2*x**2 - x. Is d(-1) a multiple of 17?
True
Suppose -14*d - 6*d = -1800. Does 45 divide d?
True
Let v(q) = -q**3 - 3*q**2 - 2*q + 3. Suppose 0 = -4*d - 9 + 181. Let t be d/(-15) + 2/(-15). Is 3 a factor of v(t)?
True
Does 15 divide (-16)/(-28) - 12588/(-21)?
True
Suppose 2*s - 236 = 5*i + 469, 1748 = 5*s + 2*i. Is s a multiple of 23?
False
Let b(k) = -578*k - 59. Does 17 divide b(-6)?
False
Suppose 7*c - 1712 = 1508. Does 20 divide c?
True
Let f = -33 + 35. Suppose 3 = 3*b - f*b, 3*o + 4*b = 378. Is o a multiple of 18?
False
Let r(i) = 9*i**2 + 6*i 