+ 178. Suppose 4*c = 2*k - x, 0 = c - 6*k + 2*k + 96. Let s = -18 - c. Is s a multiple of 14?
True
Let z be ((-6)/21)/(5/(-140)). Suppose -2*s + 10 = -2*w, 2*s = -z*w + 4*w + 4. Suppose -83 - 125 = -s*f. Does 4 divide f?
True
Suppose -51*l + 12348 = -40131. Does 7 divide l?
True
Let r(d) = 15*d + 22. Let b(x) = -15*x - 23. Let g(t) = -6*b(t) - 5*r(t). Is g(7) a multiple of 19?
True
Suppose -20 = 3*n - 29. Suppose h = 5*u + 38, n*h + 5*u = 2*h + 58. Does 48 divide h?
True
Suppose 2*o = -4*t + 36, -5*t - 4*o = -t - 32. Let u(a) be the third derivative of a**6/120 - a**5/5 + 25*a**4/24 - 13*a**3/6 - 44*a**2. Is 9 a factor of u(t)?
False
Suppose -18*c - 3*n = -19*c + 13, -5*c - 5*n + 65 = 0. Let v(r) = -r**2 + 38*r + 23. Is v(c) a multiple of 12?
True
Let c(d) = -1056*d - 114. Does 42 divide c(-5)?
True
Suppose 6 = 4*k - 7*k, -2*w - 2*k = 4. Suppose -4*q + 11*g - 6*g + 84 = w, -5*q + 118 = -3*g. Is q a multiple of 5?
False
Let i(b) = -b**3 - 3*b**2 + 2*b - 5. Let f be i(-4). Let d be (-4 - 2) + 2 + 1. Is (d - -57) + 2 - (-9)/f a multiple of 17?
False
Let x be (3 - 7 - -5)/((-1)/(-2)). Suppose 0 = -x*j - j + 735. Does 14 divide j?
False
Suppose -40*c - 500573 - 42803 = -56*c. Does 20 divide c?
False
Let b(q) = -q**3 + 4*q**2 - 2*q. Let k be b(3). Let w be (6/51)/(42/714). Suppose k*c - 5*p = 136, -w*c - 2*p = -68 + 4. Does 2 divide c?
False
Let s = 313 - 344. Let o(h) = -h**2 - 40*h + 74. Is o(s) a multiple of 14?
False
Suppose 2691 + 20387 = 31*n - 11425. Is n a multiple of 15?
False
Let m(q) = q**2 + 3*q + 72. Let x be m(0). Suppose -u + 3 = 39. Let r = x + u. Is 9 a factor of r?
True
Let n be 1*((-10)/5 - 1475). Let z = -1021 - n. Is 38 a factor of z?
True
Suppose -161*u + 541148 + 543612 - 120370 = 0. Is 10 a factor of u?
True
Suppose -2*x - 2*x = -4*w - 12, -3*w = 4*x + 23. Let l be (0 - 4)/(-1 - x). Is 6*l/(-12) - -53 a multiple of 11?
True
Let n(u) = -u**2 - 13*u - 55. Let g be n(-6). Let p(f) = 2*f**3 + 28*f**2 - 4*f - 18. Does 34 divide p(g)?
False
Suppose 5*w = 4*n + 270649 - 40537, -5*w - n = -230147. Is 148 a factor of w?
True
Let h = 4096 + -3079. Is h a multiple of 3?
True
Let n(f) = 205*f + 638. Is 32 a factor of n(15)?
False
Suppose -f = 7*z - 6*z - 1105, 5*z = 3*f - 3275. Is f a multiple of 11?
True
Let f(s) = -1. Let b(z) = 2*z - 60. Let q(a) = -b(a) + 5*f(a). Is q(-26) a multiple of 27?
False
Let o(s) = 5732*s + 1608. Is o(1) a multiple of 8?
False
Is ((-6)/1)/((-54)/1070208*8) a multiple of 24?
False
Let y be 4/(((-8)/16)/(15/2)). Let o = y - -411. Is o a multiple of 59?
False
Let v(i) = 176*i - 44. Let t be v(25). Is t/8 + 8/(-16) a multiple of 8?
True
Let p be ((-2)/(-5) - (-32)/(-40))*-10. Suppose g + p*g - 3 = -3*l, 4*g - 4*l = -4. Suppose -2*n = 2*o - 110, -o - o - 3*n + 105 = g. Is 15 a factor of o?
True
Let h(d) = -d**3 + 20*d**2 + 20*d + 21. Let w be h(21). Does 14 divide w + 24/64 - (-1189)/8?
False
Let m(o) = -o**2 - 38*o + 72. Let s = -349 - -319. Is m(s) a multiple of 13?
True
Let k = -65 - -63. Let u(m) = 4*m**2 - 10*m - 16. Does 4 divide u(k)?
True
Let p(r) = -r**2 - r + 3. Suppose 2*h + 4*h + 24 = 0. Let l be p(h). Does 20 divide 19 - 3/l*3?
True
Let b(y) = y**3 + 13*y**2 + 9*y - 24. Is b(-10) a multiple of 31?
True
Let k be ((-3)/(9/12))/1. Let y(f) = 17*f**2 - f - 3. Let x be y(-2). Is x/(k/(-12)*3) a multiple of 11?
False
Suppose -2*w = -5*j - 30, -3*j - 2*w + 4*w = 22. Let p = 2 + j. Let t(a) = -29*a + 6. Is t(p) a multiple of 16?
True
Suppose -95 = -3*v - 83. Let w(k) = 2*k**3 + 3*k**2 - 11*k + 2. Does 8 divide w(v)?
False
Suppose -8*q + 4 = -36. Suppose 2*s - 325 = q*m, -2*m - 72 = 2*s - 362. Does 80 divide s?
False
Suppose 20*f - 3260 - 3580 = 0. Let c = 581 - f. Is c a multiple of 74?
False
Suppose -3*l + 3*o + 111432 = 0, -2*o = 344 - 358. Is 46 a factor of l?
False
Suppose -4*b + 2*a + 54144 = 0, -3*a = -68*b + 63*b + 67683. Does 13 divide b?
True
Let s(c) be the second derivative of c**4/6 - c**3 + c**2 - 19*c. Let b be s(10). Let f = -2 + b. Does 14 divide f?
True
Suppose 5231 - 13241 = -10*p. Suppose 15*x - p = 6*x. Suppose x = s - 13. Is 34 a factor of s?
True
Suppose 3*r - 127214 = -5*s, -5*s + 4*r = -51630 - 75528. Is 79 a factor of s?
True
Let l(z) = 18*z + 1 - 10*z + 1 + 0. Let o be l(-12). Let g = o + 169. Is g a multiple of 15?
True
Let q(j) = 105*j - 1990. Does 94 divide q(22)?
False
Let a be ((-14)/(-5))/(4/10). Let l be (-196)/(-6) + (-2)/(-6). Suppose a = 4*c - l. Is c a multiple of 5?
True
Let p = 8 - -622. Suppose -2*v - p = -12*v. Does 4 divide v?
False
Let u be (2/3)/(-5 + (-46862)/(-9372)). Suppose 16*m - u = 12*m. Suppose m = 9*a - 371. Does 64 divide a?
True
Suppose -372*r + 204*r - 864360 = -188*r. Is 54 a factor of r?
False
Let r(p) = 62*p**2 - 74*p - 1459. Is r(-17) a multiple of 7?
True
Suppose -114*r = -127*r + 86723. Is 17 a factor of r?
False
Let t be (-10)/(-10)*(0 + 5). Is 9 a factor of (-2)/(-1) - -2 - (-295)/t?
True
Let q(t) = t + 9 + 43*t**2 - t**2 - 3. Does 10 divide q(-2)?
False
Let f = 5619 - 317. Does 13 divide f?
False
Let m(x) = -107*x + 863. Let u be m(8). Let t be (-208)/(-36) - 4/(-18). Is u/((12/22)/t) a multiple of 7?
True
Let o(m) = -10*m + 193. Let j be o(-22). Suppose -5*l + j = 263. Is l even?
True
Let i(k) = 41*k**2 - 230*k + 25. Does 5 divide i(26)?
False
Let k(q) = 2*q**2 + 147*q + 11316. Is k(0) a multiple of 82?
True
Let l(s) = 8*s**2 - 14*s + 16. Let k be l(9). Suppose -1086 = -8*r + k. Suppose -2*m - 5*m = -r. Is m a multiple of 3?
False
Let w(i) = i**3 - 47*i**2 + 236*i + 212. Does 114 divide w(44)?
True
Does 4 divide -1*(26/104 - (3 - (-10001)/4))?
False
Let d be 2/(-1) - -2 - (0 - 3). Suppose -5*p - 4*b + 5512 = 0, -p - d*b + 834 = -264. Suppose -1102 = -5*u - 4*h, -4*u = u + 3*h - p. Is u a multiple of 37?
True
Let l be (-2)/(-8) + 174/(-24). Let r be l/28 - (-126)/(-8). Let h(j) = -6*j - 36. Is 30 a factor of h(r)?
True
Does 14 divide (2 + -3)/(42/(-1261848))?
True
Let u be 30/8*(0 + 18)*4. Let b be 2/6 - 15/(u/(-1344)). Let i = 84 + b. Does 24 divide i?
False
Let h(s) = -s**3 + 9*s**2 + 12*s - 18. Let j be h(10). Suppose 3*q - 1413 = 5*y, -3*q - 3*y + 485 = -j*q. Is 28 a factor of q?
True
Suppose -8*o + 0*o - 177*o = -1190475. Is 12 a factor of o?
False
Let c(b) = -26*b**2 + 4*b + 39. Let r be c(-5). Let l = r + 1088. Is l a multiple of 18?
False
Let a(j) be the third derivative of 5*j**4 + 127*j**3/6 - 2*j**2 - 19*j. Is a(4) a multiple of 55?
False
Let b be (0 + -6)/(26/(-1755)). Suppose b - 15 = 3*d - 4*o, 2*d - o = 260. Does 10 divide d?
True
Let h = 373 - 213. Suppose -18*y + h = -10*y. Does 10 divide y?
True
Let c = 11 - 7. Let v(u) = -29*u**2 + 1 + 31*u**2 + c*u - 3*u. Does 5 divide v(2)?
False
Let p = -39 - -124. Let k = -62 + p. Does 12 divide k?
False
Suppose 45557 = -0*k + 7*k - 68438. Does 21 divide k?
False
Suppose 0*m + 90 = 5*m - 5*o, -5*m + 86 = -4*o. Suppose 5*r + 0*r - m = -l, 2*r + 4 = -2*l. Is l/(-14) + (-1510)/(-70) a multiple of 22?
True
Suppose 2*o + 17012 = 2*b - 2*o, -17014 = -2*b + 3*o. Does 37 divide b?
True
Let x(p) be the second derivative of 7*p**3 + 5*p**2/2 + 20*p. Let b be x(1). Does 12 divide (-3)/(-60)*5 - b/(-4)?
True
Suppose 5*f = 4*x + f + 20, -3*f + 9 = -2*x. Is 0/x + -1 + 44 a multiple of 20?
False
Let k(z) be the second derivative of z**5/5 - 23*z**4/12 - z**3 + 3*z**2/2 - 3*z. Let y be k(6). Is 17 a factor of ((-1)/y)/(4/(-204))?
True
Suppose 291 + 439 = k - 5*y, -2*y = -6. Suppose k = 5*j - 1355. Suppose 5*g + f = j, -176 = -g - g - 2*f. Is 40 a factor of g?
False
Let s(i) = -10*i - 12*i**2 + 9 + 3 + 2*i**3 - i**3 + 10*i**2. Let y be s(6). Suppose -2*a - y = -8*a. Is 8 a factor of a?
True
Suppose -67 = 5*z - 407. Suppose 2*n = -0*v - 4*v - 26, 6 = 3*n - 3*v. Let o = z + n. Is o a multiple of 18?
False
Let w = 185 - -338. Let k = w + -307. Let s = k + -111. Does 35 divide s?
True
Suppose -175*h + 179*h - 42046 = 3*i, i - 52529 = -5*h. Is 23 a factor of h?
False
Let l(x) = 68*x**2 + 43*x + 248. Is 91 a factor of l(-9)?
True
Let s(d) = -d**3 - 39*d**2 + 12*d + 30. Is 5 a factor of s(-40)?
True
Let m(p) = 25*p + 857. Does 7 divide m(-20)?
True
Suppose -127 = 6*n - 1349 - 1286. Is n a multiple of 6?
False
Suppose 4*d = 5*g + 22, -2*g + g + 3*d - 11 = 0. Suppose 6*a - a + 321 = r, -4*a - 280 = 5*r. Is 7 