even?
True
Let y be 2/6 + (-628)/(-6). Suppose 147 = -3*n + 3*v, -5*n + v = 2*v + 275. Let c = y + n. Is 17 a factor of c?
True
Suppose -4 = 4*l - 36. Let j be (-56)/(-98)*217/2. Suppose -l + j = 3*h. Does 13 divide h?
False
Suppose -3*q = 15, -5 = -n - 0*q - 5*q. Is n a multiple of 6?
True
Let k be 1/(1*2/24). Let y = k + 8. Is y a multiple of 10?
True
Suppose 2*x = 3*i - 18, x + 6 = i + 1. Suppose -4*k + 24 - i = 0. Is 4 a factor of k?
True
Let d(z) = 6*z - 25. Does 17 divide d(15)?
False
Let u = 19 - 12. Is 3 a factor of u?
False
Suppose 0 = -0*d + 2*d. Is 8 a factor of -5*(d - (-69)/(-15))?
False
Let b = 135 + -189. Let f = 16 + -50. Let q = f - b. Does 10 divide q?
True
Suppose 0 = 4*l + 4*h - 188, 3*l - h - 101 = 60. Does 12 divide l?
False
Let u = 2 - -1. Suppose -2*a - 48 = 5*t, 6*a - 3*a + 90 = -u*t. Is (-2)/(-3) - a/3 a multiple of 6?
True
Let v be 187 - 0 - (9 + -8). Suppose -3*i + d + 223 = 2*i, -4*i = 3*d - v. Does 15 divide i?
True
Let g be (-240)/(1 - -2) - 0. Let a = -23 - g. Does 19 divide a?
True
Let r = -46 - -8. Let n(y) = 2*y**3 + 1. Let x be n(3). Let b = r + x. Is b a multiple of 11?
False
Suppose -2*o + 0 = -4. Suppose h + 5*g = -1, -h + 9 = -o*g - 3*g. Suppose h*x = 2*x + 30. Is x a multiple of 14?
False
Suppose -8 = -0*w - w - y, 5*y + 23 = 4*w. Does 7 divide w?
True
Let f = -5 - -8. Suppose -f = x - 4. Let w = 5 - x. Is w even?
True
Let i = -24 - -128. Does 13 divide i?
True
Let j(u) = -u**2 - 5*u + 4. Let g be j(-5). Suppose 10 = -5*k, g*k - 6*k - 80 = -4*p. Suppose -1 - p = -d. Does 8 divide d?
False
Suppose f = -0*f + 9. Let k = 39 - f. Does 15 divide k?
True
Suppose 4*z - 236 = -5*j, -j = 3*j - 4*z - 196. Is 6 a factor of j?
True
Is 23 a factor of 2/14 + ((-6630)/(-42) - -1)?
False
Suppose 2*h + 4 = 2*i, -5*h - i + 3*i = 4. Suppose h = -5*v + v + 4*b + 60, -3*b + 51 = 5*v. Is v a multiple of 12?
True
Is 294/24 + (-22)/(-8) + -3 a multiple of 2?
True
Suppose -4 = 3*z - 2*f, 2*z - 3*f + 8 = f. Let t be 4/(-2) + z + 21. Let w = 38 - t. Does 10 divide w?
False
Let y(q) = 2*q**2 - 8*q - 6. Let j(n) = n**2 - 5*n - 8. Let v be j(7). Is y(v) a multiple of 18?
True
Let t be 3*(-2 + 1 - 0). Is (-4 - -2 - t) + 2 a multiple of 3?
True
Let s(p) = -9*p + 6. Let r(z) = 10*z - 7. Let d(o) = -4*r(o) - 5*s(o). Let n be d(-5). Let t = 50 + n. Does 10 divide t?
False
Suppose 0 = 4*l + 2*a - 26, 4*l + 25 = 8*l + a. Is ((-2)/l)/(2/(-102)) a multiple of 5?
False
Let a be 4*10/8*-2. Is 5/(a/(-28)) + -2 a multiple of 5?
False
Let o = 413 - 188. Is o a multiple of 15?
True
Let z = -67 + 82. Does 15 divide z?
True
Suppose -4*r + 9 + 15 = 0. Is r a multiple of 3?
True
Let r(x) = x + 2. Let f be r(0). Let t be (1/f)/(5/40). Suppose -3*b + 44 = 2*z - 4*z, t*b - 3*z - 57 = 0. Is 8 a factor of b?
False
Suppose -3*k = 4*h + 68, 0 = -h - h + 5*k - 34. Let m = h - -67. Is 17 a factor of m?
False
Let y = -117 + 209. Is 21 a factor of y?
False
Let c(g) = g**2 + 4. Suppose -5*m + 40 = 3*p, -2*m - p = -9 - 6. Suppose m*y = 2*y - 15. Does 11 divide c(y)?
False
Let i be (-5 - -3)*(-6)/4. Suppose i*j = -18 + 75. Suppose -2*k = -k - j. Is k a multiple of 12?
False
Suppose 7*m - 235 = 2*m. Suppose -4*h + 0*i = 3*i - m, 3*h = -5*i + 49. Does 8 divide h?
True
Let j = 82 - 66. Is j a multiple of 8?
True
Suppose r = -4*w - 39 - 67, -16 = 4*w. Let h = -62 - r. Is 14 a factor of h?
True
Let t = 9 + -2. Is t a multiple of 4?
False
Let z(d) = d + 1. Let n be z(6). Suppose 7 - 13 = -3*o. Suppose g = n + o. Does 3 divide g?
True
Is (-51)/(-5) + 6/(-30) a multiple of 10?
True
Let j(s) = 2 - 2*s**2 - 5*s + s**3 - 7 + 10 + s. Does 7 divide j(4)?
True
Let u = -4 + 5. Suppose -3*a + 2 = -u. Is 12 a factor of a + -1 + 6*2?
True
Suppose 0 = 2*u - 96 - 8. Does 12 divide u?
False
Let u = 9 + -28. Let f = u - -11. Let o(b) = b**3 + 9*b**2 + 6*b - 1. Does 5 divide o(f)?
True
Suppose -c + 11 = 3*m, 3*m - 7 = 2*c - 4*c. Let o(f) = -f - 4. Let d be o(c). Suppose d = -3*k - 2*k + 125. Is 10 a factor of k?
False
Suppose -5*x + 151 = a, -2*x = -4*a - 6*x + 524. Is a a multiple of 14?
True
Suppose -4*a - 196 = -5*i, 3*a = 2*i - 24 - 60. Is i a multiple of 9?
True
Let u(i) = -i**3 - 19*i**2 - 24*i + 19. Is u(-18) a multiple of 22?
False
Let t be 4/(-10) + 2/5. Suppose t = n - 1 - 5. Is 2 a factor of n?
True
Let m = 28 - 9. Suppose 3*z = -m + 7. Let g(p) = -2*p - 1. Is 7 a factor of g(z)?
True
Let f(h) = h**2 - 3*h - 2. Let k be f(-2). Suppose -3*x - 200 = -k*x. Let r = x + -26. Is 12 a factor of r?
False
Let u = 28 - 13. Is 3 a factor of u?
True
Let k(o) = 3*o - 5. Let b be k(3). Suppose b*d - 33 = 7. Is 4 a factor of d?
False
Let x(y) = -4*y + 6. Let o be x(4). Is (72/10)/((-2)/o) a multiple of 18?
True
Is 9 a factor of (-2 - 18/(-15))/((-4)/130)?
False
Let o(w) = -24*w - 2 - 2 + 0. Let z be o(-3). Suppose 5*d - z = d. Is d a multiple of 14?
False
Let j = -9 - -41. Let p be (-2)/7 - (-16)/7. Suppose 0*z - p*z + j = 0. Is z a multiple of 11?
False
Suppose 5*x = -4*c - 140, 2*x + 5*c + 56 = 2*c. Let a = x - -48. Suppose 1 - a = -l. Does 14 divide l?
False
Suppose 67 = 8*n - 45. Is n a multiple of 7?
True
Let n be ((-3)/(-2))/((-12)/(-16)). Let c be n - (0 + 0/(-2)). Does 6 divide c/(-4) - (-26)/4?
True
Let j(g) = -g**3 - 10*g**2 + 8*g + 13. Let n be j(-11). Suppose n = 5*c + o - 40, 0 = 3*c - 3*o - 66. Is c a multiple of 8?
False
Suppose 6*u - 479 = 415. Is 14 a factor of u?
False
Does 13 divide (-3)/(-18)*-2 - 927/(-27)?
False
Let v(s) be the third derivative of s**8/20160 + s**7/1008 + s**6/360 - s**5/20 + s**2. Let t(z) be the third derivative of v(z). Is 16 a factor of t(-7)?
True
Let u(a) = a**3 + 3*a**2 + a - 1. Let g be u(-3). Let l be 3/g*(-8 + 4). Suppose -l*t = -5*t + 34. Does 6 divide t?
False
Let h = 572 + -273. Does 13 divide h?
True
Suppose 4*x = 5*c + 6, 0 = -c - 2*c - 6. Let v(m) = -m + 1. Let b be v(x). Is 2 a factor of (-1)/((b - 1)/(-2))?
True
Let q be ((-1)/(-3))/((-4)/(-1380)). Is q/(-2)*(-44)/55 a multiple of 18?
False
Is 11 a factor of ((-2)/((-8)/(-14)))/((-1)/26)?
False
Suppose 2*c - 397 = -63. Let r = c - 107. Is 20 a factor of r?
True
Let m(q) = 3*q**2 - 9*q - 2. Let v be m(9). Let o = v + -112. Does 16 divide o?
True
Let k(b) = -b**2 + 6*b - 2. Let n be k(3). Suppose n*p = 6*p + 55. Does 18 divide p?
False
Let m(n) = 4*n + 8. Suppose 3*r = 4*r - 7. Does 18 divide m(r)?
True
Let k = -15 + 24. Does 3 divide k?
True
Let x(o) = -o**2 + 5*o - 5. Let n be x(4). Let q be ((0 - 2) + 2)/n. Suppose -3*y + 3*m + 33 = q, 2*m = -0 + 8. Is 13 a factor of y?
False
Let u be (-8)/(-20) + (-8)/(-5). Suppose -u*s + 72 = 3*g, 2*s = s. Does 8 divide g?
True
Suppose 2*l + 3*k - 4 = 0, l - 3*l + 5*k = -20. Let m be 2/(-3)*(l + -8). Does 14 divide (17*m)/(2 + -1)?
False
Let t(z) = z**3 + 8*z**2 - 2*z + 3. Let u be t(-8). Suppose 0 = 2*j + 4*h + 4, 0 = 3*j + h - u. Does 4 divide j?
True
Suppose 0 = 5*w - 25, -24*w = 3*f - 25*w - 145. Is 4 a factor of f?
False
Let y(f) = -f**3 + 3*f**2 + 5*f - 2. Let k be y(4). Suppose 46 + 44 = 5*n - 5*g, -4*n + 72 = -k*g. Does 9 divide n?
True
Let g(r) = -r - 6. Suppose 5*u - 17 = -57. Let n be g(u). Suppose 50 = n*z + 3*z. Is 10 a factor of z?
True
Let p(v) = v**3 - 8*v**2 - 10*v + 11. Let n be p(9). Suppose 247 = 4*d - 5*j, 3*d - 191 = -0*j - n*j. Does 21 divide d?
True
Is (-3 - -6) + 30 + 3 a multiple of 9?
True
Let y = -43 + 19. Let m = -12 - y. Is m a multiple of 6?
True
Let n = 64 + 47. Suppose n = -5*a - y, 23 + 44 = -3*a - y. Does 12 divide (-590)/a - (-6)/33?
False
Suppose 4*x - 4*c - 1063 - 561 = 0, 3*x - 1212 = -3*c. Suppose -4*z = z - x. Is 22 a factor of z?
False
Suppose 215 = -19*l + 24*l. Does 5 divide l?
False
Suppose -f + 39 + 11 = 0. Does 10 divide f?
True
Let h(k) = 2*k**3 + 4*k**2 - 4. Let o be h(3). Let s = 29 + o. Suppose 3*w = 4*m + 110, -4*w - m + s = -0*m. Is w a multiple of 15?
True
Let b = -14 - -8. Is (-50)/4*b/5 a multiple of 15?
True
Let s(d) be the first derivative of -d**6/120 + d**5/12 + d**4/24 + d**3/2 + d**2/2 - 2. Let l(z) be the second derivative of s(z). Does 16 divide l(4)?
False
Suppose -d + 495 = 4*d + 5*i, 0 = 4*i + 4. Does 20 divide d?
True
Let t = 38 - 11. Does 9 divide t/(-1)*2/(-3)?
True
Let p(z) = 6 - z - 2 + 2*z**2 + 0 - z. Does 16 divide p(3)?
True
Does 26 divide (-8)/44 + (-2292)/(-22)?
True
L