m = -v - q. Is 6 a factor of m?
True
Let d be (6 + 0)*(-2 - -1). Let o = 34 + d. Suppose -g + 0*g + o = 0. Does 14 divide g?
True
Suppose -79 = -7*c + 194. Is c a multiple of 8?
False
Let b(o) be the third derivative of o**4/24 + 4*o**3/3 + 2*o**2. Let t be b(-5). Suppose -3*p + j + 16 = 0, 2*p = p - t*j + 2. Is p a multiple of 2?
False
Let a(f) = f + 4. Suppose -4*t - 27 = -3*r, -r + 7 = -t - 0*r. Let m be a(t). Is (1/m)/(3/(-24)) a multiple of 3?
False
Suppose 0 = -6*d + d. Suppose -t - 2*t + 9 = d. Is t a multiple of 2?
False
Let k = 72 - 39. Is 7 a factor of k?
False
Let s(f) = -f**3 - 8*f**2 + 26*f + 7. Is 12 a factor of s(-11)?
True
Let i = 94 - 27. Does 30 divide i?
False
Suppose 0*g = -3*g + b + 35, 0 = -g + 4*b - 3. Let w = 42 - g. Does 15 divide w?
False
Suppose 2*u + 4*z = 130, 4*u = 2*z + 16 + 234. Does 21 divide u?
True
Suppose 3*b - b = 108. Is b a multiple of 27?
True
Let c(q) = 5*q - 21. Let k be c(5). Let t(d) = 7*d**2 - 3*d - 4. Let v be t(-3). Suppose -36 - v = -k*l. Is l a multiple of 14?
False
Let m = 4 + 1. Suppose m*y = 9*y - 112. Is 11 a factor of y?
False
Let a(t) = t - 2. Let o be a(4). Let q(p) = -2 + 10*p**2 + p - 3*p + 4*p. Is 14 a factor of q(o)?
True
Let v = 27 - -39. Does 23 divide v?
False
Does 7 divide (-1 - (-15)/9)/(6/441)?
True
Let k(g) = g**3 + 6*g**2 - 6*g + 7. Let z(s) = s**3 + 5*s**2 - 6*s - 7. Let h be z(-6). Let x be k(h). Is 27 + (x + 2)*1 a multiple of 16?
False
Let t(v) = -8*v. Let j be t(-1). Suppose r = 8 + j. Does 16 divide r?
True
Let t be (-23)/(-5) + (-6)/(-15). Suppose -2*f + j + 2 + 2 = 0, -3*f - 16 = 4*j. Suppose t*l = -f*l + 60. Is 11 a factor of l?
False
Let s(r) = -r**2 + 7*r - 5. Let b be s(5). Suppose 4*x - 3 = -z, -b*z + 33 = 2*x - 18. Is 5 a factor of z?
False
Suppose 2 = -i + 2*c, -5*i - 7*c + 5 = -2*c. Let w be -4*(i - 63/6). Suppose 4*p - 5*n - w = 15, 5*p = 3*n + 68. Does 5 divide p?
False
Suppose -b + 74 = -2*i + 5*i, -4*i = -5*b + 389. Is 11 a factor of b?
True
Let o be 0*2*3/6. Suppose 3*r - 10 - 23 = o. Is 11 a factor of r?
True
Let a = -19 - -77. Suppose 2*n + 6 = 2*z, 2*z + 3*n = 2*n + 6. Suppose -v - z*v = f - a, -2*v + 30 = f. Is 7 a factor of v?
True
Suppose -5*l + 4 = -s, -3*s - 12 = l - 4*l. Suppose f + 2*b - 8 = -0*f, l = -3*b - 6. Suppose 4*n + 5*g = 127, g = 5*g - f. Is 14 a factor of n?
True
Let a(y) = -y**2 + 15*y - 6. Does 6 divide a(11)?
False
Let o be (-1)/(-3) - (-14)/(-6). Let d be 1*(0/o)/(-3). Suppose 5*b - 27 = -2*l, 2*l - 5*l + 3*b + 9 = d. Is 3 a factor of l?
True
Let x = 62 + 22. Suppose -5*u + 5*t + 51 = -x, 0 = -4*t - 20. Suppose o - u = -y, o + 2*o - 82 = y. Is o a multiple of 11?
False
Is 13 a factor of (-118)/(3/((-12)/8))?
False
Let f(k) = 5*k**2 + 3*k - 5. Let w be f(-4). Suppose 267 = -3*h - w. Is (-1670)/h - (-2)/(-11) a multiple of 15?
True
Suppose 4*i + 18 = 2*i. Is 19/3 - (-3)/i a multiple of 2?
True
Suppose w = -4*w + 295. Is 19 a factor of w?
False
Does 2 divide (-28)/(-3) - (-2)/(-6)?
False
Suppose -2*q + 8 = 0, -2*f + q = 2*f + 4. Let o be -3 + -1 + f/1. Let c(b) = b**3 + 6*b**2 + 4*b - 5. Is c(o) a multiple of 11?
True
Let h = -13 + 30. Suppose 4*w = h + 11. Let c = 17 - w. Is c a multiple of 7?
False
Let k(r) = -37*r**3. Let y be k(-1). Is y*(-3 + (-8)/(-2)) a multiple of 12?
False
Suppose 4*o - 44 = 3*o. Is o a multiple of 5?
False
Suppose 0 = z + 4*z + 2*l - 76, -3*l = 2*z - 26. Suppose 0 = 2*t - t - z. Is 16 a factor of t?
True
Let y be 0/2 + (1 - 0). Suppose -2 = -2*x + 4. Let v = x + y. Is v a multiple of 2?
True
Is 35 a factor of 2/(10/(-15)) - -257?
False
Let b = 3 + -2. Suppose 0 = k - 6 - b. Is k a multiple of 7?
True
Let n(j) = 3*j**2 - 4*j. Let x be n(3). Is ((-48)/x)/2*-5 a multiple of 3?
False
Let y be 338/6 - (-1)/(-3). Suppose 0 = x + 3*x - y. Does 4 divide x?
False
Let u(k) = -23*k - 21. Is u(-7) a multiple of 19?
False
Let v = -6 - -3. Does 5 divide (-2 - 1*v)*6?
False
Let j(u) = 2*u - 1. Let r be j(6). Let a = r + 5. Does 16 divide a?
True
Let w = 65 + -20. Let j = w + -17. Is j a multiple of 18?
False
Suppose 4*c = -5*g + 139, -25 = -4*c - 4*g + 115. Does 10 divide c?
False
Suppose -4*u + d + 82 = -103, 3*u + 5*d = 110. Does 45 divide u?
True
Let h(p) = -p**2 - 5*p - 3. Let l be h(-3). Suppose 4*n - l*n = 22. Does 11 divide n?
True
Suppose 185 = 5*p + 3*g, 3*p + 2*g = 2*p + 37. Does 27 divide p?
False
Suppose 7 + 5 = 4*p. Suppose 0 = -5*i - 10, -4*x - p*i + 176 = -182. Suppose -x = -3*h - 40. Is h a multiple of 7?
False
Suppose 597 = -2*l + 7*l + 3*b, 4*l + 3*b = 477. Is 30 a factor of l?
True
Suppose -88 = -3*o + 5*y, -5*y = 3*o - 80 + 12. Is 13 a factor of o?
True
Let u = 11 + -9. Suppose u*g - 1 = -5. Is 0 + (g - -43 - 2) a multiple of 13?
True
Suppose j + 45 = 199. Is j a multiple of 11?
True
Let a(d) = 2*d. Let n be a(1). Let s(b) = -b**2 + 4*b - 1. Let c be s(n). Suppose 0*t - c*t + 15 = 0. Does 5 divide t?
True
Suppose -f + 7 - 1 = 0. Suppose 0 = 5*i - f*i + 19. Does 5 divide i?
False
Let d(y) = -7*y - 2. Let v(c) = c**3 - 8*c**2 + 2*c - 10. Let a be v(8). Let k(q) = -q + 3. Let g be k(a). Is 19 a factor of d(g)?
True
Let s(f) = 3*f - 3. Let q = -5 + 9. Suppose 4*k + 7 = 5*v - 28, 3*v + q*k = 21. Is s(v) a multiple of 18?
True
Suppose 0 = p + p + 3*s - 177, p - 86 = s. Does 19 divide p?
False
Let i(d) = 133*d**2. Let p be i(-1). Suppose -1 = 4*o - p. Is 14 a factor of o?
False
Let y = -5 + -14. Let w = y - -39. Is 10 a factor of w?
True
Is 41 a factor of (1/1)/((-2571)/(-642) - 4)?
False
Suppose 9*n + 1080 = 15*n. Is n a multiple of 30?
True
Let d(h) = 4*h**2 + h - 10. Does 12 divide d(4)?
False
Suppose -3*x = 2*d - 85, -2*x - 2*x = 3*d - 126. Does 19 divide d?
True
Suppose 2*m = 2*j + 14, 5*j + 33 - 10 = 2*m. Is m + -6 + (8 - 0) a multiple of 6?
True
Let r(a) = a**3 - 3*a**2 + 5*a + 2. Suppose 5*z - 13 - 11 = -2*n, 4*n + 4 = 3*z. Does 19 divide r(z)?
True
Let k(z) = 4*z + 10. Is 11 a factor of k(5)?
False
Let k(f) = -f**3 + 3*f**2 - 1. Let l be k(2). Let j(g) = 4*g**2 + 3*g - 3. Is j(l) a multiple of 14?
True
Let r(z) = z**2 + 6*z + 4. Let w be r(-6). Suppose 0 = -w*c + m + 31, 4*c - 2*c = m + 17. Does 4 divide c?
False
Let j = 101 + -9. Is (0 - -2)/(4/j) a multiple of 23?
True
Let j(m) be the first derivative of 5*m**5/4 - m**4/6 + m**3/6 - 3*m + 1. Let b(n) be the first derivative of j(n). Is b(1) a multiple of 12?
True
Let o(k) = k**3 - 7*k**2 - 7*k - 4. Let n be o(8). Let i be 2/2*(6 - 1). Suppose n*j - i*u - 92 = 0, -j - 2*u + 12 = -11. Is j a multiple of 8?
False
Suppose 179 = 10*t - 9*t. Is 16 a factor of t?
False
Suppose 12 = 2*g + 2. Let s = g - 2. Is 13 a factor of 42/9*s + -1?
True
Let t(r) = -r - 2. Let m be t(-7). Suppose -8 = -4*g + 12. Suppose -3*h - u = -94, m*h - g*u - 183 = -53. Is 15 a factor of h?
True
Let v be 0/(-1) - 1 - 1. Let s be (2/v)/(2/(-140)). Suppose 0 = -3*l + 5*u + 35, -7*l + 3*l - 5*u = -s. Does 15 divide l?
True
Suppose -14*w = -16*w + 108. Is 19 a factor of w?
False
Suppose -5*f + 71 = 5*d - 4*f, f = 4*d - 64. Does 15 divide d?
True
Let r(x) = 60*x + 1. Let u be r(1). Let h = 103 - u. Suppose 3*w - h = -0*w. Does 14 divide w?
True
Let i(g) = -12*g. Let o be (-4)/(-6)*(-15)/10. Let n be i(o). Suppose -n = -l - k, l + 2*k = -k + 16. Does 5 divide l?
True
Suppose 3 + 2 = -3*t - b, 13 = t + 4*b. Let n = t + 5. Is n a multiple of 2?
True
Let h(a) = -3*a**2 - 3*a - 8. Let n(s) = s**2 + s + 3. Let j(f) = -6*h(f) - 17*n(f). Is j(4) a multiple of 6?
False
Let p = -11 + 17. Does 16 divide (p/(-15))/(2/(-290))?
False
Let t = -29 - -38. Let f = 39 + -23. Let b = f - t. Is b even?
False
Does 16 divide (-120)/50*20/(-3)?
True
Let s(u) = -u**3 + u**2 - u + 1. Let q be s(4). Let f = -25 - q. Is 13 a factor of f?
True
Suppose 0 = 3*n - 131 - 13. Suppose c + 2*c - 5*d = 148, -c + 2*d + n = 0. Does 14 divide c?
True
Suppose -2*t = 0, -f + t = -3*t - 3. Suppose f*x = 2*s - 4*s + 134, 3*s = -5*x + 200. Suppose -3*a = -5*p - 4*a + s, -4*p + 2*a + 56 = 0. Is 8 a factor of p?
False
Let h(k) be the first derivative of -6*k + 3 + 7/3*k**3 + 3/2*k**2 + 1/4*k**4. Is h(-6) a multiple of 11?
False
Suppose q + 3*a + 14 = 4, 2*q = -5*a - 16. Suppose -2*d - q = -0*d. Is ((-2)/(-4))/(d/(-8)) even?
True
Suppose -4*d - 48 + 12 = 0. Let n = d - -15. Suppose -4*c = -q - c + n, 0 = 2*q - 4*c - 16. Does 6 d