/8 + (-27)/(-36). Is ((-14)/k)/(4/10) a multiple of 4?
False
Let i(z) = 3*z - 1. Let q be i(2). Suppose -3*y + 4*c + 26 = -c, 0 = 5*c + q. Does 2 divide y?
False
Is 15 a factor of 119/2 - 7/(-14)?
True
Let c = -110 - -162. Is 13 a factor of c?
True
Let a(y) = -y**3 - 4*y**2 + 15*y + 12. Is 21 a factor of a(-9)?
False
Suppose 4 = 2*g - 88. Suppose -2*j + 3*o - 2*o = -g, -2*o + 97 = 5*j. Is 21 a factor of j?
True
Let l(q) = q - 1. Let d = 3 + -2. Let z(a) = a - 2. Let v(i) = d*z(i) - 2*l(i). Is 4 a factor of v(-7)?
False
Suppose 10 = -5*i - w + 27, 14 = 2*i - 2*w. Suppose -i*c + 2 = -3*a - 4, -2*a - 4 = -5*c. Suppose -2*q = q + 5*f - 139, c = q + f - 43. Is q a multiple of 19?
True
Suppose r = -3*r + 200. Does 10 divide r?
True
Let q(t) = -t**2 + 5*t - 4. Let y be q(6). Let r = y + 19. Is 9 a factor of r?
True
Let c = 33 - 57. Suppose -2*a - 168 = -2*g, -a + 0*a = -4*g + 75. Let i = c - a. Does 21 divide i?
True
Let f(p) = 3*p**2 + 24*p + 1. Is 28 a factor of f(-13)?
True
Let v be (-10)/(2 - (-16)/(-4)). Let s(x) be the second derivative of x**4/12 - x**3/2 - 5*x**2/2 - x. Does 3 divide s(v)?
False
Let y = -160 - -245. Let g = -45 + y. Does 8 divide g?
True
Suppose -1 - 49 = -3*k - 4*z, 2*k - 3*z - 39 = 0. Is 9 a factor of k?
True
Suppose 2*a - 1 = b + a, 5*b = -3*a + 35. Suppose -5*y = -b*g + 82 - 24, 2*y = g - 16. Is 5 a factor of g?
False
Let r(t) = 3*t**3 - t**2 - t + 9. Let i(k) = -5*k**3 + 3*k**2 + 3*k - 17. Let p(z) = -4*i(z) - 7*r(z). Is p(-5) a multiple of 15?
True
Let v(a) be the first derivative of 2*a**3/3 + 9*a**2/2 - 3*a + 2. Let j be v(-7). Suppose -3*h + 5*q = -34, -4*h + 0*q + 4*q = -j. Does 2 divide h?
False
Let o(v) = 2*v**2 - 2*v - 14. Does 10 divide o(7)?
True
Suppose -6*q - q + 1092 = 0. Is 23 a factor of q?
False
Let u be -4 + 1*(-4 + 2). Let d(x) = -3 + 0 - 4 + 3*x + 0 + x**2. Is 7 a factor of d(u)?
False
Let f(a) = -a**3 - 8*a**2 - 6*a + 5. Let v be f(-8). Let n be 4/18 - 346/18. Let w = v + n. Is 15 a factor of w?
False
Suppose 5*d - 5*r - 216 = -3*r, 3*d + 5*r = 142. Is 11 a factor of d?
True
Suppose -4*g - 490 = -14*g. Is g a multiple of 5?
False
Suppose 3*h = 3*u - 12, -h - 3*h - 16 = u. Suppose u*q - q + 6 = 0. Does 3 divide q?
True
Let i(o) = o**2 + 8*o + 1. Does 16 divide i(-11)?
False
Is ((-34)/2)/(-8 - 141/(-18)) a multiple of 19?
False
Let l = 0 + -3. Is (1 - 4)*16/l a multiple of 14?
False
Suppose b + 1 = 3. Let f(q) = 7*q**2 + 7*q**2 - 4*q**2 - 3*q + q**2. Is 13 a factor of f(b)?
False
Let c = -10 + 16. Suppose 3*y - 2*b = -16, -y - 2*b - 12 = -c*b. Is 4 a factor of (y/(-8))/((-1)/(-8))?
True
Suppose 3*q = 2*r - 182 - 66, r = 2*q + 126. Is 15 a factor of r?
False
Suppose 5*l + 5*z - 17 = 73, 3*z + 3 = 0. Is l a multiple of 13?
False
Suppose f = 43 + 125. Is f a multiple of 8?
True
Let o be (-14)/4*104/4. Let s = 139 + o. Is 16 a factor of s?
True
Let v be -2 + (-4)/((-12)/15). Suppose -5*w = 2*k - 198 - 178, 3*k = -v*w + 222. Does 26 divide w?
False
Suppose 0 = -5*l - 2*d + 49, 5*d = 2*l - 24 - 13. Suppose v = 2*v - l. Does 4 divide v?
False
Let s = -60 - -160. Does 14 divide s?
False
Let p(c) = 2*c**3 + 17*c**2 - c + 2. Is 13 a factor of p(-7)?
True
Suppose -g = 2*i - 6, 7*g - 2*g + 3 = i. Suppose i*f - 6*f = -18. Is f a multiple of 6?
True
Suppose -a + 2*j - 18 = a, -4*j - 45 = 5*a. Is 10 a factor of 44/6*a/(-6)?
False
Let u = -111 - -36. Suppose 3*n + 0*m - 4*m + 75 = 0, -m = -n - 25. Let k = n - u. Does 18 divide k?
False
Let w be (-28)/(-6) + (-1)/(-3). Suppose w*q - 15 = -5. Suppose q*t = -t + 90. Is 15 a factor of t?
True
Suppose -u + 88 = -3*a, -72 = -2*u - 2*a + 104. Is u a multiple of 14?
False
Let n(k) = 3*k**3 - 1. Let r be n(1). Suppose i - 6*i = -365. Suppose r = -v + 3*b + 13, -3*v = b - i. Is v a multiple of 6?
False
Let m(s) = 14*s - 3. Let r(b) = -b**2 - 5*b - 4. Let u be r(-3). Is 25 a factor of m(u)?
True
Suppose 3*a = 5 + 16. Let o be a + 1 + -2 - 2. Let i(h) = h**3 - 3*h**2 + h - 3. Is i(o) a multiple of 6?
False
Let f be (-35)/(-14) - 1/2. Suppose -38 + 118 = f*u. Does 17 divide u?
False
Let y(k) = -2*k + 6. Let p(h) = -3*h - 4. Let r be p(3). Is 16 a factor of y(r)?
True
Let u(n) = n**2 - 3*n. Let t be u(4). Let o(z) = -2*z**2 + 7*z - 6. Let s be o(t). Is 13 a factor of (-266)/s - 4/(-10)?
False
Suppose 52 = -v + 5*v. Suppose -2*y - v = 3*s - 6*s, 4*y - 5*s + 21 = 0. Suppose 17 = t - y. Is 11 a factor of t?
False
Let m(t) = t + 2. Let b be m(0). Suppose -a - 5*n = -27, 54 = 5*a + b*n - 4*n. Does 9 divide a?
False
Suppose 4*o = b + 19, -b = -6*o + o + 17. Let c be ((-7)/2)/((-2)/(-8)). Let k = c - b. Is k a multiple of 12?
False
Suppose -3*l - 235 + 758 = 5*d, 4*d - 524 = -3*l. Does 15 divide l?
False
Let g = -8 - -13. Let v(n) = 4*n + 11. Let y(t) = -5*t - 12. Let j(f) = g*y(f) + 6*v(f). Does 13 divide j(-7)?
True
Let x be -5*(1 - 138/(-15)). Let n = x + 90. Is 13 a factor of n?
True
Let x = 56 + -32. Is x a multiple of 12?
True
Let l = -1 - -11. Is l a multiple of 3?
False
Suppose 5*p = -5*u - 10, 2*p = -3*p - 2*u + 5. Suppose 28 = -p*b + 5*b. Is b a multiple of 7?
True
Let d(k) = -k**3 + 5*k**2 - 3*k - 1. Let o be d(4). Let r = 28 + o. Is 8 a factor of r?
False
Let r be 0/((1/(-1))/(-1)). Suppose l + r*l - 49 = 0. Suppose -33 = -2*v + l. Does 12 divide v?
False
Let a(l) = -l. Let o(z) = -z**3 - 5*z**2 + 6*z + 2. Let h(d) = -2*a(d) - o(d). Is h(-5) a multiple of 9?
True
Suppose 0 = -0*o + 4*o - 208. Does 13 divide o?
True
Suppose 2*g = 2*z - 4, 0*z = -3*z + 2*g + 6. Suppose 0*h - z*h = 2*x - 30, h + 4*x = 6. Is h a multiple of 5?
False
Let f(v) = -5*v + v**2 + v + 2*v + 6. Let l be f(5). Let y = 42 - l. Does 10 divide y?
False
Suppose -95 - 50 = -5*r. Is 3 a factor of r?
False
Let q = 62 - 34. Is q a multiple of 3?
False
Suppose 0 = 4*s - 7*s + 15. Suppose -60 = -2*i - 2*k + 30, s*k + 153 = 4*i. Does 14 divide i?
True
Let w(d) = d**2 + 3*d - 7. Let k be w(-5). Suppose -k*h + 116 = 5*u, 2*h = -4*u + 71 + 5. Does 14 divide h?
True
Suppose -3*k + 5*k = -8. Is 18 a factor of k/(-14) + (-1233)/(-21)?
False
Suppose -z = 0, 2*z + 2 = q - 2*z. Is 17 a factor of 34 + 0/(q + -4)?
True
Let g(w) = -4*w - 10. Does 9 divide g(-6)?
False
Is 13 a factor of (2 + (-14)/4)/(9/(-78))?
True
Suppose 6*n - 5*n - 42 = 0. Suppose 2*s = 3*s - n. Is s a multiple of 11?
False
Suppose -2*z + 158 = s - 249, 4*s + 616 = 3*z. Suppose 4*k + 0*t + 4*t = z, 3*k = -2*t + 155. Suppose -2*d = v - k + 1, -152 = -5*d + 3*v. Does 16 divide d?
False
Suppose 56 = 2*w + 16. Is 5 a factor of w?
True
Let x(j) = -2*j - 1. Let h be x(-6). Let g be h - (0/1 - 1). Suppose 0 = l + l - g. Is 3 a factor of l?
True
Let k = 94 + -62. Suppose -v + k = v. Is 8 a factor of v?
True
Let w = -107 + 199. Is 23 a factor of w?
True
Let d = -11 - -14. Suppose -2*z = -2*h - d*z + 35, 0 = -h + z + 16. Is 8 a factor of h?
False
Suppose -2*h = -h - 5. Suppose -h*n - 3*k + 5 = -n, 3 = -3*k. Is 35/n*12/7 a multiple of 17?
False
Let j be -2 + (-2 - 0) + 31. Is 6 a factor of (-14)/(-3)*j/6?
False
Let v(n) = 0 + 7*n + 5 - 6*n. Does 8 divide v(15)?
False
Is 12 a factor of (-120)/(-3) - (6 - 3)?
False
Let r = 2 - -1. Suppose -13 - 125 = r*d. Is 10/(-15) - d/6 a multiple of 6?
False
Suppose -3*v + 5*h = 6, -4*v - 1 = h - 16. Does 17 divide 51/(-4)*(-8)/v?
True
Let g be 16 - (3 + 2 - 3). Let a = g - 7. Is a a multiple of 7?
True
Let g(u) be the first derivative of u**3/3 + 3*u**2/2 - 4*u - 2. Is 3 a factor of g(-5)?
True
Suppose 6*t + 6 = 3*t. Let m be 0*t/(-4) - -29. Suppose -1 = -3*x + m. Is x a multiple of 10?
True
Let p be (0 + -4)/((-8)/436). Let a be (p/4)/(5/10). Let g = -71 + a. Is 18 a factor of g?
False
Let y = 2 - 14. Does 16 divide 80/y*63/(-6)?
False
Suppose -3*x - x - 16 = 0. Let j = 2 + x. Is 11 a factor of (2/j)/(2/(-46))?
False
Suppose 0 = 7*q - 4*q. Suppose q = 6*r - r - 3*h - 30, 0 = -r - 2*h + 19. Is r a multiple of 9?
True
Let c be ((-80)/12 - -2)*-30. Suppose 4*i + 0*i - c = 0. Does 16 divide i?
False
Let r(u) = u**3 + 11*u**2 + 5*u + 10. Let a be r(-7). Suppose -3*g - a = -6*g. Is g a multiple of 13?
False
Let p = 9 - 5. Let z be ((-2)/(-4) - 0)*p. Is 5*z + (-6)/3 a multiple of 3?
False
Let i be -5*((1 - 3) + -2). Suppose p + i = -3*p, -124 = -4*g - 4*p. Does 12 divide g?
True
Let j(w) = w**2 - 5*w + 1. Let a be j(6). Suppose -11 = 4