. Does 7 divide s?
True
Suppose 4*g + 4*h = -12, -3*h = -g - 9 + 22. Does 22 divide (3*g)/((-3)/(-22))?
True
Let n be ((-4)/(-8))/((-2)/(-8)). Suppose n*j - j = 7. Let a(w) = w**3 - 8*w**2 + 7*w + 8. Is a(j) a multiple of 8?
True
Let n(y) = -13*y - 25. Does 22 divide n(-6)?
False
Let d(j) = -2*j - 28. Is d(-16) a multiple of 3?
False
Let d = -195 - -210. Is d a multiple of 5?
True
Let v = -10 + 6. Let a(u) = 2*u**2 + 2*u - 6. Is 9 a factor of a(v)?
True
Let d = 24 + 95. Is d a multiple of 15?
False
Let x be ((-3)/2)/(5/(-10)). Is 488/12 + 1/x a multiple of 20?
False
Let i = 33 + -13. Suppose 5*c = -3*s + s + 155, 0 = 4*s + i. Does 12 divide 2/(-1) + 0 + c?
False
Suppose 3*q = 5*q + 8. Let g be q/(-6) - (-4)/(-6). Suppose 8 = -v - m + 5*m, g = -2*v - 2*m + 34. Does 6 divide v?
True
Let o(m) = -m**3 - 4*m**2 - m - 3. Let l be o(-4). Let n(x) = 3 - l - 33*x - 3. Is 16 a factor of n(-1)?
True
Suppose 176 = x - 112. Is x a multiple of 32?
True
Let r = 5 + -8. Let z = 15 + r. Is z a multiple of 3?
True
Suppose 14*w - 533 = w. Is w a multiple of 11?
False
Let p(i) = -i**3 + 4*i**2 + 6*i + 4. Suppose -20*o + 10 = -18*o. Is 6 a factor of p(o)?
False
Suppose 0 = 2*h - 5*s - 26, 7*h = 2*h - 4*s - 1. Let v(f) = -4*f + 1. Let q be v(h). Let b = 5 - q. Is 16 a factor of b?
True
Let w be (-3)/(-3) - (1 + -2). Suppose -3*k - w*h = -57, h + 23 = -4*k + 94. Is -2*(2 - k/2) a multiple of 7?
False
Let u(d) = -d + 2*d**2 + 2*d - 127*d**3 + 16*d**3. Let c be u(-1). Suppose -3*o + c = o. Is 14 a factor of o?
True
Let n be -3 - ((2 - 19) + 2). Suppose -4*s + 20 = -n. Is 8 a factor of s?
True
Suppose -3*n - 4 = -5*n. Suppose -1 = n*t - 63. Is t a multiple of 12?
False
Suppose 0 = -0*u - u - 30. Is 13 a factor of u/(-2) + 8/(-4)?
True
Let s = -17 - -9. Let f be 2/s - (-1)/4. Suppose f = -2*i - 21 + 53. Does 8 divide i?
True
Let i = -12 + 21. Let y be 2/((-4)/(-102)) + 0. Let f = y - i. Is 16 a factor of f?
False
Suppose -n + 2*n - 105 = 0. Suppose -3*t + 0*x + 3*x + n = 0, t - 15 = -3*x. Does 10 divide t?
True
Let i(n) = n**3 - 4*n**2 - 4*n - 3. Let p be i(5). Suppose 2*h = 4 - 0. Is (-26)/(-2)*p/h a multiple of 13?
True
Let m = 4 + -2. Suppose -4*g - 5*s - 24 = 0, -3*g = -s - m*s - 9. Is 5 a factor of g/(-2) + 23/2?
False
Suppose -5*m - 4*w + 2 = -3, -5 = -5*m + 5*w. Let y = 19 + m. Does 7 divide y?
False
Suppose 3*a = 4*h + 65 + 29, a - 2*h - 28 = 0. Does 10 divide a?
False
Suppose -1 = -v + 1. Let g(w) = 4*w**2 - 2*w + 2. Is g(v) a multiple of 14?
True
Let u(p) be the second derivative of -p**4/12 + p**3 + p**2/2 - 2*p. Let h be u(6). Let f(z) = 17*z**3 + z**2. Is 9 a factor of f(h)?
True
Let s be -4*(-1)/10*-10. Is (-154)/(-4) + (-2)/s a multiple of 13?
True
Suppose -d + 38 = 7. Is 7 a factor of d?
False
Let d(c) = -c**2 - 5*c + 3. Let f be d(-5). Let j be -6 + 5 - (-2 - -1). Suppose f*l = -j*l + 102. Does 13 divide l?
False
Let h(w) = 2*w**3 - w**2 - 2*w - 1. Let u be h(-1). Let z be ((-1)/2)/(u/52). Suppose z = 4*f - 11. Is f a multiple of 3?
True
Let h(t) = -t + 39. Is h(16) a multiple of 7?
False
Let v = 67 - 33. Is v a multiple of 3?
False
Let i = 1 - -3. Let j = 2 + i. Suppose -4*z - 3*y = -z - j, 6 = -z - 3*y. Does 6 divide z?
True
Suppose 7 = 4*l - 5. Let b(s) = -2*s - 2*s**2 - 3*s**3 - 2 + s - 2*s**l. Is 16 a factor of b(-2)?
True
Let o = 4 + -5. Let j be (o*(15 - 0))/1. Let g = 46 + j. Does 11 divide g?
False
Let r = 39 - -48. Let q = 3 + -64. Let j = r + q. Does 13 divide j?
True
Let t(b) = -10*b + 14. Does 7 divide t(-6)?
False
Suppose 0 = -w - 3*w + 12. Suppose 7*z - 124 = w*z. Is 22 a factor of z?
False
Let c(k) = k + 5. Let r be c(-6). Let n = r - 1. Does 14 divide (-1)/(2/40)*n?
False
Suppose 5*n = 258 + 142. Suppose -2*g = 3*g + 3*x - n, -2*x = g - 16. Is g a multiple of 8?
True
Let o(u) be the first derivative of -u**4/4 - 3*u**3 - 5*u**2 - 9*u + 2. Let l be 78/(-10) + 2/(-10). Does 7 divide o(l)?
True
Let v = -14 + 41. Is 3 a factor of v?
True
Does 13 divide ((-9)/18)/((-2)/208)?
True
Let z(l) = -26*l**2. Let i be z(1). Let q = 39 + i. Suppose q = 4*o - 7. Is o a multiple of 2?
False
Suppose 18 = -w + 3*w. Let h be (-33)/(w/(-3))*-2. Let x = h + 31. Is 7 a factor of x?
False
Suppose -i + 67 = -2*f, 4*f = -3*i - 39 + 220. Is i a multiple of 7?
True
Let i be -1 + (1 - 0) + 10. Let f = 26 + i. Does 16 divide f?
False
Suppose 0 = -g - 5*o + 121, o + 28 - 225 = -2*g. Does 32 divide g?
True
Let l = -4 - -1. Let n(o) = -2*o - 1. Let d(w) = -2*w. Let m(q) = l*d(q) + 2*n(q). Is 6 a factor of m(7)?
True
Suppose -b + 200 = 4*b. Let r = b - 8. Is r a multiple of 9?
False
Suppose u + 2*u + 714 = 0. Let a be (u/(-3))/(4/6). Let r = a + -68. Does 22 divide r?
False
Suppose 3*n + 32 = 80. Suppose v - 14 = 5*k + 21, 4*v + 4*k = 116. Suppose -4*l + 72 = -p, -2*l + n = 2*p - v. Is 9 a factor of l?
False
Suppose 5*x = 0, 4*k - 5*x - 10 - 6 = 0. Let b be (k/10)/((-1)/(-10)). Suppose 0 = -b*w + 138 + 50. Is 16 a factor of w?
False
Suppose 5*n + 15 = 0, 0 = 5*p + 5*n - 3*n - 314. Is p a multiple of 32?
True
Let w(j) = -j. Let o be w(6). Let q(f) = -f**2 - 8*f. Is 12 a factor of q(o)?
True
Suppose 6*h = h + 45. Let s = 13 - h. Does 2 divide s?
True
Let p(n) = 8*n. Suppose -4*u + 2*u + 12 = 0. Is 19 a factor of p(u)?
False
Let x be (-1)/(2*2/(-8)). Let w(z) = 3*z + 27. Let v(h) = h + 7. Let f(m) = x*w(m) - 9*v(m). Does 4 divide f(-6)?
False
Let h(g) = -g**2 + 12*g - 6. Let z be (-2)/(-4) - 17/(-2). Is h(z) a multiple of 21?
True
Let q = 28 + -6. Is q a multiple of 17?
False
Is 9 a factor of 0/(-2)*5/(-10) - -49?
False
Let k be -2 - 0*(1 + 0). Suppose -5*c + 4*n = 183, c + 3*c = -3*n - 134. Is 16 a factor of 28/k*c/14?
False
Let j(b) = b**2 - b + 46. Let n be j(0). Suppose 3*r = r - n. Is ((-1)/1 - r) + 0 a multiple of 11?
True
Suppose -5*d + 12 = 3*z, -2*z + 5*z - 24 = -d. Let g(b) = -9*b + 21. Let o be g(7). Let u = z - o. Is 21 a factor of u?
False
Suppose 5*h = i + 344, 0 = h - 6*i + 4*i - 76. Is 17 a factor of h?
True
Let y(k) = k**2 - 17*k + 11. Let s be y(16). Let x(z) = -z - 12. Let d(o) = o + 11. Let l(w) = 5*d(w) + 4*x(w). Is 2 a factor of l(s)?
True
Suppose 0 = 4*b - 5*g - 0*g + 5, 0 = 3*b + g - 1. Suppose b = 4*f, -2*f - 3 = -m + 5. Is 4 a factor of m?
True
Let q be 236 + -1 - (-7)/(-7). Let w = q - 166. Does 17 divide w?
True
Suppose 5*y - 2*h - 353 = -0*h, 2*y - 134 = -h. Is 55 a factor of y?
False
Suppose -3 = -a + 4*i, -10 = 3*a + i + 7. Let u(k) be the third derivative of -k**4/12 + k**3/6 - k**2. Is u(a) a multiple of 11?
True
Suppose -f + 2 = 0, -5*m + 360 = 3*f + 2*f. Let q = 49 + -21. Let v = m - q. Does 21 divide v?
True
Let k(c) = c**2 + 11*c + 7. Let o be k(-7). Let u = -13 - o. Is u a multiple of 6?
False
Let x(w) be the third derivative of 2*w**4/3 - w**3/2 + 7*w**2. Is 15 a factor of x(3)?
True
Let s(l) = 5*l + 12. Let p(h) = -2*h - 6. Let r(c) = 9*p(c) + 4*s(c). Let j be 6 + (0 - 0/(-2)). Is 3 a factor of r(j)?
True
Let c be 2/(-5) + (-34)/(-10). Let y be (c/(-6))/((-1)/(-26)). Let l = -5 - y. Is l a multiple of 8?
True
Let f = -3 + 3. Suppose 2*i - 3*g - 29 = f, 4*i = -0*i - 5*g + 69. Does 8 divide i?
True
Suppose 2*c - 3 + 1 = -4*m, 2*m = 2*c - 32. Let w = -3 + c. Is w a multiple of 2?
True
Let k(x) be the second derivative of 22*x**4/3 - x**3/6 + x**2/2 - x. Let f be k(1). Is f/14 - (-2)/(-7) a multiple of 3?
True
Is (-10)/(-5) - (-68 - 0) a multiple of 14?
True
Let k(c) = 1. Let u(t) = 19*t - 6. Let f(l) = k(l) + u(l). Is 11 a factor of f(2)?
True
Suppose -3*h + 2*h + 203 = 4*a, -a = 4*h - 62. Does 8 divide a?
False
Suppose -x + 84 - 6 = 0. Is x a multiple of 39?
True
Let h(u) = u**2 - 8*u - 19. Let p be h(15). Let c = p - 4. Is 21 a factor of c?
False
Suppose 3*h - 2 = 2*x, 8*h = -5*x + 3*h - 30. Let l(s) = -s**3 + 6*s**2 - 2*s - 4. Let t be l(5). Let r = t + x. Is r a multiple of 7?
True
Let i = -7 + 9. Suppose 5*p - 25 = 0, p - i - 3 = 3*z. Suppose 0 = v - z*v - 6. Is v a multiple of 6?
True
Suppose 3*z = 5*z - 12. Let q = z + -1. Suppose -28 = -4*d - 3*k, q*d + 2*k = 4*k + 58. Is 10 a factor of d?
True
Suppose -d = 3*i + 2*d + 87, 87 = -3*i - 5*d. Let z = i - -54. Let f = z + -13. Does 12 divide f?
True
Let c = 631 + 234. Let d be c/25 - (-2)/5. Let q = 18 + d. Is 24 a factor of q?
False
Suppose -16*h - 42 = -17*h. Does 32 divide h