+ -1. Suppose -32*x + 55*x - 40*x + 425 = 0. Does 6 divide 1760/x - z/(-5)?
False
Let b be ((-9)/27)/(1/(-3)). Let c(p) = 285*p**3 - 2*p**2 + p. Let i be c(b). Let m = i - 158. Is m a multiple of 14?
True
Let b(p) = -6*p + 26. Let x(s) = s**3 + 9*s**2 + s - 12. Let q be x(-8). Suppose n - q = 5*n. Is b(n) a multiple of 7?
False
Let g(y) = -11*y + 10. Let z(u) be the first derivative of 11*u**2/2 - 10*u + 2. Let r(n) = 5*g(n) + 4*z(n). Is 8 a factor of r(-10)?
True
Suppose 5*g - 15045 = -5*a, -2825 = -a - 2*g + 190. Is 91 a factor of a?
True
Suppose 46*j - 883287 = 129081. Does 84 divide j?
True
Let x(b) = 5*b**2 - 6*b + 3. Let d be 2/(-6)*(-88 - 25/5). Let p = d - 35. Is 7 a factor of x(p)?
False
Let j(m) = -2*m**2 + 9*m + 5. Let r be 610/(-80) - 6/16. Let h be j(r). Let t = -104 - h. Does 17 divide t?
False
Suppose o - 4214 = -y + 1736, 11*o - 65486 = y. Is o a multiple of 5?
False
Let u = -493 + 917. Let j = u + -138. Does 23 divide j?
False
Let r = 12419 + -9916. Does 3 divide r?
False
Let q(k) = -5*k**3 + 3*k**2 - 54*k + 1. Let p(u) = -11*u**3 + 6*u**2 - 107*u + 3. Let s(c) = 6*p(c) - 13*q(c). Is 51 a factor of s(-10)?
False
Let l = -36 + 105. Let i = -9 + l. Suppose -w - 4*k + i = -108, -3*k - 459 = -3*w. Is w a multiple of 12?
True
Let z = -36 + 49. Suppose 2*s = 1 - z. Is 105 + s/(-2) - 3*1 a multiple of 28?
False
Suppose -1797 - 1072 = -h + f, 2*h - 4*f = 5732. Is 8 a factor of h?
True
Suppose 18*s - 139263 + 10887 = 0. Does 78 divide s?
False
Let h = 7290 + -6139. Does 17 divide h?
False
Suppose -6*m = -3*m - 6. Suppose -8*y = -6*y + 2*d - 1072, -m*y + 1067 = d. Is y a multiple of 36?
False
Let z = 18193 + -6534. Is z a multiple of 53?
False
Let o(f) = 4*f**2 - 7*f + 34. Suppose 29*p - 184 = 6*p. Does 25 divide o(p)?
False
Suppose -8721 = -10*w + 33909. Is 87 a factor of w?
True
Suppose -2*g = -3*r - 86, -5*r - 236 = -5*g - 8*r. Let f(t) = 34*t - 6. Let d be f(6). Is 14 a factor of (g/(-6))/((-11)/d)?
False
Let n(a) be the second derivative of -a**5/20 + a**4/2 + 3*a**3/2 - 15*a**2/2 + 32*a. Let f be n(7). Let g = 4 + f. Is 2 a factor of g?
False
Let k(b) = -2*b**3 - 92*b**2 - 171*b - 107. Does 39 divide k(-45)?
False
Let n(y) = -11 + 0*y - 17*y + 3*y**2 + 4*y**2 + 2*y - 3*y**2. Is n(7) a multiple of 20?
True
Suppose 0 = -5*b - 15, -i - i - 5*b - 7 = 0. Let k be (-5)/(10/i)*-43. Let r = 141 - k. Is r a multiple of 11?
True
Suppose -3*z = -3*b - 549, -4*z - 3*b + 907 = z. Suppose 15*c + 5*x - 21 = 17*c, -5*c + 2*x = 0. Is 3*c/(-3) + z a multiple of 31?
False
Let m(j) = -j**2 - 1. Let k(v) = -16*v**3 + 3*v**2 - v + 8. Let p(b) = -k(b) - m(b). Is p(2) a multiple of 23?
True
Suppose 5*x - 15*p + 13*p - 956 = 0, 2*x + 3*p - 371 = 0. Is 4 a factor of x?
False
Let d(f) = f**3 - 15*f**2 + 13*f + 16. Let y be d(14). Let n(c) = 5*c**3 + c**2 - c. Let o be n(y). Suppose 2*r - o - 38 = 0. Is 20 a factor of r?
True
Suppose 4*y - 6 = a - 30, 5*a - y = 25. Suppose -11*n = a*n - 2055. Does 38 divide n?
False
Let c(u) = -u**3 - 10*u**2 - 2*u - 16. Let p be c(-10). Suppose 5*j - 4*f - 1068 = 0, p*j - 3*f + 657 = 7*j. Is 18 a factor of j?
True
Suppose 11*k - 14*k + 1 = -4*f, 3*k - 11 = 2*f. Is (1 + -46)*((-2940)/k)/15 a multiple of 15?
True
Let u(j) = -100*j + j**3 + 307*j + j**2 - 101*j + 1 - 109*j. Suppose -3*k + 1 + 8 = 0. Is 7 a factor of u(k)?
True
Suppose 4*y = -5*s + 21 + 11, 5*y - 4*s + 1 = 0. Suppose 3*i + 22 = 5*x, y = -3*x - 3*i - 3. Let m = 21 + x. Does 8 divide m?
False
Let y(r) = 2*r**2 - 34*r - 42. Let v be y(19). Suppose -5*h = -v*h + 20880. Is 72 a factor of h?
True
Let b(d) be the first derivative of -d**3/3 + 43*d**2/2 - 49*d - 94. Does 19 divide b(21)?
False
Let t = -128 - -194. Suppose 5*v - 5*m - 145 = 175, -v = m - t. Let f = 44 + v. Is f a multiple of 23?
False
Suppose 5*h + 13 = 2*f, 0 = -4*h - f + 3 - 16. Suppose s + 2*y + 6 = 0, 0 = -5*s + 5*y + 8 + 37. Is 1/(-2) - 46*h/s a multiple of 17?
True
Suppose -5*k = 5*s + 445, -3*k + 4*s - 350 + 69 = 0. Let z be 0/(-3) + k - 32/8. Let u = -79 - z. Is 6 a factor of u?
False
Let l(t) = 182*t + 5234. Is 116 a factor of l(-9)?
True
Let k be -1 + -35 + 0 + 3. Let r = k + 36. Does 22 divide 90 + 1*(1 - r)?
True
Let y = -19338 - -20444. Is y a multiple of 7?
True
Let j = -562 - -562. Suppose j*g - 4788 = -12*g. Is g a multiple of 21?
True
Let s be (-3)/6*(8 + -280). Suppose 5*h + 4*d = 1598, s + 815 = 3*h + 5*d. Is h a multiple of 27?
False
Suppose -3*i + 116625 = -4*q, -12*q - 155496 = -4*i - 8*q. Is i a multiple of 21?
True
Let x = 42 + 3730. Does 82 divide x?
True
Let z(m) = -m**3 + 67*m**2 - 25*m + 2330. Is z(62) a multiple of 130?
False
Let t(q) = 3*q**2 - 3*q - 2. Let j be t(-4). Suppose -g - 37*g + 19872 = 31*g. Suppose j*h + g = 61*h. Does 32 divide h?
True
Suppose -13*v + 11*v - 2 = 0. Let c = -14 + 12. Is c/4 - v - (-1000)/16 a multiple of 21?
True
Suppose -14*b - 15051 + 23413 + 55226 = 0. Does 20 divide b?
False
Does 14 divide (-20)/70 + 306352/14?
True
Suppose 0 = -4*h - 0*h - 4*s + 42776, -h - 3*s + 10690 = 0. Suppose 17*w = -496 + h. Is w a multiple of 30?
True
Let g(x) = 254*x**2 - 12*x - 18. Does 112 divide g(5)?
True
Suppose 5*o - 11557 = -3*r, 2*o + 9529 = 4*r - 5941. Is r a multiple of 42?
True
Let r(w) be the first derivative of w**4/4 - 29*w**3/3 + 2*w**2 - 54*w + 160. Is r(29) a multiple of 31?
True
Suppose -4*w = 4*s - 21 - 3, 2 = -2*s. Suppose 592 = w*g - 3*g. Let o = 265 - g. Is 15 a factor of o?
False
Suppose 8*a + 23*i = 28*i + 76185, 2*i = a - 9519. Is 13 a factor of a?
False
Let s(q) = 3*q**3 + 18*q**2 + 9*q - 226. Does 16 divide s(13)?
False
Suppose -8*p + 234897 + 205686 = 148039. Does 28 divide p?
True
Let p = -304 + 280. Does 16 divide (-74 - -2)*(p/9)/2?
True
Let j(c) = -430*c - 1750. Let d(o) = 33*o + 135. Let b(f) = -40*d(f) - 3*j(f). Is b(-18) a multiple of 43?
False
Let x(y) = -y**3 + 25*y**2 - 49*y - 23. Let q(s) = -2*s**3 + 52*s**2 - 96*s - 46. Let f(a) = 2*q(a) - 5*x(a). Is f(19) a multiple of 26?
False
Suppose 3*j - 319 = 4*a - 5*a, -3*j = -3*a + 957. Let f = a - 279. Is 2 a factor of f?
True
Let k be (3066/35)/((-6)/(-15)). Suppose 4*a - k + 39 = 0. Does 3 divide a?
True
Let r be ((-24)/(-15))/((-2)/(-25)). Suppose -2*g = -2*u + 6 + 2, r = 5*u - 3*g. Suppose z + 0 = u*p + 26, 0 = -4*z - 5*p - 1. Does 4 divide z?
False
Let q(k) = 22*k**2 + 4*k + 4. Let i be q(-1). Let n(m) = i*m + 20*m**2 - 3 - 11*m**2 - 11*m**2. Is 8 a factor of n(8)?
False
Let a(x) = -5*x**3 - 2*x**2 + 2*x + 8. Let m(r) = 5*r - 109. Let o be m(21). Does 24 divide a(o)?
True
Is 31 a factor of (-155*(-2)/30)/((-3)/(-1602))?
True
Let x be 88/9 - (-2)/9. Let g(j) = -j**2 + 2*j + 19. Let f be g(x). Let i = f - -109. Is 18 a factor of i?
False
Let r be (-612)/10*(-80)/16. Let n = r + -203. Let a = n + -63. Does 18 divide a?
False
Suppose 0 = 5*c - 159 + 39. Does 15 divide (-6)/(-5)*3920/c?
False
Let y be (3/(-2))/((-4)/8). Suppose -55*o + 1743 = -48*o. Suppose -y*g - l + 554 = 0, 121 = 2*g + l - o. Does 23 divide g?
True
Let l be (5 - -6)/(16/(-6) + 3). Let h = 37 - l. Suppose 5*y + 3*a = 0, -2*y - 14 + 0 = h*a. Is y even?
False
Let w = 89 + -62. Let l = -27 + w. Suppose -2*v = -l*v - 222. Is v a multiple of 23?
False
Let p(x) = -20*x + 49. Let j be p(2). Is -3*2/j - 7320/(-18) a multiple of 20?
False
Let d be (8 + -3 + 0)/(-1). Suppose -3*s - 122 = -137. Is 16 a factor of s/d - (-55 + 1)?
False
Let g = 421 + -168. Let w = -165 + g. Is w a multiple of 11?
True
Suppose -13*k + 43959 = -6975. Does 8 divide k?
False
Suppose 0 = -8*r - 90771 - 20205. Is r/(-14) + (-16)/(-112) a multiple of 28?
False
Is 37 a factor of 30235 + 3 + (171 - 190)?
False
Is 74 a factor of (-116)/(-12) + 2/6 - -9536?
True
Suppose -5*i - 6242 = -24*k + 20*k, -3*k + 4678 = -2*i. Suppose -1408 = -5*v + m + k, -m = 2*v - 1192. Is v a multiple of 54?
True
Suppose 23*v = 33193 + 15337. Is 55 a factor of v?
False
Suppose -2686 = 2*x - m - 22667, 5*x - m = 49951. Is 30 a factor of x?
True
Is (2134/(-10) - -5)*(-51 + (5 - 4)) a multiple of 121?
False
Let j(x) = 20*x + 1420. Is j(-13) a multiple of 14?
False
Let i(q) = -13*q + 3*q + 3*q + 6*q + 368*q**2. Is i(-1) a multiple of 14?
False
Let s be 186/1 - (1 - 0). Let a = s + -125. Is a a multiple of 9?
False
Let z = -49 + 126. Let h = z - 37. Is 4 a factor of h?
True
Le