1. Let j(y) = y**2 - 2*y + 6. Let n(l) = -j(l) + 5*t(l). Does 2 divide n(6)?
False
Let b(k) be the second derivative of k**3/6 - 3*k**2 + k. Let t be b(11). Suppose 0 = 3*g - t*v - 32, 2*v + 10 = 3*g - 19. Does 5 divide g?
False
Suppose -2*a - 9 = -2*m + a, -2*m + 10 = -4*a. Suppose x = -5*c + 2*c + 142, 0 = -m*c + 3*x + 138. Is 8 a factor of c?
False
Let k = -29 + 56. Is k a multiple of 14?
False
Suppose -5*f - 6*a = -2*a + 58, 5*f = -5*a - 60. Let g = f + 21. Does 10 divide 229/11 - (-2)/g?
False
Suppose -3*q + 185 = 2*q. Is q a multiple of 16?
False
Let t = -156 - -346. Suppose y = -4*y + t. Is 19 a factor of y?
True
Let r = 22 - 10. Is r a multiple of 3?
True
Let l = -11 - -13. Is 4 a factor of 8 - 0/l - 3?
False
Let a = 2 + -2. Let i(l) = l + 14. Is i(a) a multiple of 11?
False
Let t(x) = x - 1. Let u be 0*3/(-6)*1. Let i be t(u). Let n(j) = -25*j - 1. Is n(i) a multiple of 12?
True
Let t = 9 - -22. Is 17 a factor of t?
False
Suppose -2*d + 43 = 13. Suppose 3*p - d = 0, -5*g + 75 = -4*p - 0*p. Is g a multiple of 15?
False
Suppose -3*j = 15, 2*y = -0*y + 5*j + 5. Suppose 0 = 4*h + 12 + 20. Is 16 a factor of (-180)/h*(-16)/y?
False
Let t = -33 - -15. Let q(f) = -f**3 + 7*f**2 + 9*f - 8. Let m be q(8). Is 13 a factor of m + t*(-2)/2?
False
Suppose -3*z = 5*a + 3888, -3*z = -2*a - 0*a - 1551. Is 11 a factor of a/(-35) - (-2)/(-10)?
True
Let h = 50 + -28. Is h a multiple of 4?
False
Let n = 313 - 155. Does 12 divide n?
False
Let k be 1 + -24 + 9 + -7. Does 15 divide -1 + 12*k/(-6)?
False
Let z(t) = 0*t - t - 8*t - 7. Let v be z(-8). Suppose -k - 31 = -3*a, -2*a + v = 3*a + k. Is 4 a factor of a?
True
Suppose 4*c + 3*o = 79, -c = -0*o + 4*o - 36. Suppose 4*n - 8 = -3*u + 4*u, c = 4*u. Suppose i - n*i = 4, -54 = -3*g - 3*i. Is g a multiple of 10?
True
Is (26/4)/(1/2) a multiple of 4?
False
Let u(c) = -c - 8. Let i be u(-10). Suppose 198 = 3*q + 3*h, 4*q - i*h = -h + 254. Is 33 a factor of q?
False
Suppose 5*d = -4*o + 46, -5*o + 16 = -4. Let v = d - 2. Is v a multiple of 3?
False
Let s = -5 + 10. Is s a multiple of 4?
False
Is 4 a factor of ((-6)/(-7))/((-6)/(336/(-2)))?
True
Let h(t) = t**3 + t. Let s be h(0). Let f be 3 + -99 + (-3 - s). Is 15 a factor of 2/((-3)/(f/2))?
False
Let f = -4 + 4. Suppose -2*a + 5*u + 273 = f, 0 = -2*a + 3*u - 193 + 476. Suppose -3*b + a = -22. Does 20 divide b?
False
Suppose 5*c + 31 = 4*g, -c - c = g - 24. Does 14 divide g?
True
Let i(x) = -x**2 - 17*x + 29. Is 11 a factor of i(-18)?
True
Let x = -3 + 17. Suppose -5*f + 114 = 2*h, 0*f + 2*f + 5*h - 33 = 0. Let y = f - x. Does 8 divide y?
False
Let l be ((-2)/(-4))/(3/12). Suppose w - 5*p = -l*p + 23, 0 = -4*w - p + 92. Let f = w - 8. Does 5 divide f?
True
Let y be 8 - (2 + (-9)/3). Let t be ((-44)/6)/((-2)/y). Suppose 4*r = r + t. Is 11 a factor of r?
True
Let q = 39 + -33. Let s(r) = -4*r**3 + 3*r + 3. Let i be s(-3). Suppose 4*v = -q + i. Is 12 a factor of v?
True
Let o = 23 - -14. Does 19 divide o + (0 - (0 + -1))?
True
Let h(k) = -k**3 - 9*k**2 + 6*k - 17. Does 38 divide h(-11)?
False
Let p(h) = h + 6. Let l be p(-3). Let w(k) = k**2 + 4*k - 4. Is 17 a factor of w(l)?
True
Let z be 2 + -3 + 2 + 4. Suppose -z*f + 12 + 8 = 0. Suppose 14 = w + 3*q, f*w = 2*w + 5*q + 72. Does 13 divide w?
True
Let t(q) = q**2 - 3*q - 4. Let z be t(4). Let u(r) = -r**3 - 2. Let b be u(z). Let y = 11 - b. Does 13 divide y?
True
Let j be (0 - -2) + -2 + -371. Let n = j - -125. Is 8 a factor of (-2)/5 - n/15?
True
Let g be (-6)/21 - (-216)/21. Let j = 1 + g. Is j a multiple of 11?
True
Let j(g) = -g**3 - 4*g**2 + 3*g - 1. Let m be 2/(-2) - (-4 + 1). Suppose 0 = s - m*s - 5. Does 6 divide j(s)?
False
Let p(q) = 2*q**2 - q. Let f be p(3). Let z = 46 - f. Let n = 49 - z. Does 18 divide n?
True
Let a = 13 - 17. Is 11 a factor of ((-11)/a)/((-4)/(-16))?
True
Does 15 divide (-210)/28*8/(-3)?
False
Let o(x) be the first derivative of 19*x**2/2 - 2*x - 4. Is 20 a factor of o(2)?
False
Suppose 0 = -0*v + 5*v - 410. Does 22 divide v?
False
Let h(t) be the third derivative of 2*t**2 + 0*t + 0 - 1/15*t**5 + 1/3*t**3 + 1/3*t**4 - 1/120*t**6. Is h(-6) a multiple of 11?
False
Does 4 divide (-18)/4*8/(-6)?
False
Suppose 401 = 5*m - 219. Does 31 divide m?
True
Let i = 34 - 18. Let s(r) = -2*r + 12. Let w be s(-9). Let p = w - i. Is p a multiple of 14?
True
Let m = 200 + -116. Suppose 0 = 2*h - m - 8. Is 9 a factor of h/(-3)*(-3)/2?
False
Let b(u) = -u**3 + 7*u**2 + 5*u + 5. Suppose 0 = 2*k - 3*k - 22. Let x = -15 - k. Is b(x) a multiple of 20?
True
Let r(o) = -o**3 + 6*o**2 - 2*o + 11. Is 10 a factor of r(5)?
False
Suppose 49 = 3*n + y, 3*n - 33 = y + 26. Is 6 a factor of n?
True
Suppose 2*x - 100 = 2*c, -x + 16 = -3*c - 44. Suppose -x = -5*p - 4*r, 5*p + r - 17 - 13 = 0. Is p a multiple of 4?
False
Let v = -95 + 153. Does 29 divide v?
True
Let v(m) = -m**3 + 7*m**2 - 5*m - 10. Is v(5) a multiple of 9?
False
Let a(g) = -g**3 + 17*g**2 + 7*g + 13. Does 17 divide a(17)?
False
Is -6 + 3 - 1/(6/(-618)) a multiple of 5?
True
Let a be (1/(-3))/(1/(-3)). Let r(z) = 35*z - 1. Let u be r(a). Let v = 59 - u. Is v a multiple of 16?
False
Let y = -3 + 7. Suppose 0 = -y*d + 24 + 40. Is d a multiple of 16?
True
Let d(p) be the second derivative of -p**4/12 + p**3 - 3*p**2/2 + p. Let o be d(5). Suppose r - m = 13, -o*m = -r - 0*r + 14. Is 6 a factor of r?
True
Let c = 79 - 49. Suppose -5*l + 10 = 3*v, -2*v = 2*l - 1 - 3. Suppose -3*z + c + 12 = v. Does 14 divide z?
True
Let r(a) = a**3 + 4*a**2 - 5*a + 2. Let w be r(-5). Suppose 5*c - 18 = w. Suppose -c*m = m - 50. Is 7 a factor of m?
False
Let b be (3/(-6))/((-2)/8). Let z be 24 - (0 - 0 - b). Suppose 2*y - z = y. Is y a multiple of 13?
True
Let d be (-20)/(-6) + (-6)/(-9). Suppose 4*p - 5*s - 369 + 60 = 0, -d*p - 2*s = -274. Does 26 divide p?
False
Suppose 0 = 5*s - 2*a - 2*a - 25, 5*s + 5*a - 25 = 0. Suppose 222 = s*f + 47. Suppose -3*b = -137 + f. Is 17 a factor of b?
True
Suppose -w - 5 = 4. Does 6 divide (12/w*-9)/1?
True
Suppose 2*u + 21 - 31 = 0. Does 5 divide u?
True
Let b = -7 + 31. Is 5 a factor of b?
False
Let k be 36/15 - 9/(-15). Let r be 2/2*-20*k. Let v = r - -96. Does 18 divide v?
True
Let q = 82 - 62. Is q a multiple of 5?
True
Let v(f) = -f**2 + 6*f + 6. Let r(s) be the first derivative of -s**2/2 + 11*s + 1. Let z be r(6). Is v(z) a multiple of 5?
False
Does 5 divide (-102)/4*8/(-6)?
False
Suppose 4*u - 391 = -3*k + 2*u, 4*u = -3*k + 395. Is k a multiple of 16?
False
Suppose -j + 1 = -1. Does 12 divide 35 + (j - 3/3)?
True
Let l = -3 - -5. Let u(o) = 3*o**3 + o**2 - 2*o + 2. Is 13 a factor of u(l)?
True
Suppose 5*y = -27 + 92. Is y a multiple of 7?
False
Suppose 4*q = 3*c - 14, 4*q + 4 = -4. Let u be c + 0 - (62 + 8). Let l = -32 - u. Is l a multiple of 16?
False
Let o(a) = 17*a**2 - 2*a - 3. Let y be o(-2). Let i = -47 + y. Is i a multiple of 11?
True
Is 29 - 2/(2*5/(-20)) a multiple of 2?
False
Let q = 19 - 9. Is 10 a factor of q?
True
Let f = 71 - 27. Does 11 divide f?
True
Let z(h) = -5*h - 2. Suppose 0 = -a + 2*d + 3 + 2, 2*a - 3*d - 9 = 0. Suppose -a*r = 2*r + 35. Does 17 divide z(r)?
False
Let q be 48/((-1 - -3)/2). Let k = q + -24. Is k a multiple of 14?
False
Let k = -5 - -12. Is 4 a factor of k?
False
Let a(z) = -73*z**2 - 5*z - 6. Suppose 0 = -2*i + 4*x - x, -14 = -i - 2*x. Let o(q) = 72*q**2 + 4*q + 5. Let m(j) = i*o(j) + 5*a(j). Is 22 a factor of m(1)?
True
Let h be 1 - (3 + -6 + 0). Suppose 2*o + j = o + 29, 4*o - 124 = h*j. Is o a multiple of 15?
True
Let d(n) = n**3 - 8*n**2 + 4*n - 4. Let m be d(3). Is (m/2)/((-1)/2) a multiple of 16?
False
Let z be (-4)/(-8) + (-357)/6. Let y = -31 - z. Does 8 divide y?
False
Let r(p) = p + 7. Let y be r(-5). Let t(g) = -g + 14 + g**2 + 2*g**2 - y*g**2. Does 7 divide t(0)?
True
Let l = 9 + -13. Let z = -18 - l. Let g = 31 + z. Is g a multiple of 8?
False
Let m(y) = -y**2 - 3. Let q(s) be the first derivative of s**3/3 + s**2/2 + 3*s + 2. Let g(r) = -3*m(r) - 2*q(r). Does 3 divide g(2)?
True
Does 20 divide (-4)/18 - (-958)/18?
False
Suppose -2*b + b = 0. Suppose b = -2*n + 16 + 16. Is n a multiple of 4?
True
Let d be 2*(1 + (-1)/(-2)). Let h = 21 - d. Does 6 divide h?
True
Suppose -2*n + 15 = n. Suppose n*a = 2*a + 51. Is 17 a factor of a?
True
Suppose -y = -0*y - 4. Suppose 16 - y = 4*n. S