s) = s**3 + 2*s**2 - s + 4. Let o be v(-3). Let h(q) = -29*q - 3. Is 15 a factor of h(o)?
False
Let z = -7 + 5. Let n be (-15)/(-3)*(z - -3). Suppose a - 3*a = n*f - 42, 4*f - 96 = -4*a. Is 13 a factor of a?
True
Let f = 221 - 155. Does 11 divide f?
True
Suppose -115 = -3*r + 74. Suppose -b = -6*b. Suppose 2*u = -6, b = 4*j + 3*u - 0*u - r. Is j a multiple of 18?
True
Let b(v) = v**2 - 10*v - 10. Let o be b(8). Let g = 35 + o. Does 3 divide g?
True
Is 9 a factor of 43 - (4 - 1 - 5)?
True
Let a = 46 - 43. Does 3 divide a?
True
Let r(l) = l**2 - 2*l + 29. Does 9 divide r(-6)?
False
Let x(a) be the third derivative of a**6/120 - a**5/6 + a**4/8 - 7*a**3/3 - 2*a**2. Does 16 divide x(10)?
True
Let s = 8 - 6. Suppose -5*i = 5*r - 62 - 93, r - 30 = -s*i. Is 15 a factor of r?
False
Let v be 2*(-4 - 0/2). Let g = 13 + v. Is g a multiple of 5?
True
Let i(o) = -o**3 - o**2 + o - 1. Let t(s) = 3*s**3 + 9*s**2 - s + 3. Let x(a) = -2*i(a) - t(a). Suppose 8 = -k + 1. Is 6 a factor of x(k)?
True
Let j(c) be the third derivative of c**5/15 + c**3/3 - 2*c**2. Let h(q) be the first derivative of j(q). Is 12 a factor of h(5)?
False
Let d be (-6)/(-9) + 13/3. Let t = d - 10. Let p = t + 19. Does 8 divide p?
False
Suppose -2*b + 27 + 25 = 0. Let m(p) = 2*p**2 - 5*p + 3. Let i be m(6). Let u = i - b. Is u a multiple of 15?
False
Suppose 0 = 5*u - 2 - 23. Suppose 0*m - u*m = -185. Is 15 a factor of m?
False
Let x = 24 + -9. Is 15 a factor of x?
True
Let i(b) = b**3 - 9*b**2 + 10*b + 4. Let x(s) = -s**2 - 16*s - 8. Let a be x(-10). Suppose 4*r = 5*k - a, -3*r = 4 + 5. Is i(k) a multiple of 11?
False
Suppose -5*v = -86 - 129. Is v a multiple of 13?
False
Let l(s) = 8*s**2 + 10. Does 16 divide l(-3)?
False
Let f(y) = 4*y - 7. Let q(l) = -5*l + 8. Let v(t) = -6*f(t) - 5*q(t). Let c be v(-3). Is 9 a factor of (c/(-2))/((-2)/(-36))?
True
Let f = -3 + 1. Let s be (f/(-5))/(3/90). Is -5*(s/(-15) - 2) a multiple of 14?
True
Let n = -42 - -112. Is 25 a factor of n?
False
Let c(a) = 3*a + 3. Let z be c(-6). Let d = z - 12. Is 9 a factor of 3/(-1) - 1*d?
False
Suppose 3*c - r - 1978 + 441 = 0, 5*r = c - 503. Let j be (c - -2)*(-2)/(-2). Does 13 divide 2/8 + j/20?
True
Suppose -5*w + 0*w = -5, -5*d = w - 301. Is d a multiple of 12?
True
Suppose q = -2*t + 26, 0 = -3*t - t + 4*q + 76. Is 4 a factor of t?
False
Suppose 5*q = -5*n + 90, 0 = -3*q - q + 20. Suppose -8*m = -3*m + 275. Let l = n - m. Is l a multiple of 26?
False
Suppose -5*a - 52 = -2. Let o be (4 - a)/(2 - 1). Suppose -o - 26 = -5*d. Does 8 divide d?
True
Let w(i) be the third derivative of i**5/60 + i**4/24 - i**3/6 - i**2. Let d = -14 + 9. Is w(d) a multiple of 11?
False
Let a(p) = -p + 6 - 2 + 1 + p**2 + 4*p**3 - 4. Is 5 a factor of a(1)?
True
Let p(f) = -4*f - 3. Let g(y) = y**2 + y - 3. Let h be g(0). Does 2 divide p(h)?
False
Let d(g) = g**2 + 5*g - 2. Let t be d(-6). Suppose 11 = r - t*a - 6, 2*a + 91 = 3*r. Is r a multiple of 11?
True
Let p = 11 + -19. Does 8 divide (204/16)/((-3)/p)?
False
Let z(g) = -g**3 - g + 4. Let k be z(0). Suppose 79 - 3 = -k*h. Let o = 52 + h. Is 13 a factor of o?
False
Let c be 8*(0 - 2/(-4)). Suppose k = 0, 5*v + c*k - 15 = -0*k. Suppose -2*l = -t + l - 2, 5*l + 2 = v*t. Does 2 divide t?
True
Let t = -7 + 12. Let o = t - 3. Let n = 5 - o. Is 3 a factor of n?
True
Suppose 0*v + 195 = 5*t - v, -2*v - 78 = -2*t. Is 13/t + 185/3 a multiple of 31?
True
Let r = -57 + 111. Let y(d) = 6*d - 7. Let g be y(-5). Let v = r + g. Is v a multiple of 17?
True
Suppose -46*s + 48*s = 200. Does 24 divide s?
False
Let d(x) = x**3 + 6*x**2 - 10*x - 6. Is 2 a factor of d(-7)?
False
Let v(z) = 3*z**2 + z. Let b be v(-1). Suppose 3*q + b*q = 35. Does 5 divide q?
False
Suppose 2*b = 5*d - 575, 2*d - 5*b = 3*d - 88. Is 15 a factor of d?
False
Suppose 0 = -3*v + 4*f + f + 46, -f + 34 = 3*v. Suppose -3*q = 5*m - 205, -q = -5*m - v + 217. Does 20 divide m?
False
Let t be 1/(((-1)/(-1))/730). Suppose t = 5*u - v, 0*u - v = -4*u + 583. Suppose 0 = 5*x - u - 93. Is x a multiple of 11?
False
Let q be 1 + -1 + (-38)/(-2). Suppose 2*c - c = q. Does 10 divide c - (-3 + (-1 - -3))?
True
Let i be (2 + -2 - 1)*1. Let d be 24/9*(i + 40). Suppose -3*j = j - d. Is j a multiple of 15?
False
Let c = -35 - -76. Let t = c - 26. Does 12 divide t?
False
Let z = -51 - -111. Suppose -2*d - z = -4*d. Is 8 a factor of d?
False
Suppose 21*b + 73 = 22*b. Is 18 a factor of b?
False
Let i(z) = z**2 + 4*z - 6. Let d be i(-5). Let u(r) be the first derivative of -12*r**2 - r + 1. Is 12 a factor of u(d)?
False
Suppose -2*r + 2*f + 200 + 44 = 0, 5*r - 3*f - 614 = 0. Does 31 divide r?
True
Suppose -5*c - 1 + 11 = 0. Let a(r) = -14*r**2 + 7*r + 2. Let u(m) = 15*m**2 - 8*m - 2. Let q(h) = -6*a(h) - 5*u(h). Is q(c) a multiple of 15?
True
Let u be 3/6*4 + -60. Let x = -35 - u. Is 11 a factor of x?
False
Let j(q) be the third derivative of -q**6/120 + q**5/10 - q**4/3 + 3*q**3/2 - 3*q**2. Let s be j(6). Let r = 81 + s. Is r a multiple of 23?
False
Let v(f) = -f - 13. Let m be v(-9). Let w = m + 13. Is w a multiple of 7?
False
Let f = -3 - -7. Suppose 8 = -d + f*x, -3*d + 0*d = 2*x - 46. Is d a multiple of 4?
True
Is (-160)/(-8) - (-1 + 3) a multiple of 18?
True
Suppose -7*m + 520 = -572. Does 13 divide m?
True
Let l = -91 - -104. Is l even?
False
Let o(s) = -s**3 + 9*s**2 + s - 9. Let q be o(9). Suppose -6*t + 5*t + 20 = -2*h, 5*h - 5 = q. Suppose 2*n - t - 30 = 0. Is n a multiple of 15?
False
Let b = 163 - 113. Does 12 divide b?
False
Suppose 2*a = 2*j + 8, 2*a - 4 = -0*a + j. Suppose -3*t + 2*z = -t - 2, 2*t - 4*z = a. Suppose 0 = g + 3*i - 7*i - 32, t*g - 73 = -i. Is g a multiple of 12?
True
Let s = -211 + 331. Is s a multiple of 15?
True
Suppose -l + 42 = -4*l. Let j = 67 - 117. Let f = l - j. Is f a multiple of 15?
False
Let s(m) = -m**3 - 10*m**2 - 12*m + 13. Let p be s(-9). Suppose -7 = -4*l - 5*k, -k + p = 4*l + 13. Does 3 divide l?
False
Let y(r) = -22*r - 2. Suppose g + 3*c - 10 = 0, 0 = 5*g - 6*g + 5*c - 30. Is 33 a factor of y(g)?
False
Suppose a = -2, 0*s = 5*s - 4*a - 128. Does 6 divide s?
True
Let v = -83 + 163. Is v a multiple of 40?
True
Is 8 a factor of 2*-7*(-65)/10?
False
Suppose -16 = 8*k - 4*k - 4*q, 3*k = -5*q - 4. Suppose 4*t + 5 = 2*c + 19, 2*t = 4*c + 22. Is 15 a factor of (8 + t)*(-5)/k?
True
Suppose 2*w - 170 = -2*z - 0*z, -3*w - 243 = -3*z. Is 26 a factor of z?
False
Let w(d) = -21*d + 1. Let s be w(2). Let v = 58 + s. Suppose -v = 2*h - 3*h. Does 8 divide h?
False
Let r(y) = -3 - 3 + 8*y + 1 + 0. Does 13 divide r(10)?
False
Let u(b) = b**2 + 3*b + 5. Suppose -n - h - 6 = 4, 3*n = h - 18. Does 15 divide u(n)?
False
Suppose -299 = -4*k - 3*s, -k - 3*s = -21 - 65. Is k a multiple of 38?
False
Let a(n) = -8*n - 6. Suppose -j - 3 = -5*s - 9, 0 = 2*s + 4*j + 20. Let x = s + -2. Is 13 a factor of a(x)?
True
Let h be 2/((-2)/1) - -22. Let u be 6/21 - (-666)/h. Suppose u - 8 = 4*c. Is c a multiple of 6?
True
Let f = -4 + 2. Let v be (-118)/(-4) - f/(-4). Let m = v - 1. Does 14 divide m?
True
Suppose -u + 11 = -4*l, 7*l = -u + 4*l - 3. Suppose 4 = 7*t - u*t. Is 5 a factor of -2 - (12/t)/(-1)?
True
Suppose -2*g + 5*g = -5*f + 97, 5*f = -g + 99. Does 5 divide f?
True
Let f = 10 - 5. Suppose f*n - 3*q = 75, -3*n - 5*q + 46 + 33 = 0. Does 9 divide n?
True
Suppose 5*v - 5 = 4*v. Suppose -2*d + 4*k - 8 = -40, -v*k = 20. Is 8 a factor of d?
True
Let x = -4 + 8. Let b be x/10 - 132/(-20). Let r(a) = -a**3 + 8*a**2 - 5*a - 1. Does 13 divide r(b)?
True
Let l be 5/(-2)*24/(-20). Suppose -5*f = l*j - 78, 4*f = 6*j - j - 130. Is 13 a factor of j?
True
Let n(w) = 5 + 9*w**2 - w**3 - 3*w - 2*w + 0*w. Let h be 6/15 + (-76)/(-10). Is n(h) a multiple of 20?
False
Suppose 5*w - 3*w - 25 = -q, -20 = -3*w - 5*q. Is w even?
False
Let p be -9*(28/(-12) - -2). Suppose -p*t + 50 = -2*t. Is t a multiple of 17?
False
Let c be 2*(-1 + 2)*6. Suppose -2*s = -s - c. Does 4 divide s?
True
Let h = -2 + -1. Is (12/h)/((-2)/8) a multiple of 8?
True
Suppose 4*a + 61 = 5*d, 2*d - 2*a - 28 + 2 = 0. Is 4 a factor of 3*-2*d/(-6)?
False
Does 27 divide 1*6*(-9)/(-2)?
True
Let i(s) = -s**3 + 11*s**2 - 9*s - 7. Is i(7) a multiple of 6?
True
Suppose 5*l = 3*x + 115, 3*l + 2*x + 0*x = 50. Suppose b - 8 = -g, 0 = -0*g + g + 4*b - l. Is 4 a factor of g?
True
Suppose g + 