 8 divide w?
False
Suppose 7*a + 10 = 2*a. Let s be 21*(a + 3 + 0). Suppose -s = -3*k + 2*k. Does 21 divide k?
True
Suppose -5*z = -10*z. Is (12/4 - z) + 3 a multiple of 3?
True
Let k be 3/9*3*2. Let s be 3 - (2 + -142)/k. Let x = s - 37. Is x a multiple of 18?
True
Let v be 0 + (2 - 3)*-3. Suppose v*d + 5*y = -4, -3*y + 8*y = d - 12. Is d a multiple of 2?
True
Suppose 0*j + 8 = -4*j. Is 15 a factor of 3/j*(-9 + -1)?
True
Let j(z) = -7*z - 5. Let o(d) = 3*d + 2. Let t(v) = -2*j(v) - 5*o(v). Is t(-8) a multiple of 5?
False
Let j(h) = -9*h + 2. Is 11 a factor of j(-4)?
False
Let t(b) = -4 + 7*b + 0*b**2 + b**3 - 2 - 3*b**2. Let n be t(5). Let l = n - 47. Is 13 a factor of l?
False
Suppose 0 = -10*n + 9*n + 42. Is n a multiple of 9?
False
Suppose -l = -3*l + 60. Let f = l + 0. Does 15 divide f?
True
Suppose 3*j = 2*f + 3 + 37, -5*j + 70 = -4*f. Let q = j + 26. Is q a multiple of 18?
True
Let o = -4 + 4. Let y(w) = -w**3 + w**2 + w + 39. Is y(o) a multiple of 13?
True
Let o(z) = z + 1. Let x be o(1). Suppose 2*v = 4*j, 3*v + 0 - 8 = x*j. Suppose j*a - 45 = -3*a. Is 4 a factor of a?
False
Suppose -5*o + 42 = -2*x, 4*o + o + 10 = 0. Is 12 a factor of -3 - x/4*6?
True
Suppose 0 = 3*f - 2*f - 2. Does 2 divide f?
True
Let f be -22*((-95)/(-2))/(-5). Suppose -41 = 4*w - f. Is w a multiple of 15?
False
Suppose -k + 24 + 23 = 2*f, -f + 31 = -2*k. Is 5 a factor of f?
True
Suppose 5*s - 2*f = 32, 2*s - 2*f - 14 = -0*s. Does 11 divide (87/s)/((-3)/(-6))?
False
Let d(l) = l**2 + 10*l + 11. Let v be d(-9). Suppose -5*f - 211 + 21 = -v*u, 247 = 3*u + 2*f. Suppose -3*r + u - 1 = 0. Is r a multiple of 14?
True
Is 43 a factor of (1 + -7)*632/(-16)?
False
Suppose -3*w + 5*o + 928 = o, -2*w = 5*o - 611. Is w a multiple of 14?
True
Suppose -5*g + j + 7 = 0, 4*g - 16 = -g - 2*j. Suppose g*w + 15 = o - w, 5*w = -3*o + 45. Is o a multiple of 15?
True
Suppose -3*p + 126 = 3*m - 0*m, 3*m + 242 = 5*p. Let j = 66 - p. Suppose 3*n - 7*n = 3*d - j, 4*n - 40 = 2*d. Is n a multiple of 4?
True
Let g(y) = -y**2 - 10*y - 4. Suppose 11 = -m + 1. Let w be -2 + 1 + 2 + m. Is 5 a factor of g(w)?
True
Let p be 3/(-6)*2*-3. Suppose 5 + 13 = p*j. Suppose 270 = -c + j*c. Is c a multiple of 14?
False
Let c be (-2 + -1)/(3/(-4)). Suppose -b - c*g + 23 = -0*b, -2*g - 5 = -5*b. Suppose -b*f - 29 = -116. Is f a multiple of 14?
False
Suppose q = -4*q + 20. Suppose q*w = 2*a + 4, 3*w = 4*w - a. Is 16 a factor of w + 2/(4/86)?
False
Let s = -6 - -7. Let p(a) = a + 1. Let f(m) = 18*m + 24. Let i(h) = s*f(h) - 24*p(h). Is i(-4) a multiple of 8?
True
Is 11 a factor of ((-3)/(-2))/(2/124)?
False
Suppose 0 = -5*c + 1 + 9. Let n be 1*(c + 3 + 1). Suppose 52 = 3*f - 2*l + n*l, -12 = -f - 4*l. Is f a multiple of 20?
True
Let k(g) = g - 5. Let x be k(9). Let z = 7 - 1. Suppose z*b - x*b - 16 = 0. Does 8 divide b?
True
Let m = -59 + 87. Is 21 a factor of m?
False
Suppose 2*i = -i - 2*g + 206, 2*g = -i + 74. Does 18 divide i?
False
Let o(l) be the third derivative of -l**5/60 + 5*l**4/8 - 7*l**3/3 + 6*l**2. Is 12 a factor of o(13)?
True
Let g = 85 + -25. Is g a multiple of 15?
True
Suppose 0 = 5*g + 3*b - 468, -4*g = -b + 2*b - 373. Does 34 divide g?
False
Let q(g) be the third derivative of 0 + g**2 + 7/6*g**3 + 1/24*g**4 + 0*g. Is q(-3) a multiple of 3?
False
Let p = -19 + 4. Let z be ((-24)/p)/(1/10). Suppose h + h - z = 0. Does 4 divide h?
True
Is -2 - (-93 + (1 - -2)/(-3)) a multiple of 13?
False
Suppose 5*m - 260 = m. Suppose 3*x = -0*j + j - 60, -5*x + m = 2*j. Let d = -27 + j. Is d a multiple of 8?
False
Let d(k) = -k**3 - k**2 - k - 2. Let z be d(0). Let p be 1 + 1/(z/(-14)). Suppose 33 = n + p. Is n a multiple of 14?
False
Let r(y) = -2*y**3 + y**2 + 3*y + 1. Let q be r(-3). Suppose -2*d + 7*d = -2*g + q, 0 = -d - 5*g - 12. Is 13 a factor of d?
True
Suppose -20 = 3*m + 295. Let r = m - -148. Does 15 divide r?
False
Suppose -2*q - 15 = 3*q, 5 = 4*a + q. Suppose 4 = a*j, 2*f + 5*j - 138 = -0*j. Does 13 divide f?
False
Let t(n) = 3*n - 1. Let d be t(1). Suppose 0 = -4*f + 5*q + 116, d*f - 5*q - 87 = -f. Suppose -m - v + f = 0, -v = -2*m + 4*v + 79. Is m a multiple of 16?
True
Let j = -7 + 9. Suppose -j*f = 8 - 22. Let l = -4 + f. Is l a multiple of 3?
True
Let d be 6/(1 - -2) - 0. Suppose 0 = d*x - 5*x + 15. Suppose 0 = -4*o - 16, -x*h - o = 2*o - 98. Does 11 divide h?
True
Let v(c) = 3 + 1 - 4 + c. Does 4 divide v(10)?
False
Let u = 3 + -4. Let w(n) = -5*n + 1. Is w(u) a multiple of 3?
True
Suppose -3*t - t = -160. Is 8 a factor of t?
True
Let t be 9/2*(-32)/12. Let w(g) = g**3 + 6*g**2 - 7*g + 5. Let d be w(-7). Let k = d - t. Is k a multiple of 11?
False
Does 6 divide 11 + -3*1*6/9?
False
Let v be -9*(2/3)/(-2). Let a(s) = 2*s - 4. Let l be a(v). Suppose 0 = -l*p + 17 + 3. Does 5 divide p?
True
Suppose -4*h - h = -10. Let j = -20 - -40. Suppose h*r - w - 3*w - j = 0, -2*r + 2*w + 22 = 0. Is 4 a factor of r?
True
Let w(r) = -2 - r**3 - 2*r**2 + 3*r**2 - 2*r**2 - 2*r - 2*r**3. Does 13 divide w(-2)?
False
Suppose 2*k + k - 372 = -5*m, 6 = -2*m. Is k a multiple of 22?
False
Suppose -t + 36 - 10 = 0. Is 19 a factor of t?
False
Is 11 a factor of (-110)/(-4)*(-208)/(-65)?
True
Let w(q) = q**3 + 11*q**2 + 12*q + 12. Let v be ((-1)/(-2))/((-1)/18). Is w(v) a multiple of 11?
True
Let v(k) = k**2 - 2*k - 3. Let d be v(4). Suppose 5*s = -d*h + 105, 2*s - 52 = -3*h - 7. Is (2 - 1)*1*s a multiple of 9?
True
Is (1 - ((-46)/(-6) - 2))*-42 a multiple of 14?
True
Let z(y) = 2 - 3*y + 6*y + 8*y. Does 18 divide z(3)?
False
Is 3 a factor of ((-16)/(-48))/(1/9)?
True
Let c be -2 - (18/(-3))/3. Let f(v) = v + 1. Let q be f(4). Let u = q + c. Is u a multiple of 5?
True
Suppose -10*r + 118 = -272. Is 12 a factor of r?
False
Let w(n) = -n**2 - n + 8. Let x be w(0). Let m(u) = 11 - 3*u - x + 9. Is 21 a factor of m(-10)?
True
Let o be -32*(-3 - 21/12). Let b = -95 + o. Is 24 a factor of b?
False
Suppose -4*g = -23 + 11. Is 3 a factor of g?
True
Is 32 a factor of (-96)/((-9)/12 + 0)?
True
Let y be (-123)/(-9) + (-4)/6. Suppose -5*p + y = 3. Suppose -12 = -0*j - p*j. Is j a multiple of 4?
False
Suppose -2*d = 2*z - 148, 3*d - 299 = -4*z - 0*d. Is z a multiple of 10?
False
Let v(b) = b**2 - 15*b - 12. Is 34 a factor of v(-9)?
True
Let v(a) = 4*a - 1. Suppose -6*o + 2*o - k - 1 = 0, 3*o - k - 8 = 0. Let z be v(o). Suppose -n = 3*c - 2*n - 30, 30 = z*c + 3*n. Does 10 divide c?
True
Let m = -2 - -4. Suppose -2*v + 24 = 4*z + 2*v, 6 = m*z - v. Let p(o) = -o**3 + 4*o**2 + 6*o - 6. Is 12 a factor of p(z)?
False
Let g be -2*((0 - -1) + -2). Suppose g = 2*p - 68. Is p a multiple of 13?
False
Suppose 335 = 5*u + 5*h, -2*u - 5*h = u - 191. Is u a multiple of 24?
True
Does 17 divide (-1)/((-69)/(-72) + -1)?
False
Let v = 2 - 0. Suppose -2*q - 174 = -2*p - 2*p, v*p = -2*q + 90. Is p a multiple of 17?
False
Let m(z) = z**3 - 3*z**2 - 1. Let l be m(4). Suppose -2*g - 2 = -j - 3*j, -g - 5*j - l = 0. Let u(p) = -p**3 - 5*p**2 - 2*p - 4. Does 3 divide u(g)?
True
Suppose 3*s - 198 = -3*j, 42 = 2*j + 4*s - 96. Let x = -32 + j. Does 13 divide x?
False
Let m(h) = -h**3 - 5*h**2 - h - 6. Let f be m(-5). Let p = f + 3. Does 5 divide 8/6*15/p?
True
Let l = 7 - 4. Suppose -l*k + 2 = y + 8, -3*y - 4*k = 23. Is 11 a factor of 3/y + 91/3?
False
Suppose 0 = -3*j + j. Suppose 2*l + 2*l - 128 = j. Is l a multiple of 9?
False
Suppose 3 + 0 = y. Let r(j) = -j**3 + 4*j**2 + 3*j. Does 18 divide r(y)?
True
Let a = -141 + 586. Is 38 a factor of a?
False
Let c = -61 - -86. Is 19 a factor of c?
False
Suppose -y = 3*y - 8, 4*y = 5*x - 12. Is 10 a factor of x/(-6) + 186/9?
True
Suppose -5*k - 30 = 5*j - 135, -k - 19 = -j. Is 4 a factor of j?
True
Suppose 0 = 2*m - 4*m - 2. Let d(w) = -21*w + 1. Does 12 divide d(m)?
False
Let r(n) = n + 5. Suppose 0 = -x - 3*f, 3*x + 4*f = 4*x. Let p be r(x). Let m = 0 + p. Is 3 a factor of m?
False
Suppose -2*w + 0*w - 26 = 0. Let r = w + 17. Is 2 a factor of r?
True
Let l = -84 + 100. Is l even?
True
Let j be -60*(-2 - (-6)/5). Is 9 a factor of 2 + 0 + j/3?
True
Suppose -2*g + 7 = -1. Suppose 0 = -g*p - 5 + 13. Is p a multiple of 2?
True
Suppose 5*u - 152 = 2*u - 2*l, -5*l - 95 = -2*u. Does 10 divide u?
True
Let v(r) = r - 1. Let a be v(2). Does 14 divide 24*(-21)/(-12)*a?
True
Suppose 4*j = -2*r + 46, -3*r + 27 + 24 = -3*j. Is 