e second derivative of 2*u**4/3 + 11*u**3/6 + 6*u**2 - 2*u + 1. Is 3 a factor of b(-4)?
True
Suppose -5*s + 1329 = 2*h + h, -2*s + h + 525 = 0. Is -8*75/90*s/(-10) even?
True
Let q(s) = -s + 1. Let g be q(-6). Suppose -2 = -5*m - g. Let t(b) = 78*b**2 - b. Is 20 a factor of t(m)?
False
Suppose -283*z + 296*z - 12636 = 0. Does 9 divide z?
True
Let i be ((-918)/(-18))/(21/9 - 2). Does 13 divide (1359/i - 9) + 11836/34?
False
Let y(c) = -c**3 - 2*c**2 + 17*c + 7289. Is 37 a factor of y(0)?
True
Let u be (4 - (-60)/(-18))*165. Let g = u - 35. Does 21 divide g?
False
Suppose -2*f - 7*y = -11*y - 34270, -4*f + 68565 = -3*y. Is 32 a factor of f?
False
Let c(j) be the third derivative of j**6/120 + 4*j**5/15 - 7*j**4/24 - 41*j**3/6 + 24*j**2. Is c(-9) a multiple of 19?
True
Does 34 divide 6*(-1)/(-4)*(-3147692)/(-249)?
False
Does 49 divide (-466088)/246*9/(-4)*(-1 - -3)?
True
Let v(k) be the second derivative of 2*k**4/3 - 2*k**3/3 + 2*k**2 - 74*k. Let y be (-1 - -6)*2/5. Is v(y) a multiple of 14?
True
Let c be (12/(-18))/((-8)/12). Let l(h) = 87*h**2 - 3*h + 2. Does 5 divide l(c)?
False
Suppose 4*n - 578 = 2*n - 4*w, w + 888 = 3*n. Suppose -x + n = 9. Is x a multiple of 22?
True
Let q(t) = t**3 - 2*t + 20 - 18*t**2 - 7*t + 8*t. Let l be q(18). Suppose 0*u - 40 = -4*h - l*u, 0 = -5*h + 4*u + 76. Is 4 a factor of h?
True
Suppose 4*n = -2*y + 3988, 74*y - 2*n + 7946 = 78*y. Let w = -1060 + y. Does 11 divide w?
True
Let n(b) = -624*b - 2392. Is n(-9) a multiple of 21?
False
Let o(h) = h**2 - 51*h - 47. Let n(p) = -25*p - 23. Let m(t) = t**2 + 7*t + 12. Let s be m(-5). Let q(g) = s*o(g) - 5*n(g). Does 42 divide q(-15)?
True
Let z(l) = -997*l**3 + 26*l**2 + 41*l - 16. Is z(-2) a multiple of 7?
False
Let x(n) = 45*n + 19. Suppose 0 = -61*o + 54*o + 56. Let g be x(o). Let i = g + -233. Does 12 divide i?
False
Suppose -u - 28 = -5. Let r = u + 27. Suppose -143 = -r*b + 5*l, 4*l - 93 = -5*b + 137. Is 19 a factor of b?
False
Let r = 47 - -185. Let m = r + -180. Does 10 divide m?
False
Suppose -277*p + 251*p + 993295 = 116497. Is 33 a factor of p?
False
Let c be 202/(0/2 - -2). Suppose 25*i = -2*h + 24*i + 17, i + 4 = h. Let f = c + h. Is f a multiple of 27?
True
Let v(j) = 8*j**3 - 2*j**2 - 2. Let k be (2 + 15/(-6))*6. Let w be v(k). Let i = 332 + w. Does 14 divide i?
False
Suppose -64 = -7*o + 69. Let b = 19 - o. Let c = b - -32. Is c a multiple of 4?
True
Let y be -8 + -40*(-8)/16. Suppose 12*n = -y*n + 26160. Is n a multiple of 71?
False
Suppose 0 = -5*y, -6*b + 9*y = -11*b + 2460. Does 82 divide b?
True
Suppose 5*m - 4*f = 28036, -13*f - 157 = -m + 5377. Is m a multiple of 23?
True
Let q(y) = 10*y + 8*y + 77*y**2 - 43 - 38*y. Is 15 a factor of q(-2)?
False
Suppose 5*v = -3*i + 995 + 1141, -5*v + 2*i = -2151. Let c = -253 + v. Is c a multiple of 22?
True
Suppose 0 = 8*s + 496850 - 591722. Does 201 divide s?
True
Is 11 a factor of (-1 + 2)*-1*34538/196*-14?
False
Let a(s) = s**3 - 5*s**2 + 4. Let o be a(4). Is 8*o/(-8) + 2 + -3 a multiple of 7?
False
Let r = 5201 + 1099. Is 14 a factor of r?
True
Let j(z) = -24*z**3 - 104*z**2 + 15*z - 8. Does 3 divide j(-7)?
False
Suppose -166*y = -16427 - 62755. Is 3 a factor of y?
True
Does 160 divide (-81)/54 - (141864/8)/(-1 + -1)?
False
Suppose -2*i = -3*q - 13, 4*i = 3*q + 7 + 10. Suppose 3*y = -4*j + 81, 0 = j - 5*y - 1 - i. Suppose -j = 2*g - 296. Does 22 divide g?
False
Let m(g) = -33*g**2 - g + 1. Let d be m(1). Let p = d - -39. Suppose -o - b + p*b = 3, 3*o + 3*b = 63. Is 7 a factor of o?
False
Suppose 185633 = 39*v + 32*v - 373705. Is v a multiple of 101?
True
Let l be ((-16)/20)/(9/5 - 2). Suppose -4*a - l = -v + 10, -3*v + 3*a = -15. Suppose -5*s + 1393 = v*s. Is s a multiple of 13?
False
Let z(w) = -261*w - 459. Is 18 a factor of z(-17)?
True
Suppose 122*k + 634346 - 1115288 = 719538. Is 60 a factor of k?
True
Let f be 519/9 - ((-34)/(-6) + -6). Suppose 50*b = f*b - 4608. Does 18 divide b?
True
Let n(y) = -2*y**2 - 38*y - 16. Let j be n(-18). Let l = 28 - j. Is 18 a factor of (l/(-10))/(2/(-360))?
True
Let c = 22651 - 7393. Does 10 divide c?
False
Let u(q) = -q. Let f be 2/10 - 13/65. Let j be u(f). Suppose j = -z - z + r + 281, 3*z - r - 421 = 0. Does 13 divide z?
False
Suppose 105*d - 87409 = 203966. Does 25 divide d?
True
Is 106 a factor of -2 - (-169)/13 - -5632?
False
Let w = -190 - -427. Let q = w - 183. Is q a multiple of 9?
True
Let k = 23 - 21. Suppose 5*m + k*j - 1535 = 0, -m - 41 = -j - 348. Is 14 a factor of m?
False
Let b(c) = 2*c**2 - c - 20. Let p be b(-4). Let o be p/(-4) + 8 + 1. Is 3 a factor of o*(4/14 - 36/(-70))?
False
Let r(u) = u**3 + 2*u**2 - 8*u + 1. Let a be r(-4). Let i be 70/30 + a/(-3). Suppose -h + 48 = c, -3*c - i*c - 165 = -4*h. Does 13 divide h?
False
Let x = -347 + 354. Does 10 divide 281 - ((-10)/(-2) - x)?
False
Let g = 818 - 1235. Let c = g + 905. Is 86 a factor of c?
False
Suppose 165 = p - 23*d + 26*d, -5*d - 745 = -5*p. Suppose 0 = r - 106 - p. Does 7 divide r?
True
Is (-39*4)/(301/(-8428)) a multiple of 91?
True
Suppose -72 - 108 = -5*n. Let h = 55 + -56. Does 35 divide h*(-4275)/n - 6/8?
False
Let s be -2*1 + -339 + 390/(-130). Is 19 a factor of (-9 - s/40) + 8457/5?
True
Let m be 2/10 - (-1068)/10. Suppose -24*b = -0*b - 1032. Let n = m - b. Does 14 divide n?
False
Let v(n) = 3*n + 5*n**2 + 11 + n**3 - 23*n**2 - 3. Let a be v(18). Let g = a - 28. Is 18 a factor of g?
False
Suppose t = w - 2*w + 241, w = -4*t + 253. Let u = w + 60. Does 11 divide u?
True
Let t(d) = -d**3 - 2*d**2 + 8*d + 3. Let x(h) = -9*h - 4. Let z(g) = 4*t(g) + 3*x(g). Is 9 a factor of z(-5)?
False
Suppose 0 = 19*w + 362 - 20. Let u be ((-11)/(-8)*2)/(w/(-8280)). Suppose 3*m - 6*m = 3, -4*s + u = 3*m. Is 11 a factor of s?
False
Let t(p) = 54*p + 5. Let v be t(3). Suppose -4*l + 337 = -v. Let b = -84 + l. Does 21 divide b?
True
Let b = 595 - 315. Suppose 18*d + b = 26*d. Is d a multiple of 35?
True
Suppose -k + 132 = 127. Suppose 4*i + 223 = k*v, 4*i = -4*v - 38 + 202. Is 36 a factor of v?
False
Let f(h) = -16740*h - 840. Does 40 divide f(-2)?
True
Suppose -5966 = 18*t + 1036. Let c = 624 + t. Does 23 divide c?
False
Let a = 39 + 12. Let p = a + -3. Is p a multiple of 6?
True
Suppose 3*p = 4*p + 179. Let y be (12/(-7))/((-20)/4130). Let m = y + p. Does 43 divide m?
False
Let k be (1476/(-8))/(30/(-40)). Let o = -118 + k. Does 8 divide o?
True
Suppose 0 = -2*l - 2*l. Let h(p) = 1222 + 1244 - 4*p - 3527 + 1285. Does 16 divide h(l)?
True
Does 47 divide 5/(-25) + (24442/10 - 0)?
True
Is (76398/(-56))/(42/(-336)) a multiple of 102?
True
Let t(o) = -o**3 - 2*o**2 - o - 5. Let r be t(3). Let w = 28 + r. Let j = w - -172. Does 13 divide j?
False
Let g(f) = f**3 + 33*f**2 - 56*f + 416. Does 12 divide g(-22)?
True
Let a(c) = -2*c**2 - 19*c + 277. Is 56 a factor of a(-15)?
True
Suppose 2*q + 6 = -3*x + 5*x, -q + 22 = 4*x. Suppose 6*m = -2*b + m + 707, -2*b - q*m = -704. Is 13 a factor of b?
True
Suppose -5*t + 6*j = 9*j - 1460, 2*t = 3*j + 605. Let l be (-2)/(-10) - (6 - t/25). Suppose -o = -2, -l*o + 4*o = -3*g + 530. Is g a multiple of 43?
False
Let v(x) = 45*x**2 + 2*x - 8. Let n(f) = 44*f**2 + 2*f - 9. Let z(t) = -5*n(t) + 6*v(t). Is z(-2) a multiple of 21?
False
Let k be ((-1)/2)/((21/108)/(-7)). Suppose -3*v = -3*u + 12, -5*u - 2*v + 45 - k = 0. Suppose -27 = o - 2*x - 102, u*x - 214 = -3*o. Is 11 a factor of o?
False
Let u = 11060 - 10862. Does 11 divide u?
True
Let d = 345 + -347. Is 2/3*d*378/(-4) a multiple of 2?
True
Suppose 4*k = 2*k + 2*z + 4736, 3*z = k - 2374. Suppose 0 = -849*p + 854*p - k. Is p a multiple of 43?
True
Suppose 44*r - 215151 = -161*r + 398824. Does 31 divide r?
False
Suppose 46*w - 44*w - l - 103 = 0, w - 2*l = 47. Is 2 a factor of w?
False
Let v be (-12)/(-42) - 52/(-14). Let w be (-3)/((4/20)/(v/(-10))). Is 27 a factor of 9/w - 219/(-2)?
False
Let h(a) = 64*a + 101. Suppose -5*c - 23 = -q, -3*q = 7*c - 2*c - 29. Is h(q) a multiple of 40?
False
Suppose -330878 - 424648 = -33*b - 12927. Is 45 a factor of b?
False
Suppose 2*d - j = 15779, 236*j - 235*j = -2*d + 15777. Is 7 a factor of d?
True
Let c be -8 - (3 - (4 - 7)). Let i = c + 175. Is i a multiple of 4?
False
Suppose p + d - 5 = -3, 5*p = -4*d + 12. Suppose -1471 = -2*l + 4*w - 327, p*w = -l + 566. Is l a multiple of 30?