 -86*p. Is 2 a factor of p?
False
Suppose 2*r + 16*r - 4356 = 0. Does 22 divide r?
True
Let d(l) = -l**3 + 125 - l**2 - 1 + 60 - l - 17. Let v be d(0). Let c = -113 + v. Is c a multiple of 18?
True
Suppose -11*v + 12*v = 0. Suppose 0 = -5*m + 2*p + 97, v = 2*m + m - 4*p - 47. Suppose m*o - 16*o = 505. Is 23 a factor of o?
False
Suppose -b - 141 = 2*b. Suppose -4*q + 3*v = 136, -v = -2*q + 3*v - 58. Let h = q - b. Does 5 divide h?
True
Suppose 0 = a - 4*a + 15. Let p(v) = -v**3 + 6*v**2 - 6*v - 7. Let d be p(a). Let k(r) = -r + 14. Is k(d) a multiple of 12?
False
Let l be (-2)/(-2) - 4 - 130/(-13). Suppose -l*t + 262 - 66 = 0. Is 14 a factor of t?
True
Suppose 6*j - 226 - 864 = -2*y, 0 = -2*y + 3*j + 1135. Does 14 divide y?
True
Let k(v) = 19*v**3 - 3*v + 2. Suppose 6 = 2*z + 4. Let t be k(z). Let s = 29 - t. Is 10 a factor of s?
False
Let i = 17 + -12. Suppose 5*y - 30 = -i*p, -4*y + 7*y = -2*p + 16. Suppose -3*u + 39 = 4*a - 122, -y*u = 4*a - 160. Does 13 divide a?
False
Let u = 120 + -66. Let l be 4/((-8)/(-15))*(-40)/(-10). Is 3 a factor of (-20)/(-6)*u/l?
True
Let w = -22 - -25. Suppose -p + w*v = -23, -p + v + 2 = -31. Is 10 a factor of p?
False
Let n = -5 + 7. Suppose g = -n*g + 6. Suppose s = g*s - 16. Does 8 divide s?
True
Let k = 5967 - 2758. Is k a multiple of 18?
False
Let y(c) = 2*c**2 + 4*c + 3. Let w be y(-2). Suppose -w*f + 16 = f. Suppose -27 - 165 = -f*p. Does 24 divide p?
True
Suppose -8*l = -4*l. Let o be 2/1 + (l - -1). Suppose -k = -9 + o. Does 6 divide k?
True
Suppose 5*w + 1 = 11. Let d = w + 0. Is 8 a factor of 1 + d - (-17 + -8)?
False
Let s(t) = t**3 + 6*t**2 - 7. Let d be ((-4)/10)/(3/75). Let k be (d/(-6))/5*-15. Is s(k) a multiple of 10?
False
Let g be (-5)/(-25) - 29/(-5). Let m = 8 - g. Suppose -m*h + 6 = -54. Is 15 a factor of h?
True
Let n(t) be the third derivative of t**6/120 - 2*t**5/15 + 7*t**4/24 + t**3/3 - 3*t**2. Let q be n(7). Suppose -42 = -l - q*l. Is l a multiple of 7?
True
Suppose -5*k + 14 = -11. Let h(c) = -c + k*c + 4 - 2*c + 3*c. Does 6 divide h(6)?
False
Let z = -1142 + 1159. Is z a multiple of 17?
True
Suppose s + s + 42 = -4*a, -73 = 3*s - 4*a. Let z = 54 + s. Is z a multiple of 5?
False
Suppose -16*r + 20*r - 28 = 0. Is 3 a factor of (-2871)/(-63) - 4/r?
True
Suppose 0 = -16*l + 2601 - 217. Suppose 755 = 6*h + l. Is h a multiple of 17?
False
Let h(x) = 6*x**2 - 6*x - 2. Suppose 4*g = 7*g. Suppose g = -4*u - 7 - 5. Is 21 a factor of h(u)?
False
Let t = 3 + 10. Suppose -2*u + 4*a + 82 = 0, -t = -2*u - 2*a + 63. Let s = u + -10. Does 13 divide s?
False
Is 26 a factor of (-2078)/(-13) - (-42)/273?
False
Let f(b) = -7*b - 86. Is f(-43) a multiple of 6?
False
Let j(n) = -n**3 + 9*n**2 - 10*n + 11. Let z be j(8). Is 12 a factor of -1 - 7/z - 2618/(-55)?
True
Let a = 92 - 57. Suppose 0 = w - 16 - a. Does 29 divide w?
False
Let v be 8/5 - 14/(-35). Suppose -2*z + 4*d = -14, v*z + 2*d - 10 = 4*d. Is z/(12/76) - -3 a multiple of 9?
False
Let x be (2*(-2 + 4))/(7/(-154)). Does 37 divide (24/12)/(2*(-1)/x)?
False
Let k(j) = -9*j**3 - j**2 - 4*j - 4. Let w be (0 - -6)*8/(-16). Let u be k(w). Suppose 2*t - u = -5*m, m - 49 = t - 2*t. Is m a multiple of 16?
True
Let y = 1 - -2. Suppose -y*x + x + 34 = 0. Let v = 28 - x. Is 4 a factor of v?
False
Let o be 9/6*78/(-9). Let x be 8/2 - (o - -15). Suppose x*u - 50 = 46. Does 12 divide u?
True
Let i(s) = -21*s - 3*s + 3 + s**2 + 6*s. Is 2 a factor of i(18)?
False
Let v = -12 - -12. Suppose v*g - 5*d - 24 = -g, -3*d - 18 = -g. Suppose 0 = -g*m + 4*m + 235. Does 13 divide m?
False
Let l(b) = -27*b + 37. Let x(v) = 14*v - 18. Let d(s) = 3*l(s) + 5*x(s). Is 9 a factor of d(-12)?
True
Suppose -5*o + 117 = 3*l - 4, 3*o = -3*l + 69. Let z = o + -24. Does 2 divide z?
True
Let u = -4 + -308. Let c be ((-1)/(-3))/((51/(-36))/(-17)). Is u/(-8) + (1 - c) a multiple of 13?
False
Let f(u) = -u**3 + 8*u**2 - 9*u - 16. Let t(n) = -n**3 + 7*n**2 - 9*n - 16. Let x(j) = 3*f(j) - 2*t(j). Is 40 a factor of x(8)?
True
Is (-16)/280 - 48162/(-35) a multiple of 53?
False
Let a be (0 + -1)/(3/(-33)). Let u = 4 + 10. Is 3 a factor of 3/(u/a - 1)?
False
Suppose -17*l + 15227 = -12653. Is 82 a factor of l?
True
Let j(d) = 58*d - 578. Is 11 a factor of j(20)?
False
Let l(y) = y**3 - 2*y**2 - 2*y - 3. Let j be l(4). Suppose 3*b = 2*x + 2, 2*b = -5*x + 12 + 2. Suppose x*s = j + 99. Is s a multiple of 20?
True
Does 6 divide ((-17)/3)/(-2 - 138/(-72))?
False
Suppose 4*f - 2200 - 1320 = 0. Is 20 a factor of f?
True
Let m = 43 + -29. Suppose -2*r - 4*c - 32 = m, r - 2 = 3*c. Let a = 9 - r. Is a a multiple of 15?
False
Suppose -309 = -5*t + 41. Let f = t - 15. Does 25 divide f?
False
Let s = 105 - 120. Let o = s + 165. Is 15 a factor of o?
True
Let v(c) = 10*c**2 + 33*c + 27. Is v(-9) a multiple of 18?
True
Let t(w) = w**2 - 15*w - 32. Let v be t(17). Suppose -v*p + 0*p = -56. Does 4 divide p?
True
Suppose p - 5*x - 2521 = 0, 24*p = 21*p + 2*x + 7498. Does 96 divide p?
True
Suppose -2*k + 3*y = -6, -3*y + 7*y = -4*k + 12. Suppose -3*r + 3 = k*q, 5*q + 0 = 3*r - 27. Let s = q + 17. Does 14 divide s?
True
Let h = -7 + 11. Suppose 5*q - h*c = 278, 4*c + 368 = 4*q + 148. Suppose -q = -2*b + 2*v, -5*v - 109 - 12 = -4*b. Does 8 divide b?
True
Let a(q) = -2*q**2 - 12*q + 3. Let c be (3/4)/((-2)/(-16)). Suppose -2*d + 3*d = -c. Is a(d) a multiple of 2?
False
Let s(h) = -3*h**3 + 46*h**2 + 43*h - 81. Is 2 a factor of s(16)?
False
Let c(j) = -57*j + 55. Does 35 divide c(-7)?
False
Let a(d) = -d**2 - 9*d - 3. Let f be a(-8). Is 22/((8/(-220))/((-1)/f)) a multiple of 21?
False
Let u be 6/(-4)*(-336)/(-18). Let h be (-2 + -2)/(8/u). Suppose -134 = -2*i - h. Is i a multiple of 20?
True
Does 32 divide (655 - 0/(-2)) + 8?
False
Suppose -81815 + 16015 = -94*i. Is 35 a factor of i?
True
Let h = 4 - -37. Suppose -y - h = -3*u, 0 = -3*y - 3*u - 0*u - 123. Let p = y + 101. Is p a multiple of 15?
True
Suppose -2*f - 54 = 4*n + 3*f, -4*f - 30 = 2*n. Let g = 11 + n. Is g + -59*(-2)/1 a multiple of 27?
False
Let k(n) = -4*n**3 - 4*n**2 - 4*n - 7. Let c(z) = 2*z**3 + 2*z**2 + 2*z + 4. Let w(m) = 11*c(m) + 6*k(m). Is w(-4) a multiple of 13?
False
Let o = 18 - 7. Let f = 94 - o. Does 21 divide f?
False
Let r(j) = -5*j**3 - 6*j**2. Let n(y) = 6*y**3 + 7*y**2 - 1. Let l(c) = 4*n(c) + 5*r(c). Let q be l(-3). Let t = 11 - q. Does 6 divide t?
True
Let l(m) = 9*m - 111. Is l(15) a multiple of 19?
False
Suppose -5*p + 22 + 28 = 0. Let m(u) = -u + 1. Let f be m(-4). Suppose p*b - 245 = f*b. Does 10 divide b?
False
Let f = 1150 - 470. Is 17 a factor of f?
True
Suppose 0 = 3*c + 4*k - 3*k - 28, 0 = -c + k + 8. Is 11 a factor of c*48/10 - 8/(-10)?
True
Is 31 a factor of 12/5*(239 + (-1 - 8))?
False
Let x = 7 - 4. Suppose 0 = b - x*b - 68. Let h = b + 50. Is 3 a factor of h?
False
Let w(h) = 26*h - 40. Does 45 divide w(31)?
False
Let g(j) = 2 + 16 + 2 - 8 + 3*j. Does 12 divide g(8)?
True
Let f(g) = -8*g - 12. Let v be f(9). Let j = v + 180. Suppose -j = -2*y - 2*y. Is 8 a factor of y?
True
Suppose 35*z - 40*z - 10 = 0. Is 17 a factor of (16/4)/(z/(-136))?
True
Let v be (-22)/(-10) + (-3)/15. Let g be (v/(-3))/((-9)/27). Suppose -y + 3*o = -32, 0 = -4*y + g*o + 3*o + 100. Does 8 divide y?
False
Let r(p) = p**2 - 9*p - 180. Is r(-29) a multiple of 75?
False
Let j be (-3648)/(-56) - (-1)/(-7). Suppose -21*s = -26*s + j. Is s a multiple of 3?
False
Let j(w) = w**2 - 11. Let h be j(-6). Let d = 11 + h. Is 4 a factor of d?
True
Let a(g) = -g**3 - 4*g**2 - 3*g + 3. Let s be a(-3). Let t = 5 - s. Suppose -3*n + 3 = -t*n. Is n a multiple of 2?
False
Suppose 10*a = 5*a - 1035. Let d = a + 387. Suppose -45 = 3*y - d. Is 9 a factor of y?
True
Suppose -2*i - 5*m - 3 = 0, 5*m - 19 = -4. Is 2 a factor of (-60)/i*(-9)/(-6)?
True
Suppose 4*m + 1868 = -f + 7852, -5*f = 2*m - 2992. Is 34 a factor of m?
True
Is (6129/6)/(6/12) a multiple of 9?
True
Let m(z) = -7*z**3 + 10*z**2 + 17*z - 3. Is m(-6) a multiple of 19?
True
Suppose 0*g = 5*g - 315. Suppose 4*r + g = r. Is 3 a factor of (-6)/r - (-61)/7?
True
Let r(y) = -11*y**3 - 5*y**2 - 2*y. Suppose -4 = -6*f + 8*f. Is r(f) a multiple of 9?
True
Suppose 0 = 4*m - 16, -4*m + 38 - 2 = 5*s. Suppose 0 = -4*j - 2*f + 128, 91 + 31 = s*j + 5*f. Is j a multiple of 11?
True
Let b = 223 - -19. Does 22 divide b?
Tru