Is 10 a factor of f?
False
Let w be 15*4*(-2)/(-8). Suppose 51 = q + 4*i - 54, -w = 3*i. Is 19 a factor of q?
False
Suppose 5*r = -k + 4298 + 843, r - 3*k - 1025 = 0. Does 61 divide r?
False
Let f be (-476)/(-77) + 2*6/(-66). Is 35 a factor of (-1060)/795 + (5468/f - 0)?
True
Let w = -28 + 103. Suppose w = -2*h + 5*h. Suppose 3*u - 2*o - 142 = 0, u + 5*o - h = 11. Does 14 divide u?
False
Let r(m) = 29*m**2 - 89*m - 420. Is 20 a factor of r(20)?
True
Let w(y) be the second derivative of y**7/2520 + 53*y**5/40 + 2*y**4/3 - 9*y. Let q(s) be the third derivative of w(s). Is q(0) a multiple of 24?
False
Let r = 18 + -17. Let d be ((-1)/r + -2)/((-1)/(-3)). Let x = d + 148. Is x a multiple of 14?
False
Is (-1468664)/(-84) + (-15 - -8) + (-145)/(-21) a multiple of 12?
True
Let o(y) = -y**2. Let w(f) = -4*f**2 + 4*f + 1. Let s be 16/(-10) - (-18)/30. Let d(x) = s*w(x) + o(x). Is 39 a factor of d(-5)?
False
Let u(c) = 4*c**2 - 16*c + 228. Is u(17) a multiple of 8?
True
Let h(p) = -34 - 3 - 3*p - 6 - 17. Does 6 divide h(-26)?
True
Suppose -45*t = -44*t - 782. Suppose -5*g - t = -2*n, -3*g + 1215 = -n + 4*n. Is 28 a factor of n?
False
Suppose 4*s = -y + 253, 0 = -s + 4*s - 2*y - 176. Let p = s + 372. Is p a multiple of 30?
False
Let u(p) = 1461*p**2 + 22*p - 21. Let a = -624 - -625. Is u(a) a multiple of 17?
True
Let d(q) = -2410*q**3 + q**2 + 2*q - 2. Let w be d(-2). Suppose 2*o = -19*o + w. Does 54 divide o?
True
Let j = -18840 + 29940. Is 30 a factor of j?
True
Let n(q) = -233*q + 15. Let a(j) = -15*j - 121. Let x be a(-8). Is 8 a factor of n(x)?
True
Let t be 3/(-5) + 262/(-5). Let x(v) = -3*v**2 - 62*v + 21. Let a be x(-20). Let m = t + a. Is 4 a factor of m?
True
Let u = 1778 + -1173. Let j = u + -353. Does 28 divide j?
True
Let p be (-13)/(-2) + 19/(-2) + 9. Is 17 a factor of (0 - (-3)/(-9)*p)*-232?
False
Suppose -4*h = x + 1863, -2*h + 9384 = -5*x + h. Is x/(-60) - 2/8 a multiple of 3?
False
Suppose -4*p - 2*i - 17 + 45 = 0, -2*p - 5*i + 22 = 0. Let z(k) = 4*k**3 - 8*k**2 + 10*k - 18. Is z(p) a multiple of 24?
False
Let x be 1 + 15*3 + -2. Let p be 645/10 + 5/10. Let w = p - x. Is w a multiple of 7?
True
Let c(l) = l**3 - l**2 - 2*l - 15. Let d be 27/7 + (-2)/(-14). Is c(d) a multiple of 5?
True
Suppose n - 5*r = 249, 0 = -2*n - 5*r + 125 + 358. Is 7 a factor of n?
False
Let d(t) be the third derivative of -t**3 + 1/24*t**4 + 0*t + 0 + 2*t**2 + 3/20*t**5. Is d(4) a multiple of 37?
False
Suppose -30*r = -37*r + 91. Suppose -477 = -4*p - 3*q, -r*q + 18*q = -4*p + 475. Is 12 a factor of p?
True
Let c(r) be the first derivative of 6*r**2 - 3*r + 8. Let p(u) = 6*u**2 + u + 2. Let s be p(-1). Is 12 a factor of c(s)?
False
Let c be (-3 - 0)/(2 - (-43)/(-20)). Is (1 - 10593/(-12)) + 5/c a multiple of 34?
True
Let f(u) = u + 13. Suppose 0*k + 4*k + 44 = 0. Let i be f(k). Suppose -i*v + 104 + 136 = 0. Is 24 a factor of v?
True
Let q(s) be the third derivative of -395*s**4/12 - s**3/6 + 7*s**2. Is 65 a factor of q(-1)?
False
Let u(c) be the third derivative of c**5/20 - c**4/24 + 3*c**3 + 178*c**2. Does 49 divide u(-5)?
True
Is (370/(-4))/(-5)*(-91)/((-1274)/12460) a multiple of 89?
True
Suppose -2*c + p + 24283 = 0, -2*c + 198*p + 24311 = 193*p. Is 13 a factor of c?
False
Let d(u) = 136*u - 3673. Is d(52) even?
False
Suppose 710*t = 713*t - 30. Let o(x) = 10*x + 1 - x + 3*x - x**2. Is o(t) a multiple of 9?
False
Let r = 44 - 41. Suppose -r*p = 8*p. Suppose -2*x + 55 = 4*v + 15, -3*x - 2*v + 64 = p. Is 5 a factor of x?
False
Let r be 10360/84*6/4. Let g = r - 33. Is 10 a factor of g?
False
Suppose 2*j - 4*i - 187 = 4251, -8888 = -4*j - 4*i. Does 15 divide j?
False
Suppose 11*x - 6062 = -3*x. Let t = x - -45. Does 28 divide t?
False
Let z be 12/3 + (-2)/((-8)/(-12)). Is 2 + 1556/z*2/8 a multiple of 17?
True
Suppose 28 = v + 5*l, v = 2*l - 3*l + 32. Does 2 divide (-11)/(v/(-60)) - 2?
True
Is 69 a factor of 99648/(-120)*(-30)/8?
False
Is 10 a factor of (141 - 1)/(-20) - (-667 + 0)?
True
Suppose 0 = -22*y + 50641 + 117043. Is y a multiple of 35?
False
Let h be ((-20)/14)/(39/(-273)). Suppose -k + 314 = 4*c - 4*k, -h = 5*k. Does 6 divide c?
False
Let c(o) = 12*o**2 - 9*o + 6. Let r be c(8). Suppose g = -5*g + r. Is g a multiple of 15?
False
Let k be (3472/42)/(2/(-15)). Let h = -585 - k. Is 4 a factor of h?
False
Suppose -3*j + 2*f + 9 = -2*j, -2*f + 12 = 2*j. Let x(t) = -j*t - 1 + 13*t**2 + 8 - 6. Is x(-3) a multiple of 26?
False
Let h = 3537 - -7726. Does 20 divide h?
False
Suppose 0 = 2*b - 8*b + 2628. Let w = 667 - b. Does 19 divide w?
False
Suppose 137932 = 16*u + 11516. Does 18 divide u?
False
Is 31 a factor of (-12)/126 - (-516)/126 - 3 - -25171?
True
Let c(k) be the third derivative of k**4 - 5*k**3/6 - 16*k**2. Let z be c(-3). Let j = 150 + z. Is j a multiple of 16?
False
Let p be (-60)/(-4) + 3 - -3. Let v = p + -15. Suppose -4*r - v = -18. Is 2 a factor of r?
False
Suppose -25763 = -105*a + 1551 + 36736. Is 5 a factor of a?
True
Suppose -18 = 4*l - 2, 0 = r - 4*l + 76. Let h = 14 - r. Is 13 a factor of h?
False
Suppose 5*w + 3*v = 8*v + 775, -5*v - 473 = -3*w. Is w even?
False
Let u(x) = x**2 + 33*x + 119. Let c be u(-4). Let q(s) = s**3 + 10*s**2 + 7*s + 5. Let g be q(-7). Is 8 a factor of g - (c + (-4)/2)?
False
Let b = -1449 - -4803. Is b a multiple of 2?
True
Let t(g) = 2662*g**2 - 72*g - 113. Does 27 divide t(5)?
False
Let x be (-8 + -2)/2 - (-14 + -1). Does 13 divide ((-387)/(-36) - x) + 5949/4?
False
Suppose -52188 = -61*u + 26807. Is 37 a factor of u?
True
Let m = 7564 - 2054. Is m a multiple of 190?
True
Let h(z) be the second derivative of 6*z + 1/20*z**5 + 0 + z**4 - z**3 + 4*z**2. Does 13 divide h(-11)?
True
Let h be 1/3 + (-2212)/21. Let g be 7 + h/12 - (-1)/(-4). Is (8/10)/(7/70) - g a multiple of 10?
True
Let z(a) = -a - 8. Let j be z(-3). Let c(r) = 7*r + 35. Let y be c(j). Suppose -6*s - 3*s + 1197 = y. Is 18 a factor of s?
False
Suppose -22*m + 2510 = -5212. Suppose -2*w = h - 951 + 239, -w = 3*h - m. Is 17 a factor of w?
True
Suppose 4*v = -2*g + 35418, -v - 15*g + 14*g = -8854. Is 115 a factor of v?
True
Suppose 11*z + 330 = 26*z. Suppose -20*v + 15540 = z*v. Does 8 divide v?
False
Let q(b) be the third derivative of b**7/504 - b**6/144 - b**5/120 - 13*b**4/12 + 36*b**2. Let z(f) be the second derivative of q(f). Does 25 divide z(4)?
False
Suppose -2*w = 142*w + 52935 - 174903. Does 8 divide w?
False
Let g(v) = -3*v + 35. Let a be g(11). Suppose 4*y = 9*n - 10*n + 68, n - 32 = -a*y. Suppose 0*p + 1026 = y*p. Does 4 divide p?
False
Suppose 24 = -2*c + 2*h + 2*h, -4*h = 5*c + 130. Let t be (-7022)/c + 8/(-44). Suppose 4*f - 6*f - 234 = -3*j, 5*f + t = 4*j. Does 20 divide j?
False
Suppose -5*c + 3606 = 3*d - 1604, -4*d - c + 6924 = 0. Is d a multiple of 10?
True
Let y = 113 - 160. Let a = 50 + y. Suppose -a*d + 327 = -2*n, -d + 0*n = n - 114. Is d a multiple of 30?
False
Let s(p) = 2*p**3 + 57*p**2 - 52*p - 26. Is s(-28) a multiple of 18?
True
Suppose -4*k + 1068 = 8*i, -4*i = 40*k - 36*k - 544. Is i a multiple of 92?
False
Let a(f) = -674*f - 1105. Is a(-10) a multiple of 161?
True
Suppose z + z + 30 = 0. Let f = z + 21. Let n = 65 + f. Does 23 divide n?
False
Suppose -2*i + 6 = -l, -4*i + 1 = 2*l - 3. Suppose -5*z + 1485 = g, i*z + 4*g - 5*g - 601 = 0. Does 5 divide z?
False
Is 131 a factor of (-123)/287 + 132060/28?
True
Let n(k) = 468*k - 45. Let p be n(1). Let r = 644 - p. Does 13 divide r?
True
Let m(o) = 737*o**2 + o - 3. Let a be m(1). Let r = a - 351. Is r a multiple of 64?
True
Let s(f) = 314*f**2 - 220*f - 1494. Does 216 divide s(-9)?
True
Suppose j - 49 = -25. Suppose -2*z = 2*h - 118, 0 = 5*h - j*z + 22*z - 281. Does 20 divide h?
False
Suppose 142*j = 157*j - 103680. Is 9 a factor of j?
True
Is 42/(-12) + 3 + 1 + (-8751)/(-2) a multiple of 28?
False
Let g(c) = -53*c**2 - 9*c. Let n be g(3). Let t = n - -878. Is t a multiple of 41?
False
Let l = 79163 + -34619. Is l a multiple of 32?
True
Let x(y) = -519*y + 5583. Is x(-31) a multiple of 24?
True
Let i = -4218 + 25175. Is i a multiple of 14?
False
Let k(n) = 84*n**3 + 31*n**2 - 204*n + 11. Is 61 a factor of k(7)?
True
Suppose 0 = 3*k + 3*c - 9471, -5*c = 111 - 116. Is 18 a factor of k?
False
Suppose 18*d - 51*d + 86592 = 0. Is d a multiple of 41?
True
Let c(l) be the 