21?
True
Let k(v) = -2*v**2 + 16*v + 24. Is k(8) even?
True
Let x be -4 + 1 - 292/(-2). Is 7 a factor of (-211)/(-11) - 26/x?
False
Let w(z) = -z - 7. Let r be w(-7). Let v = r + 5. Suppose -4*a + 32 = 3*t - 10, -v*t = 5*a - 50. Is a a multiple of 6?
True
Let p be 81/6*(-1 - 1). Let i = p - -43. Does 5 divide i?
False
Let m = -19 + 22. Does 3 divide m?
True
Suppose -6*d = -112 - 146. Does 5 divide d?
False
Suppose u = 3 + 4. Is 6 a factor of u?
False
Let r = 8 - 8. Suppose v = 3*x + 148, -3*x - 311 = -2*v - r*x. Suppose -4*i + v - 7 = 0. Is 13 a factor of i?
True
Let u(h) = -h**3 + 3*h**2 + 4*h. Let c be u(4). Let q(f) = f**3 + f**2 - f + 40. Let x be q(c). Let b = x - 20. Does 10 divide b?
True
Suppose -4*q - h + 9 = -39, 3*q = 4*h + 36. Is q a multiple of 7?
False
Let i(c) = 7*c - 3. Let d(l) = l**2 + 2*l + 5. Let a be d(-2). Is i(a) a multiple of 12?
False
Suppose -2*b = 1 - 7. Suppose 37 + 8 = b*c. Is 10 a factor of c?
False
Suppose 0*m + 2*m - 93 = -3*i, -3*m + 123 = 4*i. Is 11 a factor of i?
True
Let p be 1*-1 + 6 + -5. Let h be p/(2 + 0) - -4. Does 2 divide 60/14 + h/(-14)?
True
Let t(v) = 90*v**2. Let z be t(1). Suppose -4*u - 4*p - p + z = 0, -5*u - 4*p = -108. Suppose u = -5*j - 5, 75 = 5*a + j. Is 8 a factor of a?
True
Let n = 54 + -32. Suppose 46 = 4*y - n. Is y a multiple of 17?
True
Let c = 195 + -139. Suppose 0 = -5*r + r + c. Does 4 divide r?
False
Let r(c) be the second derivative of c**7/2520 - c**6/720 - c**5/60 + c**4/3 + 2*c. Let u(j) be the third derivative of r(j). Does 18 divide u(-4)?
True
Let r(u) = 13*u**2 + 3*u + 1. Let n = 11 + -13. Does 20 divide r(n)?
False
Let v = 48 + -15. Does 12 divide v?
False
Suppose 0 = -u - 3*u + 8. Suppose 4*y + 3*b + 8 = u*b, 5*b = y + 2. Is 9 a factor of 40/(0 - y) - 2?
True
Let d(m) = -m**3 + 4*m**2 + 9*m + 9. Let b be d(7). Is b/(-10)*6/5 a multiple of 4?
False
Let l(n) = -2*n - 9. Let y = -23 + 15. Is 2 a factor of l(y)?
False
Let k = -52 + 156. Does 12 divide k?
False
Let r = 9 + -3. Let x(i) = 8*i - 5. Is 9 a factor of x(r)?
False
Suppose 12 = 2*w + 2*w. Suppose -w*c - c = -16. Is 2 a factor of c?
True
Suppose 3*j + 2*j = 90. Does 5 divide j?
False
Let i(l) = 3*l + 2. Let z be i(6). Let m = 5 + z. Is m a multiple of 19?
False
Is 18 a factor of ((-1)/2)/(6/(-24)) - -150?
False
Suppose -4*a + 72 = -a - 2*h, -h - 91 = -4*a. Let v be 8/(-12) - a/(-6). Suppose 7*l - 84 = v*l. Is 7 a factor of l?
True
Let q be ((-2)/4)/(2/(-12)). Suppose 2*u - 4*u + 5*k = 5, -q*u + 4*k + 3 = 0. Suppose -u*y + 3*y = -34. Is 17 a factor of y?
True
Suppose -2*z - g + 1 = -z, -3*g = 4*z - 7. Suppose 3*k = 5*d + 244, -k - 4*d + 382 = z*k. Is 18 a factor of k?
False
Suppose -3*l + 3*z + 18 = 0, 0 = -4*l + l - 2*z + 38. Does 12 divide l - (4 + -9 - -3)?
True
Let c be (6/(-10))/((-5)/50). Suppose -8*q + c*q = -20. Is q a multiple of 6?
False
Suppose 4*x + 67 = 3*o, 0*x - 3*x + 106 = 4*o. Is 13 a factor of o?
False
Let o(w) = w**2 - 6. Let y be o(-3). Let d = -8 - -13. Suppose -y*i - 88 = -d*i. Does 22 divide i?
True
Let z = 0 - -2. Let g(b) = 4*b**3 + 3*b**2 + 2*b - 2. Let j(v) = 17*v**3 + 12*v**2 + 7*v - 9. Let k(h) = z*j(h) - 9*g(h). Does 14 divide k(-3)?
False
Let p be (-16)/10 - 24/(-40). Is 27 a factor of p*108/16*-4?
True
Suppose -2*a + 5*g + 40 = 0, 0 = 5*a + 3*g - 2*g - 100. Let w = 43 - a. Does 15 divide w?
False
Suppose -3*l - 28 = -226. Suppose 5*v - l = 14. Is 7 a factor of v?
False
Suppose 2*u + 3*w + 51 - 15 = 0, -4*w = 8. Let p be 4/(-2) + u/(-3). Suppose 2*v + 6 - 22 = -5*d, -p*d = 0. Is v a multiple of 4?
True
Let g = 519 - 370. Is g a multiple of 4?
False
Suppose -2*g = -5*g. Let t(k) = -k**2 + 3*k + 3 + 2*k**2 + g. Is t(-5) a multiple of 7?
False
Let g(w) = w**3 + 9*w**2 + 8*w + 7. Let l be g(-8). Let s(a) = a**2 - 7*a + 4. Let h be s(l). Suppose 8*q - 72 = h*q. Is q a multiple of 6?
True
Let n = 8 + 52. Suppose 0*c = -4*c - n. Does 7 divide (-2 + 1)*(c + 1)?
True
Suppose -4*s + 3*s = -4*b, -4*b - 3*s = -16. Let v be 0/((-2 + b)/(-1)). Suppose v = -5*k - 3*x + 62, x - 4 = -0*x. Is k a multiple of 10?
True
Let o(u) = -u**3 + 7*u**2 - 5*u + 12. Does 3 divide o(6)?
True
Let z = -41 - -89. Is z a multiple of 23?
False
Let a(z) = -z**2 + 2*z. Let d be a(2). Suppose d = 3*l - 2*l - 22. Suppose -3*g + 58 = l. Does 12 divide g?
True
Suppose 5*y + 3*r - 117 = 0, -5*r - 14 = -34. Is 21 a factor of y?
True
Let w(r) = -15*r**2. Let o be w(2). Is 5 a factor of (6/4)/((-9)/o)?
True
Does 17 divide 3 + (47 - (-2 + (3 - 1)))?
False
Let s be (6/(-18))/(3/(-405)). Suppose 3*d - 2*x = 24 + 60, -2*d + 5*x = -s. Is 7 a factor of d?
False
Let o(l) = 8*l + 4. Let i(f) = -f**2 - 8*f + 6. Let a be i(-9). Let r(v) = 15*v + 8. Let u(m) = a*r(m) + 7*o(m). Is u(4) a multiple of 24?
True
Let y = -3 + 5. Does 2 divide y?
True
Suppose -2*m - 3 + 7 = 0. Suppose 5*d + 55 = m*z, -4*d = -2*z - 3*z + 112. Let r = z - 7. Is 13 a factor of r?
True
Let f(w) = w**2 - 6*w + 7. Suppose -2*h + 10 = 2*h - 2*k, 0 = h + 2*k - 15. Suppose 0 = -i + h*i - 28. Is 7 a factor of f(i)?
True
Let x(k) = -k**3 - 7*k**2 + 4*k + 4. Let l be x(-8). Suppose -4*r + g = 7 - 34, 4*r = 4*g + l. Does 11 divide 2/(-3)*(-261)/r?
False
Suppose -1 + 3 = k. Is k even?
True
Let i(q) = -3 - q**2 - 6*q**2 + 3*q**3 - 2*q**3 - q**2 + 2*q. Let o be i(7). Let t = 1 - o. Is 16 a factor of t?
False
Let j be (-975)/(-4) + 3/12. Suppose -j = 5*z - 944. Suppose 0 = 3*c + 5*h - z, 4*h - 212 - 4 = -5*c. Is 20 a factor of c?
True
Suppose w - 12 = 4*w. Let p(y) = -y**3 - 5*y**2 - 6*y - 5. Let n be p(w). Suppose 0 = n*x - 3*s - 93, -5*x + 126 = -x - 2*s. Does 16 divide x?
True
Let o = 30 + -4. Let y = o + 4. Is y a multiple of 15?
True
Let j(d) = d**3 - 8*d**2. Let n(c) = -c**3 + 9*c**2 + 1. Let k(f) = 4*j(f) + 3*n(f). Let m be k(5). Suppose 5 = -m*h + 17. Is 4 a factor of h?
True
Let u(c) = c**2 - 9*c - 9. Is 27 a factor of u(-6)?
True
Let l(t) be the third derivative of t**5/60 + t**4/12 - t**2. Let n be l(-2). Is 7 a factor of (n - 1)/(1/(-10))?
False
Suppose -639 = 3*u - 12*u. Is 12 a factor of u?
False
Suppose 2*l - 37 + 3 = 0. Suppose -3*g + 3*r + 81 = 0, r + l = -2*g + 56. Is 11 a factor of g?
True
Suppose 4*m - 585 + 221 = 0. Does 9 divide m?
False
Suppose -5*q - 170 = 280. Let j = -20 - q. Suppose -4*h - y + 121 = h, -2*y - j = -3*h. Is 14 a factor of h?
False
Let d(f) = -f**3 - 9*f**2 - 8*f - 8. Is d(-9) a multiple of 20?
False
Let d be 215/(-2)*4/(-5). Suppose t + 21 = d. Does 17 divide t?
False
Suppose 0 = -q + 2*s + 39, 0 = -5*q + 4*s + s + 205. Suppose 0 = k - 7 - q. Is 10 a factor of k?
True
Let d(y) = 31*y**2 - 1. Let r be d(1). Let i = r + -19. Does 4 divide i?
False
Let j(g) = 3*g + 1. Let i(m) = m - 2. Let x be i(3). Let f be j(x). Suppose 4 + 36 = f*d. Does 8 divide d?
False
Suppose 14 = -4*w - 2*i, -w = -6*i + i - 13. Does 12 divide 18*((-8)/(-3) + w)?
True
Suppose -5*u + 639 = 219. Is u a multiple of 12?
True
Suppose 198 = -s - 4*u - 17, -3*s - 621 = 4*u. Is (-1)/(-5) + s/(-35) even?
True
Let v(f) = -f**2 + 1. Let b be v(-1). Suppose 3*h = 2*u - 19, 2*h + 2 = -4*u - b. Let a = -2 - h. Does 3 divide a?
True
Let d be (-2 - 57/(-3))*-1. Let h be (-14)/(-4)*4*2. Let x = d + h. Does 5 divide x?
False
Let g(a) = a**3 + 7*a**2 - 2. Let y be g(-7). Does 14 divide ((-16)/(-10))/(y/(-35))?
True
Let d = 9 - -16. Suppose -2*a = -5*k - d, 3*a + 2*k + 20 = -2*k. Suppose 0 = w - a*w - 20. Is 7 a factor of w?
False
Suppose 0 = -2*s - 1 + 111. Is s a multiple of 11?
True
Suppose -11*j = -10*j. Suppose 2*v - 18 = -j*v. Is 3 a factor of v?
True
Suppose 0 = -5*g + 3*g + 4. Suppose 0 = n + n - 2*y - 178, -g*y = 10. Suppose 0 = 3*d + 2*f - 3*f - 46, 0 = -5*d - 2*f + n. Is 8 a factor of d?
True
Let j(b) = -b**2 + 7*b + 12. Is j(8) even?
True
Let g = 2 - -16. Is 3 a factor of g?
True
Let a(q) = -q**2 + 8*q - 8. Let d be a(6). Suppose 43 = d*i - f, -2*i - 2*f - f = -25. Is 7 a factor of i?
False
Let k = -8 + 13. Let c = k - -1. Suppose -v + c = 2*v. Does 2 divide v?
True
Let x(d) = d**2 - 3*d - 2. Let l be x(4). Suppose -g = l*g. Suppose j + 100 = 4*c - 3*j, g = 4*j + 20. Is 11 a factor of c?
False
Suppose 5*i + 124 = -181. Let b = -35 - i. Is b a multiple of 9?
False
Let m(k) = 2*k**2 - 6*k - 8. Is 18 a factor of m(8)?
True
Suppose z + 16 = 5*r, -5 = -3*r - z + 11. Let s(l) = 