 7*v - 5. Is z(x) a multiple of 4?
False
Let s = 89 + -59. Suppose 0*i - 3*i = -s. Is 4 a factor of i?
False
Let a(x) be the third derivative of 11*x**5/30 - x**4/24 + 3*x**2. Let o be a(-2). Suppose 3*f - 12 = o. Does 17 divide f?
True
Let h = -14 + 31. Is h a multiple of 17?
True
Let s be (-3)/7 - 195/35. Let n be ((-3)/s)/((-1)/(-2)). Let f(m) = 5*m + 1. Is 3 a factor of f(n)?
True
Suppose -4*o - 44 = -6*o - z, 5*z + 110 = 5*o. Let h = o - 16. Is h a multiple of 5?
False
Suppose -3*k - 2*v - 168 = 49, -k + 4*v = 49. Let q = k - -98. Suppose q = c + 5. Is c a multiple of 19?
False
Suppose 4*l = 3*l + 64. Is l a multiple of 22?
False
Let y(k) = -16*k - 5. Let i be y(-4). Let o = i + -40. Suppose -5*a = 3*n - 91, 2*n - o = -3*a + 40. Is 11 a factor of n?
True
Let o(g) be the second derivative of -g**4/12 + g**2 - 2*g. Let d be o(0). Suppose -6*p + d*p = -88. Is p a multiple of 11?
True
Let l = -26 - 1. Let r = l + 85. Suppose 4*c = r + 58. Is 8 a factor of c?
False
Let c(d) be the third derivative of d**5/60 - d**4/8 - 2*d**3 + 6*d**2. Is c(10) a multiple of 29?
True
Let b = -54 + 90. Suppose -d - d = -b. Is 6 a factor of d?
True
Let i(n) = -9*n - 2. Let f(m) = -m**2 + 19*m + 4. Let y(z) = -2*f(z) - 5*i(z). Does 16 divide y(-5)?
False
Let u = -28 - -48. Suppose 0 = -3*w + w + u. Does 10 divide w?
True
Let w(l) be the third derivative of 23*l**4/12 - l**3/6 - 3*l**2. Let v be w(-1). Let d = -17 - v. Is d a multiple of 17?
False
Suppose 5*f + 4*b = -6, -f - 5*b + 2 = -1. Let j(o) = -o**3 - o**2 + 2*o - 1. Let m be j(f). Does 6 divide m - 0 - (-1 - 6)?
True
Suppose -5*n - 282 = 4*z - 8*z, n - 4*z + 50 = 0. Let o = -30 - n. Does 17 divide o?
False
Let m(k) = 18*k**3 - 3*k**2 + 4*k - 2. Is 19 a factor of m(2)?
False
Let s = 120 + -5. Does 23 divide s?
True
Let b(z) = z**3 + 18. Let o be b(0). Suppose -2*r - o = -5*r. Does 2 divide r?
True
Let y(d) = d**3 + 12*d**2 + 2*d + 6. Is 36 a factor of y(-11)?
False
Suppose -b = f, b = 5*f - 12 + 36. Let s be ((-22)/f)/(2/28). Suppose 5*z + 2*j + s - 267 = 0, -4*j = 0. Is 13 a factor of z?
False
Let i(n) = -n**3 - 15*n**2 + 14*n. Does 8 divide i(-16)?
True
Let u be 2 + 6 + 2 + 0. Let x = u + -6. Let k(a) = a**2 - 4*a + 3. Is k(x) a multiple of 2?
False
Let r(k) = k - 6. Let h be r(7). Let y(u) be the first derivative of 15*u**2/2 + u - 2. Is 10 a factor of y(h)?
False
Suppose c - 3*r + 2 = 0, 0*c - 24 = -5*c - 2*r. Is c a multiple of 3?
False
Let p(f) = -5*f + 29. Let l(j) = -4*j + 30. Let d(t) = 6*l(t) - 5*p(t). Let v be d(0). Is (-4)/(-10) + 91/v a multiple of 2?
False
Let x be 1*(-6)/(-2*1). Suppose -7*v + 40 = -x*v. Is v a multiple of 10?
True
Suppose -8*m + 9*m - 10 = 0. Is m even?
True
Suppose -m + 10 = 4*m. Suppose -o - 2*o - 153 = -5*n, 0 = m*o + 2. Is n a multiple of 13?
False
Let l(f) be the first derivative of f**4/4 - 5*f**3/3 + 2*f**2 - 3*f - 3. Let d(b) = -b**3 + 7*b**2 + 8*b + 5. Let z be d(8). Is l(z) a multiple of 7?
False
Suppose -v + 0 = -2*y - 11, 2*y + 4*v = 14. Let s be 1/y - 524/(-6). Suppose -h = 4*o - s, -2*h - 15 = h. Does 16 divide o?
False
Let q = -13 + 30. Suppose 3*h = -2*z - 3*z - 68, -h - q = -4*z. Let m = -15 - h. Does 6 divide m?
True
Suppose -38 = 3*c + 3*z - 212, 290 = 5*c + z. Does 5 divide c?
False
Suppose 5*v = -6*x + x + 40, -3*x + 17 = 2*v. Suppose 2*z - v*z + 204 = -4*o, 3*o - 188 = -4*z. Is z a multiple of 22?
True
Let o = -21 - -34. Let j = -2 + o. Does 11 divide j?
True
Does 21 divide 0 + (-6810)/(-27) - 6/27?
True
Let n = 63 + -6. Is n a multiple of 19?
True
Let f(w) = 5*w**2 - 7*w + 3. Let t(v) = -6*v**2 - 6 - 4*v - 4*v**2 + 19*v. Let y(i) = 7*f(i) + 3*t(i). Is 7 a factor of y(2)?
False
Let t be (-49)/(-3) + (-4)/(-6). Suppose 5*p - t - 3 = 0. Suppose -p*n + 24 = -0*n. Does 2 divide n?
True
Let t be 0 + 6/(-2) - -4. Let w(k) = 35*k**2 - k + 1. Let y be w(t). Suppose 0 = 5*m - f + 2*f - 45, -f - y = -3*m. Is 5 a factor of m?
True
Let c(f) = -f**3 - 5*f**2. Let h be c(-5). Suppose 0 = -3*k - 6, -2*j = -6*j - 3*k - 2. Is 3 a factor of (h - j)/(-1) + 6?
False
Suppose 3*k = -k + 36. Suppose -k = -t + 8. Suppose 1 = -2*l + t. Is 8 a factor of l?
True
Let w be ((-3)/(-9))/(4/48). Let f = -328 + 704. Does 17 divide w/(-22) + f/11?
True
Suppose 2*z - 66 = -z. Is 11 a factor of z?
True
Let v(z) = z**2 + 4*z + 1. Let n be v(-3). Is 6 a factor of (n/3)/(10/(-105))?
False
Let u(b) = b**2 - 5*b - 8. Let p(y) = -2*y**2 + 9*y + 17. Let z(c) = 3*p(c) + 7*u(c). Let l be z(10). Let h = l - 3. Does 7 divide h?
False
Is (-103)/(-7) + 10/35 a multiple of 5?
True
Let b = 11 + -8. Suppose -3*g + 37 = b*f + g, 3*f - 2*g - 67 = 0. Is 19 a factor of f?
True
Suppose x + 0*x - 724 = -5*m, m + 5*x - 164 = 0. Is m a multiple of 9?
True
Let f be (((-12)/3)/(-1))/2. Let t be (-3)/f*2*-1. Suppose 3 = 5*g - 22, 5*r - t*g - 95 = 0. Does 14 divide r?
False
Let n be (3*(-24)/(-9))/1. Let p(a) = a**2 - 7*a - 1. Let r be p(n). Suppose c = r + 1. Does 4 divide c?
True
Let z be (-1 + -1)/(7/(-14)). Suppose -5*k + 220 = 4*j, -z*j + 0*j - 20 = -k. Is k a multiple of 12?
False
Let s be 46/10 - 12/(-30). Suppose 2*f = 2*w - 86, s*w + f - 5*f = 212. Suppose 3*a - w = 23. Is a a multiple of 7?
True
Let p(i) = 20*i - 2. Let t = 1 - 0. Does 18 divide p(t)?
True
Let w = 46 - 18. Is 14 a factor of w?
True
Let q(g) = g**2 + 4*g + 6. Let w(j) = -j - 2. Let o be w(3). Let i = o + 1. Is 5 a factor of q(i)?
False
Let d = -98 + 174. Does 11 divide d?
False
Let i(g) = g**2 + 3*g + 4. Let x be i(-3). Let z be x + (0 - 0 - 2). Does 3 divide 2*1/z - -6?
False
Suppose 0 = -15*h + 10*h + 50. Does 5 divide h?
True
Does 4 divide (-1 - 12)*(4 - 0 - 6)?
False
Let a(q) = -3*q**2 - 4*q - 2. Let g(x) = 2*x**2 + 4 - 3*x + 2 - 4*x**2 - 8. Let c(i) = -5*a(i) + 6*g(i). Is c(-4) a multiple of 15?
False
Suppose -4*a + 264 = -140. Is a a multiple of 17?
False
Let o(d) = -d + 3. Let m be o(3). Suppose k - 20 = -3*t, t - 44 = -5*k - m*t. Is k a multiple of 2?
True
Does 7 divide (-40)/140 - ((-2356)/(-7))/(-2)?
True
Is 4 a factor of 8/6*2961/84?
False
Let z be 2/2*(-15)/(-5). Suppose 0 = z*i + i + 3*d - 25, -75 = -5*i + 5*d. Is 10 a factor of i?
True
Suppose 0*u + 5 = u. Suppose 3 + 7 = u*f, 4*f = -w + 24. Is w a multiple of 8?
True
Let i = 199 - 144. Does 19 divide i?
False
Suppose -3*j - 20 = 2*j, 2*l + 144 = -4*j. Let y = l - -112. Suppose 42 + y = 3*n. Is n a multiple of 15?
True
Let c = -12 + 27. Is 5 a factor of c?
True
Let w(d) = -6*d - 22. Does 5 divide w(-5)?
False
Let s(m) = 4*m + 2. Let p be s(-5). Let n = p - -11. Is 522/14 + 2/n a multiple of 17?
False
Let d(p) = 2. Let m(g) = -g + 5. Let b(x) = -7*d(x) + 3*m(x). Let w be b(-3). Suppose w = -3*j + 64. Does 18 divide j?
True
Let r be (3/1 - 4)*9. Let u = r + 22. Does 13 divide u?
True
Suppose -4 = 4*d + 20. Let g be 55/(-2) - d/12. Let h = -15 - g. Is 6 a factor of h?
True
Let q = 52 - 28. Is 14 a factor of q?
False
Is 27 a factor of ((-11)/2)/(1*4/(-56))?
False
Let b(q) be the third derivative of q**6/120 - 7*q**5/60 - 5*q**4/24 + 3*q**2. Let c be b(7). Does 12 divide (-830)/c + (-2)/(-7)?
True
Let t(c) = c**2 + 10*c + 12. Let y be t(-9). Suppose 5*w - y*d - 166 = 0, 5*d = 4*w + 3*d - 134. Suppose 2*x - w - 1 = 0. Does 18 divide x?
True
Let w(b) = -b**3 - 4*b**2 - b - 2. Let t be w(-3). Let s = t + 14. Is s a multiple of 2?
True
Let y(p) = 7*p**2 + 2*p + 3. Let m(v) = -6*v**2 - 2*v - 2. Let j(q) = -4*m(q) - 3*y(q). Let t be j(1). Suppose 3*r - t*r = -z - 36, -4*z = 0. Does 18 divide r?
True
Let i(d) = 16*d - 8. Is i(6) a multiple of 22?
True
Let k = 43 + -31. Is 9 a factor of k?
False
Let o(x) = x**2 - 2*x. Let v(u) = -u - 5. Let f be v(-3). Let i be o(f). Suppose 30 + i = g. Is g a multiple of 11?
False
Let d(n) = -83*n + 1. Does 14 divide d(-1)?
True
Is 5 a factor of 1/(1*(-3)/(-108))?
False
Let q = -4 + -44. Let i = -29 - q. Is 11 a factor of i?
False
Let b(c) = -3*c + c**3 + 7*c - 9*c**2 + 8 + 4*c. Is b(8) a multiple of 8?
True
Let u be -1 - (1 - (-1 + 2)). Let h(j) = -21*j**3 + 2*j**2 + 2*j + 1. Let r be h(u). Suppose -n + r = -0*n. Is n a multiple of 11?
True
Suppose 19*t = 27*t - 552. Is 12 a factor of t?
False
Let l(c) = c + 4. Does 4 divide l(6)?
False
Let b(a) = -2*a + 97. Let q be b(0). Suppose -3*m = -f - q, -2*m - f - f + 78 = 0. Is 17 a factor of m?
True
Suppo