171 - 51. Does 22 divide h?
False
Let p(a) = a + 15. Is p(0) a multiple of 8?
False
Suppose -y - 2*p + 5 = 0, -52 = -3*y - 2*y - p. Suppose -g = -y - 9. Does 9 divide g?
False
Let n(s) be the third derivative of 1/24*s**4 + 1/15*s**5 + 0 + 0*s + 1/6*s**3 + 3*s**2. Is 19 a factor of n(2)?
True
Let r = -1 + 8. Is 2 a factor of r?
False
Suppose 0*a - 8 = -4*a. Let m(w) = w**a - 8*w + w - 2 - 2*w**2. Is 4 a factor of m(-6)?
True
Let n(m) be the third derivative of m**4/24 + 7*m**3/6 + 2*m**2. Let j be n(8). Let p = j - 7. Is 4 a factor of p?
True
Let g be ((-164)/(-2))/(30/15). Let x = g - 26. Is 15 a factor of x?
True
Suppose 4*n - 421 - 119 = 0. Suppose 8*d - 3*d = n. Does 9 divide d?
True
Suppose 2*s + 25 = -3*s, -4*p - 2*s + 38 = 0. Let k = p - -2. Is k a multiple of 9?
False
Let h = -5 - -9. Let g(b) = -b**3 - 3*b**2 + 5*b - 6. Let u(k) = k**3 + 2*k**2 - 5*k + 6. Let s(l) = 4*g(l) + 5*u(l). Does 9 divide s(h)?
True
Suppose 4*b + 68 = -2*c - 3*c, -b - 4*c - 28 = 0. Is ((-15)/(-12))/((-3)/b) a multiple of 5?
True
Suppose -10*c + 470 = -0*c. Does 17 divide c?
False
Suppose 4*y - 6 = 10. Let i be -1 + y + 0/2. Suppose -5*z - i*p = -z - 31, -z - 4*p - 2 = 0. Is z a multiple of 10?
True
Let p(n) = -64*n - 9. Is p(-2) a multiple of 37?
False
Let z = 325 + -479. Let o = z + 244. Does 16 divide o?
False
Let x = 1 + -34. Suppose 0*t = 2*t + 94. Let n = x - t. Is 6 a factor of n?
False
Let d = 11 - -32. Is d a multiple of 43?
True
Let x be 2 - -8 - (2 + 0). Suppose q + 39 = 4*m - 57, x = 2*q. Let g = m + 14. Does 13 divide g?
True
Let u(v) = 8*v + 9. Let h(f) = -23*f - 28. Let i(p) = -2*h(p) - 7*u(p). Is 16 a factor of i(-7)?
False
Let t(j) be the first derivative of 3 + 5*j**2 - 1/4*j**4 + 2*j + 2*j**3. Is t(7) a multiple of 9?
False
Let f = 136 - 69. Is f a multiple of 6?
False
Suppose -11*t = -15*t + 240. Is t a multiple of 10?
True
Let b = 2 + 13. Suppose 5*s - 2*g = g + 630, b = 3*g. Let d = -91 + s. Does 19 divide d?
True
Let p(r) = r + 8. Let y be p(-6). Let m = y - -4. Does 3 divide m?
True
Let h(v) be the first derivative of v**5/10 + v**4/24 - v**3/3 - v**2 - 1. Let g(c) be the second derivative of h(c). Is g(-2) a multiple of 10?
True
Suppose 4*q = -5*c + q + 14, -5*c + 4*q = 7. Is 22/(-6)*(c - 4) a multiple of 4?
False
Let w(v) = 7*v**2 - 4*v - 3. Does 3 divide w(-1)?
False
Let c be (9 + -3)*8/3. Suppose r - 3*r + 4 = i, 4*i - c = r. Does 16 divide (-250)/(-4)*i/5?
False
Suppose -35 = -4*q - 5*r, 19 = 2*q + 3*r - 0. Let k = q - 3. Suppose -3*s + k = a + 5, 4*a - 33 = 3*s. Is a a multiple of 6?
True
Let n(d) = -d**3 + d**2 + 30. Does 10 divide n(0)?
True
Suppose 2*c + c = -3. Let p(u) = -42*u. Is p(c) a multiple of 14?
True
Let g(c) = 45*c + 25. Let s(w) = 15*w + 8. Let x(o) = -2*g(o) + 7*s(o). Let h be x(5). Let q = h - 47. Is 17 a factor of q?
True
Suppose i + 133 = 5*k, -5*k - 2*i + 5*i = -129. Does 19 divide k?
False
Let k(w) = w**3 - 4*w**2 + 4*w + 1. Let h be k(3). Let z = -4 + h. Is (-2 - (0 + z))*-4 a multiple of 7?
False
Suppose 25 = 5*p - 2*g - 16, 35 = 3*p + 4*g. Is p a multiple of 8?
False
Suppose 3*d + 19 = s, 0*d - d = 4*s - 11. Let m = s + 44. Is m a multiple of 8?
True
Let h = 6 + 2. Suppose 2*j - h - 26 = 0. Does 17 divide j?
True
Suppose 2*q + 50 = 7*q. Let i = q + -2. Does 4 divide i?
True
Let l(f) = 4*f + 1. Let r(d) = 9*d + 3. Let n(j) = 14*l(j) - 6*r(j). Let p be n(3). Does 10 divide 0/(-1*p) + 18?
False
Suppose 3*i = -2*x + 58, 4*i + 0*i - 108 = 5*x. Is 11 a factor of i?
True
Let v = 7 - 1. Is 6 a factor of v?
True
Let o be 15/(-6)*(-1896)/30. Suppose -4*m - 5*q = -o, -97 = -2*m + 3*q - 7. Is 9 a factor of m?
False
Let t = -48 + 62. Is 7 a factor of t?
True
Let i(n) = n**2 + n - 2. Let a(c) = c**2 + 9*c + 10. Let d be a(-8). Is i(d) even?
True
Suppose 2*a = -0*a. Suppose a*l + 2*l = 2*x - 70, -5*l = 2*x - 42. Is x a multiple of 7?
False
Let v(w) = -4*w + 1. Let i be v(-2). Suppose 0 = -2*b - 4*o + 10, 45 = 3*b - 3*o - o. Let p = i + b. Is 20 a factor of p?
True
Let p(q) be the first derivative of 5*q**2 - 2*q + 2. Is 14 a factor of p(3)?
True
Suppose -j + 9 = 3. Let p = -1 + j. Does 2 divide p?
False
Suppose 12 = -5*r - 4*v + 172, -5*r = -4*v - 120. Does 12 divide r?
False
Suppose 2*w - 4*b + 4 = -w, -5*w = -5*b. Suppose 5*h + 20 = w*j, 7 = 4*h - 3*j + 22. Suppose -5*a + 85 = -h*a. Is 17 a factor of a?
True
Let c(w) = 139*w**3 + w - 1. Let v be c(1). Let d = v + -91. Is 14 a factor of d?
False
Suppose 3*x - 2*m = 6, -2*x + 5*m + 9 = 2*m. Suppose x = 2*a - 3*a + 76. Suppose -5*s = -9 - a. Does 9 divide s?
False
Let o = 10 + -41. Let y = o - -63. Is y a multiple of 16?
True
Suppose 357 = 3*k + 3*w, k - 65 - 64 = -3*w. Suppose 5*b = n + 2 + 3, 0 = 5*b - 2*n. Suppose 3*a = -3*c + 40 + 23, 5*c = -b*a + k. Is 12 a factor of c?
True
Let c(g) = g**2 + 5. Suppose -4*k - 24 + 8 = 0, 5*r + 16 = -4*k. Let n be c(r). Does 3 divide n + 0 + 5/(-5)?
False
Let w = 83 - 149. Does 21 divide (3 + w)*(-4)/6?
True
Suppose 3*f - 6*f - 5*g + 40 = 0, 0 = -5*f + 2*g + 46. Let m(o) = -3*o**3 - 4*o + 4*o**3 + 2*o + f*o**2 - 1. Does 8 divide m(-10)?
False
Let m(v) be the first derivative of -v**2 - 2*v + 1. Let o be m(-2). Suppose 32 = x + o. Is x a multiple of 15?
True
Let s(m) = 2*m**2 - 27*m + 10. Is 6 a factor of s(14)?
True
Let y(p) = -3*p - 7. Let q = -6 + 1. Is y(q) a multiple of 7?
False
Let a(g) = -4*g - 3. Suppose 0 = 17*d - 12*d + 10. Does 5 divide a(d)?
True
Let z = 5 - 18. Let x = z + 18. Let r = 11 - x. Does 3 divide r?
True
Suppose 33 = -3*q + 264. Let d be (-1)/2*208/(-2). Let b = q - d. Does 25 divide b?
True
Is (-17 + 3)/(2/(-4)) a multiple of 9?
False
Suppose 0 = -3*k + 2*k + 162. Does 27 divide k?
True
Let l(t) = 6*t**2 - t + 20. Does 25 divide l(-5)?
True
Let x(n) = n**3 + 9*n**2 - 11*n - 2. Let q be x(-8). Suppose -q = -5*j - 0*j. Is j a multiple of 15?
True
Suppose 0 = 10*w - 9*w - 135. Is 27 a factor of w?
True
Let w = -8 - -9. Is 104 + -1 + -1 - w a multiple of 28?
False
Suppose -2*l - 30 = 3*l. Let r = -6 - l. Let j = 11 + r. Does 11 divide j?
True
Let j(d) = -19*d**3 - d. Is 10 a factor of j(-1)?
True
Suppose -5*p - 2*h - 3 = 18, -5*p + 3*h - 31 = 0. Let d be (-128)/(-5) - 2/p. Suppose -d = -0*q - 2*q. Is 6 a factor of q?
False
Let m = 7 + -9. Is 10 a factor of (70/21)/(m/(-6))?
True
Let v(s) = 2*s - 2. Let u be v(2). Suppose -u*l - 2*k + 6 = 0, 3*k = 1 - 4. Is 4 a factor of l?
True
Let j(l) = -22*l - 6. Does 20 divide j(-3)?
True
Let d(v) = -v + 1. Let i be d(-3). Suppose 5*y - 157 = -i*b, 3*b - 148 = -b + 4*y. Does 17 divide b?
False
Let v(d) = 2*d**3 - d**2 + 2*d - 2. Let p be v(2). Is (-2)/((p/32)/(-7)) a multiple of 11?
False
Let l = 6 - 4. Let o(g) = 26*g**2 + 1. Let w be o(-2). Suppose -f = l*f - w. Is 13 a factor of f?
False
Let p(y) = y + 11. Let f be p(-8). Suppose -4*o - m - 2 = -2*o, 2*m + 11 = f*o. Let d(u) = 26*u**2 - u + 1. Is 13 a factor of d(o)?
True
Suppose -5*f = -13 + 3. Suppose 11 = f*h - c, h + 4*c - 2*c = -2. Suppose -h*g - 2*x - 14 = -5*g, 0 = 4*g - 4*x - 52. Is g a multiple of 4?
True
Suppose 2*a + 2 + 0 = 0. Let x be ((1 - -2)*-1)/a. Suppose x*r = -0*r + 42. Is r a multiple of 14?
True
Let m(f) = -5*f**3 - 2*f**2 - f - 2. Suppose 4*a - 17 = 3*v + 27, 0 = 3*v + 2*a + 14. Let j = v + 6. Is 16 a factor of m(j)?
True
Is 2/(-6) - (-28)/3 a multiple of 3?
True
Suppose 5*w - 164 + 8 = -p, 4*w = -3*p + 116. Let t = w - 19. Is 9 a factor of t?
False
Let f(a) = -3*a**2 - 11*a - 20. Let k(g) = 2*g**2 + 6*g + 10. Let o(j) = 3*f(j) + 5*k(j). Let z = 19 - 10. Is 23 a factor of o(z)?
False
Let m be ((-2)/(-2))/((-2)/10). Let v = -3 - m. Suppose 3*l + v*l - 31 = -3*d, 17 = 4*l + 5*d. Is 8 a factor of l?
True
Let i(k) = -k**3 - 5*k**2 - 2*k + 3. Let t be i(-7). Let m = t + -67. Is m a multiple of 16?
True
Let h(d) = d**3 - 13*d**2 - d + 16. Does 2 divide h(13)?
False
Let d = -28 - -30. Suppose -4*t = 3*q - 61 - 103, -5*q - 5*t = -280. Suppose d*l + 6 = q. Is 9 a factor of l?
True
Suppose 5*k = 32 - 7, 0 = 5*z + 2*k - 35. Let s(i) = 7*i + 10*i - 4 - 15*i. Is 3 a factor of s(z)?
True
Let o(s) = -s**3 - 2*s**2 + 4*s - 2. Let l = 4 - 10. Let c(u) = u**2 + 8*u + 8. Let a be c(l). Is o(a) a multiple of 7?
True
Suppose -5*b - 595 = p - 6*p, -b = 5. Is 19 a factor of 3/(3*3/p)?
True
Suppose -w + 4 = -2*w. Let v(y) =