**2 - 4*n + 3. Let r(t) = 13*t**2 - 11*t + 8. Let i(k) = -11*h(k) + 4*r(k). Is i(-2) a multiple of 31?
True
Let b be 5*(1 + (-153)/(-15)). Let z = b - 35. Does 21 divide z?
True
Let t be 7/(-1*(-1)/(-4)). Let w = 111 + -173. Let r = t - w. Does 19 divide r?
False
Let z = -10 - -44. Does 18 divide z?
False
Let m(u) = u**2 + 6*u + 1. Let w be m(-8). Let y = w - -1. Suppose 3*g - 5 = 2*j, -5*g + y + 3 = 3*j. Is j even?
True
Let t be (-1)/(-1 - (-2)/3). Is 6 a factor of 1*(t + -1) + 4?
True
Suppose 2*y - 290 = -2*z, -4*y = -0*z - 5*z + 707. Is z a multiple of 13?
True
Let j(t) = t**3 - 2*t**2 + 6*t - 18. Does 69 divide j(8)?
True
Suppose -3*n = -0*n - 18. Does 6 divide n?
True
Let b = 74 - 45. Suppose 59 = 4*c - b. Is 6 a factor of c?
False
Let u(b) = -b**3 + 10*b**2 - 17*b + 12. Does 3 divide u(8)?
False
Let r(b) = -49*b**3 + b**2 + b + 1. Is 34 a factor of r(-1)?
False
Let o be (-2788)/(-119) + (-8)/(-14). Let d = 82 - o. Does 20 divide d?
False
Suppose -a + 4*a - 9 = 0. Is ((-6)/a)/((-2)/5) a multiple of 2?
False
Let t(a) = -a - 8. Let h be t(-8). Suppose 3*m = -5*p + 112, h*m = -m - 2*p + 38. Is m a multiple of 19?
False
Suppose -r - r + 14 = 0. Suppose 2*y - 1 = -r. Is ((-15)/(-9))/((-1)/y) a multiple of 5?
True
Let o(m) = 5*m - 5. Is 4 a factor of o(4)?
False
Suppose -4*l + l - n = -193, 5*l = -4*n + 324. Is l a multiple of 8?
True
Let s be (2/(0 + 1))/1. Suppose 4*f - w - 152 = s*w, f - 38 = w. Is 19 a factor of f?
True
Let u = -23 + 32. Is u a multiple of 2?
False
Suppose 11*l - 5199 = -656. Is l a multiple of 12?
False
Let v = 51 + -35. Is 8 a factor of v?
True
Let h(m) = -3*m + 4. Let t be h(-7). Suppose 2*a - t - 39 = -w, w = 0. Does 14 divide a?
False
Suppose -4*j + 235 = j. Suppose -3*a - j = -11. Let y = a - -21. Does 9 divide y?
True
Suppose z + 2*o - 20 = 0, -19 = -2*z + 2*o + 21. Suppose 0 = 3*j - 4*i - 18, 5*j - 13 = 4*i + 9. Suppose z + 24 = j*v. Is 9 a factor of v?
False
Let a(r) = -r**2 + 5*r - 2. Let t be a(4). Suppose t*s + s - u = 0, -14 = -5*s - 3*u. Does 5 divide (-3)/((-3)/13) - s?
False
Let r = 367 + -252. Let w = -78 + r. Is 11 a factor of w?
False
Suppose 0 = -3*z + 4*z. Suppose -5*g + z*g = -205. Does 12 divide g?
False
Let p(z) = -z**2 + 25*z - 1. Is 11 a factor of p(5)?
True
Suppose -3*a = t - a - 4, t - a = 10. Let i = 0 + t. Does 4 divide i?
True
Let j(u) = -u + 1. Let v(h) = -h**3 - 5*h**2 + h + 8. Let d(b) = 2*j(b) - v(b). Let n = 2 - 6. Is 11 a factor of d(n)?
True
Suppose 0 = 2*b + 6. Is 11 a factor of (-5)/(b + (-51)/(-18))?
False
Let x(r) = -r**2 + 9*r - 7. Let d be x(8). Let h be (-151 - 0)/(d/(-1)). Suppose 0 = -5*l + h + 49. Is 17 a factor of l?
False
Let m = -334 + 516. Is m a multiple of 32?
False
Let c be (0 + 237/(-9))*3. Let k = c + 19. Is 5 a factor of (6/(-10))/(4/k)?
False
Suppose -10*i + 441 = -i. Is 16 a factor of i?
False
Suppose 2 = -r - 0*r. Let i = r + 7. Suppose 5*g - b = 8, 2*g - i*b - 2 = -4*b. Is 2 a factor of g?
True
Let z = -28 - -20. Is z/12 + 64/6 a multiple of 5?
True
Suppose 23 = 3*k - 52. Suppose -2*f = j - 34, -k + 0 = -5*f. Does 9 divide j?
False
Let r = 205 + -129. Suppose -5*v + r = -14. Is v a multiple of 15?
False
Let k = 1 + -5. Let s(v) be the first derivative of -v**4/4 - 2*v**3/3 + 2*v**2 + 2*v - 2. Is s(k) a multiple of 9?
True
Let m(u) = -u**3 + 5*u**2 - 5*u + 8. Let s be m(4). Suppose -2*l + 137 = s*h + 3*l, -167 = -4*h + 5*l. Is h a multiple of 19?
True
Let f = -10 + 30. Suppose -f = -5*o - 0. Is 2 a factor of o?
True
Suppose -2*t = -5*t + 5*i + 210, 3*t + 4*i = 183. Is 20 a factor of t?
False
Suppose 4*n + 5*v = 13, -4*n + n = -4*v - 2. Let j = n + -2. Suppose -38 = -2*m - j*m. Is 12 a factor of m?
False
Let j be 0*(-2 - -1)/1. Suppose 540 = 4*z - j*z. Suppose 3*k + 53 = 2*s, 4*s + 24 = 5*k + z. Is 13 a factor of s?
False
Suppose 2*s + 3*o - 178 = 0, o = s - 62 - 32. Suppose 0 = -3*k - k + s. Is k a multiple of 6?
False
Let s = -51 + 86. Is 5 a factor of s?
True
Suppose -17 = -k - 2. Suppose k = -5*m, 4*y - 3*m = 22 + 11. Is 6 a factor of y?
True
Suppose -i + 4*h + 26 = -60, -165 = -2*i + h. Is 30 a factor of i?
False
Let x(d) = -d**3 + 7*d**2 - 3*d - 2. Suppose -2*b - 16 = -2*i, 5*i - b + 9 - 33 = 0. Suppose 24 = i*p - 0*p. Is x(p) a multiple of 8?
True
Suppose y = -2*y - 12, -562 = -5*x + 3*y. Suppose 0*t = -2*t + x. Does 10 divide t?
False
Let w(z) = 8*z + 14. Does 14 divide w(6)?
False
Let g(w) = w**3 - 5*w**2 + 6*w - 6. Let k be g(4). Suppose k*c - 1 - 3 = 0. Does 20 divide 582/10 + c/(-10)?
False
Is (-2 - 1) + -2 + 20 a multiple of 15?
True
Suppose -r - 2*r - 3*d = -171, 2*d = -3*r + 171. Does 11 divide r?
False
Suppose -4*m - 4*z = -m + 34, 5*z + 20 = 0. Let i = -4 - m. Is 6 a factor of i - 1 - -4 - -1?
True
Let q(b) = 5*b**2 - b - 1. Let h be q(-1). Suppose -5*z + 5 + h = 0. Suppose z*w = -0*w + 36. Does 9 divide w?
True
Let l(v) = -v**3 - 6*v**2 - 5*v + 2. Suppose 3 = -0*m - 3*m - 5*h, 0 = -3*h + 9. Is l(m) a multiple of 17?
False
Let o be -4*(21/(-2))/7. Let j(t) = -5*t - 7. Let h be j(o). Let l = h - -88. Does 13 divide l?
False
Suppose 3*a = -3*q + 135, -4*a - 2*q + 157 = -23. Does 14 divide a?
False
Let i = 14 + -9. Suppose i = -b - 0. Let v = b + 7. Is 2 a factor of v?
True
Let w(c) be the second derivative of -c**5/10 - c**2 - c. Does 14 divide w(-2)?
True
Let z(b) = b**2 - b + 3. Suppose -j = 3*j - 16. Does 15 divide z(j)?
True
Let x(j) = j**2 + j. Let c be x(-2). Suppose -c*k = 2*l + 4, 4*l + k + 4*k = -10. Suppose -5*d + 71 - 6 = l. Is d a multiple of 6?
False
Suppose -2*s - 154 = -3*l, -s = -l - 6*s + 23. Suppose -v + l = v. Does 8 divide v?
True
Suppose 0 = 4*k + 43 + 53. Let p = 44 + k. Does 10 divide p?
True
Let r be 1*(-2 + 1) + -3. Let y = -2 - r. Suppose 20 = y*p - 48. Is p a multiple of 17?
True
Let o = -14 - -13. Let u(y) = 9*y**2 + y. Does 8 divide u(o)?
True
Suppose -2*b - 2*r + 3 - 9 = 0, -r = 3*b - 1. Suppose 2*s + 5 - 1 = b*j, 0 = -2*j + 3*s + 1. Is j a multiple of 4?
False
Suppose -7*p + 89 = -464. Is p a multiple of 6?
False
Suppose 4*b = b, -b - 40 = -4*n. Suppose 5*g + 0*g + 55 = 2*a, 0 = a + g - n. Is 15 a factor of a?
True
Let k = 136 + -53. Let y(t) = 2*t - 1. Let z be y(2). Suppose z*l - k - 4 = 0. Is l a multiple of 14?
False
Let t be (16/(-12))/((-4)/(-6)). Is t/6 + (-314)/(-6) a multiple of 24?
False
Let a = -5 + 36. Let j = 20 + a. Is 21 a factor of j?
False
Let g(t) = -t**2 - t. Let z be g(-1). Let d be z/1 + (-21)/(-7). Suppose f = -d*f + 32. Does 8 divide f?
True
Is -49 + 51 - (1 + -1 - 62) a multiple of 16?
True
Let j(k) = k**2 + k - 1. Let z be j(0). Let r be z/((0 - -1)/(-14)). Is (-7)/r*1*-14 even?
False
Suppose -j + 121 = t + 3*j, 0 = -5*t + 2*j + 671. Does 21 divide t?
False
Is (0 + 6/(-2))*(0 + -1) even?
False
Suppose 0 = -6*g + 60 - 18. Is g even?
False
Let c(i) = -43*i - 7. Is c(-1) a multiple of 4?
True
Let o = 182 - 143. Does 5 divide o?
False
Suppose -5*i + f = -0*f - 5, 20 = 2*i - 4*f. Is 15 a factor of (25 - i)/((-1)/(-1))?
False
Let x = 4 + 1. Suppose -4*f - 1 + 3 = -2*u, 5*u + x*f = 25. Does 3 divide u?
True
Let h = -17 + 50. Is h a multiple of 11?
True
Let f = -5 - -5. Suppose f*n + 2*n - 64 = 0. Does 16 divide n?
True
Suppose -2*z - 2*p - 30 = 0, 5*z = -5*p + 2*p - 83. Let g = -14 - z. Does 4 divide g?
False
Let p(z) = -z**3 - 3*z**2 + 4*z - 5. Let o be p(-4). Let i(r) = r**2 + r + 6. Is 17 a factor of i(o)?
False
Is 169 + (-16)/(-4) + 4/(-1) a multiple of 23?
False
Let h(s) = 47*s - 6. Is h(6) a multiple of 12?
True
Suppose -5*z = a + 2*a - 126, 42 = a - 4*z. Is a a multiple of 7?
True
Suppose 3*v - 8*v = 30. Let l = v + 3. Is 11 a factor of (-88)/6*l/2?
True
Let k be -1*4*-2*6/8. Let p(q) = 2*q**2 - 4*q - 5. Let z(d) = -3*d**2 + 6*d + 7. Let g(t) = -7*p(t) - 5*z(t). Is 12 a factor of g(k)?
True
Suppose 4*v - 340 = 2*m, 0*m = -5*v - m + 439. Suppose -3*n + v = -0*n. Is 10 a factor of n?
False
Let l be (-22)/(-8) + 4/16. Let x be l*2/6 + 7. Suppose -4 = -p + x. Is p a multiple of 9?
False
Suppose -2*y + 2 + 2 = -5*k, -2*k - 16 = 4*y. Let h = 0 - y. Is h even?
False
Let u be (-6)/(8/6 + -2). Suppose 2*n - 3*n = -u. Is 9 a factor of n?
True
Suppose 4*u = -16, 2*u + 44 = 4*h - 2*u. Is 7 a factor of h?
True
Suppose -5*t + 15 = 0, 4*t = -v - t + 83. Is v a multiple of 17?
True
Let z(o) = -5*o - 1. Let