 - 2. Let o be i(-4). Suppose 2*c + 12 = o*c. Suppose 4*k - 4 = 3*s, -2*k = -c*k + 5*s - 16. Is k even?
True
Let m(l) = 2*l + 14. Let u be 11/33 + 2/(-6). Suppose u = -4*h + 2*h. Is 7 a factor of m(h)?
True
Suppose -6*s + 3*s = 0. Suppose 4*g - 3*y - 163 = s, y - 27 - 52 = -2*g. Let o = g - 23. Is o a multiple of 3?
False
Let j be 457/(-7) + 4/14. Let g be 84/5 + (-13)/j. Suppose -4 = -b - 4*n, -2*b - g = -4*b + n. Is b a multiple of 4?
True
Let w = -208 + 243. Does 5 divide w?
True
Let z = 221 + 139. Is 36 a factor of z?
True
Let o(c) = -130*c + 126. Is 28 a factor of o(-7)?
True
Let w = 24 - -29. Let m = 16 + w. Is 23 a factor of m?
True
Suppose -5*w - 184 = -4*r, -3*r - 52 = -0*w + w. Let j = w - -25. Is 2/6 - 520/j a multiple of 33?
False
Suppose 4*k - 329 - 31 = 0. Suppose -4*j + 78 = -k. Is 13 a factor of j?
False
Suppose 6 - 1 = q. Suppose -2*i = -6*i - q*c + 5, -4*c = 5*i - 4. Suppose i = 5*m - x - 153, -m + 21 - 6 = 5*x. Is 15 a factor of m?
True
Suppose n + 3*p - 129 = 0, 0 = 3*n - 8*n + p + 629. Let l = -70 + n. Is l a multiple of 10?
False
Let a be -3 - (-4 - (0 + -1)). Suppose a = 5*y - 199 - 96. Does 8 divide y?
False
Let v(z) = -z**3 - 30*z**2 + 22*z - 3. Is 3 a factor of v(-31)?
True
Suppose 0 = 4*w - 3*p - 1045, -4*p - 2057 = -5*w - 751. Let b = 460 - w. Suppose -4*q - 3*x = -157, -5*q - 4*x + 2*x = -b. Does 16 divide q?
False
Suppose -o + 159 = -r, 6*o - 5*o - 3*r = 169. Does 77 divide o?
True
Suppose 0 = -2*r + 3*r - 119. Does 7 divide r?
True
Let h be 188*4/(19 + -3). Let z = -24 + h. Is z a multiple of 23?
True
Suppose -16 = 14*r - 10*r. Let u = 7 - r. Is 3 a factor of u?
False
Let l = 31 + -29. Suppose 3*i - 22 = -3*h + 8, l = -i + 3*h. Suppose i*p - 90 = p. Is p a multiple of 6?
False
Suppose 10*y - 13203 = 16637. Is y a multiple of 17?
False
Let z(w) be the third derivative of -w**6/120 + 7*w**5/20 + w**4/12 + 4*w**3 + 11*w**2. Is z(21) a multiple of 33?
True
Suppose 26 + 16 = 3*v. Let y = 16 - v. Is 3 a factor of 1/(-2)*-11*y?
False
Let m be 4/(4/(-3)) + -56. Let t = -44 - m. Is 5 a factor of t?
True
Let s = 131 + -78. Let j = 81 - s. Is j a multiple of 14?
True
Let a(i) = -i**2 - 2*i + 1. Let n be a(-5). Let p(o) = o**2 + 12*o - 19. Does 3 divide p(n)?
True
Suppose 3*y = -d - 65, -4*d - 90 = -2*d - 4*y. Suppose 0 = 5*p - 112 - 333. Let i = p + d. Is 11 a factor of i?
False
Suppose -4*s = s. Let r = 1 + 3. Suppose -5*l = -5*w - 50, -w = r*l - s*w - 60. Is 3 a factor of l?
False
Let n(r) = r**3 + 7*r**2 + 6*r - 16. Let y be n(-5). Let c = 62 - y. Is c a multiple of 4?
False
Let d be ((-8)/(-3))/(8/(-252)*3). Let g = d + 63. Is g a multiple of 7?
True
Let r be 4/(-9)*3*-3. Let g be (2 - 12/r) + 1. Is 272/4 + 3 + g a multiple of 19?
False
Is 10 a factor of 892/2230 + (-1 - 1966/(-10))?
False
Suppose -3*l + 953 = 2*i, 4*i + 8*l - 1881 = 7*l. Does 16 divide i?
False
Let l = -36 - -36. Suppose 4*g + 0*g + 5*a = 0, l = -3*g - 3*a. Suppose -4*d + g*d = -444. Is d a multiple of 24?
False
Let h = 7266 - 4796. Is h a multiple of 38?
True
Let c(k) = -108*k + 331. Is c(-20) a multiple of 30?
False
Suppose 3*h = 3*t - 15, t + 3*t + 3*h = 13. Suppose 5*x = -t*w + 122, -4*w = -x + 3*x - 116. Is w a multiple of 7?
True
Suppose -67 = 2*h - 71. Suppose 5*q - 1179 + 499 = -4*g, g = -h*q + 269. Is q a multiple of 11?
True
Let w = 313 + -169. Is w a multiple of 17?
False
Suppose -a - p + 9 = 0, a - p + 4*p = 19. Suppose 0 = b + 2*f - 98, -2*b + a*f + 217 = f. Is b a multiple of 26?
True
Does 53 divide (((-110)/(-20))/11)/((-2)/(-856))?
False
Suppose 0 = 7*b - 3725 - 23029. Does 40 divide b?
False
Suppose 4*c = 117 + 243. Suppose 2*a - 180 = 4*x - 3*x, -a + c = x. Suppose -2*h = h - a. Is h a multiple of 10?
True
Suppose -3*l + 3*m = 0, 0*l + 4*m - 6 = -2*l. Is 15 a factor of (140 - -9) + (2 - l)?
True
Suppose -5*k = c + 253, k + 65 = -4*c - c. Let f = 5 + k. Let m = f - -93. Is m a multiple of 12?
True
Let x(j) = -j**3 + 3*j**2 + 13*j + 2. Does 31 divide x(-6)?
True
Suppose 3*q + 24 - 540 = 0. Does 9 divide q?
False
Suppose 15*z = 13*z + 828. Let w be (-9)/6 - z/(-12). Let l = -24 + w. Is 9 a factor of l?
True
Suppose 2*s - 31 = -z, 5*z - 98 - 49 = -2*s. Is 12 a factor of z?
False
Suppose 19*s - 16198 = -7*s. Is 47 a factor of s?
False
Let n be 4 - 4/12*6. Suppose 7*x = n*x + 395. Suppose r + 2*i = 37 - 9, 4*r - 3*i - x = 0. Is 8 a factor of r?
False
Let a = -28 + 48. Let h = a + 136. Suppose -5*p + h = -29. Is p a multiple of 11?
False
Let p = -5 - -15. Let l = p - 1. Is 10*(-4)/((-12)/l) a multiple of 15?
True
Let b be (-1)/(-4) + 0 + (-1689)/(-12). Suppose 0 = -3*s - c + 428, s = -3*c + b - 9. Does 12 divide s?
True
Let z = 29 - 32. Let v(w) = -w**3 + 6*w**2 - 6*w + 4. Let k be v(4). Is 4 a factor of (8/k)/(z/(-81))?
False
Let g(v) = -v**3 - 13*v**2 - 34*v + 5. Does 8 divide g(-10)?
False
Let n(z) = -32*z + 12. Let r(u) = 32*u - 12. Let q(j) = 5*n(j) + 4*r(j). Is q(-6) a multiple of 12?
True
Suppose i = -3*i + 256. Suppose t + 24 + 18 = 0. Let j = i + t. Is 15 a factor of j?
False
Let s be 225/(-6) - 12/(-8). Let a be (s/10)/(2/5). Is 12 a factor of (-25 + 1)*a/6?
True
Let q = -3 - -32. Does 28 divide q/(-1*2/(-10))?
False
Suppose 17*h = -12*h + 14210. Is h a multiple of 35?
True
Does 15 divide 294/98 - (-1 - 516)?
False
Let a(u) be the first derivative of -u**4/4 - 2*u**3 - 3*u**2 + 5*u - 2. Let y be a(-5). Does 10 divide ((2 - 0) + -1)*y?
True
Let d = -34 - -36. Does 10 divide d + 224/6 - 30/(-45)?
True
Let l = -346 + 730. Is l a multiple of 48?
True
Suppose r = 3*n - 24, 3*n - n = r + 19. Let t = 24 + r. Suppose t = f + 3. Is 4 a factor of f?
True
Let u(g) = g**2 + 4*g - 8. Let s(m) = 6*m**2 + 0 - 2*m - m**3 + 0 + 1 + 8*m. Let x be s(7). Is 3 a factor of u(x)?
False
Is (-45752)/(-40) + (-7)/(-35) a multiple of 22?
True
Suppose 3*m = -4*o + 4 - 0, -4 = m. Suppose -o*q - 3*t = -5*t + 32, -5*q - t - 33 = 0. Let y(j) = j**2 + 6*j + 10. Is y(q) a multiple of 17?
True
Let b be (-66)/(-54) + 2 - 4/18. Suppose -b*o = r - 193, 66 = o - 2*r + 4*r. Is 32 a factor of o?
True
Let f = 19 + -61. Let q = 90 - f. Is q a multiple of 13?
False
Is 400/120*1044/5 a multiple of 29?
True
Let n be (15/6)/(2/4). Suppose 3*b - 3*f = n*b - 152, f - 406 = -5*b. Does 11 divide b?
False
Suppose -2*o = -22 - 28. Suppose c - m - o = 4*m, c = -m - 5. Suppose c = -4*q + 3*j + 87, -3*j = -0*j + 3. Does 7 divide q?
True
Let w(o) = 708*o**2 - 4*o + 5. Is 10 a factor of w(1)?
False
Let x = -213 + 26. Let v = -76 - x. Is 37 a factor of v?
True
Is (-3)/(-33) - 924667/(-407) a multiple of 71?
True
Let u = -22 + 42. Let x(m) = 2*m. Is 8 a factor of x(u)?
True
Let m be 56/9 + (-14)/63. Is 9 a factor of ((-9)/4*-2)/(1/m)?
True
Suppose 3*r - 1693 + 88 = -3*t, 2125 = 4*t - r. Is t a multiple of 19?
True
Suppose -3*s - 4*m = 0, 0 = -4*s + 5*m + 6 - 37. Let v = 33 - s. Is 11 a factor of v?
False
Let o = -17 + 19. Suppose -3*z = o*z - 5. Is 45 - ((-2 - z) + -1) a multiple of 13?
False
Let v(a) = a**3 + 3*a**2 - 5*a - 6. Let j be v(-3). Suppose 6*u - j*u + 6 = 0. Is 2 a factor of u?
True
Suppose 3*k - 1660 = 5*m, 49*m = 50*m - 4. Is k a multiple of 20?
True
Suppose 0 = -l + 4*l - 339. Does 14 divide 2/(-8) - l/(-4)?
True
Suppose 6*s = -4*z + 3*s + 657, 0 = -3*z + 2*s + 514. Suppose 0 = -2*a - 4*a + z. Is a a multiple of 28?
True
Let f(h) = -4*h**3 + h**2 - 2*h + 2. Let j be f(1). Let x = -2 + j. Does 7 divide (6 - 1)*(-40)/x?
False
Let a = 598 + -178. Is a a multiple of 12?
True
Let u be (-308)/(-60) - (-4)/(-30). Suppose -4*x + 343 = u*c + 50, 4*c - 154 = -2*x. Does 3 divide x?
False
Suppose w = -3*w - k - 259, -2*w + 3*k = 133. Is 22 a factor of (2 + 9/(-3))*w?
False
Let v(y) = 16*y**3 - 10*y + 4. Is v(3) a multiple of 9?
False
Let j = -4 - -10. Suppose 3*s - 5*w = -21, 3*s - 3*w + j*w = -45. Is (-2)/4 - 366/s a multiple of 15?
True
Suppose 28*u - 9*u = 10792. Does 71 divide u?
True
Let j = -797 - -1157. Is 40 a factor of j?
True
Let x be 26/(-4)*2/1. Let q(b) = -5*b**3 - 70*b**2 - 76*b - 71. Let m(f) = f**3 + 14*f**2 + 15*f + 14. Let a(s) = 11*m(s) + 2*q(s). Is 9 a factor of a(x)?
False
Let l = 197 - -2. Is 11 a factor of l?
False
Let k(t) = t**3 + 11*t**2 - 9*t - 1. Is 11 a factor of k(7)?
False
Let b(d) = 5*d - 4*d - 12 + d. Let t be b(15). Is 16 a factor of 1310/t - 18/(-8