rue
Let h(z) = 3*z**2 - 3*z. Let j(x) = x**2 + 7*x + 8. Let a be j(-6). Let u be h(a). Is 17 a factor of (-1)/((-3)/u) - -41?
False
Let n be (-24)/4*(-148)/8. Suppose 4*f - n = f. Is 14 a factor of f?
False
Let q = -40 + 56. Let c = 16 + q. Does 10 divide c?
False
Let l(p) = p**3 + 5*p**2 + 2*p + 1. Let s be l(-6). Let o = s - -92. Is 15 a factor of o?
True
Let z(f) = f**2 - 4*f - 4. Let y be z(5). Is 7 a factor of 0 - -8 - 1/y?
True
Let i be -1 + 3/((-3)/(-1)). Suppose -w + 11 + 4 = i. Suppose 4*x = w + 41. Is 5 a factor of x?
False
Let s be 2/4*130/5. Let i = 34 - s. Is i a multiple of 7?
True
Let d = -15 + 0. Let o = -10 - d. Suppose -66 = -o*r + 64. Is 13 a factor of r?
True
Let x = 206 - 86. Is x a multiple of 12?
True
Does 8 divide (-4 - -3)*0 + 29?
False
Suppose o = -5*o + 216. Is o a multiple of 27?
False
Let x(v) = v**2 + 5*v - 6. Let b be x(-6). Suppose 0 + 4 = 2*w. Suppose b = n - 3*t - 23, -5*t = w + 3. Is n a multiple of 18?
False
Suppose -j + 13 = 2*j - 4*g, j + 5*g - 17 = 0. Does 5 divide j?
False
Let l be 2/3 + 4/(-6). Let k be (0/(-5))/(l - 2). Suppose o - 1 - 17 = k. Is o a multiple of 9?
True
Let b(c) = -c**3 + 4*c**2 + c + 10. Let a(y) = y**3 - 4*y**2 - 2*y - 9. Let q(f) = -3*a(f) - 2*b(f). Is q(5) a multiple of 2?
True
Suppose 0 = -5*i + 3 - 8, 0 = 4*f - i - 49. Does 3 divide f?
True
Let s(d) = -d + 1. Let k be s(1). Suppose 0 = -k*i - 2*i - 102. Let l = -35 - i. Is 8 a factor of l?
True
Suppose -1 = 5*f + 19. Is (-1 + 0)*(f + -1) a multiple of 3?
False
Let o(d) = 76*d**2 - d. Let q be o(1). Suppose 5*j + a - 43 = q, a = 2*j - 50. Is 12 a factor of j?
True
Let b = 3 - -1. Suppose b*i + i = 120. Is 12 a factor of i?
True
Let z = -109 - -189. Is z a multiple of 4?
True
Let i(v) = -v**3 - 4*v**2 + 10*v + 7. Let y(q) = 3*q. Let h be y(-2). Is i(h) a multiple of 19?
True
Let z(f) = -f**3 + 7*f**2 - 4*f. Let g be z(6). Let i = g + 44. Does 14 divide i?
True
Is 3969/36 - 2/8 a multiple of 13?
False
Let w = 98 + -177. Let i = w - -131. Does 14 divide i?
False
Let t(r) = r**3 + 6*r**2 - 4*r + 2. Is 26 a factor of t(-6)?
True
Suppose 3*c = o + 7, c = 6*c + 3*o - 7. Suppose -3*p = c*p - 120. Is p a multiple of 12?
True
Suppose 0 = 2*s - 4*m + 3*m - 6, 2*m = 0. Let w = -7 + 6. Is 16 a factor of 33 - w - 6/s?
True
Let v = -22 + 8. Let l = 4 - v. Is 9 a factor of l?
True
Let c(a) = a**3 + 11*a**2 + 8*a + 4. Is 22 a factor of c(-8)?
True
Suppose 0 = -2*a + 7*a. Let k be -1*3*-3 - a. Let z(q) = q. Does 9 divide z(k)?
True
Suppose -4*j + 14 - 2 = 0. Suppose 23 = j*v - 4*i - 101, 2*i + 2 = 0. Does 10 divide v?
True
Suppose 0 = -3*y + y + 4. Is 2 a factor of y?
True
Let a = 58 - 7. Does 17 divide a?
True
Let g = 0 + 0. Suppose -z + 6*z - 15 = g. Suppose z + 21 = v. Is v a multiple of 11?
False
Let k = 32 + -21. Suppose -k*c + 7*c + 96 = 0. Does 8 divide c?
True
Let h(b) = 3*b**2 - 3*b - 2. Suppose 0 = w - j, -3*w - w + 32 = 4*j. Suppose -w*q + 22 - 6 = 0. Is h(q) a multiple of 12?
False
Let m be (-3)/(31/(-15) + 2). Suppose 5 = a - 0. Suppose -4*p - m = -a*f, 5*f = 5*p + 6 + 34. Is f a multiple of 10?
False
Let t = -5 + 8. Let w(j) = -5 + t*j - 2*j + 22. Does 13 divide w(0)?
False
Let n(h) = -h**3 - h**2 + 18. Let c(r) = r**3 + 6*r**2 - 8*r - 7. Suppose 5*j + 34 = -1. Let g be c(j). Is 8 a factor of n(g)?
False
Let d(f) = -6*f**2 - 3*f**3 + 0*f + 4*f**3 + 8 - 4*f - 7*f. Is d(8) a multiple of 24?
True
Suppose 0 = -5*c + 169 + 166. Does 16 divide c?
False
Suppose -y + 61 = a + 2*a, 3*a + 95 = 2*y. Is 13 a factor of y?
True
Suppose w + 4*m - 140 = 104, 3*w - 758 = m. Is w a multiple of 12?
True
Let j = -9 - -11. Suppose j*g = -5*v + g + 228, 0 = v - 5*g - 56. Is 20 a factor of v?
False
Let l be (-126)/(-5)*20/6. Suppose -5*h = 5, -2*h - 10 = 2*r - l. Is 12 a factor of r?
False
Let b(i) = -4*i + 7*i**2 + 5*i**2 + i - 5*i**2. Let a be ((-6)/4)/(3/(-4)). Is b(a) a multiple of 18?
False
Suppose 4*q - 152 = -3*b, -4*b = b - 5*q - 300. Is 14 a factor of b?
True
Suppose -5*f + g + 81 = 0, -3*f - 15 = -4*f - g. Suppose 5*v + 15 = 2*d, -2*d + 6*d + 4*v = f. Suppose d*s + n = -2*n + 43, 0 = n + 4. Does 9 divide s?
False
Let p be 2 + 0/(-3 + 7). Suppose 4*a = p*y + 3*y - 29, -y = -4*a - 9. Is 2 a factor of y?
False
Suppose -4*j = y - 8, 2*y + 0*y - 8 = -4*j. Suppose -324 = 4*v - 2*v. Does 8 divide j/7 + v/(-21)?
True
Let u be (-2 + (-27)/(-12))*8. Suppose z - 154 = -3*l, -2*l - 2*z = u*z - 106. Is l a multiple of 17?
True
Let x be 0/((-1)/((-3)/(-6))). Suppose x*k = -5*k + 10. Let l(p) = 7*p + 2. Is 12 a factor of l(k)?
False
Let x(r) = 3 + 1 - 31*r + 41*r. Is x(3) a multiple of 17?
True
Let o(j) = 5*j + 4. Does 22 divide o(8)?
True
Let j(o) = -o**3 - 4*o**2 - 4. Let u be j(-4). Let c = -5 - u. Is -47*c/((-3)/(-3)) a multiple of 23?
False
Suppose 5*b + 2 = 282. Is 8 a factor of b?
True
Let g(m) be the third derivative of m**5/60 + 5*m**4/12 + 5*m**3/6 + 2*m**2. Is g(-10) a multiple of 3?
False
Let k be 2/(-4) - (-21)/14. Does 19 divide k/(-3 + (-344)/(-114))?
True
Let o = 58 - -122. Is 20 a factor of o?
True
Suppose 0 = -10*d + 6*d + 276. Is 12 a factor of d?
False
Let b(r) = -r**3 - 7*r**2 - r - 1. Let s(k) = k**2 - k - 1. Let d(n) = -b(n) - 3*s(n). Let m be d(-3). Let o = m + 6. Does 7 divide o?
True
Let s(b) = -23 + b - b - 7*b + b. Let n(m) = -5*m - 22. Let h(t) = -5*n(t) + 4*s(t). Is h(-12) a multiple of 3?
True
Suppose i - 5*n - 17 - 2 = 0, -3*i + 3*n = -57. Let l = 16 + i. Suppose 4*h + 5*s = l, -2*h - 2*h + 4*s = -44. Does 5 divide h?
True
Suppose -232 = -2*o + 48. Does 35 divide o?
True
Let y(k) = -201*k - 6. Let t be y(-4). Suppose 0*r + t = -2*r. Does 22 divide r/(-9) + (-1)/3?
True
Let f(s) = s**3 + 7*s**2 - 12*s - 10. Let y be f(-8). Suppose -i + 28 = -2*n, y + 22 = i + 2*n. Suppose -2*c - 182 = -5*u + 2*c, u - c = i. Is 13 a factor of u?
False
Let g(o) = -7*o + 1. Let j(f) = -f + 6. Suppose 8*b = 4*b + 36. Let u be j(b). Does 6 divide g(u)?
False
Suppose -16 = -0*y - 4*y. Suppose -z - 12 = -y*z. Suppose z*f - 45 = f. Does 6 divide f?
False
Suppose 6 = 6*m - m + 4*s, 3*s + 5 = m. Let v(f) = -3*f**3 + 2*f**2 + 2*f. Let t be v(m). Let b = 29 + t. Is b a multiple of 13?
False
Is 25 a factor of (-6)/(-9) - 536/(-6)?
False
Let t = 10 + -7. Let h(d) = -2*d**3 + d**t + 42 + 3*d**3 - 3*d**3. Is 21 a factor of h(0)?
True
Let t(s) = 2*s + 2 + 5*s - 4*s. Suppose -4*h + 0*h + 16 = 0. Does 7 divide t(h)?
True
Suppose -y = -2*y + 3. Let d = y - 13. Let m = -6 - d. Is m a multiple of 4?
True
Suppose -4*t = t - 620. Suppose y = 5*y - t. Does 31 divide y?
True
Let x(v) = -14*v - 6. Is x(-1) a multiple of 8?
True
Suppose -2*k + 52 = -2*b, -k + 2*b = -0*k - 25. Suppose 22 = f + m - k, -5*m = 4*f - 201. Suppose -5*n + f = -n. Is 11 a factor of n?
True
Suppose -5*b - 4*v + v = -72, 2*b - v = 20. Let n = b - 5. Does 2 divide n?
False
Suppose 0*x - 14 = -2*x. Let t be 23/x + (-2)/7. Suppose t*s - 78 = 5*p, 4*s - 100 = -2*p + 30. Does 11 divide s?
False
Suppose 27 = o - 5*w, 3 = -2*w + 13. Let v = -36 + o. Does 8 divide v?
True
Let b(g) = g. Let t(s) = -8*s - 3. Let f(k) = 2*b(k) - t(k). Let w be f(-2). Is -1*2/2*w a multiple of 11?
False
Suppose b - 33 = -4*y, 2*y + 2*b = 26 - 2. Let a be (-2)/7 - (-233)/y. Is 11 a factor of 4/(-3)*a/(-2)?
True
Suppose 2*y - 3 = -g + 15, 3*y = -3*g + 30. Suppose -a = -3*a + y. Suppose -a = h - 19. Is h a multiple of 15?
True
Let d = -8 - -12. Let q(y) = y**3 - y**2 + 2*y - 6. Does 33 divide q(d)?
False
Let h = -11 - -21. Is 2 a factor of h/(-4)*6/(-5)?
False
Suppose 66 = -0*k + k. Suppose 0*z - k = -4*z - 2*a, 3*a - 43 = -2*z. Is z a multiple of 5?
False
Let w(s) = s**2 + 7. Does 9 divide w(5)?
False
Let k(q) = -18 + 33 + 5*q - 28. Does 6 divide k(5)?
True
Let v(s) = 31*s**2 + 2*s - 3. Does 10 divide v(1)?
True
Let g = 7 - 3. Let l = g + 1. Suppose l*i - 5*r = 175, 0*i + i - 29 = -5*r. Is 15 a factor of i?
False
Suppose 6*u = 113 + 271. Does 24 divide u?
False
Let n be (369/(-12))/(-3)*-4. Let x = n - -58. Is 5 a factor of x?
False
Let t(c) be the first derivative of c**4/4 + c**3/3 + c**2/2 + 1. Let w(x) be the second derivative of t(x). Is w(2) a multiple of 14?
True
Let u(f) = 7*f**2 - 9*f - 6. Let q be u(-4). Suppose 4*c + 46 = q. Is c a multiple of 8?
True
Let a be (2/5)/(5/25). Suppose -2*n + 42 = -2*q, -103 + a = -5*n +