 o(k) = -k**2 + 7*k + 6. Let c(l) = 3*g(l) + 2*o(l). Let h(s) be the first derivative of c(s). Does 11 divide h(8)?
False
Let p = -14 - -8. Let i be 2/p - (-17)/(-3). Is 3 a factor of ((-2)/i)/(3/27)?
True
Let r(g) = 2*g**3 + 12*g**2 + 11*g - 13. Let k(m) = -m**3 - 6*m**2 - 5*m + 6. Let t(i) = -5*k(i) - 2*r(i). Suppose -8*q - 20 = -4*q. Is 5 a factor of t(q)?
False
Let w(u) = 6*u - 5. Let v(q) = -9*q + 2. Let r(n) = 17*n - 4. Let h(a) = -6*r(a) - 11*v(a). Let i(b) = 5*h(b) + 2*w(b). Is 6 a factor of i(-4)?
True
Suppose u + 3*u + 8 = 0. Let k = 15 + u. Is k a multiple of 5?
False
Suppose -2*f = 3*d - 30, 4*d = 2*f - 4*f + 32. Does 5 divide f?
False
Let b(z) = -2*z**3 - 2*z + 144. Does 12 divide b(0)?
True
Suppose -k + 5 = -1. Let r(q) = 5*q + 7. Let a be r(k). Let i = a - 18. Does 19 divide i?
True
Suppose -4*b - 3*z - 90 = -2*b, 0 = 3*b - 2*z + 109. Suppose 3*i + 75 = -0*i. Let f = i - b. Is 14 a factor of f?
True
Let h = 10 + -6. Suppose -5*s + 4*i - 4 = 0, 4*s - h = -2*i - 2. Suppose s = -5*f - 2*b + 107, -24 = 5*b - 4. Does 12 divide f?
False
Let b(p) = p**3 + 4*p**2 - 7*p - 7. Let x be b(-5). Let o(j) = j**3 - 2*j**2 - j - 4. Let a be o(x). Is (-65)/a*(-16)/10 a multiple of 18?
False
Is (-1407)/(-35) + (-1)/5 a multiple of 20?
True
Suppose 0 = 2*j - 6*j - 28. Let s(f) = -4*f**2 - 10*f - 1. Let c(h) = h**2. Let p(q) = -2*c(q) - s(q). Is 24 a factor of p(j)?
False
Let t(z) = 3*z - 5. Let k(g) = -1. Let n(y) = y**3 - 7*y**2 - 8*y + 1. Let c be n(8). Let p(o) = c*t(o) - 6*k(o). Does 3 divide p(1)?
False
Let q = -5 + -4. Suppose 5*f = -s + 9 + 20, -4*s + 78 = f. Let c = s + q. Does 5 divide c?
True
Let y(z) = -z**3 + 5*z**2 - 6*z + 5. Let p be y(4). Does 2 divide (p/9)/(1/(-12))?
True
Let o(t) = t**3 + 5*t**2 - 7*t - 3. Let y be o(-6). Suppose 6*x + 0*x = 0. Suppose -y*d - d + 152 = x. Does 21 divide d?
False
Suppose 2*y + 2*s = 30, -2*y + 3*s - 77 = -7*y. Let b = y + -5. Is 11 a factor of b?
True
Let u(q) = -q + 2. Let x be u(3). Let v(f) = 6*f**2 - 3*f + 2. Let y(t) = 17*t**2 - 10*t + 7. Let m(z) = 7*v(z) - 2*y(z). Is 8 a factor of m(x)?
False
Suppose -3*r - 10 = -31. Is r a multiple of 3?
False
Suppose 3*p + 4 = 4*c - 0, 2*p + 4 = 3*c. Suppose 4*h = 5*a - 52, c*a - 5*h + 7 - 54 = 0. Is a a multiple of 3?
False
Let j be 2/(-10) + (-120)/25. Let s(f) = f**3 + 7*f**2 + 5*f - 4. Is 6 a factor of s(j)?
False
Suppose -33 = -5*g - 8. Suppose 3*y = -4*n - 30, 10*y = g*y - 3*n - 50. Is (4/y)/(1/(-40)) a multiple of 8?
True
Let x(u) = 0*u**2 - 3 + 9*u**2 - 5 - 4*u - u**3. Does 14 divide x(8)?
False
Let c = 19 + 0. Is c a multiple of 6?
False
Let v = -11 + 11. Suppose v = -o + 3 + 6. Is o a multiple of 8?
False
Let h be (-6)/51 + (-355)/17. Does 5 divide 1062/42 + 6/h?
True
Let s be -1 + (1 - 1 - -3). Suppose s*z - 62 = 10. Is z a multiple of 12?
True
Let s(v) be the second derivative of 2*v**3/3 + 9*v**2/2 + 2*v. Does 17 divide s(10)?
False
Let f(v) = -v**2 + 14*v + 11. Is 6 a factor of f(13)?
True
Is ((-64)/4)/(-4) - -114 a multiple of 36?
False
Suppose 8*r - 11 - 253 = 0. Is r a multiple of 23?
False
Let i = -17 - -123. Suppose 0 = 4*g - 2 - i. Does 11 divide g?
False
Let n be -3*(140/12)/(-7). Does 6 divide ((-2)/n)/((-3)/135)?
True
Suppose -3*o = -4*m - 50, 3*m = -4*o + 39 - 14. Does 5 divide o?
True
Suppose -b + 3 + 1 = 0. Suppose -c - 54 = -b*c. Is c a multiple of 5?
False
Suppose -4*n = -0*n - 240. Let g = n - 20. Is g a multiple of 17?
False
Is 21 a factor of 52 - (-1 + (-4 - -3))?
False
Let i be 3/(-9) - 22/(-3). Let o(v) be the third derivative of -v**5/60 + 5*v**4/12 - 5*v**3/3 - 4*v**2. Does 6 divide o(i)?
False
Let j be (-8)/4*(-2)/4. Let g(m) = m**3 - 2*m**2 + m. Let a be g(j). Let o(l) = -l**3 + 32. Is 16 a factor of o(a)?
True
Suppose 0 = 3*k + k - 28. Suppose 2*j = 6, -j = 2*x - 0*j - k. Suppose x*t - 130 = -36. Does 19 divide t?
False
Let u be -40*(24/(-10) + 2). Suppose 2*p - 6*p + u = 3*g, 4*g = 3*p - 12. Is p a multiple of 2?
True
Suppose 0 = x + 3*s - 15, 5*x + 2*s - 123 = -s. Suppose -p + x = 2*a, 2*a - 73 = -4*p + p. Is 8 a factor of p?
False
Suppose 8 = 3*m + 2*c - 8, c = -4*m + 28. Suppose 0 = 2*a - 40 + m. Suppose -k + 12 = -a. Is k a multiple of 14?
True
Suppose -4*l + 16 = -0. Suppose 5*c - l = 21. Suppose -c*b + 3 + 7 = 0. Is b even?
True
Let w(x) = -x**3 - 3*x**2 + 9*x - 8. Does 23 divide w(-6)?
True
Suppose 2*t + s + 16 = 5*t, -26 = -5*t + 2*s. Suppose 2*q = t*q - 84. Is 9 a factor of q?
False
Suppose 40 = -10*h + 8*h. Let i = h + 95. Is 20 a factor of i?
False
Suppose -4*j + 4 = -2*u - 0, -2*j = 3*u + 46. Let q = 14 - u. Is 21 a factor of q?
False
Let d = 3 - 1. Suppose 4*z - 3*v - 8 = -z, -3*z - d*v + 20 = 0. Suppose -z*k - 18 = -6*k. Is 5 a factor of k?
False
Suppose 75 = 4*d - 69. Is 11 a factor of d?
False
Let w be (0 - (-6)/4)*-2. Let b be 1/((w/(-27))/1). Is (-4)/18 - (-74)/b a multiple of 4?
True
Suppose -1 = 4*p + 3*t, -t - 2 = -p + 3. Suppose 5*f - d = 93, 4*d - p - 4 = -f. Is f a multiple of 16?
False
Suppose 53 = -2*i - 31. Let c = i + 71. Is c a multiple of 14?
False
Let y(n) = n**3 + n**2 - n + 21. Let u be y(0). Is (18/(-21))/((-3)/u) a multiple of 3?
True
Suppose -14 - 266 = -5*a. Does 7 divide a?
True
Suppose -3 = -2*y + 3*s + 12, 5*y - s = 5. Suppose 36 = 3*d + 5*t, 5*t + y*t = 2*d + 1. Is 2 a factor of d?
False
Suppose 5*d + 9 = -x - 2*x, -5*d = -x - 3. Let w be -2 - (-2)/2*3. Is w + (1 + d)*7 a multiple of 3?
False
Let y be (-23)/2 + (-8)/(-16). Let u(l) = -2*l - 5. Is 17 a factor of u(y)?
True
Let s(c) = -c**3 + 6*c**2 - 3*c - 4. Let f be s(5). Let v be f/(-9) - (-8)/12. Suppose v*q + q - 51 = -5*h, 32 = 4*h + 3*q. Is h a multiple of 11?
True
Let d(u) = u**2 + 3*u - 1. Does 23 divide d(7)?
True
Let n(f) be the second derivative of f**3/3 + 5*f**2/2 + 9*f. Does 4 divide n(3)?
False
Suppose -3*c + 10 - 31 = 0. Let y = 43 + c. Is y a multiple of 12?
True
Let c be (-13)/3 + (-8)/12. Is 6 a factor of (-106)/c + 1/(-5)?
False
Suppose 0 = 3*v + 3 - 12. Suppose -v*x = -2*x - 12. Is x a multiple of 11?
False
Let o(z) = -5*z + 1. Let a be o(1). Suppose -18 = 5*l + 2*j - 278, 3*l + 5*j - 137 = 0. Is l/8 - 1/a a multiple of 5?
False
Suppose -o = 3 - 4. Is 20 a factor of 60/9*(4 - o)?
True
Let b = -4 - -1. Does 11 divide (-235)/(-15) - 1/b?
False
Suppose 0*b - 4*b = -96. Is 12 a factor of b?
True
Let x = 3 + 0. Suppose 1 = -f - x*t, -f + 3 - 4 = -4*t. Is ((-161)/14)/(f/2) a multiple of 11?
False
Let f(k) = -k**3 + 10*k**2 - 5*k + 6. Let w be f(8). Suppose -w + 26 = -t. Is 17 a factor of t?
True
Is 5/15*5*30 a multiple of 25?
True
Suppose -601 = -8*j + 359. Is 23 a factor of j?
False
Let b = -59 - -89. Is 6 a factor of b?
True
Is 2/(-11) + (-633)/(-33) a multiple of 11?
False
Suppose a - 394 = -0*a - 5*g, 5*a - 2*g - 2024 = 0. Suppose -w - 100 = 2*h - 3*h, 5*w + a = 4*h. Suppose 23 = r + l - 2, -4*l - h = -3*r. Is 14 a factor of r?
True
Does 5 divide (81 + -3 - 1) + 6/3?
False
Let x = 18 - 12. Let z = x - -19. Is z a multiple of 15?
False
Let i be 33/12 + (-1)/(-4). Does 4 divide (25 - 0)*(i - 2)?
False
Suppose -2*s = -5*s. Suppose 0*c + c - 5*b - 80 = 0, 5*b + 15 = s. Is c a multiple of 19?
False
Let c = 5 - -1. Is 8 a factor of c/(-24) - 177/(-4)?
False
Let k = 30 + -12. Let a be k/4 - 2/4. Is (-2 - (-14)/a)*10 a multiple of 7?
False
Let q = -5 - -5. Suppose 12 = -q*g + 4*g. Is g a multiple of 2?
False
Is (-6 - -7) + -2 + -2 + 83 a multiple of 16?
True
Let x(m) = 2*m**2 + 15*m + 12. Does 22 divide x(-11)?
False
Suppose -2*v + 3*v = 76. Does 10 divide v?
False
Let q be 1/(-5) - 6/(-5). Does 3 divide 6 - -1*2/q?
False
Let u(q) be the second derivative of -q**4/12 - 4*q**3/3 - 3*q. Suppose -5*c + 16 = -v - 0*v, 3*v - 2*c = -22. Does 6 divide u(v)?
True
Let g(a) = a**2 + 2*a + 9. Is g(0) even?
False
Suppose -17 = -5*r - 3*n, -4*r - 4*n + 11 + 1 = 0. Suppose -3*o + 8 + r = 0. Suppose -2*i + o = -i. Is 3 a factor of i?
False
Let w(x) = 9*x**3 + x - 1. Let r be w(1). Does 13 divide (-6)/4*(-186)/r?
False
Let u(p) be the first derivative of 70*p**3/3 + p**2/2 + p - 6. Does 15 divide u(-1)?
False
Let h(y) = -y**3 - 23*y**2 + 4. Does 2 divide h(-23)?
True
Suppose 20 = 5*f - 0*f + w, 5*f - 20 = w. Let x = f + 6. Does 5 divide x?
True
Is 7 a factor of (-13)/26 + (-70)/(-4)?
False
Let s = 63 + -42. Is 7 a factor of s?
