 - 8. Is 11 a factor of 918/21 - v/14?
True
Suppose 11*z - 2856 = -6*z. Is 12 a factor of z?
True
Let m(n) be the first derivative of -n**4/4 + 13*n**3/3 - 6*n**2 - 2*n + 1. Let x(h) = h**2 - h - 1. Let j(l) = m(l) - 6*x(l). Is j(6) a multiple of 2?
True
Suppose q - 5 = 5*s, 24 = -2*s - 2*q - 2*q. Is 4 a factor of 3/((-3)/(-17)) - s?
False
Let p(d) be the first derivative of 3*d**2 + 3*d + 2. Is 9 a factor of p(4)?
True
Let u(n) be the third derivative of -n**6/120 + 7*n**5/60 - n**4/4 + 7*n**3/6 - 7*n**2. Is u(6) even?
False
Let h = 141 - 99. Is 10 a factor of h?
False
Suppose -3*l - 14 = -4*l. Suppose l = 4*k - 2*k. Is k a multiple of 7?
True
Suppose 5*u - 5 = -4*f, 3*u - 2 = 4*f + 1. Suppose f = -0*j + j. Is 17 a factor of 66/(-4)*(j + -2)?
False
Let x(v) = -9*v - 1. Let k be x(1). Let i(d) be the first derivative of -d**3/3 - 6*d**2 - 13*d + 1. Is i(k) a multiple of 3?
False
Let r = -10 - -15. Is 11 - -1*(r - 3) a multiple of 5?
False
Let y(m) = -m + 39. Let r be y(0). Suppose -3*c + r + 18 = 0. Is 19 a factor of c?
True
Let a be (-10)/(-6)*6/(-2). Let t(f) be the third derivative of f**6/120 + f**5/12 - f**4/8 - 5*f**2. Does 8 divide t(a)?
False
Let y = 6 + -2. Suppose -69 = -y*m - 9. Is m a multiple of 9?
False
Let g = 265 - 169. Does 48 divide g?
True
Let f be 2 + (0 - (-3 - 12)). Let g = f - 7. Is g a multiple of 4?
False
Let v(b) be the second derivative of b**3/3 + 2*b**2 - 5*b. Is 5 a factor of v(9)?
False
Let o(r) = r**2 + 4*r - 2. Let g be o(-5). Let v = -8 - -6. Is (-28)/(-3) - v/g a multiple of 5?
True
Let g = -26 + 46. Is g a multiple of 12?
False
Let j(x) = x**3 - 2*x**2 - 3*x. Let t be j(3). Let a = 1 - t. Let r(w) = 6*w - 1. Is 5 a factor of r(a)?
True
Let a = -7 + 11. Let x = a - -26. Does 8 divide x?
False
Let w be (2 - -4)/(9/(-6)). Let k be 12/(-7) + w/14. Does 3 divide 2 + 2 + k + 1?
True
Let c(h) = h + 1. Let i(d) = 6. Let p(n) = 2*c(n) - i(n). Let m be p(3). Suppose -m*k = -b - 74 + 21, 0 = 5*b + 25. Is 12 a factor of k?
True
Suppose -5*f - 185 = 3*v, f - v + 65 = 4*v. Does 32 divide 16/f - 894/(-10)?
False
Let v = 3 - 1. Let n be (1/v)/((-2)/52). Let y = n - -19. Does 3 divide y?
True
Let t be (-1 + 4)*-1 - -28. Let u = -9 + t. Is 8 a factor of u?
True
Does 12 divide 2 - 3 - 2*-25?
False
Suppose -2*t - 136 = 3*r, 22 = 3*r - 3*t + 133. Suppose 0*f + f + 24 = -h, -121 = 5*f + 4*h. Let o = f - r. Does 17 divide o?
True
Let g(l) = 2*l - 3*l**2 + 17*l**2 + 8*l**2 + 0*l - 1. Does 7 divide g(1)?
False
Let j(k) = k + 12. Let d be j(0). Let n = d - 19. Is (1 + n)*(-56)/16 a multiple of 11?
False
Let z be (6/3 - 0) + -1. Let k be ((-2)/2)/z + 1. Suppose 5*a - 45 - 105 = k. Is a a multiple of 15?
True
Let v = -360 - -534. Does 29 divide v?
True
Let o(z) = -z**2 - 13*z + 16. Is 14 a factor of o(-8)?
True
Suppose -3*k = 4*y + 68, -2*y - k - 2*k - 28 = 0. Let p = -2 - 7. Let l = p - y. Does 11 divide l?
True
Let y(r) = r**2 + 2*r + 2. Let l be y(-4). Suppose 27 = 3*p + 3*k, -3*p + 17 + l = -3*k. Does 9 divide p?
True
Let o(i) = i**3 + 3*i**2 - 4. Let p be o(-3). Let r(x) = x - 1. Let v(h) = h**2 + 12*h - 8. Let f(c) = 6*r(c) - v(c). Is 5 a factor of f(p)?
True
Is (-2)/9 - (-2176)/72 a multiple of 5?
True
Let w = 73 + -29. Is w a multiple of 11?
True
Let z(n) = 1 - 3*n - n**2 - 3*n - 4*n. Let p be z(-7). Does 4 divide (p/2)/((-2)/(-2))?
False
Let o = 85 - 30. Let p = -24 + o. Does 17 divide p?
False
Let x = -51 - -96. Is x a multiple of 5?
True
Is 5 a factor of (15/(-1))/(-4 - (-3 - 0))?
True
Let p(c) = 6*c + 2. Is p(3) a multiple of 20?
True
Let p be (24/20)/(4/10). Suppose -p*f + 117 + 18 = 0. Does 15 divide f?
True
Let m = -175 - -355. Is m a multiple of 26?
False
Let g(s) = 2*s**2 - 12*s + 4. Let d be g(8). Let v be 1 - (-4 + -1 + 3). Suppose 4*m - 54 = -v*f + f, 3*m + 3*f = d. Is 8 a factor of m?
False
Let g(v) = 3 - v**3 + 0*v + 0*v - v. Let k be (-2)/6*0*-1. Is 3 a factor of g(k)?
True
Suppose -9*d + 2997 = -12*d. Does 17 divide d/(-21) - 20/35?
False
Suppose 2*q - 15 = -q. Let p(g) = g**3 - 6*g**2 + 5*g + 2. Let z be p(q). Is 10 a factor of 58/z - (4 + -5)?
True
Suppose 0*q - 2*q + 68 = 0. Is q a multiple of 9?
False
Suppose -2*o + 44 = -5*w, 4*o - 112 = -0*w - 2*w. Suppose 4*r = -2*b + 104, -2*b - 67 = -2*r - o. Does 5 divide r?
False
Let d(r) = 38*r - 16. Is 6 a factor of d(2)?
True
Suppose 4 = j - 1. Suppose 4*w - j*h - 7 = 0, -3*w - 2*w = 4*h + 22. Is 9 a factor of 292/24 - w/(-12)?
False
Suppose 0 = -3*l + 2*l. Suppose -4*m + 8 = -l. Is m even?
True
Let d(y) = y - 1. Let s be d(3). Suppose -112 = s*x + 2*x. Does 3 divide (x/(-2))/(2/1)?
False
Suppose 0 = -6*q + 4*q + 16. Does 3 divide q?
False
Let o = -10 - -14. Let g = o + -10. Let v = 7 - g. Is 13 a factor of v?
True
Suppose 5*m = 2*b - 171, 2*m + 191 = 2*b + m. Let l = -33 + b. Is 14 a factor of l?
False
Let p(y) = 2*y**3 - 4*y**2 + 2*y - 3. Let c be p(3). Suppose -3 = o + 12. Let d = c + o. Is d a multiple of 6?
True
Let d = 20 + -8. Suppose h - 5*w - d = 0, 5*w = h + 3*w. Let a(z) = z**2 + 7*z + 9. Is 17 a factor of a(h)?
True
Let g = -13 - -33. Suppose 5*n = 257 - 12. Suppose 3*d - n = z, 6*z = z - g. Is d a multiple of 15?
True
Let i = -6 + 6. Suppose -5*g + 150 = -i*g + 5*f, -2*g - 4*f = -52. Does 16 divide g?
False
Let l(i) = i**3 - 8*i**2 - 6*i - 9. Suppose 0 = 2*k - 5*y - 3, -y - 3 - 12 = -2*k. Does 6 divide l(k)?
True
Let n = 2 - -1. Let c(s) = 2*s + s - 3*s + s + 2. Does 4 divide c(n)?
False
Let l(o) be the third derivative of 0 + 0*o + 7/6*o**3 + 1/120*o**6 + 4*o**2 - 1/8*o**4 - 2/15*o**5. Is l(9) a multiple of 23?
False
Suppose -2*o = o. Suppose 0 = -o*g + 5*g - 3*q - 10, 0 = -g - 3*q - 16. Is 11 a factor of ((-1)/g)/(5/110)?
True
Let n(m) be the first derivative of m**4/2 - m**3/3 + m**2/2 - 2*m + 4. Is 23 a factor of n(3)?
True
Suppose 5*f - 120 = 560. Is f a multiple of 17?
True
Let y be (-120)/(3/4*-2). Let m = y + -14. Does 18 divide m?
False
Let w(m) = -m**3 + 6*m**2 + 8*m - 8. Is 8 a factor of w(6)?
True
Suppose 0 = -2*x - m + 44, -3*m = -4*m + 2. Is 2 a factor of x?
False
Let p(k) = k**2 + 4. Let b = 4 - 5. Let d be b*((-2 - -4) + 4). Is p(d) a multiple of 17?
False
Suppose -2*z - 28 = -v, 5*v - 124 = 5*z - 4. Does 20 divide v?
True
Suppose -3*b + 1 = 4*m - 4*b, 2*m - 2*b = -4. Suppose 5 = 2*q - m. Suppose -q*s = -8*s + 45. Does 9 divide s?
True
Let z = 9 + 5. Does 5 divide z?
False
Let h = -32 - -72. Suppose d = -4*d - s + h, -2*d - 5*s = -39. Is d a multiple of 2?
False
Let c be (-141)/(-12) + (-2)/(-8). Let q = 7 + -10. Let p = c - q. Is p a multiple of 14?
False
Let j = -36 - -244. Suppose -4*d - 5*y + 205 = 0, -4*d - 3*y + j = y. Is d a multiple of 11?
True
Suppose -2*u + 9 = 2*w + 3*u, 0 = 5*w - 5*u + 30. Is 14 a factor of (-1 - -13) + 0 - w?
False
Let w = 186 - 136. Is 10 a factor of w?
True
Suppose 0 = g + 3, -3*o = -5*o + 2*g + 26. Is o a multiple of 10?
True
Let j(d) = d**2 - 9*d - 2. Let i be j(9). Let q(n) = 4*n**2 - 4*n - 3. Does 7 divide q(i)?
True
Suppose 4*n + 9 - 21 = 0. Suppose 4*l - h - 9 = n*l, 0 = -4*l + h + 39. Let t = 14 - l. Is t a multiple of 4?
True
Suppose 5*f = 2*z + 136, -2*f + 52 = -3*z + z. Is f a multiple of 7?
True
Suppose -7*f + 584 = -102. Is 13 a factor of f?
False
Let h = 31 + -20. Is 9 a factor of h?
False
Suppose 0*j + 238 = 7*j. Is j a multiple of 34?
True
Let f(v) = -v + 36. Is f(0) a multiple of 9?
True
Let r(l) = -2*l - 14. Let o be r(-8). Suppose o*s = 5*s - 138. Is s a multiple of 14?
False
Let k(a) = a**2 - 4*a - 9. Suppose 5*j + 0*p + p - 38 = 0, -2*j + 5*p - 1 = 0. Is 5 a factor of k(j)?
False
Does 16 divide 52/6*(6 - 3)?
False
Let u be (-3)/(-2)*24/9. Suppose -5*o = 2*m - 1, u*m + 2*o - 6 = 4. Suppose 4*k = -2*f + m*f + 59, 0 = -3*f + 15. Is k a multiple of 10?
False
Is 19 a factor of (-25)/(-25) - (1 + 0)*-94?
True
Is 6/10 + 378/45 a multiple of 3?
True
Let a(m) = -5*m + 14. Is 9 a factor of a(-14)?
False
Let p(a) = -a**3 + 3*a**2 + 22*a + 5. Does 29 divide p(-4)?
True
Let t = -60 + 161. Does 33 divide t?
False
Let t(p) = 3*p**2 + p + 6. Let m be t(5). Is 13 a factor of (m/(-4))/((-5)/10)?
False
Suppose -5*u = -5*a + 5, u = 3*a - 6 - 7. Suppose -4*k - 14 = -2*r, r + 4*k = a*r - 29. Is 5 a factor of r?
True
Let w(j) = 28*j. Is w(1) a multiple of 14?
True
Let t = -67 + 117. Is 25 a factor of t?