+ 5*z**4/24 + z**3/3 - 2*z**2. Let b be a(4). Let m = 2 + b. Is 4 a factor of m?
True
Suppose 3*z = -z + s + 12, -z - s + 3 = 0. Suppose 0 = -z*n - 2*v + 40, -5*v - 5 - 15 = 0. Is 8 a factor of n?
True
Let c = 46 + -19. Is 6 a factor of c?
False
Let u be -5*(-1)/(15/(-6)). Let q = 4 - u. Is ((-3)/q)/((-1)/48) a multiple of 11?
False
Let m(y) = -7*y + 5 - 4*y - 15*y. Let g(j) = 13*j - 2. Let o(n) = -5*g(n) - 2*m(n). Is o(-1) a multiple of 13?
True
Let l be -3*32/(-6) + -2. Let q = l - 9. Suppose q*b + 6 = -z, 0*z + z - 2 = -b. Is z a multiple of 4?
True
Let o = -8 + 11. Let r = o + 0. Suppose -r*l + 2 = -2*l. Is 2 a factor of l?
True
Let u(y) = -y**2 - 13*y - 9. Let m be (-1)/(-3) - 44/6. Let h be u(m). Suppose 0 = n - 2*n + c + 3, -h = -4*n - 3*c. Does 6 divide n?
True
Suppose k - 2 = 0, -3*u + 248 = 2*u + 4*k. Does 5 divide u?
False
Let m be ((-6)/(-5))/(4/10). Suppose -2*t = 4*w - 14, -w - m*t + t = -2. Is w a multiple of 3?
False
Suppose 0 = -5*c - 2 - 13. Is 6 a factor of (20/c)/(10/(-15))?
False
Let z = -2 + 7. Suppose -2*i - u - 2 = -1, -2*i - z*u + 11 = 0. Does 4 divide (-1 + (-3)/i)*12?
False
Let g = 19 + -7. Is 5 a factor of g?
False
Let h be ((-2)/3)/((-2)/9). Let y = -28 + 12. Does 3 divide (h + -1)/(y/(-56))?
False
Let n be (18/(-8))/(12/352). Let l = n + 96. Does 10 divide l?
True
Let o be 1/(-3*2/(-24)). Let t(c) = 13*c. Is t(o) a multiple of 20?
False
Suppose -6*f + 474 = -3*f. Is f a multiple of 32?
False
Let h(y) = y**3 - 4*y**2 - 5*y - 4. Is h(6) a multiple of 38?
True
Does 7 divide 6 + 1 - (-3 + 2)?
False
Let b = 4 + 7. Suppose -2*h = m - 57, b = h - 4*m - 13. Does 14 divide h?
True
Suppose -a + 2 = -0*b - b, -2*a + 8 = 0. Suppose u - 15 = -b*u - s, u - 19 = -5*s. Is 3 a factor of 25/u + (-1)/4?
True
Let i(n) = -n. Let u be i(-5). Suppose -j + 4*j - 576 = 0. Suppose u*t - t - j = 0. Is 16 a factor of t?
True
Let z be ((-4)/6 + 0)*-3. Let n be 4/10 - (-4 + 22/5). Suppose 3*q = -4*o + 31, -19 = -3*o + z*q - n*q. Is o a multiple of 6?
False
Suppose 4*g - 19 = -4*u - 299, g = u - 80. Let o = 106 + g. Does 21 divide o?
False
Let a(t) = 4*t - 5. Let n(y) = y**2 + 2*y - 3. Let d be n(2). Does 3 divide a(d)?
True
Suppose 6 = 3*z - 5*d, 3*d + 10 = 5*z - 0*d. Suppose 3*m = z*f + 103, m - 131 - 6 = 3*f. Let o = 2 - f. Does 12 divide o?
False
Suppose -1 = 2*g - 3. Let p be (-2)/g + (-2)/(-2). Is 9 a factor of ((-8)/(-10))/(p/(-25))?
False
Let n be 2/(-3) + (-126)/(-27). Suppose 0*f + n*f = 2*i + 28, 0 = f + i - 1. Suppose f*p - 4*x - 36 = 0, p - 2*x - 7 = -x. Is p a multiple of 4?
True
Let z = -13 - -16. Suppose l + 34 = 4*a, -z*a + 6 = 5*l - 8. Is a a multiple of 4?
True
Let y = -30 + 32. Let x(n) = 3*n**3 + 0 - 1 + n**3 + n. Is 13 a factor of x(y)?
False
Suppose -t - 2 = -4. Does 14 divide (5 - t)/((-8)/(-40))?
False
Let t(f) = 2 + 4 + 3 - 2*f. Is 9 a factor of t(-9)?
True
Suppose 0 = r + 2*r - 12. Suppose -5*f = -k + 10, r*k - 5 = 3*k. Is (-1)/f + 1 + 22 a multiple of 17?
False
Suppose -m - 3 = -2*m. Suppose 2*p - 12 = -s, m + 7 = 4*p - 5*s. Is p even?
False
Suppose 12 = 4*f, f = -k - 4*k - 117. Let r = 31 + k. Does 5 divide r?
False
Suppose 6*q = -5*y + 2*q + 684, 20 = -5*q. Is y a multiple of 22?
False
Let i = -27 + 63. Is 7 a factor of i?
False
Let s = 1 - 0. Let h be (-5 - -3) + s*13. Suppose 4*k + 5*u - 56 = 0, 3 = k - 4*u - h. Is k a multiple of 14?
True
Let u(i) = -i**2 + 4*i + 2. Let x be u(11). Is (28/6)/((-5)/x) a multiple of 18?
False
Suppose -t = -10*t + 1350. Is 30 a factor of t?
True
Suppose 2*s - 1 = s. Let x be (-73)/(-3) + s/(-3). Suppose x = 4*k - 68. Does 16 divide k?
False
Suppose 0 = 5*f - l + 3*l + 13, 4*l = 2*f + 10. Let g be ((-5)/f)/((-4)/(-12)). Does 7 divide -2*g/(10/(-16))?
False
Let u = -235 + 371. Is u a multiple of 17?
True
Let b be 5*-1 - (0 + 0). Let x(a) = -14*a + 6. Let d be x(b). Suppose 2*s - 4*h - d = -2*s, 0 = -h + 5. Is 13 a factor of s?
False
Suppose q + 17 = 3*o + o, -2*o - 5*q = 19. Suppose -7*d + 104 = -o*d. Is 11 a factor of d?
False
Let p(k) = -5*k**3 + k**2 - 3*k - 1. Does 47 divide p(-3)?
False
Let d = 86 + -29. Let w = -39 + d. Is w a multiple of 5?
False
Suppose -r + 5*r + 76 = 0. Let d be (5/(-5))/((-2)/(-58)). Let y = r - d. Does 10 divide y?
True
Let b(j) = -18*j + 2. Is b(-2) a multiple of 19?
True
Let f(r) = -r**2 - 9*r - 15. Does 2 divide f(-6)?
False
Suppose -69 = -2*x - 25. Does 17 divide x?
False
Let r be (18/(-2))/((-3)/2). Does 12 divide (2/r)/(2/78)?
False
Suppose 28 = 2*c - 4*x, 3*c - 3*x + 6*x = 87. Is c a multiple of 9?
False
Let q(h) = -3*h**2 - 10*h + 5. Let r(a) = -7*a**2 - 20*a + 11. Let i(x) = 9*q(x) - 4*r(x). Let w = 6 - -5. Does 12 divide i(w)?
True
Does 10 divide 242/4 - 1/2?
True
Let u = 98 + -32. Suppose -5*v = -2*v - u. Is 11 a factor of v?
True
Let t(p) = -p - 4. Let r be t(-6). Suppose -r*h - 5 = -17. Is h even?
True
Let h be 0 + (-2 - 3)/(-1). Let i(k) = k**3 - 5*k**2 + 3*k - 5. Does 5 divide i(h)?
True
Let x(s) = -s**3 + 6*s**2 + 8*s - 3. Let v be x(7). Let m = v - 4. Suppose -5*p + 5 + 45 = m. Does 8 divide p?
False
Let c(i) = 5*i - 3. Let s = 25 - 16. Does 14 divide c(s)?
True
Does 10 divide (-57)/(-6) - (-3)/6?
True
Let g be (0 - -34)/((-1)/(-2)). Let v be (-3 - 0)/(6/(-8)). Suppose 4*q + 8 + g = v*j, 0 = j + 5*q - 1. Does 16 divide j?
True
Is 1 - 6/((-30)/355) a multiple of 18?
True
Let r(a) = -a**2 + 3. Let x be r(0). Suppose q + 13 + 165 = x*j, -4*j - q = -242. Is j a multiple of 15?
True
Is 19 a factor of ((156/(-8))/3)/(1/(-14))?
False
Let x(j) = -j**3 - 3*j**2 - 2*j + 1. Let z be x(-3). Let m = z - -2. Is m a multiple of 3?
True
Suppose -6*l + 192 = -2*l. Is 12 a factor of l?
True
Let h = 103 - 176. Let x = -43 - h. Is 10 a factor of x?
True
Let r(o) = o**3 - 9*o**2 - 15*o + 7. Does 21 divide r(11)?
True
Is 8 a factor of (-18 + -21)*((-10)/(-6) + -2)?
False
Suppose 5*c = 2*c. Suppose 5*s + 2 = 5*y - 3, c = 3*s + 3*y - 21. Suppose s*t - 88 = -4. Is t a multiple of 13?
False
Let g = 5 - -1. Is 3 a factor of g?
True
Suppose l - 48 = -3*l. Suppose -2 = 5*n - l. Let p = n + 1. Does 2 divide p?
False
Suppose 0 = t + 3*t - 1016. Let k = t - 357. Let a = -65 - k. Is a a multiple of 19?
True
Is 282/6 + 0/1 a multiple of 10?
False
Let g = 22 - 10. Let f be (52/g)/((-1)/(-3)). Let p = f + 38. Does 17 divide p?
True
Let a = 21 - 29. Let w = a + 26. Is 9 a factor of w?
True
Let i(a) = a**3 - 12*a**2 + 10*a + 13. Let t be i(11). Suppose u + 5 = 5*j - 3*u, -u = -2*j + t. Is -2 - 46/(-2 + j) a multiple of 22?
True
Suppose 24 = -0*p + 2*p. Is 4 a factor of p?
True
Let l = -1 + 31. Does 5 divide (-5)/l - 183/(-18)?
True
Is 219 - (1*-1)/(4/(-12)) a multiple of 35?
False
Let c(m) = m + 14. Let b be c(0). Let g(f) = 2*f**2 + 7*f - 1. Let o be g(-5). Is 6 a factor of 80/b + 4/o?
True
Is 15*(32/12 + -1) a multiple of 25?
True
Let a(d) = -d**3 + 5*d - 4. Is 8 a factor of a(-5)?
True
Suppose -4*o - 4*t + 4 = 0, -3*t - 11 + 5 = 0. Suppose 4*v + 2*c = -o*c + 211, 5*v - 265 = -5*c. Is 27 a factor of v?
True
Let a(h) = -9*h - 3. Let t(o) be the third derivative of -5*o**4/12 - o**3/2 - 3*o**2. Let i(k) = -3*a(k) + 2*t(k). Does 19 divide i(5)?
True
Let y(t) = t**3 - 4*t**2 - 2*t + 3. Let a be y(5). Suppose a = w + 2*w. Does 11 divide 8/w*(-117)/(-6)?
False
Let m be ((-6)/15)/((-1)/120). Let k(i) = 5*i**2 - 1. Let a be k(1). Suppose 0*b - a*b + m = 0. Is 6 a factor of b?
True
Let o = 90 - 24. Is o a multiple of 11?
True
Let s(q) = q**3 - 6*q**2 + 4. Let c be s(6). Let w(h) = 2*h - 2*h + h + 2*h + 2. Does 9 divide w(c)?
False
Suppose -w + 56 = 3*o - o, -w = o - 61. Is w a multiple of 11?
True
Suppose 29 = u - o, -o = 4*o - 5. Suppose -3*l = 2*n + 113, u = -n + 5*l - 59. Let q = n + 98. Is 17 a factor of q?
True
Let z = -5 + 5. Suppose g - 9 - 4 = z. Is 4 a factor of g?
False
Let x(l) = -l**3 + l + 1. Let f be x(0). Is 7 a factor of 13*(f + 1 - 1)?
False
Let r(a) be the third derivative of -a**8/6720 + a**7/840 + a**6/240 + a**4/24 - 2*a**2. Let u(t) be the second derivative of r(t). Is u(-2) a multiple of 7?
True
Suppose 4*y = 4*a - 4, 2*y + 4*a = 3*y - 5. Let p = -3 - y. Suppose p = 2*d - 3*x - 28, 3*d - 5 = -3*x + 22. Is d a multiple of 11?
True
Let m be (1 - 1)*2/(-4). Suppose -4*s = -5*s. Suppose s = -m*q - q + 13. Is 13 a factor of q?
True
Let p(z) = 14*z - 2. Let w b