5 a factor of k(139)?
True
Let s = 3320 - 2882. Is s a multiple of 46?
False
Is (2 + 4)/90 + 559795/75 + 2 a multiple of 31?
False
Let s be (-176)/10 + (-7)/(-35)*-2. Does 34 divide s/3 - -357 - -2?
False
Suppose 3*k - 40 - 154 = 4*d, 2*d - 8 = 0. Let v be ((-74)/(-10) - -1)/(21/k). Let p = v - 15. Does 13 divide p?
True
Let o(s) = 6*s**2 + 17*s + 17. Is 6 a factor of o(5)?
True
Suppose -q = -4*u - 58, -3*q + u = 47 - 232. Is (-2821)/q*(-9 + -1) a multiple of 13?
True
Let m(k) = 5*k**2 - k - 3. Let c be m(-2). Let n(t) = 67*t + 7. Let b be n(c). Suppose 0*p = 8*p - b. Is 20 a factor of p?
True
Suppose 55*a - 2*i = 58*a - 4353, 0 = 5*i - 15. Is 63 a factor of a?
True
Let g(w) = -w**3 + 6*w**2 + 4*w + 10759. Is g(0) a multiple of 13?
False
Let n(w) = 827*w - 179. Is 21 a factor of n(8)?
False
Let b = 18 + -16. Suppose -2*r - b*r + 16 = 0. Suppose -3*p + 133 = 2*p + r*y, p - 31 = -3*y. Is 5 a factor of p?
True
Suppose 11 + 13 = -f. Is (-6)/(-5) + (-2)/10 - f a multiple of 6?
False
Let v = -4544 + 9732. Is 3 a factor of v?
False
Let y(n) = 20948*n + 282. Does 10 divide y(1)?
True
Let m = 126 + -79. Let u = m + -45. Suppose -w + 5*w + 22 = u*f, -4*f + 4*w = -64. Is 2 a factor of f?
False
Suppose 3*r = -4*x + 8315, 3*r + 16942 = 5*x + 6582. Does 83 divide x?
True
Suppose 2*t - 14 = -15*h + 11*h, -h - 5*t - 10 = 0. Let f(u) = 298*u - 280. Is 55 a factor of f(h)?
True
Suppose -3*a = 2*k + k - 99, k = -3*a + 109. Let g = 38 - a. Let r = g + 13. Is 2 a factor of r?
False
Let u(c) be the second derivative of -c**5/40 + 5*c**4/24 - c**3/2 - 19*c. Let l(r) be the second derivative of u(r). Is 2 a factor of l(-7)?
True
Suppose 3*x = -2*m - 43, -2*m + 2*x + 2*x - 36 = 0. Is 21 a factor of (-8)/m + 4959/15?
False
Let u be 24/(-108) + 114/27. Is (-33741)/(-345) + u/(-5) a multiple of 3?
False
Let c(a) = -a**2 + 7*a - 7. Let u be c(5). Let h(p) = -p**3 + 4*p**2 - 4*p + 6. Let i be h(u). Does 13 divide i/9*3 - -12?
True
Suppose -24 = 9*b - 3*b. Let m be (-1 - (-52 - 1)) + b. Suppose 7*s = 3*s + m. Is 3 a factor of s?
True
Does 245 divide (-2)/1*4/8 - (-87 - 6503)?
False
Is 70/4*682/217*595 a multiple of 298?
False
Let x(h) = -h**3 - h**2 - 2*h + 1. Suppose 1 - 4 = -b. Suppose b*z + t + 4 + 5 = 0, -4*t = -2*z - 20. Is x(z) a multiple of 11?
False
Let i = 42 + -43. Let o be (i/(-1))/((-8)/80). Let r = 61 + o. Does 7 divide r?
False
Let z = -23 + 25. Suppose -c = -4 - z. Is (-2)/c - 146/(-6) a multiple of 6?
True
Suppose -4*a + 5*c = -3326, -5*c - 10969 = -9*a - 3473. Does 3 divide a?
True
Is 39 a factor of -24 - (-18 - -2) - -40056?
False
Suppose 3*m + 3221 = -2*f - 0*f, f + 3*m + 1615 = 0. Let q = f - -2462. Does 19 divide q?
False
Let o = 16911 - 3585. Does 29 divide o?
False
Suppose 6326 = -48*o + 50006. Does 70 divide o?
True
Suppose 8*u - 2*i = 3*u - 22, -4*u - 3*i - 13 = 0. Let j be (-850)/u - 2*2/8. Suppose -3*n + 2*q + 38 + 180 = 0, 4*q = -3*n + j. Is 18 a factor of n?
True
Let c be 32/7 + -1 + 24/56. Suppose -c*i = 2*r - 64, -4*r = 12*i - 14*i - 178. Does 7 divide r?
True
Suppose -5*x = -10, 6564 = -902*r + 903*r - 2*x. Does 8 divide r?
True
Let r be (-2679)/18 - (-1)/(-6). Let v be 0 - r/(-2) - 18/(-12). Let s = v - -149. Is 19 a factor of s?
True
Suppose -4*k - 871 = -5*a, 432 + 65 = 3*a + 4*k. Suppose -157*y + a*y = 10150. Is 29 a factor of y?
True
Let t(w) = 2*w - 13. Let l be t(10). Does 5 divide 31*l - (-11)/(55/(-10))?
True
Let m = 313 - 269. Suppose 3*t = -5*f + 1609, 0 = 5*t + 48*f - m*f - 2660. Does 17 divide t?
False
Let p(g) = 11*g**2 - 26*g - 12. Let i(f) = 11*f**2 - 27*f - 13. Let l(c) = -4*i(c) + 5*p(c). Is l(-3) a multiple of 19?
False
Let o(l) = 68*l**2 + 6*l - 152. Is o(-9) a multiple of 7?
False
Let r = 9914 - 2824. Suppose -8*a - 642 = -r. Is a a multiple of 62?
True
Suppose -72*q - 49287 = -77*q + s, 0 = -5*q + 5*s + 49275. Is 8 a factor of q?
False
Let s(c) = c**3 - 3*c**2 - 2*c + 6. Suppose -h - 27 = -3*t + 4*h, 0 = t - h - 7. Let v be (3 + (-16)/t)*-6 - 1. Is s(v) a multiple of 44?
False
Let r(q) = 3*q + 16. Let l(c) = 7*c + 31. Let o(u) = -2*l(u) + 5*r(u). Let f be o(8). Suppose -2*t + f = -2*z - 54, 2*t - 5*z = 83. Does 31 divide t?
False
Let u = -25 + 21. Let k(r) = r**3 + 2*r**2 + r + 7. Let j be k(u). Let p = j + 49. Is p a multiple of 20?
True
Let b be ((-18)/6)/9*(0 + -18). Suppose b*q = 251 - 47. Is q a multiple of 7?
False
Let w be 5/((-15)/9)*4/12. Let i be (3 + -15)/(-4) + w. Suppose 5*n - 5*b + 0*b = 780, 0 = i*n + 5*b - 347. Does 30 divide n?
False
Is (11 + 208/(-20))*650 a multiple of 130?
True
Let m be 103/(-2) - 3/6. Let b = m - -57. Suppose 4*r - b*p = -0*r + 476, 119 = r - 5*p. Is r a multiple of 19?
False
Is (669/(-892))/(3/(-2596)) a multiple of 87?
False
Suppose 5*f - 14 = -a, 4*a = 15*f - 13*f - 10. Is 15 a factor of ((1 + -2)*285)/a?
True
Let h = 218 - 82. Let t = h - 233. Let m = t + 337. Is 15 a factor of m?
True
Suppose 454*b - 9268500 = -75*b - 139*b. Is b a multiple of 36?
False
Let l be (3 + -2)*(-66)/6. Let p(g) be the first derivative of g**3/3 + 9*g**2/2 - 8. Does 12 divide p(l)?
False
Suppose -29 = -4*y + 15. Suppose y*u - 472 = 1706. Does 18 divide u?
True
Let u(c) be the first derivative of -c**3 - 2*c**2 + 20. Let j(f) = f + 1. Let r(g) = 4*j(g) - u(g). Is 10 a factor of r(6)?
True
Let f = -232 - -99. Let r be (-2 - (87 - 2)) + 2. Let w = r - f. Is 12 a factor of w?
True
Suppose -5*p - 190 + 170 = 0. Is 10/p + 2 - (-292)/8 a multiple of 6?
True
Let t be (0/(-2))/(6/2). Let y be (t/2*(-1)/3)/(-2). Let s = y - -22. Is 22 a factor of s?
True
Let g(r) = 54*r**3 + 3*r**2 - 6*r + 4. Let y be g(1). Suppose y*d = 58*d + 21. Is 4 + d/((-21)/45) a multiple of 8?
False
Suppose -v = -4*m - 6591, 182*v + 2*m + 32883 = 187*v. Does 3 divide v?
False
Let i = -57 - -111. Let a = i + -43. Does 2 divide a?
False
Let r = -43 + 45. Let h be (0 - 4 - 0) + r. Is 15 a factor of 62 + (h - (-2 + -4))?
False
Is (-44697)/(-1) - (13 - (2 + (3 - -15))) a multiple of 44?
True
Suppose 81*k = 70*k + 66. Is ((-662)/(-4))/((-2)/(-4)) - k a multiple of 29?
False
Let c(a) be the third derivative of -a**5/10 - a**4/8 + a**3 + 4*a**2. Let d be c(-5). Let f = d - -222. Does 16 divide f?
False
Suppose 231507 = -1621*x + 1650*x. Does 9 divide x?
True
Let w be (616/(-2))/(36 + -37). Let x = w - 271. Is x a multiple of 3?
False
Let o(x) = 333*x - 4542. Is 114 a factor of o(40)?
True
Let v(b) = 19*b**2 + 221*b + 4690. Does 30 divide v(-25)?
True
Let g(x) be the first derivative of 3*x**2 + 266*x - 72. Is g(9) a multiple of 16?
True
Let y(r) = -r**2 - 4*r + 1. Let f be y(-3). Suppose -621 = -f*a - j, 12*a + 5*j = 8*a + 641. Is 14 a factor of a?
True
Let s(g) = -14*g**2 + 57*g - 85. Let q(y) = 8*y**2 - 30*y + 42. Let n(p) = -5*q(p) - 3*s(p). Is n(16) a multiple of 9?
False
Suppose -t - 2*b = -7 - 3, -4*t = b - 5. Suppose t = 4*a - 201 - 383. Is 11 a factor of a?
False
Let o = -49 + 13. Let w = -23 - o. Does 21 divide 2/(-13) + (3 - (-1328)/w)?
True
Let i(d) = d**3 - 6*d**2 + 13*d + 170. Does 57 divide i(14)?
False
Is 22 a factor of (528/18)/((-309)/63 + 5)?
True
Suppose 3*j - 90572 = -4*v, -16863 = -2*v - 10*j + 28457. Does 40 divide v?
True
Let u(s) = -340*s - 923. Is 3 a factor of u(-5)?
True
Let k(p) = 205*p - 98. Is k(15) a multiple of 89?
False
Let q(n) = -n**2 + 11*n + 4. Let x = 19 + -8. Let w be q(x). Suppose -s - w*c = -5 - 7, 2*c = 5*s - 126. Is s a multiple of 7?
False
Let z be 65 - (2/(-10) - 3/(-15)). Suppose 5 = -3*n + z. Suppose -3*b + 2*m = -5*b + 128, 4*m = -n. Is 17 a factor of b?
False
Suppose 140201 - 10713 = 160*d - 144*d. Does 17 divide d?
False
Let k = 9844 + -4090. Is k a multiple of 45?
False
Let r = -498 - -758. Let j = r - 114. Is j a multiple of 7?
False
Let m = 11784 - 6954. Is m a multiple of 70?
True
Let v(t) = t**3 - 26*t**2 + 26*t - 17. Let u be v(25). Let x be 2/u - (7 - (-210)/(-24)). Suppose -k - x*z + 318 = 3*k, 4*k - 322 = 2*z. Does 10 divide k?
True
Suppose 15 = k - i - 4*i, k - 2*i - 12 = 0. Suppose -t - 1 = -5*w + 9, k = 5*w - 2*t. Suppose 110 = 5*f + r + w*r, -5*f = -r - 90. Is f a multiple of 3?
False
Suppose 47 = 8*v + 215. Let c = v + 19. Is 18 a factor of ((-4)/(-6))/(c/(-381))?
False
Suppose 0*r + 4807 = -3*v + 5*r, 5*r + 4757 = -3*v. Let j = 2398 + v. Does 8 divide j?
False
Suppose -5*z = 4