2170 = -2*s + 3*a. Suppose 16*m = 2*m + s. Is 27 a factor of m?
True
Let i = -30274 + 49012. Is 191 a factor of i?
False
Let n be 6*3/((-6)/(-29)). Let l = n - 1. Let v = -56 + l. Is 15 a factor of v?
True
Let w(m) = 3*m**3 - 10*m**2 + 66*m - 66. Is 203 a factor of w(17)?
False
Let b = -190 - -202. Suppose -i = 4*h - 62, 0 = 4*h - 0*h - b. Is 25 a factor of i?
True
Suppose 5*k + 253 = z + 2*k, 1044 = 4*z + 4*k. Suppose z = 5*f - 0*f - j, -f + 39 = 3*j. Does 3 divide f?
True
Let r(w) = 6 - 30*w - 1 + 30*w - 9*w**2. Let b be r(-3). Let h = 127 - b. Is 29 a factor of h?
True
Suppose -9*q = -8*q - 47. Suppose c = -2*f - c + 24, -q = -4*f - 3*c. Suppose 0 = -f*l - l + 1224. Does 17 divide l?
True
Let h(w) = 378*w + 10019. Is h(-24) a multiple of 19?
False
Let k(c) be the first derivative of -c**3/3 - 25*c**2/2 + 6*c - 58. Suppose -69 = 3*y + 3*b, 2*y - 2*b = -2*y - 68. Is k(y) a multiple of 30?
True
Let j = 20584 - 10376. Is j a multiple of 16?
True
Let q(k) = 172*k**2 + 218*k + 217. Does 19 divide q(-1)?
True
Let m(v) = 12*v**2 + v + 1. Let h = -3 - -11. Suppose 0*y + 8 = -h*y. Does 2 divide m(y)?
True
Let a(o) = o**3 + 3*o**2 - 3*o + 9. Let w be a(-4). Let i be 13 + 3 + (-3)/(w - 2). Does 21 divide 378/i*(-30)/(-6)?
True
Let r = 8996 - 8975. Does 4 divide r?
False
Let z = -548 + 260. Let r = z - -519. Is 24 a factor of r?
False
Let m be (-557)/5 + 33/(-55). Let b = 158 + m. Suppose -b = -n + 30. Is n a multiple of 19?
True
Let m(b) = -17*b + 10. Let c(h) = h**2 - 16*h + 10. Let v(w) = 5*c(w) - 6*m(w). Is 22 a factor of v(-12)?
False
Let d = -3611 - -5371. Is 44 a factor of d/2 + 0/(-4) + 0?
True
Let j = 745 - 707. Is 13 a factor of (23712/j)/(1 - 0)?
True
Let p = 51 - 49. Is (7/(-14))/(p/(-1964)) a multiple of 25?
False
Let h = 19674 - 9882. Does 3 divide h?
True
Let y(p) = -p**2 - 52*p + 150. Let d be y(-55). Does 17 divide 1 - (-87 - d/5)?
True
Suppose c = 3*h - 6714, 0 = -c - 0*c. Let n = -1383 + h. Does 19 divide n?
True
Let m(z) = 3*z**2 + 2*z + 3. Let j be m(-2). Suppose 4*u = 1 + j. Suppose 5*b - 71 = -u*d, 5*b + 0*b = 20. Is 14 a factor of d?
False
Let h be 1 + (-42)/18 + 26/6. Let l(i) = 3*i + i**3 - 6*i**3 - 12 + 6*i**2 + 6*i**h - 6*i. Does 19 divide l(-5)?
False
Suppose -54 = -4*s - 82, 4*v = -s + 39585. Is v a multiple of 14?
True
Suppose b + 5*w + 29 = 2, 4*w = -5*b - 114. Does 18 divide -5 + b/4*-66?
False
Suppose -5*i - 4 = -5*d + 1, 0 = 5*i - 5. Is (-105 - 0)/(d/(-4)) a multiple of 15?
True
Suppose -43 = 3*l - c, 2*l + 3*c = -0*l - 3. Let b(p) = p + p**3 + 8*p**2 + 10*p + 5*p**2. Is b(l) a multiple of 12?
True
Let v = 215 + -210. Suppose -978 = -2*g + 2*b, v*g + 14*b - 10*b = 2472. Does 41 divide g?
True
Does 25 divide (8 + 52/26)/(4/5602)?
False
Suppose 0 = -22*y + 17*y + 1220. Let i = -76 + 115. Suppose i*t - 37*t - y = 0. Is 24 a factor of t?
False
Let t = -97 + 215. Let o = 15 + -10. Suppose 22 = o*i - t. Is i a multiple of 5?
False
Let j = -3934 + 4920. Is 58 a factor of j?
True
Let r(x) = 3 + 5*x + 66*x**2 + 2 + 5 + 5*x + 3. Is r(-2) even?
False
Suppose -t - 5*t = 0. Suppose t*u = -9*u - 216. Does 11 divide u/9*(-438)/8?
False
Suppose -5*u - 3*m = -7*m - 32, u + 2 = -2*m. Suppose 0 = 2*y - y + u. Is 18 a factor of y + 3*14 + -1?
False
Let m(f) = f**2 + 25*f + 3. Let c be m(-9). Let g = c - -208. Suppose -g = -5*k + 208. Is 10 a factor of k?
False
Let w(h) = 256*h**3 - 4*h**2 + 2*h. Let v be w(1). Let g = 830 - v. Is g a multiple of 8?
True
Let j = -12 - -345. Suppose -j = -6*o + 375. Suppose -4*f = -12, -d = 3*f - 36 - o. Is d a multiple of 24?
False
Let o(t) be the second derivative of t**3/6 + t**2 - 2*t + 33. Let n(f) = -f**3 + 6*f**2 - 2*f + 2. Let x be n(5). Is o(x) a multiple of 19?
True
Suppose -11*t - 16 = -19*t. Is 11 a factor of t + (191 - (6 + 0))?
True
Let s be (5 - -19)/(6/16). Suppose 67*k = s*k + 270. Is k a multiple of 22?
False
Let o(j) be the third derivative of j**6/120 + j**5/6 - 23*j**4/24 - 3*j**3 - 42*j**2. Is 27 a factor of o(-9)?
True
Let d = 17 - 13. Let t(j) = -j**2 + 5*j - 1. Let x be t(d). Suppose -h = x*h + z - 27, 0 = -2*h - z + 15. Is 3 a factor of h?
True
Suppose -3 = -10*z + 177. Suppose -22*m + 1136 = -z*m. Is m a multiple of 14?
False
Let m = 3046 + -2341. Is 23 a factor of m?
False
Let z(w) = -16*w**3 + 10*w**2 - w - 190. Is 158 a factor of z(-11)?
False
Suppose 168*a = 100*a + 121380. Is a a multiple of 255?
True
Let r(g) be the second derivative of g**5/20 + g**4/12 + g**3/6 + 69*g**2 + 16*g. Let w be r(0). Suppose w + 86 = b. Does 56 divide b?
True
Let f(g) = 916*g**2 - 37*g - 106. Is f(-3) a multiple of 15?
False
Let o be (-14 + 1)/((4 - 1) + -2). Let y(i) = i**3 + 13*i**2 - 6*i - 25. Let k be y(o). Let v = 57 + k. Does 11 divide v?
True
Suppose 72 = -15*h - 33. Let x(t) = t**3 + 9*t**2 - 8*t + 10. Is x(h) a multiple of 41?
True
Let s = 4001 - 3789. Is 4 a factor of s?
True
Let j(b) = 7*b**2 - 3*b. Suppose -19 = -13*r - 6. Let n be j(r). Does 8 divide (-165)/n*(-56)/21?
False
Does 242 divide ((688/1548)/(1/441))/(2/363)?
True
Let n(h) = h**3 + 6*h**2 + 4*h + 26. Let w be n(-6). Suppose -16*m + 1746 = w*m. Is 4 a factor of m?
False
Suppose 28 = q - 3*q. Let u be (q/21)/((-3)/(-1404)). Is (-50)/(-4)*u/(-65) a multiple of 10?
True
Let p be ((-53)/(-2) - -2)*(-30)/(-15). Let a = p - 60. Let b(k) = 12*k**2 - 10*k. Does 15 divide b(a)?
False
Let m = -36 + 44. Does 12 divide -3 + 240 + -5 + m/2?
False
Suppose 397*u + 3540 = 3*a + 394*u, 4735 = 4*a + u. Is 7 a factor of a?
True
Let q(x) = x**2 + 7*x - 22. Let h be q(-9). Is 48 a factor of ((-3)/((-30)/16))/(h/(-840))?
True
Suppose 5*u + 6*i - 4*i - 929 = 0, 0 = -u + 4*i + 177. Suppose 624 = -179*s + u*s. Is 30 a factor of s?
False
Suppose -15868*v = -15892*v + 765504. Is v a multiple of 210?
False
Let a(m) = -4*m**2 - 167*m**3 - 5*m + 339*m**3 + 1 - 171*m**3. Let t be a(5). Is 34 a factor of (t*12)/(12/102)?
True
Suppose -b + 5338 + 3596 = -912. Is 128 a factor of b?
False
Let a = 22 - 20. Suppose o + 2 = -a. Does 9 divide (-4 + o)/(1/(-8))?
False
Suppose -n + 5*n = 2*j - 20, -5*j + 20 = 0. Let q(u) = u**2 + 2*u - 3. Let b be q(n). Suppose p = -b*w - 4*w + 28, -2*p + 38 = 5*w. Is w a multiple of 3?
True
Let d be 21/(-9)*6*-1. Let l(v) = -46 + 23 + d + 56*v. Is l(3) a multiple of 17?
False
Let q be (2001/2 - 12/24)*2. Suppose -q = -54*f + 49*f. Is f a multiple of 37?
False
Let w be (5/10)/(4/(-4560)). Let g = w - -1155. Is 65 a factor of g?
True
Let s = -12950 + 20774. Does 20 divide s?
False
Suppose 11*h - 1376513 + 158437 = -131*h. Is h a multiple of 14?
False
Let o(g) = -g**3 - 19*g**2 - 21*g + 22. Let a be o(-17). Let v = a - -274. Is v a multiple of 25?
True
Let p be 8/(-6)*(-2178)/(-44). Let c = p + 39. Let y = 20 - c. Does 2 divide y?
False
Let z(r) = 928*r - 164. Is 34 a factor of z(64)?
True
Suppose 88*z - 45 = 83*z. Does 26 divide (0/(-1) - 122)*(z - 10)?
False
Let t = 364 - 850. Let l be (t/(-12))/(-3)*28/3. Let a = 274 + l. Is a a multiple of 37?
True
Let u = 2911 - 656. Is 8 a factor of u?
False
Let i = 77 + -50. Let d be -1 + -1 + (i - 1). Does 9 divide d/(-28)*-5*7?
False
Let o(d) = d**3 + 19*d**2 - 2*d - 2. Let x be o(-19). Let c be ((-5)/(-2))/(15/x) + -2. Suppose 2*u - 3*l = -37 + 482, c*u = 5*l + 889. Is u a multiple of 38?
False
Let i(h) = 3*h**2 + 10*h + 20. Let v be i(-3). Suppose -v*b = 5*b - 12166. Does 13 divide b?
False
Let b = 75 - 73. Let d(s) = -s**2 - s + 39*s**3 - 469 + b*s**2 + 469. Does 5 divide d(1)?
False
Let h(b) = 2*b**2 - 5*b - 1. Let v be h(5). Is 3 a factor of -4 + (-230)/(-3)*v/20?
False
Let w = -16 - -23. Suppose 3*b - 3*v = 2*b + w, -3*b + 15 = -3*v. Suppose -b*j + 210 = -c, -j - c - c + 48 = 0. Is 19 a factor of j?
False
Let z(s) = s + 8. Let d be z(-7). Let q = -187 - -269. Does 20 divide q - (d + 1 + 1)?
False
Let m = 2556 + -2170. Is 5 a factor of m?
False
Suppose 12*m - 12 = 6*m. Suppose -2*t = -4*o - 306, -m*o + 568 = 4*t + o. Let d = t - -180. Is d a multiple of 15?
False
Suppose 188 = -6*l + 4*l. Suppose 10*m - 19*m - 576 = 0. Let h = m - l. Is h a multiple of 5?
True
Suppose -24*f - 4007 = -20*f - 12279. Is f a multiple of 22?
True
Suppose 4*b - 172 = 224. Let i = b - 103. Let f(o) = o**2 - 7*o - 14. Does 4 divide f(i)?
False
Let f be 6/(-8)*(-8 + 15 - 3). Is 14 a factor of f*(9 + (-2850