2)/3. Let v(w) = -7*w**2 + 18*w - 25. Let a(l) = -4*l**2 + 9*l - 13. Let q(y) = -5*a(y) + 3*v(y). Is 4 a factor of q(u)?
True
Let b = 72 - 39. Is 33 a factor of b?
True
Let c be 1431/4 + 1/4. Suppose 3*r + 2*r + 3*t - c = 0, -282 = -4*r + 2*t. Suppose -3*d = 4*w - 158, 2*d - r = -w + 31. Does 18 divide d?
False
Let g(z) be the second derivative of z**7/840 - z**6/180 + z**5/40 - z**4/8 - z**3/2 + 3*z. Let n(i) be the second derivative of g(i). Does 15 divide n(4)?
False
Suppose 0 = -s + 5*s - 16. Let a = 24 - s. Does 10 divide a?
True
Let w be 26/4*2/(-1). Let m = w - -39. Does 10 divide m?
False
Let h(u) = 4*u**2 + 2*u + 1. Let l be h(-1). Suppose -4*k = -3*x - 2*k + 34, -k = l*x - 28. Does 4 divide x?
False
Let g be 46/(-8) - (-6)/8. Let c(k) = -k**2 - k + 7. Let w be c(g). Let h = w - -45. Does 11 divide h?
False
Let r = 201 - -31. Is r a multiple of 11?
False
Suppose 2*c = 4*s - 78, 48 = -5*s - 3*c + 162. Suppose -3*r = -0*r - 2*n + s, -3*n + 4 = r. Let k = r + 18. Is 8 a factor of k?
False
Let k be 1 - (1 - (1 + 2)). Suppose k*f - 12 = -f. Suppose t = f*t - 56. Is 12 a factor of t?
False
Suppose 5*c + 130 = 6*c. Is 15 a factor of c?
False
Let u(r) = 5*r - 8. Is u(22) a multiple of 32?
False
Let r = 4 - 1. Let s = r + -4. Does 12 divide (2*17)/(0 - s)?
False
Let u = 287 - 131. Is 12 a factor of u?
True
Suppose -7*r + 328 = -932. Does 9 divide r?
True
Is 52 + -2*(0 + 2) a multiple of 39?
False
Is 28 + (-1)/(-3)*0 a multiple of 14?
True
Let k(q) = -7*q + 2. Does 12 divide k(-2)?
False
Suppose -2*y = 3*y + 425. Let n = y + 46. Let h = -25 - n. Does 7 divide h?
True
Suppose -4*g + 163 = -145. Is g a multiple of 30?
False
Let s(x) = -11*x - 4. Is 19 a factor of s(-3)?
False
Is -2 - -16 - (-1 - -2) a multiple of 6?
False
Suppose -k - 78 = -y, 5*y - 2*y + k - 234 = 0. Is y a multiple of 8?
False
Suppose 32 = -v + 3*v. Is 6 a factor of v?
False
Suppose -n = n - 34. Does 5 divide n?
False
Let q(t) = t**2 + t. Let o(a) = -6*a**2 - 12*a - 3. Let c(i) = -o(i) - 4*q(i). Does 12 divide c(-5)?
False
Let a = 18 + -13. Suppose -4*u + u + 98 = -a*l, -3*l = -6. Is 13 a factor of u?
False
Let h be 0/((-6)/2)*1. Let c be 249/9 - (-4)/(-6). Suppose h*f + 3*f = c. Does 9 divide f?
True
Let j be 3/(-21) + 43/7. Suppose 0 = -2*p + j*p - 124. Is p a multiple of 15?
False
Suppose 3*z + 63 - 198 = 0. Is 8 a factor of z?
False
Suppose -39*a = -44*a + 60. Is 10 a factor of ((-76)/6)/(a/(-36))?
False
Let z(d) = 17*d**2 - 3*d + 1. Suppose -3*u = n - 11, -n - 2 = 2*u - 10. Is z(n) a multiple of 21?
True
Suppose 709 = 4*r - p, -3*r + 5*p + 377 = -r. Does 22 divide r?
True
Let q(f) = -f**2 - 17*f + 5. Is q(-12) a multiple of 12?
False
Suppose 0*f + 3*h = -2*f + 91, f - 2*h = 42. Suppose -f = -y - 5*a - 0*a, 47 = 3*y - 2*a. Does 13 divide y?
False
Suppose -b + 5 - 1 = 0. Suppose 4*i = 3*t + 47, -6*i + i = b*t - 51. Is 10 a factor of i?
False
Let n be (4/(-6))/((-20)/3750). Suppose -n = -5*y + 35. Does 8 divide y?
True
Let v = 61 + -28. Is 11 a factor of v?
True
Suppose 4 = -6*j + 2*j. Is 9 a factor of -2 - (-2 - j) - -20?
False
Let a = 0 + -1. Let d be (-1)/a*16*10. Suppose -m + d = 4*m. Does 13 divide m?
False
Let z = 8 - 5. Is 15 a factor of ((-4)/z)/(2/(-24))?
False
Let u(b) be the third derivative of b**5/60 + b**3/6 - 2*b**2. Let t be u(-1). Suppose 8 = t*j - 2. Is j even?
False
Suppose 5*a - 5*t - 926 = -4*t, a + 5*t - 180 = 0. Is 35 a factor of a?
False
Let a(l) = 6*l**2 - 9*l - 7. Let b be a(7). Is (13/(-2))/((-16)/b) a multiple of 24?
False
Suppose 0 = 3*d + 4*i + 12 - 110, -i + 34 = d. Suppose -w = -3*w + d. Is 8 a factor of w?
False
Suppose -5 = -5*b - 3*p, p + 5 = 3*b + 2. Let m(w) = 4*w**2 - 1. Let n be m(b). Suppose 0 = -h - n*h + c + 30, 3*c - 30 = -3*h. Is 4 a factor of h?
True
Let q be ((-8)/6)/((-8)/(-36)). Suppose -7*w + 6*w = -21. Is 11 a factor of w/14*(-100)/q?
False
Suppose -105 = -3*z + 75. Is 30 a factor of z?
True
Let c(t) = 2*t - 1 - 2*t + 0 - t. Suppose 0 = 4*u + 35 - 11. Does 2 divide c(u)?
False
Suppose 6*z = -3*r + 3*z - 6, -5*r - 3*z = 8. Let l = 1 + r. Is 7 a factor of 60/6*(l - -1)?
False
Let a be (-9)/(-2) - 1/(-2). Let k = -4 + a. Let v(c) = 12*c - 1. Is v(k) a multiple of 11?
True
Let m(r) = 9*r - 48. Does 14 divide m(16)?
False
Let g(m) = m**3 + 5*m**2 + 4*m + 6. Let r be g(-4). Suppose r*d = 3*d. Let w(a) = a**2 + a + 11. Is 8 a factor of w(d)?
False
Let r(j) be the third derivative of j**5/40 + j**4/8 + j**3/2 - j**2. Let o(u) be the first derivative of r(u). Is o(4) a multiple of 5?
True
Let r be (-1 + 1)*1/(-2). Suppose n = -f - r*f + 19, 2*n - 2*f - 42 = 0. Suppose -3*b + n = 2*b. Does 2 divide b?
True
Suppose 2*y - 90 = 16. Let r = 88 - y. Suppose 5*a - 5 - r = 0. Does 3 divide a?
False
Suppose -3*x - 2*x = -60. Let v = 8 + x. Is 10 a factor of v?
True
Suppose 4*s - 21 = p, -4*p + 4 = 3*s - 7. Is s even?
False
Suppose 0 = 3*j - s + 20 + 38, -4*j + 3*s - 84 = 0. Let d = -3 - j. Is d a multiple of 13?
False
Let r = -7 - -12. Suppose 4*y + 4 = 2*u + 3*u, 24 = y + r*u. Suppose 5*s = y*s + 36. Is 22 a factor of s?
False
Suppose -2 = 3*k - 5*g + 1, 0 = -5*k - 5*g + 35. Suppose 9*b - 25 = k*b. Suppose -3*t + 44 = -4*a, 0 = b*t + 2*a + a - 25. Is t a multiple of 3?
False
Let m = -51 - -86. Is m a multiple of 30?
False
Let q = 44 - 2. Does 14 divide q?
True
Suppose 3*s - 7 = 14. Suppose s = a + 4. Is 2 a factor of a?
False
Suppose 2*m - 4*v = 34 + 20, 5*v = 2*m - 51. Is m a multiple of 11?
True
Let w(j) = j**2 + 19*j + 24. Is 31 a factor of w(-22)?
False
Is 6 a factor of 1 + 19 + -2 + 0?
True
Suppose 0 = 5*f + 5, 0 = 3*k - 8*k - 3*f - 3. Suppose -5*z + 3*j - 5*j + 692 = k, -272 = -2*z - 2*j. Is z a multiple of 38?
False
Suppose -4*n - a = -6, -4*n + 3*n - 2*a - 2 = 0. Is 4 a factor of 39/n*10/15?
False
Let q be ((-48)/10)/(2/(-35)). Suppose 3*o = 3*f + q, -6*f - 34 = -o - 3*f. Is 14 a factor of o?
False
Let d = 11 + -16. Let a be 6/(-15) - (-3)/d. Let b = 5 - a. Does 3 divide b?
True
Does 14 divide -13*((-552)/39 - (-2)/13)?
True
Suppose 0 = 5*k + 5*n + 10, -5*k + n + 14 = 48. Is (-40)/(-6) - k/(-9) a multiple of 3?
True
Suppose -6*s - 120 = -14*s. Does 5 divide s?
True
Suppose -5*p - 6 = -41. Let n = 12 - p. Is n a multiple of 5?
True
Let w(x) be the first derivative of x**3/3 + 4*x**2 + x + 1. Let o be ((-6)/12)/((-3)/(-60)). Is w(o) a multiple of 21?
True
Let b = 7 - 1. Suppose 0*x - x = -b. Is x a multiple of 6?
True
Suppose -6*a = -a. Suppose w + 3*g - 9 - 12 = a, -65 = -5*w + 5*g. Does 10 divide w?
False
Let a(d) = 2*d**2 + 22*d + 36. Is a(-13) a multiple of 26?
False
Let x(t) = -2*t + 5. Let y be x(4). Let o be -23 + (-3)/(-3) + y. Does 8 divide (-1 - o)/(6/4)?
True
Let b(u) be the third derivative of u**5/60 - u**4/8 - 11*u**3/6 + 3*u**2. Does 16 divide b(8)?
False
Suppose 10 = -2*r - 2*z + 26, 0 = r - 4*z + 7. Suppose 0 = -r*n + 39 + 81. Is n a multiple of 12?
True
Suppose -n = -4*n + 18. Is 3 a factor of 40/n - (-2)/6?
False
Let l(u) = 8*u + 34. Is l(10) a multiple of 19?
True
Let j = 180 + -155. Is j a multiple of 3?
False
Let c be (5/3 + -1)*-3. Let m = 0 - c. Suppose -m*x - 2*x - 4*l = -36, -3*l = -3*x + 9. Is x a multiple of 5?
False
Let m(s) be the third derivative of 1/60*s**5 + 0*s - 1/6*s**3 - s**2 - 1/6*s**4 + 0. Is 19 a factor of m(-6)?
False
Let r(b) = b + 6. Let y be r(-6). Let s = 7 - y. Is 2 a factor of s?
False
Let p be 6/(-18) - (-58)/(-6). Is 10 a factor of 656/22 - p/55?
True
Let x = -26 + 70. Is 11 a factor of x?
True
Let v = 4 + -1. Suppose 4*h - v*h - 39 = 0. Is 13 a factor of h?
True
Suppose -3*h = -107 + 2. Is 18 a factor of h?
False
Let t(d) = -d**3 - 2*d**2 + d + 1. Let z be t(-2). Let h = z + 3. Suppose 0 = 3*s + h*s - 160. Is 12 a factor of s?
False
Suppose 40 = h + l, 4*l - 70 = -h - h. Is 17 a factor of h?
False
Let i(u) = u**2 + 4*u + 2 - u - 8. Is 17 a factor of i(5)?
True
Suppose -5*n - 64 = -204. Is n a multiple of 7?
True
Let g(z) = z + 5. Let k be g(-7). Let s be (-72)/4 + k + 0. Is 12 a factor of s/(-6)*(-30)/(-4)?
False
Suppose 8*w - 3*w + 5 = 0. Is w/(4/192*-2) a multiple of 12?
True
Let r be (66/(-24))/((-1)/8). Let x = 39 - r. Does 14 divide -3 + 1/(1/x)?
True
Let i = -2 + 6. Let p = i + 1. Suppose p*j = 80 - 20. Does 12 divide j?
True
Let x(a) = 13*a + 8. Does 37 divide x(4)?
False
Let