 = -c**2 - 5*c + 1. Let g be x(-5). Let o be 2/(1 + g/(-2)). Suppose -43 = -2*r - 3*q, o*r = 8*r + 3*q - 89. Is 12 a factor of r?
False
Suppose -21 = -h - 3*y - 78, 2*h + 110 = -5*y. Suppose -2*m = -m + 31. Let s = m - h. Does 12 divide s?
False
Suppose 5*b - 298 = 5*l + 2*b, 2*l + 104 = 5*b. Let h = l + 121. Let p = -39 + h. Is p a multiple of 10?
True
Let h = 114 - 76. Let u(r) = r**2 - 9*r - 9. Let l be u(7). Let g = h + l. Is g a multiple of 13?
False
Let d = 186 - 102. Let i = d - 54. Is 6 a factor of i?
True
Suppose 3*t + 40 - 112 = 0. Suppose 2*l = 64 + t. Does 15 divide l?
False
Suppose 5*a + 199 + 421 = 5*m, -m = a - 114. Is m a multiple of 7?
True
Suppose b + b = -5*m + 329, -2*m = -2*b - 140. Does 15 divide m?
False
Let v be (-60)/21*(-49)/14. Suppose 0 = -4*p + 4*u + 1 + 63, 2*u + v = 0. Does 11 divide p?
True
Let t(v) be the third derivative of v**7/840 - v**6/720 - v**5/60 + v**4/12 + 2*v**2. Let g(z) be the second derivative of t(z). Is g(2) a multiple of 3?
False
Let s = 2 - 6. Let z = s + 56. Is 13 a factor of z?
True
Let y(f) = 6*f - 1. Let u(g) = 13*g - 2. Let o(c) = -4*u(c) + 9*y(c). Is 7 a factor of o(13)?
False
Let r be 4/8 - 657/(-6). Let h = r - 32. Is h a multiple of 26?
True
Let l = 3 - 15. Let w be 42/(-8) - 3/l. Is 2/w + (-54)/(-10) a multiple of 2?
False
Suppose 2*y + 5 - 7 = 0. Does 6 divide -1*(-20 - (y - 4))?
False
Let k = 1 + 0. Let s = 4 - k. Suppose s*t + 5*o = 34, -1 - 19 = -4*o. Is t even?
False
Suppose 0*m = 2*m - q - 7, q = 3*m - 12. Suppose -m*s + 104 = -0*s - 3*j, -2*j = -4*s + 84. Is 16 a factor of s?
False
Does 7 divide (-126)/(-4) - (-5)/(-10)?
False
Suppose 2*d = 117 + 3. Suppose -k - 13 = -5*t + 2*k, -4*t - 4*k + 4 = 0. Suppose -2*y + 2 = 5*q - 12, -4*y - t*q = -d. Is y a multiple of 17?
True
Let g = 42 + 12. Is 12 a factor of g?
False
Let f be 5 + -2 - 0/(-4). Let x(g) = -g**3 + 3*g**2 + 4. Is 2 a factor of x(f)?
True
Let n = 31 + -5. Suppose 40 = 4*d - i, -i + 0*i = 2*d - n. Does 9 divide d?
False
Let g(h) be the second derivative of 5*h**4/12 - h. Suppose -3*z = -2*d - 6*z - 10, 0 = -2*d - z - 6. Is g(d) a multiple of 10?
True
Suppose 3*v = -47 + 170. Is v a multiple of 12?
False
Suppose 0*n = -4*n + 408. Is 34 a factor of n?
True
Let w(o) = -20*o + 4. Let j be w(-3). Suppose 0 = -5*v + c + 160, -j = -2*v - 2*c + 3*c. Does 11 divide v?
False
Let a(j) = j + 13. Suppose 4*p = -2*y - 34, p + 13 + 6 = -2*y. Is a(y) a multiple of 6?
True
Let n(h) = -h**2 + 6*h + 8. Let s be n(7). Let u = s - -12. Is 13 a factor of u?
True
Let z be (-2 - -12)/((-2)/(-4)). Suppose j = -5 + 2, 0 = -2*o + 2*j - z. Let s = o - -33. Is 7 a factor of s?
False
Let g(i) = i**2 - 10*i + 1. Is g(-10) a multiple of 35?
False
Suppose 5*b + 2 = 3*b. Let y be 5 + (b + 1)/(-2). Suppose y*t = 145 - 55. Does 14 divide t?
False
Suppose -826 = -5*y + c, 0 = -2*c - 2. Suppose -l - y = -5*x, 0 = -3*x + l + 82 + 17. Is 10 a factor of x?
False
Does 6 divide 0 - (-3 - -4 - 13)?
True
Let o(b) = -b - 2. Let j be o(-7). Suppose 4*v - 176 - 50 = -2*t, 0 = j*v + 5*t - 280. Does 22 divide v?
False
Let o(a) = -2*a - 8. Let x be (-6)/(-9) + (-20)/3. Let z be o(x). Suppose f + z*f - 135 = 0. Does 8 divide f?
False
Suppose 4*r - 67 = 161. Does 3 divide r?
True
Let x = 0 + 2. Let u(i) = -i**3 + i**2 + 2*i + 1. Let y be u(x). Does 10 divide (10/y)/(3 - 2)?
True
Let m(g) = g**2 + g - 3. Let h be m(3). Let t be (-1 + 7)*(-3)/h. Let d(k) = 2*k**2 - k + 1. Does 8 divide d(t)?
False
Suppose 2*p = 175 + 155. Let x be -2 - 0 - p/(-5). Let g = 56 - x. Does 15 divide g?
False
Let c(n) = 4*n**2 + 0*n**2 - 3*n**2. Suppose -4*h - 6 - 6 = 0. Does 4 divide c(h)?
False
Suppose 5*t = 10*t - 115. Does 23 divide t?
True
Let k = 11 - 13. Let w = 11 + k. Is 7 a factor of w?
False
Let u = 22 + -21. Let j(o) = -o**2 + 5*o + 8. Let i be j(7). Does 14 divide u/(-3) - 170/i?
True
Suppose -3*c + 8*c - 50 = 0. Is 3 a factor of c?
False
Let t = 8 + -3. Suppose 19 = 4*n - t*s - 7, 16 = 5*n + 2*s. Suppose -n*r + 140 = -2*u, -62 = 4*r + u - 190. Does 13 divide r?
False
Suppose -5*w + 432 = -f - 43, -3*w + 5*f = -307. Does 19 divide w?
False
Let j = -11 + 31. Is 5 a factor of j?
True
Let p(o) = 5*o + 30. Let c(g) = 2*g + 10. Let n(f) = -11*c(f) + 4*p(f). Let j(m) = m. Let h(k) = 3*j(k) + n(k). Does 4 divide h(-6)?
True
Let j = -60 + 76. Does 4 divide j?
True
Let m(d) = 2*d**2 + 6*d + 5. Is 58 a factor of m(-9)?
False
Let k(l) = 9*l - 16. Is 3 a factor of k(9)?
False
Let z(u) = -4*u**3 - u**2 - 2*u - 4. Is z(-2) a multiple of 4?
True
Suppose 0*r - 4*r - 20 = 0. Let z = r + 50. Is z a multiple of 12?
False
Suppose -134 = j - 3*j + 2*i, j - 52 = 4*i. Does 17 divide j?
False
Suppose -9 + 0 = g. Let o = g + 11. Suppose o*z - 2*f - 30 = 28, 0 = f - 5. Is z a multiple of 14?
False
Suppose c = -3*v + 23, 0*c = -3*c - 5*v + 73. Is c a multiple of 13?
True
Let p = -89 - -123. Does 17 divide p?
True
Let w be 2*(-1 - -1 - 1). Let r = w + 2. Suppose -3*y = -r*y - 72. Is y a multiple of 16?
False
Let q = 3 - -1. Suppose -q*v - 4 + 28 = 0. Does 2 divide v?
True
Let c(f) = f**3 + f**2 + 2*f + 3. Let u be c(-3). Let w(m) = -2*m. Let p be w(2). Let d = p - u. Does 6 divide d?
False
Suppose -d - 3*b = -53, 3*d + 8*b - 3*b = 139. Is 11 a factor of (d + 1)*(-2 + 3)?
False
Let i(y) = -4*y + 1 + 4 + 2*y**2 - 3. Let m(o) = o**3 + o**2 - o + 3. Let c be m(0). Is 8 a factor of i(c)?
True
Let a be (-5)/2 - (-7)/(-14). Let t(c) = -2*c**3 - 3*c**2 + 3*c. Is t(a) a multiple of 6?
True
Suppose 0 = -4*d - 3*f + 133, -5*f + 81 = 3*d - 5. Does 5 divide d?
False
Let r = -28 - -64. Suppose -4 = -5*u + r. Is u a multiple of 4?
True
Let i = -19 + 36. Suppose 4*k - i = 7. Is k a multiple of 4?
False
Let k = 153 - -51. Does 34 divide k?
True
Suppose -4*n + 4*t + 10 = 30, 0 = -t + 3. Let c(g) = 2*g**2 + 2*g + 2. Is c(n) a multiple of 3?
True
Let m(s) = 4*s**3 + 17*s**2 - 15*s + 8. Let n(d) = -3*d**3 - 16*d**2 + 15*d - 8. Let f(i) = 4*m(i) + 5*n(i). Is f(11) a multiple of 12?
True
Does 23 divide 92 + (8 + -8)/(1 + 1)?
True
Let b = -4 + 30. Is b a multiple of 6?
False
Let z = 113 - 81. Is z a multiple of 16?
True
Suppose 0 = -0*b - 5*b + 20. Suppose -44 = -4*v - i + 3*i, -5*v = b*i - 68. Let p = -8 + v. Is p a multiple of 3?
False
Is 3/(-7) + (-432)/(-28) a multiple of 13?
False
Suppose 5*k + 4*x - 17 = 0, -3*k - x + 8 = -5. Does 5 divide k?
True
Let c(p) be the second derivative of -p**4/12 - 5*p**3/6 - 3*p**2/2 - 41*p. Let t = -4 + 2. Is c(t) a multiple of 3?
True
Suppose 2*l = 5*r - 600, 0 = -4*r - r + 3*l + 595. Is r a multiple of 12?
False
Let w = -16 + 4. Let i = 6 - w. Is 6 a factor of i?
True
Suppose 0*p + 5*z - 10 = -3*p, 5*z - 15 = -4*p. Suppose -10 = -p*f, 0*v + 3*f = -2*v + 14. Let w(h) = 2*h**2 - 5*h. Does 5 divide w(v)?
False
Is (-1)/5 + (6186/30 - 6) a multiple of 20?
True
Let z = 96 - 52. Does 14 divide z?
False
Suppose 0 = 4*q - 6*q. Does 9 divide 16 + q/(-1 - 3)?
False
Let b(k) = k**2 + 2*k - 6. Let g = -15 - -10. Let u = 9 + g. Is 9 a factor of b(u)?
True
Suppose 3*h = 786 + 354. Suppose -5*r + 0*r = -h. Let l = r - 45. Is l a multiple of 13?
False
Suppose -2*a - 4 = 6, -4*h = -3*a - 79. Suppose -19 = -5*t + h. Does 7 divide t?
True
Let c(o) = -o**2 - 8*o - 3. Let f be c(-5). Does 17 divide 2/(-8) + 603/f?
False
Suppose 2*x - 342 + 114 = 4*o, -3*x = 3*o - 324. Does 36 divide x?
False
Let x(l) = 2*l**3 + 3*l**2 - l - 2. Let w be x(-2). Is 17 a factor of 8/w - 1*-19?
True
Let o(d) = 2*d - 4. Let b = -3 - -12. Does 10 divide o(b)?
False
Is (-2)/7 - 1845/(-63) a multiple of 6?
False
Suppose 4*q + 2*v = 242, -2*q + 0*v = 3*v - 115. Does 12 divide q?
False
Let n(d) = d + 4. Let o be n(0). Suppose -o*h - 38 = -x, -4*x + 2*x + 4*h = -84. Does 14 divide x?
False
Let g = -11 + 15. Suppose 805 = 4*m + 333. Suppose -4*r - m = -3*t, -t + 4*r + g = -38. Does 19 divide t?
True
Let i(t) = -t**2 - 5*t - 5. Let l be i(-4). Let p(n) = -85*n**3 - 2*n**2 - n. Is 28 a factor of p(l)?
True
Suppose 0 = -c - 4*l + 11 + 170, -2*l + 2 = 0. Is 35 a factor of c?
False
Is 38 a factor of -2 - (0 + (-44 - -4))?
True
Let m be 0 + (-8)/(-2 + 0). Suppose -3*c - c - m = 0. Let k(z) = 14*z**2 + 2*z + 1. Is 13 a factor of k(c)?
True
Let m = 387 + -241. Is 22 a factor of m?
False
Let b = -6 + 8. Suppose b*w - 43 - 5 = 0. Is 12 a factor of w?