e -z*v = -4*g - 148, -2*v + g + 52 = -6. Is v a multiple of 12?
False
Let n(f) = f**3 - 11*f**2 - 11*f + 4. Does 8 divide n(12)?
True
Suppose -6*j + 2*j + 68 = 0. Suppose j + 11 = 4*n. Is 4 a factor of n?
False
Suppose 17*h - 1750 = 7*h. Is 35 a factor of h?
True
Let d(y) = 5*y + 2. Is 8 a factor of d(3)?
False
Let y(s) = -6 - 5 - 9*s - 6 + 8 - s**2. Suppose 4*h = 2*l + 2*l - 28, 2*l = 4*h + 28. Does 4 divide y(h)?
False
Suppose v + 5*w = 245, 2*v = 2*w + 85 + 345. Is 6 a factor of (-4)/(-14) + v/14?
False
Suppose -z + 9 = 4*i, z + 14 = 4*z - i. Suppose 2*p - 3*f + 8 = f, z*p = -5*f + 10. Suppose -16 = -p*m - 2*m + u, 0 = -5*m - 3*u + 51. Is m a multiple of 9?
True
Let a(x) = 7*x**2 + 4. Let t be a(-3). Let m = -47 + 116. Suppose p = 2*n - m, -5*n = -3*p - t - 108. Is n a multiple of 12?
False
Let r = 28 - 3. Is 13 a factor of r?
False
Let v = 0 + 2. Let b = -8 - v. Is 8 a factor of (16/(-10))/(2/b)?
True
Let s(d) = -3*d**2 - d**2 - 2*d + 6*d**2 + 4 - d**2. Is s(5) a multiple of 7?
False
Let u = -15 - -9. Suppose -4*m = -3*q - 0*m - 20, 2*m = 4. Is 6 a factor of (8 + 0)*u/q?
True
Suppose -5*c + 280 = -c. Is 18 a factor of c?
False
Suppose -2*p + 6*p = 56. Let x be (5/2)/((-7)/p). Let m(n) = n**2 - 2*n - 7. Is m(x) a multiple of 12?
False
Let f(q) = -8*q + 3. Let c be f(4). Let y = c + -15. Let l = -31 - y. Does 13 divide l?
True
Is 10 a factor of 4/(-22) + 784/77?
True
Suppose -13 = -2*l + 13. Is l a multiple of 10?
False
Let x be (50/4 + -3)*10. Suppose 29 - x = -y. Does 22 divide y?
True
Suppose 2*m + 120 = q + 3*q, -m = -4*q + 118. Is 5 a factor of q?
False
Let b(j) = 7*j**3 + j**2 - j - 2. Is b(2) a multiple of 14?
True
Suppose -3*r - 58 = 2*r - 2*w, r = -w - 13. Let b(x) = x**3 + 13*x**2 + 15*x - 14. Let l be b(r). Let t = -24 - l. Is 13 a factor of t?
True
Suppose -u = u + 10, i = 5*u + 54. Is i a multiple of 6?
False
Let l(k) = k - 3. Let o be l(5). Suppose w - 30 + 3 = 4*x, 54 = o*w - x. Is -3*3*(-42)/w a multiple of 14?
True
Suppose 0 = -5*h + 3*v + 200, -2*h - 3*v = -36 - 23. Does 3 divide h?
False
Let y = 3 + -3. Let q be (-20)/(-6)*(y + 3). Does 8 divide 4/q - 312/(-20)?
True
Suppose -3*f + 2*h - 86 = 0, 0 = -3*f - 4*h + h - 96. Does 14 divide (-3)/(27/6)*f?
False
Let p = 11 + -7. Suppose 2*h + 16 = p*h. Does 8 divide h?
True
Let t be (-4)/(-6)*21/7. Suppose -19 = -d + t*x - 3, 5*x + 15 = 0. Is 5 a factor of d?
True
Let v = 2 - 2. Suppose -3*x - 35 + 194 = v. Does 13 divide x?
False
Let y be 8*(3/(-3) + -4). Suppose -3*u + u - 44 = 0. Let p = u - y. Is 9 a factor of p?
True
Suppose -3*g - 12 = 2*f, 2*f = 7*g - 5*g - 2. Let z = g + 54. Is z a multiple of 26?
True
Let i = -3 - -7. Suppose s - 17 = -i*u + 12, -s = -u + 1. Suppose -2*m = -u*m + 204. Does 17 divide m?
True
Is 12 a factor of (-82)/(-3) - (-2)/(-6)?
False
Suppose -6 = -y + a, -y + 6*a + 7 = 4*a. Suppose -5*m = 2*r, y = r - 2*r. Suppose -3*h + 9 = -m*h. Is 9 a factor of h?
True
Suppose 2*i - 7*i + j + 2 = 0, -3*i - 4*j = 8. Suppose -84 = -2*x - i*x. Suppose 2*l = -2*d + 4*d - x, -3*d + l = -53. Is 15 a factor of d?
False
Let g(y) = 4*y + 2. Let s be g(-1). Let j(q) = 3*q**2 + 2. Does 7 divide j(s)?
True
Let b(o) = -o**3 - 4*o**2 + 7*o + 6. Let q be b(-6). Suppose 0 = 11*l - 13*l + q. Does 8 divide l?
False
Let x be 93 + -2 - (5 + -2). Suppose -5*c - x = 4*t - 584, 3*c = 5*t - 583. Let m = 172 - t. Is 21 a factor of m?
False
Let f be (5 - 6) + (1 - -2). Suppose -4*k + 2*z + f = 4*z, 3*k = -2*z + 2. Suppose 4*q = -k*q + 20. Is 2 a factor of q?
False
Suppose 0 = -4*q + 10 + 2, 5*f - 2*q = 94. Does 20 divide f?
True
Suppose 2 = o - 8. Does 3 divide o?
False
Let j(k) = -2*k**3 + k**2. Let m be j(-1). Let q(a) = a**3 - 2*a**2. Is 5 a factor of q(m)?
False
Let y(q) = -2*q - 2. Let j be y(2). Let p(t) = 16*t**2 - 7. Let r(i) = 33*i**2 - 15. Let k(x) = j*r(x) + 13*p(x). Does 9 divide k(-1)?
True
Let l be 1 - (15 - 1 - 0). Let a = 11 - l. Is a a multiple of 12?
True
Let u(j) = -j + 4. Let r be u(-4). Let s be 15/4*r/3. Does 20 divide 15/s*30/1?
False
Let i = 907 + -482. Is 13 a factor of i?
False
Let a be (-4 - -10)*150/4. Suppose -3*k = -8*k + a. Does 15 divide k?
True
Let r = 3 - 0. Suppose 0 = r*h + 20 - 68. Does 18 divide (-21)/(4/(h/(-3)))?
False
Let h(l) be the first derivative of -l**5/24 - l**4/12 + l**3/3 + 2. Let p(b) be the third derivative of h(b). Is 11 a factor of p(-7)?
True
Let r = 10 + -6. Suppose r = -l + 7. Suppose -39 = -l*h - 0*h. Is 6 a factor of h?
False
Let o(z) = 11*z - 2. Let g be o(-6). Let f = g + 164. Is 11 a factor of f/(1 - -2) - -1?
True
Let j(h) = -4*h. Is j(-6) a multiple of 12?
True
Let a = -47 - -19. Let i be a/(-5) - 4/(-10). Is 7 a factor of (-16)/i*(-126)/24?
True
Is 9 a factor of 5/((-20)/(-3)) + (-658)/(-8)?
False
Let k(a) = 4*a + 6. Let f be k(-6). Is 31 a factor of (6/f)/(2/(-558))?
True
Let j = 7 - -37. Is j a multiple of 11?
True
Let s = -1 - -9. Is 18 a factor of (-114)/(-5) - s/(-40)?
False
Let p = 224 + -126. Is 24 a factor of p?
False
Let w(j) = -1 + 5 - 6*j - 5 + 3*j. Let d be w(3). Let i = d - -30. Is i a multiple of 10?
True
Suppose -4*x - 4*d = -x - 57, -4*x - 5*d + 76 = 0. Let y be ((-70)/4)/((-1)/2). Let q = y - x. Does 14 divide q?
False
Suppose -4*m = 70 + 62. Let z = m - -73. Is z a multiple of 14?
False
Let l(m) be the third derivative of -m**5/60 - 11*m**4/24 - m**3/6 + 3*m**2. Is l(-8) a multiple of 23?
True
Let b(z) = -2*z. Let a be b(1). Let i(u) = 2 - u**2 + 2*u**2 + 2*u + 3*u**2. Is i(a) a multiple of 14?
True
Let w = 268 - 153. Does 23 divide w?
True
Let w(b) = 2*b**3 - 6*b**2 + 4. Suppose -3*v - 1 = -4*m, -4*m + 3*v - 3 = -m. Is w(m) a multiple of 11?
False
Let d be 4 + -2 + (-14 - 1). Suppose 0*a - 2*a + 86 = 3*m, 3*m - a = 92. Let x = m + d. Does 9 divide x?
False
Let z = 83 + -59. Is 5 a factor of z?
False
Suppose 0 = 2*x + 5*m - 15, -8 = -2*x - 2*m + 4. Let z = x - 10. Let w(f) = -f + 6. Does 11 divide w(z)?
True
Suppose -22*k + 20*k = -44. Is k a multiple of 11?
True
Let r = 62 + -24. Let a(z) = -z**3 + 2*z**2 + 2*z + 3. Let u be a(3). Suppose -k = -u*k - r. Is k a multiple of 19?
True
Suppose -2*l + 2 = -6. Suppose 0 = -l*s - 0*s + 92. Is 13 a factor of s?
False
Let i(p) = -63*p**3 - 2*p. Let s be i(-2). Let n be (-6)/(-21) - s/14. Let r = n + 64. Is r a multiple of 14?
True
Is 4/4*14 - -1 a multiple of 4?
False
Suppose -4*q + 3*w + 54 = -55, -3 = w. Does 7 divide q?
False
Suppose 0 = -q + 6*q - 15. Suppose 48 = -0*x + 3*x - u, -q*u - 9 = 0. Is 15 a factor of x?
True
Let h(z) = z**3 + 7*z**2 + 8*z. Let i be h(-6). Is 16 a factor of (-4)/(-6) - 568/i?
True
Let j(z) = z**3 - 2*z**2 + z + 1. Let d be j(2). Suppose -d*i - 10 = -5*i. Let y(o) = 2*o**2 - 7*o + 3. Is 18 a factor of y(i)?
True
Let q(d) = -9*d + 6. Let a(m) = 8*m - 5. Let c(v) = 5*a(v) + 4*q(v). Does 2 divide c(3)?
False
Let c = -72 - -248. Is 16 a factor of c?
True
Suppose 3*p - 11 = -2*k, 0*p = -k + 4*p - 11. Is 5 a factor of 2/k + 3 + 8?
False
Let j(x) = 0*x - 4 - 5*x + 6*x. Is 3 a factor of j(10)?
True
Let k(z) = z**2 + 3*z - 2. Let a be k(-4). Let q(w) = 5*w**3 + w**2 + 2*w - 3. Is q(a) a multiple of 18?
False
Let m(s) = s**3 + 16*s**2 - 10*s + 9. Does 11 divide m(-16)?
False
Suppose -4*h + z + 11 = 0, 0 = h + z + 1 - 0. Let x(d) = d + 11. Let i be x(-6). Suppose h*u - i = 3. Is 2 a factor of u?
True
Suppose 3*w - 31 = k, 19 = 3*w + k - 4. Let f = 10 + -1. Let g = w + f. Is 9 a factor of g?
True
Let i = 1 - -4. Let g(z) = z**2 + 4*z - 5. Let j(h) = h**2 + 4*h - 6. Let u(b) = i*j(b) - 6*g(b). Is 3 a factor of u(-3)?
True
Suppose -4*s = -0*s - 168. Does 14 divide s?
True
Let g be (1 + 1)/((-2)/97). Let q = -41 - g. Is 12 a factor of 3/(1/(q/6))?
False
Suppose -36 = 4*t - 7*t. Does 4 divide t?
True
Let k be (-6)/3*44/(-4). Suppose 17 = w - k. Is 13 a factor of w?
True
Suppose 2*z = 126 + 126. Let n be 3/(-3) - (1 - z). Let m = -57 + n. Is 21 a factor of m?
False
Is 51/(-2)*12/(-9)*2 a multiple of 31?
False
Let n(a) = a**3 - 4*a**2 + 4*a - 7. Let q = 7 + -8. Let o be (-7 + 2)/(-2 - q). Does 19 divide n(o)?
True
Suppose 16 = 2*b - b. Is 8 a factor of b?
True
Let u = 197 - 192. Does 4 divide u?
False
Suppose 5*j - 10 - 5 = -2*y, -2*j - 15 = 5*y. Let r be 1/2*146/1. Suppose j*n - r = -8. Does 10 divide n?
False
Let i(m) = 25*m - 66. Is i(12) a multip