et z be (g/(-9) + -2)*6. Let k(x) = x**2 - 6*x + 8. Does 8 divide k(z)?
True
Let o(w) = w**3 - 4*w**2 + 6*w - 1. Let k be o(4). Let a = k + -11. Does 12 divide a?
True
Let a = -7 + -21. Suppose 4*v + 2 = -22. Let f = v - a. Is 11 a factor of f?
True
Let h(a) = -a**2 + 9*a + 6. Let m be h(9). Let z = 11 - m. Is (2 + z/4)*8 a multiple of 13?
True
Suppose 5*h = 0, 3 = k + h - 3. Suppose 3*u + 0 = -k. Let w(c) = -18*c + 1. Does 16 divide w(u)?
False
Suppose 2*x + x = 9. Is 32 - x*(-4)/(-6) a multiple of 13?
False
Suppose 2*n = 2*z - 66, 0*n = 3*n. Suppose 0 = 2*d + d - z. Suppose -d = -4*b + 41. Does 13 divide b?
True
Let v(p) = p**2 - p - 2. Let t be v(-3). Let n = 40 - t. Does 6 divide n?
True
Let n = 117 + -75. Suppose -18 = 2*t - 5*f + 2*f, t = -5*f - 22. Let g = t + n. Does 11 divide g?
False
Let v(r) = r**2 - 6*r - 5. Let z be v(7). Suppose 0 = -3*a + 2*u + 52, 7*a - 4*u = z*a + 90. Is a a multiple of 7?
True
Suppose -5*v - 5 = -2*v + g, -3*g - 15 = -5*v. Let c be v + -1 + 1 - 5. Let m(w) = -2*w + 6. Does 8 divide m(c)?
True
Let j(y) = -y + 16. Suppose a = -a. Suppose -3*o = -4*k, 5*k = -a*o - 5*o. Is j(k) a multiple of 8?
True
Suppose -2*a = 4*g - 4*a - 70, 0 = g + 4*a - 22. Is 83/3 + g/(-27) a multiple of 9?
True
Let s = 16 + -10. Let p be 10/(3*4/s). Suppose -5*i + 26 = -2*l, -p*i + l + 3*l = -22. Is 3 a factor of i?
True
Suppose j - 3*b - 141 = 0, -564 = -3*j - j + 3*b. Does 47 divide j?
True
Let p(c) = 54*c**3 + c**2 - c. Does 20 divide p(1)?
False
Let a(s) = s**2 + 6*s + 13. Does 8 divide a(7)?
True
Suppose 3*b + 15 = 2*k, 3*k = -3*b - 7 - 8. Let f(i) = -4*i + 5*i + k*i + 8. Is 15 a factor of f(7)?
True
Suppose -4*m + 1514 + 182 = 0. Does 53 divide m?
True
Let c be 60 + 1*-1*2. Let i = c + -36. Does 11 divide i?
True
Suppose -2*o = -3*i + 6, 2*o + 5*i - 23 = o. Let p be (-1)/(-2) + 9/(-2). Let b = o - p. Is 5 a factor of b?
False
Suppose 0 = -4*z - 4, 0 = d - 0*z + 2*z - 58. Suppose -l = p - 3*l - d, 3*p = 4*l + 174. Is p a multiple of 27?
True
Suppose 3*f - 2*z = -1, -z = -f + 6*f + 19. Is 8 a factor of 20*(-1)/6*f?
False
Let x(y) = -y**3 + 14*y**2 - 14*y + 18. Let s = -7 - -20. Does 4 divide x(s)?
False
Let v(r) = -3*r - 45. Is v(-25) a multiple of 6?
True
Let d = 26 - 64. Let p = -14 - d. Is p a multiple of 6?
True
Let l be 42/9*6/4. Is 7 a factor of (4/(-6))/(l/(-147))?
True
Let b(t) = -t**3 + 4*t**2 - t. Let j be b(4). Let v be ((-26)/j)/((-3)/6). Let c = 4 - v. Is 8 a factor of c?
False
Let b = 36 - 22. Is 3 a factor of b?
False
Suppose -5*b = 20, 5*b = -h - 1 - 7. Let u = h - 4. Does 3 divide u?
False
Suppose 18 = 5*z - 3*m, -3*m = 3*z - 1 - 5. Let b = 0 - 0. Suppose 3*p + b*v - 33 = 3*v, 0 = -z*p + 4*v + 28. Is p a multiple of 14?
False
Let b(j) = 2*j**3 - 3*j**2 - 2*j - 6. Is 10 a factor of b(3)?
False
Let p be (7/3 + -2)*9. Suppose 0 = -p*r - 0*r + 6. Suppose -r*u = 5*y - 23, -5*y + u + 24 = 2*u. Is 3 a factor of y?
False
Suppose -2*l - 6 = -0*l. Let o(t) = 2*t**2 + 5*t + 4. Let i be o(l). Suppose s + 54 = 2*m - i, 0 = 4*s - 12. Is 15 a factor of m?
False
Let f(g) = g**3 - 5*g**2 + 6*g - 2. Let h be f(4). Let m(l) = l**3 - 6*l**2 + 2. Let z be m(h). Is 9 a factor of (-68)/(1 - (z + 1))?
False
Let v = 162 - -10. Let m = -103 + v. Suppose -3*w = -6*w + m. Is w a multiple of 13?
False
Let v be (-4)/(-6) - (-14)/6. Suppose -2*d - 2*f + 114 = f, v*f + 192 = 4*d. Is d a multiple of 14?
False
Let w = -56 - -176. Is w a multiple of 24?
True
Let d be 0 + 2 + -6 - -2. Let t be -1*(3 + d) + 3. Is t + 6 + (-2)/1 a multiple of 4?
False
Is 92/28 + 6/(-21) a multiple of 3?
True
Let d(a) = -a**3 + a + 62. Is d(0) a multiple of 11?
False
Suppose 3*w = -2*h + 6, 4*w + 6 + 6 = 4*h. Suppose -n - 76 = -h*n. Suppose n = 3*m - m. Does 10 divide m?
False
Let b = -71 + 129. Does 29 divide b?
True
Let c = 499 - 268. Does 21 divide c?
True
Suppose 1 = 2*i - 3. Suppose 5*t = -i*u + 14, u = -2*t + 6 - 0. Is 56/(-6)*(-3)/u a multiple of 13?
False
Suppose -2 + 90 = -2*a. Let u = 76 + a. Does 16 divide u?
True
Let v = -74 + 263. Is v a multiple of 25?
False
Suppose -5*t = 3*i + 16 + 10, 0 = -3*i + 4*t - 17. Is i - -5 - -1*11 even?
False
Let f(b) = -b + 14. Let v be f(13). Let u(n) = 41*n**2. Is 15 a factor of u(v)?
False
Suppose 5*y - 2*y + 2*x = -35, -3*x - 3 = -y. Is 9 a factor of 1/3 - 285/y?
False
Let x = 64 - 23. Does 11 divide x?
False
Suppose 4*d + 12 = 5*d. Does 3 divide d?
True
Is ((-12)/(-9))/(3/63) a multiple of 6?
False
Let b = -8 - -19. Let w(q) = 11*q**2 - 3*q + 1. Let z be w(2). Suppose j + b = z. Is 14 a factor of j?
True
Suppose 6*c - 10 = 134. Does 8 divide c?
True
Suppose -2*f + f + 2 = 0. Suppose 2*s + 12 + 0 = w, 4*s - 32 = -f*w. Is 5 a factor of w?
False
Let m(o) = -3*o**2 + 3*o + 5. Let v be m(-2). Suppose 4*t - 4*b = b + 64, 4*t + 5*b - 104 = 0. Let d = t + v. Is d a multiple of 8?
True
Let o(j) = j**3 + 6*j**2 + j - 4. Is 5 a factor of o(-3)?
True
Let t(y) = y**3 - 9*y**2 - 3*y + 12. Let f be t(9). Let h be -5*(0 + (-36)/f). Does 7 divide 6/h + 34/4?
False
Let d(m) = -2*m**2 + 4*m - 3. Let r be d(2). Does 16 divide 50*1/(-6)*r?
False
Suppose -3 + 15 = 2*d. Let a(m) = m**3 - 6*m**2 + 2*m - 6. Let p be a(d). Suppose -5*y = -p*y + 17. Is 5 a factor of y?
False
Let j(u) = 58*u + 41. Does 64 divide j(8)?
False
Let n(h) = -14*h + 4. Let l be n(2). Let g = 36 + l. Is 12 a factor of g?
True
Suppose 0 = -0*u - 4*u + 16. Suppose 4*c = u, -a - c + 7 = -7. Is a a multiple of 6?
False
Let q(z) = -5*z**3 - 4*z**2 + 8*z - 3. Let i(n) = 6*n**3 + 4*n**2 - 9*n + 3. Let g(c) = 6*i(c) + 7*q(c). Is g(4) a multiple of 3?
False
Let w = -96 + 155. Does 16 divide w?
False
Let d(b) = b**3 - 10*b**2 + 11*b - 13. Let p be d(9). Suppose 5 = p*y - 5. Suppose y*o - 37 = 5*x, 0*x - 6 = 2*x. Is o a multiple of 6?
False
Let c = -105 + 153. Does 11 divide c?
False
Suppose 58 - 16 = 6*p. Is p even?
False
Let n = -29 + 72. Is n a multiple of 3?
False
Let b(h) = h**3 + 4*h**2 - 5*h - 3. Let d be b(-5). Does 18 divide d - -6 - 0 - -33?
True
Suppose 2*y - y - 11 = 0. Let l = y - 6. Let z(s) = -s**3 + 5*s**2 + s + 4. Does 5 divide z(l)?
False
Let a(t) = -t**3 + 15*t**2 + 11*t - 16. Is a(15) a multiple of 39?
False
Let f = 783 + -531. Is f a multiple of 21?
True
Let s(w) = -w**3 - 4*w**2 - 5*w - 2. Let l be s(-4). Let t = 1 + l. Is 10 a factor of t?
False
Let x(f) = -2*f + 20. Is 7 a factor of x(0)?
False
Let n be (0 - 12)*(-28)/8. Let c = -30 + n. Let u = 25 - c. Does 13 divide u?
True
Let f be (-20)/(-6) + 3/(-9). Suppose f*c = 4*c - 2. Is c a multiple of 2?
True
Suppose 5*u - 2*u = -3. Let y(q) = -3*q**3 - 12*q**3 + q**2 + 0*q**2. Is 16 a factor of y(u)?
True
Let i be -4*4/(-32)*42. Suppose -4*y + 119 + i = 0. Does 6 divide y?
False
Let j(u) = -3*u**3 - 8*u**2 - 3*u + 13. Let v(r) = -5*r**3 - 12*r**2 - 5*r + 20. Let x(b) = -8*j(b) + 5*v(b). Let a be x(3). Does 7 divide 18 - (1 - a)*1?
False
Let x(p) = -59*p - 1. Let l be x(2). Let k = l - -211. Does 16 divide k?
False
Suppose 0 = 5*j + 4*w - 88, 2*j - 7*w + 5*w = 46. Suppose b - j = 6*b. Let d = 11 + b. Is 4 a factor of d?
False
Suppose -2*m - 6 = -4*m. Suppose -m*h - 10 = -5*b - 2*h, 0 = -5*b + 3*h. Suppose -2*w - 4*r = -74 + 14, 0 = -b*w - 5*r + 87. Is w a multiple of 8?
True
Let g(v) = -v**3 - v**2 + 12. Does 3 divide g(0)?
True
Let y(r) = -r**3 + 14*r**2 - 4*r + 7. Let h be y(7). Suppose -4*z = -2*b - h, -2*z + 5*b + 325 = 2*z. Does 22 divide z?
False
Let z be -3 - (-266)/2*1. Let r = z + -88. Is r a multiple of 21?
True
Is -14 - -13 - 68/(-1) a multiple of 29?
False
Let q = -25 - -55. Does 13 divide q?
False
Suppose -4*w = -4*d - 16 - 716, -w + 2*d + 184 = 0. Is 32 a factor of w?
False
Let m be 16/7 - (-26)/(-91). Suppose -5*x + m*x + 63 = 0. Is 9 a factor of x?
False
Let o = -25 - -85. Does 12 divide o?
True
Let i = -43 - -55. Is i a multiple of 10?
False
Let l be 21/(-5)*3*-5. Let a = -31 + l. Is a a multiple of 17?
False
Let s(c) = c**3 + 10*c**2 - 6*c + 14. Let r be s(-10). Let q be 1*5*(-16)/(-5). Suppose r = 5*j - q. Is j a multiple of 18?
True
Let p(z) = 75*z**3 + 13*z**2 - 2*z + 2. Let h = -6 - -12. Let r(y) = 37*y**3 + 7*y**2 - y + 1. Let v(o) = h*p(o) - 11*r(o). Is 16 a factor of v(1)?
False
Let x be (5/3)/((-1)/120). Does 10 divide (9/4)/((-15)/x)?
True
Let z(i) be the second derivative of i**3/6 - i