. Let m(h) = 13*j(h) + 6*o(h). Is m(3) even?
False
Let m(j) = -j**3 + 6*j**2 + j. Suppose -5*c + 2*i + 22 = 0, -4*c - 3*i - 2*i + 44 = 0. Let k be m(c). Let h(v) = 2*v. Does 12 divide h(k)?
True
Suppose 11 + 4 = 3*q. Does 5 divide q?
True
Suppose -3*b + 7*q = 2*q + 17, 0 = -b - q - 3. Does 6 divide (-2 - 10/b)*36?
True
Let p(h) = h**3 + 10*h**2 - 2*h + 14. Does 3 divide p(-10)?
False
Suppose 5*v + 74 + 16 = 0. Is (27/v)/(6/(-68)) a multiple of 9?
False
Is 11 a factor of (24/20)/((-3)/(-110))?
True
Suppose -d = 4*h - 0*d - 3, 5*d - 15 = 0. Suppose 2*a - 81 = 87. Suppose 0 = -h*w + 3*w - a. Is 14 a factor of w?
True
Let q = -23 + -2. Let c = q + 63. Is c a multiple of 25?
False
Let u(k) = -k**2 + 23*k + 10. Does 20 divide u(18)?
True
Let k = -10 + 17. Does 2 divide k?
False
Let d = -1 + 1. Suppose 4*l + 0*b - 319 = 3*b, -l = 3*b - 76. Suppose -4*r - 27 + l = d. Is 13 a factor of r?
True
Suppose -j = -0*j - 6. Is j/14 - 2241/(-63) a multiple of 12?
True
Suppose 60 = 3*d - 2*s, -4*d + 3*d + s + 21 = 0. Does 3 divide d?
True
Let f(v) be the second derivative of 3*v**3/2 - v**2 + 2*v. Let x be f(6). Suppose -w + 5*w = x. Is 13 a factor of w?
True
Suppose -1 + 61 = 4*d. Let a = d - 31. Let x = a + 28. Does 12 divide x?
True
Suppose -2*u = 28 - 32. Suppose -116 = -3*m - 2*v, -v + 2*v = u*m - 89. Is 14 a factor of m?
True
Let g(h) = 10*h**2 - 41*h - 76. Let b(j) = -3*j**2 + 14*j + 25. Let n(q) = 7*b(q) + 2*g(q). Does 6 divide n(17)?
True
Let b(d) = -d**2 - 4*d - 1. Let v be b(-3). Suppose u + 3*k - 23 = 0, 3*k = 14 - v. Does 11 divide u?
True
Suppose 2*b = -0*b - 3*i - 23, -2*i - 26 = 2*b. Let z = 18 - b. Is z a multiple of 17?
True
Suppose 100 = 17*f - 648. Is 22 a factor of f?
True
Let w be 8/3 + (-1)/(-3). Is 3 a factor of w/(9/6) - -4?
True
Let m = 71 - 51. Does 8 divide m?
False
Suppose 0 = -8*x + 3*x + 180. Let j = -13 + x. Suppose 52 + j = 5*m. Is 13 a factor of m?
False
Let b(p) = 3*p - 2. Let q be b(-2). Let z(x) = -x - 6. Let v be z(q). Is 3 a factor of (v + 4)/3 - -1?
True
Let r = 28 + -18. Does 10 divide r?
True
Suppose -3*n - 4*a + 65 = -5*a, 0 = n - 5*a - 3. Suppose -3*c + 2*c - n = 0. Let k = 40 + c. Is 13 a factor of k?
False
Let f(n) = -n + 6. Let d be f(6). Suppose d*b - 36 = -3*b. Is -4*37*(-3)/b a multiple of 15?
False
Let c(t) = -2*t - 7. Let f be c(-6). Suppose 8 = -3*r + f*r. Suppose 28 = z - 3*d, 0*d = -5*z - r*d + 64. Is 5 a factor of z?
False
Let d = 26 - -38. Is 16 a factor of d?
True
Suppose m + 3*m + g = -68, -4*m + 2*g = 56. Is 7 a factor of 21*1*m/(-24)?
True
Let y be 3/15 + (-19)/(-5). Suppose t - 3 = y. Suppose -2*f = -t*f + 20. Is 2 a factor of f?
True
Is ((-1878)/(-9))/(4/6) a multiple of 17?
False
Let j = -49 - -57. Does 5 divide j?
False
Suppose 180 = -4*w + r, -3*w + w = 2*r + 90. Let n = w - -86. Is n a multiple of 16?
False
Suppose 1591 = 5*p + 521. Let u = p + -152. Does 9 divide u?
False
Suppose -5*a - 5*v = 20, -3*a - 12 = -3*v + 8*v. Let o(w) = -14*w + 3. Is 16 a factor of o(a)?
False
Let y be -11 - 0 - 56/14. Does 20 divide (-4 - 1)*258/y?
False
Suppose c - b - 68 = 0, 348 = 5*c - 0*b - b. Is 10 a factor of c?
True
Suppose z + 2*a = 37, -5*z + 163 = -a - 0*a. Is z a multiple of 11?
True
Let s(q) = q**2 + 4*q - 9. Let t be s(-8). Let y = 66 - t. Does 24 divide y?
False
Let g(z) be the third derivative of z**5/60 + z**4/6 + z**3/6 + z**2. Let l be g(-6). Let c = 21 - l. Does 5 divide c?
False
Let b(g) = -4*g + g - 2*g - 1. Let l be b(-1). Does 2 divide 111/21 + l/(-14)?
False
Let p(l) = -l**3 - l**2 + l + 46. Let y(j) = -j**3 + 5*j**2 - 4*j. Let a be y(4). Is 23 a factor of p(a)?
True
Let q(s) = -5*s**2 - 4*s**3 + 0*s**2 - 5*s + 3*s**3 - s**2 + 2. Is 16 a factor of q(-6)?
True
Suppose 4*l + 12 = 0, 5 = -v - 4*l - 3. Is 16/v*(-18)/(-8) a multiple of 9?
True
Is 8 a factor of (85/20)/((-2)/(-8))?
False
Let t(k) = k**2 - 3*k + 12. Is t(5) a multiple of 9?
False
Let r = 1 + 1. Suppose -83 - 101 = -r*w. Let p = -62 + w. Is 11 a factor of p?
False
Suppose 2*c - 4*v - 8 = 0, -4*c + v - 23 = 6*v. Let i(g) = 6*g**2 + g + 6. Let u(y) = -1. Let r(j) = i(j) + 4*u(j). Does 8 divide r(c)?
True
Let p = 6 - 4. Is 8 a factor of ((-112)/(-20))/(p/10)?
False
Let s = -60 + 108. Is 16 a factor of s?
True
Let p(m) = -m**3 - 22*m**2 + m + 38. Does 3 divide p(-22)?
False
Does 13 divide 38 - (1 + (-4 - -2))?
True
Let i(y) be the third derivative of y**5/60 + 7*y**4/24 + y**3/2 - 6*y**2. Does 4 divide i(-8)?
False
Let z = -5 - 0. Let r(n) = -n**2 - 4*n + 7. Let v be r(z). Suppose 5*m + 3*u = 84, 3*m = -v*u + 6 + 44. Is m a multiple of 7?
False
Suppose 3*y - 2*y = 16. Does 16 divide y?
True
Let g(q) = q + 84. Let j be g(0). Suppose 0 = -2*l + f - j, 0*l + 3*f - 84 = 2*l. Let c = 69 + l. Is 14 a factor of c?
False
Let v = 4 + 0. Suppose 0 = -v*c - 5*o + 345, 17 + 67 = c - o. Is 20 a factor of c?
False
Suppose 0*p = 4*p - 792. Does 12 divide 3/12 + p/8?
False
Let t = 28 - 21. Is 3 a factor of t?
False
Let l = 85 - -35. Is 8 a factor of ((-10)/(-25))/(3/l)?
True
Suppose 36 = 4*p - 0*p. Suppose -p = -2*t + 9. Suppose 0 = -4*i + t + 75. Is i a multiple of 15?
False
Let z(y) be the third derivative of 5*y**4/12 - y**3/3 + y**2. Suppose -6*n + 21 = n. Is z(n) a multiple of 12?
False
Let z(d) be the first derivative of -2*d**3/3 - d**2 - 2*d - 1. Let a be z(-4). Let k = -11 - a. Is k a multiple of 15?
True
Let w = -43 - -103. Is 30 a factor of w?
True
Is 9 a factor of 368/24 + (-1)/3?
False
Suppose -12 = -f - 5*o, -o + 6 = f + 2*o. Let t be (-1)/f - 10/(-6). Suppose -t*p + 20 = -0. Is 5 a factor of p?
True
Let z = 11 + -8. Suppose 25 = 4*n + n. Suppose w - d + 2 = 31, 0 = -n*w - z*d + 129. Is w a multiple of 9?
True
Is 11 a factor of 104/12*(87/6 - -2)?
True
Let g(v) = 0*v - 4*v - v**2 + 0*v + 5. Let t be g(-5). Suppose q = -t*q + 37. Is q a multiple of 21?
False
Let s = -95 - -171. Is s a multiple of 19?
True
Let g be (90/20)/((-2)/4). Does 10 divide g/(-12) + 405/20?
False
Suppose 0 = 3*j - 17 - 4. Does 2 divide j?
False
Let a be (0 - 0) + 29 + -4. Let u(m) = 4*m**2. Let z be u(-1). Suppose -z*f = f + a, 68 = 3*b - 4*f. Does 7 divide b?
False
Let g = 8 + -8. Suppose z + g*z - 52 = 0. Is 14 a factor of z?
False
Suppose 2*l - 3*u = l - 10, -2*u + 18 = 5*l. Suppose 3*a + 5 = 4*a. Suppose 61 = 5*f - a*n - 64, 0 = f + l*n - 31. Does 10 divide f?
False
Let t(s) = s + 2. Let m be t(7). Let u = -6 + m. Does 2 divide u?
False
Let k(f) = 7*f. Let l be -2*(-1 + (-2)/(-4)). Is k(l) a multiple of 3?
False
Let b = -45 + 58. Is 13 a factor of b?
True
Let j = 22 + -15. Suppose -1 + j = -3*w, 4*v = w + 38. Is v a multiple of 9?
True
Suppose -4*y - 2*r = -1 - 9, y + 5*r + 20 = 0. Suppose 0 = 3*u - 5*z - 66, -5*u = -0*u + y*z - 70. Is 13 a factor of u?
False
Let y be (-3 + 0)/1 - -2. Let a(k) be the first derivative of -37*k**4/4 + k**2 + k - 1. Does 18 divide a(y)?
True
Let d = -3 - 3. Let q be -2*-1*9/d. Does 21 divide 3/q*-22 - -3?
False
Let y(l) = -8*l - 3. Let m(w) = w - 1. Let g(f) = 2*m(f) + y(f). Is g(-6) a multiple of 12?
False
Let k = -13 - 1. Let m(i) = i**2 + 10*i - 12. Is m(k) a multiple of 21?
False
Let l(c) = -c**3 + 8*c**2 + c - 6. Let j be l(8). Suppose 3*a - 45 = j*a - 4*u, 2*u - 8 = 0. Is a a multiple of 7?
False
Suppose 0 = -l + 6*l - 20. Let x = l - 2. Suppose x*g = 5*g - 90. Is g a multiple of 15?
True
Let t = -70 + 114. Is t a multiple of 7?
False
Let n = 10 + -2. Suppose -4*w = -4*x + n*x, -6 = -2*w + x. Does 2 divide w?
True
Suppose 6*c - 965 = -371. Is 27 a factor of c?
False
Suppose 0 = 3*z - 0*z. Suppose 2*l - 3*l - 51 = z. Is l/(-2) + 5/10 a multiple of 12?
False
Is ((-64)/2)/(-11 - -10) a multiple of 8?
True
Let w = -4 + 92. Is 22 a factor of w?
True
Suppose k = -5 + 7. Suppose k*b + b = 180. Is b a multiple of 15?
True
Suppose -8 + 0 = -4*w. Does 11 divide ((-3)/w)/(6/(-116))?
False
Let l = -32 - -71. Is 13 a factor of l?
True
Let j(m) be the first derivative of -m**3/3 - 13*m**2/2 - 14*m + 2. Is j(-11) even?
True
Suppose 5*m - 35 = 5*f, 4*f + 4 = m - 5*m. Suppose -43 = -h - 3*w, -4*h = -4*w + m*w - 211. Suppose 2*s = 5*c + 7 + h, 0 = 3*c + 9. Does 11 divide s?
True
Let s(q) = -q**3 - 9*q**2 - 5*q - 6. Let i be s(-4). Is i/(-14) + 2/7 a multiple of 2?
False
Suppose 3*d - 7 = 2. Suppose 0*j - d*j = -2*b - 18, b = -j - 4. Is 11 