). Suppose -2*o = -4 - b, -o + 11 = 3*u. Suppose -u*a + 30 = 3*a. Is a a multiple of 3?
True
Let i = 6 - 6. Suppose i = -4*t + g + 11, -3*t = -t + 5*g - 33. Is t a multiple of 2?
True
Suppose -f - 2*f = 3*k - 879, -3*f = 5*k - 889. Is 16 a factor of f?
True
Suppose q - 4*v = -2*q - 3, 0 = 4*q + 5*v - 27. Let j be (-1)/(5/2 - q). Is 4/8 - (-29)/j a multiple of 15?
True
Suppose 0 = 3*r - 2*r - 2. Suppose -24 = -v - 4*p + 20, -2*v + r*p = -38. Does 12 divide v?
True
Suppose 0 = 4*c + 4*w - 16, -c + w + w = -7. Suppose -3*o = -p - 17, o + 0 = -c*p - 5. Is 3 a factor of o?
False
Let r be 38/10 + (-2)/(-10). Let d(f) = f**3 - 4*f**2. Let t be d(r). Let x = 15 - t. Is 15 a factor of x?
True
Let r(i) = -i**3 + 2*i**2 + i - 1. Let f be r(1). Let n be f/(-4) + (-502)/8. Does 9 divide (n/(-14))/((-2)/(-4))?
True
Let o(b) = b - 3*b + 4*b + 12. Is 12 a factor of o(12)?
True
Is (-2 - 68)/(-1*2) a multiple of 7?
True
Suppose t = 5*v - 3*v - 7, -4 = -2*t - 5*v. Let n = t - -6. Does 3 divide n?
True
Suppose -4*o - 31 = -p + 1, p + o = 32. Is 4 a factor of p?
True
Let z(v) = 7*v**2 - 25*v + 9. Let p(j) = 4*j**2 - 13*j + 4. Let b(k) = -5*p(k) + 3*z(k). Let o be b(11). Let q = o + -5. Is 4 a factor of q?
False
Is (-579)/(-9) - 3/9 a multiple of 22?
False
Let i = -17 - -5. Does 20 divide (i/2)/(3/(-20))?
True
Suppose -44 = -2*i - 2*i. Let o be ((-35)/20)/((-1)/(-4)). Let b = o + i. Is 4 a factor of b?
True
Let n = 4 - 4. Suppose -5*o + 4*o + 2*h + 44 = n, 3*o - 4*h = 138. Let q = o + -28. Does 6 divide q?
False
Suppose -2*n + 3*w = 2, 0 = -2*n - 2*w - 3 + 11. Let q(f) = -2*f**2 - 3*f**2 + 4 + 2*f - 1 - 4*f**3 + 3*f**n. Is q(-2) a multiple of 17?
False
Let s(p) = 3*p**3 - 3*p**2 - 8*p - 2. Is s(4) a multiple of 9?
False
Let h(c) = 1. Let a(o) = -o - 5. Let u(k) = -a(k) - 2*h(k). Does 4 divide u(5)?
True
Let q = -8 - -11. Suppose 0 = v - q*c - 7, -3*v = -c - 17 - 4. Let s = -4 + v. Is s a multiple of 3?
True
Is 11 a factor of (-33)/(-2)*(-24)/(-9)?
True
Suppose 2*z + 3*z = 0. Suppose z = -0*h + 3*h - 96. Is 16 a factor of h?
True
Let u(y) = y**3 - 7*y**2 + 8*y - 8. Suppose -5*t = -15 - 15. Let q be u(t). Suppose 3*i - 76 = -2*i + q*g, i + g - 8 = 0. Does 6 divide i?
True
Suppose 2*z - z = -15. Let n be 144/z + (-2)/5. Let b = n - -22. Is b a multiple of 6?
True
Let a(r) = r**3 - 7*r**2 - r - 1. Let l be a(7). Suppose -2*g = 3*g - 60. Let o = l + g. Is o a multiple of 4?
True
Let u = 78 + -50. Does 28 divide u?
True
Suppose -28 = -7*j + 3*j. Let q(g) = -g**2 + 6*g + 4. Let d be q(j). Let r(x) = -4*x + 1. Is 12 a factor of r(d)?
False
Suppose 2*h + 84 = 5*y, y + 2*y + 3*h = 42. Suppose 3*o + 2*k = -2*k + y, 5*o = -4*k + 24. Does 14 divide (2/(-5))/(o/(-280))?
True
Let h(d) = 23*d + 7. Does 19 divide h(3)?
True
Let n(v) be the first derivative of 3/2*v**2 - 16*v - 2. Does 9 divide n(11)?
False
Is (-91 - 7)/(-2 - (1 + -2)) a multiple of 14?
True
Let z(m) = -69*m + 6. Is 13 a factor of z(-1)?
False
Let b = 552 - 392. Does 32 divide b?
True
Let l(j) = 2*j**2 - 7*j - 2. Let c(m) = 2*m + 2. Let n be c(3). Let f be l(n). Suppose a - 1 = 0, 4*a = -3*d - 0*a + f. Is d a multiple of 14?
False
Suppose -x + 31 = 5*v, -4*x - v - 187 = -8*x. Does 17 divide x?
False
Suppose -5*g + 224 = -n, -g = 3*g + 4*n - 184. Is g a multiple of 5?
True
Suppose 0 = 4*y - 108 - 68. Is y a multiple of 11?
True
Does 6 divide 4*(105/(-20))/(-1)?
False
Suppose -3*l - 7*p + 2*p = -82, 112 = 5*l - 4*p. Is l a multiple of 15?
False
Suppose -5*n = 3 - 58. Is n a multiple of 9?
False
Let n = 10 - -6. Let s = 15 + n. Is s a multiple of 12?
False
Let p = 13 + -31. Let n = p - -42. Does 7 divide n?
False
Let n be -1*4/(-10)*-10. Let h(a) = -6*a - 6. Let o(f) = -13*f - 12. Let m(s) = 5*h(s) - 2*o(s). Is 5 a factor of m(n)?
True
Let o = -5 + 9. Suppose 0 = -i - o*i - 5. Is 20 a factor of 0 - -40*(i - -2)?
True
Suppose 0 = b - 5*a - 5, -3*a = 4*b + 3 - 0. Suppose -5*x - 5*l + 139 - 14 = b, 54 = 2*x + 4*l. Is x a multiple of 6?
False
Let l = -93 + 195. Suppose 33 = 5*c - l. Does 9 divide c?
True
Suppose -x = -8*x + 56. Is 2 a factor of x?
True
Let r(c) = 7*c - 3. Let b = -3 + 8. Is 11 a factor of r(b)?
False
Let j(c) = 6*c - 17. Is 6 a factor of j(7)?
False
Let j(h) = h**2 + 10*h + 9. Let y be j(-9). Suppose y*t + 16 = t. Does 12 divide t?
False
Suppose -3*d - 3 = -117. Does 5 divide d?
False
Let w be (-2 + 4)/((-2)/(-3)). Suppose 0*k + w = -3*n + 5*k, -4*n + 31 = 5*k. Is 3 a factor of n?
False
Let l = -32 - -72. Is 8 a factor of l?
True
Let z(l) = 5*l**2 - 3*l + 0*l**2 - 1 + l**3 + 8 - 2*l. Let u be z(-6). Is 2 + (u - (1 - 2)) even?
True
Is ((-6)/(-4))/((-12)/(-256)) a multiple of 5?
False
Let z(s) = -s**3 - 3*s**2 - 2*s + 2. Is z(-4) a multiple of 13?
True
Let k = 82 - -2. Does 25 divide k?
False
Suppose -2*j + 2*a = -6, 2*j - j - 13 = -4*a. Suppose -j*p - 3*n + 10 = 0, p + 2*n = 1 + 1. Suppose p*r = -r + 126. Does 21 divide r?
True
Let j(n) = -n**3 + 8*n**2 - 7*n - 1. Let a be (4 - -3)/(1 + 0). Let c be j(a). Is 10 a factor of -20*(c - (-1 + 1))?
True
Let u be 1/((-3)/(-12) - 0). Suppose u + 2 = 2*p. Suppose -3*h + p*n = -n - 44, -68 = -5*h + 4*n. Is 12 a factor of h?
True
Let h = 419 + -789. Let i = h + -200. Does 24 divide i/(-24) - (-1)/4?
True
Suppose 0 = 3*y - 3*q + 2 + 1, -2*y - 4*q - 26 = 0. Let a = 25 + y. Does 12 divide a?
False
Suppose 4*k = -2*g - g - 16, -28 = 3*g - 2*k. Does 3 divide g/(-5 + 3)*2?
False
Let p(i) = -22*i**3 - 6*i**2 - 2*i + 3. Let c be p(-4). Does 21 divide (c/(-84))/(2/(-8))?
True
Let i(n) be the third derivative of -n**6/120 - 2*n**5/15 - n**4/24 - 2*n**3/3 - 3*n**2. Is i(-8) a multiple of 3?
False
Suppose k - 6*k = -295. Is k a multiple of 18?
False
Let p be (2/1*-1)/1. Is (-2)/(p + (-47)/(-24)) a multiple of 12?
True
Let o(b) = 2*b - 5. Let x be o(4). Suppose -5*p = -27 + 7, x*f = 3*p. Is 4 a factor of f?
True
Suppose 320 = 3*g + 2*g. Is g a multiple of 16?
True
Suppose 212 = 4*g - 4*x + 32, 2*x = 3*g - 132. Does 21 divide g?
True
Let n be 82/(-3)*(-21)/14. Let x(p) = 24*p**2 - 3*p - 3. Let a be x(-2). Suppose n = 5*g - a. Does 16 divide g?
False
Is 14 a factor of (-4)/18 + (-760)/(-18)?
True
Suppose -4*m - 15 = -g - m, 0 = -g - m + 3. Let x = -1 + g. Suppose x*b - 25 = 0, 4*b - 34 = -2*s - 0*b. Is 2 a factor of s?
False
Suppose q = 2*z + 245, z - 482 = -2*q + 3*z. Is q a multiple of 30?
False
Let t = -8 - -13. Suppose -y + 4*y + 2*d - 11 = 0, -27 = -t*y + d. Let f(p) = -p**3 + 6*p**2 - 4*p + 3. Does 8 divide f(y)?
True
Let l = 205 - 115. Is 15 a factor of l?
True
Suppose 0 = -5*x - o - 29, 2*x = x - o - 9. Let a(s) = -3*s - 5. Is a(x) a multiple of 6?
False
Does 23 divide ((-32)/(-48))/((-70)/(-69) + -1)?
True
Let d = 513 + -289. Is d a multiple of 39?
False
Is 14 a factor of (49 - 4 - -2)/1?
False
Suppose -8*b = 4*d - 13*b - 102, -76 = -3*d + 4*b. Is d a multiple of 3?
False
Is 2/(-4) - 140/(-8) a multiple of 5?
False
Let f = 15 + -5. Let z = 16 + f. Does 10 divide z?
False
Let u be ((-30)/20)/((-3)/4). Suppose 0 = u*q - 5*j - 100, 5*q - 4*j - 188 = -7*j. Does 9 divide q?
False
Suppose -3*h + y = -3, 7 = 2*h - 0*h + y. Suppose h*f - 24 = -4. Does 10 divide f?
True
Is -5 - (-57 + (-4 - 1)) a multiple of 8?
False
Suppose 408 + 169 = 5*o + f, -15 = 5*f. Is o a multiple of 15?
False
Suppose 4*c = 4*q - 2 - 2, -4*c + 28 = 4*q. Suppose -q*a + 12 = -3*a - y, 0 = -4*y - 20. Is a even?
False
Suppose -2*k + 6*k = -3*w + 108, -2*w = -3*k - 72. Does 3 divide w?
True
Suppose l + 3 = 7. Suppose l*z - 243 = -19. Suppose -z = -2*g - 2*g. Is 9 a factor of g?
False
Let n(f) = -4*f**3 - 27*f**3 + 0*f + 0*f. Is n(-1) a multiple of 9?
False
Let d = -12 - -17. Let s(g) = -g**3 + 4*g**2 + 2*g + 5. Let h be s(d). Does 24 divide ((-54)/(-5))/((-3)/h)?
False
Suppose -8*t + 4*t + 404 = 0. Is t a multiple of 19?
False
Let n be (-2 - 33/(-6))*-4. Let l be 1/5 + n/(-5). Suppose 15 = 3*b + 3*m, -b - 4 = m - l*m. Is b a multiple of 2?
True
Let q(h) = h**3 + 5*h**2 + 14*h - 4. Let i(o) = -2*o**3 + 17*o + 4*o**2 - 3 + 3*o**3 - 2*o. Let w(b) = 5*i(b) - 6*q(b). Is w(-9) a multiple of 4?
False
Suppose -4*f - 2*k - 22 = 0, 5*f - 3*k - k + 21 = 0. Let r be (-2)/(f/((-25)/(-2))). Suppose l + 12 = r*l - 4*p, 0 = l + 2*p - 9. Does 5 divide l?
True
Let q = 84 - 44. Suppose 0 = 6*j - j - q. Is 4 a factor of j?
True