86. Is m a multiple of 15?
True
Let z = -5 + 10. Suppose -2*w - 2*q + 6 = 0, w + 2 = -5*q + z. Suppose -w*f + 3*p + 10 = -11, 2*p = -2*f + 26. Is 2 a factor of f?
True
Let u = 997 - -278. Does 88 divide u?
False
Let a(s) = s**3 + 4*s**2 - 13*s - 6. Let m be a(-6). Suppose 270 = 5*p - m*p. Is p a multiple of 18?
True
Suppose -4*t = t, -t + 4860 = 5*u. Is u a multiple of 58?
False
Let f = -12 - -20. Is 24 a factor of (f + 32/24)*72/14?
True
Let b be 18/(-15)*(-10)/4. Suppose 0 = -b*r - 325 - 185. Is (-3)/9 + r/(-6) a multiple of 14?
True
Does 6 divide (-295)/2*(-2664)/740?
False
Let h(i) be the second derivative of 26*i**3/3 - 18*i**2 - 21*i. Is h(4) a multiple of 43?
True
Suppose w - 27 = 5*v, -2*w = -2*v - 4 - 10. Suppose -2 = -w*x - 6. Let a(i) = -13*i. Does 23 divide a(x)?
False
Let y = -18 - -19. Is (-3)/5 - (2016/(-10))/y a multiple of 26?
False
Let q = -1207 - -1248. Is q a multiple of 10?
False
Let b(g) = -g**2 + 14*g - 22. Let f be b(12). Suppose 1470 = 5*p - 5*n, f*n - 245 = -4*p + 949. Is p a multiple of 27?
True
Let k be 10 + (2 - 0) - -3. Let f be (k/6)/(3/6). Suppose b + 2*b + y = 268, -f*b + 448 = y. Is 13 a factor of b?
False
Let m(o) = -o**3 - 14*o**2 - 12*o + 16. Let z(l) = l**2 - 6*l - 4. Let y(i) = i**2 - 1. Let g be y(2). Let p be z(g). Is m(p) a multiple of 2?
False
Suppose 4*j - 2*w = 6 + 8, -3*w + 3 = 0. Suppose -42 = -2*i + j*d, -i - 3*d + 21 = 2*d. Is i a multiple of 5?
False
Suppose -4*n = 2*n - 702. Suppose -5*h + 63 = -n. Is 9 a factor of h?
True
Let f be (65/4)/((-6)/72). Suppose 3*u - 6*y - 38 = -y, -4*u = -5*y - 44. Does 13 divide 2*(-1)/(u/f)?
True
Suppose 15 = -4*t + 35. Suppose -t*k = 32 - 187. Is k a multiple of 19?
False
Suppose 11*c + 112 = 4*c. Is (8/(c/(-111)))/(1/2) a multiple of 16?
False
Let v = 565 + -241. Is 9 a factor of v?
True
Suppose 4*c - 5*o = 10, -4*c - 10 = o + 4*o. Suppose 4*n + 3*u - 123 = c, n + 7 = 4*u + 33. Is 19 a factor of n?
False
Suppose -54*s + 52*s = -1804. Does 10 divide s?
False
Let o(d) = -2*d - 1. Let w(i) = -9*i - 5. Let s(x) = -11*o(x) + 2*w(x). Is s(4) a multiple of 14?
False
Let h be 2/(-6) + (-704)/48. Is 2 a factor of (-10)/h + (-22)/(-3)?
True
Let f(w) = -4 - 7 - 5 - 11*w. Does 10 divide f(-6)?
True
Suppose -5*p = 3*v - 3361, -2*p = 7*p + 4*v - 6054. Is 6 a factor of p?
False
Let r be 1/4 - (-3726)/8. Suppose 167 + r = 3*b. Does 15 divide b?
False
Let j = -239 + 445. Let y = j + -74. Is y a multiple of 12?
True
Let x = -84 - -138. Does 3 divide x?
True
Let t(v) = v**3 + 8*v**2 - 10*v + 4. Let p be t(-8). Let l = p + -8. Is l a multiple of 19?
True
Let a = -78 + 111. Suppose 39*k - 40*k = -a. Does 5 divide k?
False
Let i = -36 - -41. Suppose 4*z + 4*b = 72, z + i*b + 1 = 3*z. Is z a multiple of 13?
True
Let v(q) = 8*q + 3. Let r(a) = 7*a + 4. Let i(x) = 6*r(x) - 5*v(x). Does 5 divide i(11)?
False
Let r = 26 - 38. Let g = r - -44. Does 16 divide g?
True
Let r = 422 - 300. Does 20 divide r?
False
Suppose 2523 = -17*l + 3526. Does 22 divide l?
False
Let n be 21/6 - 6/4. Let j = 7 - n. Suppose j*w = 9*w - 88. Does 22 divide w?
True
Suppose -j = -2*p - 6, 0 = -5*j + 5*p + 3 + 27. Suppose 0 = -2*m + j*m - 48. Suppose b = 2 + m. Is b a multiple of 14?
True
Let t = 17 - 13. Let l be -16 + 6*t/12. Is 11 a factor of (-204)/(-9) - l/(-21)?
True
Suppose 5*g = 124 + 236. Is 12 a factor of g?
True
Let p = 323 + -220. Let l = 87 + p. Is l a multiple of 19?
True
Suppose 2*y - 3 = 1, -2*j + 3*y + 1054 = 0. Is 10 a factor of j?
True
Let d(l) = -13*l + 1. Suppose -3*s - 15 = 4*f, -f - 3*s + 3 = -0. Does 16 divide d(f)?
False
Let f(d) = 70*d**2 - 44*d - 8. Does 6 divide f(-5)?
True
Let q be (-1 - -2)/2*8. Suppose 5*o = -4*r - 0*r + 68, -16 = -q*o. Is r a multiple of 6?
True
Suppose x - 770 = -6*x. Does 5 divide x?
True
Suppose -576*g + 559*g = -14331. Is 21 a factor of g?
False
Let g(b) = -3082*b**3 - b**2 - 3*b - 2. Is g(-1) a multiple of 69?
False
Let t be (-2)/(-6) - (-41)/3. Let p(x) = -x**3 - 61*x**2 - 53*x + 432. Let y be p(-60). Suppose t*c - 152 = y*c. Is 19 a factor of c?
True
Let v(i) = -44*i - 18. Let n be v(-12). Suppose -z + 6 = -5*x - 90, 0 = 5*z + 5*x - n. Does 11 divide z?
False
Suppose 4*q - 5052 = 4*g, 0 = -4*q - g + 1640 + 3392. Is 46 a factor of q?
False
Suppose -g = -6*g. Suppose -m - 33 + 3 = g. Let f = -18 - m. Is f a multiple of 4?
True
Let g be 7/((-21)/(-2))*-3. Let y = -6 + 18. Does 20 divide -5*y*g/3?
True
Let w(g) = -g**3 + 10*g**2 + 37*g + 6. Does 47 divide w(10)?
True
Suppose -22 = -6*k + 38. Suppose -r - k + 50 = 0. Does 3 divide r?
False
Let z(f) = -632*f**2 - 6*f + 4. Let d(l) = 316*l**2 + 3*l - 2. Let n(q) = 5*d(q) + 2*z(q). Does 20 divide n(1)?
False
Suppose -3*p + 1165 = 2*p + c, c - 932 = -4*p. Is 2 a factor of p?
False
Let n = -431 + 783. Does 11 divide n?
True
Suppose -15*k = -4*m - 18*k + 11710, 2*m + 5*k = 5862. Does 6 divide m?
False
Does 47 divide (((-6490)/(-40))/(-11))/(2/(-40))?
False
Let x(g) = -9*g**2 - g + 5. Let p be x(4). Does 6 divide (-26)/p + (-119)/(-11)?
False
Suppose -3*y = 3*y - 30. Suppose 2*b - 47 - 60 = -y*g, -46 = -b - g. Is 18 a factor of b?
False
Let w(r) = 13*r - 10. Let c be w(4). Let j = 130 - c. Is 11 a factor of j?
True
Let m be (1 - 1)/6 + (-388)/(-2). Let j = 329 - m. Does 34 divide j?
False
Let z(n) = 55*n - 85. Is z(6) a multiple of 35?
True
Suppose m - 2*i - 9 = i, i = -5*m - 3. Suppose -25*n = -26*n + 55. Suppose -o + 5*z + n = m, o - 5*o + 265 = -5*z. Is 35 a factor of o?
True
Let s = 2958 - 1686. Does 53 divide s?
True
Suppose 20240 = -692*i + 712*i. Does 16 divide i?
False
Suppose 0 = 5*o + w + 25, w - 28 = 4*o - 8. Does 12 divide o/(20/3) + 387/4?
True
Suppose 0 = -31*w + 593 - 97. Does 8 divide w?
True
Let d(j) = -6*j**3 - 12*j**2 + 19*j + 121. Does 90 divide d(-9)?
False
Suppose -1432 = -6*u + 986. Is 49 a factor of u?
False
Suppose 0 = -0*s - 35*s + 19320. Does 23 divide s?
True
Let n(j) = j**3 - 2*j**2 - j - 4. Let p(k) = -k**3 - k**2 + 4. Let l be p(0). Is n(l) a multiple of 17?
False
Let o = 641 + -452. Does 55 divide o?
False
Let d = -185 + 316. Let w = d - 23. Suppose -4*j = -5*j + w. Does 23 divide j?
False
Let f(u) be the first derivative of -u**4/4 - u**3 - u**2/2 + u - 4. Let x = 91 + -97. Does 32 divide f(x)?
False
Let w(j) be the second derivative of j**4/4 - 2*j**3/3 + 7*j**2 + 5*j. Is 14 a factor of w(6)?
True
Suppose -x + 402 = 3*z - 4*x, -2*z - 2*x + 288 = 0. Is 18 a factor of z?
False
Let b(f) = f**3 - 8*f**2 - 5*f. Let o be (-9)/(-3*2/6). Does 12 divide b(o)?
True
Is 78 a factor of (0 - -1245) + 2*30/(-12)?
False
Let h(u) = -10*u + 14. Let m(o) be the third derivative of 5*o**4/24 - 7*o**3/6 + 2*o**2. Let b(d) = -6*h(d) - 11*m(d). Does 10 divide b(6)?
False
Is 11 a factor of (-4708)/(-36) + ((-188)/(-36) - 5)?
False
Is 14 a factor of 28*(-2)/16*-248?
True
Let f(x) be the first derivative of -x**4/4 - x**3 + 3*x**2/2 + x + 1. Let y be 10/(-3)*(15/(-2))/(-5). Does 9 divide f(y)?
True
Let q be 7*18/42*2/(-6). Is ((-126)/56)/(q/(-32)*-1) a multiple of 4?
True
Let j(l) be the first derivative of l**4/2 - 3*l**2 - 7*l + 1. Let a be j(-3). Let d = a + 65. Is d a multiple of 12?
False
Suppose -3*n + 7140 = 9*n. Is ((-4)/(-5))/(34/n) a multiple of 4?
False
Let n be 2/(-6) + 343/21. Is 10 a factor of 1/6*n*30?
True
Suppose 4*g + 4 = -2*y + 14, -2*g - 40 = -4*y. Suppose -2*x + 1 + y = 0. Suppose -4*r + 3*k = -223, 5*r - 272 = -x*k + 2*k. Is r a multiple of 11?
True
Let x = 18 - 15. Let w(v) = v**3 - 4*v**2 + 2*v. Let j be w(x). Does 8 divide 13 - (0 + j/1)?
True
Suppose p + 4*p = -5*b - 15, 0 = 2*p - 5*b - 15. Suppose k = 0, o + p*o - 7 = -3*k. Suppose -2*c - 346 = -o*c + 2*r, -c + 72 = r. Is 36 a factor of c?
False
Let q(d) = -21*d**3 - d**2. Let u be q(-1). Suppose 5 = -c, l - u = 5*c + 6. Suppose -k - l + 23 = 0. Is 22 a factor of k?
True
Let d(a) = 2194*a**3 + 5*a**2 - 3*a. Does 18 divide d(1)?
True
Let l = 114 - -108. Suppose 0 = 5*m + m - l. Suppose m + 31 = d. Is d a multiple of 30?
False
Is 388*2/4 - (1 - 2) a multiple of 15?
True
Let k(t) = t**3 + 5*t**2 - 13*t + 9. Let u be k(-6). Let d = u + 27. Does 13 divide d?
True
Suppose -89 = -5*h + 61. Let k be (1 - 1)/(-1 - 1). Suppose 3*m - 6*m + h = k. Is m a multiple of 3?
False
Is (-140)/56*(-198)/15 a multiple of 3?
True
Let m be (-999)/(-6) +