pose 0*w - 5*o - z = -w, 2*w = o + 81. Does 10 divide w?
True
Let h be (8/(-6))/((-3)/9). Suppose 5*y - 2*y + 126 = -s, -h*s = -12. Is 12 a factor of 2 - (y + -2 + -1)?
True
Let m = -101 - -159. Suppose 0 = 5*j - b - 23, 2*b - 4 = -2*j + 10. Suppose 0 = -0*i - i - 4, -j*g = 3*i - m. Is 14 a factor of g?
True
Let z be ((-4)/16)/((-1)/4). Let q be (-4)/(0 - z) - 1. Let n = 24 - q. Is n a multiple of 21?
True
Suppose -12*s = -742 - 422. Suppose -162 = -j + 3. Let o = j - s. Is 17 a factor of o?
True
Let d be (-312)/(-15) - (-3)/15. Let c be (-6)/d - (-6876)/(-42). Let p = -98 - c. Is p a multiple of 18?
False
Does 18 divide (-2)/(-1)*-1 + 80 + 372?
True
Let z(c) = 10*c**3 + 4*c**2 - 2*c + 6. Let b be z(3). Suppose -u + b = 5*u. Does 10 divide u?
False
Let n be ((-68)/(-10))/(2/10). Suppose 4*w + 6 - 2 = 2*o, -4*o - 5*w - 18 = 0. Is n*(-2)/8*o a multiple of 13?
False
Let p(n) = -32 + 5*n + 5*n**2 - 4*n**2 + 24. Does 10 divide p(5)?
False
Suppose 3*f - k = -4, -5*k + 4 = -1. Let x(z) be the third derivative of -2*z**6/15 - z**5/60 + z**4/24 + z**3/6 + 4*z**2. Does 7 divide x(f)?
False
Let s(g) = 2*g - 4. Let q be s(4). Let l = -3 - q. Does 9 divide (5 - -1) + (-4 - l)?
True
Let y(q) be the first derivative of 9*q**2/2 + q + 6. Let a be y(1). Let g = a + 20. Is g a multiple of 9?
False
Let w(m) = m - 6. Suppose -4*q - 6 = 3*g - 42, -3*q - g + 27 = 0. Let f be w(q). Suppose f*x = 4*x - 11. Is x a multiple of 11?
True
Let d be -1*1/3*(3 - 6). Let r = -3 + 26. Suppose -2*z + d = -r. Is 3 a factor of z?
True
Let v(b) = b**3 + 13*b**2 - 14*b + 9. Suppose 4*w + 60 = -4*u, 31 = -2*u + 3*w - 6*w. Is v(u) a multiple of 3?
True
Suppose -2*a - d = -5407, 0 = 406*a - 402*a + 4*d - 10808. Is 33 a factor of a?
False
Is (-3984)/(-20) + 31/(-155) a multiple of 27?
False
Let k(j) = 159*j**2 + 6*j - 13. Is k(2) a multiple of 82?
False
Let n = 3 - -3. Is 7 a factor of (n/4)/(48/544)?
False
Let f be (9/21)/(24/21 - 1). Let l = 2 - -1. Suppose 0*g + 10 = 2*g - l*w, w + 22 = f*g. Does 6 divide g?
False
Does 99 divide (-11777)/(-7) - (-8 - (-572)/77)?
True
Let j = -4 - -7. Suppose -6 = -p - j*a, -2*a - 2 = -6. Suppose p = s - 0*s - 18. Does 9 divide s?
True
Let l(j) = -j**2 + 6*j + 10. Let r be l(7). Suppose -o + 66 = -4*x, -3*x + 324 - 81 = r*o. Is o a multiple of 17?
False
Let h be (4 - 1)*42/9. Let w = h + -12. Suppose -w*j = 2*j - 92. Does 6 divide j?
False
Suppose 18*w + 6156 = 24*w. Does 15 divide w?
False
Let c(k) = 8*k**3 - 2*k**2 + 1. Let a be c(1). Is a/(-2)*(-216)/42 a multiple of 6?
True
Let b(d) = d**3 - 9*d**2 - 3*d + 10. Let z(o) = 2*o**2 + 7*o + 6. Let l be z(-4). Does 13 divide b(l)?
False
Let x(u) = u**2 - 22*u - 26. Let r be x(26). Suppose -2*d + d = 27. Let h = r + d. Is 17 a factor of h?
True
Let h(y) = y**2 + 7*y - 9. Let f be 2/(-14) + 154/49. Is h(f) a multiple of 3?
True
Let x = -74 - -33. Let a = 10 - x. Is a a multiple of 13?
False
Suppose -5*w = 5*z - 1430, 5*w + 0*z + 3*z - 1434 = 0. Does 24 divide w?
True
Let p(w) = -7*w + 102. Let j(l) = 2*l - 34. Let b(x) = 17*j(x) + 6*p(x). Is b(-12) a multiple of 26?
True
Let u(c) be the third derivative of -c**5/30 + 5*c**4/24 - c**3/2 + 9*c**2. Let r be u(3). Does 9 divide 392/(-20)*15/r?
False
Is 8 a factor of 2436 - (5 - -31)/(-3)?
True
Let h(t) = t**3 - 3*t**2 - 7*t - 2. Let m(i) = i**3 + 3*i**2 - 5*i - 3. Let l be m(-4). Let b be 10/(-6)*(l + -4). Is h(b) a multiple of 4?
False
Let i be 2 + -2*(3 - 2). Suppose t - 1 - 23 = i. Does 6 divide t?
True
Suppose y + 21648 = 8*t, 0 = -4*t - 3*y - 2*y + 10824. Does 41 divide t?
True
Let a(y) = 12*y + 157. Does 5 divide a(0)?
False
Let d(o) = -o**2 + 7*o - 2. Let p be d(6). Let q(s) = 19*s - 4. Let x be q(p). Suppose -4*k - x + 184 = 0. Is 14 a factor of k?
True
Suppose 45*l = 49*l + 1008. Let t = l + 356. Does 13 divide t?
True
Let w(c) = -c - 1. Let v be w(0). Let o = v - -12. Suppose -5*t = -o - 29. Is t even?
True
Suppose -k + 1 = -2*k + 4*g, 0 = -k - 4*g - 33. Let h = 28 + k. Does 5 divide h?
False
Suppose -z = b - 209, 86 + 571 = 3*z - 3*b. Is 13 a factor of z?
False
Suppose -281 = 2*a + 5*o, -5*o - 21 = 4. Let q = 193 + a. Does 7 divide (q - (0 + 4)) + -3?
False
Let s(m) be the second derivative of -m**4/12 - 8*m**3/3 - 4*m**2 - 9*m. Does 5 divide s(-14)?
True
Suppose 7 = -3*s + 19. Suppose -5*c + s + 196 = 0. Is c a multiple of 8?
True
Let k = -11 + 14. Let f be k*(-15)/(-27)*3. Suppose f*b = 3*b + 10. Does 5 divide b?
True
Let r be (-2)/(-8)*0 + -8. Let q be (1/(-4))/(r/32). Suppose -q - 14 = -3*w. Is w a multiple of 5?
True
Suppose 3*a - 32 + 20 = 0. Let b(q) = 9 + 14*q - 14*q**2 - q**3 - a*q + 23*q**2. Is 2 a factor of b(10)?
False
Suppose 2*c + 48 = 6*c. Let f = 23 + c. Suppose 0*v = 2*v + 3*d - f, 5*v - 115 = -2*d. Is 16 a factor of v?
False
Suppose 32*v - 31*v - 169 = 0. Let c = v + -51. Does 9 divide c?
False
Suppose 955 = 30*n - 3365. Does 49 divide n?
False
Is 71 a factor of (-86666)/(-85) - 3/5?
False
Let y = -21 - -31. Suppose -9*n = -y*n - 149. Let k = n + 228. Is 16 a factor of k?
False
Suppose 5*k - 24 = 6. Suppose 0 = -a + k*a + p - 20, 4*a + 5*p - 37 = 0. Suppose -462 = -4*s - a*s. Is 33 a factor of s?
True
Let t be ((-212)/2)/1*(-7 + 6). Let j = -91 + t. Does 5 divide j?
True
Let r = 7 - 9. Let t be ((-3)/(-6))/(r/(-24)). Suppose 2*l + t - 30 = 0. Is l a multiple of 4?
True
Suppose 0 = -2*s + 3*s + 1. Let p = s + 6. Suppose -p*l = -0*l - 50. Is l a multiple of 10?
True
Let f(w) be the first derivative of w**3/3 + w + 3. Let z(u) = u**3 - 10*u**2 + 5*u. Let t(y) = 5*f(y) + z(y). Does 5 divide t(5)?
True
Let w = 76 - 51. Suppose -2*o + 3*o = -2*g + 301, -5*o - w = 0. Does 30 divide g?
False
Let c(s) = s**2 + 15*s + 12. Let i be c(-14). Let x(j) = 14*j**2 + 2*j - 4. Does 8 divide x(i)?
True
Let g be -2*4/8*-5. Suppose -107 = g*w - 487. Is w a multiple of 19?
True
Let x = 254 + -102. Is x a multiple of 19?
True
Let p(m) = m**3 + 4*m**2 + m - 2. Let u be p(-3). Suppose -3*z = -9, u = -0*f - 5*f - 2*z. Let o(h) = -3*h**3 - 4*h**2 - 2*h + 2. Is 4 a factor of o(f)?
False
Suppose 0 = 5*f - 2*t - 4, t = 4*f - 2*f - 2. Suppose f = -2*j + 120 - 40. Is 20 a factor of j?
True
Suppose -2*j - 589 = -c, 5*j - 616 = 3*c - 2387. Does 3 divide c?
True
Let b(y) = 20*y**2 + 5*y + 1. Let k(d) be the third derivative of d**6/120 + d**5/15 + d**4/4 + 7*d**3/6 - 10*d**2. Let g be k(-3). Is 13 a factor of b(g)?
False
Suppose 2*r + 2*p = 1210, 2432 = -10*r + 14*r + p. Is r a multiple of 13?
False
Suppose 3*x + 3*w - 23 = -2*w, 4*w - 21 = -5*x. Let v = 67 - x. Is 11 a factor of v?
True
Let c be 2*(-3)/(-3) + 13. Is 11 a factor of 173 + 1 + c + -11?
False
Suppose 5*f + k = 3*k + 40, 0 = f + k - 1. Let j = f + -19. Let b = j - -35. Is 22 a factor of b?
True
Suppose 0 = -7*a + 53 + 304. Is a even?
False
Let w = 5 + -3. Let d(p) = p**3 - 7*p**2 - 6*p - 10. Let s be d(8). Suppose s*y = w*y + 60. Is 4 a factor of y?
False
Suppose 57*p + 11060 = 64*p. Does 20 divide p?
True
Let r(c) = -10*c - 23. Let p(t) = -8*t**3 + 2*t**2 - 3*t + 1. Let f be p(1). Is r(f) a multiple of 19?
True
Suppose 4*v = -3*k + 863, 0 = -10*v + 5*v - 2*k + 1084. Is v a multiple of 28?
False
Let w = 98 - 21. Suppose 6*b - w = 79. Is 13 a factor of b?
True
Let z(s) = -s**3 + 8*s**2 - s + 4. Let x be z(8). Suppose 3*w + 3*g - 4*g + 14 = 0, 0 = 3*w + g + 22. Is w/2 - 132/x a multiple of 15?
True
Suppose -108*j + 102*j = -1032. Is 5 a factor of j?
False
Let i(o) = 6*o - 142. Let n be i(24). Let b(s) = -7*s + 1. Let h be b(-2). Is 72/45*h/n a multiple of 7?
False
Let p(n) = n**3 + 25*n**2 + 48*n - 18. Is 63 a factor of p(-22)?
True
Let k(g) = 106*g + 38. Is k(3) a multiple of 28?
False
Let j(f) = 14*f + 12. Let v be 6/(((-24)/9)/(-4)). Suppose 2*u = -h + 20 - 3, 0 = u - 3*h + v. Is 22 a factor of j(u)?
False
Let a = -244 - -167. Let k be 3*(-2 + -18 - -2). Let p = k - a. Is p a multiple of 23?
True
Let a be 64/6 + 2/6. Let w = a + -8. Suppose 4*j - w*j - 4 = 2*c, -4*j + 5*c + 25 = 0. Is j a multiple of 5?
True
Suppose 2*l + 5 = q, 2*l - q + 3*q = -8. Let s be -2 - (1 - 3) - l. Suppose d = c + 5 + 34, 0 = -s*d - 5*c + 117. Does 13 divide d?
True
Suppose n = 3*n - 3*v - 13, n + 4 = -2*v. Suppose h = -3*p - n*h - 156, 5*h - 58 = p. Let d = p - -89. Is d a multiple of 18?
True
Suppose -9*p = -11*p + 10