
False
Is 10 a factor of 47 + -5 + 2 + -2?
False
Suppose -6*k + 3*k = 270. Let y = -30 - k. Does 25 divide y?
False
Let h be 0 + (-1)/(3/(-9)). Let l be 1*h + 6 + -7. Suppose l*f - 14 = 8. Is 10 a factor of f?
False
Does 12 divide ((-36)/14)/((-3)/98)?
True
Suppose r + 5 = 2*r - j, -5*r - 5*j - 15 = 0. Does 3 divide (-9*1)/(r/(-1))?
True
Suppose -d + 1 = -4. Suppose 28 + 32 = -5*t + 3*b, 5*t + d*b = -60. Let g = 8 - t. Is 10 a factor of g?
True
Suppose -5*g + 1038 = 2*v + 129, 5*v - 10 = 0. Suppose 0 = 4*n - 0*n - 16, -4*n + g = 5*r. Does 22 divide r?
False
Suppose 5*p - 3*m = 159, 151 = 3*p + 2*m + 48. Is 2/(6/p) + 0 a multiple of 10?
False
Let d(x) = -3*x**3 - x**2 + 5*x - 4. Let j be d(3). Let b = -34 - j. Does 26 divide b?
False
Suppose -42*k = -41*k - 9. Does 9 divide k?
True
Is 4/(-6) - (-76)/6 a multiple of 12?
True
Let q(v) = v**3 + 12*v**2 - v + 2. Does 9 divide q(-12)?
False
Suppose 3*x = -x. Suppose -d + 9 + 7 = x. Does 12 divide d?
False
Suppose 2*s - 2 = 4. Suppose 0 = n - s*g - 67, 3*n - 2*g = -7*g + 243. Does 22 divide n?
False
Let p be (-16)/72 - (-104)/(-18). Does 7 divide 20/p*9/(-3)?
False
Let l = 76 + -60. Does 8 divide l?
True
Suppose 0*l + 2*l = 4*c + 18, -8 = 3*l + c. Let z(v) = -57*v + 1. Let p be z(l). Suppose -3*f = -0*f + 5*i - p, 27 = 2*f + i. Is f a multiple of 6?
False
Suppose -4*b + 39 - 121 = -w, 0 = -b + 4*w - 28. Suppose 3*k - 11 - 21 = 5*i, -i = k. Let a = k - b. Is a a multiple of 14?
False
Let f(a) = 5*a - 2. Does 4 divide f(3)?
False
Is 51 a factor of (-66)/88 - (2262/8)/(-1)?
False
Let y be (6/(-9))/(2/9). Does 2 divide y/(-15) + (-19)/(-5)?
True
Suppose -4*v + 9 = -3*v. Does 6 divide v?
False
Let b(d) = d**3 + 6*d**2 - 6*d - 4. Let a be b(-4). Let g be (2/1)/(2/(-26)). Let u = a + g. Is u a multiple of 13?
True
Suppose -4*u = u + 115. Let n be 0 + (-5)/(5/48). Let d = u - n. Is 15 a factor of d?
False
Let g be (1/2)/(4/40). Suppose 5*x - 105 = g. Is 9 a factor of x?
False
Let j(o) be the first derivative of o**7/840 - o**5/120 - o**4/6 - o**3/3 - 1. Let b(v) be the third derivative of j(v). Does 20 divide b(3)?
True
Is ((-33)/(-22))/(2/12) a multiple of 9?
True
Let b be 3/((-4)/(-2) - 1). Let m = b - 1. Suppose 3*g = -2*a + 79, 3*a + 2*a - 188 = m*g. Does 20 divide a?
False
Suppose -3*r + 150 = 5*i, i = 2*r + 8 + 22. Is i a multiple of 6?
True
Suppose 5*c = 5 - 0. Let w be (-1)/(-2)*1*18. Suppose 5*d - c - w = v, v + 2*d - 25 = 0. Does 6 divide v?
False
Suppose 2*l - 5*l + 15 = 0. Is 5 a factor of l?
True
Let d be (-1 + (-2 - -1))*-4. Suppose 0 = 4*z - 4*y - 0*y - d, 3*z - 27 = -4*y. Suppose z*q + 15 - 65 = 0. Is 4 a factor of q?
False
Is 1/((-3)/(-90)) + 0 a multiple of 8?
False
Let s = -7 + 26. Let z = 44 - s. Does 17 divide z?
False
Let k(n) = n**3 - 6*n**2 + 3*n + 3. Let v = -5 + 11. Does 21 divide k(v)?
True
Let i(o) = -o + 4 - o - 2*o + 4. Let v = 9 + -15. Is i(v) a multiple of 15?
False
Let g(u) = u - 8. Suppose -9 - 11 = -2*p. Let t be g(p). Suppose 14 = t*r + 4. Is 3 a factor of r?
False
Suppose 3*i - 7 = w, -5*w + 0*i + 5 = -5*i. Is 3 a factor of w?
False
Let i = 2 + -2. Suppose 0*z + z - 28 = i. Is 23 a factor of z?
False
Let j be 0/1 + 23 + -3. Suppose 3*n - 5*n = -j. Is n a multiple of 3?
False
Suppose 0*x + x = 12. Let w = 34 - x. Is w a multiple of 11?
True
Let m(s) = -s**3 - 2*s**2 - 2*s - 2. Let z be m(-2). Let u be 72/(-3)*(-2)/z. Suppose -3*q - u = -4*q. Is q a multiple of 12?
True
Let p = 15 - 1. Is 14 a factor of p?
True
Let g(w) = -w**3 + 7*w**2 - w + 3. Is g(6) a multiple of 6?
False
Let p = 9 + -5. Suppose -a = a - p. Suppose -b = -18 + a. Does 8 divide b?
True
Let y(v) = 65*v - 3. Let a be y(3). Suppose 3*j + a = 39. Does 17 divide (-3 + (j - -3))*-1?
True
Let j(i) = 2*i - 8. Let a be j(6). Let z = a + -10. Let g = z - -14. Does 4 divide g?
True
Let r(u) = u**3 - 8*u**2 + 9*u + 6. Let q be r(7). Let g be (0 - -3) + 0 + 1. Suppose q + g = 2*m. Is 12 a factor of m?
True
Let u(p) = -p**3 + 3*p**2 - 5*p - 2. Let a be u(4). Let f = a - -63. Is 9 a factor of f?
False
Let m(k) be the third derivative of k**7/630 + k**6/240 + k**5/120 - k**4/24 + 2*k**2. Let g(x) be the second derivative of m(x). Is 12 a factor of g(-3)?
False
Suppose l = -0*l + 2. Suppose l*q = -2*q + 308. Suppose 0 = 5*r - 173 - q. Is r a multiple of 18?
False
Let b be ((-18)/(-27))/((-4)/(-234)). Let a = -2 - -4. Suppose -f - a*f = -b. Is f a multiple of 9?
False
Let d = 143 + 254. Does 13 divide d?
False
Suppose 0*w = -2*w + 60. Suppose n = -4*f - 2 + w, -3*n + 30 = 3*f. Is 6 a factor of f?
True
Let z = 25 - 5. Is 4 a factor of z?
True
Suppose -4*k - 1 = -61. Does 15 divide k?
True
Let g(a) = a**2 + a - 3. Suppose 10 + 14 = 3*h. Suppose -s - m = -h, -2*m - 16 = -5*s - m. Does 8 divide g(s)?
False
Let g = -20 + 30. Does 5 divide g?
True
Suppose 0*u + 4 = 2*u. Let a = 8 - u. Is a a multiple of 3?
True
Let f(x) = -2*x**3 - 7*x**2 + 10*x + 8. Is f(-6) a multiple of 16?
True
Let w = 17 - -27. Is 4 a factor of w?
True
Suppose 5*u - 76 = -4*r, 3*r = -5*u + 23 + 29. Suppose 2*v = -2*j + 4, 2*j - 3*v = -v - 4. Let a = r - j. Does 15 divide a?
False
Suppose 9*w = 6*w + 87. Is 8 a factor of w?
False
Suppose -3*i - 3*h + 108 = 0, h = -0*i + 3*i - 100. Is 34 a factor of i?
True
Suppose b - f - 38 = -3*f, -96 = -2*b + f. Does 23 divide b?
True
Suppose -s = 5*w - 14, -4*s - 7*w + 40 = -3*w. Suppose 0 = 2*i - 19 - s. Is i a multiple of 7?
True
Let f(x) = -4*x**2 + 0*x**2 + 3*x**2 - 2 + 7*x. Let n be f(5). Let g = -3 + n. Is 4 a factor of g?
False
Suppose -5*f + 11 = -4. Let x(k) = k**2 + 4*k - 3. Does 18 divide x(f)?
True
Let u be (0 - 2)/(1/4). Let y = u - -14. Suppose -y = -3*b, -18 = -2*n + 2*b - 4*b. Does 3 divide n?
False
Suppose -2*d - 1221 + 4344 = 5*q, -3*d - 3 = 0. Suppose q = -0*r + 5*r. Does 7 divide 2/12 - r/(-6)?
True
Let d be (12*3)/(15/20). Suppose 5*r + 4*o = 2 + 47, -5*r = 3*o - d. Is 7 a factor of r?
False
Let r(f) = -34*f**3 - f**2 + f + 2. Is r(-1) a multiple of 28?
False
Let j be 4/(1 + 5/(-3)). Let l(w) = -13*w - 3. Let y be l(-3). Is 17 a factor of y*(-2 + (-20)/j)?
False
Let j(r) = r**3 + 6*r**2 + 2*r + 9. Let o be j(-6). Let l = o + -1. Let w = 6 + l. Is w a multiple of 2?
True
Let m be ((-6)/8)/((-1)/(-4)). Let s = m - -8. Is 3 a factor of (4/s)/((-2)/(-20))?
False
Suppose -4*b = -2*s + 26, -2*s + 5*b = -0*s - 30. Suppose -5*w - 5*r = -100, -w + s = -2*w + 4*r. Is 8 a factor of w?
False
Is 14 a factor of 1448/22 + (-30)/(-165)?
False
Suppose -9*w + 4*w = -65. Let f = w - -11. Is f a multiple of 24?
True
Let n be (-816)/(-104) + 2/13. Suppose -d - d = n. Is 0 + 2 + (-36)/d a multiple of 5?
False
Let j be (0/((-1)/(-1)))/1. Suppose 2*v + 3*v = -3*u - 43, j = -4*u - 4*v - 68. Let n = u + 37. Is n a multiple of 7?
False
Let k(v) = -2*v - 9. Suppose 2*z - 13 = 4*z - 5*f, -z = -4*f + 5. Is k(z) a multiple of 8?
False
Suppose -5*d = -3*o + 4*o - 16, -d = -4*o - 20. Suppose v + v = d. Suppose -v*h = -3*h + 45. Is 15 a factor of h?
True
Let a(m) = -m**2 + 3*m - 4. Let b(p) = -3*p**2 + 6*p - 9. Let o(z) = 7*a(z) - 3*b(z). Is o(4) a multiple of 16?
False
Does 14 divide 56 + (1 - -1 - 3)?
False
Let b(k) = k**3 + 5*k**2 - 7*k - 5. Let p be b(-5). Let g(c) = c**3 - 5*c**2 - 5*c - 7. Let r be g(6). Let z = r + p. Is 8 a factor of z?
False
Suppose -5*x = -3*x - 4*b - 28, 5*x + b = 26. Let v(w) = w**3 - w**2 + 5*w - 9. Let q be v(x). Suppose s + 3*p - 18 = 33, -3*s = -3*p - q. Does 23 divide s?
False
Let t(w) = -2*w - 11. Let j(v) = v + 11. Let c(k) = 3*j(k) + 2*t(k). Let q = -3 - -9. Is c(q) a multiple of 3?
False
Let k = 91 + -63. Is 11 a factor of k?
False
Let l be (28/(-6))/(4/(-6)). Let u = l + 23. Suppose 2*t = 26 + u. Is t a multiple of 14?
True
Let q = 2 - 2. Suppose q*d = -5*d + 3*j - 22, -3*d - 5*j = -14. Let v = 15 - d. Is v a multiple of 7?
False
Let q = 3 - 1. Suppose 5*j - q = 4*r, j - 6 = -0*r - 2*r. Suppose 4*i - r = 54. Is 7 a factor of i?
True
Suppose -4*a - g = -17, -5*g = -a - 3 + 2. Suppose a*f + 2*k - 28 = -f, -2*f + 4*k = -16. Is f a multiple of 3?
True
Let x(k) = -k - 1. Let a be x(-5). Let d(f) = -f**2 + 8*f + 1. Let n(h) = -4*h. Let o(m) = -2*d(m) - 5*n(m). Is o(a) a multiple of 23?
True
Let g(r) = r + 5. Suppose 2*m = -m + 12. Suppose -m*n - 3*s = -3, n + 5*s - 1 = 4. Does 5 divide g(n)?
True