 = -151 + 223. Let q = k - 31. Suppose q + 129 = 5*u. Is u a multiple of 16?
False
Let h(z) = -6*z - 9. Let x be h(-2). Let f(s) = s**3 + 6*s**2. Let j be f(-6). Suppose x*t - 2*t - 14 = j. Is 7 a factor of t?
True
Let g(h) be the third derivative of h**6/120 - h**5/60 - 7*h**4/12 + h**3/2 + 6*h**2. Is 21 a factor of g(6)?
False
Suppose 0 = 11*h + 2*h - 18434. Does 15 divide h?
False
Let l(p) = p**2 - 5*p - 42. Is 7 a factor of l(-9)?
True
Let i be -2 + 4/4 - 6. Let z = 38 - i. Is z a multiple of 17?
False
Suppose -305 - 2687 = -4*w. Does 22 divide w?
True
Suppose -j - 5*i = -327, 2*j - 3*i - 639 = 2*i. Does 14 divide j?
True
Let b(y) = -y**2 + 4*y - 1. Let w be b(5). Let a be (w/4)/(10/20). Does 4 divide ((-10)/a)/((-1)/(-6))?
True
Suppose -u = -0*u. Suppose n - 4*c + 6 = c, u = -n + c + 6. Let y(l) = l**2 - l - 12. Does 20 divide y(n)?
True
Does 13 divide 129 + -10 - (2 + 3 - -1)?
False
Let m(d) = -8*d + 2. Let x be m(2). Let b = 7 - x. Does 7 divide b?
True
Suppose -534 - 1930 = -11*t. Is t a multiple of 56?
True
Suppose 4*o = -11*c + 13*c + 1286, -o + 325 = 3*c. Does 46 divide o?
True
Suppose 2*l - 9 = 2*a + 11, 3*a = -2*l + 10. Let d = -6 - -4. Is 5 a factor of d/(((-7)/l)/7)?
False
Suppose -t - 4*a + 150 + 28 = 0, 5*a = 4*t - 670. Suppose 0 = -3*h - v + 126 + t, -v - 496 = -5*h. Is 16 a factor of h?
False
Let m be (0 - 0/2)/(-1). Suppose t + 5*h - h = 23, -4*t - 4*h + 68 = m. Is t a multiple of 5?
True
Let f(b) = 45*b + 20. Let n(a) = 2*a - 17. Let p be n(10). Is f(p) a multiple of 27?
False
Suppose h + s + 104 = 0, -5*h + s = -h + 411. Let j = -58 - h. Is j a multiple of 7?
False
Let y = 627 + -358. Is y a multiple of 10?
False
Suppose -3*v - 363 = 2*m, 142 - 21 = -v + 2*m. Let q = v - -169. Is 16 a factor of q?
True
Suppose 6*a - 2*a - 731 = -x, a - 5*x = 209. Does 6 divide a?
False
Is (-2)/4*(3 - -1 - 278) a multiple of 8?
False
Let j(z) = z**3 + 8*z**2 - 8*z - 16. Is j(-6) a multiple of 13?
True
Suppose -5*i = -5*l, 2*l = i + 4*l - 9. Suppose 5*h - 30 = i*h + 2*f, 5*h = -f + 81. Is h even?
True
Let x = 77 - 72. Suppose 0 = -x*w + 345 + 890. Is 17 a factor of w?
False
Let p be (1/2)/(5/(-540)). Let n = -13 - p. Let z = -13 + n. Is z a multiple of 7?
True
Does 14 divide (-737)/44 - -16 - (-2547)/4?
False
Let o(v) = -2098*v**2 - 9*v - 12. Let g be o(-5). Is 23 a factor of (-2)/9 + g/(-207)?
True
Let c be (-48)/(-60) + 8/(-10). Suppose 4*u - 141 - 235 = c. Is 12 a factor of u?
False
Suppose -g + 2*g - 2*s = -51, -3*g + 3*s = 153. Let j be 14/(-35) - g/15. Suppose 0 = -4*m + 4*c + 448, m + 5*c - 430 = -j*m. Is 17 a factor of m?
False
Let f(w) = 7*w + 3. Let r be f(-2). Let h = 21 - r. Does 12 divide h?
False
Suppose 3*z = -5*r - 27, 0 = r + 3. Is ((-90)/z)/(-6*2/(-24)) a multiple of 9?
True
Suppose 15*f = 2156 + 964. Is f a multiple of 13?
True
Let l = -43 + 62. Suppose -v + l = u - 6*v, -5*u = v - 225. Is u a multiple of 22?
True
Let w(k) = 4*k - 14. Let j be w(4). Suppose 3*i = j*b - 328, b + 3*b + 5*i - 656 = 0. Let d = -108 + b. Is d a multiple of 14?
True
Let s = 14 - 7. Suppose 4*y = s*y - 480. Is 16 a factor of ((-4)/(-5))/(4/y)?
True
Let q = 370 + 146. Is 18 a factor of q?
False
Suppose -3*u = 39*n - 40*n + 1971, -3*u = 5*n - 9891. Is 46 a factor of n?
False
Does 2 divide 15 + -2 + 4/4?
True
Let v(c) be the third derivative of 5*c**4/24 - 3*c**3/2 + 8*c**2. Does 8 divide v(7)?
False
Let w = -230 + 407. Is w a multiple of 59?
True
Let a(o) = 6*o**3 + 2*o**2 - 3*o + 3. Let t = 12 + -10. Does 15 divide a(t)?
False
Suppose -3*r = 2*r + 4*n - 588, -6 = 2*n. Let a(p) = 90*p - 5. Let y be a(7). Suppose 5*k + r = y. Is 27 a factor of k?
False
Let a = 101 - -67. Suppose -27*h = -23*h - a. Does 14 divide h?
True
Is (-18)/(-60) + 4821/30 a multiple of 23?
True
Let q(f) = -4*f + 2. Let z be q(-2). Suppose -36 = z*m - 4*m. Is ((-63)/m)/((-12)/(-32)) a multiple of 14?
True
Is 103 a factor of (58/16 - 4) + 79113/24?
True
Let l = -2037 + 3394. Is l a multiple of 10?
False
Suppose -6 + 24 = 2*t. Suppose 0 = 4*l - 0*z - z - 179, -t = 3*z. Is 11 a factor of l?
True
Let u(z) = z**3 - 9*z + 2*z**3 + 8*z**2 - 2*z**3 - 6. Is 22 a factor of u(-8)?
True
Let d(v) = -v - 5. Let w be d(-3). Let y be w*(-1 - (-3 - 1)). Let a = 33 + y. Is a a multiple of 9?
True
Let p be (-2 - -3) + 4*17. Let l = 120 - p. Is l*(-4 - -8)/4 a multiple of 17?
True
Let d = 19 + -23. Does 9 divide 0 + (d - -8 - -18)?
False
Suppose 3*k = -6, 0*k = 4*m - 2*k - 1072. Let q = m - 187. Is 14 a factor of q?
False
Let i(d) = -2*d**3 - 8*d**2 - 9*d + 9. Let m(p) = -5*p**3 - 16*p**2 - 18*p + 18. Let z(w) = -7*i(w) + 3*m(w). Let k be z(9). Does 3 divide -2 - (3/(-1) + k)?
False
Let c = -10 - -23. Let q(l) = -l**3 + 14*l**2 - 11*l - 14. Is 7 a factor of q(c)?
False
Let h(a) = a**2 - 13*a - 9. Let v be h(13). Let n = v + 17. Let t = 26 - n. Is 6 a factor of t?
True
Suppose 3*g = j - 44, 5*g + j + 78 = 18. Let s = -10 - g. Is 7 a factor of 11/(-2 + s + 0)?
False
Suppose -2*z - 2254 = -16*z. Is 31 a factor of z?
False
Suppose -3*q + 8 = -4. Suppose -2*t - 20 = -k, -4*k + t = 5*t - 32. Suppose -2*w = -0*r - r - 3, 2*w + k = q*r. Is w even?
True
Suppose 7116 = -7*x - 11357. Is 14 a factor of 2/6 - x/21?
True
Let x = -69 + 37. Let a be (-1)/4 + (-776)/x. Let l = a + 2. Is 8 a factor of l?
False
Let x(w) = -32*w + 72. Is 28 a factor of x(-17)?
True
Let l(u) be the third derivative of u**6/120 - u**5/6 + u**4/3 + u**3 + 4*u**2. Let o be l(9). Does 10 divide ((-2)/o)/(5/75)?
True
Suppose -205 = -3*s + 395. Suppose 2*g = 2*j - 80, 4*g = -0*j - 4*j + s. Does 5 divide j?
True
Let l = 2 - 5. Let h be 45*(372/4)/l. Does 28 divide (-5)/20 - h/12?
False
Let v(p) = 4*p**2 - 21*p - 12. Let h be v(6). Suppose 1253 = h*o - 493. Is o a multiple of 36?
False
Suppose 0 = -h - 0*h - 3*r + 264, 0 = 4*h - 2*r - 1028. Does 14 divide h?
False
Let u(y) be the third derivative of 3*y**4/8 - y**3 - y**2. Let z be u(10). Suppose -2*n + 42 = 5*v, -5*v = 2*n + 2*n - z. Is 7 a factor of n?
True
Let j(u) = 4 + 5*u**2 - 10*u**2 + 8*u**2 - u. Does 8 divide j(4)?
True
Let n(q) = q**2 + 40*q + 389. Does 5 divide n(-36)?
True
Is 19 a factor of 56/3 - (9 + 140/(-15))?
True
Let a = -1795 - -4344. Does 21 divide a?
False
Let j(n) be the second derivative of -4*n**3 - 7/2*n**2 + 0 + 2*n. Does 31 divide j(-3)?
False
Suppose 1531 = 2*x - 3*h, -x - 1501 = -3*x - 3*h. Does 11 divide x?
False
Suppose -5*j + 0*y + y + 1677 = 0, 3*y = 3*j - 999. Is 24 a factor of j?
True
Let h = 3357 + -2370. Does 21 divide h?
True
Let u(y) = 15*y**2 + 6*y - 10. Let x be u(2). Suppose -3*g + x + 28 = 0. Is 5 a factor of g?
True
Suppose u = n - 0*n - 302, 0 = -n + 3*u + 294. Is n a multiple of 9?
True
Let x = -4 + 6. Suppose 4*w + x*f = 136 + 86, -169 = -3*w + f. Suppose -4*b + v + w + 20 = 0, 0 = -5*v. Is b a multiple of 7?
False
Let l be -7 - (-1)/1*-1. Let x = l + 11. Does 10 divide (-6)/x + (-120)/(-5)?
False
Let h be (-138)/(-30) + 2/5. Let l(j) = 6*j**2 - 11*j - 3. Is l(h) a multiple of 14?
False
Let q(c) = -c**2 + 2*c + 9. Let j be q(7). Let k = j + 12. Is 17 a factor of 7/k + (-169)/(-2)?
False
Let m = -17 - -11. Let q(a) = a**2 + 6*a + 10. Is q(m) a multiple of 10?
True
Suppose 0 = 5*u - 3*h - 19, 4*u + 0*u - 23 = 5*h. Suppose u*f - 140 = 126. Is f a multiple of 17?
False
Suppose 4*w + 6 + 182 = 0. Let t = 147 + w. Is t a multiple of 20?
True
Suppose -s = -5*c + 3*s + 282, 4*s + 12 = 0. Does 9 divide c?
True
Let h(f) = -f + 11. Let l(w) = 6*w - 66. Let x(b) = 34*h(b) + 6*l(b). Let a be x(9). Let n(r) = -11*r - 2. Is n(a) a multiple of 9?
False
Suppose 4 = -0*q - 4*q. Is 9 a factor of -2*q*(-460)/(-8)?
False
Let t(v) = 8*v**2 - 5*v - 2. Let m be t(-6). Suppose 5*b = 991 - m. Suppose -j = 4*j - b. Is 9 a factor of j?
True
Let a(k) = -2*k**2 - 2*k + 2. Let q be a(1). Does 47 divide (865/(-15))/((q/(-6))/(-1))?
False
Suppose 14 = -3*h + 26, -5*j = 5*h - 1415. Is j a multiple of 13?
False
Let w = 274 + -86. Let b = w - 76. Does 28 divide b?
True
Let h(c) = -462*c - 180. Does 31 divide h(-2)?
True
Suppose -2*w - 616 = -3*t, 0*w = 5*t - 3*w - 1028. Suppose -2*h + 0*h = -t. Is 24 a factor of h?
False
Let l(a) = -17*a + 3. Let h = -81 - -76. Does 11 divide l(h)?
True
Let r(p) = p + 1. Let q be r(-6). Is (-121)/q + 1/(-5) a multiple of 12?
True
Let q = 21 +