(-6). Let x be (-5 + b)*3*1. Let f = 10 - x. Is 7 a factor of f?
True
Let v(h) = 7*h**2 + 3*h - 9. Let t be v(6). Suppose -3*s = -0*s - t. Let i = s + -34. Does 18 divide i?
False
Let b(k) = -7*k**2 - 5. Let c(m) = -36*m**2 - 26. Let o(p) = -p**3 + 5*p**2 - 3*p - 1. Let j be o(4). Let x(d) = j*c(d) - 16*b(d). Is x(2) a multiple of 11?
False
Suppose -p - 2*q = -4*p + 12, -4*p + 16 = -q. Suppose -5*k + 3*h + p = 0, 4*h = 2*k - 6*k + 16. Is 2 a factor of k?
True
Let z = 1 + 2. Suppose y + z*y - 40 = 0. Is y a multiple of 3?
False
Let m(h) = -9*h + 81*h + 0*h. Let a be m(1). Let j = a - 42. Is j a multiple of 13?
False
Let d = 75 + -60. Does 3 divide d?
True
Let o(z) = -z**2 + 4*z + 2. Let n(y) = y. Let f(b) = -3*n(b) + o(b). Let m be f(2). Does 3 divide (-1)/1 - (m + -8)?
False
Suppose -4 = -4*u + 3*u. Let l be (2 - (-54 - -2)) + 2. Suppose l = u*w - 0*w. Is 14 a factor of w?
True
Suppose 4*n + 5*f - 26 = 0, -3*n - f - 9 = -34. Suppose -7 = -3*w + 11. Does 8 divide n/(-6)*w*-1?
False
Suppose -5*s - 5*w + 26 = -9, 2*w = -4*s + 38. Suppose -9*m = -s*m + 12. Suppose -7*j - 40 = -m*z - 3*j, -j = z - 12. Is z a multiple of 10?
False
Let t(q) = -q - 4 + q - q. Let x be t(-7). Suppose -x*d + 2 = -16. Is d a multiple of 3?
True
Suppose -2*q = -5*f - 23, 2*q + 0*q + 22 = -4*f. Does 17 divide (-42)/((0 - -3) + f)?
False
Suppose 0 = 3*c + 6, 2*m - 3*c - 22 = 0. Suppose 4*h = 2*h + 8. Suppose 4*w - m = h. Is 3 a factor of w?
True
Let p = 95 + -17. Is 9 a factor of p?
False
Let n be 4/8 + (-595)/(-10). Suppose 3*q = -q + n. Is q a multiple of 5?
True
Suppose -4*m = -0*m - 2*g - 324, -253 = -3*m - g. Is m a multiple of 19?
False
Let n(l) be the first derivative of -l**4/4 + 2*l**3 - l**2 + 5*l + 2. Is n(5) a multiple of 13?
False
Suppose 2*y + 2*v = 0, 3*y = -y - v - 6. Let w(f) = 6*f**3 + 4*f**2 + 4*f + 3. Let k be w(y). Is 3/2 - k/2 a multiple of 10?
True
Let o = 159 + -79. Suppose -3*u = -u - 10. Suppose -u*d + o = 2*a - 3*d, -5 = -5*d. Is 14 a factor of a?
False
Let v = -71 - -88. Is 7 a factor of v?
False
Let g = -2 + 2. Suppose 0 = -2*k - r + 19, g*k + 4*k - 26 = 2*r. Does 8 divide k?
True
Let o = 429 - 236. Is o a multiple of 53?
False
Let s(v) = 9*v**3 - 1. Let f be s(-1). Let b = 9 - f. Does 19 divide b?
True
Let y(k) = 5*k**2 + 3*k + 4. Let r be y(3). Suppose 5*u = 3*w + 59, r + 5 = 5*u - w. Suppose 5*x = 27 + u. Is 4 a factor of x?
True
Let x(g) = 27*g. Does 9 divide x(4)?
True
Let n = -11 + 8. Let g be (62/4)/(3/6). Let s = g + n. Does 14 divide s?
True
Let y = -5 + 8. Suppose 4*q = -3*o + y*q + 86, -3*o + 82 = 2*q. Does 15 divide o?
True
Suppose -3*x - 22 = 2*c - 137, 3*c - 3*x = 165. Let n = c + -37. Does 14 divide n?
False
Let t(c) = 3*c + 17. Does 17 divide t(7)?
False
Let l be 21/(-35) - 923/(-5). Suppose d - 5*d = -l. Does 23 divide d?
True
Let y(g) = -g**2 + 7*g - 2. Suppose 6 = 2*w - 4. Suppose -w*b + 18 = -2*b. Does 2 divide y(b)?
True
Does 12 divide (-503)/(-3) - (20/(-12))/5?
True
Suppose -209 = -5*m + p, -22 = 4*m + p - 191. Suppose -3*u + 12 + m = 0. Is u a multiple of 9?
True
Let v(l) be the second derivative of -l**4/12 - 3*l**3/2 - l**2 + 3*l. Does 9 divide v(-6)?
False
Let v(w) = -w + 4. Let f be v(3). Is (1 - -2) + f + 1 a multiple of 3?
False
Let c(t) = -t**3 + t**2 - t - 1. Let l(q) = -6*q**3 + 5*q**2 - 4*q - 12. Let b(g) = 5*c(g) - l(g). Suppose -6*k = -4*k. Is b(k) even?
False
Let n = 149 - 90. Does 6 divide n?
False
Suppose 3*z = -100 + 361. Is 29 a factor of z?
True
Let r(t) be the first derivative of -t**2/2 + 4*t + 2. Let u be r(0). Suppose u*y - 85 = -y. Does 15 divide y?
False
Suppose 21 = v + 2*g, 2*g + 0*g = v - 29. Does 10 divide v?
False
Suppose -6 = -4*l + 2. Suppose 2*w - 60 = -w. Suppose l*v - 46 = w. Is 19 a factor of v?
False
Suppose 3*b = 2*b + 3. Suppose b*w - 2*k - 24 + 1 = 0, -5*w - 2*k + 65 = 0. Is 4 a factor of w?
False
Does 19 divide 2 - 4 - (-41 - -1)?
True
Suppose 5*j - 2 = -12. Does 2 divide j/(-2)*(-12 - -15)?
False
Let m be 2/8 - 28/(-16). Let n be 18*(76/6)/m. Is (-4)/10 + n/10 a multiple of 11?
True
Let c(f) = -f**3 + 13*f**2 + f + 24. Is 11 a factor of c(13)?
False
Suppose 66 = 4*q - 2. Suppose 283 = -2*v - q. Does 11 divide 1/2 - v/4?
False
Let p = -9 + 26. Let m be -3 + 3/(12/(-20)). Let i = m + p. Is 9 a factor of i?
True
Let v = -9 - -15. Does 19 divide (98/v)/(1/3)?
False
Suppose 3*o + 2*o = -220. Let i = -9 - o. Is i a multiple of 20?
False
Let v(h) = 7*h**2 + h + 4. Is v(-3) a multiple of 4?
True
Suppose 4*p + 5*y = 55, -2*y = y - 9. Is p a multiple of 4?
False
Suppose -3*g - 2*g - 18 = 3*f, 3*f - 9 = 4*g. Let j(b) = -135*b - 1. Let m be j(f). Let r = m + -94. Is 20 a factor of r?
True
Let u(a) = -3*a**3 - 20*a**2 - 5*a - 24. Let t(c) = -3*c**3 + 3*c + 10*c**2 + 6 + 6 + 5*c**3. Let b(m) = -5*t(m) - 3*u(m). Is 9 a factor of b(10)?
False
Suppose -5*j + 0*z + 14 = z, 0 = j + 4*z - 18. Let n(v) = -v + 8*v + 2*v**2 - 3*v**j. Does 3 divide n(6)?
True
Suppose -2*q + 3*a + 173 + 11 = 0, 0 = 4*q + 2*a - 384. Suppose 0 = c - 5*o - q, -5*o + 355 = 2*c + 2*c. Is 18 a factor of c?
True
Suppose 3*b + 2*c + 0 + 14 = 0, -5*b - 18 = 2*c. Let r be 0*(5/b - -2). Is 6 a factor of 1*(2*3 + r)?
True
Suppose -3*h + 2*h - 75 = c, 3*h + c + 215 = 0. Suppose -2*p = -5*p + 300. Let f = p + h. Does 10 divide f?
True
Suppose -3*b + i + 17 = -i, 0 = -5*b + i + 33. Is b a multiple of 3?
False
Suppose 5*l - 5*y = 18 - 3, -4*y + 6 = 2*l. Is -5*(2 - l)*1 a multiple of 5?
True
Let i(o) = o**2 + 4*o + 13. Does 7 divide i(-8)?
False
Suppose -5*o + 110 = -205. Is o a multiple of 15?
False
Let b = -22 + 22. Suppose 7*q - 224 + 35 = b. Is 9 a factor of q?
True
Let o(k) = k**2 + 4*k + 1. Is o(-6) a multiple of 13?
True
Let x(g) = -g**2 + 1. Let j be x(-1). Suppose -5*t + 2*i + 19 = j, -t + 2*t + i = 8. Let u(c) = 2*c - 1. Does 9 divide u(t)?
True
Suppose -2*a = -4*a + 32. Does 19 divide (8/a)/((-2)/(-152))?
True
Suppose -3*y - 17 = -5*k, 4*k = k - 5*y - 17. Does 9 divide ((-27)/(-3 - 0))/k?
True
Let n(k) = 4*k**3 + k**2 - 3*k + 3. Suppose m + 4*m + 15 = 0. Let i be n(m). Does 16 divide 3*i/27*-3?
False
Suppose 78 = 5*w - 27. Is 20 a factor of w?
False
Let t(c) = c**2 - 5*c - 4. Let n be t(6). Suppose -n*j = -2*v + 102 + 2, 0 = 4*v + 2*j - 202. Suppose -m + v = 2*m. Is 6 a factor of m?
False
Let l(b) = -b**2 - 7*b - 6. Let x be l(-10). Is (4/(-6))/(8/x) a multiple of 3?
True
Let b be (-26)/(-1) + (-3 - -3). Is (2/(-4))/((-1)/b) a multiple of 7?
False
Let o(i) = -i**2 - i. Let j(m) = -6*m**2 + m + 4. Let a(u) = -j(u) + 4*o(u). Does 3 divide a(4)?
False
Let r(x) = x**2 + 3. Suppose -i + 1 = -3. Suppose 7*m = i*m. Is r(m) a multiple of 3?
True
Let m(a) = -2*a**2 + 7*a + 3. Let f be m(-7). Is 8 a factor of (2/(-3))/(4/f)?
True
Let v be 1*(-1 - 1*-4). Let a be 2/v*(3 + 0). Does 11 divide ((-3)/a)/(6/(-88))?
True
Suppose -67 = -t - 0*t. Does 13 divide t?
False
Let n = -8 + 9. Let o = 14 + n. Does 4 divide o?
False
Let g(h) = 14*h + 7. Is g(8) a multiple of 17?
True
Let x(t) = -t - 2. Let i be x(-2). Suppose 0 = -i*m + m - 11. Suppose 42 - m = p. Is p a multiple of 15?
False
Suppose -5*l - 5*x = -340, -5*l + 112 + 220 = x. Let p = l - 38. Does 6 divide p?
False
Suppose -5*y - 21 - 9 = 4*q, 3*q + 12 = -2*y. Let j(i) = i**3 + 6*i**2 - 2*i - 2. Is 6 a factor of j(y)?
False
Let w = -63 - -97. Is 17 a factor of w?
True
Suppose -33 = -d - 2*x - x, -5*x = -5*d + 105. Is d a multiple of 6?
True
Let g(q) = -7*q + 38. Is 23 a factor of g(-11)?
True
Is 15 a factor of (12/8)/((-606)/304 + 2)?
False
Let t = 1 + 4. Suppose -3*q = h + 3, 4*q + 4 = 3*h - h. Suppose 5*v - 60 = 5*z, -2*v + h*z + t*z = -36. Is v a multiple of 4?
True
Let g = -10 - -10. Suppose 63 = -g*t + 3*t. Suppose 0 = -3*n - t + 57. Is 6 a factor of n?
True
Let y(p) be the first derivative of 5*p**6/72 - p**3 + 2. Let n(r) be the third derivative of y(r). Is n(-1) a multiple of 16?
False
Let j(l) = -l**3 - 9*l**2 - l + 18. Does 7 divide j(-9)?
False
Suppose 4 = 5*z - 11. Suppose t - 6 = -z*c - 2*t, -4*c - 13 = -3*t. Is 13 a factor of 60/2 + -1 + c?
False
Does 8 divide 3*-1*96/((-8)/2)?
True
Suppose 5*i - 294 = 206. Suppose -i = -4*b + 92. Does 16 divide b?
True
Let j(x) = x**2 - x + 24. Let u(l) = -l - 3. Let b be u(-3). Is 8 a factor of j(b)?
True
Let v(a) = a**3 - 7*a**2 + 4. Let