ppose 6*z - 106 = m. Suppose -4*w + z = 5*b, -2*w + 7*w - 50 = 5*b. Is 11 a factor of w?
True
Let u be (-2)/((11/2)/11). Is 20 a factor of 243 + u - ((-2)/2 + 0)?
True
Let f be (-16)/8 + 10*1. Let w(h) = 3*h**2 + 12*h - 34. Is 40 a factor of w(f)?
False
Let u = 32178 - 15470. Is u a multiple of 185?
False
Let n be (-7)/(7/(-2)) - -2. Suppose 0 = -c + 20 + 29. Let r = c - n. Is r a multiple of 15?
True
Suppose 3*t - 7 = -5*g - 0*t, -4*g = -5*t - 13. Suppose -2*p + 37 = -2*y + y, 3*p + 95 = -g*y. Let h = 38 - y. Does 19 divide h?
False
Suppose -57*c - 7*c - 10683 = -32315. Does 5 divide c?
False
Let b(u) be the third derivative of 5*u**4/12 - 5*u**3/2 + 19*u**2. Let h be b(2). Suppose 0 = n - 2*i - 80, -h*n + 0*n - i = -455. Is n a multiple of 15?
True
Let c(u) = u**3 + 3*u**2 + 6*u + 5. Let m be c(-3). Let y = m - -195. Is 13 a factor of y?
True
Let u(z) = z**2 - 1. Let j(s) = -3*s**2 + 21*s - 13. Let q(w) = -2*j(w) - 4*u(w). Let o be q(20). Let l = 60 - o. Is l a multiple of 5?
True
Let f = -26 + 22. Let o be 6 + f/(3 + 1). Let d(q) = q**2 + 10*q - 5. Is d(o) a multiple of 35?
True
Suppose -4679136 = -892*h + 668*h. Is h a multiple of 33?
True
Let o(p) = -p**3 - 17*p**2 - 42*p + 18. Is o(-16) a multiple of 7?
True
Let m(q) = -q**3 - 8*q**2 + 10*q + 8. Let b(w) = -w**3 - 7*w**2 + 9*w + 7. Let h = -43 + 38. Let l(f) = h*m(f) + 6*b(f). Does 6 divide l(-4)?
True
Let g be (-5)/((-5)/(-2)) + 192. Suppose -o - g = -2*z, 0*o = -o + 3*z - 190. Let d = 270 + o. Is d a multiple of 26?
False
Suppose s + 1017 = 2*a, 0*a + 2029 = 4*a - 3*s. Suppose -i = v - a, 5*v - 1762 = -3*i - 223. Is i a multiple of 59?
False
Is 1/2*(-9 + 17680 - (-1 + -2)) a multiple of 129?
False
Let d = 16626 - 5846. Is d a multiple of 140?
True
Suppose -r - 26 = 5*x - 7, -3 = x + r. Let z be x/14 + (-226)/(-7). Is (-246)/(-22) - z/176 a multiple of 11?
True
Suppose 3*g = -4*x + 42, 70 = 5*g - 0*g - x. Let p(s) = 5*s - 4. Does 11 divide p(g)?
True
Suppose 39 - 35 = -2*m, 0 = 5*i + 2*m - 1061. Is i a multiple of 2?
False
Let q be 15/(-5) + -1 + 74*-3. Let y = q + 240. Does 2 divide y?
True
Let t(z) = -z**3 - 95*z**2 + 1783*z + 31. Is t(14) a multiple of 19?
True
Let l = 34742 + 5337. Is l a multiple of 25?
False
Let r(k) = -2*k**3 + 123*k**2 - 13*k + 186. Does 18 divide r(60)?
True
Suppose 4*j + 499 + 309 = 0. Let n = j + 300. Let x = -76 + n. Is 14 a factor of x?
False
Let s(n) = n**2 - 13. Let r be s(-4). Let i be 1 - 96/(r/(-3)). Suppose 0 = c - i - 19. Is 29 a factor of c?
True
Let i(n) = -8*n**2 + 8 - 125*n + 6 - 5 + 10 + 16*n**2. Is i(17) a multiple of 7?
False
Let b be 1/(-5)*-76*75/(-30). Let y(a) = a + 223. Is 22 a factor of y(b)?
False
Let n(f) = f**3 - 10*f**2 + 2*f - 15. Let d be n(10). Suppose 2*b + u + 10 = 5*b, -d*u + 30 = b. Is 20 a factor of (-3 + b)*(34 - 1)?
False
Suppose -n + q = 2, -2*n + 4*q - 2 = 10. Let o(c) = -4*c**3 - 19*c + 7*c**2 + 3*c**3 - 16*c**n + 12 - 8*c**2. Does 20 divide o(-16)?
True
Let b = -286 - -282. Is 32 a factor of b/(-10) + (-2 - (-2256)/10)?
True
Suppose 23*a - 27*a + 82985 = 5*g, 2*g - 33196 = -2*a. Is g a multiple of 3?
True
Does 130 divide (-4 + 8 + -27)/((-26)/8944)?
False
Suppose 348*j - 164*j - 510 = 169*j. Is j a multiple of 17?
True
Let f(c) = -10*c. Let o be f(-1). Suppose 12*l = o*l + 2. Does 17 divide 62 + 4 + l*3?
False
Let t = 37851 - 7302. Is 17 a factor of t?
True
Is (10 - 5) + (0 + 2)*(-55698)/(-12) a multiple of 14?
False
Is 52 a factor of ((-20)/(-14))/((-566397)/(-35399) - 16)?
False
Suppose 28*d = -7*d - 93*d + 6109312. Does 194 divide d?
False
Suppose -46*x + 44*x = -12. Suppose x*o = -y + 4*o - 145, 4*y = 2*o - 560. Let j = y + 305. Is j a multiple of 41?
True
Let q be ((-5)/7 - -1)/((-3)/(-21)). Suppose q*y = 4*k - 646 - 6, -2 = y. Is 54 a factor of k?
True
Suppose -11*s + 6362 = -62. Let f = -464 + s. Does 5 divide f?
True
Suppose -43*b + 87*b + 40*b = 262500. Is 25 a factor of b?
True
Let g(p) = 27*p + 13. Let z be g(3). Suppose r + t - z = 0, -15*r = -16*r + 4*t + 69. Is 4 a factor of r?
False
Suppose 4*i = 5*v - 4344, i + 1167 = 3*v - 1438. Suppose r + 3*r - v = 0. Does 7 divide r?
True
Suppose -9*s + 1568 = -2608. Suppose 20*w = 21*w - s. Is 9 a factor of w?
False
Is 39 a factor of ((-27)/(-15))/(-9) - (309468/(-15) - -2)?
False
Is 79 a factor of -30*(-10835)/242 - (-1)/((-33)/6)?
True
Suppose m - p = 3, m + 4*p = 3*m - 12. Suppose 0 = 10*s - m*s - 510. Is s a multiple of 17?
True
Is (-10339355)/(-803) + (-48)/(-44) a multiple of 15?
False
Suppose 7558 = -8*z + 41182. Is 19 a factor of z?
False
Let s(b) = -b**2 + 18*b - 12. Let h be s(17). Suppose 2*r - 5 = h*p - 2*p, 2*r = -4*p - 30. Let g = r + 31. Is 8 a factor of g?
False
Let z = 7 - -17. Suppose -c = -0*c - z. Suppose -2*i + 2*j + c = -34, 4*i = -2*j + 134. Does 8 divide i?
True
Let u(z) = -16*z**2 - 12*z - 4. Let q be u(-1). Let p = 600 + 196. Is (-2)/(0 + q/p) a multiple of 36?
False
Is 28 a factor of ((-21)/(-3)*2)/((-66)/(-6204))?
True
Let p = 10 + -7. Suppose -1 = -g - p. Let q(l) = 3*l**2 + l - 4. Does 4 divide q(g)?
False
Suppose -81*m = -83*m - 904. Let c = m - -764. Does 26 divide c?
True
Let c(q) = 2*q**2 - q - 9. Let p be c(-4). Let x = 87 - p. Let t = x - -218. Does 12 divide t?
False
Let g be (-3)/(1/(8/(-3))). Let s(o) = -o**3 + 9*o**2 - 7*o - 1. Let h be s(g). Suppose h*y = 12*y - 640. Is 24 a factor of y?
False
Let r(w) be the second derivative of 7*w**3/3 + 96*w**2 + 58*w. Is 18 a factor of r(33)?
False
Is 33 a factor of 2124759/42 - (9/2 - 2)?
False
Let l = 46 - 31. Suppose 10*y + 20 = l*y. Suppose y*p - 5*p = -53. Is 13 a factor of p?
False
Suppose -4*o = 2*r - 9900, -5*r = 2*o + 1176 - 6142. Is o a multiple of 25?
False
Suppose 0 = -2*i + 2*x + 414, i - 3*x + 71 = 284. Suppose -4*w + 317 = -w - d, 3*d = -2*w + i. Suppose 2*m = 0, 2*j + 4*m + w = 5*j. Is 7 a factor of j?
True
Let r = 1350 - 864. Let x = r - -18. Is x a multiple of 72?
True
Let u = -1635 - -14602. Is u a multiple of 8?
False
Suppose 7 - 4 = 3*c, -5*d + 3*c - 283 = 0. Let r = d - -60. Does 11 divide 66*(-1 + (112/12)/r)?
True
Let v = -48 + 48. Suppose 3*g - 11 - 1 = v. Suppose 36 = -u + 2*u + 3*b, g*b + 108 = 3*u. Does 12 divide u?
True
Is ((-26)/6)/((-71)/219177) a multiple of 21?
True
Suppose -17*t + 50*t = 113091. Does 9 divide t?
False
Suppose -30333 = -3*v + 5*f - 1511, -f - 47978 = -5*v. Is v a multiple of 26?
True
Suppose -16*a - 196*a = -22*a - 3072300. Is 11 a factor of a?
True
Let c(z) = 5*z**2 + 5*z + 142. Let q be c(-10). Suppose 14662 - q = 15*x. Does 67 divide x?
True
Let c(x) = 12*x**3 + 3*x**2 + 22*x + 22. Let l be c(-2). Suppose 0 = -3*n + 3 + 3, -n = -m + 148. Let p = m + l. Is 11 a factor of p?
True
Suppose n + 1363 = 4*b, 18*b - 19*b = n - 337. Is b a multiple of 34?
True
Suppose 36*g - 31*g - 59*g = -271350. Is g a multiple of 25?
True
Suppose 0 = -37*k + 38*k - 6. Suppose k*h - 806 - 2650 = 0. Suppose h = -0*l + 4*l. Is 36 a factor of l?
True
Suppose 3*u + 0*u = 18. Let q(z) = -2*z**2 + 4*z. Let o be q(u). Is ((-1)/((-12)/(-21)))/(2/o) a multiple of 14?
True
Let q(w) = -66*w + 2731. Is 3 a factor of q(28)?
False
Suppose 3*v = -4*l + 8*l - 17187, 3*l + 2*v = 12903. Suppose -3232 = -17*b + l. Is 23 a factor of b?
False
Let z(w) = 104*w - 1429. Is 44 a factor of z(56)?
False
Let l(q) be the third derivative of q**5/60 + q**4/6 + q**3 - 9*q**2. Let i be l(13). Does 15 divide 15/(-40) + i/8?
False
Suppose -5*z + 42829 = 3*u, 8*u - 164220 = 2*z - 49994. Is u a multiple of 44?
False
Let z(l) = 368*l**3 - 5*l**2 - 74*l + 251. Does 10 divide z(3)?
True
Let z be 9226/14 + (-2)/4*-8. Let j(x) = -x - 10. Let w be j(-7). Is (-1)/(w/z) - 0 a multiple of 12?
False
Suppose 6*q = 417 - 387. Suppose -q*z - 2*y = 2*y - 4099, 3*y - 3 = 0. Is 21 a factor of z?
True
Is (32*1797/18)/(4/6) a multiple of 26?
False
Let g(p) = 4*p**2 + 16*p - 3. Suppose 3*w = 2*q + 1, 2*q + 2*w - 20 - 4 = 0. Let z be g(q). Suppose -5*a + 10*a = z. Does 7 divide a?
False
Suppose 11*t = 14*t - 3*y - 27303, 0 = -4*t - y + 36399. Is t a multiple of 91?
True
Let j(z) = z**3 - z**2 - z + 1. Let d(g) = -g**3 + 9*g**2 + 6*g - 34. Let t(s) = -d(s) + 2*j(s). Is t(6) a multiple of 15?
True
Is 18 a factor of (74/(-26) + (-76)/494)*371921/(-33)?
False
Suppose 70*t = -548168 + 4193278. Suppose -23*y + 66*y