-8 = -3*w - w. Let l(j) = -5*j - 2. Let g(n) = w*u(n) + 35*l(n). Is 7 a factor of g(-4)?
False
Let g be 24/4 + -3 - 5. Does 13 divide 14*2/1 + g?
True
Suppose -2*z - 3*z = -u - 1040, -u = z - 214. Is 11 a factor of z?
True
Is (-1)/(-2*(-2)/(-44)) a multiple of 11?
True
Is 22 - (-2)/2*3 a multiple of 8?
False
Let d be (-2)/(6/(-387)*-3). Let k = -28 - d. Suppose -k = -y - 4*r, 109 = 2*y + 3*y + 3*r. Is 8 a factor of y?
False
Let c = 3 - 3. Suppose c = -0*m - 3*m + 75. Is m a multiple of 25?
True
Suppose 90 = -3*j - 2*j. Is 9 a factor of (j/(-6))/(1/6)?
True
Let u(z) = -z**2 + 12*z + 13. Let y be u(13). Suppose y = -3*q - w + 16 + 17, 4*w = -3*q + 24. Does 12 divide q?
True
Suppose 0 = -8*u + 269 + 547. Is 13 a factor of u?
False
Let c(t) = -42*t - 7. Let u be c(-6). Suppose 4*n - 113 = -5*y + u, -3*y + 2*n = -228. Let x = -34 + y. Is x a multiple of 17?
False
Let n(p) = p**2 + 3*p. Let q be n(-4). Suppose -132 = v - q*v. Is 11 a factor of v?
True
Let m = 48 - 19. Does 21 divide m?
False
Let g be 2*(-1)/6*3. Is 17 a factor of 20 + -6 + (2 - g)?
True
Suppose 2*j + 10 = 0, 0*k + 3*j + 19 = k. Suppose -k*w = 124 - 16. Is (-3 - w) + -1 + 0 a multiple of 14?
False
Let w(l) = l**3 + 6*l**2 - 6*l + 6. Let u be w(-7). Does 15 divide 2 - (-29 + (-1)/u)?
True
Suppose 4*m - 710 + 134 = 0. Suppose -2*p = 2*p - m. Suppose 0 = 2*a + a - p. Is a a multiple of 6?
True
Let r(o) = -o**2 - 6*o - 4. Does 2 divide r(-4)?
True
Suppose -5*v + 362 = 3*s, 502 = 4*s - v - 2*v. Does 31 divide s?
True
Suppose 8*w + 556 = 2740. Is 13 a factor of w?
True
Suppose 4*y - 5*z - 26 = 0, 4*z + 0*z + 19 = 3*y. Is 2 a factor of (y - 2) + (-9 - -7)?
False
Suppose 5*q = -4*k + 7 + 21, 2*k - 5*q - 14 = 0. Is k even?
False
Let l = 19 + -17. Is 9 a factor of l*3 - (1 + -4)?
True
Let n(u) = 2*u**2 - 4*u - 4. Let f be n(5). Suppose -c - 58 = -4*b + f, -4*b = 3*c - 68. Is 20 a factor of b?
True
Suppose 5*u = 0, 62 = 6*h - 4*h - 5*u. Is 9 a factor of h?
False
Let y = 13 + -12. Is (0 + y)/(8/336) a multiple of 21?
True
Let t(s) = 2*s**2 - 2*s - 4. Let r = -13 + 10. Is t(r) a multiple of 12?
False
Suppose -7 = -2*o + o. Let d(z) be the second derivative of z**3/2 - 5*z**2 + z. Does 11 divide d(o)?
True
Let k(r) = 3*r**2 + r + 1. Let d be k(-1). Suppose 2*b + 4*w + 10 = 0, d*w = w - 10. Is b a multiple of 3?
False
Let v = 261 - 129. Suppose -4*t = -4*f + v, -4 + 3 = -t. Suppose -3*b + z = -21 - 85, -z - f = -b. Does 18 divide b?
True
Let l be ((-4)/(-8))/((-2)/(-392)). Suppose 2*w = 4*c - l, -5 = -2*c - 3*w + 24. Suppose 0 = 2*b - 4*b + c. Is 9 a factor of b?
False
Suppose 4*i + 46 = 110. Let u = 14 + i. Is u a multiple of 11?
False
Suppose 0 = 4*d + 4*n - 100, 4*d + 2*n = 15 + 83. Is d a multiple of 17?
False
Let g = 16 - 14. Suppose -56 = -4*u - 5*c + 19, 0 = 2*u + g*c - 38. Is 6 a factor of u?
False
Let p be 52/(-6)*-3 + 2. Suppose -4*f = -8 - p. Suppose 6*c - c = -4*v + 43, f = 3*c. Is v a multiple of 4?
False
Suppose -3*o = -254 + 71. Is o a multiple of 19?
False
Let p(t) = 12*t - 8. Let c be p(10). Suppose -c = -4*s - 0. Is 19 a factor of s?
False
Let x(i) = i**3 + 4*i**2 - 7*i - 5. Let w be x(-5). Suppose f - h = w*f - 113, -7 = -f + 4*h. Does 9 divide f?
True
Let k(j) = -j**3 - j**2 + j + 2. Let f be k(0). Let l be (2 - 1 - 4)*(-5 - -6). Is 7 a factor of l - ((-6)/f + -7)?
True
Does 5 divide (63/(-6) - -3)*-2?
True
Let v be 3/(-2)*8/(-6). Let d = -95 - -192. Suppose 2*q = -5*k + 71, 3*q - d = v*k - 0*k. Does 12 divide q?
False
Let l(z) = -28*z - 6. Is 26 a factor of l(-3)?
True
Let o(j) = j**3 + 9*j**2 - 8. Let d be o(-9). Is 160/6*(-18)/d a multiple of 20?
True
Let c(g) = g**2 + 3 + 2 - g + 2. Let x be c(6). Let y = x + -20. Does 13 divide y?
False
Suppose 0 = 3*z - 15, 2*v - 5*z = -0*v + 29. Suppose 3*n - 5*k = 10, 2*k = -5*n + v - 0. Is n a multiple of 3?
False
Let q(o) = -o**2 - 3*o + 4. Let r be q(-4). Suppose c - 2 + 0 = r. Suppose -c*n = -10 - 0. Is 3 a factor of n?
False
Suppose 4*o - 299 = -39. Does 19 divide o?
False
Suppose -5 - 1 = -3*b. Let h(c) = -c**3 + 10*c**2 - 12*c + 8. Let z be h(8). Suppose 2*q - z = -5*s - b*q, q = -s + 9. Is s a multiple of 3?
False
Let g(r) = r**3 + 7*r**2 + 4. Suppose 0 = -x + 2*x + 7. Let y be g(x). Suppose -i - 4*h = -10, 2*i - 98 = -3*i - y*h. Is 14 a factor of i?
False
Let w(k) be the third derivative of 3*k**4/8 + 11*k**3/6 + 2*k**2. Is 27 a factor of w(9)?
False
Let k(g) = -6*g**3 - 4*g**2 - 6*g. Does 16 divide k(-3)?
True
Let j(z) = 2*z**2 - 4*z - 3. Let p be j(4). Suppose 2*w = 7*w - 25. Suppose w*k + 3*g - p = 0, -2*k + 3*g = -k - 17. Is 4 a factor of k?
False
Let i(j) = 16*j**2 - 2*j - 1. Is i(3) a multiple of 29?
False
Let l be ((-16)/(-5))/((-4)/(-20)). Suppose 2*w - 3*r + 8*r = l, -5*w + 4*r - 26 = 0. Is 12 a factor of (-54)/w + 3 + -1?
False
Let g = 3 + 12. Let k = g + -10. Is (-1)/k + 213/15 a multiple of 7?
True
Let l be 0 - (-5)/((-5)/2). Let m(j) = -j**3 - 2*j**2 - 2*j + 1. Let y be m(l). Suppose -y*h + 22 = -3. Does 3 divide h?
False
Let q(b) = b**2 - 9*b + 11. Let y be q(6). Let o(h) = h**2 + 2*h - 8. Does 6 divide o(y)?
False
Let l(w) = -2*w - 8. Is l(-11) a multiple of 4?
False
Let u(y) = -3*y - 3. Let w be u(-9). Suppose 12 = 3*i - w. Does 4 divide i?
True
Let b(l) = -l**2 - 4. Let u be b(0). Let f(t) = -10*t - 6. Let i be f(u). Let v = -19 + i. Is v a multiple of 12?
False
Let n = -6 + 44. Is n a multiple of 19?
True
Let k(o) be the first derivative of o**3 - 3*o**2/2 + 6*o - 3. Is 16 a factor of k(4)?
False
Let z be (-6)/3 - -4 - 10. Let c(p) = p**2 + 4*p + 12. Is 15 a factor of c(z)?
False
Let h = -254 - -417. Is 14 a factor of h?
False
Let d(v) = 42*v - 4. Is 20 a factor of d(2)?
True
Let p = 191 - 114. Suppose 5*h = 123 + p. Does 10 divide h?
True
Let x(y) = -y**3 + 7*y**2 - 5*y - 4. Let l be x(6). Let j be (-16)/(-6)*6 - l. Is (-1)/1 + (j - 0) a multiple of 5?
False
Suppose 0 = -9*z + 12*z - 252. Is z a multiple of 14?
True
Let k be (-2 + 6)*(-1)/1. Let s be (-2)/(-4) - 18/k. Suppose s*g - 7 - 68 = 0. Is 15 a factor of g?
True
Is 2222/55 - 2/5 a multiple of 20?
True
Let c(d) = -d**2 - 5*d. Let g be c(-4). Suppose -5*a + 8 = 3*x - 0, -4*a - g = 5*x. Does 4 divide 2 - 4*6/x?
True
Suppose 0 = -5*s + 149 + 156. Is 9 a factor of s?
False
Let m = 221 - 13. Is m a multiple of 13?
True
Let o = -119 - -222. Is 13 a factor of o?
False
Let u(l) = -3*l + 3. Let a be (-4)/6 + (-112)/(-24). Let o be u(a). Is (-1 + o/(-4))*4 even?
False
Let c = 31 + -15. Is 8 a factor of c?
True
Let j be 2/(-3) + (-16)/(-6). Suppose -j*n = -103 + 27. Does 22 divide n?
False
Suppose -6 = -2*l - l. Suppose 0 = -d, 3*d + 6 = -2*j + 5*j. Is (20 + l - j) + -1 a multiple of 12?
False
Suppose 0 = -3*m + m + 16. Is m even?
True
Let v be (3 - -2)*2/(-5). Let j be 1*(1 + v) - -41. Suppose 0*n - 5*n = -j. Does 4 divide n?
True
Suppose 0*x = -5*x - 15. Let u(a) = a**3 + 3*a**2 - 5*a - 3. Is 6 a factor of u(x)?
True
Suppose a - 9 = 44. Is 19 a factor of a?
False
Suppose 0 = -3*s - 5*l + 198, l - 3*l + 330 = 5*s. Suppose -36 = -5*d - 2*y + 22, -4*y = 5*d - s. Is d a multiple of 10?
True
Let g be 9/(17/9 - 2). Does 25 divide (5/3)/((-3)/g)?
False
Suppose 9 = -0*f + 3*f. Suppose f*c = -c - 32. Does 26 divide (-27)/36 + (-582)/c?
False
Let f(z) = -z**2 - 7*z + 1. Is f(-5) a multiple of 11?
True
Let f = -1 - -3. Suppose -g - 98 = -f*g. Suppose 5*o = 112 + g. Is o a multiple of 19?
False
Let t(f) = 20*f + 11. Let u be t(8). Suppose 3*w - 2*q + 38 = u, w = -4*q + 49. Is 15 a factor of w?
True
Let v(t) = 2*t**2 - 2. Let s(q) = 5*q**2 - q - 6. Let o(a) = 3*s(a) - 8*v(a). Let g be o(-2). Suppose g = -h + 21 - 9. Is h a multiple of 4?
True
Suppose -p = 5*h + 4 - 6, 5*p + 38 = -h. Let w = p + 3. Is 7 a factor of ((-26)/w)/(4/10)?
False
Let v = 26 - 44. Is 6/(-27) + (-148)/v a multiple of 5?
False
Suppose -2*d + 5 = -7. Suppose -15 = -n + d. Is 21 a factor of n?
True
Let u be 2/(-7) - (-2)/7. Let j be -1 - (-46 + 0 + u). Let g = -17 + j. Does 13 divide g?
False
Suppose -2 = -4*t + 14. Suppose -t*m = -4*h - 56, h - 122 + 40 = -5*m. Is 3 a factor of m?
False
Suppose 0 = 4*i + 8, -5*q - 9*i + 1230 = -4*i. Does 31 divide q?
True
Let l(t) = 0*t**2 - 3*t**2 - 9*t + 2 + 0*t**2 + t**2. Let h be l(-7). Let c = 48 + h. Does 4 divide c?
False
Let t = 28 - 18. Let o be (15/25)/(2/t