 -24. Is 27 a factor of b?
True
Let q be (4 + -3 + 2)*1. Does 11 divide 20/(q + -1) + 1?
True
Suppose -6*r = 3*r - 486. Does 22 divide r?
False
Let v(i) = -i - 3. Let s be v(-4). Let g be (-1 - (1 - s))*7. Is 4/14 + (-271)/g a multiple of 10?
False
Let l be (-94)/4*-1*2. Suppose 0*n = 3*o - 5*n - 35, -3*n = 5*o - l. Does 5 divide o?
True
Suppose 0 = m + 2*m - 12. Suppose -3*t = -5*z - 19, -2*t = -m*z + 2*z - 14. Suppose -4*p = -t*p + 152. Does 11 divide p?
False
Let f be ((1 + -1)/(-1))/1. Suppose -5*d - 238 + 28 = f. Let c = -26 - d. Does 16 divide c?
True
Suppose 5*c = 4*c + 3. Does 5 divide c*(2 - 3/(-3))?
False
Let c be 1/(((-21)/18)/(-7)). Let k = 12 - c. Is k a multiple of 5?
False
Let y(q) = -8*q + 9. Let k be y(-7). Suppose -3*f = -3*t + 90, -2*f + 5*f = 2*t - k. Does 15 divide t?
False
Let o be 31*1*(-1)/1. Let d be -1 - 12/(2 + 1). Let m = d - o. Does 19 divide m?
False
Let a(z) = -z**2 - 8*z - 3. Let b be a(-3). Let y(l) = l**3 - 12*l**2 - l + 15. Is y(b) a multiple of 3?
True
Let s = 6 - -12. Is 6 a factor of (-6)/s*(-20 - -2)?
True
Let y = -1053 - -1764. Let v be y/27 + (-1)/3. Let i = 17 + v. Does 14 divide i?
False
Suppose y - 2*n + 13 = -6*n, -4*y + 13 = 3*n. Let q = -4 + y. Suppose -2*i - q*i = 4*w - 23, 2*w - 3*i = 39. Is w a multiple of 4?
True
Suppose 2*u + 2*d = -176, -2*u = 3*d - 2*d + 178. Let h be u/(-25)*(-20)/6. Is ((-63)/h)/(1/4) a multiple of 11?
False
Let m(h) = h**3 + 4*h**2 - 4*h + 5. Does 21 divide m(-4)?
True
Let r = 1 + 11. Does 3 divide r?
True
Let w(b) = -b**3 + 9*b**2 + b. Does 12 divide w(8)?
True
Suppose 154 = -8*r + 10*r. Does 19 divide r?
False
Suppose -2*p + 38 = -2*n, 2*p - 72 = -2*p + 3*n. Is p a multiple of 15?
True
Let t be (-48)/(-27) - (-2)/9. Suppose 0 = 7*i - t*i - 300. Is i a multiple of 33?
False
Suppose -w = w - 8. Let s(x) = -x**2 + 3*x. Let l be s(w). Let q = 1 - l. Is 2 a factor of q?
False
Let q(b) = 7*b**2 + 2*b - 4. Is q(3) a multiple of 9?
False
Let u be (6/15)/((-1)/5). Let t = u + -1. Let c = t - -10. Is c a multiple of 4?
False
Let s(r) = -r**2 - 4*r + 7. Let a be s(9). Is 6 a factor of 2/(-6) - a/6?
True
Let x be 10/(-1)*4/(-5). Let c(q) = 2*q - 7. Does 3 divide c(x)?
True
Suppose 0 = -0*c - c - 19. Suppose 0 = 3*k + 5 + 34. Let j = k - c. Is 6 a factor of j?
True
Let v = 65 - 39. Is v a multiple of 8?
False
Let g = 110 + -157. Let m = g + 81. Is 12 a factor of m?
False
Let a = -76 + 2. Let v = -32 - a. Is v a multiple of 11?
False
Let r = 14 - 6. Let x(f) = 2*f. Is x(r) a multiple of 7?
False
Let b(y) = -6*y - 4. Is 7 a factor of b(-3)?
True
Suppose 29 = 5*a - 21. Is a a multiple of 10?
True
Let g(z) = -z**3 - 5*z**2 + 6*z + 9. Let l = -2 + 4. Let r be 6*l*3/(-6). Is 9 a factor of g(r)?
True
Let w(t) = t**3 - 7*t**2 - 7*t - 3. Let p be w(8). Suppose -p*b + 4*x + 70 = 0, 70 = 2*b + 3*b + 3*x. Does 7 divide b?
True
Let w be ((-3)/(-2) + -2)*-2. Suppose -5*i + 9 = -l, -4*i + 26 = l - w. Is 9 a factor of l?
False
Suppose -24*i = -18*i - 432. Is i a multiple of 18?
True
Let n(d) = d**2 - 4*d + 1. Let s be n(3). Let h = 7 + -13. Is 9 a factor of (s/h)/((-3)/(-225))?
False
Let g(r) be the third derivative of r**6/120 + r**5/30 - r**2. Let f be g(-2). Suppose l - 49 + 16 = f. Is 11 a factor of l?
True
Let x(u) = u**3 - 7*u**2 + 5*u + 3. Let s be x(6). Is s*3/3*-5 a multiple of 4?
False
Suppose -395 = -8*f + 613. Is f a multiple of 7?
True
Suppose 40 = -3*n + 5*n. Does 5 divide n?
True
Let m = 26 - 14. Is 3 a factor of m?
True
Suppose 5*x - 11 = -2*r, -3*x - 4*r + 0*r = -1. Let h(d) = 4*d - 1. Is h(x) a multiple of 10?
False
Suppose -2*k - 3 - 49 = 0. Let j = k + 40. Does 5 divide j?
False
Let b(p) = 3*p + 2. Let f be b(3). Let v = -2 + 5. Suppose 37 + f = v*r. Does 6 divide r?
False
Let i(u) = -6*u - 7. Is 4 a factor of i(-2)?
False
Let l = -4 - 10. Is 12 a factor of (l/(-8))/((-1)/(-24))?
False
Is (-1581)/(-4) - (-24)/32 a multiple of 44?
True
Let q = 15 - 11. Let n(m) = m + 6. Is n(q) a multiple of 3?
False
Let l be (-5 - -18)/(1 - 0). Let u = 5 - l. Is (-7 + 3)*14/u a multiple of 3?
False
Is -2 + (-19)/((-57)/396) a multiple of 39?
False
Is 2 - 99/((-15)/5) a multiple of 29?
False
Let h be (-2)/(-4) - 3/6. Suppose -4*k + 6*k - 4*j - 2 = h, 5*k - 5*j + 15 = 0. Let i = 14 - k. Does 8 divide i?
False
Let l(r) = 4*r - 6. Let q be l(3). Suppose -q*n = -4*n - 78. Does 10 divide n?
False
Let h = 319 - 228. Is h a multiple of 12?
False
Suppose 0 = -5*n - j - 54 + 373, -244 = -4*n + 2*j. Is n a multiple of 24?
False
Suppose -5*l = -12*l + 301. Is 8 a factor of l?
False
Suppose 6*j - 20 = j. Is 2 a factor of j + (-6)/(-2) + -2?
False
Let v be (-3 + 3)*(0 + -1). Suppose -2*r + v*r + 48 = 0. Is 12 a factor of r?
True
Let c be 6/(2 + 1 - 2). Let a be (11 - -1)*34/c. Suppose -3*y - 3*b + 66 = -0*b, -4*b + a = 3*y. Is y a multiple of 10?
True
Let p(i) = 7*i - 3*i - 5*i**2 + 4 + 4*i**3 - 3*i**3. Let m be p(6). Suppose 4*h + o = 5*o + 76, 4*h + 2*o = m. Is 17 a factor of h?
True
Suppose -8 = -4*q + 212. Is 11 a factor of q?
True
Let h(b) = -10*b**2 + 10*b - 6 + 3 - 2 + b**3. Let q be h(9). Suppose -q*n + 73 + 43 = 4*x, -32 = -n - 2*x. Is n a multiple of 13?
True
Suppose w = -2*w. Suppose w = -2*j + 89 - 25. Is j a multiple of 16?
True
Let a(s) = -s**3 - 3*s**2 + 2*s - 5. Suppose -1 = f + 3. Let h be a(f). Suppose o - 20 = -4*w + h*w, -36 = -o - 5*w. Is o a multiple of 16?
True
Let c be -1*(-1 + -3 + 4). Suppose 4*j + 2 = -n, -n - n + 5*j + 9 = c. Suppose 0 = 4*l - n*l - 22. Is 9 a factor of l?
False
Let z = 98 + -64. Is z a multiple of 10?
False
Let g(j) = -j**3 + 4*j**2 + 5*j - 5. Let r be g(5). Let n = 31 + r. Let k = 40 - n. Is k a multiple of 14?
True
Suppose -3*u + 14 - 2 = 0. Suppose 2*c = -5*b + 81, u*b - 78 = -5*c + 150. Is c a multiple of 20?
False
Suppose 5*s + 4*v = 74, 3*v - 4*v - 69 = -5*s. Suppose -4*i + 18 = -s. Is 4 a factor of i?
True
Let w be 187 + 2/(-2) + -1. Suppose 3*c - w + 29 = 0. Does 26 divide c?
True
Let q(v) be the first derivative of -v**3/3 - 7*v**2/2 - 7*v - 1. Let x be q(-5). Suppose x*o - 3*k = -0*o + 18, 5*k - 80 = -5*o. Is o a multiple of 11?
True
Let j(v) be the first derivative of -2*v**2 - v**3 - 6*v - 1/4*v**4 - 1. Is 13 a factor of j(-4)?
True
Suppose -2*f - 2*v + 1 + 7 = 0, v - 8 = -2*f. Does 3 divide f?
False
Let g(r) = -2*r**3 - 2*r**2 + 2*r + 6. Is g(-3) a multiple of 31?
False
Let o = 24 - 20. Let u(p) = p + 8 - 5*p + 3*p. Is 2 a factor of u(o)?
True
Suppose -3*x - 10 + 70 = 0. Is 5 a factor of x?
True
Let a(y) = -10*y**2 + 16*y. Let n(t) = 7*t**2 - 11*t. Let i(x) = -5*a(x) - 7*n(x). Is i(7) a multiple of 14?
True
Suppose 2*p = 7*p. Suppose 4*v - 180 = -p*v. Is 15 a factor of v?
True
Let p(l) = -4*l**3 - l**2 + 5*l - 5. Let g(u) = 5*u**3 - 5*u + 6. Let c(q) = -5*g(q) - 6*p(q). Let k be c(5). Suppose 5*t + k*t = 90. Is t a multiple of 9?
True
Suppose 3*m + 5*g = m + 137, 4*m - 267 = -3*g. Is 22 a factor of m?
True
Suppose -3*u - 3 = 0, 4*x + 5*u - 3*u + 18 = 0. Let l(r) = -7 + 4 - 2*r + r**2 - 5*r - 3. Is 13 a factor of l(x)?
False
Is (-3 + -2)*(-21 + 1) a multiple of 38?
False
Suppose -5*n = 3*c - 412, 3*c = 3*n - c - 224. Does 16 divide n?
True
Let a be (18/10)/((-5)/(-25)). Let i(v) = 6*v**2 + a*v**2 - v**2 - 4*v**2 + 7*v - 4 + v**3. Does 14 divide i(-9)?
True
Let c(h) = -5*h**2 - 15*h - 8. Let n(u) = -2*u**2 - 5*u - 3. Let f(x) = 3*c(x) - 8*n(x). Is f(7) a multiple of 5?
False
Suppose 441 = 12*x - 5*x. Does 9 divide x?
True
Suppose -3*y = r - 21, -r = -3*y + 4*r + 21. Is y a multiple of 7?
True
Let z be (-3)/(-6)*(4 - 2). Does 5 divide (z + -2 + -27)/(-2)?
False
Let y = -1 + 1. Let p(c) = y + 3 - 3*c + 0. Does 9 divide p(-3)?
False
Suppose -11*v + 16 = -7*v. Let b(t) = t**3 - 4*t**2 + t + 4. Is 4 a factor of b(v)?
True
Let a = 60 + -36. Let d(l) = -l**3 - 6*l**2 - 9*l - 2. Let b be d(-4). Suppose n + b*n = a. Is 4 a factor of n?
True
Let r(o) = 5*o - 7. Let l be r(5). Let i = 11 - -21. Suppose 5*m - i - l = 0. Is 10 a factor of m?
True
Suppose 3*h - 4*q - 802 = 0, -13 + 831 = 3*h + 4*q. Is 15 a factor of h?
True
Suppose -z = g + 3, -4*z + 2*g = -g + 19. Let u be 6/z - 38/(-4). Suppose x - 54 - 2 = -3*h, -5*x - u = -h. Does 8 divide h?
False
Suppose b - 2 + 0 = 0. Does 13 divide b/4*(-19 + 45)?
True
Let a = 2 + -4. Does 22 divide 11/a*2*-2?
True
Supp