5*i - 16 = -3*z, -4*z = 7*i - 2*i - 18. Suppose -224 = -10*c + z*c. Is 3 a factor of c?
False
Suppose -2*c - 2*v - 329 + 43985 = 0, -7*c + 4*v + 152796 = 0. Is c a multiple of 12?
True
Suppose -16 = -5*t - 4*u, -t = -0*t + 2*u - 2. Suppose -2*h + 746 = 4*m - 0*m, 2*m + t*h = 382. Is 19 a factor of m?
False
Suppose 0 = -434*g + 443*g + 216. Is 7 a factor of 219*32/g*-2?
False
Let i be 10/(-6) - (-686)/147. Suppose -669 = -i*l + 3*p, 4*l - 888 = 4*p + p. Is l a multiple of 8?
False
Let m(w) = -w**3 + 14*w**2 + 54*w - 46. Let p be m(17). Is 11 a factor of (362/(-3))/(-2*p/30)?
False
Suppose -3*c = s - 137, 532 + 73 = 5*s - c. Is s a multiple of 4?
False
Let o(d) = -180*d - 25. Let v be o(5). Let j = 1501 + v. Is j a multiple of 9?
True
Suppose 1646406 + 987224 = 196*s + 75830. Does 87 divide s?
True
Let p = -27748 - -48043. Is 11 a factor of p?
True
Let i be 1 + (-5)/(10/(-6)) - -1. Suppose 3000 = i*z - z. Suppose 0 = 4*t - z + 30. Is 20 a factor of t?
True
Let f = -7884 - -12304. Is f a multiple of 6?
False
Let a(s) = -81*s**3 - s**2 - 254*s - 1428. Is 27 a factor of a(-6)?
False
Let d(m) = -m**3 + 12*m**2 + 8. Let f be d(12). Does 13 divide (-2)/f - (42609/12)/(-7)?
True
Suppose 7*j - 4*b + 8176 = 8*j, b - 40956 = -5*j. Does 163 divide j?
False
Let j(d) = -d**3 + 9*d**2 - 8*d + 10. Let c be j(8). Suppose -c*z = -5*z - 30. Suppose -55 = -z*m + 143. Is m a multiple of 33?
True
Suppose -8*d + 4*t = -5*d - 356, -2*t = -8. Let i = 170 - d. Is i a multiple of 8?
False
Let p = 363 - 360. Let k be 3*(-3)/18*-4. Suppose 3*c - 25 = -k*g, 0*g - 5*g - p*c = -67. Does 3 divide g?
False
Suppose -3*c - 5*z = -7*z - 9625, -4*c + 12848 = z. Is 13 a factor of c?
True
Suppose -21*g + 23*g = -20. Let t = 12 - g. Is 2 a factor of t?
True
Suppose 0 = 2*p - 4*f - 168, 2*p + 48 - 215 = 3*f. Suppose -15*j + p = -833. Is 4 a factor of j?
False
Is 68 a factor of ((-396)/14)/(-4*(-54)/(-44352))?
False
Is 191 a factor of -1 - 98946/(-14) - (-7 - (-920)/140)?
True
Suppose -5*q = 1034 + 4741. Let d = 1938 + q. Suppose 7*u - d = 4*u. Does 35 divide u?
False
Let y = 8838 - 1377. Does 62 divide y?
False
Suppose w = -w - 3056. Let b = w + 2163. Does 25 divide b?
False
Suppose 4550 = 27*i - 17*i. Suppose -3*j + 5*t = -0*t - i, -2*j - 3*t = -335. Is 32 a factor of j?
True
Suppose 9*x - 7*x + z = 428, 220 = x + 2*z. Does 45 divide x?
False
Suppose u = -3*i + 133, -231 = -7*u + 5*u + i. Let t be 38/12 - (-4)/(-24). Let o = u + t. Is 11 a factor of o?
True
Let j(p) = 4*p**3 + p**2 - 1. Let k be j(-1). Is (-505)/(-10) + k/8 a multiple of 2?
True
Suppose -5*p = 4*p - 0*p - 21339. Does 6 divide p?
False
Suppose -6*b - 4*o = -2*b - 60, -4*o + 70 = 5*b. Suppose b*q + 6*q - 6688 = 0. Is 22 a factor of q?
True
Suppose -3*j = -3*q + 8 - 2, 3*j + 8 = 5*q. Is (1/(-2)*q)/(15/(-5970)) a multiple of 56?
False
Let u = -255 - -263. Is -1 - ((-1228)/(-8))/((-4)/u) a multiple of 18?
True
Let x = -140 - -719. Let d = x + -315. Let f = d - 176. Does 38 divide f?
False
Let n = 30 + -30. Suppose -a - 1 = n, -a = 5*u - 5*a - 359. Is 7 a factor of u?
False
Suppose 5*y - 56 = 13*y. Let c(h) = -6*h. Let b be c(y). Suppose -b = 41*n - 42*n. Does 7 divide n?
True
Let w(c) = 3*c**2 - 11 + 911*c - 911*c. Let k be w(4). Let y = k - -3. Is 7 a factor of y?
False
Let q = -7646 + 12108. Is 23 a factor of q?
True
Let p be 24/18*(-1 + 2)*39. Let n = p + -50. Suppose -n*q - 54 = -3*q. Is 9 a factor of q?
True
Let v = 2032 + -1400. Let d = v + -203. Does 11 divide d?
True
Suppose -b = 108*j - 106*j - 35501, 0 = 3*b + 2*j - 106487. Is b a multiple of 89?
False
Suppose 2*r + 10 = 0, r - 3*r - 40 = 5*b. Let u be 12/(-24) - 753/b. Suppose -2*g = 5*c - 59, 0 = 5*g - 3*c - u - 38. Does 4 divide g?
True
Suppose -3*i + i + 602 = -308. Does 21 divide i?
False
Let v(z) be the second derivative of -z**5/20 - z**4/4 + z**3 + 30*z**2 + 90*z. Does 12 divide v(-6)?
True
Suppose 5*t - d = 24666, 0 = -5*t + 5*d + 18954 + 5736. Is t a multiple of 6?
True
Let n = 7435 - 4946. Is n a multiple of 61?
False
Let p be -6 - (-128)/22 - (-5878)/22. Suppose 232*b - p = 229*b. Is 8 a factor of b?
False
Let s(i) = 19*i**2 + 85*i + 1276. Is s(-20) a multiple of 13?
True
Suppose -534 = -2*g - 4*z, z = 3*g - 0*z - 815. Suppose -5*d + 756 = 4*y, 0 = 2*y + 2*y - 4*d - 792. Let u = g - y. Does 14 divide u?
False
Let k be (2 - -1)/(7/(-511)). Let u(g) = g**3 + g - 104. Let h be u(0). Let f = h - k. Is 36 a factor of f?
False
Let f = 16 - 146. Let t = 112 + f. Is 16 a factor of (-21)/t + 1/(-6) + 328?
False
Suppose 42*i = 38*i - 1824. Let z = i - -642. Is 6 a factor of z?
True
Suppose 3*s + 14 = 5*s. Suppose -13*j + 207 + 157 = 0. Suppose 0 = -2*b - 3*g + 43 - s, -4*g + j = b. Is b a multiple of 7?
False
Let j(f) = 2106*f**2 - 152*f + 308. Does 49 divide j(2)?
True
Is 22 a factor of (12 - (-169)/(-13)) + 2684?
False
Let f(q) = -393*q + 1722. Is f(-12) a multiple of 34?
False
Suppose -2*t = -5*m + 11, 7*t - 2*t - m = 7. Suppose -2*y + 38 - t = -l, 0 = -5*l + 4*y - 192. Is ((-124)/6)/(l/180) a multiple of 55?
False
Suppose 0 = -13*i + 17*i - 13864. Suppose -4592 = -5*n - a, 5*n - i - 1120 = 2*a. Does 34 divide n?
True
Let s = -57 + 94. Let r = s - 33. Suppose 5*i + 2*k = 117, -r*k + 3*k + 96 = 4*i. Is 5 a factor of i?
True
Let k(f) = f**2 - 1. Let j(p) = -5*p**2 + 5*p - 7. Let t(h) = -j(h) - 3*k(h). Does 13 divide t(-7)?
True
Suppose 5*z = -r + 39134, 3*z + 6495 - 29949 = -5*r. Is 7 a factor of z?
False
Suppose 1142*n - 2782 = 1140*n - 5*v, 0 = 3*n - 3*v - 4152. Is 66 a factor of n?
True
Suppose -25*l + 4212 = -11*l + 4*l. Is l a multiple of 9?
True
Let r(y) = -y**2 + 7*y - 20. Let p = -13 + 19. Let z be r(p). Does 12 divide 14/4*(-376)/z?
False
Let p(m) = m - 16. Let a be p(26). Let i(q) = q**2 + 18*q - 227. Is i(a) a multiple of 8?
False
Let h(a) = 2*a**2 - 2*a**2 + 5*a**2 + 7*a + 18. Does 11 divide h(-7)?
False
Suppose 4*c - 14*r = 132302, -12*r = -3*c - 9*r + 99279. Is 30 a factor of c?
False
Suppose -4*l + 122 = -c, 84 = 3*l + 6*c - 3*c. Let z = -9 + l. Is z a multiple of 4?
False
Let u = 1799 - -10761. Does 6 divide u?
False
Suppose -16 = -6*s - 4. Suppose 5*x + 2*c + 9 - 35 = 0, -3*x = s*c - 18. Suppose 0 = 3*u + 6, 3*r - x*u - 689 + 6 = 0. Does 45 divide r?
True
Let k(f) = f**3 - 1 + 2 - 5 + 3. Let s be k(1). Suppose -h - 5*c + 19 = -0*h, h - 2*c - 40 = s. Is h a multiple of 17?
True
Let o(u) be the first derivative of u**4/4 + 5*u**3 + 13*u**2/2 - 2*u - 1. Suppose 467*h = 464*h - 42. Is 12 a factor of o(h)?
True
Let w(j) = j**3 - j**2 - 7*j - 445. Let p be w(0). Let c = 163 - p. Is 32 a factor of c?
True
Let t = -14 + 47. Let j = t + -24. Suppose -j*s + 13*s = 360. Is 10 a factor of s?
True
Suppose 12*q = 7*q + 20. Suppose 7*v - q*v = 12. Suppose c = -5*a - c + 238, -v*a = -c - 193. Is a a multiple of 16?
True
Let z be (-6)/8 - 18/(-24). Suppose -348 = -3*w + 2*v + 176, z = -2*w + 3*v + 346. Is w a multiple of 17?
False
Suppose 4*q - 6240 = 8*h - 12*h, -2*h - 7800 = -5*q. Does 20 divide q?
True
Is 33 a factor of (-17 + -2)*(-10)/(-50)*-635?
False
Let c = 119 - 128. Let r(j) = -40*j - 80. Is r(c) a multiple of 15?
False
Let l be (21/9)/((-1505)/(-252) + -6). Let n = l + 213. Is 16 a factor of n?
False
Let g(y) be the first derivative of y**7/840 + y**6/36 + y**5/15 + 13*y**4/24 - y**3/3 + 3. Let l(j) be the third derivative of g(j). Is l(-8) a multiple of 34?
False
Let i(c) = -235 - 40*c - 362*c**3 + 179*c**3 + 182*c**3 - 36*c**2 + 3*c**2. Does 20 divide i(-32)?
False
Suppose 2*x + 416 = w, 4*w + 24*x = 28*x + 1672. Is 30 a factor of w?
True
Suppose -2*w - 2*w = -4*v - 196, 143 = -3*v + 5*w. Let f(x) = -15*x + 17. Let p be f(8). Let r = v - p. Is r a multiple of 9?
False
Suppose -452 = -15*c - 92. Let i = c - 20. Suppose -7*z = -3*z + 3*n - 729, -i*n = -z + 168. Is z a multiple of 30?
True
Does 71 divide (-3)/(4*(-18)/73272)?
True
Let g(b) = -b**3 - 34*b**2 - 38*b - 81. Is 11 a factor of g(-41)?
True
Suppose 5*p + 4*j - 573 = 0, -14 - 226 = -2*p + 2*j. Is 27 a factor of 346/6*13/(p/27)?
False
Suppose 68*p - 253*p - 48*p = -144693. Is 69 a factor of p?
True
Let k(l) = -l**2 - 18*l - 26. Let z be k(-16). Is 7 a factor of (-2*723/z)/(-1)?
False
Suppose -55*l + 54*l - 363 = 0. Does 2 divide (2/(22/l))/(2/(-4))?
True
Let j(r) = 9*r + 174. Let l(b) = 