 18 divide ((-28)/q)/(1/85)?
False
Let n be (-1)/((-4 - -2)/(-4)). Let o be 33/(1/2*n). Let a = -17 - o. Is a a multiple of 11?
False
Suppose 0 = 2*x - 5 - 51. Does 28 divide x?
True
Suppose -4*i + 2*i = 5*p + 15, 0 = 5*p - i. Let y be p/(-2 + 173/87). Suppose -y = -2*a - 3*w, -4*w + 9*w = -15. Does 20 divide a?
False
Let g = 221 - -197. Is 25 a factor of g?
False
Suppose -3*n + 3*b - 171 = -7*n, 2 = 2*b. Does 42 divide n?
True
Let o be (-4)/((-6)/3) - 2. Suppose -268 = -5*g - 5*x + 202, -2*g - 5*x + 191 = o. Suppose 2*z - g = -z. Does 25 divide z?
False
Suppose -49 = -4*s + 63. Does 14 divide s?
True
Suppose -23 = -5*f - 3. Is 8 a factor of (f/(-10))/((-4)/80)?
True
Let f(c) = -7*c + 1. Let d(x) = -21*x + 4. Let y(t) = -4*d(t) + 11*f(t). Is 11 a factor of y(5)?
False
Suppose 5*t + 2 - 17 = 0. Suppose -v = t*v - 160. Is 8 a factor of v?
True
Suppose -3*s + 2*b = -320, 3*s + b - 2*b = 316. Is s a multiple of 13?
True
Let b(d) = 0*d - 2 + 2*d - 4*d + 1 + 24*d**2. Is 15 a factor of b(-1)?
False
Suppose -2*x + 26 = -26. Suppose x = a - h + 3, 3*a = 4*h + 68. Does 24 divide a?
True
Let p(b) = b + 6. Does 2 divide p(9)?
False
Suppose 3*n - 5*s = -25, s - 35 = 4*n - 4*s. Let i be 172/n*(-15)/1. Is 17 a factor of i/9 + 4/(-6)?
False
Suppose -4*a - 264 = -4*g + 2*g, -5*a = 15. Is 8 a factor of g?
False
Suppose -15*w + 1213 = -602. Is w a multiple of 7?
False
Let q be -4 + 2 + 6 + -1. Suppose t - 5*l = -q*t + 13, 5*l = 5*t - 20. Let g = 12 - t. Is g a multiple of 2?
False
Suppose -2*j = -5*k - 86, 21 = j + 3*k - 0*k. Is 11 a factor of j?
True
Let q(v) = -v - 2. Let m be q(3). Let h = m - -20. Let y = 37 - h. Is 12 a factor of y?
False
Let o = 6 - 21. Let u = -9 - o. Is 6 a factor of u?
True
Suppose -5*z + 2*u = -8, z + 8 = 4*z - 2*u. Suppose 23 = 2*f - a - 41, z = 3*a + 6. Does 14 divide f?
False
Let s(t) = -2*t - t + 0*t - 4 + t**2 - 2*t. Is s(9) a multiple of 8?
True
Let w(b) = -4 + 2 + 6*b - 1. Let p be w(3). Does 11 divide (2 + p/(-9))*33?
True
Let m(k) = k**3 - 6*k**2 + 3*k + 7. Suppose 10 = -3*i + 25. Let v be m(i). Let r(j) = -4*j - 3. Is r(v) a multiple of 9?
True
Let s(f) = f**3 - 3*f + 7. Is 9 a factor of s(2)?
True
Let d(w) = -w**3 - 3*w**2 + 2*w - 5. Let b be d(-4). Suppose -l + b*l + 3*u - 51 = 0, 5*l - 134 = -u. Is l a multiple of 27?
True
Suppose -w + 0 = -4. Let l = 8 - w. Is l even?
True
Let u = 3 - 7. Let r = u - -7. Suppose r*o - 28 = -4. Is o a multiple of 4?
True
Let s be (-2)/6 + 14/6. Is (3/6)/(s/120) a multiple of 16?
False
Let q be 2 + 14 + (1 - 3). Suppose j - q = -0*j. Does 14 divide j?
True
Suppose 0*i + i - 2 = 0. Suppose -i*a = 2*a - 56. Let k = a - 10. Is 3 a factor of k?
False
Let m(r) = 6*r - 14. Is 20 a factor of m(11)?
False
Suppose -2*v - j = -14, -5*v - 3*j = -4*j - 28. Let w be 9 + (-2)/(4/v). Suppose -w*n = -2*n - 32. Is n a multiple of 4?
True
Let q be 3 - (3 - (80 - -3)). Suppose -4*x = -5*x + 5*c + 24, -3*x = -4*c - q. Is x a multiple of 17?
False
Suppose -10 = 2*r, 0 = -2*t - 6*r + 4*r + 206. Let s = -60 + t. Is s a multiple of 16?
True
Let n(d) = 23*d**2 - d + 1. Let s be n(1). Let w = 115 - 109. Let h = w + s. Is 10 a factor of h?
False
Let t be (1/(-3))/(1/(-6)). Suppose -8 = -0*x - x. Suppose 3*i - 2 = -4*v - 1, -t*i + v + x = 0. Does 2 divide i?
False
Suppose -u + s = 0, 3*u + 2*u - 12 = s. Suppose -r = -u, 0*r + 3*r = -4*w + 37. Suppose 0 = 3*n - w*n + 20. Is n a multiple of 2?
False
Let t(x) = 4*x - 7 + 1 + 5*x. Let y be t(5). Suppose 23 + y = 2*g. Is g a multiple of 16?
False
Let n(a) = 21*a + 1. Let m(g) = 22*g + 1. Let w(s) = 4*m(s) - 3*n(s). Suppose l - 2 = -3*k + 2*k, 4*l = 4*k. Is 13 a factor of w(k)?
True
Suppose -3*j - 4*x = -312, -355 + 52 = -3*j - x. Let s = 41 - 100. Let r = s + j. Is r a multiple of 15?
False
Suppose -s - 6 = 4*y + y, -8 = 4*y. Suppose v + 5*r - 52 = 0, 0 = 4*r - s. Is v a multiple of 10?
False
Let s be (2 + -1)/(1 - 0). Suppose -138 = -5*r - f, 0 = -f - 1 - s. Is r a multiple of 14?
True
Let f(x) = -x**3 - 3*x**2 + 2. Let a be f(-3). Let q be 1/a + (-7)/(-2). Suppose -5*s + 5*n = -135, -n = -q*s + 4*n + 107. Is 14 a factor of s?
True
Let p(t) = 8*t - 2. Let l(w) = -w + 10. Let r be l(7). Does 6 divide p(r)?
False
Suppose -8*m + 7*m = -9. Suppose 0 = -4*h - 1 + 21. Suppose h*f = m*f - 68. Is 16 a factor of f?
False
Let j(u) = u**2 - 7. Let f be j(5). Let i = -13 - -40. Is 15 a factor of (-6)/i + 544/f?
True
Let d be -1 + -13 + 2/1. Let b = 18 + d. Is 12 a factor of (6/5)/(b/220)?
False
Let j(y) = y**2 + 3*y + 4. Let k(g) = -g**2 + 1. Let s(n) = -j(n) - 2*k(n). Let b be s(5). Let a(c) = c**2 - 2*c + 2. Is 5 a factor of a(b)?
True
Suppose -689 = 8*x - 2033. Does 18 divide x?
False
Suppose 8*j + 745 = 13*j. Is 15 a factor of j?
False
Suppose 3 = -2*z + 7. Let s = z + 8. Does 5 divide s?
True
Let b = 25 + -3. Does 22 divide b?
True
Suppose 2*l = -2*l - g + 500, -2*l + 5*g + 272 = 0. Suppose 4*f - 122 = -0*f - 3*u, -4*f - u = -l. Does 15 divide f?
False
Suppose -2*x + 10 = -p - 27, 0 = 2*x - 2*p - 38. Is x a multiple of 3?
True
Let x(k) = 3*k**2 + 13. Does 19 divide x(8)?
False
Let r be (-5)/((-30)/9)*-6. Let v = r + 60. Does 17 divide v?
True
Suppose 0 = 2*g + g - 48. Does 4 divide g?
True
Suppose p - 6 = 4. Let f be p/(-4)*(-5 - 7). Suppose 7*d - 2*d - f = 0. Is 6 a factor of d?
True
Let v(f) = -f**2 + 19*f + 4. Is 14 a factor of v(14)?
False
Does 7 divide 381/15 + 8/(-20)?
False
Suppose 2*s = 4*j + 16, -1 = s - 5*j - 3. Is s a multiple of 10?
False
Suppose 4*o = 3*o. Suppose -m - m + 3*b + 32 = o, 2*m - b - 32 = 0. Suppose q = -q + m. Does 8 divide q?
True
Let a(w) = w + 3. Let l = -13 + 19. Is a(l) a multiple of 5?
False
Suppose 2*l + 4*z = 50, 4*l = l - 4*z + 67. Is l even?
False
Suppose 3*i + 3*t - 42 = 0, 4*i - 4*t = 25 + 71. Suppose i = 4*x - 33. Does 13 divide x?
True
Suppose -24 + 4 = -4*w. Suppose -w*b + 11 = -c, 3*b + 4*c = b. Does 9 divide ((-5)/(-1))/(1/b)?
False
Let s(u) be the second derivative of -u**7/840 - u**6/60 - u**5/30 + 7*u**4/24 - u**3/6 - u. Let p(g) be the second derivative of s(g). Does 2 divide p(-5)?
True
Let m(o) = 2*o**2 - 7*o + 6. Let s = 0 + 4. Let z be m(s). Suppose z = 4*p - 2*p. Does 5 divide p?
True
Let b be -10*1*58/(-4). Suppose 6*z = z + b. Does 9 divide z?
False
Let f be (-2 + 1)/((-3)/6). Suppose 0 = -f*n + 5*n - 6. Is 5/n*48/15 a multiple of 4?
True
Let m(l) = 3*l + 6. Let j be m(-4). Let c(n) = -4*n + 8. Is 13 a factor of c(j)?
False
Suppose -6*x + 8*x - 40 = 0. Is 11 a factor of x?
False
Suppose -7*k - 10 = -9*k. Is k a multiple of 3?
False
Suppose 2*g = -0*g + 6. Let h be 11/(-5) - g/(-15). Is h + 0 + -1 + 10 a multiple of 4?
False
Let i(n) = -n**3 + 9*n**2 - 4*n - 10. Let j be i(8). Suppose 3*v + v = -a + 15, 4*a + v - 45 = 0. Let o = a + j. Is o a multiple of 11?
True
Suppose -4*s = -s - 6. Is (108/s)/(3/2) a multiple of 9?
True
Let o(n) = n**3 + 7*n**2 - 6*n. Let r be o(-7). Suppose r = k + k. Does 11 divide k?
False
Suppose 4*s - 13 = -f, 2*s = -5*f + s + 141. Suppose -5*r = 3*p - f, 2*r = 6*r - 4*p - 4. Suppose -3*c + c = -r. Is c even?
True
Suppose 5*f - 18 = 7. Suppose 0 = -5*y - z + 4, 2*z + 2*z = f*y + 16. Suppose 5*t = -y*t + 5, 5*k - 237 = -2*t. Is k a multiple of 17?
False
Suppose -2*q - 4*k + 80 + 48 = 0, -3*q = -4*k - 152. Is 18 a factor of q?
False
Suppose -o = -4*v + 346, 3*o + 90 = 4*v - 260. Does 15 divide v?
False
Suppose -5*v = -2*v + 6. Let g(o) be the second derivative of -o**3 - o**2 - 4*o. Is g(v) a multiple of 7?
False
Suppose 4*p - 370 - 114 = 0. Is 11 a factor of p?
True
Suppose -18 = -2*l - l. Let r be l + 2*2/4. Let p(m) = -m**3 + 9*m**2 - 9*m - 5. Is p(r) a multiple of 10?
True
Let f = 10 - 1. Suppose 5*k - 36 - f = 0. Is 9 a factor of k?
True
Suppose 2*i + 2*v = 10, -2*i - 5*v = -6*i + 56. Does 2 divide i?
False
Suppose -14*y - 69 = -1287. Is y a multiple of 10?
False
Let u = 4 - -3. Suppose -63 = -u*l + 4*l. Is 20 a factor of l?
False
Let m be 2*1*(0 + 4). Suppose 2 + m = 5*d. Is 9 a factor of (-1)/(-2) - (-17)/d?
True
Let u(s) = -7*s - 37. Does 55 divide u(-15)?
False
Let i(z) = 0*z**3 - 3 - 3*z + 5*z**3 - 4*z**3 + z**3. Is 25 a factor of i(3)?
False
Suppose -4*y + 4*p = -204, 5*y = 2*p - 3*p + 225. Is 17 a factor of y?
False
Let q be -5 - -6 - (-1)/(-1). Let x = -5 - q. Is 13 a factor of (-15)/(