Is 26 a factor of w?
True
Let u(s) be the third derivative of -s**6/120 - s**5/3 + 13*s**4/24 - 7*s**3/3 - s**2 + 26*s. Is u(-21) a multiple of 7?
True
Let t = 1751 - 995. Suppose -7*s - t = -s. Is s/((-15)/10 - 0) a multiple of 14?
True
Let v = -36 - -45. Suppose -v = -g - 3*p, 2*g - 2*p = 3*g - 14. Is 8 a factor of g?
True
Let y = 735 + -521. Let a(x) = -x**3 - 11*x**2 + 11*x + 123. Let p be a(-11). Suppose 5*u - 4*c = 563, -4*c + y = -p*u + 4*u. Does 37 divide u?
True
Let g be (-4105)/20*-2 + 6/4. Let d = g - 342. Is d a multiple of 7?
True
Let s(x) = -x**3 - 17*x**2 + 21*x + 33. Let u be s(-18). Let b = u + 63. Is 7 a factor of b?
True
Suppose 0 = -2*a + 12 + 2. Let k be 1*(-9)/(-45)*25. Suppose a*j = -k*j + 144. Does 6 divide j?
True
Let g = -822 - -1180. Let x(k) = -2*k**3 + 9*k**2 - 21*k + 44. Let c be x(6). Let i = g + c. Does 43 divide i?
False
Let z(m) = -3*m + 18. Let l be z(4). Suppose 1616 = -l*b + 4112. Does 16 divide b?
True
Let w(d) = -d**3 + 15*d**2 - 16*d + 18. Let c = 3 + 11. Let o be w(c). Let n = 74 - o. Is 14 a factor of n?
True
Let j be ((-3 - -6) + -57)*9/(-18). Does 21 divide 9446/18 - (-6)/j?
True
Let x = 763 - 758. Suppose -4790 = -x*q - z + 2805, 3*q = 4*z + 4534. Is q a multiple of 11?
True
Let t be (4/2)/(13/(-338)). Let z be 2/(-5) - (-1656)/40. Let k = z - t. Is 21 a factor of k?
False
Let j be (-204)/170*(-10)/4. Let v(z) = z**3 + 7*z**2 - 5*z + 1. Let h be v(-7). Suppose j*t - h = 39. Is t a multiple of 17?
False
Let a(q) be the third derivative of -11*q**6/120 - q**5/15 - q**4/24 - 2*q**3 + 2*q**2 + 10. Is a(-4) a multiple of 14?
False
Let p(k) = k**3 + 19*k**2 + 18*k + 5. Let m be -5 + 6 - (-38)/(-3 - -1). Let z be p(m). Suppose 3*y - 74 = 2*r, r + 79 = z*y - 2*y. Is y a multiple of 2?
True
Let z be 5/((-47)/12 + 4). Let d be (((-16)/(-2))/8)/(2/z). Does 7 divide d - (-3 + 1 + (-4 - -3))?
False
Let f(b) = b**2 - 33*b + 402. Is f(31) a multiple of 68?
True
Let s(m) = -109*m + 836. Is 23 a factor of s(-32)?
True
Let a(j) = -793*j - 6612. Is 79 a factor of a(-71)?
True
Does 22 divide (-33 - 198)*142/(-3) - 0/2?
True
Suppose 0 = j - 5*l + 6 + 1, -5*l + 1 = -3*j. Suppose -12*f + 13*f - 1246 = -4*r, j*f = 4*r - 1254. Is 12 a factor of r?
True
Let z(c) = c**2 + 10*c + 24. Let k be z(-4). Suppose 20*a - 21*a + 180 = k. Is 36 a factor of a?
True
Let l(c) be the first derivative of -143*c**2 + 10*c + 181. Does 48 divide l(-3)?
False
Suppose -4329 + 7665 = -6*f. Let g = f - -622. Does 2 divide g?
True
Let p(y) = -y**3 + 57*y**2 - 105*y + 679. Does 9 divide p(55)?
True
Let x be ((-1)/(-3))/(24/(-1368)). Let i be -1*1*(x - -30) + 1. Is 15/25 - 1074/i a multiple of 18?
True
Suppose -u = 4*y - 11, -3*u - 2*y = -2*u - 13. Suppose u = 2*a + a. Suppose a = -5*d, -93 = -2*r - 3*r - 2*d. Is r a multiple of 12?
False
Suppose 14*p + 2*p = -32. Let t(i) = -354*i. Does 24 divide t(p)?
False
Let n be (0 - -4)*6*(-60)/(-144). Suppose -n*v = -47*v + 29711. Is v a multiple of 73?
True
Does 69 divide 1242/5*(-120)/224*-14?
True
Let s(t) = -2*t**2 + 51*t - 35. Let f be s(21). Does 77 divide f*(5/(-5))/((-2)/4)?
True
Let j(p) = p**3 + 6*p**2 - 8*p + 13. Let o(y) = y**2 + y - 4. Let a(b) = 3*b**2 + 4*b - 12. Let u(q) = 3*a(q) - 8*o(q). Let v be u(-3). Does 10 divide j(v)?
True
Let u = -18396 - -34776. Is u a multiple of 140?
True
Let k = -42 + 40. Let a = k + -2. Let q(o) = o**2 + 5*o + 10. Does 4 divide q(a)?
False
Let g(j) = 8*j**2 + 4*j - 3. Suppose 3*x + x + 4*o = 4, x = o + 1. Let t be g(x). Let w(l) = -2*l**2 + 20*l - 10. Does 2 divide w(t)?
True
Suppose 2*p = -l + 5, -4*p + 3*l - 4*l + 11 = 0. Suppose p*x + r - 4*r - 633 = 0, -r = 4*x - 859. Does 50 divide x?
False
Let m(u) = -8*u**2 - 109*u + 59. Is m(-9) a multiple of 5?
False
Suppose 0*q + 5*q + 4*i = -2, q - 4*i = 14. Is 13 a factor of (2 + -15)/(q/(-36))?
True
Let y = -350 - -354. Let u = -5 - -8. Suppose u*f - 25 = -10, 0 = -y*g - 4*f + 200. Is 15 a factor of g?
True
Suppose -a + 5414 = -n, -10834 = -39*a + 37*a + 5*n. Is 41 a factor of a?
True
Let s = -63 - -90. Is 3 a factor of 34 + s/(-3) + 4?
False
Suppose 2*n - 72 = 78. Let d = 47 - n. Let v = 35 + d. Does 3 divide v?
False
Is 15 a factor of 265/(-3)*((-7)/1 - 20)?
True
Let g = -319 + 324. Suppose -3*c + 222 = -3*h, -4*h = g*c + h - 360. Is c a multiple of 2?
False
Let m = -242 - -91. Let x = m + 247. Does 15 divide x?
False
Let f(h) = -20*h + 15. Let p(t) = -t**2 + 25*t - 15. Let b be p(24). Let y be f(b). Let v = y - -481. Is 38 a factor of v?
False
Let c(j) = -34*j**3 - 3 + 12*j**2 + 7 - 8*j**2 + 2*j**2. Is c(-2) a multiple of 25?
True
Let r(p) = -47*p + 66. Let c be r(5). Let i = c - -287. Is 5 a factor of i?
False
Let t = 64 + -64. Suppose t = 5*j, -9*j = -c - 8*j - 131. Let a = c - -301. Is 18 a factor of a?
False
Let n = 63703 - 32581. Is 81 a factor of n?
False
Suppose 6*g = 9*g + 126. Let c = g - -47. Suppose 517 = c*n + 6*n. Is 7 a factor of n?
False
Suppose -73 = -4*h - o - 0*o, -3*h - o = -55. Let g = 23 - h. Suppose -b - b + 93 = -g*p, 4*b - p = 177. Is 22 a factor of b?
True
Suppose -1356 = -5*i - y, 0 = i + i + 2*y - 536. Suppose i = 7*a - 211. Is 69 a factor of a?
True
Suppose -2*b + 3*x + 4611 = 0, -49*x + 54*x = -b + 2312. Is b a multiple of 43?
False
Let t be 6/(-3) + 292 + -1. Suppose 0 = 5*a - 26 - t. Is (-1 + -5)*7/((-49)/a) a multiple of 18?
True
Let y(g) = 113*g + 4729. Is 7 a factor of y(-25)?
True
Let c = 720 + -667. Is 10 a factor of c?
False
Let p = 6 - 16. Let y(g) = -2*g - 19. Let t be y(p). Is 6 a factor of (-4 - -5)/(t/7)?
False
Let m(y) be the second derivative of y**3/6 + 5*y**2 - 4*y. Let p be m(-6). Suppose -4*q - 212 = -p*a, 3*q = -a - 0*q + 61. Is 12 a factor of a?
False
Suppose -c = -1, 0*l = -5*l + 3*c + 2692. Does 8 divide (l/(-44))/((-5)/200)?
False
Let u(t) = -t**2 + 6*t + 3. Let h = -33 - -36. Let r(w) = -2*w**2 + 7*w + 2. Let o(k) = h*u(k) - 2*r(k). Is 10 a factor of o(-5)?
True
Let j be ((-2)/(-6))/(2/24). Suppose -b = -j*f + 22, 0*b - 7 = -f + b. Suppose -30 = -f*y + w - 5*w, 18 = 3*y + 2*w. Does 6 divide y?
True
Let s(b) = -417*b + 21209. Is 215 a factor of s(0)?
False
Let j = -286 - -252. Let r = 152 + j. Is 4 a factor of r?
False
Is 10*(7/(-35) + (-5)/(-50)*2287) a multiple of 20?
False
Suppose -f - 1 = -5*a + 300, -2*a + 4*f = -124. Let v = 485 + a. Is 20 a factor of v?
False
Let q be 793 - (-5 + (-1 - 1)*-2). Does 19 divide q/(((-9)/(-6))/(3/4))?
False
Let y = 455 - 434. Is 16 a factor of y/(-12) + 9258/24?
True
Let c(i) = 1476*i + 54. Let m be c(9). Does 7 divide m/182 + 4/(-14)?
False
Suppose 35 = 8*l - 5. Suppose -l*i - 3*n + 6 = -2*i, 3 = -n. Suppose -i*f = -144 - 646. Is f a multiple of 11?
False
Let s(q) be the second derivative of q**3/6 + 79*q**2/2 + 7*q. Let k be s(0). Let h = k - 39. Is 20 a factor of h?
True
Suppose q = 4*v + 31, -2*q + 2*v + 62 = 4*v. Suppose -39*k = -q*k - 1368. Does 19 divide k?
True
Let m(r) = 2*r**3 - 13*r**2 + 54*r - 307. Is 55 a factor of m(9)?
False
Let z(a) = -15*a + 30. Suppose 26 = -g - 5*o, -21 - 40 = 5*g + 2*o. Is z(g) a multiple of 4?
False
Let k be (4 + 56/(-12))*(-90)/4. Suppose k*r = 13*r + 110. Suppose -r*y + 416 = -51*y. Is y a multiple of 32?
False
Does 2 divide -6 - 2*(-6558)/8*14/21?
False
Suppose 0 = -35*o + 116*o + 94*o - 1024275. Is 162 a factor of o?
False
Suppose 71*n + 618 = 77*n. Suppose -n = -t + 642. Is 12 a factor of t?
False
Let q(f) = -f**2 + f + 8. Let r be q(-5). Is 8 a factor of r/33 - (-250)/6?
False
Let t = -13 + 29. Does 3 divide (62/t)/(6/24)*2?
False
Let c(j) = -636*j + 92. Let i be c(-3). Suppose i = 75*l - 70*l. Does 22 divide l?
False
Let j = -22 + 23. Does 33 divide ((-213)/2)/(j + (-22)/16)?
False
Let z be 1/(181/30 + -6). Is 14 a factor of (66/z - 3)*(-385)/2?
True
Suppose 0 = 4*r + 28, -5*i - 5*r = -50854 + 9714. Is 88 a factor of i?
False
Suppose 0 = c + 25 - 28. Suppose -8*n + 6*n - c*b = -13, -n + 19 = -b. Is n a multiple of 3?
False
Let q be (-765)/(-10) - 4*4/32. Let t = q + 219. Is t a multiple of 5?
True
Let b = -7186 - -12632. Is 14 a factor of b?
True
Let a be (-5*4/(-3))/((-3)/9). Let o = -39 - a. Let h = 28 + o. Does 9 divide h?
True
Suppose -4*q - 3*w - 2*w = -667, 5*q + 2*w - 838 = 0. Suppose 3*r + q = -2*t, 5*t + 591 = 3*r + 171. Let n = t - -140. Is n a multiple of 8?
True
Su