= 0. Does 23 divide q?
True
Let d(t) be the second derivative of t**5/20 + 3*t**4/4 + 3*t**3/2 - 7*t**2/2 + 3*t. Let j be d(-7). Suppose -8 = -z + j. Does 13 divide z?
False
Let t(v) be the third derivative of -v**6/120 - v**5/15 - v**4/6 - v**3/6 + 5*v**2. Is 11 a factor of t(-5)?
True
Is ((-28440)/35)/(-9) - 4/14 a multiple of 10?
True
Let x(z) = 38*z**2 - 2*z. Let k be x(-2). Suppose -2*j = -0*n + 4*n - 162, -4*j = 4*n - k. Is 14 a factor of n?
True
Let g(c) be the first derivative of 0*c + 14/3*c**3 - 2 + 0*c**2. Is 9 a factor of g(-1)?
False
Let m(z) = 2*z**2 - 10*z. Is m(8) a multiple of 14?
False
Let a(m) = 14*m**2 + 3*m. Let x be a(3). Let h = x - 59. Let b = h + -40. Does 12 divide b?
True
Let d be -3 + (6 - (1 + 2)). Suppose -4*s + s + 5*w = -20, -4*s + w + 55 = d. Is 8 a factor of s?
False
Suppose 2*g = 2, 3*i = 2*i + g + 17. Let o = -11 + i. Does 4 divide o?
False
Suppose 0 = -3*i + q + 40, -5*q - 12 = 5*i - 52. Let w = 5 - i. Let p = w - -12. Is p a multiple of 2?
False
Let d(h) = -8*h**3 + 2*h**2 + 4*h + 3. Let y be (6*(-2)/(-6))/(-1). Does 28 divide d(y)?
False
Suppose -3*f + 12 = -3*x, -6*x - 17 = -4*f - x. Suppose 0*p - f*p - 6 = 0. Does 19 divide 50*(-3)/(-6) - p?
False
Let n(k) = -k + 2. Let v be n(0). Let y be -4*v/(-4) + -2. Suppose -i - 2*g + 24 = -y*g, 5*i - 5*g = 180. Does 16 divide i?
True
Suppose -28 + 8 = -2*w. Suppose -2*k = -0*k - w. Suppose 0 = -k*v - 47 + 167. Is 9 a factor of v?
False
Let u(b) = 146*b - 1. Let h be u(1). Suppose 3*z - 182 = -3*r + 25, -5*z = -2*r + h. Does 19 divide r?
False
Let d = -18 - -31. Is d a multiple of 11?
False
Let l(z) = -4*z - 4. Let p(m) = m + 1. Let f(j) = l(j) + 5*p(j). Let o be f(-1). Suppose -k - 3*v + 26 = o, k + 7*v - 2*v = 22. Is k a multiple of 16?
True
Suppose 0 - 14 = -p. Is 3 a factor of p?
False
Let u(l) = -l**3 + 5*l**2 - 2*l - 5. Suppose g = -0*b - b + 7, 0 = 5*b - 15. Let c be u(g). Suppose -m + c*m + 49 = 3*y, 2*y = -m + 21. Is 13 a factor of y?
True
Let a = -6 + 11. Suppose a*k = k + 20. Suppose 2*d + w = 74, -4*d - k*w + 16 = -120. Is 12 a factor of d?
False
Let z(x) = -x**2 - 5*x + 8. Let v be z(-6). Suppose v*o = -3*o + 150. Suppose 5*h + o = 8*h. Is 3 a factor of h?
False
Let q(r) be the first derivative of -r**4/4 - 3*r**3 - 4*r**2 + 6*r + 4. Does 2 divide q(-8)?
True
Suppose a - 59 = -52. Is 2 a factor of a?
False
Let c(t) = -6*t**2 - 9*t + 1. Let z(b) = 7*b**2 + 10*b - 1. Let k(g) = -5*c(g) - 4*z(g). Does 11 divide k(-4)?
True
Suppose -3*b + 113 = 2*i, 3*i - 2*b - b = 207. Suppose 2*k = -5*a + i, 2*a - 46 = -a - 5*k. Is 4 a factor of a?
True
Let b be 15/((-5)/(-4) - 1). Suppose 0*x = -2*x + b. Is 15 a factor of x?
True
Let m(u) = u**2 + 3*u - 4. Let q be m(-5). Does 4 divide 1*10 - (q - 8)?
True
Let j(g) = -11*g**3 - g - 1. Suppose 3*q + 1 = -2. Let u be j(q). Suppose -f - 7 = 3*v, -2*f + 5*f = -v + u. Is f a multiple of 2?
False
Let b = -21 + 25. Suppose -104 + 8 = -b*a. Is a a multiple of 6?
True
Let h be ((-12)/2)/(-3) - -30. Let u = h + 27. Does 27 divide u?
False
Let f = -5 - 1. Let g(w) = w**2 + 8*w + 5. Let y be g(f). Is y/(-3) + 2/(-6) a multiple of 2?
True
Suppose -3*f = 15, 6*z - 2*z - 3*f = 207. Is z a multiple of 16?
True
Let d = 301 - 116. Is d a multiple of 35?
False
Let g = 15 + 47. Is g a multiple of 31?
True
Suppose 2*d = 5*k - 4*k + 66, -4*d - 3*k = -132. Does 33 divide d?
True
Let g = -2 + 2. Suppose 0 = -g*i - 4*i + 32. Is i a multiple of 8?
True
Let p(x) = -3*x. Let a be p(1). Is -16*(a - (2 - 1)) a multiple of 26?
False
Let j = 114 - 10. Is 40 a factor of j?
False
Suppose -2*p = 2*p - 160. Is 282/10 - 8/p a multiple of 11?
False
Let f(v) = -v**3 - 2*v**2 + 3*v. Let w be f(2). Let a = w - -17. Suppose -144 = -a*g + 3*g. Does 18 divide g?
True
Suppose 58 - 6 = 2*y. Does 13 divide y?
True
Let k = -2 + 4. Suppose -k*n + 3*n = 13. Let m = n + -8. Is m even?
False
Suppose -3 = q - 14. Suppose -2*r = -1 - q. Let j = 23 - r. Is 8 a factor of j?
False
Let v(u) = -u**3 - 2*u**2 - 3*u - 1. Let n be v(-2). Suppose -n*z + 16 = -54. Is z a multiple of 8?
False
Let o(s) = 2*s + 64. Let t(a) = a**3 + 12*a**2 - 14*a - 13. Let h be t(-13). Does 13 divide o(h)?
False
Let k be (-2)/(-2 - 0) + 3. Suppose 88 = k*i - 8. Is 24 a factor of i?
True
Let r(y) = 2*y**2 + 22*y + 34. Is r(-15) a multiple of 22?
True
Suppose -10 = -4*r - 2. Suppose 0 = 5*j - m - 32, m - 22 = -r*j - 2*j. Does 5 divide j?
False
Let r(h) = h - 1. Let v be r(6). Let o = 8 - v. Let b(q) = 3*q + 2. Does 11 divide b(o)?
True
Suppose -4*q + 26 = w, -3*w + 11 = -5*q - 16. Does 3 divide w?
False
Let h(u) = 3*u + 11 - 2 + 2*u. Is 18 a factor of h(9)?
True
Let w be (63/(-6))/((-2)/(-4)). Let d = w + 12. Let k = d + 16. Is k a multiple of 7?
True
Suppose -2*o = -1 - 3. Suppose 0 = 4*d - o*d - 30. Is d a multiple of 6?
False
Let b = 160 - 73. Let c = b + -48. Does 13 divide c?
True
Suppose o + o = -i - 14, -10 = 5*i. Is 3 a factor of 2 + 3/o*-2?
True
Is (-16 - 0)*(3 - 0 - 4) a multiple of 16?
True
Suppose -12*l + 16*l = 164. Does 32 divide l?
False
Let t(b) = 2*b**2 - 5*b**2 + 2*b + 2 + 0*b. Let d be t(2). Is (-3)/(d/(-4)) - -18 a multiple of 6?
False
Suppose 5*l + 3*i = 82, -l + 3*i + 34 = 8*i. Let c = l - 4. Does 10 divide c?
True
Suppose 5*y - 3*u - 2*u = -380, 2*u - 395 = 5*y. Suppose 5*m - 4*f = -247, 2*m + 5*f = -39 - 40. Let h = m - y. Does 15 divide h?
False
Let l(q) be the first derivative of q**3/3 + q**2 + 4*q - 2. Let m be l(-3). Suppose -44 = 3*x - m*x. Does 4 divide x?
False
Suppose -k - 4 = 0, 4*t - k = -2 + 22. Let d be ((-6)/3)/(-2 - -1). Let w = d + t. Is w a multiple of 4?
False
Let s(y) = y**3 - 9*y**2 - 2*y - 10. Let n be s(9). Let g be (-4)/14 - 8/n. Let u(o) = -o**3 + o + 5. Is u(g) even?
False
Suppose 3*p + 7 - 67 = 0. Is 2 a factor of p?
True
Let s = -1 + 1. Does 16 divide -8*(s - (2 + 0))?
True
Suppose -4*y + 106 + 102 = -4*b, 3*y = -5*b + 132. Is 34 a factor of y?
False
Let q(x) = 45*x**2 + 2*x + 6. Does 27 divide q(-3)?
True
Suppose 0*t - 185 = -5*t. Suppose p - t = -0*p. Is p a multiple of 17?
False
Is (2 - 1 - 4) + 49 a multiple of 23?
True
Suppose 3*k + 0*k = 0. Suppose -3*r - 9 = k, -2*a - 4 = 5*r - r. Suppose a*p = -26 + 78. Does 13 divide p?
True
Suppose 0 = 5*j + 5*r - 130, 0*r - 146 = -5*j + 3*r. Is 4 a factor of j?
True
Let f(t) = t**2 + 5*t - 5. Let o be f(8). Let h = -68 + o. Is 22 a factor of h?
False
Let h = -15 - -63. Does 14 divide h?
False
Suppose 0 = 2*k - 4*k + y + 171, 0 = 2*k + 3*y - 159. Is k a multiple of 42?
True
Suppose 5*w + 5*n - 105 = 0, -5*w + 4*n + 56 = -2*w. Let l = -12 + w. Does 4 divide l?
True
Suppose 5*v - 14 - 6 = 0. Suppose -4*b + 6*b = v. Suppose i - 78 = -b*i. Is i a multiple of 9?
False
Let m = -24 - -16. Let q(o) = -7*o + 8. Is q(m) a multiple of 16?
True
Suppose 7*a - 3*a = 16. Suppose 2*u + u + 21 = -4*y, 0 = a*y - 5*u - 3. Does 10 divide y/(-15) - (-147)/15?
True
Suppose -5*d + 4*l = -211 + 28, -180 = -5*d + 5*l. Let g be (-1)/3 - 13/(-3). Suppose -2*f - 3*m + 1 = -14, -3*m = g*f - d. Is f a multiple of 7?
False
Let l = 39 + -6. Suppose 2*u + 38 = 4*w, 4*w + u - 4*u = l. Does 8 divide w?
False
Let a = -19 - -28. Does 28 divide a/6 - (-660)/8?
True
Let f = 43 + -7. Does 9 divide f?
True
Suppose -2 = 2*s + 6. Suppose v + 155 = 5*n - v, 0 = 5*n - v - 155. Let p = s + n. Is 25 a factor of p?
False
Suppose 4*q = -q + 195. Let m = q - 19. Does 10 divide m?
True
Does 21 divide 134 - ((-4)/(-2) - 8/2)?
False
Let b(r) be the first derivative of -3*r**2 + 2*r - 1. Suppose 5*t = -v - 15, 3*t + 3*v = 8*t + 35. Does 7 divide b(t)?
False
Suppose 0 = 3*w - 5*w + 36. Let g = w - -6. Is 14 a factor of g?
False
Let c = 19 + -30. Let d = -5 + -24. Let t = c - d. Is t a multiple of 14?
False
Let k = -4 - -13. Does 24 divide (-3)/(k/(-6)) - -70?
True
Let a be (-11 - -2)/(5/(-35)). Let c = a - 19. Does 22 divide c?
True
Suppose -6*y + 38 = -5*y. Is y a multiple of 20?
False
Let w(r) be the third derivative of -r**6/120 + r**2. Is w(-3) a multiple of 9?
True
Let o(q) = -42*q**2 + 11*q. Let x(f) = 14*f**2 - 3*f + f - 2*f. Let d(v) = -3*o(v) - 8*x(v). Is 12 a factor of d(-1)?
False
Let k(z) = z + 4. Let l be k(-11). Let g(x) = -5*x. Let s be g(-2). Let a = s + l. Is 3 a factor of a?
True
Let j = 18 - 6. Let h = 24 - j. Is 7 a factor of h?
False
Let