 k be (-1 + 1)/(2 - 4). Let f(c) = c**2 + c + 20. Does 10 divide f(k)?
True
Let g(w) = 5*w + 9. Is 20 a factor of g(7)?
False
Let g(m) = -2*m + 88. Does 24 divide g(-16)?
True
Suppose -4*d = -2*b + 20, -2*d + 0*d = -4*b + 16. Let c(j) = 9*j - 2. Does 12 divide c(b)?
False
Let q(j) = -j**2 - 7*j + 7. Let c be q(-7). Suppose c*p - 33 = -2*k + 2*p, 10 = 5*k - 2*p. Is 18 a factor of k/(-10) + (-172)/(-5)?
False
Let u(h) = 8*h - 112. Does 12 divide u(23)?
True
Is 13 a factor of (-128)/(-5) + 2/5?
True
Suppose -8*k = -10*k + 136. Is k a multiple of 17?
True
Suppose -3 = g - 23. Does 4 divide g?
True
Suppose -7 = -k + 2*w, 4*k - 2*w + 6*w - 4 = 0. Suppose 4*s - 83 = -2*o - k*o, -125 = -5*s - 2*o. Does 5 divide s?
False
Suppose -84 = -2*a - 0*a - 5*b, b - 126 = -3*a. Is a a multiple of 7?
True
Suppose 3*n - b - 164 = 0, 4*b = -2*n + 3*b + 106. Is n a multiple of 18?
True
Suppose -65 = -2*p - 3*p. Is p a multiple of 13?
True
Let k(x) be the third derivative of 3*x**4/4 + 11*x**3/6 + 3*x**2. Let r be k(8). Suppose -72 = -3*z + 3*c, -7*z - 2*c = -2*z - r. Does 10 divide z?
False
Suppose -4*u = k - 405, -2*k - 2 + 112 = u. Is 20 a factor of u?
True
Let w(h) = 20*h**2 - 5*h - 3. Does 13 divide w(-1)?
False
Let d = -7 + 10. Let c(z) = 2*z + 2*z**3 - 4*z + 3*z - d*z**2 + 2. Is 8 a factor of c(2)?
True
Let b(g) = 46*g**2 - g - 2. Is 21 a factor of b(-1)?
False
Let w = -10 + 46. Suppose -a + w = 2*a. Is 12 a factor of a?
True
Let l(f) = 0*f**2 + 0*f**2 - 3*f**2 + 2*f**2 - 7*f + 4. Is l(-6) a multiple of 6?
False
Let i = -47 - -108. Is 33 a factor of i?
False
Let d be (6/5)/(4/10). Suppose 0*g - 4*g + 40 = -4*p, 4*g - 42 = d*p. Does 12 divide g?
True
Let g(s) = -s**2 + 8*s - 1. Let q be g(6). Suppose -f + q = -3. Is 14 a factor of f?
True
Let r = 25 + -12. Let o = r - -4. Is o a multiple of 7?
False
Let m(d) = 19*d**2 - 4*d + 6. Let h be m(4). Let t = h + -209. Suppose 9*u = 4*u + t. Is u a multiple of 6?
False
Let k(f) = 12*f**2 - f - 1. Let q be k(-1). Suppose -3*n + 2*r = -20, -r + q = 2*n - 2*r. Is n a multiple of 4?
True
Let w be (-9)/12 - 693/(-12). Suppose -w + 242 = 5*m. Does 22 divide m?
False
Let g(x) = -x. Let q(d) = -d**2 - d + 2. Let j be q(-3). Let s be g(j). Suppose -36 = -4*h - s. Is 5 a factor of h?
False
Let g(w) = 93*w**3 - w**2 - 4*w + 4. Is 6 a factor of g(1)?
False
Suppose -701 = -5*u - 2*g, -g + 4*g = 9. Suppose -u = -3*d + 4*v, -5*v + 0*v - 5 = 0. Is 9 a factor of d?
True
Let w = -13 + 25. Suppose -4*k - w = -3*y + 28, -5*k = y - 26. Does 4 divide y?
True
Let u = -55 - -96. Is 11 a factor of u?
False
Let d = 54 + -27. Let b be (6/12)/(1/(-36)). Let j = d - b. Is j a multiple of 16?
False
Suppose q = 5*w - 2*q + 2, -q = -2*w. Suppose 7 = w*c - 1. Is c even?
True
Suppose 4*j = j + 9. Suppose -5*p - 2 = -4*t - 18, -11 = -j*p + t. Suppose p = 4*x - 36. Is 8 a factor of x?
False
Suppose h - 2*h + 2 = 0. Suppose -3*c + h + 1 = 0. Is (-4 + c)*(-100)/12 a multiple of 11?
False
Suppose z + 12 = -4*q - 0*z, -q - 3*z - 3 = 0. Suppose 7 - 40 = -3*d. Let k = d + q. Does 4 divide k?
True
Let l be (5/(-4))/((-2)/8). Suppose -l*s = -2*s - 117. Suppose s = 2*d - 27. Is d a multiple of 21?
False
Let c(r) = -r**2 - 10*r - 1. Let y be c(-9). Let i = 13 - y. Does 3 divide i?
False
Suppose 0*p = -5*f - p + 23, -19 = -3*f + 2*p. Suppose -f*a = -30 + 10. Suppose 0 = -a*q + x + 123, -q - 5*x + 57 = -0*q. Is 16 a factor of q?
True
Let q = -13 - -41. Is q a multiple of 7?
True
Let m(p) = 3*p - 13. Let u be m(7). Suppose f - u - 25 = 0. Is 11 a factor of f?
True
Suppose 5*l - 2*l = x - 24, l = -x - 12. Let j be l*((-32)/(-6))/4. Let d = j + 27. Is d a multiple of 9?
False
Suppose 371 = 5*h - 249. Is h a multiple of 21?
False
Let w = -37 - -62. Suppose -4 = 3*y - w. Does 3 divide y?
False
Suppose -3*n = -15, -2*r - 8*n = -3*n - 37. Does 6 divide 0*2/6 + r?
True
Let s be 12 - (0 - 0/(-1)). Let l = s + -8. Is l a multiple of 2?
True
Let c = -28 + 68. Let a be (-1 - 2)*c/(-6). Suppose 0 = -5*g + 3*d + 22, 5*d - a = 2*g - 5*g. Is 5 a factor of g?
True
Let d = 271 - 186. Is d a multiple of 17?
True
Let y(h) = 6*h - 3. Let b be y(9). Let v = 6 + b. Does 16 divide v?
False
Suppose -2*f - 13 = -5*b, 0 = 3*b - 0*b - 4*f - 19. Does 7 divide (4/5)/(b/10)?
False
Suppose 3*x + 64 = 7*x. Is 3 a factor of x?
False
Let w = -23 + 79. Is w a multiple of 7?
True
Let b(l) = 6*l + 2 - 3 - 4*l + 3*l**2 + 4. Is b(3) a multiple of 18?
True
Suppose 2 = 2*u - 56. Suppose -2*p - 2 = -l - 6, 5*l = p - u. Does 18 divide ((-44)/8)/(1/l)?
False
Let v = 99 - 167. Let u = -48 - v. Does 8 divide u?
False
Let b be (12 - 0)*(-2)/3. Let a = 6 + b. Let d = 2 - a. Is d even?
True
Does 4 divide 363/77 + 4/14?
False
Does 13 divide 2/4 - (-249)/2 - 0?
False
Suppose -3*o + 5*o - 4 = s, -2*s = -3*o + 4. Suppose -2 = 3*v + 5*n + 9, o*v + 3*n = -11. Is 7 a factor of (-248)/(-12) + v/3?
False
Let m = -25 + 47. Is m a multiple of 22?
True
Suppose -5*n + 119 = -0*n + u, -44 = -2*n - 4*u. Does 4 divide n?
True
Let j = 11 + -10. Let q(t) = t**3 - 8*t**2 + 8*t - 9. Let g be q(7). Let o = j - g. Is 3 a factor of o?
True
Let u be 3/6*2 + -11. Let c(z) = z**2 + 8*z - 5. Let t be c(u). Let v = -4 + t. Is v a multiple of 4?
False
Let q be 3*(-1 + (-64)/(-6)). Suppose 0 = 5*c - 52 + 2. Is 4 a factor of q/5 - (-2)/c?
False
Let l be 1/(2*(-1)/(-12)). Let m = l - 3. Does 10 divide 20/(((-6)/m)/(-2))?
True
Let w = 8 - 8. Suppose -3*y + 117 = -w*y. Is 13 a factor of y?
True
Let s = 16 + -10. Is 19 a factor of (-231)/(-6) - 3/s?
True
Suppose -5*g = 7 - 47. Is ((-42)/g)/(2/(-8)) a multiple of 7?
True
Let i = -2 - -6. Suppose i*q = -3*h - 1, -3*h + 4 = -h + 5*q. Is 2 - 23/(2 + h) a multiple of 11?
False
Suppose q - c - 4*c = 2, 0 = -4*q - 5*c - 17. Let d = 9 + q. Let f(g) = 3*g + 1. Is 19 a factor of f(d)?
True
Let j = -65 + 92. Does 27 divide j?
True
Suppose 5*m + 11 - 31 = 0. Does 4 divide m*2*34/16?
False
Suppose -4*o - a + 4 = -o, o + 2 = -a. Suppose -o*s + 5*g = 6, -5*s + 2*g + 1 = -8. Suppose s*i + 35 = 4*i. Is i a multiple of 11?
False
Suppose -y - 2 = 2*l, -3*y = -0*y - 4*l - 34. Suppose 3*n - y = -3*u, 2*u - 7*u + 3*n = -10. Suppose -3*r + 13 = s + u*r, 0 = -5*r - 5. Is s a multiple of 6?
True
Let a(f) be the third derivative of -f**6/120 - 2*f**5/15 - 3*f**4/8 + 4*f**3/3 - 2*f**2. Does 8 divide a(-7)?
False
Let q(d) be the first derivative of -d**3/3 + 17*d + 2. Is 15 a factor of q(0)?
False
Is 7 a factor of (-1)/5 - 796/(-5)?
False
Let w(o) = -o**2 - 20*o + 15. Is w(-11) a multiple of 6?
True
Let s(q) = -q**3 + 6*q**2 - q + 7. Suppose 3*f + 0*u = -u + 18, 5*u - 24 = -4*f. Let l be s(f). Is l/(3/(-9)) + 11 a multiple of 5?
False
Let f be ((-14)/6)/((-3)/36). Let d = 7 - f. Let z = -14 - d. Does 7 divide z?
True
Let q = -406 + 742. Is 28 a factor of q?
True
Let s(o) = 134*o**2 - o + 1. Is 17 a factor of s(-1)?
True
Suppose w = -2*p + 44, 20 = -p + 3*p - 5*w. Is p a multiple of 7?
False
Suppose -4*q = -723 + 219. Does 9 divide q?
True
Let f = -4 - -6. Let h(i) = 1 + 2*i - 22*i**3 - 2*i - 2*i**f. Is h(-1) a multiple of 10?
False
Let x be (-63)/(-36)*(-1 + 13). Suppose v + 10 = -2*o, -3*v + 6*v + 5*o = -26. Let s = x - v. Does 10 divide s?
False
Let w(p) = -p + 0*p - 3*p - 9. Suppose 0 = -f - b - b - 17, -b - 26 = 3*f. Does 7 divide w(f)?
False
Let a(x) = -x**3 + 3*x**2 + 2. Let m be a(3). Let h be -2*(-3 + m + 0). Suppose 4*d + 5*v - 51 = 0, 1 - 3 = h*v. Is d a multiple of 8?
False
Let k be -5*(1 + 7/(-5)). Suppose 5*i - 14 = 3*o + 115, k*i - 63 = 5*o. Does 12 divide i?
True
Suppose 4*y + 15 = -y. Let m = y + 13. Is 5 a factor of m?
True
Let d(v) = 0*v - 3*v + 2*v - 2*v. Suppose q + 0 = -2. Is 4 a factor of d(q)?
False
Let u be 15*((-12)/(-10))/1. Does 11 divide (-13)/(3/u*-2)?
False
Suppose -8*j = -13*j + 845. Is 13 a factor of j?
True
Let c be (-12)/3 - (-6)/6. Let x = c + 15. Does 4 divide x?
True
Let c(y) be the second derivative of y**6/120 + y**5/15 - y**4/12 + y**2/2 - y. Let v(d) be the first derivative of c(d). Is 8 a factor of v(-4)?
True
Let b = 20 - 15. Is b even?
False
Let y = 3 - 0. Suppose 2*u - 141 = 5*g - 21, 0 = -y*u. Let q = g + 36. Does 7 divide q?
False
Let l(b) = -2*b + 0 - b**2 - 9*b + 6. Suppose 0*k + 9 = -k. Is l(k) a multiple of 8?
True
Let q(t) = -t - 5. Let g be q(4). Is (-6)/g + 16/3 a mult