ultiple of 8?
True
Let p(g) = g**3 - 23*g**2 + 30*g - 77. Does 3 divide p(22)?
True
Let m(n) = -23*n**3 + n**2 - 3*n - 2. Let u be m(2). Let g = -69 - u. Is g a multiple of 26?
False
Does 53 divide (-159)/(3 + (-609)/196)?
True
Suppose -26 = 2*j - 0*j. Let x = -1 - j. Is (35/10)/(2/x) a multiple of 6?
False
Let c = 163 - 103. Suppose 94 = c*m - 58*m. Is 6 a factor of m?
False
Suppose 0 = -17*k + 33148 - 13156. Is k a multiple of 24?
True
Suppose -28*h = -35*h + 1449. Does 9 divide h?
True
Let i be 3/1 - (2 + 1). Let u(y) = 28*y + 7*y + i - 3 + 7*y. Does 27 divide u(2)?
True
Suppose -x - 38 = 33. Let q = x - -9. Let m = -36 - q. Does 9 divide m?
False
Let b = 12 - 9. Let p(m) = b*m - 6*m + 0*m + 2 + 2*m. Does 2 divide p(0)?
True
Let v = -3 - -5. Suppose 0*a = c + a - 5, -3*c - v*a + 14 = 0. Suppose c*y + 18 = 5*y. Is 6 a factor of y?
True
Let n = 25 + -25. Does 12 divide (4 + 8)/(1/(1 - n))?
True
Let o be 18/30 - (1 + 1614/(-10)). Suppose 5*p + 35 = x, 4*x + 0*p + p - o = 0. Does 40 divide x?
True
Let a(p) = p**3 - 5*p**2 - 21*p - 4. Is a(8) a multiple of 10?
True
Suppose -3*m + 4*h + 0*h - 9 = 0, 4*h = 0. Does 8 divide (31/5 + m)*(3 + 2)?
True
Let j = 39 + -49. Does 29 divide (-5)/j - (-61)/2?
False
Suppose 0 = 16*h - 4670 + 318. Is h a multiple of 18?
False
Is 3 a factor of ((-42)/8)/(9 + 74/(-8))?
True
Let k(a) = -4*a**2 + 22*a - 10. Let z be k(6). Let q = 4 - z. Is q a multiple of 13?
True
Let s(f) = 4*f + 5. Let n be s(0). Suppose n*j - 4*j - 2 = 0. Is j a multiple of 2?
True
Suppose -20102 = -9*h - 6377. Is h a multiple of 18?
False
Let p = -394 + 810. Is 32 a factor of p?
True
Suppose 7*u + 294 = -70. Let l = u + 118. Does 21 divide l?
False
Let o = -70 + 16. Let b = o - -56. Is 2 a factor of b?
True
Let m = 3 - -2. Suppose l - v + 22 - 69 = 0, m*l + 5*v - 185 = 0. Is l a multiple of 3?
True
Suppose 4*k + 4 = 6*k. Suppose k*r = 3*c + 240, -2*c + 0*c - 8 = 0. Let i = -79 + r. Is i a multiple of 14?
False
Let z = -40 + 78. Suppose -6*m + 2*m = h - 217, 0 = m - 3*h - z. Is m a multiple of 16?
False
Let g(x) = -x**2 + 33*x + 54. Does 2 divide g(28)?
True
Let c be ((-24)/(-15))/((-4)/(-10)). Let h = -25 + 15. Does 8 divide ((-32)/10)/(c/h)?
True
Is 8 + 4/3*8988/56 a multiple of 24?
False
Suppose 2*w = -30 - 38. Let x = -23 - w. Is x even?
False
Suppose 2*x = -n + 4*x + 280, -3*n = x - 805. Is n a multiple of 30?
True
Is ((-21)/42)/((-2)/1576) a multiple of 21?
False
Let d(z) = 41*z**2 - 3*z + 2. Let l be d(1). Suppose -42*n + l*n = -244. Is 9 a factor of n?
False
Suppose -4*x + 488 = -872. Does 20 divide x?
True
Suppose -4*r + 0*r = -172. Let u = -53 + 41. Let w = u + r. Does 13 divide w?
False
Let w(b) = 29 - 38 - 22 + 9*b. Is 35 a factor of w(31)?
False
Does 19 divide 5*(90/16 - (-9)/24)?
False
Let k be 0 + 3 - (3 - (0 + 2)). Let r(n) = 5*n**2 - 5*n - 3. Is 3 a factor of r(k)?
False
Suppose 0*x + 560 = 3*d + 2*x, -4*d + x = -754. Is 32 a factor of d?
False
Let q(y) = 1 + 6*y - 3*y**3 + 3*y**2 + 2*y - y - 3*y. Let l be q(3). Let a = 107 + l. Does 19 divide a?
False
Let w(g) = -g**2 + 4*g. Let q be w(3). Suppose 0 = q*t + 4 - 19. Suppose -115 = -l - 3*m, 10*l = 5*l + t*m + 595. Does 20 divide l?
False
Is 38 a factor of (-2 + -38)/(287/(-140) + 2)?
False
Let n(k) = -4*k**3 + 17*k**2 - 3*k - 13. Let o(t) = -t**3 + t**2 + t. Let y(r) = n(r) - 3*o(r). Does 13 divide y(13)?
True
Does 9 divide (246/(-9))/(14/1155*-5)?
False
Let j = 329 + -305. Is j a multiple of 8?
True
Let m(r) = r**3 - 14*r**2 + 12*r + 18. Let h be m(13). Suppose 282 = h*s + 52. Is s a multiple of 6?
False
Is 124172/370 + ((-2)/(-5) - 0) a multiple of 7?
True
Suppose 3*j = 2*j - 18. Suppose -5*u + 3*v = -149, 3*u - 5*v + 0*v - 99 = 0. Let x = j + u. Does 2 divide x?
True
Let t = 313 + 857. Is 123 a factor of t?
False
Let a = 4265 + -2952. Is a a multiple of 6?
False
Suppose 3 = -3*w - 3*k, w - 3*k = -k + 2. Let d be (8 + w)/(1 + 1). Suppose -d*n = -n - 135. Is n a multiple of 16?
False
Let j = 91 + 69. Suppose 0 = 4*o + 4*p - 6*p - 4, 4*p = 2*o - 8. Suppose o = -c - 2*i + 10 + 45, j = 4*c - 4*i. Is c a multiple of 15?
True
Suppose -7*k - 6*k = -91. Is 6 a factor of k*(685/210 + 2/12)?
True
Let p be ((-6)/(-8))/((-6)/48). Let o be 1/(2/p) + -3. Let q(n) = -n**3 - 5*n**2 + 2. Does 19 divide q(o)?
True
Let l(b) = -b**3 + 7*b**2 + 9*b - 3. Let g = 20 - 12. Let h be l(g). Suppose -6*v + 2*v = -h*y + 61, 4*y = 5*v + 56. Is 2 a factor of y?
False
Let m(v) = 11*v**2 + 3*v + 1. Let c be m(3). Let z = 117 + c. Suppose 5*p + 0*p = 5*g + 435, -3*p = 4*g - z. Is p a multiple of 24?
False
Suppose 0 = v - 4*g + 147, -3 = -4*g + 13. Let w = -5 - v. Suppose -4*u + 0*h + w = 5*h, -4*u + 110 = -3*h. Is u a multiple of 21?
False
Let q = -32 - -47. Suppose 4*k - 105 = k - 2*p, 4*k - 5*p - 117 = 0. Let t = q + k. Does 10 divide t?
False
Let a be ((-4)/3)/((-4)/18). Let d(n) = 17*n - 6. Let o be d(a). Let j = -24 + o. Does 29 divide j?
False
Suppose 116*g - 123*g = -21. Let p = -3675 + 2391. Is 27 a factor of g/4 - p/16?
True
Suppose -2*p = -4, 25*c = 27*c - 5*p - 1866. Does 4 divide c?
False
Suppose 2*k + 0*k = 3*a + 14, 0 = 2*a + k. Is (0 + -7 - a)/((-6)/72) a multiple of 19?
False
Let i = -179 + 177. Let y(a) be the first derivative of 10*a**3/3 + 3*a**2/2 + a + 1. Is 11 a factor of y(i)?
False
Let i(a) = -a**2 - 7*a. Let y be i(-6). Let s = 15 - y. Does 9 divide 3/(s/24)*2?
False
Let g be 1084/(-14) + (-3)/(-7). Let r = g - -108. Is 3 a factor of r?
False
Is (-2 + -2 - (2 + -4))*-2 a multiple of 4?
True
Let z = -8 + 145. Suppose -2*r + 75 = 3*l - 5*r, 0 = 5*l + r - z. Suppose k + 17 = l. Is k a multiple of 5?
True
Let w(l) = -2*l - 5*l + 21 + 8*l. Is w(-6) a multiple of 5?
True
Let z(p) = p + 16. Let u be z(-8). Suppose -2*w - 2*j + 52 - u = 0, -74 = -2*w + 4*j. Suppose -w = -2*n + 25. Is 11 a factor of n?
False
Let s = 339 + -278. Is s a multiple of 23?
False
Let f(p) be the third derivative of p**6/120 - p**5/20 - p**4/12 - 4*p**2. Let u(y) be the second derivative of f(y). Does 18 divide u(7)?
True
Let y(o) = 912*o**2 - 4*o + 5. Does 9 divide y(1)?
False
Suppose -4*m + 7151 = 100*p - 101*p, -1789 = -m - p. Is 6 a factor of m?
True
Suppose -4*k - 14 = -2. Let c be (5/(-15))/(1/3). Does 13 divide k/((-6)/28) + c?
True
Suppose 3386 = 28*k - 3894. Is k a multiple of 20?
True
Suppose -25 = 5*m, 0 = -k - 3*m - 13 + 1. Suppose k*w = 12, 3*v + 3*w + 28 = 160. Is 5 a factor of v?
True
Let v be (7 - 42)*(-4)/10. Suppose 3*g = 5*f - 52, -2*g = -3*g + f - v. Does 17 divide ((-48)/10)/(g/60)?
False
Let i(o) = 17*o**2 - 6*o + 41. Is i(4) a multiple of 17?
True
Let u(a) = 10*a**2 + a - 3. Let w be u(-4). Let f(v) = 26*v**2 + 5*v + 3. Let i be f(-2). Let l = w - i. Is 14 a factor of l?
True
Let p(u) = -20*u**2 - 7*u + 16. Let z be p(5). Let c = z - -896. Does 21 divide c?
False
Let y(v) = -v**3 - 4*v**2 + 11*v + 2. Let n be y(-6). Let i(x) be the first derivative of -x**3/3 + 5*x**2 + 8*x - 2. Is i(n) a multiple of 13?
False
Let i = -1061 + 1091. Does 30 divide i?
True
Let l = -14 + 87. Does 14 divide l/(-3 - (-12)/3)?
False
Suppose -8*z - 436 = 220. Let n = z - -100. Is 18 a factor of n?
True
Let z(p) = 2*p**3 + 13*p**2 - 9*p + 12. Let x(q) = q**3 + q**2 + 1. Let r(k) = -3*x(k) + z(k). Is r(8) a multiple of 4?
False
Let u(v) = 5*v - 17. Let c be u(4). Suppose c*n + 2*b - 21 = 44, 0 = -4*n - b + 80. Is 2 a factor of n?
False
Suppose 3*h = -3*w - 24, -4*w + h + 2 = 14. Let c = 7 + w. Suppose 44 = -2*v + c*v. Is 22 a factor of v?
True
Suppose -5*k = -2*x - 11 - 12, -3*x = 4*k. Suppose 5*a + 5*q - 480 = 0, -15*q + 189 = 2*a - 16*q. Suppose -a = -s - k*y + y, 20 = 4*y. Is s a multiple of 30?
False
Is (-93)/2*56/(-14) a multiple of 93?
True
Suppose -6 = -2*w - 2. Suppose 3*l + 118 = -2*l - w*f, 4*l + 3*f = -100. Let d = 38 + l. Does 4 divide d?
True
Let m(n) = -6*n + 10. Let x be m(4). Let r = x - -17. Suppose r*h = l - 72, -2*l - h = -4*h - 132. Does 17 divide l?
False
Let c be ((-28)/6 + 3)*-3. Suppose -c*s - 72 = 3*l, 2*l + 9 = 4*s - 39. Is (-1)/((-4)/(-12)) - l a multiple of 7?
True
Let x(i) = i**3 + 13*i**2 + 11*i - 8. Let n be x(-12). Suppose -3*w = m - 24, -n*m + 120 = m + 5*w. Does 9 divide m?
False
Let v be -4 + (5 - 1) + 3. Suppose -4*n + 357 = -2*n + 3*s, 0 = n + s - 178. Suppose -290 = -5*y - 4*z, 0