 - 1. Let d be q(3). Let s = d + 13. Does 12 divide s?
False
Suppose 0 = v - 2*v + 1. Let c be (v - 0)/((-5)/(-25)). Suppose -c*t + 35 + 20 = 0. Is 11 a factor of t?
True
Does 15 divide 3282/30 - 6/(-10)?
False
Let f(r) = 2*r**2 + 2*r - 2. Let j be f(2). Suppose -j = 5*a - 130. Let n = 36 - a. Does 12 divide n?
True
Let b(u) = u**2 + u + 4. Let k be b(0). Suppose k*s - 2*s - 10 = 0. Suppose s*w - 78 = 2. Is 8 a factor of w?
True
Is 70*(-4 + -3)/(-6 + 4) a multiple of 14?
False
Let y = -158 + 327. Suppose x + m = -2*m - 4, 0 = x + 2*m + 1. Suppose x*b + 9 = y. Does 16 divide b?
True
Let k(t) = -6 - 3*t + 5 - 8 - t**2 + 2*t**2. Is k(-7) a multiple of 25?
False
Suppose -9*j + 8*j + 124 = 0. Is 31 a factor of j?
True
Suppose -2*z + 190 = 5*y - 0*z, -190 = -5*y + z. Does 13 divide y?
False
Let a be 2/2*(2 + 3). Suppose z = -0*z + 5*w + 33, -a*w - 185 = -5*z. Suppose 47 = 5*b - z. Is 5 a factor of b?
False
Let i be (24/(-4))/(3/(-16)). Does 6 divide (10/(-20))/((-2)/i)?
False
Let q(s) = 21*s**3 - 2*s - 1. Let u be q(-1). Let p be u/(-12) - 1/(-3). Is 10 - p*9/6 a multiple of 5?
False
Let c(n) = -1 + 1 + n**3 + 4 - 6*n - n + 6*n**2. Let w be c(-7). Suppose 2*s - 3*q = 2*q + 76, 0 = 2*s + w*q - 76. Does 19 divide s?
True
Suppose 3*u + 31 = 4*u. Is 6 a factor of u?
False
Let y be 19 + -3 + 6 + -2. Suppose -y = -2*b - 8. Is b a multiple of 2?
True
Suppose 0 = 3*k - 3 + 9. Let h(g) = 5*g. Let b be h(-1). Let i = k - b. Does 3 divide i?
True
Suppose -k - 8 = -a, 3*a + 14 = 2*k + 40. Let r(f) = -f + 9. Let c be r(a). Let q = c - -7. Does 6 divide q?
True
Is (-1251)/(-36) - 2/(-8) a multiple of 5?
True
Suppose 7 - 16 = -3*u. Suppose -5*v + j = -j - 195, -5*v - u*j + 220 = 0. Is 10 a factor of v?
False
Let b = -100 - -47. Let i be (-2)/(-2) + 164/2. Let v = i + b. Is 12 a factor of v?
False
Suppose -6*b = -5*n - 2*b + 5, -10 = -n - b. Suppose h - 12 = n. Is h a multiple of 8?
False
Let p(t) = t**3 - 7*t**2 + t - 43. Let u(j) = -3*j**3 + 20*j**2 - 3*j + 128. Let y(k) = 17*p(k) + 6*u(k). Is y(0) a multiple of 30?
False
Let b = -5 + 8. Suppose 2*t + 7 = b*r, 3*t + 3 = 5*r - 2*r. Is 4 a factor of t?
True
Is 27 a factor of 1896/10 + (-6)/10?
True
Let h(p) = 2*p**2 + 4*p - 5. Let j = -1 - 4. Is h(j) a multiple of 20?
False
Let s(g) be the third derivative of g**6/120 - g**5/60 - g**4/12 - g**3/2 - g**2. Let c be s(-4). Is c/(-27) - 4/(-18) a multiple of 3?
True
Let c(h) = h**2 + 2*h - 4. Let g be c(-4). Suppose -g*p + 4 = -k - k, 2*p - 2*k = -2. Suppose -p*u = u - 160. Is u a multiple of 20?
True
Suppose -4*x - x + 353 = 4*w, -w = -x - 77. Is 60 a factor of w?
False
Let u be ((-2)/(-5))/(2/(-10)). Let d be u + 8*13 - 3. Suppose -2*a + 3*o = -d, -2*o - 5 = 5. Is a a multiple of 21?
True
Suppose 2*o - o = 2. Is 511/14 - o/4 a multiple of 20?
False
Let w(n) = 25*n - 4. Does 22 divide w(6)?
False
Suppose -k = -5*h - 45, -4*k = h - 0*h - 96. Is 25 a factor of k?
True
Suppose -4*t = 3*s - 91, -2*s + 74 = -3*t + 2. Suppose -4*m + 11 + s = 0. Is m a multiple of 11?
True
Suppose 5*u + 1 - 11 = 0. Is u - 1 - 2 - -21 a multiple of 13?
False
Suppose -2*m + 3*f + 6 = 0, m = 3*m + 3*f - 6. Is 16 a factor of 33 + -3 + m + -1?
True
Suppose 25 = s - 0*b + b, -4*b + 31 = s. Is s a multiple of 10?
False
Let p(n) = -n**2 + 13*n - 14. Let w be p(11). Suppose 5*h + 58 = w. Is (-124)/h - (-8)/(-20) a multiple of 6?
True
Let s = -8 - -8. Suppose h - 3*h + 84 = s. Is h a multiple of 16?
False
Suppose -11 + 66 = 5*f. Suppose 0 = 4*a - f - 1. Is a a multiple of 3?
True
Let o(f) = -f**2 - 8*f - 9. Does 2 divide o(-4)?
False
Let u = 3 + 6. Is 9 a factor of u?
True
Let k(g) = -g**3 + 12*g**2 - 7*g - 8. Suppose 4 = -4*p, -p + 6*p = -t + 6. Is 12 a factor of k(t)?
True
Suppose 55 = -5*f - 20. Let q = f - -23. Is 2 a factor of q?
True
Suppose 0 = k - w - 2*w - 6, 0 = -2*k + 5*w + 10. Let t(p) = p**3 - p**2 + p + 7. Does 5 divide t(k)?
False
Let b be (1 - (-2)/3)*3. Suppose b*z - 48 = -w - 19, -z + 97 = 5*w. Is 11 a factor of w?
False
Suppose -2*n + 5*n = -5*m + 214, -4*n = -4*m - 264. Is 14 a factor of n?
False
Does 11 divide (-5 - -3)/((-2)/163)?
False
Let t = 17 - 6. Suppose t = -i + 27. Is 16 a factor of i?
True
Is 808/6 - -1 - (-29)/87 a multiple of 14?
False
Let r be (-8)/(-4) + 2 + 0. Suppose w + 3*g + 12 = -3*w, -r = -3*w + g. Suppose 3*p - 54 = -w*p. Is p a multiple of 11?
False
Suppose 5*z = -25, -2*g + 4*z + 110 = g. Does 8 divide g?
False
Let v = 7 - 10. Is 17 a factor of 23 + (-11 - v)/4?
False
Suppose 4*z - 90 = -4*m + 2*m, 2*z + 33 = m. Is 14 a factor of m?
False
Suppose 2*n + 5*q = 45, q = 2*n - 3*q - 18. Let l = n + -6. Is 10 a factor of (20/6)/(3/l)?
True
Let o(q) = q + 7. Let b be o(-5). Let v(t) = t + 2. Let r be v(b). Is 39 - (-3 + r + 0) a multiple of 19?
True
Suppose -o - o + 10 = 0. Suppose 4*u + 103 = 2*b + 39, 3*b - 99 = o*u. Is b a multiple of 19?
True
Suppose -5*r + 20 = -r. Suppose -4*b = -r*b + 20. Does 20 divide b?
True
Let a(m) = -m**3 - 4*m**2 - 5*m - 1. Let i be a(-5). Let n = -12 + i. Is n a multiple of 17?
False
Let t(f) = f**3 - 5*f**2 - f + 14. Does 4 divide t(6)?
True
Let u(n) be the first derivative of -n**2 - n + 2. Let g be u(-2). Is (g - 0)*(-32)/(-12) a multiple of 5?
False
Suppose 343 = -9*z + 16*z. Is 2 a factor of z?
False
Let m = 12 - 10. Suppose -3*n = -2*b + 54, 0*b - m*n = 2*b - 44. Is b a multiple of 8?
True
Let l(q) = 5*q - 7. Let w(v) = 9*v - 14. Let n(u) = -5*l(u) + 3*w(u). Let j be n(5). Suppose -j*r = -1 - 5. Is r even?
True
Suppose 7*p + 380 = 12*p. Suppose 3*w = 32 + p. Is 9 a factor of w?
True
Let m = 55 - -17. Is m a multiple of 24?
True
Let s(f) = -6*f**2 + 4*f**3 + f**2 - 7 - f - 5*f**3. Let g(k) = -k**3 + 14*k**2 - 13*k - 6. Let r be g(13). Is s(r) a multiple of 15?
False
Let n(p) = p - 4. Let s be n(8). Suppose 12 + s = 4*h. Suppose -h*q = -7*q + 126. Is q a multiple of 12?
False
Let l = -9 + 10. Let o = l - -45. Is 15 a factor of o - ((-6)/3 + 4)?
False
Let a = 5 + -2. Suppose 68 = a*b - 94. Is b a multiple of 19?
False
Let z(u) = 2*u - 1. Let r be z(-5). Let c = 3 - r. Is 11 a factor of c?
False
Let p(t) = 2*t**3 - t**2 - 2*t - 1. Let s(n) = -n**2 - 4*n - 3. Let c be s(-2). Let b be 3/c - (-1 + 1). Is 14 a factor of p(b)?
False
Suppose -94 = -4*q - 22. Suppose 4*z - q = -w, -z = 3*w + z - 54. Does 13 divide w?
False
Let o(c) = -c**3 + 5*c**2 + 4*c - 2. Let y be o(4). Suppose 2*x + 3*x = -3*i + 18, 5*i = 3*x + y. Does 4 divide i?
False
Let j(g) = g**3 - 8*g**2 + 8*g - 1. Suppose -m + 3 + 10 = -3*y, 5*y = -3*m + 11. Is 2 a factor of j(m)?
True
Let c be 2/((-4)/(-2)) - -5. Suppose 2*p - c - 18 = 0. Let q = p - 4. Is 8 a factor of q?
True
Suppose -18 = -5*i - 93. Let v = i + 33. Is 18 a factor of v?
True
Let u = -13 - -16. Suppose 0 = -b + u*b - 2*w - 4, -2*w = b - 17. Is b a multiple of 6?
False
Let u(g) = g + 8. Let y be u(-4). Suppose 3*x = -3*s + s + 70, y*s - 100 = 4*x. Suppose -2*d + 0*r + 20 = -2*r, -2*r - s = -3*d. Does 9 divide d?
True
Let t be -1 - (-3 + 3 + 30). Let m = t + 15. Let r = 20 - m. Is r a multiple of 12?
True
Let c(t) = -t**3 - 6*t**2 - 5*t + 4. Is c(-5) a multiple of 2?
True
Suppose 0 = n + n - 610. Let q = n - 181. Is 14 a factor of 2/9 + q/9?
True
Suppose 4*w + 5*y - 181 = 0, w - 6*w = 2*y - 205. Does 14 divide w?
False
Let d(t) be the first derivative of t**2/2 + 11*t - 3. Let w be d(-9). Suppose 4*q - 104 = 4*c, -w*q + 51 = -3*c - 5. Is q a multiple of 8?
False
Let d(p) = -p**2 - 6*p - 4. Suppose 0*b = 3*b + 9. Let z be d(b). Suppose 55 = 3*i + 2*i + z*w, 37 = 3*i + 5*w. Is i a multiple of 4?
False
Let a(w) = -w**3 + 4*w**2 - 2*w + 2. Let n be a(3). Suppose n*q - 5*u = 297 + 28, 0 = 3*q + 3*u - 165. Does 18 divide q?
False
Let g(w) = w - 2. Is g(6) a multiple of 2?
True
Suppose -3*f + 4*f = 0. Suppose f = -6*h + 8*h - 84. Is h a multiple of 14?
True
Let y(a) = -14*a**3 + 2*a**2 + a + 2. Is 20 a factor of y(-2)?
True
Is 8 a factor of (47 + -1)/((-2)/(-8))?
True
Suppose -3*v - 3 = 3*l, 10 = 2*v - 2*l - 4. Suppose 6*r = v*r + 24. Is 4 a factor of r?
True
Let x be 2/8 - (-77)/28. Suppose x*v - 1 = 5. Suppose 30 + 38 = v*f. Is 15 a factor of f?
False
Let j(f) = 3*f + 3. Let u be j(-2). Let i be (-2)/u*36/(-8). Let t = 6 + i. Does 2 divide t?
False
Let b(o) be the third derivative of -3*o**4/4 - o**2. Let s b