of b(8)?
False
Let k(a) = 3*a**2 - a - 2. Is 8 a factor of k(2)?
True
Let n(g) = 5*g**2 + 2*g + 1. Is n(-2) a multiple of 17?
True
Suppose -4*a = -k - 521, 4*k = 4*a - 232 - 304. Does 43 divide a?
True
Let v(d) = -d**2 + 4*d + 7. Let j(n) = n**3 + 7*n**2 - n - 2. Let m be j(-7). Let r be v(m). Suppose r*y + 2*y = -8, -3*y - 11 = -l. Is 2 a factor of l?
False
Suppose 0 = 2*s + 3*o - 585, -5*s = -o + 2*o - 1495. Does 25 divide s?
True
Let g = -19 + 60. Is 12 a factor of g?
False
Let f(q) = 2*q**3 + q**2 + 2. Let c be f(-2). Let v be (8/c)/((-2)/5). Suppose v*s + 0*x = x + 39, -2*s - x = -37. Does 19 divide s?
True
Is (-16 + 13)*-1*19 a multiple of 3?
True
Suppose -6 = 4*h - 46. Let a be 44/h - 2/5. Does 9 divide 2 - a - (-1 - 26)?
False
Suppose -3*l = -0*l + 48. Let w be (-3)/9 + l/(-3). Does 10 divide 2/w - 96/(-10)?
True
Let z = 1 - -7. Let q = 7 + z. Is q a multiple of 15?
True
Suppose 3*q + k = 6, 0*q = -3*q + 4*k - 9. Suppose -s = -h - 1 - q, 2 = -4*s - h. Suppose -34 = -2*d + 4*u, s = -2*d - 2*d - 5*u + 120. Is 10 a factor of d?
False
Let n(h) = 2*h**2 + 4*h + 3. Is 11 a factor of n(6)?
True
Let q(h) = -h**3 - 2*h**2 - 4*h - 4. Let u be q(-2). Suppose -4*b + u*y = -232, 3 = 2*y + 1. Is 25 a factor of b?
False
Does 28 divide (-3*16/(-120))/((-2)/(-140))?
True
Suppose y + 3 - 5 = 0. Suppose 0 = -7*w + y*w + 40. Is w a multiple of 8?
True
Suppose x - 59 - 7 = 0. Suppose 3*k = -0*k + x. Does 6 divide k?
False
Suppose 7*v - r = 4*v - 1353, -v - 3*r - 461 = 0. Let z be v/(-10) - (-1)/(-5). Is (z/20)/((-1)/(-16)) a multiple of 13?
False
Let p(z) = -z**3 - 5*z**2 - z - 11. Let j be p(-5). Does 8 divide -2*(2 - (-93)/j)?
False
Suppose -2*h - 141 = h. Let z = h - -86. Does 13 divide z?
True
Let n(i) be the third derivative of 0*i - 5*i**2 + 0 + 2/3*i**3 - 1/24*i**4. Does 4 divide n(-4)?
True
Let c(o) be the second derivative of o**4/12 - o**2/2 + o. Let l(y) = y**3 + 2*y**2 - 2*y + 1. Let f be l(-2). Is 12 a factor of c(f)?
True
Suppose -4*v - 3*j = -9, -2*v - 5*j + j + 2 = 0. Is v a multiple of 3?
True
Let f(u) = -u**3 + 7*u**2 - 3*u - 1. Let g be f(3). Let c = g - -12. Suppose x - c = -x. Does 9 divide x?
False
Let q(f) = 9*f - 7. Let c(r) = -8*r + 7. Let o(u) = 6*c(u) + 5*q(u). Is o(-8) a multiple of 21?
False
Suppose 3*p = -0*p + 45. Suppose 6*i - p = i. Is 6 a factor of -6*(-9 + 0)/i?
True
Let b(w) = w**3 + 8*w**2 + 2*w - 3. Let k = -21 - -18. Does 11 divide b(k)?
False
Let g = 65 + -2. Suppose b = -4*l + g, -9 - 99 = -2*b + l. Let k = 91 - b. Is 18 a factor of k?
True
Let m(y) = 2*y + 5 + 2*y**2 - 4 - 31*y**3 + y**2 - 2*y**2. Is m(-1) a multiple of 15?
False
Let i(k) be the second derivative of 1/12*k**4 + 4/3*k**3 - 6*k**2 - k + 0. Is 3 a factor of i(-10)?
False
Suppose 0 = 3*s - 3 - 3. Suppose -3*f - 2 = s*w, 3*f - 4 = 3*w + w. Is (0 - (0 - 16)) + f a multiple of 7?
False
Let h be (-40)/15 + (-2)/(-3). Let r = h + 4. Is 2 a factor of r?
True
Is ((-2 - -310) + 2)*4/10 a multiple of 7?
False
Let x be -1*4*656/(-64). Suppose 4*r - 7 = 4*u + x, r + 4*u + 3 = 0. Is 6 a factor of r?
False
Suppose -3*n - 4*d - 44 = 0, -5*n + 5*d - 46 = 4. Is (132/18)/((-2)/n) a multiple of 11?
True
Let p(d) = -d - 3. Suppose a - 3*a - 12 = 0. Let q be p(a). Is (-100)/(-6) - 2/q a multiple of 16?
True
Let m = 10 + -8. Suppose m*x = 5*x - 36. Is x a multiple of 12?
True
Let v = 3 + 0. Suppose 0 = 5*j + 3*g - 39, -v*j - 2*g = 3*g - 33. Is 3 a factor of j?
True
Suppose -y + 3*y = -4*m + 78, -m + 36 = y. Is 5 a factor of y?
False
Suppose 0 = 3*i + 9, 4*i = 2*m + 2*i - 12. Does 16 divide (-2)/m*(-24)/1?
True
Suppose -166 = -2*t - x - 26, 2*t - 156 = 3*x. Is 24 a factor of t?
True
Let m = 7 - 4. Let l(b) = 3*b - 4. Is l(m) a multiple of 3?
False
Suppose -5*t + 4*b + 239 = 0, 3*b = 2*t - 153 + 63. Is 17 a factor of t?
True
Let b(p) = p**3 - 5*p**2 - 6*p + 2. Let h be b(6). Is 20 a factor of h*9*(-3)/(-2)?
False
Suppose 2*c + 80 = 5*n, 6*c = 3*c. Suppose 3*j - n = j. Is j a multiple of 3?
False
Suppose 4*g - g = -102. Let y = -19 - g. Is y a multiple of 12?
False
Let i = 43 - 29. Is i a multiple of 14?
True
Let c = 2 + -1. Suppose 4*s = 13 - c. Suppose -s*n + 5*n + 98 = 4*r, 5*r = -5*n + 130. Does 11 divide r?
False
Does 23 divide ((-14)/(-3))/((-7)/(-189))?
False
Suppose 3 = t - 3. Is 16 a factor of (t - -52) + 1/(-1)?
False
Suppose -3*f = -1 - 11. Is 9 a factor of (51/6 - f)*10?
True
Let c = 46 - 10. Is 15 a factor of c?
False
Is (9/(-6))/((-18)/3048) a multiple of 12?
False
Let o be (-24)/(-15) - (-2)/5. Suppose -22 = -o*y - 6. Suppose 12 = 3*n, -5*t - 3*n = -y*n - 115. Is 14 a factor of t?
False
Let p(t) be the first derivative of t**2 + 8*t - 3. Let m be p(-8). Let i(z) = z**3 + 7*z**2 - 8*z + 6. Does 3 divide i(m)?
True
Let a(q) = -q**2 - 19*q - 2. Is 11 a factor of a(-16)?
False
Let q be (-6)/(((-9)/2)/(-3)). Is 90/q*(-6)/5 a multiple of 11?
False
Let h = 9 - 5. Suppose h*f + 5 = w + 1, -2*f - 16 = -4*w. Let r = f + 32. Is 16 a factor of r?
True
Suppose -3*p + 3*x + 21 = 0, -4*p - 5*x = -2 + 1. Suppose 5*y = 3*v + y - 505, -3*y = -4*v + 685. Suppose p*s = -s + v. Does 11 divide s?
False
Let x(t) = 3*t**2 - 2*t - 1. Let i be x(3). Suppose -5*w + 5 = l, -w - 5 = 4*l - 6*w. Is 7 a factor of (0 - -1)*l + i?
False
Suppose -4*p + 309 + 95 = 0. Suppose p + 44 = 5*h. Is 14 a factor of h?
False
Let g = 31 + -22. Suppose -3*l = 5*u + g + 116, -35 = l - 5*u. Let v = 66 + l. Is v a multiple of 16?
False
Let c = -8 + 6. Let u be (-3 - -13)*(-7)/c. Let j = u + -13. Is j a multiple of 7?
False
Let g be 1*(-2 - 0)*1. Is 7 a factor of 6*5 + 0 + g?
True
Let n(z) = 2*z**2 - 2*z**3 + 6*z**3 - 3*z**3 + 4*z. Let m be n(-5). Is m/(-4) - (-1)/4 a multiple of 12?
True
Let p be (-8)/(-28) - (-2726)/14. Let z = 322 - p. Suppose -4*x - 51 = 4*i - z, 2*x - 50 = -5*i. Is 6 a factor of x?
False
Is ((-68)/(-5))/((-30)/(-375)) a multiple of 34?
True
Suppose -3*b - 3 = -3*x, -3*b - 19 = 2*x + 2*b. Let d be 8*-1*10/x. Suppose 0*u + d = 2*u. Does 11 divide u?
False
Let w = 5 + -2. Suppose 4*f = w*t + 91, f = -0*t - t + 14. Is 10 a factor of f?
False
Let s(u) = 27*u**2 + 3*u + 2. Does 8 divide s(-2)?
True
Suppose -30 = 3*s - 6. Let d be (-26)/s - (-2)/(-8). Suppose d*x = -5*p + 44, 5*p + 13 = -2*x + 54. Does 6 divide p?
False
Let y be ((-69)/(-6))/(3/36). Suppose 0 = -3*o + 24 + y. Does 27 divide o?
True
Let x(z) = -11*z - 6. Is x(-4) a multiple of 38?
True
Suppose -785 = -8*q - 177. Is 7 a factor of q?
False
Suppose -6*n - 2520 = -15*n. Is 35 a factor of n?
True
Let h be ((-10)/15)/((-2)/9). Suppose t + h*z + 1 = -11, -3 = 4*t + 3*z. Is (-15 - 0 - t)/(-1) a multiple of 9?
True
Suppose -w + 5*j + 25 = -2, -3*w + 5*j + 61 = 0. Does 9 divide w?
False
Let q = -22 - -20. Does 9 divide (26 - q) + 2 + -1?
False
Let j(w) = -13*w - 1. Let a be j(-1). Let v be 728/39 + 4/(-6). Is a/v - (-8)/6 a multiple of 2?
True
Let o(c) = c**3 - 9*c**2 + 10*c - 1. Let j be o(8). Let y = j + 4. Is 14 a factor of y?
False
Let r = -52 + 76. Does 16 divide r?
False
Is 39/((28/12)/7) a multiple of 24?
False
Suppose -x - 2*t = x - 628, -2*x + 3*t + 613 = 0. Is x a multiple of 45?
False
Suppose -3 = y - 9. Suppose y*h - h = 40. Let c = 23 - h. Does 15 divide c?
True
Suppose 2*h + 2*h + 4 = 0. Let s be ((-2)/h)/((-8)/(-20)). Suppose 0 = p - 2*x + s - 18, 5*p = 3*x + 86. Is p a multiple of 6?
False
Suppose -9*h + 424 = -566. Is 11 a factor of h?
True
Suppose -20 = 5*u - 5*t, u + 2 = -t - 8. Let c = u - -39. Does 16 divide c?
True
Suppose 4*t - 4*k = -21 + 5, t + 2*k = 11. Let u = 1 - t. Suppose u = 2*y - 3*y + 27. Is 9 a factor of y?
True
Suppose 0 = -4*n + z - 244, 3*z = -n + 5*z - 68. Is 12 a factor of (-54)/(-15)*n/(-9)?
True
Suppose -2 - 6 = -4*a. Suppose 0 = -3*i + i + 12. Suppose -i = -o - a*o. Is o even?
True
Suppose 4*u = -5*j + 2597 - 502, -2*u - 1702 = -4*j. Does 19 divide j?
False
Let y = -5 + 47. Is 14 a factor of y?
True
Let l = 21 - 14. Suppose 3*h + 8 = l*h. Suppose -2*j - 11 + 45 = -2*s, -h*s + 41 = 3*j. Is j a multiple of 6?
False
Let q(y) = y**3 - 20*y**2 + 4*y - 23. Is q(20) a multiple of 22?
False
Suppose 0*r + 2*r = 78. Is 13 a factor of r?
True
Let z be 1 - (1 - (-1 - -3)). Let l be 28/4 - (z - 0). Suppose 3*x - 2*o = -l*o, 5*o = -3*x - 4. Is x a multiple of 2?
True
Let q be 2/(-8) - (-780)/48. Suppose -q*o 