-5) a multiple of 4?
False
Is (-15 - 4)*(-6 - -5) a multiple of 6?
False
Suppose -17*s + 1139 + 5797 = 0. Does 24 divide s?
True
Let k(v) = v - 4*v - 3 - 3*v + 4*v + v**3 - 2*v**2. Let n be k(4). Let h = n + -16. Is 4 a factor of h?
False
Suppose 3*t = 5*f + 8*t - 285, -2*f - t + 109 = 0. Is 13 a factor of f?
True
Let t be 3*10/15 - -6. Suppose -28 = 3*g + t. Does 8 divide 6/g - 98/(-4)?
True
Let f(h) = -2*h**2 + 20*h - 10. Let m be f(9). Is (-2)/m*94*-2 a multiple of 15?
False
Suppose -3*m = -5*k - 0*m - 320, 0 = -k + m - 66. Let c = 115 + k. Suppose 4*i - c = 2*i. Does 9 divide i?
True
Let v = -126 + 390. Let q = 51 + v. Suppose q = 5*f - 0*f. Is 18 a factor of f?
False
Suppose -2*r - 3 + 11 = 0. Let p(w) = 7*w + 5*w - r*w - 3*w - 4. Is p(4) a multiple of 4?
True
Suppose 0 = -3*m - 2*h + 991, 2*m - 104 - 552 = h. Is m a multiple of 47?
True
Let p = 9 - 6. Suppose f = p*q - 49, -q - 3*f + 16 = 3. Suppose -q + 52 = 2*r. Is 18 a factor of r?
True
Let p(c) = 2*c**2 + 2*c + 8. Let i be p(-5). Suppose i - 160 = -4*x. Does 15 divide x?
False
Suppose -2*v + 230 = -5*w - 81, -v = -3*w - 158. Is 25 a factor of v?
False
Let j(a) = 120*a**3 + a**2 - 2*a + 1. Let z be j(1). Suppose 3*n - z = -3. Suppose -y - 4*y = -3*v + 119, v - y = n. Is 19 a factor of v?
True
Let o(w) = -4*w - 12. Let b be o(-2). Is ((-2)/(b - -6))/((-1)/35) a multiple of 27?
False
Suppose 0*s - 20 = -4*s. Suppose s*h = -5 - 5. Let g = 25 - h. Does 15 divide g?
False
Let s = -602 + 2132. Does 45 divide s?
True
Is 3 a factor of 150/7*(-154)/(-22) - -6?
True
Let i(d) = -12*d**3 + 2*d**2 - 17*d - 14. Is i(-5) a multiple of 53?
False
Let d(f) = 10*f - 4. Let i be d(6). Is (i + 4)/6 + (-1 - -1) a multiple of 2?
True
Let q(w) = w**3 + 13*w**2 + 4*w + 56. Let n be q(-13). Suppose -n*t + 13*t = 63. Is t a multiple of 3?
False
Suppose -5*u + 201 = -o, -o = -6*o + u - 1125. Let k = -48 - o. Is k a multiple of 51?
False
Suppose -7 = 5*z - 47. Let u = z - 8. Suppose 4*n - 3*n - 16 = u. Is n a multiple of 16?
True
Let p(l) = 82*l**3 + 4*l + 4. Let y(q) be the third derivative of 27*q**6/40 + q**4/8 + q**3/2 + 12*q**2. Let a(b) = 2*p(b) - 3*y(b). Is 16 a factor of a(-1)?
False
Suppose 0 = -4*s + 6*s + 14. Let x be (2 - 3)*(-8 - s). Suppose 0 = -4*v + 5*v + x, -p + 56 = -v. Is 11 a factor of p?
True
Suppose y - 7 = -y - b, -5*b - 21 = -4*y. Let o be 6 + 0 - (y - 1). Is o + -3*5*-1 a multiple of 18?
True
Let g = 14 - 10. Let k(r) = -23*r - 8. Let d be k(-2). Suppose -g*c - d = -110. Is c a multiple of 12?
False
Let o(c) = -c - 10. Let p be o(-12). Suppose 3*m - 18 = p*s, -5*s - 17 - 2 = -m. Suppose -j + m*j - 12 = 0. Does 2 divide j?
True
Let k = 19 - 14. Suppose -210 = -5*s + k*v, 0 - 1 = -v. Is 24 a factor of s?
False
Let b(v) = 320*v**3 + v**2 + 3*v + 1. Let u be b(-1). Let q = 465 + u. Is q a multiple of 18?
True
Is 29 a factor of 419/4 - 5/(-20)?
False
Let p(v) = -2*v**2 + 2*v + 2. Let k be p(3). Let j(b) = b**2 + 6*b + 10. Let m be j(k). Suppose 0 = -w - 0*w + m. Is w a multiple of 10?
True
Suppose -402 = -4*s + 5*u, 213 = 2*s + u + 19. Suppose 0 = 39*t - 40*t + s. Is 49 a factor of t?
True
Let b = 27 - 25. Let g(k) = 12*k**3 + k**2 - 2*k - 1. Is g(b) a multiple of 30?
False
Let j(d) = d + 220. Suppose 0 = -2*b + 4*b. Let c be j(b). Is 5 a factor of 1/(4 - c/56)?
False
Let r be ((-1)/(-1))/((-6)/(-12)). Suppose v = 2*v - r. Let o(k) = 3*k**2 - k. Is o(v) a multiple of 5?
True
Let z be (-1)/(-3) + (-37)/3 - 3. Is -4 + 2 - 1 - z a multiple of 4?
True
Is (8673/(-245))/(1/(-30)) a multiple of 9?
True
Let q(r) = 50*r**2 - 4*r - 8. Let x be q(-2). Suppose 0 = -4*a - a - x. Is 25 a factor of a/12*(-5 + -10)?
True
Let m(p) = p**3 + p - 1. Let u be m(1). Let z be (-2)/(u - 2) + 1. Suppose 2*b - 4*w = 100, 8*w = 5*w + z. Does 24 divide b?
False
Suppose -5*x + 1386 = -2*x. Suppose -7*l + x = 168. Does 7 divide l?
True
Suppose 11*r - 15*r + 56 = 0. Is 224 + (r + 4)/(-6) a multiple of 17?
True
Suppose 6*j - 11 = 25. Let d(c) = c**2 + 10*c - 18. Is d(j) a multiple of 18?
False
Suppose 0 = u - b + 5, u = -2*b + 4 + 6. Suppose u = -0*s + 2*s. Suppose 2*r + s*r - 94 = 0. Is 18 a factor of r?
False
Let r(u) = 4*u**3 + 2*u**2 + 4*u + 4. Let f be r(-3). Let n = 144 + f. Suppose 32 = 3*s - n. Is s a multiple of 13?
True
Suppose 0 = a - 3, -15 = 3*x + a - 3*a. Let j be -3 + -5 - 6/x. Does 14 divide (-2)/j - (-625)/15?
True
Suppose u - 2*y = 2*y + 8, 0 = -4*u - y - 2. Suppose 3*i - 7*i - 32 = u. Is (-7)/2*2*i a multiple of 20?
False
Suppose q + 5*j = 193, -2*j + 506 = 4*q - 230. Is q a multiple of 34?
False
Let r(u) = 17*u - 25. Let g be r(7). Let f = -5 + g. Is 15 a factor of f?
False
Suppose -64*m - 15 = -69*m. Suppose -m*c - 4*s + 3*s = -165, 2*c = 5*s + 110. Does 9 divide c?
False
Let f(n) = -n**3 + 21*n**2 - 3*n - 8. Let o be f(21). Let j = -43 - o. Is 6 a factor of j?
False
Is 589 - (25/(-10))/(3/6) a multiple of 22?
True
Suppose -1386 = t - 22*t. Suppose -63*b + t*b - 414 = 0. Does 5 divide b?
False
Let z = -36 - -68. Suppose 2*p - 48 = -6*p. Suppose p*i = 8*i - z. Does 11 divide i?
False
Let r = -96 - -504. Is r a multiple of 8?
True
Let n be (-9)/(2/(-2)) - -1. Suppose -n*l = -6*l - 152. Suppose -146 = -3*o - l. Is o a multiple of 22?
False
Let k be -6 + 1 - (-3)/(3/2). Let z(c) = -12*c - 2. Is z(k) a multiple of 17?
True
Let l = 77 + -61. Let r(i) = i + 27. Does 13 divide r(l)?
False
Let g(m) = -m - 10. Let u be g(0). Let y be (28/(-6))/(u/15). Let z = y - -17. Does 5 divide z?
False
Suppose 0 = 3*l - 3*d - 9, 2*l + l + 2*d - 9 = 0. Suppose 15*q - 1381 = 734. Suppose -l = -3*s + q. Is s a multiple of 12?
True
Let t = -34 - -83. Suppose -5*l = 4*x - 3*x - 47, -3*l + t = x. Is 13 a factor of x?
True
Let n be (-8)/(-60) - (-356)/30. Is 31 a factor of ((-18)/n)/(2/(-4)) - -59?
True
Does 36 divide ((-2120)/(-30))/(2/18)?
False
Let u = -17 + 22. Suppose -u*t = 15, 5*f = -3*t - 2*t - 5. Suppose 72 = f*y - y. Is 24 a factor of y?
True
Let c(m) = -13*m**3 + 13*m + 10. Is c(-3) a multiple of 3?
False
Suppose -2*i + 5 = 1. Does 11 divide (188/6 + i)*24/20?
False
Let u be ((-20)/10)/(1*-2). Is 9 + (-20)/4 + u even?
False
Let b = 22 - 18. Let w(q) = 15*q + 36*q + 4 - b. Is w(1) a multiple of 14?
False
Suppose -3*q = -15*q + 5040. Does 7 divide q?
True
Let v(p) = p**2 - 21*p + 54. Is v(22) a multiple of 13?
False
Let w = -74 - -30. Let x = 65 + w. Is x a multiple of 5?
False
Suppose 2*s - 3*v = -52, 0*s + 3*v - 92 = 4*s. Is (3 + -8)/(4/s) a multiple of 20?
False
Suppose -127*w = -123*w + 8. Does 6 divide (3*26/4)/(w/(-4))?
False
Let q(l) = 38*l - 6. Let y be (2/(-4))/(19/(-114)). Is q(y) a multiple of 18?
True
Let a be (-6)/(-4) - (-561)/22. Let x be (-6)/a + (-2436)/(-27). Suppose -3*q + 3*y + x = 0, -4*q + 3*y = -111 - 5. Does 9 divide q?
False
Is 8 - (33/12 + -3)*932 even?
False
Let k(o) = o**3 - 13*o**2 - o + 16. Let t be k(12). Let b be (-4)/26 - t/65. Suppose b*f = -f + 36. Is 3 a factor of f?
True
Let d(y) = y**3 + 16*y**2 + 4*y - 12. Suppose 3*t - 5 + 50 = 0. Is 23 a factor of d(t)?
False
Let w be -91 + 15/(3 - -2). Let s = w + 153. Is s a multiple of 13?
True
Let v = 8 + 14. Suppose -3*o = 227 - 278. Let a = o + v. Is a a multiple of 13?
True
Let z be 3/((-3 + 1)/(-12)). Let b = -14 + z. Suppose 3*a = -5*s, -3*a - b*s + 6 = -s. Is a a multiple of 3?
False
Is 14 a factor of (-1)/(-5 + (-18195)/(-3640))?
True
Let u(x) = -5*x - 6. Let c(n) = 6*n + 7. Let h(g) = 6*c(g) + 7*u(g). Let r be h(-2). Is r/((-3 - 0)/42) a multiple of 14?
True
Suppose -147 = -2*x + t - 13, -4*t = -5*x + 341. Suppose 2*q + s = 4*q - x, 3*s - 43 = -q. Does 16 divide q?
False
Suppose 7 = 5*p - 2*i - 25, 2*p - 10 = -2*i. Suppose -4*z = 5*d - 46, -5*d = -p - 4. Is 3 a factor of z?
True
Suppose 0 = -4*l + h + 404, -2*h = -4*l - 64 + 468. Suppose 995 = 6*k + l. Is 22 a factor of k?
False
Let g(d) = d**3 - 8*d**2 - 3*d - 126. Is g(11) a multiple of 17?
True
Suppose -7*u + 110 - 334 = 0. Let i = 6 - u. Is 14 a factor of i?
False
Let g(q) = q**2 - 7*q - 3. Suppose -4*j = 3*l - 0*l - 4, -5*l - 3 = -3*j. Suppose -h + 2*n + 5 = -j, -2*h + 2*n = -14. Is g(h) a multiple of 5?
True
Let j(t) = 20*t**2 + 20*t + 105. Does 50 divide j(-5)?
False
Let l = -125 + 216. Suppose -2*z + z - 4*b + 7 = 0, -5*b = -4*z + l. Let g = 52 - z. Does 11 divide g?
True
Sup