e -31 = -4*q - 5*k, -2*q + 22 = 2*q + 2*k. Suppose -5*l = 15, l - 38 = -q*y - n. Is 8 a factor of y?
True
Suppose 3*k - 90 = 3*l, 0 = -l + 5 - 1. Is k a multiple of 17?
True
Let u(b) = 4*b**3 - 2*b + 3. Let q(f) = 5*f**3 - 2*f + 4. Let v(s) = -3*q(s) + 4*u(s). Let z be v(2). Suppose -2 = -x + z*c, -c = c - 6. Does 8 divide x?
False
Does 10 divide ((20/(-3))/(-1))/(26/546)?
True
Let i(k) = k**3 - 4*k**2 - 10*k - 3. Let d be 4 + 6 - 6/2. Does 15 divide i(d)?
False
Let n(a) = -a + 9. Let t be n(-8). Suppose t - 1 = u. Is 3/1*u/6 a multiple of 4?
True
Let q = 72 + -48. Is q a multiple of 24?
True
Let p(l) = 6*l**2 + 6*l + 7. Let m(f) = -2*f**2 + f + 1. Let t be m(-1). Is p(t) a multiple of 10?
False
Suppose -10 = -4*w - 2. Suppose 4 + w = -m. Let v(t) = t**2 + 3*t - 4. Is v(m) a multiple of 4?
False
Let a(f) = -2*f - 6. Let k(n) = n + 5. Let w(o) = -2*a(o) - 3*k(o). Let v be w(5). Suppose 13 = 3*l + v*h - 4, -2*h = 4*l - 24. Is 7 a factor of l?
True
Let v = -26 + 38. Let n be v/(-2)*(-6)/(-6). Is 5 - (n/(-3) - 1) a multiple of 2?
True
Suppose -420 = -0*c - 4*c. Does 10 divide c?
False
Let g be (-4 - 0)/((-12)/(-18)). Let c(b) = b**2 + 6*b + 4. Does 4 divide c(g)?
True
Let l(b) = b + 5. Is 4 a factor of l(5)?
False
Let b(h) = -h**3 - 3*h**2 + 3*h + 2. Let w(t) = t**3 + 4*t**2 - 3*t - 2. Let d(k) = 2*b(k) + 3*w(k). Is d(-4) a multiple of 14?
True
Let m(r) = r**2 - r. Let n be m(3). Let s = 2 + -2. Suppose u + 2*l - 30 = s, u + n*l - l = 30. Is u a multiple of 10?
True
Suppose 29*f - 33*f + 120 = 0. Does 10 divide f?
True
Let y(d) = 2*d**2 + 3*d + 2. Suppose 3*f - 5*f - 18 = -5*s, 4*s + f = 4. Suppose -2*i = -i + s. Is y(i) a multiple of 4?
True
Let s be 2 - 0*(-3 - -4). Suppose -x = s*x - 39. Is 3 a factor of x?
False
Let j = -25 - -41. Is 15 a factor of 9/((-12)/j - -1)?
False
Let t(w) = w**2 - 19*w - 14. Let g(x) = -x**2 + 18*x + 13. Let q(o) = -7*g(o) - 6*t(o). Does 18 divide q(16)?
False
Suppose 0 = -d + 5*d + 4. Let j be -6 + (0 - 2*d). Let k(q) = -3*q + 3. Is k(j) a multiple of 15?
True
Let c(u) = 2*u + 5. Suppose 8 - 23 = -3*b. Suppose -32 = -b*s - 12. Does 9 divide c(s)?
False
Let p be (-31)/(1*(-2)/4). Is 15 a factor of (-4)/8 - p/(-4)?
True
Let i = 97 + -38. Does 24 divide i?
False
Let m = 5 + -6. Let y(s) = -20*s + 3. Let q(n) = -7*n + 1. Let k(t) = -17*q(t) + 6*y(t). Is 2 a factor of k(m)?
True
Let u = -11 + 15. Suppose -3*g - 2*g - 5*a = -620, -620 = -5*g + 5*a. Is 12 a factor of (2 + -1)/(u/g)?
False
Suppose 4*i + 3*s - 641 = -i, -3*i - 2*s + 385 = 0. Does 16 divide i?
False
Suppose 0 = 2*p - 7*p + 75. Let j be (-2)/1*p/10. Does 3 divide j/(1*(0 + -1))?
True
Let w(k) = -3*k**2 - 3*k - 2. Let p be w(-3). Let f = 53 + p. Is f a multiple of 12?
False
Suppose 4*o - 3*b = b + 20, -2*o + 14 = 2*b. Let z(g) = -17*g + 3 - g**3 + 0 + 15*g + 7*g**2. Is z(o) a multiple of 11?
False
Suppose -2*h - 2*x = -0*x - 240, -594 = -5*h - 3*x. Is h a multiple of 13?
True
Let y(c) = 12*c**2 - c + 2. Let d be y(2). Suppose -8*b = -4*b - 12. Suppose -b*v + d + 24 = 0. Does 13 divide v?
False
Let m(j) = -j**3 + 5*j**2 - 2*j + 3. Let d be m(5). Let u = 10 + d. Suppose -u*s = -4*s + 8. Does 4 divide s?
True
Let k(v) = v**3 - 9*v**2 + 9*v + 8. Let n = -11 - -19. Does 14 divide k(n)?
False
Suppose 2*m + 563 = 5*i, 0 = -2*m + 3*m - 1. Suppose 0*o + o - 2*h = -28, -5*o - i = -h. Let j = o - -36. Is j a multiple of 14?
True
Let y = -1 - -8. Is 2 a factor of y?
False
Suppose 5*n = 2*n + 21. Let c be 9/6 - n/(-2). Suppose 0 = -r + c*r + 16, v - 19 = -r. Does 8 divide v?
False
Suppose 0 = 2*d - 3*l - 96, 48 = -0*d + d + l. Does 8 divide d?
True
Let x = -7 + 13. Let k be 2 + -1 + (-12)/6. Let h = x + k. Is h a multiple of 4?
False
Let d be (-7 + -2)*(-1 - -8). Let n = -38 - d. Is n a multiple of 16?
False
Let z = 4 - 1. Let q = 12 - z. Is q a multiple of 5?
False
Is 23 a factor of (-142 - -2)*6/(-15)?
False
Suppose 4*l = 42 + 182. Is 8 a factor of l?
True
Let f(m) = -m**2 - 22*m - 16. Does 28 divide f(-18)?
True
Let z(d) = -6*d**3 + 2*d**2 - 2*d - 2. Does 18 divide z(-2)?
False
Suppose 0*b - 3*g = -4*b + 416, 4*b - 416 = -2*g. Is 8 a factor of b?
True
Let c = -13 + 8. Let p(q) = -q**3 - 4*q**2 + 8*q + 7. Let x be p(c). Let y(w) = 2*w**2 + 12*w + 3. Is 16 a factor of y(x)?
False
Let d be 88/2*2/(-4). Let a = d + 67. Suppose a = 4*z + z. Is 8 a factor of z?
False
Let y(f) = 3*f - 2 + f**2 - f**2 - 2*f**2 - f**3. Does 9 divide y(-4)?
True
Suppose -3*a + 2*a = -4. Let h = a + 3. Suppose 2*m + h = 3*m. Is m a multiple of 7?
True
Let x = 3 - -13. Is x a multiple of 14?
False
Let u = 2 - -4. Suppose 10*t = u*t + 72. Is t a multiple of 9?
True
Let m = 115 - 35. Is m a multiple of 31?
False
Let r(b) = 6*b**2 - 2*b - 1. Is r(-2) a multiple of 9?
True
Let m be 61*2/(6/(-3)). Let q = -39 - m. Is q a multiple of 8?
False
Suppose -2*k = -363 - 53. Is k a multiple of 16?
True
Suppose -148*v = -146*v - 100. Is v a multiple of 6?
False
Let j be 1036/16 - 1/(-4). Let p(v) = 16*v**2 - 2*v + 1. Let y be p(1). Suppose -3*u = -5*k - 122, 2*u - j = 4*k + y. Is u a multiple of 18?
False
Suppose 0 = -5*s + 3*s. Suppose -3*c - 2*q + 141 = 0, -47 = -c - s*q + 2*q. Is c a multiple of 9?
False
Let f(h) = h**3 + 4*h**2 - 2*h - 2. Let u(y) = -5*y + 13. Let x(d) = -3*d + 9. Let p(v) = 5*u(v) - 8*x(v). Let c be p(-3). Is f(c) a multiple of 6?
True
Let n(u) = -u**2 - u + 3. Let f be n(-2). Let o = -1 + 3. Does 22 divide f + 0 + o + 19?
True
Suppose 77 = y + 2*p, -p + 1 = -0*p. Is y a multiple of 25?
True
Let z = 12 - -1. Let x(u) = 2*u - 16. Does 5 divide x(z)?
True
Suppose -16 = -5*d + 4. Suppose 8 + 8 = d*l. Does 4 divide l?
True
Let i(a) = -a**3 + 3*a**2 + 4*a - 3. Let f be i(5). Let s = f - -84. Is 17 a factor of s?
True
Suppose -3*q + y = 6*y - 25, 4*q - 2*y = 16. Let m(p) = -p**2 - 4*p + 7. Let l be m(-5). Suppose -q*g + 65 = -3*b, 3*b + l*b = -2*g + 26. Is 13 a factor of g?
True
Let b = 198 + -117. Is 27 a factor of b?
True
Let z(w) = w**2 - 5*w - 2. Let b be z(7). Is (6 + -2)/b*21 even?
False
Suppose 0*z - 2*z = 54. Let h(p) = -2*p + 1. Let l be h(4). Let x = l - z. Does 13 divide x?
False
Suppose -4*a + 9 = -2*o - 7, -2*o - 4*a = -24. Does 2 divide o?
True
Let k(h) = h**3 + 2*h**2 - 4*h - 4. Let o be k(-3). Let n be 0 - (216 + o)/(-1). Suppose -4*b = b - n. Does 15 divide b?
False
Suppose -5*o + 2*k + 3*k = -15, 4*k + 8 = 2*o. Let q be 0/((-1)/1) + 19. Suppose q + 25 = o*v. Is v a multiple of 11?
True
Is 17 a factor of (-3 - -2)/(2/(-170))?
True
Suppose -4*p = -p - 15. Suppose 3*o = p*o - 8. Is o even?
True
Does 34 divide (6 - 5)*(-1 - (-96 - 0))?
False
Suppose j + 3*m = -12, j + 3*m + 15 = -j. Let a = 3 + j. Suppose 3*t = -y - a*t + 13, y + 2*t = 14. Is 13 a factor of y?
False
Let z(g) = -13*g - 4 + 2 + 1. Is z(-2) a multiple of 9?
False
Let v(f) be the first derivative of 2*f**3 + f**2 + 3. Let n be v(4). Suppose h - 35 = -2*t, 2*h = 6*h - t - n. Is h a multiple of 10?
False
Suppose 0 = u + 4*y - 22, 0 = -10*u + 5*u - 2*y + 20. Let j(q) = -5*q - 5. Let b be j(-2). Suppose 0 = u*m + 4*w - w + 5, -b*w = 5*m. Is 3 a factor of m?
False
Suppose d - 159 = -2*d. Does 21 divide d?
False
Let h(f) = -f**2 + 4*f + 1. Let y be h(4). Is 17 a factor of (4/(-6))/(y/(-51))?
True
Let b(x) = -4*x**2 - 6*x. Let m(u) = -5*u**2 - 5*u. Let o(v) = 5*b(v) - 6*m(v). Is o(3) a multiple of 30?
True
Is 55/22*52/5 a multiple of 26?
True
Suppose 0 = -5*x + 4*r + 225, 4*x - 180 = -3*r - 0*r. Is x a multiple of 9?
True
Suppose -9*q + 72 = -5*q. Does 9 divide q?
True
Let k(u) = 4*u**3 - 3*u**2 - u - 3. Is 10 a factor of k(3)?
False
Suppose -5*a = -a - 5*h + 12, -a + 2*h - 3 = 0. Let r(x) = x**3 + 5*x**2 + 5*x + 2. Is 5 a factor of r(a)?
True
Suppose 0 = -4*b + 2*b + 6. Suppose 4*u = 3*w - 9, 0 = -4*u - b*w + 1 - 16. Let a(z) = z**2 + z - 2. Is a(u) a multiple of 4?
True
Does 3 divide (-11)/(-11)*57/3?
False
Let r be (8*2/4)/1. Let y = r - -1. Is 2 a factor of y?
False
Suppose 0*f - 296 = -4*f. Let d = 1 + f. Does 15 divide d?
True
Let t be (22/(-4))/(8/(-16)). Suppose c - 52 - t = 0. Does 21 divide c?
True
Suppose 197 = j + 4*r, 3*r = -2*j + 43 + 336. Suppose 5*z - 5*a - j = 0, -2*z + 3*z - 4*a = 40. Is 16 a factor of z?
False
Let l = 64 + -25. Is 13 a factor of ((-6)/(-9) - 0)*l?
True
Suppose 4 + 0 = 4*x. Let d = -2 - 2.