 even?
False
Let w be -2 + (2 - -2) - 2. Let q be (-17)/(2/(-6) + w). Is q/15 + (-4)/10 a multiple of 3?
True
Let z(r) = -r**2 - 11*r - 9. Let o be z(-9). Let f = -3 + o. Does 6 divide f?
True
Let m = 34 + -9. Is 5 a factor of m?
True
Suppose 0 = 7*z - 123 - 66. Is 6 a factor of z?
False
Let g(s) = 15*s + 2. Let d be g(6). Suppose -6*z + d = -2*z. Is 13 a factor of z?
False
Let y = -9 + 54. Suppose -5*f - 105 - y = 0. Let m = -8 - f. Does 7 divide m?
False
Suppose -21 = 3*p - 6*p. Suppose p*h - 4*h - 51 = 0. Does 12 divide h?
False
Let i(f) = 0*f**2 - f + 5 + 0*f**2 + 5*f**2 - 4*f**2. Let s be i(-8). Suppose r = s - 27. Is 18 a factor of r?
False
Let g = -94 + 189. Let o = -68 + g. Does 10 divide o?
False
Let m(r) = 7*r**2 + 4*r + 5. Does 40 divide m(-5)?
True
Suppose -u + 6*u = s + 3803, 2283 = 3*u - s. Does 15 divide u/18 + (-4)/18?
False
Let i(j) = j**2 - 7*j + 5. Is i(12) a multiple of 5?
True
Let g(y) be the first derivative of -y**5/20 + 5*y**4/12 + 5*y**3/3 - 4*y**2 + y + 1. Let t(f) be the first derivative of g(f). Does 16 divide t(6)?
True
Let l = 5 - -4. Is l even?
False
Let a = 211 + -430. Let j = -129 - a. Is 24 a factor of j?
False
Let o(u) = 6*u - u + 4*u**2 - 2*u**2. Let f(i) = -i**3 - 4*i**2 - i + 2. Let w be f(-3). Is o(w) a multiple of 7?
False
Let x(l) = 3*l**2 + l. Let j(r) be the first derivative of r**3 + 1. Let c be j(1). Is x(c) a multiple of 14?
False
Let z(b) = -2*b**2 - 14*b - 12. Let s be z(-12). Let n = -48 - s. Is 20 a factor of n?
False
Let j(u) be the third derivative of u**6/120 - u**5/12 + 5*u**4/24 + 7*u**3/6 - u**2. Is j(5) a multiple of 15?
False
Let l(s) = 5*s**2 + s. Let d(v) = -4*v**2 - 2*v - 1. Let i(h) = 6*d(h) + 5*l(h). Let k be i(8). Suppose -w + 10 = 2*f, -8 = -2*w - 0*w + k*f. Does 3 divide w?
True
Suppose -l + t = -84, 2*l - 232 + 69 = t. Let c = 165 - l. Is c a multiple of 23?
False
Suppose -3*d = -6*a + 4*a + 90, 90 = 2*a - 4*d. Is 9 a factor of a?
True
Suppose -9*l + 35 = -8*l. Suppose -5*j + 111 + 19 = 0. Let w = l + j. Is 27 a factor of w?
False
Suppose -4*r + n + 596 = 2*n, 0 = n. Is 17 a factor of r?
False
Let d be (2/3)/((-4)/(-30)). Suppose 0 = d*n - 3*y - 64 - 1, 0 = -5*n + 2*y + 65. Is 13 a factor of n?
True
Let v(s) = 2*s + 28. Does 28 divide v(0)?
True
Let x be (-3 + 14/4)*54. Let t = x - 23. Does 4 divide t?
True
Let c be -10*(-2 + 1/2). Is c*2*(-5)/(-10) a multiple of 15?
True
Let j(n) be the third derivative of -n**5/60 - 7*n**4/24 - n**3 + n**2. Let y be (6/4)/(6/(-20)). Is j(y) a multiple of 4?
True
Suppose -5*n - 637 - 311 = -4*g, -g - 2*n = -224. Does 10 divide g?
False
Let t be 20/6*(-18)/(-15). Suppose h - 39 + t = 0. Let z = h - 15. Does 20 divide z?
True
Suppose -q + 5*z - 4 + 16 = 0, 5*q = 5*z + 120. Does 12 divide q?
False
Let s(i) = -1 - 15*i - 2*i + 5*i. Let o(u) = -2*u**2 - u. Let z be o(-1). Is 11 a factor of s(z)?
True
Is (-10)/(1/5*-1) a multiple of 10?
True
Let u(p) = -p**2 + 26*p - 23. Is 8 a factor of u(17)?
False
Let z(b) = b**2 - b - 2. Let y be z(-2). Suppose -20 = -y*m - 0. Suppose 100 + 25 = m*s. Does 11 divide s?
False
Let z(a) = -3*a**3 - 8*a**2 - 6*a + 5. Does 35 divide z(-5)?
True
Let k(l) = -3*l - 2. Let w be k(-3). Suppose -2*y = -6*b + 2*b + 12, -2*y - 3*b + 9 = 0. Suppose -w = -4*t - 23, y = 2*o + 5*t - 40. Does 15 divide o?
True
Let l(h) = 20*h**2 + h - 2. Suppose 10*q = 14*q - 8. Does 20 divide l(q)?
True
Suppose 4*s = -i - i - 264, 0 = 2*i - 2*s + 264. Let z = -81 - i. Is z a multiple of 26?
False
Suppose d = 4*d - 54. Suppose 5*j - 4*t - 21 - 7 = 0, t + d = 4*j. Suppose -j*s + 114 = -22. Is s a multiple of 15?
False
Suppose 0 = -4*s + 3 + 1. Suppose -s = -r + 3*d, -2 - 1 = 3*r - 3*d. Does 7 divide r/(2/(-11) - 0)?
False
Let f(s) = -s**2 - 6*s - 2. Let n be f(-6). Let r(t) = -16*t + 1. Does 12 divide r(n)?
False
Let r(b) = 6*b**2 + 5*b - 5. Suppose -4*v + 2*y = -v - 9, -4*y + 12 = 4*v. Is r(v) a multiple of 21?
False
Let f(z) = z - 2. Let l be f(4). Suppose -l*q - 40 = 3*q. Let x = 22 + q. Is 8 a factor of x?
False
Suppose -3*u = 2*s - 151, -3*s + 6*s - 147 = -3*u. Does 2 divide u?
False
Suppose -q = q. Suppose 3*j = -q*j - 12. Let k(o) = o**2 + o + 1. Is k(j) a multiple of 13?
True
Let m be (-13 - -1 - 1) + 1. Let r be 24/18 + 2/(-6). Let f = r - m. Does 13 divide f?
True
Let d be 392/12*(1 - -2). Let z = 137 - d. Is 13 a factor of z?
True
Let v be -9 - -2*(2 + -1). Let a = -9 - -5. Let i = a - v. Is i a multiple of 3?
True
Suppose -5*j + 58 + 12 = -5*f, -5*j = -3*f - 74. Is j a multiple of 4?
True
Let s = -52 - -108. Is 11 a factor of s?
False
Let b(w) be the second derivative of -w**5/20 + w**4/12 + w**2/2 - 3*w. Let a be b(1). Let x(h) = 11*h - 1. Does 5 divide x(a)?
True
Suppose -3 = -j - d, 5*j = 2*d - 0*d + 29. Suppose j*t = 677 - 107. Suppose -4*n + 102 = -2*o, -5*n + 2*o = 4*o - t. Does 11 divide n?
False
Let m(a) = a**2 + 3*a + 2. Let w be m(-3). Let g = 6 - 3. Suppose -g = -w*y + 9. Is y a multiple of 6?
True
Let v be (0/(1 - 2))/(-2). Suppose v = -4*y - 3*g + 56, -4*g + 1 - 18 = -3*y. Suppose -y + 59 = 4*m. Does 6 divide m?
True
Suppose -o + 3*o - 22 = 0. Let z = o + -4. Is 3 a factor of z?
False
Suppose 19 = -2*r - 5*s, 0 = -3*r + 4*s - 10 + 39. Suppose 26 = 2*o - r*w, o + w - 23 = -5. Suppose -p = f - 19, -3*f - 5*p + o + 51 = 0. Does 14 divide f?
True
Let c = 2 - 1. Suppose -5*l - c = -4*l. Is 1/(l - -2)*8 a multiple of 3?
False
Suppose 0*x + 4*x - 5*d - 49 = 0, 5*x - 55 = 5*d. Let m(w) = w**2 - 6*w + 6. Let v be m(x). Suppose -s + v + 1 = 0. Is 7 a factor of s?
True
Let y(n) = 2*n**2 + n. Let l be y(-1). Let m = 1 - l. Suppose m = 3*p + 4*o - 10, -25 = 3*o + 2*o. Does 10 divide p?
True
Let u(p) = -p**3 - 6*p**2 - p - 15. Does 14 divide u(-7)?
False
Let p(f) = 11*f**2 + 3*f + 1. Does 13 divide p(-2)?
True
Let u(r) = 1 - 11*r**2 + r - 8*r**2 + 2*r. Let q(t) = t + 1. Let p(g) = 2*q(g) - u(g). Does 19 divide p(1)?
True
Suppose 12 = -2*z - 4*x, z + 3 = -4*z - x. Suppose 0 = -2*n - 4*i - i + 107, z = 3*n + i - 167. Does 17 divide n?
False
Suppose 0 = 5*t - 109 - 36. Let f = t - -1. Is f a multiple of 15?
True
Let o(n) = -6*n**2 + 9*n**2 + 1 - n - 3*n**2 + n**3. Let b(q) = 2*q**3 + 4*q**2 + 4. Let m(z) = b(z) - 3*o(z). Does 13 divide m(4)?
True
Suppose s = 5*p - 10, 2*p + 3*s = -2*p + 27. Suppose 2*c = -p*c + 140. Is c a multiple of 9?
False
Let x(w) = w**3 - w**2 - w - 1. Let t be x(2). Let v = t + 1. Suppose v*h = h + 8. Does 4 divide h?
True
Suppose -3*b + b - 5*o + 8 = 0, 5*b = -3*o + 39. Let m = b - 4. Does 5 divide m?
True
Suppose 3*p - 217 + 52 = 0. Is p a multiple of 11?
True
Let x = 191 + -79. Does 14 divide x?
True
Let v = 3 + -4. Let f = 11 + v. Suppose f = -0*t + t. Does 6 divide t?
False
Let t(j) = -j + 1. Is 2 a factor of t(-3)?
True
Let q = 5 + 2. Let h = q + -3. Suppose 2*m - 162 = -4*y, -y - h*m + 23 = -0*y. Is 17 a factor of y?
False
Suppose 3*b = -b + 44. Is b a multiple of 2?
False
Let w(t) = t**3 - 9*t**2 + 8*t + 10. Let b be w(8). Let u be b/(-4)*(-6)/5. Suppose -18 = -u*y - 3*j + 18, 69 = 5*y + 2*j. Is 5 a factor of y?
True
Let k = -12 - -19. Suppose 0 = -2*n - 3 + k. Suppose -n*b + 0*b + 2 = 2*x, 0 = -3*x - 4*b - 1. Does 3 divide x?
False
Suppose -2 = -2*c, f + 3*c = -c + 49. Does 14 divide f?
False
Suppose 11 = -h + 2*h. Let w = h + -9. Suppose 2*n - 128 = -w*n. Is n a multiple of 24?
False
Let d(c) = -c**2 + 3. Let u be d(3). Let p be ((-3)/u)/((-1)/2). Does 11 divide 2*((2 - p) + 5)?
False
Let x be 68/16 + (-1)/4. Suppose 0 = w - 3*f - 13, x*w - 2*f - 3*f - 45 = 0. Is 10 a factor of w?
True
Let q(b) be the third derivative of -2*b**5/15 + b**4/24 - b**3/6 - b**2. Let k(t) be the first derivative of q(t). Is 13 a factor of k(-2)?
False
Let y(z) = 187*z - 1. Let v be y(1). Is 7 a factor of 9/(-6)*v/(-9)?
False
Let j(m) = -m**3 - 3*m**2 - 4*m + 4. Does 23 divide j(-5)?
False
Let h = 0 - 0. Suppose 0*l + 4*l = h. Suppose 5*y = 3*c + 106, l*y = 2*y + 4*c - 32. Is 10 a factor of y?
True
Let p = -8 + 18. Let s be (24/36)/(2/9). Suppose -s*f + p = -f. Does 5 divide f?
True
Suppose 0 = -4*p - p - 45. Let i = p - -12. Suppose -i*n + 80 = 2*n. Is 8 a factor of n?
True
Let u be (1 + 1)*-91 + 0. Let w = -114 - u. Is 27 a factor of w?
False
Let h(b) = -b**2 + 32. Let v(o) = -o**2 + 31. Let m(f) = -6*h(f) + 7*v(f). Suppos