2*k - 6. Let a be n(-4). Let g be 16/a*4/8. Let v(c) = -c**3 + 5*c**2 - 4. Does 6 divide v(g)?
True
Suppose 0 = -3*u + 2*u - 3. Suppose -6 = i - 3. Does 3 divide i/(2*u/8)?
False
Let n(s) = s**3 - s**2 + 3. Let v = -2 - -2. Is 2 a factor of n(v)?
False
Let b be (0 - 2)/(4/(-8)). Suppose -w - 90 = b*w. Let p = w + 26. Is 8 a factor of p?
True
Let h = -51 + 72. Let d = h - 12. Is 5 a factor of (d - (1 + 1)) + 0?
False
Let f = 23 - 32. Is 10 a factor of (-178)/f + 2/9?
True
Suppose -4*t - 5*c - 10 = 0, -4*t + 3*c = -5 + 31. Is 8 a factor of 9/45 - 74/t?
False
Let j = 6 - 6. Let n(b) = -b**3 - b. Let i be n(j). Suppose 5*v = -i*v + 145. Is v a multiple of 10?
False
Let p(s) be the first derivative of 2*s**3/3 - 3*s**2 - 8*s - 5. Let o(c) = 6*c + 1. Let b be o(1). Is p(b) a multiple of 13?
False
Suppose -a - a = 6. Let d = a - -33. Does 6 divide d?
True
Let j = 461 + -285. Is 16 a factor of j?
True
Let b = 5 - 5. Suppose b = x - 0*x - 7. Is x a multiple of 2?
False
Let z(k) be the second derivative of -3*k**4/8 + k**2/2 + 4*k. Let u(m) be the first derivative of z(m). Is 18 a factor of u(-4)?
True
Let f = -2 - -4. Suppose 0*p = -f*p. Suppose p = 2*n + 4*o - 18, -o = -4*n + 3*o + 48. Is n a multiple of 11?
True
Suppose -2*t + 178 = 74. Let y be -2 - (-2 + -3) - 0. Suppose 2*k - x = y*x + t, 2*x + 74 = 3*k. Does 12 divide k?
True
Suppose 27 = -3*l + 4*d + 70, -l - 3 = 3*d. Is l a multiple of 6?
False
Suppose -3*a = -5*w + 19 - 103, -2*w - 98 = -4*a. Let i = -9 + a. Is i a multiple of 7?
True
Suppose f - 2*z = 10, 3*z - 1 = 4*z. Let m = -4 + f. Suppose 2*o + 136 = m*v, -v + 5*o + 84 = v. Is v a multiple of 16?
True
Suppose 0 = 2*y - 8, -8*o + 3*o = y - 29. Is o even?
False
Let b = -6 + 9. Let j(s) = 7*s - 4. Let r be j(b). Suppose -o - q = -6, -3*o + o - q + r = 0. Is o a multiple of 6?
False
Suppose -5*b = -3*b - 4. Let l be 3/(b/(-4) + 2). Suppose -102 = -4*a + l. Is a a multiple of 13?
True
Suppose -3*q = -3*z + 3 + 69, -5*q + 132 = 4*z. Is z a multiple of 24?
False
Let h(f) = 3*f + 8. Let o be h(6). Let d = -16 + o. Is d a multiple of 4?
False
Suppose 197 = 2*o + o + 2*g, -330 = -5*o - 3*g. Is 13 a factor of o?
False
Suppose 0*l - 308 = -7*l. Is l a multiple of 11?
True
Let n = 4 - 2. Let a be (0/(1 + 1))/n. Suppose 3*l + a*l - 54 = 0. Does 11 divide l?
False
Suppose 0 = -6*c + 3*c + 39. Suppose 4 = -3*o + c. Suppose 6*x - o*r = 2*x + 217, -202 = -4*x - 2*r. Is 21 a factor of x?
False
Suppose 4*n - 7 = t - 40, 3*t + 4*n - 51 = 0. Is 3 a factor of t?
True
Let w(y) = -11*y**2 + 3*y - 6. Let d be w(4). Let j(q) = q**3 - 4*q**2 - 2*q + 1. Let g be j(4). Does 12 divide (-6)/21 + d/g?
True
Suppose 4*f - 18 - 97 = c, 125 = 4*f + c. Is 8 a factor of f - 5/(10/(-4))?
True
Suppose -a + 88 = 3*a. Let c be (a + 0)/((-1)/(-3)). Suppose 0*j + 3*j - c = 0. Is 9 a factor of j?
False
Suppose -2*q + 4*d = 6*d - 46, 49 = 2*q + d. Is q a multiple of 6?
False
Let s(j) be the second derivative of j**5/15 + j**3/3 - 2*j. Let k(y) be the second derivative of s(y). Is k(3) a multiple of 12?
True
Suppose 0 = 5*d - 15 - 5. Is 5*d/((-80)/(-12)) a multiple of 2?
False
Suppose 3*l - 7*r = -2*r - 28, -4*l - 2*r + 6 = 0. Is 2002/35 - l/(-5) a multiple of 19?
True
Let w(a) be the first derivative of -5/2*a**2 + 2*a + 1. Is w(-2) a multiple of 11?
False
Let y(c) = c**3 - c**2 + c - 88. Let h be y(0). Let i = h + 128. Is i a multiple of 14?
False
Suppose -2*q + 64 = 5*m - 0*q, 58 = 4*m + 5*q. Is m a multiple of 12?
True
Suppose 0*a + 3*a + 603 = 0. Is a/(-6 + 3) - -3 a multiple of 14?
True
Let b(z) = z**3 - 11*z**2 + 10. Is b(11) a multiple of 5?
True
Let f(z) = 6*z + 0*z**2 + z**2 - 4 - 3 + 4. Let i be f(-5). Is -20*i/10*1 a multiple of 8?
True
Let l(b) = b**3 + 3*b**2 - 6*b - 5. Let k be l(-4). Suppose -165 = -0*x - k*x. Suppose -x + 13 = -3*q. Is 4 a factor of q?
False
Is 9 a factor of (3*-1)/((-148)/72 + 2)?
True
Let x = 1 + 2. Suppose x*f - 2*f - 3 = 0. Is 2 a factor of f?
False
Let r(v) = v**2 - v + 8. Is 14 a factor of r(5)?
True
Suppose -u = -2*j - 2 - 19, 0 = 4*u - 2*j - 54. Does 11 divide u?
True
Let a(v) = v**3 - 3*v**2 + 6*v. Let p be a(4). Suppose 0*m = m - p. Does 14 divide m?
False
Let t(c) = 2*c**2 - 11*c. Does 12 divide t(-6)?
False
Let o be (-69)/(-12) - 2/(-8). Is 7 a factor of 10 + 6*(-3)/o?
True
Let p(n) = -8*n**2 + n**2 - 2*n**2 - n**3 - 6*n + 10. Let k be p(-8). Let o = 9 + k. Is o even?
False
Is 12 a factor of 57 - (8 + 0 - 4)?
False
Let c be (7 - -2) + (0 - 2). Let q(u) = -u**2 + 7*u + 8. Does 8 divide q(c)?
True
Let x be -2 + -2 + 2 + 1402. Is (-2)/9 + x/63 a multiple of 11?
True
Suppose 7 = -2*d - m, -3*d - 7 = 4*m + m. Let p = 2 + d. Let c(o) = 4*o**2 + 2*o. Does 12 divide c(p)?
True
Suppose -30 = -5*c + 175. Suppose 2*h + 2*r = c + 35, 5*h - 4*r = 181. Is h a multiple of 20?
False
Does 22 divide (-20)/18*-33*108/30?
True
Suppose -35 = -4*x - 4*a - 255, 5*a = -4*x - 219. Let y = 112 + x. Suppose -g - y = -5*g + d, -2*g = 4*d - 28. Is g a multiple of 7?
True
Let t = 11 + -26. Is 2 - -1 - 6 - t a multiple of 4?
True
Suppose 5*c = 4*u - u + 88, 3*c - 4*u = 44. Does 7 divide (-4)/(c/7 - 3)?
True
Let r be (2 + 0 - 3)*-3. Suppose -2*x + 5*g = -136, 0*x + 178 = r*x - g. Suppose -3*p + x = -4*l, -2*p = -5*p + 5*l + 62. Does 6 divide p?
False
Suppose 2*t + 5*b = -27, 3*t + 2*b + 7 = -6. Let y(f) = -28*f**3 + f**2 + f. Does 14 divide y(t)?
True
Let x(f) = 28*f**3 - f**2 + 2*f - 1. Is x(1) a multiple of 28?
True
Let c(s) = 2*s - 10. Is 4 a factor of c(16)?
False
Let o be (3/3)/((-2)/(-110)). Let p = o - 24. Let w = p + -19. Is 7 a factor of w?
False
Suppose -2*x + 5*s - 8 = 0, 0 = 2*x + 2*s - 5*s + 4. Let l be (x/2)/(3/492). Let d = -42 + l. Is d a multiple of 20?
True
Let n(f) = -19*f - 73. Is n(-17) a multiple of 25?
True
Does 7 divide -1 + -1*125/(-5)?
False
Suppose 0*n + 5*l = -n + 10, 2*l - 4 = -2*n. Suppose n*i = -i + 5. Suppose -i*m + 128 = 43. Is m a multiple of 9?
False
Let l(d) = d. Let z = -5 - -7. Let u be l(z). Suppose 9 - u = a. Does 5 divide a?
False
Let a = 1 - -7. Suppose 4*d - a = 12. Does 7 divide d/(-10) + 29/2?
True
Let t be (-8)/6*3/(-1). Suppose -t*q + 23 = -137. Does 18 divide q?
False
Is (1 + -2)*2 + (-7 - -243) a multiple of 13?
True
Suppose -5*u + 0*f + 5*f + 105 = 0, 5*u - 123 = -f. Does 12 divide u?
True
Let m = -8 + 13. Let x = m + -5. Is 5 a factor of 1 + x - (-1 - 9)?
False
Let q = -13 + 17. Is 2 a factor of q?
True
Suppose -5*v + f + 152 = 0, -4*f - 55 = -2*v - 5. Is 17 a factor of v?
False
Let v = 6 - 4. Suppose 5*t + 12 = 2*g - 4, -3*t = v*g. Suppose 0*a = g*a - 39. Does 7 divide a?
False
Suppose 5*t + 165 = d, 591 = 6*d - 2*d + 3*t. Is d a multiple of 31?
False
Suppose 3*r = -5 + 2. Let d be 57/(-4) - r/4. Let z = d - -26. Is z a multiple of 12?
True
Let d(r) = -r**3 + 4*r - 3. Suppose -3*g = -5*m - 26, 0 = m - 4*g + 2*g + 8. Is 17 a factor of d(m)?
False
Is 7 a factor of 22 + (-2 + 1 - 0)?
True
Let k be 11 - 6/4*2. Suppose 10*f + 266 = k*f. Let v = f - -197. Is v a multiple of 25?
False
Let w(m) = -14*m**3 + 2*m**2 - 2*m + 1. Let s be w(1). Let x = s + 31. Suppose -o - 2*o = -x. Is 3 a factor of o?
True
Suppose -c = 9 + 7. Let f = 42 + c. Is f a multiple of 13?
True
Suppose -7 = -4*w + 3*w + z, 21 = 3*w + 5*z. Is w a multiple of 7?
True
Let z be ((-4)/(-8))/(1/38). Suppose -3 = 2*v - z. Is v a multiple of 8?
True
Let h be 14/3*15/(-10). Let q = 9 + h. Let w(p) = 11*p + 2. Is w(q) a multiple of 9?
False
Suppose 2*k + 11 = -23. Let s be 4/(-16) + (-334)/8. Let v = k - s. Is 13 a factor of v?
False
Let f be ((-15)/(-10))/((-1)/2). Let a = 6 + f. Does 2 divide a?
False
Let s = -35 + 113. Suppose 2*d = -d + s. Is 13 a factor of d?
True
Suppose 3 = -q + 13. Let f be 12/q*(-100)/15. Let r(h) = -4*h - 6. Is 15 a factor of r(f)?
False
Let p(s) = -2*s**2 - 2*s - 2. Let f be p(-5). Let a = 68 + f. Is a a multiple of 13?
True
Suppose -3*n - 3*x + 138 = 0, 0 = -n + x + 41 + 9. Does 20 divide n?
False
Let m(x) = x. Let z(n) = 3*n - 40. Let f(u) = 6*m(u) - z(u). Does 7 divide f(0)?
False
Let y be -1 - (1 + -1 - 29). Let m be (0 - 2/1)/1. Is 2 a factor of m/7 - (-120)/y?
True
Let c(f) = -f - 18. Let a be c(-10). Let m(t) = -t + 3. Is 11 a factor of m(a)?
True
Suppose 5*y = -3*r + 13, 0 = -y + 3*y - 4. Suppose 5*x + 13 = -2*u - r, -5*u = -4