*n**2 - 4*n - 8. Is 14 a factor of f(-2)?
False
Suppose 4*l = 2*l + 64. Suppose -l = 5*v - y, -v + 4*y - 4 = 3*y. Let m = 21 + v. Is 14 a factor of m?
True
Let z = -90 + 151. Is z a multiple of 13?
False
Let i(m) = m**3 + 12*m**2 - m - 17. Let t be i(-12). Is 23 a factor of 138/4*(t + 7)?
True
Let o(y) = 2*y**2 + 7*y + 6. Does 12 divide o(-6)?
True
Let w = 102 - 34. Is 17 a factor of w?
True
Let l be (-5 - (-1 - 2)) + 10. Let j = -6 + l. Is 5 a factor of ((-8)/j)/((-9)/18)?
False
Is (4 - 2)*33/2 a multiple of 11?
True
Let b(w) = -149*w**3 + 2*w**2 - w. Let u be b(1). Does 14 divide ((-2)/(-4))/((-2)/u)?
False
Suppose 0 = 8*b - 6*b - 118. Is b a multiple of 15?
False
Let k = -2 - -4. Let c = 15 + -13. Suppose 0*o + c*o - 24 = k*b, 17 = o + 4*b. Is 5 a factor of o?
False
Let j = 63 + 1. Let b = 95 - j. Does 9 divide b?
False
Let z be (1 - 1)/(3 + -1). Suppose z = 3*h - 14 + 2. Is h even?
True
Suppose 3*j = -0*j + 24. Let f = j + -5. Suppose f*g - 20 = -4*b - g, 3*b - 3*g = 33. Does 4 divide b?
True
Suppose -2*z = 5*a - 279, 120 = 2*a - z + 6*z. Suppose -2*x - 3*k = -24, 4*x - 68 = -0*k + 4*k. Suppose 4*j - a = -x. Is j a multiple of 6?
False
Suppose -2*o + 72 = -3*k, 2*o - 5*k = -o + 106. Is o a multiple of 14?
True
Let l(a) = -a**3 - 4*a**2 - 2. Let i be l(-2). Is (-6)/10*350/i a multiple of 7?
True
Let l = 3504 - 672. Suppose -3*v + v - l = 0. Is 17 a factor of (-4)/(-14) - v/42?
True
Let x be (-2)/(-7) - (-2)/(-7). Suppose x*k = -5*k. Is 17 a factor of k - -39 - (-2 + 1)?
False
Is 23 a factor of ((1 - -19) + 3)*3?
True
Is 8 a factor of (12 - -5) + (-1 - 0)?
True
Let q(r) = 18*r. Suppose o - 2 = -o. Let i be q(o). Does 11 divide 384/i + 4/6?
True
Suppose 180 = 12*b - 3*b. Is b a multiple of 3?
False
Let s be (-2 - -1)/((-3)/9). Let x = 23 + s. Is x a multiple of 13?
True
Let v(c) = -2*c + 11. Is 7 a factor of v(-5)?
True
Let k(l) = -10*l - l**2 + 43 + 3*l + 8*l. Is k(0) a multiple of 12?
False
Let z be (-24)/(-108) + 86/18. Suppose g - 10 = -w + 6, 4*g = -z*w + 66. Is 7 a factor of g?
True
Let d(i) = -4*i**2 + 3*i - 2. Let z be d(2). Is 10/1*z/(-8) a multiple of 5?
True
Suppose -y + 4*c - 15 = 25, -3*y - 65 = -c. Let r = -11 - y. Is r a multiple of 9?
True
Suppose -p + 9 + 1 = -o, 2*o = -p + 16. Let r = p - 0. Is r a multiple of 8?
False
Suppose 0 = 3*r - h + 3*h - 33, -2*r + 27 = 3*h. Is r a multiple of 2?
False
Let w(j) = -3 + 4*j**2 - 7*j + 2*j**2 - 7*j**2. Let o be w(-8). Is -2 - o - (-2 + 2) a multiple of 7?
False
Let w(i) = -36*i**3 + i + 1. Let k(m) = 2*m**3 + m**2 - m - 1. Let n be k(-1). Does 18 divide w(n)?
True
Let b be 0*-1*(2 - 1). Suppose -3*z - 2*j + 6*j - 10 = b, -5*j + 10 = -5*z. Is 4 a factor of 5 + 1 + 0 - z?
True
Let n be ((-6)/(-5))/((-3)/(-10)). Suppose 0 = 2*b - n + 12. Let f(p) = -p**2 - 4*p + 5. Is 2 a factor of f(b)?
False
Let d(h) be the first derivative of -3*h**2 - 7. Is d(-8) a multiple of 14?
False
Let a(z) = z + 19. Is 5 a factor of a(-9)?
True
Let y(z) = z**3 + z**2 + 2*z + 3. Does 15 divide y(3)?
True
Let n be -2 - (-3 + -1 + 0). Suppose -3*z - n*d + 13 + 4 = 0, 7 = -3*z + 4*d. Is z even?
False
Let f be (-4172)/(-2) - (4 - 3). Let a be ((-2)/6)/((-5)/f). Let r = a + -97. Is 18 a factor of r?
False
Suppose 2*j - 24 = j. Does 8 divide j?
True
Is (0 + -2)*(-285)/10 a multiple of 33?
False
Suppose -3*z - 5 = 49. Let k = -13 - z. Is k a multiple of 3?
False
Suppose 3*h + 2*l = 20, 0 = 2*h - h - 4*l - 30. Let i = -2 + h. Suppose t + 1 - i = 0. Is t a multiple of 6?
False
Let i(n) = 2*n + 15. Let y = -2 - -15. Is 13 a factor of i(y)?
False
Suppose -8*x + 111 = -7*x. Suppose -i = -4*g + x, 0*g - 2*g + 59 = 3*i. Does 14 divide g?
True
Let b(m) = -m**2 - 10*m + 3. Let x be -1 - -2 - 20/2. Does 6 divide b(x)?
True
Let w(f) = -f + 0*f + 2 - f**3 + 7. Let k = 6 - 6. Is 9 a factor of w(k)?
True
Does 33 divide 14567/63 + (1 - 11/9)?
True
Suppose -29 = -4*s + 27. Suppose -2*u = -4*j - 26, 0 = 2*j + u + 3*u - 12. Let x = j + s. Is x a multiple of 5?
True
Let i(u) = u**2 + 5*u - 9. Is i(7) a multiple of 15?
True
Suppose -3*k + l + 0*l + 289 = 0, 2*l + 98 = k. Does 32 divide k?
True
Let v be 4/(-14) - 32/(-14). Suppose 4*p + 2 = v*s, -p - 4 = -s - 1. Suppose 14 = -0*j + p*j. Does 7 divide j?
True
Let i be (1/(-2))/(1/(-8)). Let c be -1*2*(-5)/2. Suppose -2*z = i*q - 108, -c*q - z = -34 - 95. Does 11 divide q?
False
Let y be ((-2)/(-1))/(1*-2). Does 4 divide (-16)/4 + 17 + y?
True
Let h(j) = -j**3 + 9*j**2 - 9*j + 11. Let o be h(8). Let m = o - -2. Is m a multiple of 2?
False
Let p(i) = -i**3 + i**2 + 4. Let w be p(0). Let l(o) = o**2 - o + 3. Is l(w) a multiple of 12?
False
Let p(o) = -o**2 - 3*o - 6. Let a be p(-4). Is 6 a factor of 10/4*(-24)/a?
True
Suppose -4*v + 2*v - 4 = -2*w, 5*v + 3 = 4*w. Let z(h) = h**2 - 10*h + 6. Let a be z(w). Is 8 a factor of (85/a)/(2/(-6))?
False
Suppose -8 = 4*c - 0*c. Let w = 5 + c. Suppose 43 + 23 = w*q. Is 8 a factor of q?
False
Suppose 0 = o + 3*o - 8. Suppose -o*c + 3*c = 12. Is c a multiple of 12?
True
Is 19 a factor of (-2 + (-2)/(-4))*-38?
True
Let m(a) = a**3 + 5*a**2 + 4*a. Let h be m(-3). Let v = -6 + h. Is 13 a factor of (v - -1)*(15 - 2)?
True
Suppose 0 = 5*l + 25, 2*o + 3*l + 11 = -0*o. Suppose -1 - o = 3*a. Is 0 - 2/(-2) - a a multiple of 2?
True
Let f be (0/(-6))/(1 - -1). Let j = 5 - f. Let h(l) = 5*l - 4. Is 7 a factor of h(j)?
True
Let i(z) = z**3 + 3*z**2 - 3*z + 1. Suppose -2*j - 9 = -k - 5*j, 4*k - j - 10 = 0. Let m = k + -6. Is i(m) a multiple of 10?
True
Let x(v) = -v**2 + 8*v - 3. Let d be x(7). Suppose -2*g + 41 = -d*n + 1, 0 = -5*g - 2*n + 76. Does 16 divide g?
True
Let c be (0 + 1)*1/1. Let w = 5 - c. Suppose -3*b = w*j - 30, -4*b - 2*j = -0*b - 30. Is b a multiple of 3?
True
Suppose -m = 2*f + 2*f - 185, -5*m + 861 = 4*f. Does 36 divide m?
False
Suppose t = -22 + 1. Is (t*2)/(-2) + -3 a multiple of 14?
False
Suppose -6*l = -3*l - 117. Does 4 divide 2/(-13) - (-162)/l?
True
Let y(p) = -p**2 - 5*p + 5. Let m be y(-5). Suppose 3*f + 52 = m*f. Does 10 divide f?
False
Is 35 - -1 - (-34)/(-17) a multiple of 3?
False
Let y(w) = -8*w. Does 11 divide y(-11)?
True
Let p = 10 + 10. Is 6 a factor of p?
False
Let d(o) = o**2 + 7*o + 8. Let r be d(-6). Let t = r + 1. Suppose -4*q + 96 = 5*p, -2*p + 47 - t = 3*q. Is 6 a factor of p?
False
Let d = -5 - -8. Suppose -4*u + d + 1 = 0. Let i(w) = 21*w**3. Is 8 a factor of i(u)?
False
Let n(c) = 1. Let a(q) = -2. Let o(r) = 6*a(r) + 13*n(r). Let t(v) = 28*v + 6. Let j(d) = -6*o(d) + t(d). Is 14 a factor of j(1)?
True
Let i be 4*((-2)/(-2) - 0). Suppose 20 = 3*u - i. Is u a multiple of 8?
True
Let y(o) = -o**3 + o**2 - o + 1. Let q be y(1). Suppose q = 2*h - 3 - 3. Suppose h*p = 2*p + 9. Is 4 a factor of p?
False
Let f(z) = -11*z - 1 + 1. Let c be 36/(-54) - 7/3. Is 11 a factor of f(c)?
True
Suppose 0*v - 3*v - m = -126, -m = -5*v + 210. Is 21 a factor of v?
True
Suppose 4*h - 143 = 5*z, 61 + 17 = 2*h + 4*z. Does 10 divide h?
False
Let u(f) = 2 - 3*f**3 + f**2 + 2 - 5 + 2 + 2*f. Let j be u(-1). Suppose h - 8 = -j. Is 2 a factor of h?
False
Suppose 17 = -4*g + 201. Is g a multiple of 15?
False
Let n = 51 - 31. Does 5 divide n?
True
Let x(j) = -4*j**3 - j**2 + 3*j + 6. Is x(-3) a multiple of 6?
True
Suppose 2*o + 3*o = -3*a + 916, 3*a - 2*o = 944. Is 8 a factor of (a/(-60))/(2/(-10))?
False
Let w(a) = -4*a. Let d be w(-1). Suppose d*g = 8*g. Is 11 a factor of (g - -1) + 12 + -2?
True
Suppose -22 = 3*d + 4*x, -4*d - 6*x - 28 = -x. Let b be (d/3)/(2/18). Let v = b + 16. Does 8 divide v?
False
Let l be (-8)/(-14) - (-488)/28. Let c = l - -4. Does 11 divide c?
True
Suppose -2*b = 4*a - 262, -4*a - a + 3*b + 344 = 0. Is a a multiple of 17?
False
Let g = -17 + 13. Does 6 divide 9 + (g - (-1 - 0))?
True
Suppose 5*p - 25 = -5. Let h be 15/4 - (-1)/p. Suppose 5*y = -4*o + 89, y - 88 = -h*o - 3*y. Is o a multiple of 7?
True
Suppose -3 = -4*r + 17. Suppose 3 + 12 = r*y. Is y a multiple of 2?
False
Let g = 27 - 33. Let x be (-118)/8 + (-2)/8. Is 16 a factor of (g/5)/(x/400)?
True
Suppose g - 16 = -3*g + 2*h, h = 2. Suppose g*y + 3*m - 17 = 0, -4*m + 11 = 2*y - 7*m. Suppose y*k = 14 + 6. Is 5 a factor of k?
True
Let l = 240 - 112. Is 8 a factor of l?
True
Is 7 a factor of (5 - (-85)/(-10))*-12?
True
Suppose 30 = 2*w - 0*w. Is w a multiple of 15?
Tr