+ 15. Let i(m) = -m**3 + 6*m**2 + 10*m - 5. Is 16 a factor of i(c)?
True
Suppose 0*q + 3*q - 15 = 0. Does 2 divide q?
False
Let j(s) = s**2 + 5*s - 6. Suppose 2*q + 26 = 4*u, 2*q = -3*u - 4 + 6. Let p be j(u). Suppose -p - 8 = -2*a. Is a a multiple of 19?
True
Let x = 27 + -16. Does 6 divide x?
False
Let l = 185 + -55. Suppose 10*h = 5*h + l. Does 8 divide h?
False
Suppose -12 = -f - 3*f. Suppose 4*m = 4*j + j, 0 = -f*m + 5*j. Suppose -48 = -4*g - 4*s, -4*s - 2 = -g - m. Is g a multiple of 10?
True
Let z = -7 - -4. Let x = 0 + z. Is (-1)/(x/(-6)) - -20 a multiple of 18?
True
Suppose -5*x + 4*x + 38 = 0. Is x a multiple of 7?
False
Let n be (3 + 0 - 1) + 74. Suppose -2*h + 4*x - 32 = -n, 3*h - 4*x = 56. Suppose 144 = 4*j + h. Does 11 divide j?
True
Let t = -72 + 118. Does 23 divide t?
True
Suppose 649 = 4*i + 225. Is 18 a factor of i?
False
Let v = -44 - -68. Let q = 35 - v. Suppose -q - 5 = -2*j - 2*i, -4*j - 3*i + 32 = 0. Is 8 a factor of j?
True
Let d = -6 - -16. Is d a multiple of 3?
False
Let y(l) = -5*l**2 + 1. Let n be y(1). Let r(t) = -t + 3. Is r(n) a multiple of 4?
False
Let a(y) = 8 + 7*y - 8 - 21*y. Is a(-2) a multiple of 11?
False
Let q be (151*-2)/(4/2). Let z = -105 - q. Does 12 divide z?
False
Let d = 20 + -12. Suppose 0*p - p = -d. Is 4 a factor of p?
True
Let i(h) = -13*h**2 - h + 1. Let t be i(2). Let a = t - -81. Does 14 divide a?
True
Let b(a) = -4*a**3 + a**2 + 2*a + 1. Let c = 5 + -7. Does 11 divide b(c)?
True
Is 7132/44 - 7/77 a multiple of 18?
True
Suppose -n + 1 = -21. Is n a multiple of 4?
False
Suppose -174 = -3*l + 4*s, 0*l + 2*s + 60 = l. Suppose -3*g - 5*m - l + 191 = 0, 177 = 4*g + m. Suppose -4*f + 22 = 5*h, -6*f + 2*h = -f - g. Does 8 divide f?
True
Let m(b) = b**3 - 9*b**2 + 8*b + 3. Let r be m(8). Suppose -3*u = 5*t - 70, -7*t + r*t - u = -49. Is 6 a factor of t?
False
Suppose 0 = 5*c + 95 + 110. Is c/(-3) - 2/3 a multiple of 12?
False
Let b = 347 - 225. Let m = -60 + b. Is 31 a factor of m?
True
Let n be 3*((-42)/(-9) + -4). Suppose -n*u + 0*a + 79 = -a, 5*u - 193 = -2*a. Does 17 divide u?
False
Let p(h) be the third derivative of -h**6/120 - h**5/20 - h**4/4 + 5*h**3/6 + 6*h**2. Is p(-5) a multiple of 17?
True
Let y(u) = -2*u**3 - u**2 + 2*u + 1. Does 2 divide y(-2)?
False
Let n(y) be the first derivative of 5*y**3/3 - 3*y**2/2 + y - 1. Let d(s) = -6*s**2 + 2*s. Let v(j) = -4*d(j) - 5*n(j). Is v(5) even?
False
Suppose 4*f + h + 0*h - 24 = 0, 2*h = -2*f + 12. Let a be ((-18)/15)/(f/(-15)). Is 2/(-6) - (-22)/a a multiple of 2?
False
Let r(u) = 2*u - 12. Let t(g) = -g + 4. Let k(w) = -3*r(w) - 8*t(w). Let c(q) = -q - 1. Let p(j) = -4*c(j) - k(j). Is 8 a factor of p(4)?
True
Let o(w) = w**2 - 8*w + 9. Let t be o(8). Suppose z = -2*z - t, -3*z = -3*x + 12. Does 12 divide -24*(3/(-2) + x)?
True
Suppose 0 = -5*j + 78 + 307. Is j a multiple of 11?
True
Let q(o) = o**3 - 5*o**2 + 4*o - 4. Let l(b) = -b**2 + 8*b - 2. Let z be l(7). Is q(z) a multiple of 16?
True
Suppose -4*a = -0*a - 112. Does 14 divide a?
True
Let i(t) = 3*t**3 - 10*t**2 + 5*t + 12. Let a(g) = 8*g**3 - 30*g**2 + 15*g + 36. Let b(c) = -4*a(c) + 11*i(c). Is 20 a factor of b(-10)?
False
Is (-5 + 4)*4 + 0 - -74 a multiple of 5?
True
Suppose 0 = -4*l + l + 2007. Suppose 126 = 5*u - l. Does 9 divide 1/3 + u/9?
True
Let p = 13 - 1. Is p a multiple of 5?
False
Let q(n) = 21*n + 14. Is q(11) a multiple of 23?
False
Suppose 2*h - 22 = 66. Is 11 a factor of h?
True
Let a = -13 + 7. Let r be ((-10)/3)/(a/9). Suppose -4*g + 210 = 2*o + 36, -r*g + 3*o = -223. Does 13 divide g?
False
Suppose 2*r - 28 = -2*x, 2*x - 2*r = 3*r + 14. Does 3 divide x?
True
Suppose 3*l = -4*v + v - 6, 5*l + v + 10 = 0. Let a be l/4 + (-15)/6. Is (-12)/a - (0 + -2) a multiple of 2?
True
Let z = -4 - -9. Let n be 0 + 5 - (-2 + z). Suppose 0*r + n*r - 32 = 0. Is r a multiple of 8?
True
Let g(i) = i**3 + 2*i**2 - 2*i + 3. Let r be g(-3). Suppose -5*f + 50 = 5*q - 5, 5*q - 25 = r. Is 3 a factor of f?
True
Let r(n) = -n**3 - 21*n**2 - 22*n + 1. Does 9 divide r(-20)?
False
Let b(t) = -t**2 + 7*t + 10. Let o be b(8). Suppose 2*m = o*p - p + 3, 3*m = 4*p - 13. Does 4 divide (p - -2) + -1 + 0?
True
Suppose 5*a = 2*b - b - 25, -5*a = -2*b + 25. Suppose -5 + b = -j. Suppose -95 = -j*u + z + 36, -2*u - 5*z + 47 = 0. Does 11 divide u?
False
Suppose -59 = -3*u - 20. Is 5 a factor of u?
False
Let m be (-4)/((-4)/6*3). Let p be (2 - 6)*m/(-8). Suppose -2*r = -7 + p. Is r a multiple of 2?
False
Let k(q) = 4*q + 1. Let l be k(1). Suppose -223 = -l*a + 27. Let m = -28 + a. Does 11 divide m?
True
Let i = 175 - 275. Is i/8*(1 + -5) a multiple of 14?
False
Suppose o - 16 = 2*d - 1, 0 = 2*o + 2*d. Suppose -4*t + 67 = -5*x, -o*t = -6*x + 3*x - 87. Does 14 divide t?
False
Suppose -262 = -4*g - 22. Is g/16 - 3/(-12) a multiple of 4?
True
Let u be 44/(-7) - (-2)/7. Let x(f) = -5*f - 7. Let s be x(u). Is s*2/(1 + 1) a multiple of 15?
False
Suppose 5*x + 4*h - 149 = 3*h, -2*h + 95 = 3*x. Let t = x - 6. Is 23 a factor of t?
True
Let z = 170 + 29. Does 19 divide z?
False
Let y = 95 - 1. Is y a multiple of 9?
False
Suppose -14 = -o + 7. Is o even?
False
Suppose 138 - 698 = 3*q + 2*v, 0 = -q - 3*v - 196. Is (-2)/5 - q/10 a multiple of 9?
True
Suppose -2*u - 2*y = -12, -y + 0*y = 0. Suppose 0 = -d - d + u. Is 2 a factor of d?
False
Let k = 6 - 6. Suppose k = -2*r - 2*r + 52. Does 13 divide r?
True
Let v(h) = 2*h**3 - 5*h**2 + 1. Is v(4) a multiple of 49?
True
Let c = 5 - -15. Is 3 a factor of c?
False
Let y be (9/(-6))/((-3)/16). Let i be (y/(-10))/((-6)/30). Let k(u) = 2*u**2 - 5*u - 3. Is 9 a factor of k(i)?
True
Is (9 - 69)/(2/(-3)) a multiple of 30?
True
Suppose 8 = -f - 145. Let j = f + 229. Is 13 a factor of j?
False
Suppose 34 = n - 3*b, 2*n + 4*b - 46 = -b. Is n a multiple of 14?
True
Let q = 18 - 11. Let d(g) = -g**3 + 8*g**2 - 6*g - 4. Let y be d(q). Suppose -y*m + 56 = m. Is m a multiple of 7?
True
Let x(k) = -k**3 - k - 6. Let u be x(0). Let y(z) = z**3 + 6*z**2 - 4*z + 8. Is 9 a factor of y(u)?
False
Suppose 8 = -4*s - 0*s. Let f be (1/2)/(s/(-52)). Suppose f = d - 12. Is d a multiple of 11?
False
Let b(t) = t**3 - 3*t**2 - 8*t + 25. Is 33 a factor of b(7)?
True
Let k(w) = w**3 + w**2 + 3. Let j be k(0). Let f = j + 1. Is f a multiple of 2?
True
Let b(v) = 2*v + 5. Let a be b(-5). Let f = 25 - a. Does 10 divide f?
True
Let b = -20 - -68. Is b a multiple of 24?
True
Let d = 5 + 17. Suppose -81 = -y - d. Is 19 a factor of y?
False
Suppose 2*x = -2*o + 18, -4*o = -2*x - 16 - 2. Suppose 0 = -r - 4*a + o, -4*r + a + 2*a = -119. Is 13 a factor of r?
True
Suppose 26 = 5*s + 2*z, -5*s - z + 35 = 4*z. Does 4 divide s?
True
Let q be (-18)/(-8)*(-3 - -15). Let s be (37/(-2))/(5/(-10)). Suppose 4*x - q - s = 0. Does 7 divide x?
False
Suppose q = -2*h + 75, 7*h + 4*q - 180 = 2*h. Does 7 divide h?
False
Let j be 11/55 + 44/5. Suppose 3*g = -2*c + 92, 0 = -2*g + j - 1. Is 9 a factor of c?
False
Let i(m) = -m**2 - 6*m + 6. Let f be i(-7). Let g(u) = -17*u**3 + 2*u + 1. Is g(f) a multiple of 7?
False
Suppose -5*y + y + 3*b = 4, 0 = -y - 4*b + 18. Let r be 2/(3/(-9)*-2). Suppose 0 = -r*m + 3*v + 68 + 49, -5*m - y*v = -188. Is m a multiple of 19?
True
Let i = 58 - 38. Suppose -b + 3*l = -17 - 35, -5*l - i = 0. Is 19 a factor of b?
False
Let p = -2 - -3. Let x be p/(-1)*5/(-1). Suppose x*r = -2*i + 76, -4*r + 56 = -r - 4*i. Does 16 divide r?
True
Let x = -9 - -78. Is x a multiple of 9?
False
Suppose -3*k - k - 24 = 0. Suppose -2*y = 5*s + 7, 2*s = 3*y - s + 42. Let g = k - y. Is g a multiple of 3?
False
Suppose 0 = -3*p + 5*k - 55, -5*p - 19 - 6 = 5*k. Does 7 divide 252/12*p/(-6)?
True
Suppose 0 = q + 3*q - 20. Suppose 295 = 2*f + q*c, -304 = -4*f + 2*f + 4*c. Suppose -4*m = m - f. Does 15 divide m?
True
Let o(q) = -q**2 + 6*q + 5. Let k be o(6). Suppose 4*v - 133 = -5*r, -135 = -k*r + 4*v - 9*v. Is r a multiple of 17?
False
Let w = 30 - 21. Let r be 24/w - 1/(-3). Suppose r = -5*d + 28. Is 4 a factor of d?
False
Let o(b) = -2*b**3 - 2*b**2 + 3*b + 2. Does 3 divide o(-2)?
False
Let w(v) be the first derivative of 1/4*v**4 - 3 - 10/3*v**3 + 11/2*v**2 + 13*v. Does 16 divide w(9)?
False
Suppose 6*q - 15 = 3*q. Let c(u) = -2*u**2 + 2*u - 3. Let r(t) = -t**2 + t - 1. Let k(l) = q*r(l) - 3*c(l). Does 15 divide k(-4)?
False
Let h