ple of 3?
False
Let v(z) = z**2 + 2*z. Let y be v(-3). Suppose -l + y*l - 2*t - 38 = 0, -4*l = t - 51. Is 4 a factor of l?
False
Let x(y) = y**3 + y**2 + y + 1. Let l be x(-1). Is 21 a factor of 47 + -1 + l/6?
False
Let g(s) = 4*s**2 + 3*s - 2. Suppose -2 = -2*d - 3*h - 10, -d - 5*h = 18. Let m be d/7 + 12/7. Does 7 divide g(m)?
False
Let y(s) = 3*s + 8. Is 8 a factor of y(10)?
False
Let d be 7*2 - (-3 + 4). Let t = d + 146. Is t/9 + (-2)/3 a multiple of 10?
False
Let c(w) = -7*w + 5 + w**2 - 3 + 9*w. Let y be c(-2). Suppose 0*l - 2*l + 14 = y*k, 2*k + 4*l - 12 = 0. Does 8 divide k?
True
Suppose 5*h - 24 = 16. Let l(r) = -r**2 + 12*r + 10. Is l(h) a multiple of 14?
True
Let a = -13 + 21. Suppose 2*k = 3*k - a. Let g = 24 - k. Is 8 a factor of g?
True
Let a = -13 + -3. Let s(c) = 4*c. Let j be s(-7). Let t = a - j. Does 12 divide t?
True
Let d(w) = w + 1. Let q be d(5). Suppose 0 = -t + 2*t - 4*r, -t = 2*r - q. Suppose 12 = 2*n + 2*g, t*n - 2*g = 43 + 11. Does 10 divide n?
False
Let p(q) = q**2 - q + 19. Let b = -6 + 6. Is p(b) a multiple of 7?
False
Let t = 28 + -10. Let s = 39 - t. Is 7 a factor of s?
True
Suppose -537 - 93 = -6*o. Is o a multiple of 21?
True
Does 5 divide (90/(-40))/(3/(-40))?
True
Let i = 23 + 58. Does 12 divide i?
False
Let r(d) = d**2 + 4*d + 8. Is r(-6) a multiple of 20?
True
Let c = -7 + 10. Let x(b) = b - 3. Let z be x(c). Suppose -34 = -2*s - z*s. Does 17 divide s?
True
Let c = 156 + 18. Does 43 divide c?
False
Let w(s) = -s. Let h be w(-4). Suppose -h*j + 167 = 31. Is j a multiple of 16?
False
Let b(a) = -a**3 - a**2 + 4*a. Let p be b(-3). Suppose 0 = -2*f + 22 - p. Suppose 32 + f = 5*w. Is w a multiple of 5?
False
Suppose 0 = 2*d + 3*m + 49, -2*m + 0*m = -d - 14. Let a = 53 + d. Does 19 divide a?
False
Let b(m) be the first derivative of -3*m**2/2 + m + 1. Let k be b(5). Let j = 20 + k. Is 2 a factor of j?
True
Suppose -4*t + 3*l - 2*l - 7 = 0, 4 = -4*l. Let v be t/6 + 12/9. Suppose v = g - 4. Is 2 a factor of g?
False
Suppose 7*s = 52 - 10. Does 5 divide s?
False
Let y(r) = r**2 + r + 1. Suppose 6*z + 5*x = 3*z - 3, -z + 13 = -3*x. Suppose 36 = 4*u + 5*w, 4*u - 3*w = -0*w + z. Does 11 divide y(u)?
False
Let x(q) = -2*q - 5. Let g be x(-5). Let n = 20 - g. Is 4 a factor of n?
False
Let g(i) = -10*i - 47. Is g(-10) a multiple of 20?
False
Let x be 4/(-6)*6/(-4). Suppose -o - 4*b = 10, 0*b - 2*b - 30 = -2*o. Is 3 a factor of (x + 2/o)*5?
True
Let u(s) = 2*s - 19. Is u(13) a multiple of 4?
False
Let t(d) = -d + 9. Let k be t(-12). Let s = 2 + k. Is 22 a factor of s?
False
Suppose -5*d + 1 = -9. Suppose -7*x - 3*g + 40 = -d*x, -3*x - 2*g = -24. Is 4 a factor of x?
True
Let l(h) be the second derivative of h**5/20 - h**4/3 + h**3/3 - h**2/2 - h. Does 7 divide l(4)?
True
Let a be 3/1*(-10)/3. Let j = a + 17. Is j a multiple of 2?
False
Let o be 0 + (7 - -3 - 3). Suppose 1 + o = j. Is 3 a factor of j?
False
Let y = -1 - -38. Let o = y - 26. Is o a multiple of 11?
True
Suppose 0 = -u - 3, 4*m + 3*u - 87 = 0. Suppose 3*a - m = -0*a. Is 8 a factor of a?
True
Suppose -24 + 104 = -5*i - 5*h, 3*i + 2*h = -48. Let a be i/(-9) - (-8)/36. Suppose -a = -y + 1. Does 3 divide y?
True
Suppose 0 = 2*q - 2*b - 6, 0*q - 2*q = -4*b - 6. Suppose q + 17 = 4*v, 0 = 2*g - 4*v + 12. Suppose 0 = h + h - g. Is 2 a factor of h?
True
Suppose 2*n + 8 = 4*n. Suppose -3*s + 2*i + 84 = 0, 5*s + 2*i - 140 = n*i. Is s a multiple of 14?
True
Let f(l) = -36*l**2 + l - 2. Let g(y) = -y**2. Let m(n) = -30*n**2 + 2*n - 3. Let i(t) = 6*g(t) + m(t). Let s(j) = -3*f(j) + 2*i(j). Does 13 divide s(-1)?
False
Let k(n) = n - 82. Let s be k(0). Is s/(-6) - 2/(-6) a multiple of 14?
True
Let k(l) = -l - 1. Let n be k(-3). Suppose -j - 4*d = -6*j + 3, -4*d + 6 = -2*j. Does 10 divide ((-4)/j)/(n/(-30))?
True
Suppose 4*k - 14 = -j, -45 = -4*k + 5*j - 19. Suppose 14 = k*v - 18. Is v a multiple of 4?
True
Let b(d) = 13*d - 12. Does 29 divide b(5)?
False
Suppose 15 = -2*z - 3*b, -3*b + b = -5*z - 28. Is (-98)/z - 14/(-21) a multiple of 17?
True
Suppose d + 3*d + 864 = 0. Is (1/(-3))/(8/d) a multiple of 3?
True
Let l(v) = -7*v + 27. Does 61 divide l(-14)?
False
Suppose 0 = -2*c - 2 + 10. Let q be 111/21 - c/14. Suppose 15 = q*f - 25. Is 4 a factor of f?
True
Let j(z) = -16*z**2 + 2*z - 2. Let s(c) = 5*c**2 - c + 1. Let l(b) = -3*j(b) - 8*s(b). Is l(-2) a multiple of 26?
True
Let k(j) = -j**3 + 4*j**2 - 2*j - 1. Let v be k(2). Suppose x = v*y - 126, 0 = -2*y - 2*y + 5*x + 157. Suppose 197 + y = 5*h. Is h a multiple of 24?
True
Suppose 2*s - 2*u = -4*u + 90, 2*s - 102 = u. Is 4 a factor of s?
False
Let y(w) = -w**2 + 4*w + 4. Let l be y(4). Let z(c) = -3*c**2 + 11*c + 6. Let b(g) = -4*g**2 + 11*g + 6. Let v(u) = l*b(u) - 5*z(u). Is 10 a factor of v(-7)?
False
Suppose -4*s + 62 = -18. Is 11 a factor of (-210)/(-9)*24/s?
False
Is 9 a factor of 30/(6/(-15) + 248/320)?
False
Let x(c) = 1 + c**2 + 5 - 10*c - 4. Let p be x(8). Does 14 divide 2 + -2 - -1 - p?
False
Let y(k) = 7*k**2 + 2*k - 2. Let r be y(2). Let j be ((-216)/r)/((-6)/20). Suppose j = -5*h + 119. Is 17 a factor of h?
False
Let d = -2 + 2. Suppose h + 7 - 22 = d. Suppose 2*b - 1 = h. Does 4 divide b?
True
Suppose -g - 51 = 3*a + 75, -4*g = 2*a + 84. Does 16 divide ((-7)/(-2))/((-3)/a)?
False
Does 10 divide 1 + 31 + -4 + 2?
True
Let n be (4/5)/((-3)/(-15)). Suppose 0 = -4*w - n*t + 160, 0 = 2*w - t - 56 - 12. Is 17 a factor of w?
False
Let q(s) = -28*s. Let j be q(-1). Let h = 67 - j. Is h a multiple of 17?
False
Let d be (-2)/2*-3 + 3. Let v = d - 3. Suppose 3*q = 5*q + 8, 0 = v*o + 5*q - 7. Is 7 a factor of o?
False
Let t(z) = -z**3 + 7*z**2 - z + 5. Let a be t(7). Let q = a + 3. Suppose 3*l + 2 = -q, -l = r - 20. Does 21 divide r?
True
Suppose -4*b - 3*d = -36, 4*b + 2*d - 44 = -3*d. Let x(l) = -l**3 + l - 6*l**2 - 1 + 2*l**3 - 2. Is x(b) a multiple of 3?
True
Let j be (-4)/(9/(-6) + 1). Suppose -7 = -3*h + j. Suppose -h*g = 3*u - 54 - 20, -u = -2*g + 23. Does 5 divide g?
False
Let i be 6/(-9) - (-7)/(-3). Let t be 2 + (-6)/i + 1. Suppose 0 = -s - s + t*x + 25, 4*s - 4*x = 56. Does 15 divide s?
True
Let s(d) = 3*d**3 - 11*d**2 - 5*d + 3. Let l(b) = -5*b**3 + 16*b**2 + 7*b - 5. Let m(i) = -5*l(i) - 8*s(i). Is m(-7) a multiple of 6?
False
Let w = -54 + 75. Is 8 a factor of w?
False
Let n(b) = b**3 - 13*b**2 - 13*b + 2. Is 5 a factor of n(14)?
False
Let x be 1 + (-8 + 1)/1. Is 24 a factor of ((-96)/18)/(x/27)?
True
Suppose 510 = 12*c - 7*c. Does 17 divide c?
True
Let p = 4 - 0. Suppose -3*t + p = -t. Suppose t*o + 2 = 4*y - 6, -2*y = -8. Does 2 divide o?
True
Let q(m) = 2*m + 6. Let s be q(-7). Let t be 38/8 - (-6)/s. Suppose t*j = 5*n - 107, n - j + 8 - 29 = 0. Is n a multiple of 11?
False
Let x(y) = -y**3 - 5*y**2 + 7. Let r be x(-5). Suppose -13 = -5*q + 97. Let i = q - r. Does 6 divide i?
False
Suppose -2*n = -28 - 14. Is n a multiple of 12?
False
Let y = -41 - -96. Let g = y - 17. Is g a multiple of 16?
False
Suppose -6*p = -4*p - 98. Does 27 divide p?
False
Suppose 5*l + 6*u = 2*u + 5, 0 = 2*l + 5*u - 2. Let q(r) = 9*r. Is q(l) a multiple of 3?
True
Let m = 5 + -10. Let o(v) = -v**2 - 7*v + 2. Is o(m) a multiple of 12?
True
Suppose -5*g = -0*g - 150. Is 9 a factor of g?
False
Suppose 3*w = 109 + 65. Suppose 0 = j - 5*b - 68, w = -j + 2*j + 5*b. Does 16 divide j?
False
Suppose -3*v = -2*v - 4*i - 51, -2*v + 2*i + 126 = 0. Is v a multiple of 11?
False
Let s(h) = -h**3 + 5*h**2 - 5*h**2. Let f be s(-4). Let q = f + -41. Is q a multiple of 10?
False
Let k(w) = 2*w + 13. Let a be k(-6). Is 68/8 - a/(-2) a multiple of 3?
True
Let v = 32 - 3. Does 24 divide v?
False
Suppose 2*j + 4*g = 34, 2*j + j + 5*g - 46 = 0. Suppose j*q - 2*q = 95. Let m = q + -3. Is m a multiple of 16?
True
Let o(k) be the first derivative of -k**4/4 - 3*k**3 - 7*k**2/2 + 7*k + 1. Let u be o(-8). Does 14 divide u + (2 - -27) - 1?
False
Let h = -100 + 153. Does 20 divide h?
False
Suppose -3*q = 0, 2*g = 7*g - 4*q - 675. Does 7 divide g?
False
Suppose 208 = 3*x + 31. Does 20 divide x?
False
Let a(c) = c - 6. Let q be a(5). Let g be (-40 - q) + (0 - 0). Let x = 71 + g. Is 16 a factor of x?
True
Let o(g) be the first derivative of -g**3/3 - 5*g**2 - g - 1. Is o(-9) a multiple of 5?
False
Suppose -6*m + 8*m - 340 = 0. Is 39 a factor of m?
False
Let 