= -5*b**3 - 3*b**2 + 5*b - 7. Let j(c) = 3*c**3 + 2*c**2 - 3*c + 4. Let r(s) = w*j(s) - 4*k(s). Does 3 divide r(-3)?
True
Is 66 a factor of -4 + 14/((-84)/(-13302))?
False
Suppose 21*j - 24*j = -117. Suppose 2*l + 4 = -2. Let p = j + l. Is 29 a factor of p?
False
Let l(u) be the first derivative of u**4/4 + 22*u**3/3 - 13*u**2 + 51*u - 36. Does 20 divide l(-23)?
True
Let s(l) = -l + 5. Let j be s(6). Let c(p) = -75*p**2 + 2*p + 2. Let u be c(j). Let w = 128 + u. Does 8 divide w?
False
Let s(p) = 6*p**2 - 6*p + 10. Let v(d) = d**2. Let a(t) = s(t) - 5*v(t). Let l be a(5). Let h(f) = 3*f + 1. Is 16 a factor of h(l)?
True
Let g(r) = 5*r + 16. Let v be g(-7). Let c = v - -21. Suppose -l = -c*l + 12. Is 12 a factor of l?
True
Let c = -536 - -1196. Is c a multiple of 15?
True
Let h(r) = 39*r**2 + 13*r + 5. Does 17 divide h(3)?
False
Does 27 divide 15 + -3 + -13 - (-773 + 0)?
False
Suppose -3731*b + 3736*b - 35 = 0. Is 7 a factor of b?
True
Let p(l) = -l**3 + 2*l**2 + 2*l - 1. Let h be p(2). Suppose 48 = -h*b + 6*b. Does 10 divide b?
False
Let k(z) = -5*z**3 + 7*z**2 + 2*z. Let w(v) = -6*v**3 + 8*v**2 + v + 1. Let y(q) = -5*k(q) + 4*w(q). Is 6 a factor of y(5)?
True
Let g(u) be the third derivative of u**8/20160 - u**6/144 + 7*u**5/60 + 2*u**2. Let l(r) be the third derivative of g(r). Does 11 divide l(-7)?
True
Let y(i) = 9*i**2 + 63*i + 51. Is y(-19) a multiple of 19?
False
Suppose 9*r + 41720 = 23*r. Does 47 divide r?
False
Let y(t) = 26*t**3 + t - 1. Suppose -2*d + 13 = 3*c, 5*d - 10 = 3*d. Let l be y(c). Suppose 5*q + l = n, -6*q + q + 104 = 4*n. Is 21 a factor of n?
False
Suppose 6*o = 8800 - 538. Is o a multiple of 51?
True
Suppose -2 = -5*l + 3. Let x(u) = u**3. Let k be x(l). Is (-3 + k)/(14/(-805)) a multiple of 30?
False
Suppose 4*q - 27 = -3. Suppose -p + 0*p + q = 0. Does 6 divide (6 - 8)/((-1)/p)?
True
Let h(v) = -18 - 7*v + 108 + 45 + 5*v. Let q be h(0). Let g = -75 + q. Is g a multiple of 30?
True
Let j(w) = w**3 - 4*w + 13*w - 9*w + 3*w + 9*w**2 - w - 11. Suppose -2*v + 4 = 4*r, 2*v + 6 + 15 = r. Is 14 a factor of j(v)?
False
Suppose -105*h - 16215 = -128*h. Is h a multiple of 15?
True
Let r(x) = 702*x - 174. Is 10 a factor of r(2)?
True
Let i(u) = -10*u - 2. Let y be i(-1). Suppose 32 = y*g - 56. Is 2 a factor of g?
False
Let p(m) = m**3 + 2*m**2 - 2*m - 2. Let b be p(-5). Let n(f) = -3*f**2 + 2*f - 4. Let z be n(6). Let q = b - z. Is q a multiple of 15?
False
Suppose -2*c = c + 42. Let h = 206 + c. Does 51 divide h?
False
Let o(s) = -5*s**2 + 11*s - 2. Let q(b) = 11*b**2 - 22*b + 3. Let p(x) = -13*o(x) - 6*q(x). Is p(-4) a multiple of 12?
True
Let u(a) = 7 - 7*a**2 - 3 - 11*a**2 + 17*a**2 + 16*a. Let o be u(16). Suppose -3*v = 2*b - 55, -6*v + 100 = -2*v - o*b. Is v a multiple of 7?
True
Let a = 308 + -191. Let v = -59 + a. Does 19 divide v?
False
Suppose 3*a = -5*q + 4032, 4*a - 2329 = q + 3047. Is 31 a factor of a?
False
Let f(l) = l**3 + 4*l**2 - 6*l - 3. Let x be f(-5). Let t be 2/((-4 - -2) + (-118)/(-58)). Suppose -2*c + t = -x*u, 0*u = 2*c + 2*u - 38. Is 8 a factor of c?
True
Suppose 7 - 3 = 2*x. Suppose x*n = -4*n + 84. Does 3 divide n?
False
Let z(w) = 9*w - 30. Is z(19) a multiple of 16?
False
Let o be (-14 + -1)/(6/((-30)/5)). Suppose -o*m = -11*m - 120. Does 10 divide m?
True
Suppose 0 = x + x - 6. Suppose -x = p - 9. Suppose 0*c + 2*c = -p, 95 = 4*a - 5*c. Does 7 divide a?
False
Let b = -53 - -511. Is 6 a factor of b?
False
Let q(v) = 6*v**2 - 3*v + 1. Let u be q(2). Suppose 3*z = 2 + u. Suppose w + 240 = z*w. Is 15 a factor of w?
False
Let u = 4 + -2. Let c(d) = 12*d - 1. Let q be c(u). Suppose 4*v - 3*x = 28, -3*v + q + 1 = -3*x. Does 3 divide v?
False
Let f(k) be the second derivative of k**3/3 - 2*k**2 - 31*k. Is 2 a factor of f(5)?
True
Suppose -380 = -2*m + 2*d, 3*m + 2*d = 46 + 504. Is m a multiple of 31?
True
Let k = -88 - -87. Is 11 a factor of (-2 - -10)*5 + k?
False
Suppose -5*i - 3*o = -312, -4*i - 3*o + 247 = 2*o. Does 13 divide i?
False
Suppose 3*o - 7 - 2 = 0. Suppose -o*t = 4*r - 7 - 1, r - 2 = -t. Suppose -w + 5*j = -2*w + 41, 0 = -3*w + r*j + 174. Does 21 divide w?
False
Suppose 2*s - m - 513 = 0, 12 = -m + 11. Does 7 divide s?
False
Let s = 5 - 11. Let i be ((-3)/s)/((-2)/(-12)). Suppose -i - 39 = -j. Is j a multiple of 21?
True
Let w(t) be the second derivative of t**4/12 - t**3/3 - t**2 + 2*t. Let z be w(3). Does 14 divide (24/(-18))/(z/(-33))?
False
Let l be (-1668)/(-22) - 6/(-33). Suppose 0 = -3*x + 5*a + l, 4*a + 142 = 4*x + 38. Is 5 a factor of x?
False
Is 39 a factor of (-7079)/(-5) - (-2 - (-18)/10)?
False
Let l = -9 + 20. Suppose 26 - l = 5*b. Suppose 95 = 2*f + b*f. Is 15 a factor of f?
False
Suppose -3*q - 6 = -4*l, l + 3 = -4*q + 7*q. Suppose -2 = q*p + 6, 4*p = 3*f - 16. Suppose -2*v + 3*n = -2*n - 28, -2*v - n + 4 = f. Is v a multiple of 4?
True
Suppose -3*j - 2*j = -4*o - 725, 4*j - 580 = 5*o. Is 5 a factor of j?
True
Suppose 0 = 3*v + 2*v + 35. Let x = -3 - v. Suppose -x*g = -3*g - 16. Does 8 divide g?
True
Let x(c) = -c**3 + 6*c**2 + 10*c - 2. Let p be x(7). Let a = p + -5. Is a a multiple of 4?
False
Let k(v) = -2*v**3 - 10*v**2 + v - 2. Let q be k(-5). Let z(p) = -21*p + 28. Is z(q) a multiple of 25?
True
Let q = -4 + 9. Suppose -2*z = q*v - 18 + 155, -5*v - 149 = -z. Let p = 9 - v. Is 11 a factor of p?
False
Let z(g) = 6 - 9*g + 17*g + g**2 + 0*g**2. Let t be z(-6). Is 17 a factor of (-111)/t + (-9)/6?
True
Suppose 8*f - 12732 = 21108. Does 30 divide f?
True
Suppose k = 10 - 2. Suppose 4*n - k = 0, 2*u - 36 - 34 = 2*n. Is u a multiple of 7?
False
Let d = 858 - 808. Is 17 a factor of d?
False
Let t(x) = -8*x**2 - 42*x + 23. Let z(c) = -2*c**2 - 11*c + 6. Let s(u) = 2*t(u) - 9*z(u). Does 8 divide s(-12)?
False
Let z = -11 + 13. Suppose -z = -4*k + 6. Is 8 a factor of (k - 0) + (-4 - -26)?
True
Is (-22890)/(-16) + (-36)/(-96) a multiple of 23?
False
Let m(h) = -h**2 + 15*h - 32. Let s be m(12). Let y(g) = 2*g**2 - 2*g - 7. Is y(s) a multiple of 3?
False
Let q(w) = w**2 - 3*w + 1. Let i be q(5). Let s = i + -11. Suppose -5*x + 48 + 32 = s. Is 16 a factor of x?
True
Let l be 18/(-9) - (3 + -1040). Is 20/(-25)*l/(-6) a multiple of 13?
False
Let o(p) = 2*p - 14. Let r be o(10). Let q(c) = -21*c - 19. Let m be q(r). Let x = -103 - m. Is x a multiple of 14?
True
Let r be 230/(-6) + 2/(-3). Let p = r - -46. Is p even?
False
Suppose 4*n + 34 = 106. Suppose 17*s = n*s - 8. Is s a multiple of 2?
True
Suppose -j + 2*j + 3*h - 1148 = 0, 2*h - 8 = 0. Does 16 divide j?
True
Suppose 4*y = -5*h + 3*h + 44, -5*h + 3*y + 136 = 0. Suppose -4*i - 6 = -h. Suppose 0 = -3*s + i*u + 53, -6*u + 2*u - 4 = 0. Is 8 a factor of s?
True
Let d(n) = -1 - 4*n**2 + 4*n + 11 + 5*n**2. Suppose 324 = -60*t + 6*t. Is 13 a factor of d(t)?
False
Suppose y - 5*n + 4*n = 47, -y - 4*n = -42. Let k = 73 - y. Does 12 divide (-6)/(-3) + 1 + k?
False
Let t(r) = -3*r + 25. Let n be t(6). Let a be (n/2)/7*-48. Let l = 52 + a. Is l a multiple of 28?
True
Let u(h) = -h**3 - 8*h**2 + 55*h + 14. Is 48 a factor of u(-13)?
True
Let w(y) = -16*y + 110. Does 28 divide w(-18)?
False
Let z(m) = -m - 6. Let u be (-25)/15*1*6. Let r be z(u). Suppose 0 = -5*a + 5*s + 70, a - 19 + 2 = r*s. Is a a multiple of 10?
False
Suppose -40 = -6*o - 4*o. Suppose -o*m = -8, 4*m = y - m - 19. Does 19 divide y?
False
Let r(t) be the first derivative of -t**4/4 - 4*t**3/3 - t**2/2 - 8. Let n be r(-7). Let s = n - 93. Is s a multiple of 15?
False
Suppose -9*f = 22*f - 19871. Is 14 a factor of f?
False
Let z be (-6)/(-21) - -1*(-95)/(-35). Does 38 divide -35*4/(-1*4) + z?
True
Suppose 8*c - 30 = 3*c. Suppose -11 = -4*j + k, -3*j + 2*k = -1 - c. Suppose 2*b - 4*w = -j*w + 121, 3*w = 4*b - 243. Does 30 divide b?
True
Let v = 14362 - 8890. Does 16 divide v?
True
Let t(g) = g**2 + 16*g. Does 9 divide t(11)?
True
Is (-4518448)/(-2288) + 4/26 a multiple of 122?
False
Let m = 2 - -7. Suppose -5*o - 60 = -3*l - m*o, 0 = -4*l - o + 93. Let d = l - -3. Is 27 a factor of d?
True
Is 3996964/854 - 4/14 a multiple of 127?
False
Is 14 a factor of (-905)/(-3)*54/90?
False
Let t(g) = -g**2 - g**2 - 1 + 4 - 2*g - 2*g**3. Let l(n) = -n + 3. Let k be l(6). Does 15 divide t(k)?
True
Suppose 5*w + 3*x + 195 = -0*x, 0 = 4*w + 3*x + 153. Let u = 80 + w. Suppose 0*m - m = -u. Does