s w even?
False
Let n(m) = 2*m**2 + 2*m - 4*m + 3*m. Does 12 divide n(4)?
True
Let t(v) = v**2 + v + 1. Let k(i) = -3*i**3 - 6*i**2 - 6*i - 6. Let j(h) = k(h) + 5*t(h). Let w be ((-4)/(-6))/((-3)/9). Is j(w) a multiple of 10?
False
Let y be 26 + 5 + (-5 - -2). Suppose 0*n + y = 2*n. Is 6 a factor of n?
False
Let w be (-3 + (-3 - -4))/2. Let r(t) = 44*t**2 - 1. Is r(w) a multiple of 11?
False
Let o(c) = c**2 + 1. Let g be o(4). Let b be 2/3 + 25/3. Let l = g - b. Is 6 a factor of l?
False
Let w(i) = 6*i + 7. Does 5 divide w(3)?
True
Let q(y) = -96*y**2 + 2*y. Let w(s) be the third derivative of -4*s**5/5 + s**4/24 + s**2. Let o(g) = -3*q(g) + 5*w(g). Is o(1) a multiple of 16?
False
Suppose -468 = -2*r - 4*r. Does 6 divide r?
True
Let j(b) = 11*b - 7. Suppose -d + 6 = 1. Let v be j(d). Suppose 0*n + 4*n = v. Does 11 divide n?
False
Suppose -90 = 4*f - 9*f. Does 9 divide f?
True
Let k = -39 - -50. Is k even?
False
Suppose -4*r + 183 = 4*x + 23, -159 = -4*r - 3*x. Is r a multiple of 8?
False
Let d(f) = -2*f**2 + 0*f - 3 - 2*f + f**2 - 7*f**3 + 2. Does 3 divide d(-1)?
False
Let o(l) = 3*l**2 - l. Is 4 a factor of o(-3)?
False
Let g(c) = -8*c - 1. Is g(-1) a multiple of 2?
False
Is 22 a factor of (-2034)/(-27) + 2/(-6)?
False
Let i(a) = a**3 - 9*a**2 - 2*a + 10. Is i(10) a multiple of 20?
False
Let l(f) = -f**2 + 10*f. Suppose 5*j - 46 = -16. Suppose -9 = -3*h + j. Is 7 a factor of l(h)?
False
Let o(h) = h**2 - 3*h + 1. Let x be o(3). Is 13 a factor of 154/4 + x/2?
True
Let q = 1 - -2. Does 2 divide q?
False
Let y(b) = b**2 - 5*b - 7. Let g(u) = u**3 + 5*u**2 + 4*u + 1. Let v be g(-3). Does 4 divide y(v)?
False
Suppose -x = 2*c - 0*x - 9, 3*c + 2*x = 11. Suppose c*y = 2*y. Suppose -2*z + 47 = 3*a, y = -a - a + 2*z + 48. Does 15 divide a?
False
Let i be 8/28 - 303/7. Let m = -4 - i. Does 13 divide m?
True
Suppose 9*l = 14*l - 75. Is l a multiple of 5?
True
Let y(u) = 4*u**2 + 5*u - 3. Let g = 2 + 1. Is 16 a factor of y(g)?
True
Let n(v) = -7*v + 1. Let i = 7 + -12. Let d(p) = p**3 + 5*p**2 + p + 4. Let u be d(i). Is n(u) a multiple of 7?
False
Let s = -273 + 465. Is s a multiple of 24?
True
Let n = -72 + 108. Is 12 a factor of n?
True
Suppose 36 = -0*j + 3*j. Suppose -2*z + j = 2*q, 0 = 2*q + z + 5 - 15. Suppose -2*x = 2*w - 38, -x + q*x + 5*w = 63. Is 8 a factor of x?
True
Let m(g) = 3*g - 27. Does 6 divide m(11)?
True
Let i(p) = 2*p**2 - 7*p - 9. Let w be i(7). Let m = w + -10. Suppose 3*v + 0*t - m = 3*t, -2 = -t. Is v a multiple of 6?
True
Suppose -74*i = -77*i + 24. Does 4 divide i?
True
Let w(f) = f**3 - 11*f**2 + 12*f - 6. Suppose 6*s = 3*s + 30. Does 4 divide w(s)?
False
Suppose d + 30 = 5*g, -1 = 4*g + d - 16. Does 4 divide g?
False
Suppose 3*w - 3*n - 156 = 0, -2*n + 0*n - 200 = -4*w. Does 8 divide w?
True
Let a(j) = -j + 39. Does 13 divide a(0)?
True
Let h(w) be the third derivative of -w**5/60 + w**4/8 - 5*w**3/3 + 2*w**2. Let x be h(8). Let z = 90 + x. Is z a multiple of 16?
False
Suppose -2*j - 5*s + 33 = -47, 20 = -5*s. Does 25 divide j?
True
Let f(m) be the third derivative of 5*m**4/12 - m**3/3 + 3*m**2. Let s be f(6). Let t = s - 38. Does 10 divide t?
True
Let n(o) be the third derivative of -1/120*o**6 - 1/24*o**4 - 5/6*o**3 + 0 - 3*o**2 + 0*o + 1/10*o**5. Does 15 divide n(5)?
True
Let f(t) = t**3 - t**2 - 2*t + 1. Let u be f(-2). Let m = 11 + u. Suppose m*r = 37 - 1. Is r a multiple of 8?
False
Let w be ((-14)/21)/(4/(-30)). Let d(l) = -l**3 + 6*l**2 - 2*l. Is d(w) a multiple of 5?
True
Suppose -5*b - 4*h + 15 = 0, -5*h + 0 = -3*b + 9. Let j = 24 - b. Suppose j = 2*c - 3*l, 18 = 2*c - 3*l - l. Is 5 a factor of c?
True
Suppose -3*y + 401 = 4*w, -y + 202 = 2*w + y. Does 14 divide w?
True
Let h be 1/2 - (-34)/(-4). Let p = -5 - h. Suppose p = -3*q + 36. Is q a multiple of 4?
False
Let k(q) = -6*q + 13. Let n(a) = 5*a - 13. Let z(w) = -6*k(w) - 7*n(w). Let t be (3 - (3 + -4)) + -12. Is z(t) a multiple of 5?
True
Let h = -13 - -37. Does 6 divide h?
True
Suppose 0*f + 28 = 2*f. Is f a multiple of 14?
True
Let j(p) = -p**3 - 6*p**2 + 5*p. Does 22 divide j(-8)?
True
Let m = 113 - 77. Suppose -4*h - m + 232 = 0. Suppose -5*u + h = -6. Is u a multiple of 11?
True
Suppose -f = 5*x - 29, 4*f + 2 - 49 = 3*x. Suppose f + 14 = o. Does 28 divide o?
True
Suppose 4*v + 5*f + 0*f + 7 = 0, v = -f - 3. Let t = 24 + v. Is t a multiple of 16?
True
Suppose 5*w - 3*h = 85, w - h - 15 = -0*w. Is w a multiple of 14?
False
Let a be 2 + (-5)/(10/4). Suppose a = -4*c + 35 + 41. Suppose c + 16 = 2*j - 5*y, -3*j = 4*y + 5. Is 2 a factor of j?
False
Let q(x) = -x**2 + 23*x + 9. Is 8 a factor of q(20)?
False
Let p = 18 - -14. Let s = 50 - p. Suppose -q - q + s = 0. Is 5 a factor of q?
False
Let q(o) = o**2 - 7*o - 10. Let k be q(8). Is (k + -1)/3*-20 a multiple of 20?
True
Is (-3)/(-24) - (-1195)/40 a multiple of 9?
False
Let r(p) = 3*p - 5. Let m be r(5). Is 20 a factor of m/4*20/2?
False
Suppose -5*l = 5*i - 20, 0 = 5*i - 3*l + 5 + 7. Suppose i = 9*v - 5*v - 56. Suppose -10 - v = -2*b. Is 7 a factor of b?
False
Suppose -2*l + 8 = 0, 2*f - 28 = -f - l. Suppose 0 = f*j - 4*j - 48. Is 6 a factor of j?
True
Let l(k) = k. Let d(g) = -2*g - 6. Let y(i) = d(i) + 3*l(i). Let o be y(9). Suppose -a - 3*a = s - 51, 5*s - 51 = -o*a. Does 12 divide a?
True
Suppose 4*w - 6 = -18, 4*m = 4*w + 84. Suppose 4*v - 14 = -3*n - v, -3*v = 5*n - m. Does 8 divide (-3)/n - 1 - -24?
False
Suppose 6*n = 2*n + 28. Suppose -4*z = -n*z. Suppose 3*b + 4*i + 6 = 1, -b + 2*i + 15 = z. Is 2 a factor of b?
False
Let t(y) = -y**3 + 6*y**2 - 5*y + 3. Let b be t(5). Let d(j) = 4*j + 1. Let g be d(1). Suppose 0 = n - 3*r - 25, -2 = -b*n - g*r + 3. Is 10 a factor of n?
True
Let x(c) be the third derivative of 0*c**5 + 0*c - c**2 + 1/24*c**4 + 0 - 1/30*c**6 + 1/6*c**3. Is x(-1) a multiple of 4?
True
Is 2/(-4) - 404/(-8) a multiple of 25?
True
Does 41 divide -2 + -1 - 174/(-1)?
False
Let k(o) = 5*o - 5*o**2 + 3 - 2*o - 4*o - o**3. Is 2 a factor of k(-5)?
True
Suppose -2 = -z + 1. Suppose 7 + 200 = z*k. Is 33 a factor of k?
False
Suppose 2*m - 96 = -5*g, 2*g - m = 3*g - 18. Suppose -3*w - 5*x + g = 0, 0 = 3*w - 0*x - 3*x - 60. Is w a multiple of 5?
True
Let n(f) = -f**3 - f**2 + 6. Suppose -3*m = -m. Does 2 divide n(m)?
True
Suppose 3398 = 11*r + 538. Does 13 divide r?
True
Suppose 0 = 4*i - u + 4*u + 44, 4*u = 16. Let y = i + 23. Is 6 a factor of y?
False
Suppose -8 = -4*w + w - 5*h, -4*h - 1 = -5*w. Let u(r) = -r + 1. Let o be u(w). Suppose o = t - 2*d - 5 - 3, -4*t + 46 = -d. Does 12 divide t?
True
Let l = 9 - 3. Does 16 divide (116/(-6))/((-2)/l)?
False
Let d = -42 + 61. Is 6 a factor of d?
False
Let b = 23 + -7. Is 2 a factor of b?
True
Suppose -8 - 4 = -3*s. Suppose 24 = s*k - 8. Suppose -3*v = -k*v + 100. Does 5 divide v?
True
Let i(b) = -b**2 + 6*b - 6. Let x be i(5). Does 28 divide 27 - 1*(-2 - x)?
True
Suppose -3*v = -4*y - 185, -3*v - 5*y + 3*y + 173 = 0. Is 6 a factor of (-3)/(-15) + v/5?
True
Let j(n) = n**3 + 7*n**2 - n + 2. Let o be j(-7). Suppose -g + o = 3. Is g a multiple of 6?
True
Suppose 0 = -8*h + 5*h - 15. Let z be (0 + h)*48/(-10). Let q = z - 15. Is 4 a factor of q?
False
Suppose 0*a + 5*a - 195 = 0. Does 10 divide a?
False
Suppose 7*a + 267 = 10*a. Suppose 25 - a = -2*o. Is 7 a factor of o?
False
Let q(b) = -3*b + 1. Let x be q(-1). Does 9 divide (-2)/4 - (-102)/x?
False
Let a(x) = x**2 - 3. Let t be a(6). Suppose t = 5*u + 8. Is 2 a factor of u?
False
Let h(g) = 8*g - 1. Let x be h(6). Suppose b = -1, 0 - x = -2*w - 5*b. Let t = -9 + w. Is t a multiple of 13?
False
Let l = -30 - -58. Let u = 7 + l. Is u a multiple of 24?
False
Suppose -25 = 3*y - 10, 0 = -4*c + 4*y + 92. Suppose 4*g + 4*l = 112, 4*g + 4*l = 5*g - c. Does 13 divide g?
True
Let z(w) = 60*w + 1. Let q be 2 - (-3)/6*-6. Let b be z(q). Let x = -35 - b. Does 20 divide x?
False
Let k(u) = u - 4. Is k(15) a multiple of 2?
False
Suppose 0 = 3*o - s - 396, -o - s + 53 = -79. Is o a multiple of 44?
True
Let b be (-2 - (-6)/3)*1. Suppose 5*r = -4*w + 15, -3*w - 4*r + 3 + 9 = b. Let t(l) = -l**3 + l**2 + l + 10. Is t(w) a multiple of 10?
True
Let k be (-9)/6 - 1/2. Is 26 a factor of 0 - 49*(-3 - k)?
False
Let y be ((-27)/4)/(4/32). Is 50/(-15)*y/4 a multiple of 12?
False
Let g be (-2 - (-1)/1) + 10. Suppose 4*m = -4*f 