= -4*k. Let h(s) = 4*s**2 + 2*s - 1. Is h(k) even?
False
Let f = -26 - -52. Does 13 divide f?
True
Suppose 9*d = 4*d - 10. Let f be (d - 0)*6/(-4). Let l(g) = 2*g**3 - 3*g**2 - 2*g - 2. Does 7 divide l(f)?
False
Suppose -25 = -5*m, b - 3*m + 3 = -6. Let u be (-4)/6*b/4. Is 17 - (1 + u + 0) a multiple of 17?
True
Let z = 3 + -2. Does 14 divide (-9*(-28)/6)/z?
True
Suppose 2*l - 3*n - 11 = 0, 5*l - n = -2*n + 19. Suppose l*i - 2*i - 428 = 0. Suppose 3*w = 5*g + 20 - i, -2*w = 4*g - 164. Is g a multiple of 14?
False
Let j(h) = -3*h. Let n be j(-9). Suppose n = 2*r - 15. Is 19 a factor of r?
False
Let g(x) = x**2 - 4*x + 1. Let s be -3 + (2 - 2 - -9). Is g(s) a multiple of 10?
False
Let w be (-7)/4*(-28)/7. Suppose w + 23 = 2*o. Is 7 a factor of o?
False
Let c(d) = d**2 + 1. Let l be c(-3). Let b be 4/l - (-286)/10. Suppose -3*r + 19 + b = 0. Does 8 divide r?
True
Let n be (16/(-6))/(1/3). Let m = 0 + 1. Does 5 divide m - n/(0 - -1)?
False
Let a(x) = 4*x**2 - x - 4. Let d be a(-5). Suppose 4*o - 2*w + 76 = 0, -2*o + 7*o + d = w. Let t = o + 31. Is t a multiple of 5?
True
Suppose 4*h = -3*m + 22, -4*m + 0*h + 2*h = 0. Suppose m*a = 7*a - 155. Does 14 divide a?
False
Let o(q) = -q**2 + 8*q + 1. Let i be o(8). Let g(l) = 65*l**3 - l. Is g(i) a multiple of 15?
False
Let b = 41 + -24. Does 4 divide b?
False
Let f(l) = -5*l**3 - l**2 + 4*l + 4. Let y(u) = u**3 - u - 1. Let b(n) = -f(n) - 4*y(n). Let p be b(0). Suppose p = -5*j + 8 + 17. Does 2 divide j?
False
Suppose 0 = -3*u - y + 11, u - 3*y + 6*y + 7 = 0. Suppose z + 160 = u*z. Is 9 a factor of z?
False
Let m(n) = n + 6. Let y be m(-7). Does 5 divide (y/3)/(4/(-168))?
False
Let c(y) = 10*y**2 + 8*y - 3*y + 9 - 8 + y + y**3. Is 7 a factor of c(-9)?
True
Let l = -4 + 12. Is 3 a factor of l?
False
Let j(o) = 156*o + 8. Is j(2) a multiple of 13?
False
Suppose -5*j - 69 = -2*w, 6 = 3*j + 3. Suppose -4*b = 2*z + 22, 4*z + b = -0*b - w. Is 4/((-24)/z + -2) a multiple of 3?
True
Suppose -c + 2*c - 40 = 0. Does 10 divide (-2)/(-5)*5 + c?
False
Let h be (-18)/30*5/(-1). Suppose -5*c + 9 = -4*y, -7 = y + y - h*c. Suppose -y*g + 105 = -11. Is 12 a factor of g?
False
Let f = 410 + -201. Does 5 divide f?
False
Suppose -7*z = -2*z - 445. Is 18 a factor of z?
False
Suppose -2*x + 6*w = 3*w + 5, -10 = -2*w. Suppose 3*j - 4*k = 22, x*j - 50 = k + 3*k. Does 8 divide j?
False
Let x(b) = b**2 + 5*b + 2. Does 19 divide x(-9)?
True
Suppose 61 = 2*a + 5*h - 143, -a + 5*h = -132. Does 8 divide a?
True
Let b(u) = -u**2 - 4*u - 2. Let z be b(-5). Let f = z + 17. Is 4 a factor of f?
False
Let v(h) = -h**3 - 27 - 1 + 0 - h. Let z be v(0). Let a = z + 50. Is a a multiple of 11?
True
Let u = -1 - -1. Suppose 4*b + 14 = 6*b. Suppose t - b = -u*t. Does 3 divide t?
False
Suppose -j = 3*j - 400. Is 25 a factor of j?
True
Let f(k) = -k. Let x(g) = -g + 6. Let y(o) = -3*f(o) + x(o). Does 10 divide y(7)?
True
Let h = 263 - 171. Does 23 divide h?
True
Let r = -4 - -8. Suppose r*q - 227 + 47 = 0. Is 15 a factor of q?
True
Let k be 2 + 0/1 + 119. Suppose -1 = 4*r - k. Is 15 a factor of r?
True
Let x = 37 + 139. Let l = -122 + x. Does 16 divide l?
False
Let u(d) = 2*d**2 - 10*d - 12. Let m be u(10). Suppose -v - 2*v = -5*g + 27, g + 5 = -2*v. Suppose -5*x + m = g*l, l - 12 - 15 = -4*x. Is l a multiple of 12?
False
Suppose 0 = 3*m, x + 3*m = 21 + 17. Is x a multiple of 19?
True
Let z = 124 + -55. Is z a multiple of 23?
True
Suppose 0 = -2*r + a + 2*a + 4, 32 = -3*r - 5*a. Is 12 a factor of (3/r)/((-3)/120)?
False
Let h = 59 - -14. Is h a multiple of 11?
False
Suppose -2*m + 6 = 3*b + 25, 5*b - 5*m = -15. Let r = 6 + b. Is 3 a factor of (1 - r) + 2 + 1?
True
Let a = -15 + 51. Does 11 divide a?
False
Suppose 77 = -68*r + 69*r. Does 9 divide r?
False
Let n(i) be the third derivative of i**5/30 - i**4/12 + i**3/3 + i**2. Does 3 divide n(2)?
True
Suppose 15 = 2*x - 21. Suppose -2*p = p - x. Suppose -2*i = -p, -5*i = 5*t - 62 - 53. Is t a multiple of 7?
False
Suppose 0 = 2*h - 16 - 84. Is h a multiple of 10?
True
Let s = 15 + -6. Does 9 divide s?
True
Let v(i) = -21*i - 1. Let t be v(-3). Suppose 29 = 5*z - 191. Let q = t - z. Does 9 divide q?
True
Let w = -108 + 151. Suppose 3*y = w - 13. Does 7 divide y?
False
Let u be (4/(-2))/(3/(-6)). Suppose 0 = -u*m + 2*m. Suppose 0 = -2*j + 5*q + 72, m*q = -4*j - q + 144. Is j a multiple of 12?
True
Let d(t) = t**3 + t**2 - t + 40. Let l(a) = a**2 + 7*a + 6. Let c be l(-6). Is d(c) a multiple of 18?
False
Suppose 3*z + y = 4*y + 357, 357 = 3*z + 5*y. Is 7 a factor of z?
True
Suppose -5*t - 10 = -30. Does 8 divide 35 + t/(8/(-6))?
True
Let s(o) = o**2 - 6*o - 8. Let j(b) = -b**3 + 4*b**2 + 2*b + 2. Let a be j(4). Let n be s(a). Let i = -18 + n. Is 4 a factor of i?
False
Let x(f) = 22*f**2 - f - 15. Is 27 a factor of x(-3)?
False
Let r be (3 + (-7 - -4))/1. Suppose 2*w = -r*w + 232. Does 32 divide w?
False
Let q be -1*2/((-2)/(-15)). Does 11 divide (-270)/(-8) + q/20?
True
Suppose -6 = -0*a - 3*a. Suppose a = 3*g + 11. Is 7 a factor of 28*(g/(-6) - 0)?
True
Let h(c) = c**3 - 4*c - c - 3 + 2*c + 4*c + 6*c**2. Let x(l) = l**2 + 9*l - 5. Let q be x(-9). Is h(q) a multiple of 6?
False
Let t = -12 - -114. Is 43 a factor of t?
False
Suppose 2*g = 5*t - 340, 2*g = -4*t + 3*g + 275. Is 10 a factor of t?
True
Let d(j) = -j**3 - 5*j**2 + 10*j - 9. Let o be d(-7). Does 12 divide (1 - 2)*2 + o?
False
Let t be (-3 - -5) + (-1 - -1). Suppose h = 2*i - 20, 0*i + t*h = i - 10. Is 5 a factor of i?
True
Suppose 2*i - 2*z = 4*i - 522, 5*i + 2*z - 1317 = 0. Does 45 divide i?
False
Let y = 14 - 6. Let o = y + -6. Is o a multiple of 2?
True
Suppose -q - 37 - 24 = 0. Let k = 124 + q. Is k a multiple of 17?
False
Let t = 150 - 84. Let k = t + -35. Is k a multiple of 14?
False
Suppose 0*h = -2*h - 14. Let f = -3 - h. Does 13 divide 84/2*2/f?
False
Let w be 1 + (-2 - -2 - 0). Let n be (-1)/(1 - w/2). Is 3 a factor of (35/n)/(-5)*2?
False
Let i(x) be the third derivative of 1/6*x**4 - 1/3*x**3 + 0 - x**2 + 0*x. Is i(9) a multiple of 12?
False
Let b be -3*(0 - (-6)/2). Does 5 divide (-9)/6*84/b?
False
Suppose 0 = -3*l + 87 - 6. Is (l/(-6) - -1)*-4 a multiple of 9?
False
Suppose -4*x + 19 - 3 = 0. Is 2 a factor of x?
True
Suppose 27 = q - n + 4, -112 = -5*q + 2*n. Suppose 32 = 2*u - q. Is u a multiple of 17?
False
Let t(p) = 70*p**3 - p**2 + p - 1. Suppose 0 = -0*d + 5*d - 5. Is 23 a factor of t(d)?
True
Let h(w) = w + 29 - 31 + 11*w**2 - w. Is 21 a factor of h(-2)?
True
Let g(z) = z**2 - 3*z - 7. Let k be g(7). Suppose 3*b + 0*b + k = 2*l, -b = 3. Is 16 a factor of l + -4 + (-14)/(-1)?
True
Let t(q) = q**2 - 9*q + 24. Is 12 a factor of t(12)?
True
Let h = 216 + -86. Is h a multiple of 13?
True
Suppose -2*u = -4*l - l - 109, 143 = 4*u + 5*l. Does 16 divide u?
False
Let u = 33 - -3. Suppose 0*x + u = 4*x. Is x a multiple of 9?
True
Let d = 4 + -17. Let h = -3 + d. Let g = 30 + h. Is g a multiple of 7?
True
Let m(s) = 31*s**3 - s**2. Is 10 a factor of m(1)?
True
Let a(p) = -16*p**2 + 5*p + 1. Let d(s) = -32*s**2 + 9*s + 2. Let b(t) = 5*a(t) - 3*d(t). Does 4 divide b(-1)?
False
Let h = 8 - -11. Let p(i) = i**3 + 7*i**2 - 4*i. Let x be p(-4). Let m = x - h. Is 15 a factor of m?
True
Suppose -3*w + w = -270. Is w a multiple of 20?
False
Let m = -4 - -9. Suppose -m*k + k = -3*f + 34, -2*f + 26 = -k. Is 11 a factor of f?
False
Does 13 divide 1*(-3)/(12/(-52))?
True
Suppose -2*g - 5*i = -224, -4*g - 3*i = -267 - 167. Let x = g + -66. Is x a multiple of 10?
False
Let q(a) = 2*a**3 - 3*a**2 + 2*a - 3. Let x be q(2). Suppose -2*g + 2*u - 33 = -5*g, -g - x*u + 11 = 0. Is 4 a factor of g?
False
Let a = -4 + 4. Let f(p) = -1 - 3*p**2 + 2 + 4*p**2 - 5*p + a. Is 7 a factor of f(7)?
False
Let w(u) = -14*u**2 - 4*u - 5. Let o be w(-3). Let q = -49 - o. Does 20 divide q?
False
Suppose 2*b - 4*b = 56. Let c = -17 - -61. Let q = b + c. Is 7 a factor of q?
False
Let f(a) = -1 - 2 - 5*a + 7*a. Let c be f(3). Suppose -5*o = c*r - 35, r + 0*o + o - 11 = 0. Is r a multiple of 8?
False
Suppose 111 = 6*o - 2*o - 5*x, -5*o + 114 = 2*x. Suppose -2*k - 2*k = -o. Is k even?
True
Let k(l) = 3 + 3 + 3*l - 4*l - 9 - l**3 - l**2. Is k(-3) a multiple of 18?
True
Let s be 16/10*45/18. Suppose -28 = -s*a + 2*a. Does 4 divide a?
False
Let c(b) = b**3 - b**2 - b + 35. Supp