*b**3. Let t be w(-6). Let s(x) = -x**2 + 11*x - 12. Is 6 a factor of s(t)?
True
Suppose 3*d = -2*k - k + 60, 2*d = -4. Does 13 divide 480/k - (-6)/33?
False
Let x be (-270)/(-14) + 18/(-63). Does 19 divide 2*(x/2 + 0)?
True
Suppose 15 = 3*c, m - c + 52 + 21 = 0. Let f = -35 - m. Does 19 divide f?
False
Let i(c) = -c**2 - 9*c - 4. Let g be i(-9). Let b(n) = -n**2 - 5*n + 4. Does 3 divide b(g)?
False
Suppose -k - 66 = 2*k. Suppose -2*a = 3*a - 220. Let j = k + a. Is 8 a factor of j?
False
Let b(i) = i**3 + 4*i**2 - 6*i + 4. Let s be b(-5). Suppose 3*g - s - 21 = 0. Does 10 divide g?
True
Let h be (-84)/10 + 3/(-5). Is (-3 + (-24)/h)*-21 a multiple of 7?
True
Let g = 32 - 5. Does 12 divide g?
False
Let n(g) = g**3 - g**2 - 6*g + 4. Let i be n(4). Suppose -15 = -0*c - c. Let p = i - c. Is 13 a factor of p?
True
Let f(o) = 27*o**3 - 2*o**2 + o. Is 7 a factor of f(1)?
False
Let u = 11 + 2. Let g be -1*(92/(-28) + 8/28). Suppose -u + g = -h. Does 10 divide h?
True
Suppose 2*s + 2*s - 16 = 0. Suppose 3*m = 4*u + 8*m - 40, -s*u = -m - 16. Suppose 5*a = -3*p + 22 - 8, a = -u. Is p a multiple of 5?
False
Suppose -538 = -2*v + 3*j - 4*j, 5*v - 4*j - 1332 = 0. Suppose -2*l = -5*h + v - 74, h = l + 37. Is 20 a factor of h?
True
Is 10 a factor of 750/4*2*6/15?
True
Let m(b) = -5*b**2 + 11*b - 11. Let z(y) = -6*y**2 + 12*y - 12. Let o(c) = -7*m(c) + 6*z(c). Let x be o(-6). Is (-94)/(2 - 4) + x a multiple of 23?
True
Let r(k) = k - 2. Let z(u) = u - 3. Let b(a) = 4*r(a) - 3*z(a). Let p be b(5). Is (-60)/8*p/(-9) a multiple of 2?
False
Let o(m) = -13*m - 5. Let l(w) = 27*w + 11. Let b(q) = -4*l(q) - 9*o(q). Is b(1) a multiple of 9?
False
Let l(n) = 3*n + 1. Let k = -2 - -2. Suppose -5*t + 61 = -2*r + 23, 5*r + 20 = k. Is 8 a factor of l(t)?
False
Suppose 3*r - 5*r + 475 = w, -2*w = r - 233. Is 68 a factor of r?
False
Suppose 4*i - 170 = 438. Suppose 4*l - 40 = i. Is 24 a factor of l?
True
Let y be -16 + 5/(10/(-4)). Let q = y + 27. Is q a multiple of 2?
False
Let l(w) = -18*w. Let c be l(1). Let h = -7 - c. Is h a multiple of 4?
False
Let l = 28 - -153. Is 9 a factor of l?
False
Is (-398)/24*-3 - 6/(-24) a multiple of 10?
True
Let t = -72 - -101. Suppose 0 = 2*m - 11 - t. Is m a multiple of 10?
True
Let q = 1 + 4. Suppose q*d - 51 = 14. Is 13 a factor of d?
True
Does 17 divide -17*(-3 + 0 - 2)?
True
Suppose -5*r = c + 24, 0 = 2*c + 1 - 3. Let t(d) = -5 - 6*d**2 - 7*d - 3*d - d**3 + 3*d. Is 5 a factor of t(r)?
True
Let s(h) be the first derivative of 2*h**3 + h**2 + 1. Let c(t) = -6*t**2 - 3*t - 1. Let q(z) = -3*c(z) - 2*s(z). Is q(-3) a multiple of 21?
True
Suppose 2*t + 7 = d + 3*t, -3*d = -2*t - 11. Suppose -3*a + 3*w = -0*a - 51, -d*a - 4*w = -130. Is 12 a factor of a?
False
Let l = -67 + 48. Let u = 35 + l. Is u a multiple of 16?
True
Let a(t) = t**2 + 4*t - 8. Let y(o) = o - 6. Let i be y(0). Let m be a(i). Suppose p = -m*p + 40. Is p a multiple of 4?
True
Suppose -h - 189 = -5*m, 6*m - 2*m + 858 = -5*h. Let p be (1/2)/((-1)/h). Let r = p - 46. Is r a multiple of 14?
False
Suppose 0 = -f + 37. Let c = -25 + f. Is c a multiple of 12?
True
Suppose -o - 2 + 6 = 0. Let w = o + -4. Suppose w = 2*t - 5*t + 90. Does 10 divide t?
True
Does 4 divide 6/(4/(-7) - 255/(-238))?
True
Let a = 43 + -16. Suppose 0*c - 3 = c. Does 15 divide 5/(c*(-3)/a)?
True
Suppose -17 - 3 = -4*m. Suppose 4*d = 4, -m*r - 3*d = -11 - 2. Let l(z) = z**3 + z**2 + 2*z - 3. Is l(r) a multiple of 8?
False
Let o = 5 + 40. Let q = -32 + o. Is 13 a factor of q?
True
Let q(h) = -5*h**3 + 1 + 0*h - h + 4*h**3. Let d(c) = 4*c**3 + 5*c + 9. Let l(u) = d(u) + 5*q(u). Is 7 a factor of l(0)?
True
Suppose 2*o = -3*n - 2, 5*o + 2*n + 3 = 2*o. Let d be -2*o*2/(-4). Let l(k) = -4*k**3 - k - 1. Is l(d) even?
True
Suppose 6*x - 114 = -0*x. Is 3 a factor of x?
False
Let b be 6/(3 - (-45)/(-12)). Let n = b + 10. Suppose 3*v - 6 = 0, -4*d = -n*d - 3*v - 10. Does 4 divide d?
True
Suppose 1 = y, -3*j - j + 2*y + 18 = 0. Suppose -5*f + 5*m + 61 = 21, -3*f + j*m + 32 = 0. Is 7 a factor of (f - -1) + 3 + -1?
True
Is 10 a factor of 5/(1 + 4) + 78?
False
Is 7 a factor of 268/12 + 4/(-3)?
True
Let r be (1/1*0)/(-2). Suppose 4*o - 5 - 7 = r. Suppose -6 = 4*a - 5*a - o*z, 5*a + 5*z - 30 = 0. Is a a multiple of 6?
True
Let z = -36 + 48. Is z a multiple of 12?
True
Suppose -3*x + 2*x = -30. Let h = x - 44. Does 12 divide -3*4/6 - h?
True
Let j(k) = k - 5. Let h be j(6). Is 14 a factor of ((-1)/(h/(-17)))/1?
False
Is 21 a factor of 464/6*(-12)/(-8)?
False
Let p(v) = v**3 + v**2 - v + 124. Does 31 divide p(0)?
True
Let o(u) = -2 - 5*u - 6 + 0. Let r be o(-6). Let b = r + 2. Does 23 divide b?
False
Let m(u) = -u**3 + u + 2. Let n = 3 + -3. Let i be m(n). Suppose 0 = 4*r + 16, i*p + 2*r - 47 = 1. Is 12 a factor of p?
False
Let a = 70 - 28. Is a a multiple of 14?
True
Let h = -1 - -6. Suppose -o - h = -0*o - 3*a, -2*o = -5*a + 13. Let u = o - -29. Does 7 divide u?
False
Let c(x) = 14 + x**3 - 180*x**2 + 189*x**2 - 2 - 10*x. Let h be (5*-1 - 0)*2. Is c(h) a multiple of 6?
True
Suppose 3*b - 213 = -57. Suppose c - 5*y = 3, -5*c + 5*y = -167 + b. Is 7 a factor of c?
True
Let b(f) be the first derivative of -6*f**2 - 3*f + 1. Suppose 0 = t + 3 + 2, -3*r + 9 = -3*t. Is 7 a factor of b(r)?
True
Is -9 - -11 - 80/(-2) a multiple of 14?
True
Is ((-159)/(-6))/((-6)/4 + 2) a multiple of 53?
True
Let z = 57 - 16. Is 6 a factor of z?
False
Suppose b = -5*o + 1332, 5 = 4*b - 3. Is 45 a factor of o?
False
Suppose -c = r - 153, -290 = -2*r - 0*r + 2*c. Is 13 a factor of r?
False
Suppose -335 = -5*u - 0*u + 5*b, 3*u + 3*b = 171. Does 11 divide u?
False
Suppose -4*l - 146 = 2*y + 36, -91 = y - 2*l. Let q = y - -138. Let j = q - 29. Is j a multiple of 9?
True
Let o be (4/6)/((-10)/90). Let m = 38 + o. Does 8 divide m?
True
Let v(s) = -8*s + 2 + 12*s + 2*s**2 - 3*s - 3*s**3. Is 8 a factor of v(-2)?
True
Let d(f) = -2*f**3 - f**2 - f + 3. Is d(-2) a multiple of 13?
False
Let b = 545 + -209. Is b a multiple of 12?
True
Let d(z) = -z**2 - 11*z + 9. Let b = 4 + -11. Does 15 divide d(b)?
False
Let i be (-2)/14 + (-1962)/(-63). Suppose 4*v = -x + 7, 100 - i = 2*x - 3*v. Is x a multiple of 9?
True
Let h(q) = q**2 - q - 7. Let j be h(0). Let p = 10 + j. Is p a multiple of 3?
True
Suppose 3*n - n - 4 = 0. Let c(z) = -z**3 + 14*z**2 - 14*z + 17. Let x be c(13). Suppose n*g = -g - s + 238, 0 = x*g - 4*s - 312. Is g a multiple of 20?
False
Let l(v) be the second derivative of v**5/20 + 11*v**4/12 - 7*v**3/3 + 9*v**2/2 + 3*v. Is l(-12) a multiple of 8?
False
Is 32 a factor of (13 - 1)/(4/18)?
False
Does 31 divide (-1 - (-6 + 4))*1*93?
True
Let k be (-26)/8*-1*8. Is 14 a factor of 4/k + 180/13?
True
Let i = 1 + 14. Suppose 6*o + 30 = 2*b + 2*o, b + 5*o = i. Is 15 a factor of b?
True
Let h be (-4)/16 + 26/8. Suppose -2*o - h*o + 80 = 0. Is 13 a factor of o?
False
Let t(w) = -w**3 - 2*w**2 + 15*w - 11. Is t(-7) a multiple of 14?
False
Suppose 0 = -2*z + 3*z - 9. Let y = z + -6. Does 2 divide y?
False
Let g = 18 - 9. Is 9 a factor of g?
True
Let y be (-65 - -2)/(-3) + 3. Let r = y - -2. Is r a multiple of 13?
True
Let o(q) be the third derivative of q**7/840 - q**6/72 + q**5/20 - q**4/6 - q**3/2 - 3*q**2. Let n(z) be the first derivative of o(z). Is n(5) a multiple of 13?
True
Suppose -272 = 2*s + 4*k, 0 = 4*s + 4*k + k + 538. Let n = -84 - s. Does 14 divide n?
False
Suppose u - 12 = -r, -4*r + 5*u + 25 + 68 = 0. Suppose -y - 5 = -2*s - r, -y = 2*s. Is y a multiple of 3?
True
Suppose 2 - 12 = 2*g, -24 = u + 4*g. Let f(r) = -r**2 - 6*r - 6. Let z be f(u). Suppose 2*y = -d - 2*y + 20, -2*y - 70 = -z*d. Is 17 a factor of d?
False
Suppose -2*a = -3*a + 3, q + 5*a - 25 = 0. Let x(v) = -2 + 0*v + q + 5*v. Is x(7) a multiple of 16?
False
Let z = -14 + 63. Is z a multiple of 15?
False
Suppose -r - c + 6 = 0, -2*r - 3*c + 6*c = -2. Suppose r = -3*m + 28. Does 4 divide m?
True
Let l = -2 + 16. Is l a multiple of 8?
False
Suppose 0 = 6*p - 3*p - 315. Does 7 divide p?
True
Suppose -15 = h - 3*c + 7*c, 0 = -3*h + 3*c + 30. Suppose f + 44 = h*f. Is 6 a factor of f?
False
Let g(r) = -r**2 - 6*r + 11. Is 11 a factor of g(-6)?
True
Let x = 236 + -2. Is x a multiple of 26?
True
Let v(q) = q + 6. Is v(5) a multiple of 7?
False
Suppose 3*l - 90 = 36. Is 21 a factor of l?
True
Let