3*c = -24*c + 6006. Suppose 6*k + 2*n - c = 2*k, -2*k - 3*n + 137 = 0. Does 37 divide k?
False
Let y = -163 - -164. Let f(x) = 217*x**3 + x**2 - 4*x + 2. Is f(y) a multiple of 9?
True
Let f be ((-12)/(-8))/((-86)/(-88) + -1). Let t = 76 + f. Suppose -x = -t - 4. Does 7 divide x?
True
Suppose 16*j = 6*j + 12110. Suppose n + 993 + j = 4*h, -4*n = -16. Suppose 10*m - 2*m - h = 0. Does 23 divide m?
True
Suppose 0 = -4*q - 8*q + 5460. Suppose 0*s = -7*s + q. Is s a multiple of 8?
False
Is 102 a factor of (673 + -24 + 6)/((4/2)/2)?
False
Let g(h) = 23*h + 191. Let o be g(-11). Is ((-18)/(-3) - o) + -8 a multiple of 15?
True
Suppose -4*m - 482 - 286 = -2*t, 0 = -4*m - 16. Suppose 3*x = -a + 108, 0*a - 2*x = -4*a + t. Is a a multiple of 8?
True
Let v(b) = 92*b**2 - 11*b + 55. Let t = 88 + -84. Does 43 divide v(t)?
False
Suppose 3*l - 435925 = -20*l - 30*l. Does 97 divide l?
False
Let w = -241 + 241. Suppose w = -0*b - 2*b + 6. Is b even?
False
Suppose -5*n = 5*p - 4*n - 31, 27 = 4*p + 3*n. Is 10 a factor of ((-20)/p)/((-22)/528)?
True
Let c(f) = -f**3 - 2*f**2 - 2*f - 2. Let y be c(0). Does 27 divide 6/((-24)/(-2228)) - (y - -4)?
False
Is 0*(-6)/42 + 22*333 a multiple of 37?
True
Suppose -28*s - 7290 = -61*s + 32*s. Is 45 a factor of s?
True
Is (2/(-4))/(7/(-42)) - 119*-2 a multiple of 86?
False
Is 48 a factor of 1*94*((-1695)/(-30) - -28)?
False
Suppose -f = 3*m, 5*f - 4*m - 32 = -3*m. Suppose 3*d + 368 = f*d + 2*x, 0 = -d - x + 121. Does 18 divide d?
True
Does 2 divide (97/4*312/26)/3?
False
Suppose 25*u = 158*u - 4923660. Is u a multiple of 15?
True
Let p(b) = -2*b**2 + 33*b - 12. Let o = 90 - 75. Is p(o) a multiple of 2?
False
Suppose 9 + 51 = 5*n. Suppose 0 = -10*y - n + 82. Suppose 0 = y*m - m - 528. Is 22 a factor of m?
True
Let b be 4/48*6*-2. Is 24 a factor of (b/(-3))/((-2)/16)*-90?
True
Suppose 132*q - 41*q - 1444170 = 45*q. Is 21 a factor of q?
True
Let y(s) = -s**2 + s + 16. Suppose 0 = -32*l + 28*l + 20. Let n be y(l). Let v(d) = 2*d**2 + 8*d + 8. Is v(n) a multiple of 8?
True
Let w(h) = 2*h**2 - h + 79. Is w(-24) a multiple of 10?
False
Let f = -211 + 213. Let o(b) = 168*b - 12. Is o(f) a multiple of 9?
True
Suppose 703890 = 16*z + 8*z + 76242. Is 98 a factor of z?
False
Suppose -2*h + 52 + 28 = 0. Suppose 0 = 6*v - 376 + h. Is 7 a factor of v?
True
Let g(d) = 5*d**3 + 2*d**2 + 9*d - 6. Let q(r) = 6*r**3 + r**2 + 10*r - 7. Let w(n) = -7*g(n) + 6*q(n). Is w(9) a multiple of 19?
False
Let n(x) = 33*x**3 + 102*x**3 - 181*x**2 + 180*x**2 + 6*x. Is 17 a factor of n(2)?
True
Let s(u) = 2*u**2 - 2*u - 122 + 120 + u**3 + u**2. Let v be s(-5). Let p = v - -98. Is p a multiple of 14?
True
Let k = -3235 - -16947. Suppose -20*o = -20248 - k. Is o a multiple of 92?
False
Suppose -15356 = 41*d - 48238. Is 38 a factor of d?
False
Suppose 17512 + 10395 = 43*u. Is 12 a factor of u?
False
Suppose -3*k + 14*k = 495. Suppose -200 - k = -r. Is 8 a factor of r?
False
Let y(b) = 6*b**2 - 4*b - 8. Let n(x) = -2*x**2 + 23*x + 12. Let g(h) = h**2 - 23*h - 13. Let o(c) = 4*g(c) + 3*n(c). Let u be o(-11). Does 54 divide y(u)?
True
Suppose 4359 = 3*v + 3*p, 21*v = 19*v - 4*p + 2900. Is v a multiple of 2?
True
Let q(g) = -2*g**3 + 3*g**2 - 2*g - 6. Let k be q(3). Let d = k + 77. Does 8 divide (2 - -3) + -3 + d?
True
Let o = -285 + 255. Is 1254/(-2)*(-5 + (-130)/o) a multiple of 33?
False
Suppose 3*n - 131860 = -5*u + 69737, -2*n - 161282 = -4*u. Is 20 a factor of u?
True
Let y(b) = 471*b - 1320. Does 70 divide y(12)?
False
Let k = -166 - -35. Let w = 157 - k. Is 36 a factor of w?
True
Let k(s) = -s + 22. Let c be k(19). Suppose 0 = -3*g + 12, f - c*g + 50 = 273. Is f a multiple of 20?
False
Suppose m - 2*z - 587 = 0, 5*m - 2*z + 968 = 3927. Let j = -552 + m. Is 40 a factor of j?
False
Suppose -69*d + 1737650 = 201020. Does 131 divide d?
True
Suppose -5*i + 0*y + 5*y = -6685, -4*y = -3*i + 4010. Let w = i + -748. Does 10 divide w?
True
Let m(y) = 7*y**2 - 172*y - 13. Is 6 a factor of m(25)?
False
Let p(o) = 19*o**2 - 45*o - 5. Let y(v) = -38*v**2 + 89*v + 10. Let l(x) = 9*p(x) + 4*y(x). Is l(6) a multiple of 11?
True
Let u(d) = -7*d**3 - 3*d**2 - 10*d - 31. Let n be ((-10)/3)/(50/75). Is u(n) a multiple of 39?
True
Suppose 5*r = -25, f + r = 55 - 467. Let h = 530 + f. Does 41 divide h?
True
Suppose 5*k = 4*c + 366465 + 25450, -k = -5*c - 78362. Is 87 a factor of k?
True
Let z(p) = 49*p**2 + 7*p - 213. Is z(18) a multiple of 277?
True
Let b(w) = -91*w + 1797. Is b(6) a multiple of 25?
False
Let u(p) = -16*p**2 - 22*p**2 + 23 + 23*p**2 - 14*p + p**3. Is u(17) a multiple of 10?
False
Suppose -1161 = -3*q + 5*b, 6*q - q + 5*b = 1895. Suppose 0*j + q = 4*j - 2*m, -3*m = j - 78. Is 32 a factor of j?
False
Let c be (-2)/(-1 + 1 - -1). Suppose -22*w = -132 + 462. Is (c/3)/(w/45) even?
True
Suppose -1701 - 1235 = 8*t. Let i = t + 562. Suppose -515 = -16*u - i. Is 20 a factor of u?
True
Suppose -254*d - 252*d + 520*d - 198254 = 0. Does 135 divide d?
False
Let r = 30529 + -16421. Is r a multiple of 37?
False
Let a = 81 - 112. Let q = 37 + a. Let h(w) = w**3 - 7*w**2 + 13*w - 14. Is h(q) a multiple of 5?
False
Suppose 0 = 99*k - 0*k - 4005540. Does 119 divide k?
True
Let k = 22 - 18. Suppose -2*g - 6 = -k*g. Suppose -4*z = z - 10, b + g*z = 136. Is b a multiple of 13?
True
Let p = 1409 - 2364. Let y = p - -2179. Does 12 divide y?
True
Let v(p) = 23*p**2 - 2. Let f be v(3). Suppose 0 = 5*z + 131 + 374. Let s = z + f. Is s a multiple of 33?
False
Let c(r) = 5*r**2 - 2. Let y be c(1). Suppose -6*a + 34 = -y*a + 5*h, -4*a = 2*h - 22. Suppose -a*p + 668 = p. Is p a multiple of 18?
False
Let t(n) be the first derivative of -1/4*n**4 + 2*n**3 + n**2 + 8 + 7*n. Does 6 divide t(6)?
False
Let n = -612 + 641. Suppose -n*h = -4*h - 575. Is h a multiple of 2?
False
Let m = -527 - -328. Let s = m + 619. Is s a multiple of 15?
True
Let p = -65 - -33. Let w be 3 + p/(-18) + 2/9. Suppose m - 114 = 2*u, u - 47 - 468 = -w*m. Is 26 a factor of m?
True
Let p(h) = h - 5. Let d(i) = -i**3 - 15*i**2 - 2*i - 22. Let s be d(-15). Let w be p(s). Suppose 0 = w*v - 2*v - 10. Is v a multiple of 10?
True
Suppose -4*c + 72416 = -4*h, -97*c + 99*c + 3*h = 36188. Is c a multiple of 28?
False
Suppose -2*b - 7 = -1, 42 = -3*u - 3*b. Is (-508)/3*33/u a multiple of 25?
False
Let i be (-1180)/(-6) + 2/(-3). Let s(u) = -5*u - 68. Let c be s(-15). Suppose -105 = -c*k + i. Does 24 divide k?
False
Let j be 6/18 + 22/6. Let n(k) = k**2 - 6*k + 3. Let o be n(j). Let f = 15 - o. Is 4 a factor of f?
True
Let q(a) = -174*a + 40. Does 6 divide q(-15)?
False
Let m = 1824 - -5631. Is 21 a factor of m?
True
Let k(c) = -8*c**3 + 6*c**2 + 20*c - 28. Does 14 divide k(-10)?
True
Let f(k) = 2*k**2 - 6*k + 6. Let p be f(3). Let z be 13/2 + (-3)/p. Let b(a) = a**2 + 2*a - 15. Does 9 divide b(z)?
False
Let t = -157 - -161. Suppose 4*c - 1058 + 208 = -3*b, t*b - 5*c - 1092 = 0. Is b a multiple of 47?
False
Suppose 7*k + 841 = 2262. Suppose -3*h - k = 40. Let r = h + 180. Does 14 divide r?
False
Let k = -2607 - -6446. Is 15 a factor of k?
False
Suppose 0 = -2*m - 2*f + 12, 4 = -4*m + 4*f + 12. Suppose c + m*c = 3005. Suppose 9*j - c - 137 = 0. Is j a multiple of 13?
False
Suppose 5*t - 55388 = 3*s, 2*s - 661 - 10414 = -t. Is t a multiple of 4?
False
Let o(b) = -5*b - 9. Let w = -18 + 3. Let p be o(w). Suppose -2*g + p = -52. Is g a multiple of 36?
False
Suppose -4*u - 139*s + 142*s = -49146, -2*u = -3*s - 24576. Is 63 a factor of u?
True
Suppose -3*i - 4181 = 4*g, -g = -i + 1154 - 107. Let t = -396 - g. Does 68 divide t?
False
Suppose -18 = -w - 19. Let k be (-11)/(-55)*(14 - w). Suppose k*t - 268 = 164. Is t a multiple of 24?
True
Suppose 3*m = 2*r + 880, 3*r + 1467 = 5*m - 0*r. Let v = m + -154. Is 28 a factor of v?
True
Let h = -123 - -199. Suppose 5*m - h = -3*l + 6*m, 5*l + 2*m = 112. Is l a multiple of 8?
True
Let v(o) = -o - 31. Let p be v(6). Let q = p - -85. Let r = q + 68. Does 33 divide r?
False
Is 101 a factor of 693/77 - (-17262 - (0 - 0))?
True
Let s(l) = l**3 - 10*l**2 + 5*l + 15. Let y = 135 - 125. Is s(y) a multiple of 14?
False
Is 16214/18 + 4/66*924/252 a multiple of 17?
True
Let o be 24/(-84) + 107/7. Is (-2136)/(-4) + o + -23 a multiple of 32?
False
Suppose 0 = -18*b - 1139 - 2839. Let k = b + 402. Is k a multiple