Is w a multiple of 2?
False
Suppose -4*v - 3*m + 4*m = -185, -3*v = -5*m - 160. Let t = -32 + v. Does 2 divide t?
False
Let v(b) = 46*b**2 + 38*b + 241. Is 12 a factor of v(-7)?
False
Suppose a + 544 = 3*a. Let c be 3 - 13/5 - (-9658)/55. Let s = a - c. Does 31 divide s?
False
Let w(g) = g**3 + 6*g**2 + 3*g + 5. Let z be w(-5). Suppose -117 = -7*a + 86. Let o = z + a. Is o a multiple of 11?
True
Suppose 1 = 2*c - 3. Let r be c + (-7)/((-14)/(-4)). Suppose r = -2*w + 18 + 18. Does 11 divide w?
False
Let h(y) be the second derivative of -y**6/360 - 17*y**5/120 + y**4/3 + y**3/2 - 8*y. Let w(a) be the second derivative of h(a). Is w(-14) a multiple of 25?
True
Suppose 2*x = 4*g - 7*g, 3*g = -4*x. Suppose g = 4*i - 2*n - 96 - 156, n = 5*i - 315. Is 11 a factor of i?
False
Suppose -2*t = -7*t + 155. Let q be 2/(-11) + t/(-11). Does 14 divide q - -2 - (-14 + -3)?
False
Let x be 6/(-1)*(-5)/(-2). Is -18*1*x/10 a multiple of 27?
True
Let x = 358 - 149. Let o = x - 103. Is 4 a factor of o?
False
Let x = -52 - -59. Let u(b) = b + 10. Is 7 a factor of u(x)?
False
Suppose x = 0, 3*j + 5*x = x + 159. Does 2 divide (4 - (j + 5))*-1?
True
Is 13 a factor of (-1 + 211)*5/(-15)*-2?
False
Let h(w) = 898*w**2 + 73*w + 75. Does 15 divide h(-1)?
True
Let u = 1083 + -639. Is 12 a factor of u?
True
Let x = 428 + -109. Is 29 a factor of x?
True
Suppose 4 + 8 = -6*s. Does 40 divide s + -1 - (-242 + 1)?
False
Let z = -25 + 21. Is z/22 + (-938)/(-77) a multiple of 9?
False
Suppose -5*j = 2*o - 219, 3*o - 24 = -4*j + 287. Suppose 3*f - 107 = o. Is f a multiple of 11?
False
Let f be (18/27)/(2/(-426)). Let t = f - -202. Is t a multiple of 20?
True
Let g = 395 - 374. Is g a multiple of 21?
True
Suppose 0 = 14*p - 10*p + 3*y - 686, 4*y = p - 162. Is p a multiple of 34?
True
Let j(c) = c**2 - 9*c - 8. Let w be j(10). Let k be -14 + 19 - 6/2. Suppose w*z + k*z - 240 = 0. Does 12 divide z?
True
Does 10 divide 0 + 7 - 11178/(-46)?
True
Let j = -9 + 9. Suppose j = -6*x + x + 600. Suppose -p = -4*p + x. Does 20 divide p?
True
Suppose -9*s = 1606 + 1589. Let x = -145 - s. Is 28 a factor of x?
False
Is (72/20)/(2/30) - -6 a multiple of 2?
True
Let j be 2*(21/(-6))/(-1). Suppose p = -3*i + j, -2*p = -5*i - 0*i + 8. Suppose i*x = 5*x - 204. Does 18 divide x?
False
Let k = 118 + -191. Let y = 2 - k. Is 8 a factor of y?
False
Let n = 115 - 111. Let i(t) = -t**3 + 8*t**2 + 6*t - 6. Is 15 a factor of i(n)?
False
Let n = -13 - -27. Let i(v) = v**2 - 10*v + 24. Is i(n) a multiple of 10?
True
Let t be 18 - 1 - -1*2. Let q(s) = s**2 - t - 42*s - 2*s**2 + 58*s. Does 15 divide q(8)?
True
Let t(u) = 0*u + 2*u - u**3 + 0*u - 11 - 7*u + 11*u**2. Is t(7) a multiple of 24?
False
Let k(y) = 12*y**2 - 2*y + 1. Let d(p) = -p**2 + 1. Let m(b) = -2*d(b) + k(b). Is 24 a factor of m(-2)?
False
Suppose l - 880 = -4*l. Suppose y = 1 + 4. Suppose -6*c + 2*c - y*u = -126, -5*c = -3*u - l. Is 17 a factor of c?
True
Suppose 5*x = -5*f + 13440, x - 5*f = -1003 + 3703. Does 8 divide x?
False
Let d(x) = 3*x**2 - 7*x + 16. Let a(m) = -2*m**2 + 4*m - 8. Let b(w) = -7*a(w) - 4*d(w). Is b(6) a multiple of 8?
True
Let c(l) = -l**3 + 23*l**2 - 16*l - 4. Is 44 a factor of c(15)?
False
Let k(m) = -m**2 - 17*m - 19. Let d(z) = z**3 + z**2 + 2*z - 1. Let c be d(2). Suppose s = -5*o - c, -o - o + 45 = -3*s. Is k(s) a multiple of 5?
False
Let m(b) be the third derivative of -b**6/120 + b**5/10 + b**4/4 - 2*b**3/3 + 2*b**2. Is 10 a factor of m(6)?
False
Let m(x) = -x**3 + 13*x**2 - 12*x + 4. Let w be m(12). Let d = 6 - w. Suppose -6*i + 96 = -d*i + 4*f, -5*f - 51 = -4*i. Is i a multiple of 8?
False
Let z(t) be the first derivative of -35*t**2/2 - 17. Does 14 divide z(-4)?
True
Let g be 3532/14 - ((-12)/7 - -2). Suppose -7*t + g + 56 = 0. Does 6 divide t?
False
Let l(b) = -51*b - 82. Is 44 a factor of l(-18)?
True
Let x(c) = c**2 + 4*c. Let m be x(-4). Suppose m = d + 3*z - 35, 3*z = -4*d - 2*z + 140. Does 26 divide d?
False
Suppose -2*y + 472 = -5*c - 53, 2*c + 2*y = -224. Let s = -47 - c. Does 5 divide s?
True
Suppose 0 = 11*x - 28*x + 5644. Is 18 a factor of x?
False
Suppose b - 129 = -0*h - 3*h, -4*b + h = -581. Is 9 a factor of b?
True
Let h be (-2 - 16/(-12))*-57. Let o = -2 + h. Is o a multiple of 15?
False
Suppose 0 = 84*i - 92*i + 1264. Is i a multiple of 79?
True
Suppose -2*i - i = -21. Let o(x) = -x**3 + 7*x**2 - 2*x + 10. Let p be o(i). Let g(n) = -3*n - 2. Is g(p) a multiple of 5?
True
Suppose -b - 23*p + 24*p + 9 = 0, -p + 21 = 4*b. Let h(c) = 4 - c + 3*c + c. Is h(b) a multiple of 5?
False
Suppose 2*u - 10 = 0, 2*s = 4*u + 6 - 54. Is 9 a factor of (s/(-28))/(2/172)?
False
Suppose -7 = -2*k + 9. Is 11 a factor of k*(29/2 + -1)?
False
Suppose 0 = -2*k + 3*k - 2*b + 54, 2*k + 81 = -5*b. Let d(n) = -28*n - 4. Let m be d(3). Let j = k - m. Does 10 divide j?
True
Suppose -4*s + 570 = 5*k + s, 2*k - 228 = 3*s. Is 15 a factor of k?
False
Let d(i) = 9*i - 22*i + 28 + 14*i. Is d(8) a multiple of 9?
True
Let o be ((-3)/(-12))/(12/144). Suppose 4*c + 21 = 3*j, -3*j - 9 = -7*j - c. Suppose 3*m + y - 24 = -0*y, j*y = o*m - 12. Is 4 a factor of m?
False
Let y be (80/(-32))/(10/(-8)). Let l be (1 - 2)*-5*1. Suppose y*c - 4*n - 4 = 26, 15 = -l*n. Does 4 divide c?
False
Let d(p) = 51*p + 3. Let u(m) = m - 2. Let c be u(4). Is d(c) a multiple of 15?
True
Let s = -28 + 34. Does 13 divide 2288/(-55)*(-15)/s?
True
Let y = -597 - -1054. Is 19 a factor of y?
False
Suppose -9*r + 85 = -1193. Is 71 a factor of r?
True
Let n(f) = -2*f**2 - 11*f - 10. Let t be n(-4). Suppose -o + 5*o - 162 = 2*j, -3*o - t*j = -118. Is o a multiple of 8?
True
Suppose 2352 = -129*u + 136*u. Does 56 divide u?
True
Let m(x) = -91*x + 306. Is m(-7) a multiple of 41?
True
Suppose 5*m + 5*q - 46 = 124, m - 22 = -4*q. Does 8 divide m?
False
Let z(v) = -2*v - 3. Let o be z(-3). Suppose 0*x + 2*l = -o*x + 143, -x - 3*l + 57 = 0. Is x a multiple of 15?
True
Suppose 0 = -8*f - 4 - 4. Does 13 divide 153*(2/(-6))/f?
False
Let x(b) = -b**2 - 6*b + 12. Let f be x(-8). Does 21 divide ((6/3)/f)/((-8)/1680)?
True
Let g(l) = -l**3 + 5*l**2 + 2*l + 12. Let x be g(6). Let y = -6 - x. Suppose 0 = 5*k + 20, -2*n - 4*k - 128 = -y*n. Does 7 divide n?
True
Let c = 133 - 41. Is c a multiple of 23?
True
Let c be (0 - -61)*(-3)/(-3). Suppose 0 = -5*t + c + 79. Is 14 a factor of t?
True
Suppose -f = -404 - 47. Is f a multiple of 14?
False
Suppose -3*m - 3*i + 6*i = 81, 3*i = -2*m - 59. Does 19 divide (-687)/(-6) - (m/8 - -4)?
True
Let m = -124 + 215. Let z = 216 - m. Is z a multiple of 25?
True
Let s(u) = 6*u**2 - 21*u - 6. Does 3 divide s(6)?
True
Let f(a) be the second derivative of 7*a**4/12 + a**3/6 + a**2 + 9*a. Is 16 a factor of f(2)?
True
Let i = 437 - 187. Is 25 a factor of i?
True
Let c be (-2)/(-3) - 4/(-3). Suppose c*f + 0*f + 18 = 0. Is 3/f + 248/6 a multiple of 12?
False
Let t(z) = -7*z - 4. Let j be t(-11). Suppose -j = -8*v + 127. Does 24 divide v?
False
Suppose 16 = -4*a, 2*i + 3*i = 5*a + 675. Let w = i + -28. Is w a multiple of 16?
False
Let j(q) = q**3 + 6*q**2 - 3*q - 2. Let p(c) = c**3 + 8*c**2 + 7*c - 5. Let l(u) = -u**3 - 11*u**2 + u + 4. Let a be l(-11). Let g be p(a). Does 10 divide j(g)?
False
Let x(g) = -137*g - 1. Let p = 26 + -27. Does 34 divide x(p)?
True
Let y = -111 - -158. Let j = -1 + y. Is 12 a factor of j?
False
Let r = 175 - -3293. Does 68 divide r?
True
Let s(k) be the second derivative of k**5/20 + 2*k**4/3 - 3*k**3/2 + 4*k**2 + 8*k. Let c = 83 - 92. Is s(c) a multiple of 2?
True
Let j = -787 + 1333. Does 39 divide j?
True
Let b = -25 + 59. Suppose 2*r - 100 + b = 0. Is 11 a factor of r?
True
Let x be (2 - -40)/((-6)/9). Is ((-680)/14)/(18/x) a multiple of 10?
True
Suppose -4*z + 2*s + 3*s = -263, -z + 77 = -5*s. Suppose 53 = -x + z. Is x a multiple of 8?
False
Suppose 5*x + 2*y - 945 = 116, -4*y - 1073 = -5*x. Is 5 a factor of x?
False
Let a(s) be the second derivative of 0 - 1/12*s**4 - 5/3*s**3 + s + 3/2*s**2. Is 27 a factor of a(-6)?
True
Let f(x) = 2*x + 26. Let k(d) = d - 3. Let c be k(3). Does 11 divide f(c)?
False
Suppose -5*v - 2*b = -1577, 2*b - 944 = -3*v + 3*b. Is 35 a factor of v?
True
Suppose 2255 = 4*c - 2281. Is 18 a factor of c?
True
Let q(v) = -v**2 - 14*v - 17. Let j be q(-12). Suppose 0 = 6*m + j - 25. Is m a multiple of 2?
F