*s - 1. Let l be b(-7). Let o(h) = 4*h + 11. Is 7 a factor of o(l)?
True
Let v(w) = 12*w**3 + w**2 - w. Does 4 divide v(1)?
True
Let n be (-3)/(-6)*-2 - -7. Let p = n + -4. Suppose -4*z + 9*z = -4*m + 75, 0 = -2*z + p*m + 30. Is z a multiple of 13?
False
Does 11 divide (-10)/(-15)*99/6?
True
Let d(x) = -x**3 + x + 13. Let q be d(0). Suppose l + n - 21 = 0, 3*n - q = -l + 4*n. Let c = -6 + l. Is 8 a factor of c?
False
Let l(b) = 6*b + 10. Let m be l(7). Suppose 0 = -3*n - 4*p + m, 5*p + 6 = 3*n - 10. Does 12 divide n?
True
Let v(c) = -c**3 + c**2 + 6*c - 7. Let j(w) = w**3 - 2*w**2 - 5*w + 6. Let p(x) = -3*j(x) - 2*v(x). Is 5 a factor of p(3)?
False
Let j(b) = 2*b. Let m be j(1). Let o be 3 + (0 - -1) + 1. Suppose -147 = -o*w + m*p, -4*p = w - 14 - 33. Is w a multiple of 23?
False
Let l(k) = k**2 + 7*k + 8. Let a be l(-6). Suppose a*j - 80 = -0*j - 2*r, -j + 32 = 5*r. Is 18 a factor of j?
False
Suppose 32 = a + 3*j - 0*j, 199 = 5*a + 2*j. Is 24 a factor of a?
False
Suppose 0 = -10*l + 9*l + 134. Does 25 divide l?
False
Suppose -2*l + 0*l - 255 = -3*c, -3*l = 2*c - 183. Suppose 2*i + 0 = -8, c = 5*j - 3*i. Is j a multiple of 15?
True
Let t = 2 - 11. Let i = 13 + t. Suppose -i*h + 5*s = -73, h - 19 = -h - s. Does 5 divide h?
False
Let i(a) = -a. Does 11 divide i(-11)?
True
Let g = -104 - -221. Does 13 divide g?
True
Let y(i) = i**2 - 2*i - 3. Let h be y(4). Suppose -3*k = -2*k, -4*z + h*k + 56 = 0. Is 5 a factor of z?
False
Is ((-36)/8)/((-6)/40) a multiple of 15?
True
Let g(i) = -i**3 + 8*i**2 + 8*i + 12. Is g(9) even?
False
Suppose 4*j + 4*h = -12, -j + 3*h = 7*h - 6. Is 12 a factor of (j - -1)*(-4 - 2)?
False
Let k(j) = 2*j**3 - 3*j**2 - 5*j + 2. Does 3 divide k(3)?
False
Let f be ((-12)/(-7))/(3/21). Suppose -4*u + f + 8 = 0, 0 = 5*c + 5*u - 350. Let i = c + -27. Does 19 divide i?
True
Let v(o) = 13*o**2 - 10*o + 4. Let u(w) = 7*w**2 - 5*w + 2. Let d(r) = 11*u(r) - 6*v(r). Let j be d(5). Let z = j - -19. Is z a multiple of 14?
False
Does 12 divide 12/16*1*40?
False
Let u(h) = 4*h - 1. Let g be u(1). Suppose 2*a = 5*a. Suppose 0*b + g*b - 54 = a. Is 9 a factor of b?
True
Let p(z) = -z**3 + 12*z**2 + 12*z + 18. Does 5 divide p(13)?
True
Let b be -2*(-2)/8*2. Suppose 32 = 6*c + 2. Suppose -4*g + b - 13 = 0, 47 = c*n + g. Is 5 a factor of n?
True
Let x = 21 - 16. Suppose 74 = 3*s + 4*f, -x*f + 1 = -24. Is s a multiple of 3?
True
Let p(y) = -2*y**3 - 3*y**2 - 2*y + 1. Let q be p(-2). Let v(r) = -4*r + 2. Let z be v(-3). Let l = q + z. Is l a multiple of 19?
False
Let o(w) = 5*w**2 - 4*w - 4. Let z be 0/1 - 3/1. Is 15 a factor of o(z)?
False
Suppose 0 = -6*u + 4 + 752. Is 9 a factor of u?
True
Suppose -204 = -3*k - 18. Does 31 divide k?
True
Let u be ((-19)/(-2))/(5/(-20)). Let i = u - -191. Suppose i = p + 2*p. Is p a multiple of 15?
False
Let t(l) = l + 1. Let h(y) = 14*y + 7. Let j(x) = -h(x) + 6*t(x). Let n be j(1). Let p = 3 - n. Is 12 a factor of p?
True
Let d be (-48)/(-28) + (-4)/(-14). Suppose -d*c = c - 9. Is 2 a factor of c?
False
Suppose -32 = -5*v + 43. Is v a multiple of 3?
True
Suppose -3*i + 3 = -3*m, 2*m - 4*i = -3*i. Let r = -6 + m. Let w(f) = -f**3 - 4*f**2 + 5*f + 2. Is 2 a factor of w(r)?
True
Let u(m) = -15*m + 4. Let v be u(-5). Let q = -52 + v. Is q a multiple of 8?
False
Suppose 3*u + 156 = v, -2*v + 5*u + 312 = u. Is 19 a factor of v?
False
Suppose -t - 74 = -2*t. Is 16 a factor of t?
False
Let z = -30 - -18. Let f(w) = w**2 + 10*w. Is f(z) a multiple of 12?
True
Let s(z) = -z**3 + 5*z**2 - 2*z. Is 19 a factor of s(-4)?
True
Let x = 24 + -16. Does 8 divide (-1250)/(-40) - (-6)/x?
True
Let c(u) = u**3 + 3*u**2 + u. Let a be c(-2). Does 5 divide (-232)/(-16) - (-1)/a?
True
Let b(z) = -2*z**2 + 9*z - 1. Let h(y) = -y**2 + 8*y - 2. Let o(r) = 2*b(r) - 3*h(r). Let g be o(-7). Is 14 a factor of (18 - -2)*1 + g?
False
Let f(y) = -3*y + 33. Does 10 divide f(0)?
False
Let m = 78 + 30. Does 12 divide m?
True
Suppose 3*r - 25 = 2. Let v(y) = -3*y - 2 + 17*y - y**2 - 3. Does 14 divide v(r)?
False
Is 14 a factor of -3 + (-2)/(4/(-202))?
True
Suppose 4*i - 175 - 53 = 0. Does 12 divide i?
False
Does 5 divide (64/(-48))/(1/(-6))?
False
Suppose 0 = -3*k - 13 - 8. Let n(p) = -p**3 - p**2 + 16. Let d be n(0). Let y = d + k. Is 4 a factor of y?
False
Let r = -7 - -20. Let y = -1 + r. Does 4 divide y?
True
Suppose 20 = p + d - 0*d, -20 = -p + d. Suppose -3*v + p = v, 0 = -q - 2*v + 17. Let m = q - -3. Is 5 a factor of m?
True
Let a(f) = f**3 + 3*f**2 - 4*f - 8. Is a(6) a multiple of 12?
False
Suppose 0 = -3*s - 3*m + 114, 24 = s + 3*m - 22. Suppose -2*b + b = s. Is -1*2*b/4 a multiple of 9?
False
Suppose -v = -6*v + 15. Suppose -2*b + 0*b = -5*u - v, 5*u = 5*b + 15. Is (4/(-6))/(b/81) a multiple of 6?
False
Let r be 4*-1*(-6)/(-12). Is 3 a factor of (3/r)/(3/(-18))?
True
Does 5 divide 2/(-6) - (-1 - (-1225)/(-21))?
False
Suppose -5*w - 113 = 5*t + 32, 124 = -5*t + 2*w. Let h(m) = -m**2 + 5*m + 4. Let o be h(6). Is (o - t/5)*5 a multiple of 11?
False
Let o(g) = g - 3. Let t(q) = q - 4. Let h(p) = -3*o(p) + 2*t(p). Let z = 13 + -18. Does 6 divide h(z)?
True
Let i = -282 + 534. Is 22 a factor of i?
False
Suppose 0 = u - 3 + 5, -16 = -4*a + 2*u. Let i(b) = 0*b + 0*b - 3*b - a. Is i(-3) a multiple of 3?
True
Let d(q) = -q**3 - 7*q**2 + 8*q + 9. Does 9 divide d(-8)?
True
Let s be (3 + 0)/((-2)/2). Let d = s + 7. Is d a multiple of 4?
True
Let r(f) = -10*f**3 + f**2 + f. Let g be r(-1). Let p = -2 + 2. Suppose p*o + 2*o - g = 0. Is o a multiple of 2?
False
Let g = 23 + -16. Does 4 divide g?
False
Suppose 54 = 2*x + 22. Does 5 divide x?
False
Let o = 23 - -39. Let y = -35 + o. Is 19 a factor of y?
False
Let n(x) = 9*x**2 + x - 1. Let c = 4 - 6. Is n(c) a multiple of 19?
False
Let f(i) = -1 + 5*i - 1 - 1. Let z be f(4). Suppose 5*l - z = 28. Is l a multiple of 7?
False
Suppose -13 - 7 = -4*c. Does 7 divide 112/c + (-6)/(-10)?
False
Let m(k) = 3*k**3 + k + 2. Does 15 divide m(2)?
False
Let v = -6 + 11. Let r(t) = -t**2 + 9*t - 7. Is 13 a factor of r(v)?
True
Let g(p) = 4*p + 52. Does 3 divide g(0)?
False
Let y(v) be the second derivative of v**4/6 + 5*v**3/6 - v**2/2 + v. Suppose 5*k + 15 = l, 3*k - l = 2*l + 3. Is y(k) a multiple of 11?
True
Suppose -5*c + 15 = -5*v, 3*v = c + 2 - 3. Suppose g = -c*g + 15. Is g a multiple of 3?
True
Suppose -4*f - 21 = -f + 3*s, -2*f + 6 = -2*s. Does 13 divide ((-78)/(5 + f))/(-2)?
True
Let k be (-2)/6 - 219/(-9). Is 4 a factor of ((-6)/(-4))/(9/k)?
True
Suppose -5*s - 82 + 242 = 0. Let p = 83 - s. Does 19 divide p?
False
Let j(q) = q**2 - 7*q + 5. Is 9 a factor of j(12)?
False
Let c(f) be the second derivative of f**5/20 + 7*f**4/12 - 5*f**3/6 - 5*f**2 - f. Suppose 2*m - 5*m = 21. Does 9 divide c(m)?
False
Suppose k - 8 = 10. Suppose 0*z + k = 2*z. Does 5 divide ((-6)/z)/(2/(-39))?
False
Let i(n) = n**3 - 5*n**2 - 7*n + 6. Let m be i(6). Let x be m - (-1 + 1 + -2). Suppose x*s = 6*s - 112. Is s a multiple of 14?
True
Suppose -5*y - 3*o = -17, 0 = y + 6*o - 2*o. Suppose 3*r = -2*f + 128, -y*r - 7*f = -2*f - 180. Does 8 divide r?
True
Let r(z) = z**2 + 5*z - 2. Let x be r(-6). Suppose 4*k + 5 = f - 9, -x*k + 28 = 2*f. Suppose -f = 3*l - 4*l. Is l a multiple of 10?
False
Let m be 3 - 1 - (-6)/(-3). Suppose -72 = 4*k - 4*h, m*k + 54 = -4*k - 2*h. Does 10 divide 250/k*6/(-5)?
True
Let x(s) = -s**2 - 7*s + 3. Let d be 0 - (0 - (-12)/(-3)). Suppose -27 = d*t - m, 2*t - 3*m = -2*t - 33. Is 8 a factor of x(t)?
False
Suppose 2*a + h + h - 70 = 0, 4*a - 154 = 3*h. Is a a multiple of 10?
False
Let r = -16 + 43. Does 6 divide r?
False
Let c(b) = b**3 + 6*b**2 - b + 4. Let h be c(-6). Let k be 220/(-14) - h/35. Does 9 divide (k + 10)*(-13)/3?
False
Suppose -2*v + 60 = -3*r - r, -162 = -5*v + 4*r. Is 17 a factor of v?
True
Let h(a) = a - 6. Is 5 a factor of h(20)?
False
Let o = 94 + -18. Let z = o + -53. Does 10 divide z?
False
Let n = 11 - 17. Is 15 a factor of -7 - n - -2*38?
True
Let h(o) = 23*o - 3. Is 17 a factor of h(4)?
False
Let f = -4 - -15. Let s = f + -6. Does 5 divide s?
True
Suppose -15*l = -20*l + 210. Is l a multiple of 15?
False
Suppose 0 = -o - 0*o + 10. Let t be (-1)/(-1 - (-12)/o). Let f(q) = -q**3 - 4*q**2 - 6. Does 8 divide f(t)?
False
Let y(r) = 5*r**3 + 2*r. Let k be y(3). Suppose -p + 4*p = k. Let w = -9