j*w + 25 = w. Suppose 11 = w*p - 19. Does 6 divide p?
True
Is (2 + 175)/(-1 - -2) a multiple of 59?
True
Let p(u) be the first derivative of -u**4/4 + 4*u**3 + 5*u**2/2 - 15*u + 4. Does 15 divide p(12)?
True
Let w(u) = -u + 19. Is 9 a factor of w(10)?
True
Suppose -j + 18 + 20 = 0. Does 11 divide j?
False
Suppose 6*t = -567 + 2211. Does 25 divide t?
False
Let w(r) = r**3 + 6*r**2 - 6*r + 4. Let c be w(-6). Suppose 4*m + 6 = 14. Suppose m*f - 7*f = -c. Is f a multiple of 4?
True
Suppose -2*g + 12 = 3*o - 139, -3*o = g - 71. Does 16 divide g?
True
Let s(k) = 10*k - 4. Is 6 a factor of s(8)?
False
Let m = -12 - -11. Let d(x) be the third derivative of x**5/4 - x**4/24 - x**3/6 - 2*x**2. Does 8 divide d(m)?
False
Let r be (-3 - (-1 - 2)) + 4. Let b be 1/r + 56/32. Suppose -t = b, -4*d + 3 = -t - 75. Is 13 a factor of d?
False
Suppose -5*h + 9*h = 192. Is h a multiple of 24?
True
Let h(g) be the third derivative of -7*g**4/12 - g**3/3 + 5*g**2. Does 6 divide h(-1)?
True
Suppose 13 = 3*f + 1. Let v(c) be the second derivative of c**3/2 - c**2 - 2*c. Is 5 a factor of v(f)?
True
Let a = -2 - -18. Let t = a - 10. Is t a multiple of 6?
True
Suppose 0 = l - 2 - 0. Suppose -l*o = 4*b - 6, 4*o + b - 52 = 3*b. Is o a multiple of 8?
False
Let z = -74 + 142. Suppose 2*a + t + 2*t + 8 = 0, -t = -2*a + 8. Suppose 2*k - z = -a*k. Is 17 a factor of k?
True
Let r = -5 + 3. Let x = 10 - r. Suppose p = -p + x. Is p a multiple of 6?
True
Let n be (0/(-1))/(-1 + -1). Let t be n + (-3 - (-3)/3). Is (0 - -1)*(t + 26) a multiple of 12?
True
Let i be 3 + 0 + -1 - -1. Suppose 0 = -4*n + 16, -i*n + 14 = f - 4*n. Is 18 a factor of f?
True
Suppose -c + 4*c + 12 = -3*u, -3*c - 5*u = 12. Let s(p) = -p**3 - 4*p**2 - 4*p - 2. Is 12 a factor of s(c)?
False
Let i = -299 - -489. Is 59 a factor of i?
False
Suppose 8*u - 480 - 168 = 0. Is u a multiple of 14?
False
Let i(g) = 71*g**2 + 6*g - 6. Is i(1) a multiple of 13?
False
Suppose 0 = 6*l - 611 + 11. Is 25 a factor of l?
True
Let a(z) = z**2 - 2*z - 5. Let m be a(5). Let p be 1 + -3 + 3*m. Let u = 50 - p. Does 11 divide u?
True
Let i = -64 - -108. Let g be 1 + (21*5)/3. Suppose 2*b + g + 32 = 5*y, 0 = -2*y + 5*b + i. Is y a multiple of 12?
True
Suppose -4*w - 4*v = -120, -v = -3*w - 2*v + 82. Is 13 a factor of w?
True
Suppose 4*a + a - 2*s + 6 = 0, 2*a - s = -3. Suppose -5*j + 2*j = a. Does 19 divide (-1 - j) + (45 - 1)?
False
Suppose 0 = -b - 0*b + 30. Suppose -5*s + 3*t + b = 0, s - t - 3*t = -11. Is 3 a factor of s?
True
Let j(s) = s + 5. Let u be j(-5). Suppose -4*o + 3*o + 9 = 2*a, 2*a - 5 = 3*o. Suppose u = a*p + p - 50. Is p a multiple of 4?
False
Let k(n) = 3*n**3 + 3*n + 1. Is 4 a factor of k(2)?
False
Suppose 5*b + 65 = 4*k, 4*b + 12 = -2*k - 40. Let s = -9 - b. Is s a multiple of 2?
True
Suppose 10*u + 105 = 13*u. Is 22 a factor of u?
False
Let y(u) = -u**2 + 12*u - 12. Let g be y(8). Is 404/g - 1/5 a multiple of 7?
False
Let f(c) = -2*c - 2. Let u be f(-2). Suppose -2*z - 3*z - 12 = -3*q, u*q - 8 = -4*z. Suppose -60 = -q*m - m. Does 6 divide m?
True
Let q(a) = a**2 + 2*a - 7. Let z be q(-7). Suppose -212 = -4*h + z. Is 20 a factor of h?
True
Let g(t) = -13*t**2 + 27*t + 37. Let m(s) = -7*s**2 + 14*s + 19. Let b be (-97)/(-9) + 16/72. Let d(k) = b*m(k) - 6*g(k). Does 7 divide d(10)?
True
Is 16 a factor of 4/(-8) - (-785)/10?
False
Let j = -112 - -167. Suppose -3*p + j + 65 = 0. Is 13 a factor of p?
False
Suppose -5*u = 5*k - 4 - 6, -5*k = u + 10. Suppose 95 = -0*r + u*r. Is 19 a factor of r?
True
Suppose -4*b + b + 150 = 0. Let d be b/3 + (-6)/9. Suppose 5*s - 29 = d. Does 9 divide s?
True
Let r(k) = -11*k - 5. Is 16 a factor of r(-4)?
False
Is (8 - 6) + 44/1 a multiple of 23?
True
Let x = 41 + -23. Suppose -p + 10 = -x. Does 19 divide p?
False
Let q(x) = -x**2 + 8*x + 3. Let i be q(8). Suppose -14 = -i*t - 5. Is t a multiple of 2?
False
Is ((-135)/18)/(2/(-16)) a multiple of 20?
True
Let g be 2*(-3 - (-18)/4). Is (-3 - g)/(2/(-4)) a multiple of 4?
True
Let z be 6/(-9)*3*2. Let r be (-7)/28 - 17/z. Suppose r*b - 2*d - 3*d = 52, 5*d + 4 = -2*b. Is b a multiple of 7?
False
Let r = -7 + 9. Suppose -10 = -p + r*g, 4*g = -p + g + 30. Is 6 a factor of p?
True
Let p = 38 - -49. Is 29 a factor of p?
True
Let p(h) = -h**3 - 2*h**2 + h - 2. Let y be p(-3). Let o = -1 + y. Does 3 divide o?
True
Suppose 0 = -3*d - 0*d - 30. Is ((-132)/d)/(-3)*-5 a multiple of 11?
True
Let g = 14 + -10. Suppose 0 = o - 16 - 40. Suppose -x - x + o = -g*z, 2*z = -4*x + 82. Does 11 divide x?
True
Suppose n - 11*n = -140. Is n even?
True
Let q(c) = c**3 + 12*c**2 - 20*c - 8. Is q(-13) a multiple of 6?
False
Suppose h - 3*h = -4*k - 164, 5*h - k - 437 = 0. Does 31 divide h?
False
Let z(t) = -t**3 + 6*t**2 - 6. Let j be z(6). Let h(b) = 7*b**2 - b + 8. Let c(u) = -4*u**2 + u - 4. Let o(p) = 5*c(p) + 3*h(p). Is 12 a factor of o(j)?
False
Suppose a = -3*a + 20. Suppose -z = -a*z - 2*m + 538, 3*m = -2*z + 263. Suppose -3*s - 5*y + 26 = -38, 0 = 5*s + y - z. Is 14 a factor of s?
True
Let o be ((-2)/6)/(4/(-276)). Let t = o - 7. Is t a multiple of 8?
True
Let u = 70 - 50. Suppose 0 = 5*p - 0*p - u. Suppose 2*h + 16 = 2*g - 0*g, h - 27 = -p*g. Is g a multiple of 3?
False
Suppose -3*m - 324 = -3*u, -5*u + 568 = -0*m + 2*m. Is 28 a factor of u?
True
Let g = -110 - -228. Is 10 a factor of g/6 + (-1)/(-3)?
True
Suppose 5*h + m = -m - 62, 0 = 2*h - 5*m + 19. Let d be ((-3)/(9/h))/1. Is 6 - -2*2/d a multiple of 3?
False
Let n = 1 - -9. Let k = 34 - n. Does 12 divide k?
True
Let t(k) = -14*k + 27. Is t(-5) a multiple of 23?
False
Let x be 9/12*(14 + -2). Let t = 15 - x. Does 2 divide t?
True
Let t(p) = -p. Let i be t(-9). Let s be (-4)/(-18) - (-106)/i. Let w = s + -5. Does 5 divide w?
False
Suppose -2*o - o + 3 = 0, 0 = 4*y + 3*o - 75. Is y*(0 + 2) - 0 a multiple of 12?
True
Suppose 5*g = -5*l + 350, 6*l + 133 = 2*g + l. Is g a multiple of 15?
False
Let i = -9 + -3. Let j = 25 + i. Is j a multiple of 13?
True
Suppose 4*w - 5*z - 42 = 0, -4*z + 0*z = 3*w - 16. Does 8 divide w?
True
Let c(q) = -5*q + 6. Let f be c(8). Is 2*-1*f/4 a multiple of 5?
False
Suppose -5*h = -8*h + 318. Is 20 a factor of h?
False
Let y = -36 - -52. Suppose p - 7 = -4*q + y, 5*p - 4*q + 5 = 0. Suppose 4*h = h + b + 38, 15 = -p*b. Is 11 a factor of h?
True
Let x(k) = k**2 + k - 2. Does 4 divide x(5)?
True
Let h(d) = d**3 + 7*d**2 - d + 10. Let k be (2*-1)/((-4)/(-14)). Is h(k) a multiple of 17?
True
Let p be (59 - -1)*(-36)/(-30). Let y = -50 + p. Is y a multiple of 7?
False
Let j = 6 - -8. Does 14 divide j?
True
Let s = 78 - 46. Suppose n - 3*n = -s. Is 8 a factor of n?
True
Let k be 0/((-1)/(4 + -3)). Let d(q) = -q**3 - q + 12. Is d(k) a multiple of 10?
False
Let i = 418 - 35. Is i a multiple of 44?
False
Let j(w) = -w - 6. Let q(v) = v**3 + 6*v**2 + 7*v + 5. Let a be q(-5). Let c be j(a). Is 6/(0 - (0 + c)) a multiple of 6?
True
Let v = -7 + 1. Let w be ((-14)/v)/(5/(-45)). Does 21 divide 3*w/(-18)*12?
True
Let y(l) = l**3 - 5*l**2 + 2*l - 7. Let f be 2 + 4 + -3 - -2. Does 2 divide y(f)?
False
Is 27 a factor of (-1 + -6)*(-25 - -18)?
False
Let j = -7 + 15. Let u(l) = -l**3 + 9*l**2 - 2*l - 8. Is u(j) a multiple of 10?
True
Let d(f) = f**2 + 11*f + 8. Let s be d(-10). Is 10 a factor of (15/s)/(3/(-8))?
True
Let f = 9 + -4. Suppose f*u + 109 = 2*g, -26 = -3*g + 4*u + 141. Does 15 divide g?
False
Let b = -6 - -8. Suppose 192 = b*c + 2*c. Does 16 divide c?
True
Suppose -2*d + 39 = -57. Does 16 divide d?
True
Let f = 25 + -5. Does 2 divide f?
True
Is 18 a factor of (-420)/(-9) + 12/9?
False
Suppose -p - 45 = -6*p + 5*r, 3*p - 22 = 2*r. Suppose 4*i - 84 = p. Suppose -5*q + 33 + i = 0. Does 3 divide q?
False
Suppose -6*h = -2*j - 10*h - 6, h = 5*j - 29. Suppose 130 = 5*v - j*i, 0 = v - 3*v - 3*i + 57. Let c = v - 13. Is c a multiple of 14?
True
Let s be (-75)/(-27) + 8/36. Is 18 a factor of -3 + (73 - (s - 3))?
False
Suppose 0 = -2*s + 2*i + 218, 5*s - 344 = -3*i + 241. Does 19 divide s?
True
Let d(o) = o**3 - 2*o**2 - 3*o + 2. Let r be d(3). Suppose 36 = 3*h + 5*z, 2*h = 2*z + r*z + 46. Is h a multiple of 15?
False
Let b(p) = -p**3 - 8*p**2 - 4*p + 3. Is 5 a factor of b(-8)?
True
Let t(o) = -o + 3. Let l be t(3). Suppose 4*m + l - 12 = 0. Suppose 75 = m*x - 0. Is x a multiple of 10?
False
Let d(