). Let g(c) = c**2 - c - 7. Is 9 a factor of g(a)?
False
Let v = 2 - 0. Suppose 5*g = 3*q + 151, -3*q = 5*g - v*q - 143. Suppose -g + 9 = -4*y. Does 4 divide y?
False
Let q = 51 - 39. Is q a multiple of 7?
False
Suppose 0 = -4*d + 5*d - 72. Suppose -3*v - v - 4*m = -d, 0 = -v + 4*m + 33. Is v a multiple of 19?
False
Suppose 0 = k - 4*x - 278, -2*k + 804 = k + 3*x. Is k/12 - 2/4 a multiple of 11?
True
Let v = -53 - -99. Does 19 divide v?
False
Let x(l) = -l**2 + 4*l + 7. Let j(k) = k + 1. Let c(i) = 3*j(i) - x(i). Let a = 12 - 17. Does 12 divide c(a)?
False
Let i(j) be the third derivative of j**5/60 + j**4/24 + 4*j**3/3 - j**2. Is 5 a factor of i(0)?
False
Let o = -67 + 115. Is 9 a factor of o?
False
Suppose -4 = -0*r + 2*r. Is 4 a factor of (-385)/(-33) + r/(-6)?
True
Is -2 - (4 + (-2 - 0) + -260) a multiple of 47?
False
Let u(i) = -i**2 - 10*i - 7. Let w be 2/(1/(-4) - 0). Does 3 divide u(w)?
True
Let x = -1 + 5. Let b = -11 + 16. Does 2 divide (6 - b)*1*x?
True
Suppose -4 = -2*m - 2*w + 26, 5*m - 75 = -2*w. Let a = -3 - m. Let x = a - -40. Is x a multiple of 9?
False
Suppose j - 20 = 46. Let l = j + -24. Suppose -3*a - k = -81, -76 = -4*a + 2*k + l. Does 15 divide a?
False
Let k(a) = -a + 3. Let w(t) = -2*t**2 - t + 4. Let o be w(-3). Let c = 7 + o. Is 5 a factor of k(c)?
False
Let q(k) be the second derivative of -k**3/2 - 6*k**2 - 2*k. Is q(-11) a multiple of 14?
False
Let p(b) = -66*b**3 - 2*b**2 - 2*b - 1. Does 13 divide p(-1)?
True
Let r(q) = -q**3 + 18*q**2 - 15*q - 25. Is 3 a factor of r(17)?
True
Suppose -2*v - 190 = -622. Is 18 a factor of 28/(-6)*v/(-28)?
True
Let n = 30 - -1. Let j(u) = -u**2 - 3*u - 1. Let t be j(-3). Let x = t + n. Is 9 a factor of x?
False
Let f(w) = 2*w + 22. Is f(-7) a multiple of 2?
True
Let m(x) = -2*x**3 - 2*x**2 + 3*x + 3. Let n be m(-2). Let p(q) = 3 + 5*q - 6 - 2*q. Is 6 a factor of p(n)?
True
Let g(l) = -l**2 + 15*l. Is g(14) even?
True
Let d be 26/10 + (-2)/(-5). Suppose d*m + 8 = 89. Is m a multiple of 9?
True
Does 9 divide (3 - (-3 + 4)) + (-1 - -8)?
True
Suppose 3*q - 75 = 180. Is q a multiple of 14?
False
Let z(x) = 5*x**2 - 11*x + 34. Is 19 a factor of z(6)?
False
Let q(b) = b**3 + 11*b**2 - 2*b + 24. Is 23 a factor of q(-11)?
True
Suppose 21 = 2*l + 3. Is 11 a factor of ((-12)/l + 1)*-33?
True
Suppose -3*g = -b + 82, 2*g = -2*b + 102 + 102. Is b a multiple of 21?
False
Is 81 + (-4 - (-1 + -5)) a multiple of 11?
False
Let t = 129 - 76. Does 18 divide t?
False
Let k = -861 - -1215. Does 30 divide k?
False
Let b = -54 - -111. Is 28 a factor of b?
False
Does 38 divide (-114)/4*28/(-3)?
True
Suppose 3*s - 3*c - 152 - 55 = 0, 0 = 5*s + c - 333. Does 36 divide s/(-2)*(-16)/4?
False
Let d(m) = -2*m**3 - 3*m**2 + 7. Suppose 0 = 5*j - 2*j + 9. Does 9 divide d(j)?
False
Let o be ((-6)/5)/(3/210). Let b = o - 41. Let v = -75 - b. Is v a multiple of 17?
False
Let c(b) = -5*b + 17. Does 21 divide c(-5)?
True
Suppose -2*d - 48 = -5*d. Suppose -o = -3*o + d. Is 8 a factor of o?
True
Suppose 0 = d - 5, 2*y + 4*d = -0*y + 230. Does 5 divide y?
True
Let u = 2 + -1. Let g be (u/3)/(3/18). Suppose -3*s = -3*z + 15, 6*z + 2*s - 32 = g*z. Is 3 a factor of z?
False
Let c(i) = -17*i - 2. Let k be c(-6). Let u = k + -57. Does 18 divide u?
False
Let m(x) = -x**3 - x + 1. Let l be m(1). Suppose -d + 4*d = 0. Is (1 + 3)*(d - l) a multiple of 2?
True
Let a(g) = 2*g**2 - 14*g - 3. Let j be a(7). Let f(p) = -2*p**3 - 5*p**2 - 2*p + 4. Is f(j) a multiple of 5?
False
Suppose 3*g - 2*m = 35 + 319, 228 = 2*g - 4*m. Is g a multiple of 15?
True
Let v = -12 - -24. Does 7 divide v?
False
Let o(z) = 9*z**2 + 1. Let r(l) = l**3 + 2*l**2 - 2*l - 3. Let a be r(-2). Does 10 divide o(a)?
True
Let x be 24/(3 + 0) - -2. Let m = 18 - x. Is 4 a factor of m?
True
Suppose 3*i = 4*i - 79. Suppose 2*r - 194 = y, r + 3*y - i = 8*y. Suppose -d - r = -4*d. Does 13 divide d?
False
Let t = 14 - 25. Let k be (-2)/t + 324/33. Let h = k + 3. Is h a multiple of 5?
False
Let d(z) = -z**2 + 4*z + 3. Let y be d(4). Suppose -2 = -l, -2*v - l + 22 = y*v. Suppose -2*a = v*m - 86, 2*m + 4*a - 4 - 48 = 0. Is m a multiple of 6?
False
Let w(t) = t**2 - t + 6. Suppose 8 = 4*a - 4*d, 4*a + 0*d + 4 = -2*d. Does 6 divide w(a)?
True
Does 19 divide 92/4 - (-5 - -4)?
False
Suppose 3*r + 181 = a, -5*r - 328 = 4*a + 2. Does 4 divide r/(-14) - 15/35?
True
Suppose m + 2*m = -o + 10, 4*o - 56 = 4*m. Let w = 17 - o. Does 4 divide w?
True
Let u(h) = -h**2 + h + 35. Let i(b) = b - 5. Let p be i(11). Let y be p/(-21) + (-4)/(-14). Is 20 a factor of u(y)?
False
Suppose 6*o - o - 340 = 0. Is o a multiple of 21?
False
Suppose 8*t - 272 = 208. Is t a multiple of 10?
True
Does 25 divide 689/26 - 6/4?
True
Suppose -3*d + 0*d + 894 = 5*p, -3*p + 544 = -2*d. Suppose u = -4*u + p. Is u a multiple of 18?
True
Suppose 0*s - 33 = -2*t + s, 0 = -4*t - 4*s + 48. Is 3 a factor of t?
True
Let p(m) = m**2 + 1. Let n be p(1). Suppose 0 = -n*f + 7*f - 10. Suppose 16 = f*w - w. Is 6 a factor of w?
False
Suppose 2*t + 2*f = t + 163, -t - f = -163. Is t a multiple of 28?
False
Let q = 13 + -19. Let j be 3/(0 + q/(-10)). Suppose 0 = 3*k - j - 16. Is 3 a factor of k?
False
Suppose -2*p - 2 = -c - 0, 0 = -2*p + 2*c. Is -3 - (3 + p + -17) a multiple of 10?
False
Does 7 divide 4/6*(3 + -5 + 74)?
False
Let d(z) be the third derivative of z**7/840 - z**6/120 + z**5/60 - z**4/24 - z**3/3 - 2*z**2. Let u(q) be the first derivative of d(q). Is 4 a factor of u(3)?
False
Let w = 54 + -50. Does 2 divide w?
True
Let b = -17 - -29. Suppose -5*m + 0*m - 4*z = -b, -2*z = -3*m + 16. Suppose 0 = p + 1 - m, -2*h - 4*p = -62. Is h a multiple of 10?
False
Let a(h) = -h**3 + 4*h**2 + h. Let i be a(4). Suppose 0 = 5*k - i - 21. Let x(b) = -b**2 + 6*b - 2. Does 3 divide x(k)?
True
Let z(h) = h**2 + h + 4. Let l be z(-5). Let v = -5 + 8. Suppose -v = o - l. Does 7 divide o?
True
Let l(t) = t - 13. Let x be l(7). Let k(r) = r**2 - 3*r + 3. Does 19 divide k(x)?
True
Let t be 3 - 3 - 4/(-2). Suppose -r = t, b + 3*r = -4*b - 21. Is (-40)/b + (-2)/6 a multiple of 5?
False
Suppose 61 + 0 = y - 2*t, 0 = -5*y - 3*t + 266. Is y a multiple of 11?
True
Suppose -z + 6 = 3*i, 3*z + i = 3*i - 15. Let q = 9 - z. Suppose 4*n - b = -5*b + q, -5*n - b + 23 = 0. Is 5 a factor of n?
True
Does 19 divide 60 + 6/((-6)/3)?
True
Let q = -154 - -466. Is q a multiple of 39?
True
Let g(l) = -16*l - 5. Let d be g(-5). Is 2391/45 + (-10)/d a multiple of 13?
False
Let i = 29 + -17. Let z = i + 63. Is 15 a factor of z?
True
Let z(o) = -296*o - 1. Let q be z(-1). Does 7 divide q/20 + 3/(-4)?
True
Let d = 28 - -31. Let u = d + -32. Is u a multiple of 12?
False
Let u(r) = -r**3 + 9*r**2 - 4*r - 6. Let h be u(7). Suppose -h + 4 = -5*y. Does 12 divide y?
True
Let k(s) = s**3 - 8*s**2 + 7*s. Let m be k(7). Suppose -2*d - 29 - 97 = m. Let p = -39 - d. Is p a multiple of 9?
False
Let t(r) = r**2 + 3*r - 4. Does 6 divide t(4)?
True
Does 11 divide (-772)/(-180)*3 - (-2)/15?
False
Suppose 4*a = -12, 480 = 3*r - r - 4*a. Is r a multiple of 26?
True
Suppose -9 = -4*o + 19. Let j(h) = 4*h + 9. Is 14 a factor of j(o)?
False
Let j = 103 + -28. Is j a multiple of 5?
True
Suppose -2*d + 83 = -31. Is 19 a factor of d?
True
Let u(r) = -3*r + 4 + r + 0 - r**2 - 8*r. Let n be u(-10). Is n/14 + 524/28 a multiple of 17?
False
Let k(q) = 2*q**3 + 30*q**2 - q - 8. Is k(-15) a multiple of 3?
False
Let v(o) be the second derivative of o**4/12 - 11*o**3/6 - 7*o**2 + o. Does 14 divide v(14)?
True
Let n = 39 + -20. Is 5 a factor of n?
False
Let c(p) be the third derivative of -p**5/60 - p**4/6 + p**3/3 - 3*p**2. Does 5 divide c(-3)?
True
Let o be (-1)/(1 + (-12)/13). Let l = o - -25. Is l a multiple of 4?
True
Suppose i = -2*w + 44, -2*i + 3*i = -w + 23. Let r be 0 + -10 - (2 + -3). Let k = r + w. Is k a multiple of 6?
True
Suppose -5*i + 228 = -i. Suppose -5*o = -133 - i. Is 17 a factor of (-1 - o*-1) + -1?
False
Let q(c) = -c**2 + 16*c - 13. Does 14 divide q(11)?
True
Let s be 6/21 + (-131)/(-7). Suppose -3*r + s = -5*d, 5*r + d - 42 = -d. Is 8 a factor of r?
True
Let y(j) = -24*j**2 - 3*j - 7. Let b(w) = 8*w**2 + w + 2. Let v(o) = 7*b(o) + 2*y(o). Is 7 a factor of v(-1)?
True
Let u be (0 - -2) + -3 - -31. Let j = u + -19. Is 7 a factor of j?
False
Let z be 1*(2 - 6)*16. Let v = z + 