pose -k + a = -3. Is k a multiple of 4?
False
Suppose -2*h = -f - 245, h - 5*h + 4*f = -500. Does 15 divide h?
True
Let n be 2/(4 - (-1 - -3)). Let p(k) = k**3 - 6*k**2 - 7*k - 6. Let m be p(7). Is 7 a factor of m*4/(-3) - n?
True
Let u be -9*-1*(3 + -2). Let l be 8/(-20) + 51/15. Suppose 0*m + u = l*m. Is m a multiple of 3?
True
Let z(g) = -g - 6. Let b be z(-9). Let h(l) = -1 + 5*l + 2 - 4*l. Does 2 divide h(b)?
True
Does 3 divide (-118)/(-6) + (-7)/(-21)?
False
Let x = 3 + -2. Suppose -3*m = 3*c - 33, -x = -4*m + 5*m + 5*c. Suppose -2*u + 33 = -a - 2, -u = -4*a - m. Is u a multiple of 8?
False
Suppose -4*i + 51 = v, -4*i + 36 = -v - 17. Is 10 a factor of i - (2 - (-3 + 2))?
True
Let k(m) = m**3 - 10*m**2 - 9*m + 1. Let i = 16 + -5. Is k(i) a multiple of 23?
True
Suppose 0*i + 6*i = 120. Is i a multiple of 20?
True
Suppose -2*k + 46 = -50. Does 8 divide k?
True
Suppose f = 23 + 19. Let l be ((-36)/f)/((-2)/14). Let z = l - 3. Is 3 a factor of z?
True
Let n(k) = k + 10. Let b be n(-6). Let u be b/2 + (-1 - 1). Suppose 0 = -u*f + f - 26. Is 13 a factor of f?
True
Let l be (0/2 + -1)*-43. Let r be (-4 + 2)*(-166)/4. Let t = r - l. Is 14 a factor of t?
False
Suppose -5*c = 2*q - 201, 3*c = -2*q + 151 + 56. Suppose 3*j + j = q. Does 9 divide j?
True
Is 14 a factor of 31*(0 + -3 + 4)?
False
Let l(z) = z**3 - 2*z**2 + 2*z - 1. Suppose -q + s = -1, -q + 5*s - 4 + 1 = 0. Let b be l(q). Is 11 a factor of -4 + 9/b - -34?
True
Let m(k) = -k + 6 + 5*k + 2. Is 12 a factor of m(4)?
True
Let x = -3 - -4. Suppose 0 = 4*m + x - 5. Suppose -m = -u + 23. Is u a multiple of 9?
False
Let h(k) be the first derivative of -k**4/4 - k**3 + 4*k**2 + 4*k - 1. Let q = 25 + -30. Is 9 a factor of h(q)?
False
Suppose 5*u - 3*o = -7, 0*u - 7 = 4*u - o. Let z(a) = a**3 - 3*a**2 - 2*a + 2. Let w(v) = v**2. Let p(d) = -w(d) - z(d). Is 5 a factor of p(u)?
True
Let j(t) = 9*t**2 + 3*t**2 + 7*t**2 - t + 9*t**2. Let g be j(3). Suppose 0 = 5*y + 34 - g. Does 15 divide y?
False
Let j be 2/(-4) - 5/(-2). Let q(h) = -11*h + 2. Let f be q(j). Let z = f - -51. Is 12 a factor of z?
False
Suppose 0 = s + 2*s - 48. Suppose 0 = -4*n - s, -n - 3*n = -5*o - 9. Let w(f) = -f**3 - 3*f**2 + 2*f - 4. Is 12 a factor of w(o)?
True
Let s be 3/(2 + (-39)/21). Let d = s + -3. Suppose -j + 4*j = d. Is j a multiple of 6?
True
Let q(g) = -10*g**3 + 2*g**2 - g. Let f be q(1). Let z = f + 56. Is z a multiple of 13?
False
Is 46 a factor of (22 - 7)*-4*46/(-12)?
True
Suppose -4*m - m + 60 = 0. Is 4 a factor of m?
True
Is 28 a factor of 1 + ((-12)/(-30))/(1/395)?
False
Let r = 0 + -12. Suppose -2*b + 5*v + 45 + 18 = 0, 4*b = 2*v + 134. Let s = b + r. Does 11 divide s?
True
Let c(d) = -d**2 + 13*d - 10. Let g = 1 + 10. Is c(g) a multiple of 7?
False
Let p = 10 + -10. Suppose 0*h - 2*h - 8 = p. Is 10/20 + (-18)/h even?
False
Suppose 2*s = -2*o + 162, 4*s - 7*s = o - 237. Is 4 a factor of s?
False
Let h(s) = -5*s. Let p be -2 - (1 - 0)/(-1). Let w be h(p). Suppose 0 = 3*y - w*y + 60. Is 15 a factor of y?
True
Let w be 15/(-5) + 6*1. Suppose -4*r = -w*r - 10. Suppose -5*m = -40 + r. Is m a multiple of 3?
True
Suppose 2*d + 4 + 4 = 0. Is 17 a factor of d*(-26)/4 - -1?
False
Let h be (0 - (1 + -3))/2. Suppose -3*s + 2*s + 3 = 0. Let u = s + h. Does 3 divide u?
False
Let v be (0 - 1) + -1 + -1. Let d be 2 - (2 - (2 - v)). Suppose 0 = -a + d*w + 31, -1 = -a + w - 2*w. Is a a multiple of 6?
True
Let d(b) = -b**2 + 5*b + 6. Suppose 4*z + 8 = 2*z. Let a be d(z). Let r = -20 - a. Is r a multiple of 10?
True
Let x = 242 - 170. Suppose 3*i - x = -i. Is i a multiple of 9?
True
Let q(w) = -w**2 - 12*w + 6. Let t be q(-13). Let d = 17 - t. Is d a multiple of 24?
True
Let z be (-3 + 3/1)/(-1). Suppose z*h + 102 = 2*h. Does 17 divide h?
True
Let l(i) = i - 5. Let a be l(7). Suppose -5*h = 3*m - 183, -m + 62 = -0*m + a*h. Is 18 a factor of m?
False
Let c = 1 - -13. Suppose 2*r = 26 + c. Is r a multiple of 10?
True
Suppose 40 = -2*y - 3*y. Let l be (2 - 1) + y*3. Let p = -8 - l. Is p a multiple of 15?
True
Let y = 4 - 1. Suppose -s - 5*j = -35, 5*s - 8*j = -y*j + 55. Is s a multiple of 14?
False
Suppose 3*l = 7*l - 20, -5*l = -2*r + 5. Suppose -2*v = -5*v - r. Let y(c) = c**2 + 2*c. Is y(v) a multiple of 4?
False
Let u = 10 - -26. Suppose -5*v = 5*n - 65, n + u = 3*n - 3*v. Does 6 divide n?
False
Let s = 13 + -8. Suppose 0 = 2*o + a - 9, 0*o - s*a = o + 9. Suppose 2*z - o = z. Does 3 divide z?
True
Is 10 a factor of 20*(-3)/12*-4?
True
Suppose -200 = -3*j - 5*d, -7*d = -2*d + 10. Is j a multiple of 4?
False
Let b(z) = -4*z**3 - z**2 + z + 4. Is b(-2) a multiple of 30?
True
Let q be 2*(10/(-4))/5. Let m = 5 + q. Suppose -5*p + 21 = -j, m = 2*j - 4. Does 5 divide p?
True
Suppose -2*d - d = -4*n - 604, 3*d = -3*n + 597. Is 27 a factor of d?
False
Let n = 86 - 14. Does 12 divide n?
True
Let b be (2/(-3))/((-2)/30). Suppose -134 = -3*f + b. Is 16 a factor of f?
True
Let o be -4 + 3 - (-114 - 0). Suppose -3*r + o = u, r + u = 5*r - 139. Does 9 divide r?
True
Let k be (-3)/2*4/3. Is ((-13)/4)/(k/8) a multiple of 13?
True
Suppose 5*i + 12 = 7*i. Is i a multiple of 6?
True
Let n be (-7)/(-3) + 2/3. Suppose -8*q + n*q + 35 = 0. Is q even?
False
Does 7 divide (-1768)/(-18) - (-50)/(-225)?
True
Let b = -81 - -267. Does 31 divide b?
True
Suppose -y - 12 = -5*y. Suppose -2 = -f + y. Is f a multiple of 3?
False
Let n be 5/5 - (19 - 1). Let l = 25 + n. Does 8 divide l?
True
Let z = 30 - 35. Let k(y) = -y - 6*y + 2 + 5. Is 17 a factor of k(z)?
False
Let v = 2 - 2. Is -2*(-8 + 2 + v) a multiple of 12?
True
Let y = 860 - 149. Does 6 divide y/63 + (-4)/14?
False
Suppose y + s + 3 + 12 = 0, -18 = 2*y - 4*s. Let z = y - -65. Does 25 divide z?
False
Suppose -3*a - 8 = -2*w, 3*w = -2*w + 2*a + 20. Suppose u + 3*j = -9, -u + w*u + 3*j = -3. Suppose 2*l + u*l - 55 = 0. Is 5 a factor of l?
False
Let x(l) = 17*l - 2. Suppose v - 4*k + 18 = 0, 0 = -3*v - 0*k - 4*k + 26. Does 16 divide x(v)?
True
Let v be (-1)/2 + (-14)/4. Is -2*((-2)/v - 2) a multiple of 2?
False
Suppose 2*x + 2*w - 6 = 0, -x - 5*w + 15 = 2*x. Suppose x = 4*v + 86 - 26. Is -57*(v/(-9) - 2) a multiple of 9?
False
Let j(b) be the second derivative of -b**5/20 + 2*b**4/3 - 5*b**3/6 - 3*b**2 - 5*b. Is j(6) a multiple of 18?
True
Let o(y) = -17*y - 2. Let r(z) = -z - 2. Let d be r(0). Does 14 divide o(d)?
False
Let o = 2168 - 1132. Is 2/9 + o/36 a multiple of 10?
False
Let d(w) = w - 4. Let t(c) = 1. Let m(v) = -2*d(v) - 7*t(v). Is 8 a factor of m(-9)?
False
Let t be (-2)/((-2)/15)*-1. Let b be (3/(-9))/(1/t). Suppose 4*i = l + 47, 3*i + 23 = b*i - l. Does 6 divide i?
True
Suppose 3*s - 13 = -p, -5*p + 9 = 5*s - 26. Suppose -3*c + p*d = -111, -141 = -6*c + 2*c + 3*d. Let l = c - 23. Does 5 divide l?
True
Let p(d) = d**3 - 3*d**2 - d + 1. Let f be p(3). Is 3/((f/(-36))/1) a multiple of 18?
True
Let b = -68 - -121. Suppose 4*l = -2*z + 72, -2*z - b = -3*l - 4*z. Is 19 a factor of l?
True
Let i = 3 + -2. Suppose 0 = p - i - 5. Is p a multiple of 3?
True
Let x = -7 - -5. Let t(m) = 19*m**2 - 5*m**2 - 7*m**2 - 1. Does 11 divide t(x)?
False
Let y(d) = -d + 12. Suppose 3*b - 7*b = -2*o + 8, b - 5*o = -20. Let k = -10 + b. Is y(k) a multiple of 12?
False
Suppose -k + 14 + 26 = 0. Suppose -3*q - k = -2*a, -2*q - 30 = -4*a + 58. Does 5 divide a?
False
Let d(w) = w**3 - 2*w - 1. Let o = 4 + -2. Let g be d(o). Is ((2 - g) + -7)/(-1) a multiple of 3?
False
Suppose -4*c - 1 = -13. Let z be 6 - c/(9/6). Suppose 2*l = -0*l + 2*p + z, -2*l - 4*p + 34 = 0. Does 3 divide l?
False
Let y = -38 + 13. Let f = -1 - y. Does 12 divide f?
True
Let t(p) = -2*p + 3. Let g be t(3). Let r be (-7)/(g - 0 - -2). Does 7 divide r/((-14)/(-24)) - -2?
True
Suppose 5*v - 42 = 2*v. Let m = v + -1. Let u = 31 - m. Is 6 a factor of u?
True
Let h be 0 - 2 - (-16)/4. Suppose -h*w - 2*a = -124, 5*a + 102 = w + 40. Is 31 a factor of w?
True
Let n = -266 - -449. Let m = -288 + n. Let h = -46 - m. Is 21 a factor of h?
False
Let z = 25 + -41. Let a = 26 + z. Does 6 divide 50/4 + 5/a?
False
Suppose -2*n - 4 = -3*n. Suppose 2*q = -5*i + 27, -2*q - 36 = -n*i - 0. Is 2 a factor of i?
False
Suppose -5*l + 76 = -g, -5*g + 19 = l - 17. Is 4 a factor of l?
True
Suppose -2 - 2 = -2*i. Does 9 divide (-3 - (-31)/2)*i?
False
Let y(z) be the second de