 s(n) = 2*n - 7. Let l be s(6). Suppose -8 = -l*i + 2. Let k = i + 1. Does 2 divide k?
False
Suppose 0 = 17*w - 19*w + 76. Is w a multiple of 19?
True
Let l = 52 - 1. Is 17 a factor of l?
True
Let h(v) be the second derivative of -11/6*v**3 + 0 + 0*v**2 + 4*v. Does 11 divide h(-2)?
True
Does 13 divide ((-165)/2)/(-5) + 8/(-16)?
False
Let m(i) = -i**2 - 7*i + 5. Let t be m(-7). Suppose t*n + 117 = 4*p, -n + 86 = 3*p - 3*n. Is 17 a factor of p?
False
Suppose 0*y = 3*y. Suppose 6*s - 5*s - 7 = y. Does 3 divide s?
False
Let s(y) = y**2 + 21. Let b be s(0). Let f = b + -4. Is f a multiple of 6?
False
Let y(g) = g + 1. Let m be y(0). Let f(s) = 5*s**3 - s**2 + 1. Is f(m) a multiple of 3?
False
Let y be (-2)/(-3) - (-38)/6. Suppose -y*z - 70 = -2*z. Let r = 9 - z. Is 8 a factor of r?
False
Suppose 2*m - t - 46 = 4*t, 5*t = -2*m + 26. Is 2/(-9) - (-58)/m a multiple of 3?
True
Let h(u) be the third derivative of -11*u**4/24 + u**2. Let m be ((-8)/(-32))/((-2)/8). Is h(m) a multiple of 5?
False
Let z = 111 - 59. Is 19 a factor of z?
False
Let b(p) = p**3 + 9*p**2 + 2*p - 1. Is 7 a factor of b(-8)?
False
Suppose -13*j + 2062 + 278 = 0. Does 10 divide j?
True
Let c(j) = 8*j - 13. Does 16 divide c(4)?
False
Let z(d) = d. Let j be z(0). Suppose j = 2*t - 60 + 8. Is 13 a factor of t?
True
Suppose s + 4*s = 0. Let h(p) = 2*p**2 - 3 + 5*p + 4 + s*p**2. Is h(-4) a multiple of 13?
True
Let b(j) = -j**3 - 10*j**2 + 10*j - 11. Let i be b(-11). Suppose -5*r + i*r = -420. Is 28 a factor of r?
True
Suppose 2*b = -4*b + 48. Suppose -2*k + 20 = -b. Is k a multiple of 3?
False
Suppose o + 8 = 3*o, -3*o = 3*k - 96. Let w be (-4)/6 + k/6. Suppose 0 = -p + w. Is 3 a factor of p?
False
Suppose -2*y - 2 + 0 = 0. Let f be (y - (-2 - -2)) + -1. Let o = 1 - f. Is 3 a factor of o?
True
Suppose 3*j - 13 = 5. Suppose 2*g - 4 - j = 0. Suppose g*v - 60 = v. Is v a multiple of 15?
True
Let k(o) = -16*o**3 + 2*o**2 - o. Let r be k(1). Let i = -11 - r. Suppose -i*a + 46 = -3*a. Is 14 a factor of a?
False
Let k(w) be the third derivative of -w**4/24 + 11*w**3/6 + w**2. Let s(b) = -2*b + 2. Let l be s(1). Is 11 a factor of k(l)?
True
Let a be (-57)/21 + (-4)/14. Is 123/5 - a/(-5) a multiple of 6?
True
Suppose g = -3*n + 14 + 6, -g + 25 = 4*n. Suppose 8*q = n*q. Suppose -4*k + 56 = -q*d - d, 3*k + d - 42 = 0. Is k a multiple of 7?
True
Suppose 3 = -n, -2*g = 2*g - n - 39. Is g a multiple of 9?
True
Let u = -45 + 23. Let w = 13 + u. Let z(v) = -v**2 - 10*v - 1. Does 4 divide z(w)?
True
Does 18 divide 2/7 - (-200)/(-28)*-5?
True
Suppose 0 = -2*g + 2 - 24. Suppose -5*a = p + 41, 0 = 4*a - 2*p + 16 + 14. Let r = a - g. Does 2 divide r?
False
Suppose -b = -0*b - 2. Suppose -13 = -b*c + 3. Is 3 a factor of c?
False
Is 30/(-1 - (-20)/12) a multiple of 15?
True
Let w(q) = 8*q. Let u be w(-1). Does 8 divide u - -34 - (1 + 1)?
True
Let h be (-1)/3 - 20/(-6). Suppose j - 2*t - 18 = -0*j, -64 = -h*j - 4*t. Is j a multiple of 10?
True
Suppose 29 + 19 = t. Does 12 divide t?
True
Let o = -27 + 25. Let t be -2 + 4/(8/(-78)). Is o*2 - -3 - t a multiple of 20?
True
Let a = -47 + 79. Suppose 0 = -2*l - 2*l + a. Suppose -5*g = 0, 8 = 4*j - 3*g - l. Is j a multiple of 4?
True
Is 3/(-9) + 46/3 even?
False
Suppose 4*f + 37 = l + 182, 0 = -3*f + 2*l + 105. Let a = f + -5. Is a a multiple of 16?
True
Let c(x) = 3*x**2 + 9*x + 7. Is c(-5) a multiple of 6?
False
Let l(y) = -4*y - 5. Let t(u) = -12*u - 14. Let f(s) = -8*l(s) + 3*t(s). Is f(-4) a multiple of 14?
True
Let z(n) = -2*n**3 + 2*n**2 + 2*n + 1. Let m(q) = q + 9. Let i be m(-6). Suppose -i*v - 2 = 1. Is z(v) even?
False
Suppose 0 = 4*s - 11 + 51. Let i = -1 + 0. Is (-4)/s*(i - -66) a multiple of 13?
True
Let a(i) = i**2 - 5*i - 3. Let h be a(-3). Suppose -d - 55 = -4*j, 4*d - 44 - h = -3*j. Is 5 a factor of j?
True
Suppose 20 = -0*n + 4*n. Suppose 2*r + 140 = n*s - 0*s, 2*s + 3*r - 56 = 0. Does 14 divide s?
True
Let s(p) = p**2 + 9*p + 8. Let z be s(-9). Let i be ((-32)/z)/(1/(-4)). Let v = i + 16. Does 15 divide v?
False
Let c(l) = 2*l**2 + 2*l + 4. Does 14 divide c(3)?
True
Let j = -10 + 14. Suppose -2*r - 30 = -2*h, 0 = -j*h - 3*r + 2*r + 60. Is 15 a factor of h?
True
Does 31 divide (-3698)/(-12) + (2/(-12) - 0)?
False
Let j = 21 + -17. Does 2 divide j?
True
Let v(t) = -5*t - 3*t - 2*t**2 - 2 - 3*t + t**2. Does 5 divide v(-9)?
False
Suppose o + 25 = 6*o. Suppose 26 = q - 4*s, 31 = o*q - s - 4. Is 3 a factor of q?
True
Suppose 139 - 25 = 6*d. Is 10 a factor of d?
False
Let n(z) = -2*z - 4. Let y be n(-2). Suppose y = 2*o - 20 - 14. Is 17 a factor of o?
True
Let c = -6 - -10. Suppose -d = -c - 30. Does 12 divide d?
False
Suppose 4*f = 169 - 45. Let a = 55 - f. Is 12 a factor of a?
True
Let s(x) = x**2 + 4*x - 9. Suppose d + 1 - 13 = -p, 5*p - 4*d = 24. Is s(p) a multiple of 29?
True
Suppose -141 + 49 = 4*t. Let g = -15 - t. Is 4 a factor of g?
True
Suppose -2*f - 12 + 34 = -4*g, 4*g + 13 = -f. Let d = 9 + f. Suppose -3*z + d = -z. Is 3 a factor of z?
True
Does 9 divide (-1)/4 + (-1105)/(-68)?
False
Let d(b) = b**2 + b - 4. Let n be d(-3). Does 6 divide (-2)/((n/12)/(-1))?
True
Let d = -142 + 250. Is d a multiple of 18?
True
Suppose -2*s = -6*s + 44. Let r = 1 + s. Does 9 divide r?
False
Let z be 2/5 + 235/(-25). Let i be (-9)/6*24/z. Is 6 a factor of i + 2/(-4)*-4?
True
Let t(z) = z**3 + 22*z**2 - 22*z + 55. Is 16 a factor of t(-23)?
True
Suppose 5*x + 6 = 2*f - 0, 0 = 4*f - 4*x - 24. Does 6 divide f?
False
Let g(b) = 15*b + 4. Let d be g(-4). Let l = 91 + d. Is 17 a factor of l?
False
Let u = -73 - -116. Let v = u + -18. Is v a multiple of 13?
False
Suppose 2*h + 5*j + 16 = -10, 0 = -3*h + 4*j + 7. Let n be (32/6)/((-8)/(-12)). Let t = n - h. Is 3 a factor of t?
False
Suppose 0*d = -2*d - 3*f + 123, 3*d - 3*f = 177. Does 10 divide d?
True
Let u(j) = j**3 + 6*j**2 - j + 6. Let l(x) = -12. Let y(b) = -b - 1. Let v(p) = -l(p) - 2*y(p). Let q be v(-10). Is u(q) a multiple of 6?
True
Suppose -41 + 97 = 2*t. Does 4 divide t?
True
Let h = -4 - -4. Suppose -15 = -3*j - h. Suppose 4*i = -j*o + 61, 3*o = 2*i + i - 39. Is i a multiple of 7?
True
Suppose 0*y = 4*q + 3*y - 240, -4*q + 240 = y. Does 12 divide q?
True
Let g be (-1)/(-4)*4 + 0. Is 14 a factor of -41*(-2 - -1) + g?
True
Let f(q) = 1 + q - q**2 + 0 + 3*q + 0. Let j be f(5). Let b = 1 - j. Is b even?
False
Suppose -4*s = 5*l - 456, 4*s + 401 = 4*l + 65. Is l a multiple of 18?
False
Let r(n) = -n**3 + 7 - 3 - n**2 - 3*n + 6*n**2. Is r(3) a multiple of 13?
True
Let g(h) = -h**3 + 2*h - 3. Let x be g(-3). Suppose -w + 2*w = x. Is 6 a factor of w?
True
Let g = 4 + 1. Suppose 0 = g*l + 2*a - 191, 0 = l - 3*a - a - 47. Does 13 divide l?
True
Suppose 2*t - 372 = -4*b, -5*b = t - 0*b - 195. Is t a multiple of 20?
True
Let b(l) = -3*l**3 - l**2 + 2. Let z be b(-2). Suppose 355 = 4*a - s + z, 2*s = a - 85. Is a a multiple of 26?
False
Suppose 0 = -3*n + n + 14. Suppose -1 = 4*x + n. Let f(m) = -5*m. Does 5 divide f(x)?
True
Let l(t) = -t**3 - 6*t**2 + 6*t - 6. Let b be l(-7). Suppose -b = u + 26. Let y = u + 45. Is 18 a factor of y?
True
Suppose 0 = 5*f - 2*p - 815 - 387, -4*f + 984 = 4*p. Does 22 divide f?
True
Let b = 0 + 152. Does 8 divide b?
True
Let m = 86 - 82. Is m a multiple of 4?
True
Suppose t + 4*t - 200 = 0. Is 10 a factor of t?
True
Suppose -5*y + 169 + 36 = 0. Does 14 divide y?
False
Suppose -4*z + 2*l - 17 = 17, 4*z = -5*l - 13. Suppose 3*f - 13 = -2*p + 35, 75 = 5*f + 5*p. Let w = z + f. Does 11 divide w?
True
Suppose b - 4 = -1. Let v = b - 1. Suppose a = -o + 25, -5*o + 45 = v*a - 4*o. Does 10 divide a?
True
Suppose -142 = -4*x - 2*u, -u + 2*u = 1. Let f(a) = -a**3 + 4*a**2 - 3*a + 1. Let i be f(2). Suppose -7 = -i*n + x. Is n a multiple of 11?
False
Suppose 0*o + 120 = 5*o. Suppose 2*p - o = -2*p. Is p a multiple of 3?
True
Suppose -26*m + 595 = -21*m. Is m a multiple of 7?
True
Suppose 4*c - 24 = 12. Is c a multiple of 4?
False
Let o(x) = x**2 + 6*x + 1. Let f be 12/((-4)/((-8)/(-3))). Is 10 a factor of o(f)?
False
Let k(v) = v**2 - v + 5. Does 5 divide k(0)?
True
Let b(c) = 9 + 4*c + 6*c + 7. Is 16 a factor of b(7)?
False
Let j be 5/((-5)/2) - -7. Suppose -x = 5 - 2, -j*q + 5*x + 175 = 0. Is 16 a factor of q?
True
Suppose -4 = -2*x + k + 1, 4*x + 4*k = 40. Suppose 0*i - 45 = -x*i. Is 5 a fac