s + 3 = -1. Is n(s) a multiple of 8?
True
Let w be 2*-2*5/(-4). Suppose -3*y - 2*v - 1 = -3, -w*y = -3*v - 35. Suppose 37 = -y*q + 85. Is q a multiple of 12?
True
Suppose 4*h = 2*s + 14, 3*s + 4 = -2*h - 1. Suppose h*o - 23 = -3*r, -3*o + 0*r = r - 17. Is o a multiple of 4?
True
Suppose -4*g = 3*y + 25, -4*g - y = 4*y + 31. Suppose -5*k = 11 - 1, 0 = -3*v + 2*k + 13. Is 21 a factor of (2/g)/(v/(-348))?
False
Let t(x) = -x + 1. Let l(c) = 10*c - 1. Let f(i) = l(i) - 3*t(i). Let a be f(8). Let y = 143 - a. Is 13 a factor of y?
False
Does 41 divide (-10 - -5) + 6 + 2*20?
True
Let g(d) = d**2 + 5. Is g(0) a multiple of 2?
False
Let n = 5 - -4. Suppose -1 = -2*g + n. Let p = -3 + g. Is p even?
True
Let a = -678 + 1028. Is a a multiple of 35?
True
Suppose -198 = -5*w + 3*w. Let l = -13 + -51. Let x = l + w. Does 14 divide x?
False
Let s = 256 + -163. Does 16 divide s?
False
Suppose 2*s = 38 + 4. Does 4 divide s?
False
Let a(z) = 3*z + 29. Is a(17) a multiple of 16?
True
Let h(l) = -l**3 + 3*l**2 + 5*l + 1. Let i be h(4). Suppose -i - 3 = 2*j. Let f(w) = -w**2 - 7*w - 6. Is f(j) a multiple of 6?
True
Suppose 0 = 2*v - 50 - 14. Does 16 divide v?
True
Suppose -3*k + 4*k = -4. Is k/(-3)*(-15)/(-2) a multiple of 5?
True
Let z = -37 - -100. Suppose -25 = -4*s + z. Is 11 a factor of s?
True
Let a(m) = -m**3 - 7*m**2 + 8*m + 2. Is 37 a factor of a(-10)?
True
Let z be 6/(-10) + 936/(-40). Let q = -13 - z. Is q even?
False
Let r be 0 + 1 + (5 - 10). Is 10 a factor of (-1)/r - (-39)/4?
True
Suppose 0 = -3*t, 4*j + 0*t - 4 = 2*t. Let k = j - 4. Is 15 a factor of 17 - (-1 + 0 - k)?
True
Suppose -2*m + 51 = 19. Let q = m - 3. Is 12 a factor of q?
False
Is 10 a factor of 92/3 - (-24)/(-36)?
True
Let o = 48 + -32. Suppose 2*y = -2*t + 4*t - o, 3*y + 12 = 2*t. Is 9 a factor of t?
False
Let o(i) = i**2 + i + 10. Suppose 4*t + 3*u - 6 = 0, -t + u = -u - 7. Suppose t*s = -s. Is o(s) a multiple of 10?
True
Suppose 230 = -13*k + 15*k. Does 23 divide k?
True
Suppose 47 = -3*l + 4*r - 141, 3*l = 2*r - 190. Is 4 a factor of l/(-6) + 3/9?
False
Let i be ((-24)/(-16))/(1/2). Suppose i*a = 15 + 6. Is 2 a factor of a?
False
Suppose -1 = l - 0. Let j = l + 5. Suppose 0 = j*m + 2 - 6, -2*m - 38 = -4*g. Is g a multiple of 10?
True
Is 270/4 + (-1)/2 a multiple of 14?
False
Suppose 3 = -c - 5*w, -4*c + 4*w + 6 = -3*c. Suppose 0 = 2*n + 5*r + 4, -c*n + n - r = -4. Does 6 divide n?
False
Does 13 divide 1/2*0 + 50?
False
Let u(b) be the second derivative of -b**4/12 + 3*b**2/2 + 4*b. Let m be u(0). Is 5 a factor of (-6)/15*m*-5?
False
Let y(o) be the second derivative of -o**6/120 + o**5/60 - o**4/12 + o**2/2 - 2*o. Let x(r) be the first derivative of y(r). Does 8 divide x(-2)?
True
Let z be 54/15 + 2/5. Let h = z + 6. Does 10 divide h?
True
Let w = 106 - 72. Suppose -k - r = 2*k - w, -5*k = 5*r - 50. Let n = 7 + k. Is 13 a factor of n?
False
Let i(u) = -u**2 + 3*u. Let n be i(3). Suppose 0 = -4*t - n*t + 8. Suppose 0*o - 2*b + 12 = t*o, -5*o + 21 = 2*b. Is 3 a factor of o?
True
Suppose 3*w = -3*r - 93, -5*r - 2*w - 132 = 35. Let s = 16 - r. Does 15 divide s?
False
Let t(p) = p**3 + 6*p**2 - 7*p - 2. Let b be t(-7). Is 12 a factor of 5 + -2 - 42/b?
True
Suppose -5*u + 692 = 137. Suppose 2*g - u = -g + 3*o, -4*g + 5*o + 147 = 0. Is 19 a factor of g?
True
Suppose -j - j = -98. Does 16 divide j?
False
Let s = 111 - 33. Is 11 a factor of s?
False
Let p(m) be the third derivative of m**4/8 - 2*m**2. Is p(7) a multiple of 8?
False
Let u(f) = -f - 1. Let w be 10/(-6) + 4/6. Let c be u(w). Does 7 divide 2*(6 - c - 2)?
False
Let s = 8 - 4. Let n = s + 4. Suppose -v = -n - 2. Is 10 a factor of v?
True
Suppose 0*y + 20 = 5*j + 5*y, 5*y = j - 28. Let d be 2/4 - 4/j. Suppose m - 23 = -5*o, -3*m + 5*o - o + 50 = d. Does 18 divide m?
True
Suppose -6 = 3*f, -3*u - 2*f + 392 = u. Let a = -41 + 104. Suppose 2*m - u = -m - 3*g, 5*g = -2*m + a. Is 17 a factor of m?
True
Suppose d - 6 = 3*u, 4*u - 20 = -2*d + 32. Is 12 a factor of d?
False
Let c(q) = -q. Let g be c(-2). Suppose 21 = -d + g*d. Is 14 a factor of d?
False
Let f be -2*(-1 + (-189)/6). Suppose 3*r = 8*r + f. Let p = r - -41. Is 14 a factor of p?
True
Let s(h) = -h**3 + h**2 + h - 2. Let m be s(0). Does 5 divide (-141)/(-27) + m/9?
True
Suppose c = -4*y + 191, -2*y + 9*c + 101 = 4*c. Does 8 divide y?
True
Let h(j) = j**2 - 1 - 15*j - 2*j + 11*j. Let x be 10/1 + (-2 - -1). Is 26 a factor of h(x)?
True
Let f = 14 + 25. Is 13 a factor of f?
True
Let i(a) = 3*a - 8. Let g be i(6). Suppose 5*s + 0*s - g = 0. Suppose -4*q + s*w = -54, 11 = -3*w + 2. Is 11 a factor of q?
False
Let r be (-10)/(-2) - (-2 + 1). Is 12 a factor of (8/r)/(1/18)?
True
Let s be 0/(-3 + -1 - -3). Suppose s = t - 4*t. Suppose -3*j - 4*y + 60 = t, -2*j + 2*y = -0*j - 40. Is 10 a factor of j?
True
Suppose 5*f - 12 = 3*f. Let m(w) = w. Is m(f) a multiple of 3?
True
Let x(y) = y**3 - 6*y**2 + 3*y + 4. Suppose -5*q + 15 = -5*p, 0 = -4*q - p - p + 30. Let n be (-2)/q*0 + 6. Is x(n) a multiple of 8?
False
Let r(h) = 8*h**2 + h - 2. Let i(w) = w + 4. Let u be i(-6). Does 12 divide r(u)?
False
Suppose 13 = 5*t + 3. Suppose -8 = -4*s + t*s. Suppose 10 = -s*a + 114. Is 13 a factor of a?
True
Let s = 28 + 3. Let q = 58 - s. Does 27 divide q?
True
Let x = -13 + 20. Suppose -2*m + x = -m. Is 3 a factor of m?
False
Let u be 56/12*(-9)/(-6). Let k(v) = -v**3 + 9*v**2 - 10*v + 3. Does 21 divide k(u)?
False
Let l be (-2 + 7)*16/(-10). Let n(q) be the first derivative of -3*q**2 - 10*q + 6. Does 19 divide n(l)?
True
Let f(q) = q**2 + 11*q - 1. Let l be f(-8). Is (-15)/l + 414/10 a multiple of 14?
True
Suppose -3*c - 6*c = -1665. Does 52 divide c?
False
Suppose d = 3*m + 81, 4*d - 243 = d + 3*m. Is 6 a factor of d?
False
Let t(k) = 5*k**2 + k. Let r be t(4). Let c(p) = -2*p**3 - 10*p**2 - 9*p. Let g be c(-6). Let i = g - r. Is 21 a factor of i?
True
Let z(k) = 8*k**2 + 9*k**2 - 22*k**2 + 8 - 4*k**3 - 7*k + 5*k**3. Is 14 a factor of z(7)?
False
Let h(s) = -2*s + 2. Suppose -2*t + 5*t + 6 = 0. Let a be h(t). Suppose -5*u + 51 = -4*y + a*y, 2*u = -2. Is 11 a factor of y?
False
Is 32 + -4 - (-2 + -1) a multiple of 8?
False
Let l(g) = -g + 9. Let o be l(9). Suppose o = 2*n + 2*p - 14, 5*p = 2*n - 7 + 21. Is 3 a factor of n?
True
Suppose 0 = -2*f - 2*c - 1 + 5, 0 = -3*f + 3*c + 36. Does 3 divide f?
False
Let h(u) = u**3 + 10*u**2 + 12*u + 14. Does 11 divide h(-7)?
True
Let o(r) = -r**3 + 13*r**2 + 4. Let p be o(13). Suppose 5*f - p*f - 21 = 0. Is f a multiple of 11?
False
Let b(q) = -q**2 + 2*q. Let y(p) = -p**2 + 3*p - 1. Let z(u) = -3*b(u) + 2*y(u). Let j be z(-2). Suppose 0 = -j*l + 48 - 14. Is 14 a factor of l?
False
Let m = 94 + -54. Is m a multiple of 9?
False
Let v be (-1)/(-4) + (-2222)/(-8). Let r be v/7 + 2/7. Suppose -5*l - k + r = 4*k, 2*k = l - 14. Is l a multiple of 7?
False
Suppose 0 = -6*z + 131 + 13. Is z a multiple of 16?
False
Is 40 - (-1 + -3 + 2) a multiple of 8?
False
Suppose -i = 5*k + 127, 5*k + 3*i + i + 118 = 0. Let c = k - -37. Suppose -r = -37 + c. Is r a multiple of 15?
False
Suppose -5*i = -50 - 120. Is i a multiple of 17?
True
Suppose -3*d - 24 + 96 = 0. Is 8 a factor of d?
True
Let c be 8/(-4) - (0 - 0). Let h be (2 - 3)*(c - 1). Does 13 divide h/7 + (-772)/(-28)?
False
Let z(j) = 22*j**2 - 2*j + 1. Let a(l) = -l + 8. Let i be a(7). Does 7 divide z(i)?
True
Suppose 2*a - 67 = 135. Let l = -68 + a. Is l a multiple of 9?
False
Let i(b) = -3*b**2 - 2*b - 2. Let n(v) = v**2 + 1. Let t(l) = i(l) - n(l). Let f be t(-2). Is ((-12)/f)/(1/40) a multiple of 16?
True
Suppose 0 = 5*m - 3*q - 451, -2*m = m + 3*q - 285. Is m a multiple of 11?
False
Let l(s) = -s**3 + 7*s**2 + 7*s + 4. Let p be l(8). Let b = p + 13. Is 9 a factor of b?
True
Suppose 0 = -5*a + 22 + 818. Is a a multiple of 42?
True
Let g = -245 - -373. Does 16 divide g?
True
Suppose -m - 7 = -4*x, 0 = 5*m - 4*m + x - 3. Suppose -2*k - m + 32 = -3*c, 4*k = -5*c + 29. Is 4 a factor of k?
False
Let k(o) = o**3 + 8*o**2 + 3*o. Let w be ((-1)/2)/((-2)/12). Suppose 4*v + 12 = -2*f, -v = -2*v + w*f - 10. Does 18 divide k(v)?
False
Suppose 4*x - 4*b = 436, 2*x - b - 329 = -x. Is x a multiple of 10?
True
Suppose 9 = -j + 2*j. Is 4 a factor of j?
False
Suppose -1 = -4*l - 33. Is 2 a factor of l/3*(-9)/6?
True
Let m(n) = n**3 - 