of 25?
False
Let h = -18 + 7. Let u(q) = q**2 + 11*q + 9. Is 7 a factor of u(h)?
False
Suppose 5667 + 1821 = 26*n. Is 48 a factor of n?
True
Let q(v) = 5 + 13*v - 5*v - 4 + 5*v. Does 20 divide q(6)?
False
Let m(z) = 2*z**2 - 3*z + 2. Let g be 3/((-1)/(4/(-6))). Let r be m(g). Suppose -r + 92 = 4*w. Does 22 divide w?
True
Let w be 3/(-1) + 2 + 3. Suppose -2*z + 2 + w = 0. Is 2 a factor of z?
True
Is 3*(-1 + (1 - 935/(-15))) a multiple of 24?
False
Let i = 23 - 10. Does 2 divide i?
False
Let h(b) = b + 2. Let r(q) be the third derivative of q**4/24 + q**3/2 - 2*q**2. Let m be r(4). Is h(m) a multiple of 3?
True
Let h(q) = -q**2 + 9*q + 5. Is h(5) a multiple of 25?
True
Is 17 a factor of (-236)/(-7) - (-12)/42?
True
Suppose -2*u - u + 944 = 5*i, -952 = -5*i + u. Is i a multiple of 41?
False
Let n(a) = a**3 + 9*a**2 - 11*a + 14. Does 8 divide n(-10)?
True
Let c(y) be the third derivative of 11*y**5/30 - 3*y**2. Let t be c(-1). Suppose 0*o - 4*o = -2*l - t, -2*l - 19 = -3*o. Is 2 a factor of o?
False
Suppose 5*i + 3*f - 33 = 31, -66 = -5*i - 2*f. Is 4 a factor of i?
False
Let o = 99 - 64. Is o a multiple of 10?
False
Let u(s) be the second derivative of s**5/20 + s**4/12 + s**3/6 + 25*s**2 + 4*s. Is 25 a factor of u(0)?
True
Let a(m) = -8*m - 3. Suppose 4*w = -4*u, -4*u + 0*w - 4 = 2*w. Is a(u) a multiple of 13?
True
Let n(c) = 15*c - 1. Let r be n(1). Let t = 8 + r. Is 10 a factor of t?
False
Suppose -5*j + w + 654 = 0, 0*j + 3*j = 2*w + 398. Is 13 a factor of j?
True
Suppose 1 + 1 = g + 3*y, -19 = -4*g - y. Suppose -48 = -3*u - 3*d, -g*u - 3*d = -50 - 36. Is u a multiple of 19?
True
Let t = -55 + 85. Suppose -5*q = -3*q - 2*p + t, 0 = -4*p + 4. Is (q/(-2) - 2)*4 a multiple of 10?
True
Let j be (1/2)/(2/4). Let b = j - 5. Is (-14)/b*(2 + 0) a multiple of 3?
False
Is 29 a factor of 28*4/48*93?
False
Suppose -2*m + 75 = -0*m + 5*q, 2*q = -5*m + 156. Is 15 a factor of m?
True
Is -4*5/(50/(-235)) a multiple of 17?
False
Let y(o) = -o**3 - 4*o**2 + 4*o - 1. Suppose 4*i - 6*i - d = 13, -3*i + 4*d - 3 = 0. Does 4 divide y(i)?
True
Let u(v) = -31*v - 5. Let c be u(-2). Suppose -159 + c = -2*k. Is k a multiple of 15?
False
Does 18 divide 24*((3 - (-28)/8) + -2)?
True
Suppose -3*w = 2*o - 3*o + 35, -5*o = 2*w - 158. Is (10/4)/(2/o) a multiple of 20?
True
Suppose 2*x = -0*x + 4. Suppose a = x*a. Suppose -17 = -2*q - a*l - l, -2*l = -4*q + 38. Does 3 divide q?
True
Let n(i) = i**3 + 5*i**2 + 3*i - 4. Let k be n(-4). Suppose -2*s = -k*s - 20. Suppose 2*c - s = 0, p - c - c - 8 = 0. Is p a multiple of 9?
True
Suppose -5*u - 4*r + 0*r = -39, 0 = -2*u - 5*r + 19. Suppose 0 = 3*f + k - 86, -4*f + 2*k = u*k - 122. Suppose 3*s = s + f. Is 14 a factor of s?
True
Let j = 17 + -8. Let b be (-2)/((j/6)/3). Let y(a) = -a**2 - 10*a - 2. Is 11 a factor of y(b)?
True
Let z = -109 + 160. Let w = z - 15. Is w a multiple of 18?
True
Let m(x) = 4*x + 18. Is 14 a factor of m(8)?
False
Let q(a) = a**2 - 11*a + 3. Let m be q(9). Let o = m + 30. Is 9 a factor of 340/o - 2/(-6)?
False
Suppose 6*s - 96 = 126. Is 37 a factor of s?
True
Let t(d) = -2*d**3 + d**2 - d - 3. Is t(-2) a multiple of 9?
False
Let p be 2/8 - (-23)/4. Let q = p - 4. Suppose 0 = -q*b + 3*y + 6, 3*y - 8 = y. Is 4 a factor of b?
False
Let f(v) = v**2 - 11*v + 14. Let d be f(10). Suppose 0*c - d = -c. Suppose 21 = 4*n - t, 0 = c*t - 11 - 1. Is n a multiple of 3?
True
Suppose -2*v - o = -154, -3*v + 5*o + 416 = 159. Let x = -47 + v. Does 16 divide x?
True
Suppose -70 = 6*w - 13*w. Is 5 a factor of w?
True
Let i be (-2)/(-7) - 30/7. Let s = 8 + i. Suppose s = -g + 2, -5*b + 2*g + 44 = 0. Does 4 divide b?
True
Does 54 divide ((0 - 2) + -118)*(-18)/5?
True
Suppose 2*o = 0, 0 = -j + 2*j + 5*o - 28. Let l = j - 12. Does 6 divide l?
False
Let v be 5*2 + (-1)/1. Let r(j) = j**3 + 9*j**2 - 15*j - 1. Let w be r(-10). Let x = w - v. Is 14 a factor of x?
False
Let x = 16 + 2. Is x a multiple of 5?
False
Let h = 1 - 6. Is 16 a factor of (-3 + h)/((-2)/11)?
False
Let c = 36 - -36. Is c a multiple of 24?
True
Let b = -6 + 9. Let n be (-3 + 7/b)*-33. Suppose -q + n = -6. Is 15 a factor of q?
False
Suppose -2*l = -5*k + 2*l + 151, k - 2*l - 35 = 0. Is 9 a factor of (k - 3 - 0) + -2?
False
Let m = -9 + 10. Let q be m/1 + (4 - 3). Suppose -q*h + d = -d - 18, -d = 3*h - 7. Does 4 divide h?
True
Suppose 0 = 2*p - 2, x = 5*p + 16. Does 3 divide x?
True
Suppose 24 = q + y, 3*q - 6*q = -5*y - 56. Let x be 10/55 - 4/q. Suppose -5*m = -3*s + s - 92, x = -5*m + s + 91. Is 14 a factor of m?
False
Let g(s) = 8*s - 3. Let r be g(2). Suppose 8*c - 3*c = -20. Let b = r + c. Does 9 divide b?
True
Let m = 73 + -17. Is 8 a factor of m?
True
Suppose 12 = 3*p - 4*m, 3*p - 3*m - 12 = -m. Suppose p*x - 9 - 131 = -3*y, y = x - 35. Suppose -4*i - 3*j + 26 = -x, i = 3*j + 19. Does 11 divide i?
False
Is 12 a factor of (12/(-5)*1)/(4/(-80))?
True
Suppose 4*g - 292 = 8*g. Let s = -31 - g. Is s a multiple of 14?
True
Suppose 3*c - 28 = 2*j - 6*j, 4*j = 5*c - 68. Is c a multiple of 6?
True
Let d = 16 - 11. Let i = 228 - 112. Suppose -3*s + i = d*q, 5*s - 226 = -q - 40. Is s a multiple of 14?
False
Does 9 divide (-1)/((8/54)/(-4))?
True
Let c = 17 + -14. Suppose 8*z - 20 = c*z. Is 3 a factor of z?
False
Let g be (-1)/(3 - 39/12). Suppose g*n - 2*k + 122 = 8*n, 2*n - 31 = 5*k. Is 14 a factor of n?
True
Let k = -3 + 5. Suppose -k*r + 1 = -15. Is r a multiple of 3?
False
Let q be (-10)/(-3)*(1 - 13). Let v be q/(-3) - 2/(-3). Suppose 0 = -5*k + 2*w + 58, 3*k - v = w - 5*w. Is 6 a factor of k?
False
Let g(y) = -y**2 - 13*y - 15. Is g(-9) a multiple of 7?
True
Let x = 19 - 0. Is x a multiple of 4?
False
Let l be 2/(-5) + (-317)/(-5). Let j = -28 - -3. Let p = j + l. Does 19 divide p?
True
Let p = 146 - 99. Does 7 divide p?
False
Let f be 123 - (9/3 + 0). Suppose 0 = -5*r - 0*r + f. Does 6 divide r?
True
Let d be (-4)/8 - (-209)/2. Suppose -4*a = -d + 40. Is 3 a factor of a?
False
Let s(n) = -3*n + 15. Is s(-7) a multiple of 4?
True
Suppose 4*h = h + 24. Let l = h - 3. Suppose -d + 0*d + l = 0. Is 3 a factor of d?
False
Let k = 91 - 147. Let s = 79 + k. Let g = s + 21. Does 17 divide g?
False
Let j be (-2 + 3)/(2/(-4)). Let n(v) = 3*v**2 - 3*v - 1. Let k be n(j). Is (-6)/(-3)*k/2 a multiple of 17?
True
Let n(i) = 9*i - 48. Let q(y) = -y**3 - 3*y**2 + 4*y - 4. Let g be q(-4). Let r(a) = a - 6. Let v(b) = g*n(b) + 33*r(b). Is 7 a factor of v(-8)?
False
Let t(w) = -76*w - 4. Let b be t(-4). Suppose -4*m + b = -m. Suppose -4*z + m = -20. Is z a multiple of 13?
False
Let z be -1*(1 + 1) - -5. Suppose -z*s - 39 = -6*s. Is s a multiple of 11?
False
Suppose -3*q - 1 = -5*v - 11, -5*q + 5*v + 20 = 0. Suppose -3*d = t - 26, -38 + 4 = -3*d - q*t. Let f = -1 + d. Is 7 a factor of f?
True
Let t = 134 + -86. Let d = 84 - t. Suppose -h = 3*h - d. Is h a multiple of 6?
False
Suppose 0 = 2*z - 0 - 4. Suppose z*q - q - 5 = 0. Is q a multiple of 2?
False
Let t(d) = d**2 - 3*d + 2. Let z be t(3). Suppose 30 = 4*l - 3*l + 3*b, l - 10 = z*b. Is l a multiple of 17?
False
Let o(s) = s**3 + 6*s**2 - 8*s + 10. Let z(c) = c**3 + 6*c**2 - 9*c + 10. Let t(d) = -6*o(d) + 5*z(d). Is 4 a factor of t(-7)?
False
Let c be 172/5 - (-2)/(-5). Suppose -4*t - 9 - 55 = 0. Let y = c + t. Is 11 a factor of y?
False
Let g be -3 - 2/(-3)*3. Let j be -2 - g - 220/(-4). Suppose 0 = -2*b + j + 12. Does 11 divide b?
True
Suppose 3*l - 1158 + 282 = 0. Suppose 5*p = -5, 3*f = -0*f + p + l. Is 28 a factor of f?
False
Is 24 a factor of (-1837)/(-11) + (0 - -1)?
True
Let r(i) = 9*i - 6. Suppose -b = 4*b + q + 63, -48 = 5*b - 4*q. Let y = 17 + b. Does 20 divide r(y)?
False
Let y be ((-3)/2)/((-6)/248). Suppose y = 3*x - 58. Suppose 3*i + 5*t = x, -4*i + 6*i - 26 = -4*t. Is 7 a factor of i?
False
Let t(l) = -5*l**3 - l**2 - 2. Let w be t(-2). Suppose w = 5*s - 6. Is s a multiple of 4?
True
Let m be 0 - (8 - 2/2). Let x = 17 + m. Is 10 a factor of x?
True
Let l = 3 + 0. Let s(n) = 13*n - 6. Is 11 a factor of s(l)?
True
Let z = 1 - -3. Suppose 0*b - z*j + 65 = 5*b, -4*j = 0. Let u = 22 - b. Is u a multiple of 7?
False
Suppose 0 = 2*a - 4*a + 64. Is 8 a factor of a?
True
Let y(v) = -v**3 + 3*v**2 + 5*v - 3. Let p be y(4). Suppose h - p = -n, -4*n - 4*h + 9 = n. Is n even?
False
Let v(r) = r**2 - 4*r + 2. Does 8 divide v