Suppose 0*b + 20 = -2*b + 4*o, -4*o = 4*b + 40. Let m = b + 15. Suppose m*l = 83 + 57. Does 15 divide l?
False
Let k(y) = y**2 - 3*y - 4. Let g be k(4). Let v = 0 + 2. Let r = v - g. Is 2 a factor of r?
True
Suppose h = -5*k - 2, -2*k - 4 = -k + 2*h. Let y = 1 - k. Does 16 divide (4 - 2)*8/y?
True
Suppose 2*c - 16 = -l + 64, 2*c = -6. Is l a multiple of 43?
True
Let w(f) be the second derivative of f**3 - f**2/2 + 2*f. Let m be w(1). Suppose 5*p + 0*x = m*x + 110, 4*p - 92 = 3*x. Is p a multiple of 13?
True
Let p(k) = 212*k - 1. Let j be p(4). Let c be j/7 + 3/1. Suppose -2*h = -5*d - c, -d + 64 - 237 = -3*h. Does 19 divide h?
True
Suppose -z - 14 = 4*w, 4 - 19 = -5*z - 3*w. Is 2 a factor of z?
True
Suppose 5*r + 3*c - 463 = 0, 495 = 5*r - 6*c + c. Does 19 divide r?
True
Suppose o + 3 - 10 = 0. Suppose 4*w - 21 - o = 0. Does 6 divide (-62)/(-8) - w/(-28)?
False
Does 13 divide 20/(-35) + 744/28?
True
Let z be 10/((5 - 3)/(-4)). Is 19 a factor of (-16)/(68/z - -3)?
False
Suppose 3*h + 2*p = -2*p - 8, -2*h - 2 = p. Suppose h*s = -4*s + 264. Suppose 3*y + 4*z = 37 + s, -35 = -y - z. Is 21 a factor of y?
False
Let s = 4 - 43. Let x = s + 69. Is 15 a factor of x?
True
Suppose 0 = 5*j + m + 7 - 19, j - 6 = -2*m. Let k(l) = -j + 25*l + 1 + 2*l. Is 14 a factor of k(1)?
False
Suppose -11 = 4*x - 3. Let k = -6 - x. Let h(u) = -u**3 - 2*u**2 + 6*u + 6. Is 5 a factor of h(k)?
False
Let k be (-53)/(-2) + 2/(-4). Let a = k + -8. Is 7 a factor of a?
False
Suppose -10 = 5*c - 65. Does 2 divide c?
False
Let k be 3 - -58*(-2)/(-4). Let d = k + -5. Is 7 a factor of d?
False
Let t(w) = w**3 + 8*w**2 - 3*w - 3. Is 29 a factor of t(-5)?
True
Let n be 6/(-4) - 6/(-4). Suppose 0*i - 2*i - 12 = n. Let a = 8 - i. Is 7 a factor of a?
True
Suppose -3*l + m + 66 = 4*m, 4*l - 4*m - 48 = 0. Let p = l - 10. Is 7 a factor of p?
True
Let k be 2/4 - 3*45/(-54). Let j = 6 + -12. Does 12 divide j/k*(-24)/2?
True
Let c(i) = i**2 - 6*i + 5. Let j be c(5). Suppose 0 = -3*m - q + 29, j*m + q - 19 = -2*m. Is 10 a factor of m?
True
Let w = 13 - 7. Suppose 0 = -2*g - a - 112, 3*g - 2*a = -w*a - 163. Let m = g - -81. Is 8 a factor of m?
True
Suppose y - 68 = -y. Is 17 a factor of y?
True
Let m(l) = l**3 - l**2 - l. Let o be m(2). Suppose a = 2*b - 34, -o*a = 4*b - 28 - 24. Is 5 a factor of b?
True
Let v = 806 + -523. Is v a multiple of 13?
False
Suppose -3*v - 4*c = -429, 0*c - 143 = -v + 2*c. Is 26 a factor of v?
False
Let r = 0 - 2. Suppose 4*l - 4 = 8*l. Is 2/(r*l/18) a multiple of 6?
True
Let s(b) = -b**3 + b**2 + 4*b + 5. Let l be s(4). Let u = 38 - -13. Let o = u + l. Is 10 a factor of o?
False
Let p(m) be the second derivative of m**5/20 + 5*m**4/6 + 3*m**2/2 - 2*m. Does 3 divide p(-10)?
True
Let h be (-3)/((-9)/159) + -3. Let n = h + -23. Is n a multiple of 7?
False
Let u(d) = -d**2 - 6*d - 1. Let j be u(-5). Suppose v + j*v = -155. Let w = 58 + v. Is 18 a factor of w?
False
Suppose 0 = i - 2 + 4. Is i + (-1)/((-3)/90) a multiple of 14?
True
Suppose 0 = 5*v + 4*n - 252, -3*n = -4*v + 49 + 134. Is v a multiple of 24?
True
Let a be (-2)/8 - (-105)/(-12). Let q = 23 - a. Is q a multiple of 14?
False
Suppose -79 = -n + 56. Does 18 divide n?
False
Let b = -93 - -178. Is b a multiple of 17?
True
Let k = 6 + -3. Suppose -k*h = 2*h - 65. Does 11 divide h?
False
Let z = -85 - -139. Does 3 divide z?
True
Suppose -4*h - 104 = -4*b - 0, 0 = -3*b - 4*h + 71. Suppose b = 5*i, -4*i - 4 = l - 3*l. Let c = 21 - l. Is 9 a factor of c?
True
Suppose w + 6372 = -3*w. Is ((-4)/6)/(18/w) a multiple of 18?
False
Suppose 15 = 4*n - 3*y - 2, -4*n = 4*y + 4. Let r be (n/3)/(-2)*0. Suppose r = -z - q + 36, 2*q - 5*q - 12 = 0. Is z a multiple of 20?
True
Let m = -9 + 11. Suppose m*f + 2*f = 100. Is 15 a factor of f?
False
Does 11 divide (-6)/4*(1 + 596/(-12))?
False
Suppose m + l = 2*m - 14, 0 = -5*l - 10. Suppose 5*c - 5 - 2 = -2*d, -5*c + 27 = -3*d. Is 5 a factor of 18/m*10/c?
True
Is 21 a factor of 19/1 + 5 + (-7 - -4)?
True
Let p be 218/5 + (-10)/(-25). Suppose -2*j - 3*i = -63, -j + 4*i - p = -2*j. Does 20 divide j?
False
Let l = 0 + 2. Suppose 0 = 5*p - b - 5, 3 = 3*p - b + l. Suppose p*x = 3*x - 18. Is x a multiple of 8?
False
Suppose -75 + 12 = -3*j. Suppose -4*v + 173 - j = 0. Is v a multiple of 10?
False
Suppose -g - 6 = g. Let a be (g/6)/(1/26). Let p = 38 + a. Is p a multiple of 16?
False
Suppose 106 - 2 = t. Is t a multiple of 52?
True
Let y = 172 - 71. Does 16 divide y?
False
Suppose -r + 215 = 4*r. Is 18 a factor of r?
False
Let k(u) = u + 3. Let l be k(0). Suppose l*r - 3 = -2*s, 4*r - 2 = -2*s - 0*r. Does 2 divide s?
False
Let y = 95 - 55. Is y a multiple of 20?
True
Suppose 3*s - 10 = 3*d + d, 3*d + 22 = -5*s. Let h(k) = -5*k**3 - 4*k**2 - 4*k - 2. Is h(s) a multiple of 10?
True
Let q be (-1 - -1) + 5 + -1. Let o be ((-6)/9)/(q/(-78)). Let k = o + -3. Is 4 a factor of k?
False
Suppose -2*g = -0*g + 2. Let h be 6/4 + g/(-2). Suppose 22 - 6 = h*m. Is m a multiple of 4?
True
Let l be (-4)/14 - (-32)/14. Let u be 0/l + -2 + -22. Let g = u - -53. Does 13 divide g?
False
Let n = -66 + 141. Is 10 a factor of n?
False
Is 8 a factor of (-300)/(-38) + 20/190?
True
Let i = -2 - 5. Let v = i + 27. Is v a multiple of 5?
True
Let k(l) = 14*l - 4. Let s(p) = -21*p + 6. Let n(q) = 8*k(q) + 5*s(q). Let j be n(-3). Let r = j + 39. Does 6 divide r?
False
Let u(z) = -z**3 - 4*z**2 - 4*z. Let t be u(-3). Suppose -5*y = -5*s - 15, 3*s + t = 6*s. Suppose -2*w + y = -2. Does 3 divide w?
True
Let c(b) = b**2 + 13*b - 4. Does 2 divide c(-14)?
True
Suppose -q + 12 = -65. Is 7 a factor of q?
True
Let k = -3 + 55. Is k a multiple of 13?
True
Suppose -9*z + 10*z - 7 = 0. Suppose -r = -5*s - 32, -5*r - 5*s + 171 = 11. Suppose 3*k - r = z. Is k a multiple of 6?
False
Let y(k) = -k - 5. Let s be y(-7). Let w(z) = -z - 2. Let m be w(-4). Does 4 divide -1*m + 7 + s?
False
Is 108*((2 - -1) + -2) a multiple of 12?
True
Suppose 5*d = 6*d + 23. Let q be 266/(-6) + 8/(-12). Let v = d - q. Is v a multiple of 22?
True
Let s(z) = -z - 1. Let i be s(-1). Is (i/(-1) - 13)*-1 a multiple of 11?
False
Let h(f) = -f. Let k(j) = 7*j - 4. Let q(z) = -3*h(z) + k(z). Does 12 divide q(4)?
True
Suppose -1 - 24 = 5*g. Let q(b) = -b**3 - 5*b**2 - 2*b + 1. Is q(g) a multiple of 11?
True
Let a(r) = -r**2 + 2*r + 3. Let m be a(3). Suppose -33 = -v - m*v. Is v a multiple of 13?
False
Suppose -3*a = -9, -4*o + 3*a = -8*o + 145. Suppose -3*s - 4*d = -2*d - o, s + 2*d - 14 = 0. Is 10 a factor of s?
True
Suppose y - 34 = -5*w, y + y - w - 13 = 0. Does 4 divide y?
False
Suppose 0 = 3*b - b - 4. Is 14 a factor of b/(-6) + (-172)/(-12)?
True
Let j(i) = i - 2. Let y be j(4). Let b(l) = 27*l**2 + 0*l + 3*l**y - 1 - 2*l + 4*l. Is 12 a factor of b(1)?
False
Let s(n) = 30*n**2 + n - 5. Does 13 divide s(2)?
True
Let m(p) = p**2 + 2*p + 56. Is 14 a factor of m(0)?
True
Suppose -5*v - 22 = -137. Is v a multiple of 5?
False
Let q(p) = -p**2 + 19*p - 18. Suppose 5*x - 2*x + 2*h - 44 = 0, 4*x - 58 = -2*h. Does 19 divide q(x)?
False
Suppose -o + 118 = 1. Let p = o - 71. Is p a multiple of 12?
False
Let f(v) = v**3 + 8*v**2 + 7*v + 4. Let y be f(-7). Suppose 0 = y*d - 16, 2*p - d + 3*d - 26 = 0. Is 2*1/6*p a multiple of 2?
False
Let z(x) be the third derivative of x**4/12 + 5*x**3/3 + 5*x**2. Is z(5) a multiple of 10?
True
Suppose 3*v = -v + 8, 2*i + 2*v = 30. Is 13 a factor of i?
True
Suppose -3*a + 87 = 3*n, -3*a + 4*a - 5*n - 41 = 0. Does 5 divide a?
False
Let z(o) = -56*o**2 - 4*o. Let d(i) = -37*i**2 - 3*i. Let s(h) = 7*d(h) - 5*z(h). Is s(2) a multiple of 22?
False
Suppose 0 = -0*l + 8*l - 424. Is 4 a factor of l?
False
Let m be 30/(3 + -1) + -1. Let w = 22 + 1. Let l = w - m. Is l a multiple of 9?
True
Let u(b) = -b**2 - b + 128. Let k be u(0). Let o be 2/(-6) - k/(-6). Is 7 a factor of (o + -1)*(-12)/(-15)?
False
Let f(d) = 20*d. Is f(2) a multiple of 4?
True
Is (-338)/(-6) - 3/9 a multiple of 27?
False
Let u = 37 + -35. Suppose c = 6*c - 130. Suppose k + 0 - u = 0, -5*b + c = -2*k. Does 6 divide b?
True
Is (6 - 1)*38/5 + -3 a multiple of 10?
False
Suppose -n + 16 = -1. Is 8 a factor of 4/3*(4 + n)?
False
Is (-2*15/24)/(1/(-72)) a multiple of 18?
True
Suppose -2*z - z + 198 = 0. Is z a multiple of 11?
True
Suppose 0 = -4*s - 2*s + 210. Is s a multiple of 2?
