 y**2 - 3*y - 4. Is 12 a factor of v(w)?
True
Let n(v) = 4*v**2 - 3*v + 2. Is 7 a factor of n(2)?
False
Let h be 4/2 - (6 + 2). Is ((-4)/6)/(h/603) a multiple of 25?
False
Let h = -7 + 65. Let y = 82 - h. Does 8 divide y?
True
Let b = 209 + -102. Is b a multiple of 33?
False
Let m = 33 - -71. Is 8 a factor of m?
True
Is 1*6/15*310 a multiple of 26?
False
Let c(m) = m**3 - 11*m**2 - 9*m + 13. Does 10 divide c(12)?
False
Let m(k) = -k**2 - 8*k + 24. Does 15 divide m(-9)?
True
Suppose -4*l = 2*u + 18, u = 3*l - l - 1. Let r(m) = m + 2. Let x be r(u). Does 7 divide x*(-2 - 24/9)?
True
Let p be (4/6)/(2/(-6)). Let w(x) = -5*x**2 + 0*x - x - 5*x**3 + 3*x + 3*x**2. Does 14 divide w(p)?
True
Let f be 3/(-5) - (-2679)/15. Let q = 295 - f. Does 30 divide q?
False
Let d(b) = 2*b**3 - 6*b**2 + 5*b. Suppose 3*j = 4*j + 2. Let w(y) = y**3 - 6*y**2 + 5*y. Let m(c) = j*d(c) + 3*w(c). Does 7 divide m(-7)?
True
Suppose 0*a + 2*a - 4*h = 434, -626 = -3*a + h. Is 17 a factor of a?
False
Suppose 2*q - 276 = -3*j, -3*j + 0*j + 264 = -2*q. Is 22 a factor of j?
False
Let x(d) = 22*d - 14. Is x(7) a multiple of 10?
True
Let m(f) = f**3 + 5*f**2 - 5*f + 8. Let a be m(-6). Let u be (-3 - -2)/(a/(-4)). Let c = 6 - u. Is 4 a factor of c?
True
Suppose 10*o - 48 = 9*o. Suppose -3*z + o = z. Does 4 divide z?
True
Suppose 5*y + 23 = g + 8, -4*g = -4*y - 28. Let z(v) = -5 + 1 + 10 + v + g. Is z(0) a multiple of 6?
False
Is 20 a factor of (-3 + 28/8)*158?
False
Let f be 2219/(-35) - 4/(-10). Let y = -42 - f. Suppose -2*a + y = 5. Is a a multiple of 4?
True
Let m(a) be the third derivative of -a**5/60 + a**4/4 + 5*a**3/3 + 3*a**2. Let s be m(7). Suppose 0*j - 95 = -2*n - j, -215 = -4*n + s*j. Is 13 a factor of n?
False
Suppose 5*t + 10 = 80. Suppose 0 = 4*j + 2*k - 112, 0 = -3*k - 2 + t. Does 13 divide j?
True
Let i be 2*13 - (-2)/(-1). Suppose t = 2*t - i. Is t a multiple of 9?
False
Is (-2)/(-13)*391 - (-62)/(-403) a multiple of 20?
True
Suppose -d = -5*r + 20, -d = -3*r + 13 - 1. Suppose 2*o - o - 6 = d. Let a = o + 7. Does 6 divide a?
False
Let y(l) be the second derivative of l**3/6 - 5*l**2/2 - 5*l. Is 3 a factor of y(10)?
False
Suppose -5*k = -2*b + 101, 2*k - 4 = b - 56. Is 29 a factor of b?
True
Let l = -3 + 13. Suppose 4*m - 2 - l = 0. Is 2 a factor of m?
False
Suppose 4*x + 4 = 40. Is 17 a factor of 4/(-18) + 353/x?
False
Suppose 0 = -4*x + 3*b + 153, -b + 2*b = 5. Let n = x - 7. Does 11 divide n?
False
Suppose 4*o + 25 = 161. Suppose -11*x - o = -12*x. Is 8 a factor of x?
False
Suppose 5*b - 40 = 10*b. Is (b/10)/((-8)/220) a multiple of 11?
True
Let g = 5 - 0. Suppose 20 = g*y - 65. Is 14 a factor of y?
False
Let t(d) be the first derivative of -d**4/4 + 7*d**3/3 + d**2 - 4*d + 2. Is t(5) a multiple of 15?
False
Let x be (2/(-5))/((-2)/(-10)). Let k be (x/1)/((-6)/75). Suppose -3*q + 13 = m, -2*q + 14 = 5*m - k. Is m a multiple of 6?
False
Let d(u) = 4*u - 10. Let w(s) = s. Let g(a) = -d(a) + 2*w(a). Let p be g(7). Let c(v) = -v**3 - 2*v**2 + 6*v + 1. Does 8 divide c(p)?
False
Let q(h) = 15*h - 13. Let d be q(7). Suppose d = 2*r - 54. Does 20 divide r?
False
Let a(k) = -k**3 + 8*k**2 - 5*k - 9. Let w be a(7). Suppose -37 = -w*i - 2. Suppose -z - y = i - 19, 43 = 4*z - y. Is 6 a factor of z?
False
Let u be (23/2)/((-1)/2). Let x = u - -45. Does 8 divide x?
False
Suppose -2*u = -3 - 39. Let j = 37 - u. Is 8 a factor of j?
True
Suppose -t = -4*t - 18. Let i be 1/((2/t)/(-1)). Suppose -2*u = i*u - 15. Is u a multiple of 2?
False
Suppose 0 = -5*t + 109 - 34. Suppose -t = -3*v + 39. Is 18 a factor of v?
True
Let i(l) be the third derivative of 0*l**4 + 1/15*l**5 + 2*l**2 + 0*l + 0 + 0*l**3. Is i(-1) even?
True
Let d(n) = -8*n**3 + 6*n**2 - 15*n + 15. Let u(v) = -7*v**3 + 6*v**2 - 14*v + 14. Let g(j) = 6*d(j) - 7*u(j). Is 20 a factor of g(6)?
True
Let k(d) be the first derivative of -d**2/2 + 2*d + 3. Let r be k(-3). Suppose -5*w + 110 = -r*o, -2*w + 83 = 2*w + o. Is 12 a factor of w?
False
Let g = -139 - -223. Is g a multiple of 28?
True
Suppose j - 3 = -0*j. Suppose j*f - 260 = -2*f. Is f a multiple of 20?
False
Let c(i) be the second derivative of i**4/6 - 13*i**3/6 + 5*i**2/2 - 9*i. Does 23 divide c(9)?
False
Let h(q) = 4*q**3. Is h(1) even?
True
Let c(h) = -h. Let w(f) = 4*f. Let r(a) = 11*c(a) + 4*w(a). Is r(1) a multiple of 2?
False
Let q(v) = -3*v - 13. Is q(-6) a multiple of 5?
True
Suppose 3*v - 26 = -86. Let k be (696/20)/((-6)/v). Suppose -5*h + h + k = 0. Is 21 a factor of h?
False
Suppose -3*j + 2*b = -0*b - 5, -b - 1 = 0. Let m be (j - -2) + (0 - 1). Suppose -3*k = m*k - 40. Is 4 a factor of k?
True
Suppose 3*m - 31 = 14. Is 20*1*12/m a multiple of 9?
False
Suppose 122 = -w + 45. Let t = 84 - w. Suppose 5*h = -3*u + 5*u + t, -2*h - u = -68. Does 11 divide h?
True
Suppose x + 2*x + 12 = 0. Let i = x - -7. Is i a multiple of 3?
True
Suppose 2*z + 5 = 3*z. Is (106/(-4))/(z/(-10)) a multiple of 15?
False
Let d(t) be the third derivative of -t**5/60 - 5*t**4/12 + 4*t**3/3 + t**2. Suppose -4*v - 36 = 3*l, -3*v - 7 = -l + 2*v. Is 12 a factor of d(l)?
True
Let c(o) = -2*o**2 - 20*o. Is c(-9) even?
True
Let s be (-386)/(-10) - (-24)/60. Suppose -s = -2*k + k. Does 8 divide k?
False
Let f(h) = 6*h**2 - 3*h + 1. Let t be f(2). Suppose 3*u + 5*a + 4 - 16 = 0, -4*u + 51 = -5*a. Let r = t - u. Is 10 a factor of r?
True
Suppose -7 = -5*l + 8. Suppose -7 = 2*c + 3*o, -4*c + l*o - 4 = -o. Let i(g) = -6*g**3 - 4*g**2 - 3*g - 2. Does 18 divide i(c)?
True
Let o(n) = 5*n - 11. Is o(9) a multiple of 5?
False
Let g(j) = 26*j - 4. Is g(2) a multiple of 24?
True
Let p(w) = -1. Let j(m) = -2*m**2 - 6*m - 6. Let a(r) = -j(r) + 6*p(r). Is a(-4) a multiple of 3?
False
Let k = 5 + 7. Suppose t + 3*t = -5*c + 46, -2*t + 3*c = -k. Is t a multiple of 7?
False
Does 11 divide (-40)/22 - (-12)/(-66) - -68?
True
Let s(w) = -w**3 - 9*w**2 - 4*w - 7. Let r be s(-8). Let b = r - -106. Does 13 divide b?
False
Suppose -8 = -7*y + 3*y, 4*s = 4*y - 8. Let m be s/3*1/2. Suppose m = -5*c - 48 + 158. Is 12 a factor of c?
False
Suppose j - 4*j - i = -70, -3*j + 2*i + 67 = 0. Does 5 divide j?
False
Let j(n) = n**2 + 1. Suppose -2*o - 1 = 3. Does 4 divide j(o)?
False
Let y(z) = z**2 - 4*z + 15. Does 18 divide y(7)?
True
Let z be 0/(2/6*3). Suppose 15 = -z*g + 3*g. Is 5 a factor of g?
True
Suppose 0 = -3*t - 3 + 9. Suppose 2*c - t = 16. Does 7 divide 3/(c/57) + -2?
False
Suppose -5*c = 17 + 18. Is 7 a factor of 4 + (-1 - c) - -4?
True
Let h = 1 - 4. Let w be 28/6 + (-1)/h. Suppose 0*x - 5*x - 3*l = 0, 2*x = w*l + 31. Does 3 divide x?
True
Let t be 3/(-24)*-4*6. Suppose -5*o - k = k - 63, t = -3*k. Is o a multiple of 5?
False
Let r(s) = s + 33. Is 19 a factor of r(-6)?
False
Suppose -5*b = -u - 4*u - 35, 0 = -5*u + b - 15. Let g(q) = -q**3 + q**2 + 2*q + 1. Is g(u) a multiple of 3?
True
Suppose 6*v + v = 77. Does 3 divide v?
False
Let f be ((-8)/(-5))/((-1)/(-5)). Suppose a + 0*a = f. Is 4 a factor of a?
True
Let f(w) = 3*w**3 - 6*w**2 + 3*w - 6. Let s(t) = -7*t**3 + 13*t**2 - 6*t + 12. Let l(v) = 5*f(v) + 2*s(v). Is 6 a factor of l(4)?
True
Let a be (3 - 3) + 14 + 3. Suppose 2*b = -5 + a. Is b a multiple of 4?
False
Suppose -3*p + 6 = -6. Suppose 0 = 2*k - 2*s - 6 - 8, k - p*s - 10 = 0. Is 6 a factor of k?
True
Let l = -208 - -388. Does 36 divide l?
True
Let i(u) = -u**2 - u + 57. Is 19 a factor of i(0)?
True
Let s(h) = 4*h**2 - 8*h + 3. Let k be s(5). Let o be (-200)/6 + 2/6. Let x = k + o. Is 15 a factor of x?
True
Let i = 6 - 8. Let b be (-12)/((-2)/(-6)*i). Is 14 a factor of (-6)/27 - (-616)/b?
False
Let g(r) = -8*r + 6. Suppose 8*j = 4*j - 24. Is g(j) a multiple of 21?
False
Let o be (-2)/4*(-16 - 2). Let x be 38/o - 4/18. Let b(p) = 2*p - 1. Is 7 a factor of b(x)?
True
Let o(w) = 22*w**2 + 3*w - 5. Let t be o(-5). Suppose -4*b = -9*b + t. Suppose 5*r - b - 14 = 0. Is 12 a factor of r?
True
Suppose -6*a + 5*a + 57 = 0. Does 19 divide a?
True
Is (-4)/(-8) + 1482/12 a multiple of 11?
False
Let u(n) = -n**3 + 6*n**2 - 5*n + 2. Let m be u(5). Suppose -3*c + 0*c + 14 = 2*w, 5*w - 2 = -m*c. Does 3 divide c?
True
Suppose -3*c + 30 = 2*c. Does 6 divide c?
True
Let s(r) = 3*r**2 - 23*r + 12. Let g(u) = 2*u**2 - 15*u + 8. Let j(f) = -8*g(f) + 5*s(f). Let o be j(3). Is o/(-3)*102/(-4) a multiple of 6?
False
Su