- 36 = 0. Is 8 a factor of j?
False
Let r(i) = -i - 1. Let q be r(-3). Suppose -5*s = q*w - 5, 0 = 4*w - 3*w - 2*s + 11. Does 2 divide w/(20/(-16)) - -1?
False
Let l be -2 - ((-1104)/4 - 1). Let q(u) = 2*u**3 + u**2 + u - 5. Let z be q(5). Suppose -5*y - k + l = 0, -y + k + z = 4*y. Does 21 divide y?
False
Let b(v) = 5*v**3 + 3*v**2 - 2*v - 3. Let f be b(2). Suppose -k + f = 2*k. Is k a multiple of 14?
False
Suppose -4*v = -8*v + 140. Let n = -23 + v. Does 4 divide n?
True
Suppose -3*y = g - 10, 4 - 16 = -3*y. Let k = -2 + g. Let w = k + 20. Is 10 a factor of w?
False
Let y(s) = 40*s**3 + 2*s**2 + 4*s. Let k(x) be the third derivative of -x**5/60 - x**4/24 + 7*x**2. Let c(d) = 3*k(d) + y(d). Does 20 divide c(1)?
True
Suppose -2*g + 6*g + 122 = b, -3*g + 306 = 3*b. Let s = b + -52. Is 11 a factor of s?
False
Let p = -19 + 36. Suppose 3*y + 30 = d, -p + 1 = 4*y. Suppose -5*x + 153 - d = 0. Is x a multiple of 8?
False
Suppose -11*o + 6 = 2*p - 7*o, 0 = 3*o. Suppose p*s + 15*s - 3024 = 0. Is s a multiple of 12?
True
Is 21 a factor of (17 - -15)*(8 + -4 - -16)?
False
Let u = 184 + -104. Let l = 281 + -119. Let j = l - u. Is j a multiple of 24?
False
Let l(q) = 2*q**2 + 72*q + 172. Is 36 a factor of l(38)?
True
Is 12 a factor of 2/6*-16*-30?
False
Let l(i) = -i**3 - 11*i**2 + 18*i + 13. Let f be l(-12). Let a = f - -140. Is 27 a factor of a?
True
Let a(s) = 4*s**2 + 10*s + 6. Is 13 a factor of a(5)?
True
Let d = -239 + 488. Let h = d - 174. Does 11 divide h?
False
Let s = 18 + -20. Let o(m) = -14*m + 3. Does 31 divide o(s)?
True
Let t(k) = -9*k**2 + 9*k - 60. Let s(j) = 6*j**2 - 6*j + 40. Let p(w) = 8*s(w) + 5*t(w). Is 8 a factor of p(4)?
True
Let k(a) = 30*a - 153. Is k(26) a multiple of 18?
False
Let g = -38 - -81. Suppose 2*h = 2, -4*h - 173 = -t + g. Does 10 divide t?
True
Suppose -340 = -8*f - 100. Is f a multiple of 4?
False
Let c(i) = i**2 + 6*i + 4. Let a be c(-4). Let q be 51/a - (-3)/4. Is 5 a factor of (15/(-6))/(2/q)?
True
Let s be (((-48)/10)/2)/((-6)/825). Let j = s - 170. Is j a multiple of 62?
False
Suppose -36*u + 109197 = 9225. Is u a multiple of 59?
False
Suppose -11*f + 640 + 1274 = 0. Is f a multiple of 13?
False
Let t be (12/10)/(1 + (-9)/15). Suppose 4*d = -d + 5*g + 380, -d + t*g + 78 = 0. Is 11 a factor of d?
False
Let s = -33 - 22. Let y = s - -91. Is y a multiple of 18?
True
Let w = 209 - 65. Does 24 divide w?
True
Does 87 divide (-225648)/(-144) - (0 - (0 - 1))?
True
Suppose 11 = m - 9. Let h = -17 + m. Let o = 55 - h. Does 13 divide o?
True
Suppose 0 = 8*k - k. Suppose -3*u + 320 = 5*j, -4*u - 355 = -5*j - k*u. Is j a multiple of 18?
False
Let k be ((-5)/(-15))/((-1)/(-6)). Suppose -5*h = -k*h - 21. Let q = h - -23. Is q a multiple of 15?
True
Let w(o) = 39*o + 276. Is 3 a factor of w(-7)?
True
Let r = 1 - 6. Is 15 a factor of 120/8*(-1 + 0 - r)?
True
Suppose -3*o - 2*m = 2*o - 232, -m - 229 = -5*o. Let p be 2/(o/14 + -3). Let y(l) = l**2 + 3*l - 3. Is y(p) a multiple of 29?
False
Suppose -245 = -5*j + 155. Suppose 2*m = -10, -2*y - 3*m + 99 = -j. Is 25 a factor of y?
False
Let v(f) = -f**3 + 3*f**2 + 4*f + 3. Let h be v(4). Let o be 44/20 + h/(-15). Suppose y = o*r + 5*y, 21 = r - 5*y. Is r a multiple of 3?
True
Let m = 24 - 15. Let q(g) = g**3 - 10*g**2 + 14*g - 9. Let y be q(m). Let p = 54 + y. Is p a multiple of 25?
False
Let j = 1187 + -683. Is j a multiple of 28?
True
Suppose -13483 = -18*f + 6497. Is f a multiple of 37?
True
Let i = 265 - 80. Suppose i = 4*l - 499. Is l a multiple of 9?
True
Let t be 16/(-6)*(-66)/44. Suppose t*d - 208 = -60. Is d a multiple of 26?
False
Let m(d) be the third derivative of d**5/20 + d**4/24 + 13*d**3/2 + 19*d**2. Is m(0) a multiple of 13?
True
Let a(v) = -2*v**2 - 37*v + 1164. Is 97 a factor of a(0)?
True
Let s(i) = 46*i - 4. Suppose 2*x - 3*a - 8 = -0*x, 0 = -3*x + 3*a + 12. Let y be s(x). Suppose 0 = -3*b - 5*j + y, j + 111 = 2*b - 9. Is 30 a factor of b?
True
Let k be (-15)/(-6) - (-3)/2. Is 11 a factor of (-2 + -13 + k)*-7?
True
Suppose 3*i + 2*v = -40, 0 = 5*i - v + 2*v + 55. Is 5/i*-2 - -85 a multiple of 19?
False
Let g(q) = -q**2 + 8*q - 6. Let y be g(5). Let m(x) = -4*x**3 + 17*x**2 - 15*x. Let k(n) = n**3 - 2*n**2 + n + 1. Let j(p) = 3*k(p) + m(p). Does 20 divide j(y)?
False
Suppose -4*h + h + 1836 = 3*k, 3*h = 5*k + 1860. Is 61 a factor of h?
False
Let n = 80 + -15. Let r = n + -98. Let c = r + 64. Is 9 a factor of c?
False
Let f(g) = -10*g + 14*g - 3*g - 9. Let c be f(11). Let w = c - -12. Does 14 divide w?
True
Let j(c) = 149*c + 98. Is j(3) a multiple of 42?
False
Let i be (-6)/(-39) + 150/39. Suppose 0 = 2*m - 11 + 1, -531 = -i*r + m. Is 23 a factor of r?
False
Let y(c) = c**3 + 4 - 7 - 5*c**2 + 2 - 7*c. Does 7 divide y(7)?
False
Is (834/(-33) + (-24)/(-88))*-10 a multiple of 5?
True
Let d be 1 - (19 - 2*-1). Let o(f) be the first derivative of -3*f**2/2 - 15*f + 18. Does 7 divide o(d)?
False
Let h be 3/((36/(-16))/(-3)). Suppose -400 = h*z - 0*z. Is 7 a factor of (14/(-35))/(2/z)?
False
Let t(d) = d**2 + 25*d + 16. Let s = 6 + -4. Let p(f) = -6*f - 4. Let i(c) = s*t(c) + 9*p(c). Is 6 a factor of i(4)?
True
Suppose -17 - 3 = -5*c. Suppose 5*a = c*v + 245, 0 = -2*a + 3*v + 39 + 66. Is a a multiple of 10?
False
Let g = 3650 - 1232. Is 78 a factor of g?
True
Suppose -11*x - 221 = -12*x. Is x a multiple of 17?
True
Let a(g) = 4 - 5 + 2*g + 3 - 1 + 13*g**2. Does 4 divide a(-1)?
True
Let z = -146 - -146. Let t = 9 - 6. Suppose 0 = -0*m - 5*m + 2*b + 75, t*m - 2*b - 45 = z. Is m a multiple of 5?
True
Suppose 604 = -8*q + 3988. Is q a multiple of 26?
False
Suppose -3*w + 359 + 2050 = 0. Suppose -29 = 6*o - w. Is o a multiple of 56?
False
Let s(z) = 106*z - 100. Is s(4) a multiple of 7?
False
Does 11 divide -11*20/(-8)*22?
True
Let k(t) = t**3 + 11*t**2 + 5*t - 1. Let n be k(-9). Let o be (1 - 0)*(n + -1). Is (6/15)/(1/o) a multiple of 27?
False
Let h = -41 - -77. Let s = h - -16. Is s a multiple of 26?
True
Suppose 4*z + 145 = o + 1446, -5*z - o = -1615. Is 36 a factor of z?
True
Let g = 1473 + -829. Does 6 divide g/42 - 2/(-3)?
False
Let c(z) = 3*z**2 + z - 18. Does 12 divide c(-6)?
True
Suppose 2*s - 19 = 5*g, -s - 4*s - 2 = 4*g. Let x = -2 - s. Is 20 a factor of 3 + -6*3*x?
False
Suppose 4*c = -3*l + c - 6, -2*l + 1 = c. Is 19 a factor of -1 + 265/(2 + l)?
False
Suppose -129 = -4*y - 5*o, -3*y = -o - 60 - 13. Is 10 a factor of y?
False
Suppose -s - t = -32, 0 = -5*s - 2*t + t + 148. Let h = 45 + s. Is 23 a factor of h?
False
Let w be 4/(-24)*-3*8. Let n be w/(-26) - 3944/52. Let i = n - -128. Is i a multiple of 26?
True
Let a = 33 + -325. Is (-1 + 3)*a/(-8) a multiple of 19?
False
Let t(l) be the second derivative of -22*l**3/3 - 3*l**2 - l. Let c be t(-9). Suppose -q + 2*k - c = -5*q, 405 = 4*q - 3*k. Is 33 a factor of q?
True
Let p(c) = 2*c**2 - 1 - 2 - 3*c**2 - 3*c - 4*c. Let r be ((-36)/(-30))/((-3)/10). Is p(r) a multiple of 9?
True
Let m(h) = -h**2 + 16*h - 22. Let t be m(11). Suppose -5*r = -l + t, 0 = 4*l + 4*r + 16 - 196. Does 10 divide l?
False
Let s(f) = -98*f - 100. Is s(-5) a multiple of 26?
True
Suppose -3*m + 5 = -4. Suppose m*i + 2*i = 10. Suppose i*j - 16 = -x + 24, 204 = 4*x - 3*j. Is x a multiple of 12?
True
Suppose 4 = -l, -3*g + 5*l + 28 + 4 = 0. Let x be 3/(-2) - (-26)/g. Let m(k) = 2*k**2 - 5*k - 5. Does 10 divide m(x)?
True
Let z(g) = -g**2 + 8*g + 5. Let d be z(-4). Let s = 5 - d. Is s a multiple of 8?
True
Let r = 399 - 283. Is r a multiple of 13?
False
Let z(s) = 16*s + 26. Let k(d) = 15*d + 27. Let m(h) = -4*k(h) + 3*z(h). Is 31 a factor of m(-17)?
False
Suppose 4*r = -5*p + 1996, -795 = -p - p - 5*r. Is p a multiple of 8?
True
Suppose -5*w - 6*t + 2*t = -5864, 5862 = 5*w + 2*t. Is 43 a factor of w?
False
Let b(w) = 8*w**2 + 5*w - 25. Is b(6) a multiple of 16?
False
Let n = -294 + 322. Does 4 divide n?
True
Let y(s) be the third derivative of s**7/1260 - s**6/144 + s**5/30 + 3*s**2. Let x(q) be the third derivative of y(q). Is 7 a factor of x(6)?
False
Let u be 36/2*(-2)/(-4). Suppose i - 6 = -2*s, -i - 3*i + 3*s = u. Suppose i = 5*q - 2*a - 11 - 76, 0 = 4*q + 3*a - 65. Does 6 divide q?
False
Let i(t) = 2*t**2 + 5*t + 12. Let r be i(-2). Let n(h) = 2*h + 17. Is n(r) a multiple of 27?
False
Let q(r) = 19*r**2 + 2*r - 2. Let b = -96 - -97. I