. Does 17 divide g?
False
Is 6 a factor of (-33)/22 + 87/2?
True
Let s = -13 - -16. Is 15 a factor of 2/(1 - s) - -64?
False
Suppose -5*s = -5*i + 91 + 39, 4 = 2*i. Let r = s - -48. Is r a multiple of 8?
True
Suppose -p - 1 = -13. Is 12 a factor of p?
True
Let c = 91 - 74. Is 2 a factor of c?
False
Suppose 0 = -5*a - 0*x - x + 30, -x - 10 = -3*a. Let c = a + 1. Let u = 13 + c. Is 10 a factor of u?
False
Suppose 6*v + 2*v - 2560 = 0. Does 16 divide v?
True
Suppose -2*y = 2*h - 14, -h + 3 = -y - 0*y. Suppose -h - 3 = 4*x. Is 5 a factor of 26/4 + x/4?
False
Let v = 8 - 13. Let y be v/15 + 169/3. Suppose -4*c = -2*c - y. Does 12 divide c?
False
Let n be (-2 + 1)/((-1)/6). Let b = 20 - n. Does 5 divide b?
False
Suppose -4 = g - 56. Does 26 divide g?
True
Let o(u) = -u**2 + 8*u + 6. Does 10 divide o(7)?
False
Let z(j) = 4*j**3 + 3*j - 7*j**2 + 3*j - 3*j**3 + 4. Let a be z(6). Suppose -a*n + 219 - 39 = 0. Does 15 divide n?
True
Suppose -6*x = -85 - 5. Does 6 divide x?
False
Let k be 6/(-9) - 123/(-9). Suppose 5 = -a + k. Is 3 a factor of a?
False
Let y = 81 + -207. Let d = y + 178. Is 13 a factor of d?
True
Suppose 50 = 2*h - 10. Suppose -2*w = -5*g + 2*g + 11, -h = -5*g + w. Suppose 9 = 3*i, 2*i = 3*x - 2 - g. Is 2 a factor of x?
False
Let x be 5*(1 - 2/5). Suppose -5*h + 6*a = 3*a - 71, 4*a = x*h - 47. Is h a multiple of 10?
False
Suppose -28 = -4*z + 5*y, 4*z + 0*z - 12 = y. Let c(a) = z*a - 2 + 3*a - 5. Is 9 a factor of c(5)?
True
Let a = 214 - 165. Is a a multiple of 7?
True
Let b(x) = 11*x**2 + 4*x - 7. Let g be b(-4). Suppose -4*h + g = -h. Is h a multiple of 17?
True
Suppose -3*v = -0 + 3. Let c(t) = -6*t**3 - t**2 - t. Does 3 divide c(v)?
True
Let b(w) = -w**2 - w - 1. Let k be b(-2). Is 14 a factor of (-2 + (k - 3))*-4?
False
Suppose -2*i - i = 2*a - 7, 4*i - 5*a = 17. Suppose k - i*u + 7*u - 17 = 0, 2*k = 3*u + 1. Is 2 a factor of k?
False
Let z(x) = -3*x**2 - 3*x + 2. Let d(a) = -a**2 + 1. Suppose -2*m + 4*m + 5*y = 33, 5*m + 3*y = 35. Let f(v) = m*d(v) - z(v). Is f(2) a multiple of 4?
True
Let r(m) = -m**2 - 8*m. Let g be r(-8). Suppose u = -g*u + 18. Is 9 a factor of u?
True
Suppose -4*c - 3*z = -0*c - 7, 4*c - 25 = 3*z. Let w be 138/3 - c/(-2). Let g = -25 + w. Is 16 a factor of g?
False
Let r(u) = -15*u**3 - u**2 + 1. Let k(a) = a - 10. Let o be k(9). Does 7 divide r(o)?
False
Suppose 5*f + 8 = 28. Is 3 a factor of (14/f)/(9/18)?
False
Let x = 116 - -156. Is x a multiple of 18?
False
Let w be (-1 - -1) + -1 + 2. Does 8 divide -2 + (-1 - w) + 18?
False
Let a(o) = 2*o**2 - 4*o. Is 16 a factor of a(-4)?
True
Does 6 divide 9 + 12/4 + 0?
True
Let h(x) = x + 4. Does 9 divide h(5)?
True
Suppose 10*s - 80 = 9*s. Is 14 a factor of s?
False
Suppose -2*q - 5*p + 79 = q, -q + p = -37. Suppose 3*u - 3*v - q = 0, -5*u - v = 2*v - 39. Does 14 divide (-5 - u)/(1/(-2))?
True
Suppose 3*z + 2*z = v + 72, v - 78 = -5*z. Suppose 3*t + z = 4*t. Is t a multiple of 5?
True
Suppose 2*l - 150 = -3*m, -m - 4*m = 4*l - 296. Is 13 a factor of l?
False
Let h(k) be the third derivative of k**5/60 - k**4/24 + k**3 + k**2. Let a(s) = s**2 + 5*s + 5. Let v be a(-5). Is h(v) a multiple of 11?
False
Suppose -4*b + 10 = 2. Let g(r) = 6*r**3 - 2*r**2 + 4*r - 3. Is 15 a factor of g(b)?
True
Let x = -5 + 7. Suppose 41 = p + g, -10 = -x*g - 0. Is 11 a factor of p?
False
Suppose -5*x + 135 = -0*x. Does 10 divide x?
False
Let d = 0 - -2. Suppose -3*k = d*m - 77, -4*k = -5*k - 5*m + 30. Is k a multiple of 23?
False
Let h = 7 + -5. Let k(z) = -z**3 + 4*z**2 - 3*z. Let t be k(h). Is 10 a factor of 19/2 + t/4?
True
Let f = -94 + 145. Does 15 divide f?
False
Let b(k) = -k**3 + 5*k**2 - 4*k. Let r be b(4). Suppose r = -3*s + 3*h + 63, 0 = 4*s - 2*s - h - 38. Is s a multiple of 17?
True
Let c(s) = s**2 - 2*s + 6. Let n(k) = -k**2 - 5*k + 2. Let v be n(-4). Does 15 divide c(v)?
True
Suppose -6*g + 1 + 623 = 0. Is g a multiple of 13?
True
Let h = -5 + 116. Is 21 a factor of h?
False
Let s be (1/(-3))/((-10)/(-60)). Let v(c) = -13*c**2 + 2. Let n be v(-2). Is 5 a factor of (s/(-5))/((-2)/n)?
True
Suppose -3*v + 4 = v. Let s(t) = t**2 + 2*t - 1. Let n be s(v). Suppose -3*c + 25 = n*c. Is 5 a factor of c?
True
Let s be 4/20 - 14/(-5). Suppose 6*x + 5*j - 3 = 5*x, -s*j + 9 = x. Suppose 4*u + 0*u - 3*o = 53, u - x = -4*o. Is u a multiple of 14?
True
Suppose 3*a - 4 = -19. Let m be 0/2 - (a + -7). Is 14 a factor of (-2 + m/9)*-21?
True
Let c = 21 + 16. Let t = c - 1. Is t a multiple of 6?
True
Let a be (-28)/2 - 3 - 3. Let n = 53 + a. Is n/9*(7 - 1) a multiple of 7?
False
Let d = -7 - -11. Suppose 4 = -d*y + 12. Suppose 3*r - 14 = y*r. Does 7 divide r?
True
Suppose 4*b + 0 = -24. Let i be (-9)/b*2 + -3. Suppose 3*j + d - 11 = i, 3*j - d - 15 = 2*d. Is j even?
True
Is 1/1 - (-6 + -35) a multiple of 7?
True
Let c = 41 + 171. Does 43 divide c?
False
Let a = 27 - 25. Suppose 3*i = -5*v + 63, 42 = a*v - 4*i + i. Does 15 divide v?
True
Suppose -2*x + 215 = 3*x + 2*k, -5*x + 225 = 4*k. Does 15 divide x?
False
Suppose 4*n = 7*n. Suppose -d = -4 - n. Does 2 divide d?
True
Let u(y) = -y**2 - 6*y + 4. Let q be u(-6). Suppose -27 = -q*b + 5. Is b a multiple of 4?
True
Let g(w) = -6*w + 6. Let m be g(-3). Let l = m - -37. Does 19 divide l?
False
Let s(c) = 2*c**2 + 3*c - 4. Does 13 divide s(-6)?
False
Let j = 148 - 24. Suppose -j = -2*r - 24. Is r a multiple of 18?
False
Suppose -k + 115 = 3*y + 6, -5*y - 3*k = -175. Suppose 28 = 2*t - y. Is 11 a factor of (6/(-9))/((-1)/t)?
True
Let q(d) = -d**2 + 26. Let z be q(0). Is 4/26 - (-620)/z a multiple of 12?
True
Let b(j) be the second derivative of -j**5/2 - j**4/12 + 3*j. Let k be b(-1). Does 3 divide (2 - k/6)*14?
False
Let j = 39 - 23. Is j a multiple of 8?
True
Let n(b) be the first derivative of -b**4/4 + 7*b**3/3 - 5*b**2/2 - 3*b - 7. Suppose 3*s - 16 = -5*t + 22, s + 4*t - 22 = 0. Is n(s) even?
False
Suppose 5*v + 42 = 4*z, -33 = 5*v - 0*z - z. Let j(n) = n**2 + 4*n - 5. Let l be j(v). Let s(q) = -q**2 + 8*q - 5. Is s(l) even?
True
Let t(n) = -n**2 + 9*n + 10. Let g(z) = z**2 - 8*z - 9. Let b(q) = -5*g(q) - 4*t(q). Let o be b(5). Suppose o*l = l - 10. Is l a multiple of 10?
True
Let h(x) = x**2 - 5*x - 7. Let i(j) be the third derivative of j**5/60 - j**4/6 + j**3/2 + j**2. Let c be i(5). Is h(c) a multiple of 6?
False
Suppose -30 = -5*p + r + 4*r, 5*p + 6 = -4*r. Is 7*p - (-2)/1 a multiple of 8?
True
Let k(l) = -l**2 - 6*l + 5. Let n be k(-6). Suppose -2*b - 7 = -a + 3*b, -b = n*a - 113. Is 14 a factor of a?
False
Suppose 0 = 5*k - 223 - 47. Is 17 a factor of k?
False
Let d be 8/6*(-3)/(-2). Suppose -3*v + 7*v = k - 111, -53 = 2*v - k. Is 12 a factor of 0 - (v - d) - -2?
False
Suppose 0 = 2*r - 0*r - 68. Is 20 a factor of r?
False
Suppose 0*r + 2 = -r. Is (r - -6)/(3/24) a multiple of 16?
True
Suppose -2 = -o + 2*o - 4*f, 5*o + 3*f - 13 = 0. Let q(y) = 2*y + 6. Let k be q(4). Let z = o + k. Is 16 a factor of z?
True
Suppose 2 = -4*d - 2. Is (6 - 5)/(d/(-9)) a multiple of 3?
True
Let f(y) = -y**2 - y + 2. Let n be f(-4). Let x = 7 - n. Let b = x - -8. Does 14 divide b?
False
Does 12 divide (64 - 4)*(-4)/(-5)?
True
Let i(d) = d**3 - 7*d**2 + 10*d + 4. Is i(6) a multiple of 6?
False
Let n(r) = -r**3 + 14*r**2 + 15*r + 14. Is n(15) a multiple of 7?
True
Suppose 3 + 11 = 2*v + 4*w, 4*w - 20 = -4*v. Suppose 0 = -0*x - 2*x. Suppose 4*q - 120 = -2*o, x = v*o - 0*o - 12. Is 14 a factor of q?
True
Let o(r) = 3*r**2 - 1. Let i be o(4). Let t = 1 + i. Is t a multiple of 19?
False
Let x = 12 + -1. Let g = x - 1. Does 3 divide g?
False
Suppose -16 = -j + 6. Is 4 a factor of j?
False
Suppose 3*i + 0*i + b = 1004, 0 = 5*i + 4*b - 1671. Suppose 260 + i = f. Is (-4)/6 - f/(-15) a multiple of 13?
True
Let q = 104 + -66. Let w = q - 26. Is 4 a factor of w?
True
Let l(x) = 8*x**2 + 1. Let m be l(3). Suppose -2*t = -y - 4*y - m, 4*y + 76 = 2*t. Is 12 a factor of t?
False
Let p be -18 - (3 + -2 + -4). Let k = p - -20. Does 5 divide k?
True
Let w(n) be the second derivative of n**3/2 - 2*n**2 + 3*n. Does 4 divide w(4)?
True
Suppose 9 + 1 = 5*g. Suppose 3*x - 5*x = a - 71, -70 = -g*x - 2*a. Is x a multiple of 12?
True
Let r(x) = 11*x + 2. Let f = 8 + -6. Is r(f) a multiple of 12?
True
Suppose 3*f + 9 = 78. Suppose -f = -4*z + 85. Let o = -13 + z. Is o a multiple of 8?
F