se 0 = x + 24 - 2. Let t = x - -37. Does 15 divide t?
True
Let m = 1 + 4. Let h(t) = 3*t + 9. Does 6 divide h(m)?
True
Let s(w) = -w**2 + 6*w + 6. Is 11 a factor of s(5)?
True
Suppose -4 = 2*i, 3*i + 26 = -3*n - 4. Suppose 4*b = -4*u - 40, -4*b - 2*u = 24 + 24. Let t = n - b. Does 6 divide t?
True
Suppose 277 = 13*a - 191. Is 5 a factor of a?
False
Let y(z) = -z**2 + z**3 - 5*z**2 + 3*z**3 - 3*z**3. Let p be y(6). Does 6 divide -2*((-9)/3 - p)?
True
Let n = 35 + 7. Is 21 a factor of n?
True
Suppose -n - 3*n - 14 = 2*y, 5*y + 11 = 2*n. Is 7 a factor of -16*((-15)/6 - n)?
False
Let o = -105 - -109. Does 4 divide o?
True
Suppose 0*v = 3*y - 5*v - 15, 0 = 3*v. Suppose y*x - 5*w = 155, -3*x = 2*w - 19 - 49. Let p = 59 - x. Is p a multiple of 11?
True
Suppose -5*a + 175 = 5*q, -q + 54 = -3*a + 163. Suppose -345 = -3*p + a. Is 11 a factor of 3/12 - p/(-4)?
False
Suppose 0 = -5*r - 0*r - 95. Let n = 37 + r. Is n a multiple of 6?
True
Let u(x) = x**2 - 5*x + 8. Let g be u(6). Let j = 34 - g. Does 10 divide j?
True
Let y be 158/(-13) - (-16)/104. Is (-40)/(-12)*y/(-5) a multiple of 4?
True
Let i(j) = j**3 - 5*j**2 + 5. Let o be i(5). Suppose 3*d - 54 = -4*g, -2*g + 68 + 8 = o*d. Is d a multiple of 7?
True
Does 6 divide 17*(3 + -2 + 0)?
False
Let h be -3 + 2 - (5 - 5). Is 3 + -1 + (-30)/h a multiple of 7?
False
Suppose 63 = 3*b + 3*m, -2*b + 49 = -9*m + 4*m. Suppose 2*u = 2*j - 10, 3*u = -2*j + 2*u + 1. Suppose -j*p = -b - 66. Does 22 divide p?
True
Let a(x) = x + 6. Is a(7) a multiple of 3?
False
Let z = -145 + 278. Is z a multiple of 19?
True
Let y = -17 + 30. Is y a multiple of 8?
False
Suppose -d + 11 = -t, 0 = d + 2*t - 1 - 1. Suppose -d = 5*p - 43. Does 2 divide p?
False
Suppose a + 41 = -23. Suppose 5*h - 724 + 254 = 0. Let q = h + a. Is q a multiple of 15?
True
Let g = 15 + 16. Is g a multiple of 11?
False
Suppose 0 = k - 6*k + 95. Does 11 divide k?
False
Suppose 3*y - 109 = -22. Is 13 a factor of y?
False
Let c(l) = l - 3. Let x = 2 + 0. Let v be c(x). Is 1*(v + 8 - 1) a multiple of 6?
True
Let i(x) = -x**2 + 10*x - 8. Let l = 1 - -7. Let k be i(l). Suppose 0 = -w + 6 + k. Does 14 divide w?
True
Suppose -3*s - 57 - 25 = -5*t, -t - 2 = 4*s. Suppose -3*j - g + t = g, -2*g + 22 = 4*j. Let p = j + 6. Is p a multiple of 6?
False
Let g(f) = -4*f + 10. Suppose -2*s - 15 = s. Is 6 a factor of g(s)?
True
Suppose -68 = 3*h - 4*h + 2*v, -3*h + 2*v + 196 = 0. Does 32 divide h?
True
Suppose 0 = 3*o - o + 54. Let t be (o/4)/(5/20). Let w = t + 69. Is w a multiple of 21?
True
Let u = 12 + 96. Does 12 divide u?
True
Does 8 divide (32/(-20))/(4/(-20))?
True
Let i(p) = p**3 + 4*p**2 - 3. Let s be i(-3). Let k be (-14)/(-6) - 2/s. Suppose 2*n = -k*n + 56. Is 14 a factor of n?
True
Let y(a) = 10*a - 5 - 2*a**2 + 0 + 2 - 3*a. Let h be y(5). Let c = -13 - h. Is 2 a factor of c?
False
Suppose 2*a + 185 = 7*a. Suppose -3*w + a = -29. Is 11 a factor of w?
True
Let q = 22 + 36. Let m be q/(-2)*(-1 + 0). Suppose -5*s - 4*y + 53 = 0, -m = -3*s + y - 2*y. Is s a multiple of 9?
True
Let q = -5 + 7. Let u = -21 + 45. Suppose q*k = -k - 3*m + u, -4*k - 2*m + 26 = 0. Does 5 divide k?
True
Suppose 330 = -5*z - 0. Let i = z - -98. Is i a multiple of 11?
False
Let p be -1 - -2 - 21/3. Let c(s) = -s**3 + 10*s**2 - 9*s + 2. Let u be c(9). Is 29/3 - u/p a multiple of 10?
True
Let c be 2/(2*-1) + 5. Let q be (16/(-6))/(c/(-6)). Suppose -q*y + 21 = -y. Is y a multiple of 5?
False
Is 2/(-7)*(-13 - 1) a multiple of 3?
False
Let q = 9 + -6. Is 6 a factor of 0 + q + (-3)/(-1)?
True
Suppose c + 5 = 17. Suppose -2*l - 8 = 2*o, -5*l - o = -2*l + c. Is (-2)/l - (-42)/4 a multiple of 8?
False
Let h(v) = 0*v - 2*v - 1 + 3*v. Let m be h(3). Is 3 a factor of ((-3)/2)/(m/(-4))?
True
Let l(d) = -d**3 - 9*d**2 - d - 2. Let n be l(-9). Let i = n + -4. Suppose j = i*k + 29, 27 + 12 = j + 2*k. Does 10 divide j?
False
Let c = 51 - -15. Let n(p) = -p**2 + 9*p. Let a be n(9). Suppose 0 = -3*f - a*f + c. Does 11 divide f?
True
Let x be 21/(-4)*52/(-13). Suppose 0 = -t - 4 + x. Is t a multiple of 5?
False
Suppose 0 = y - 4*m - 5 - 18, -y = -5*m - 28. Let g(r) = -r + 22. Let d be g(0). Suppose -u = -y*u + d. Does 3 divide u?
False
Suppose -5*w + 10 = -u, -u + w - 24 = -3*u. Does 10 divide u?
True
Let f = -3 - -3. Suppose -5*t + 3*v = -51, 4*t + f*t + 4*v = 28. Does 9 divide t?
True
Let x(m) = 1 + 5 + 8*m - m**2 - 2*m. Let s be x(8). Is 10 a factor of ((-25)/s)/(2/16)?
True
Let m(v) = 0*v - 2*v - 2 + 5. Suppose 4 = -2*l + 3*j, -j + 4*j = 3*l + 9. Is 13 a factor of m(l)?
True
Is 9 a factor of 386/10 - 8/(-20)?
False
Let c(u) = -u**3 + 2*u**2 + u. Let s(y) be the first derivative of -y**2/2 - 5*y + 3. Let d be s(-4). Is c(d) a multiple of 2?
True
Does 6 divide ((-30)/(-9))/(-5) - (-113)/3?
False
Suppose r - 2 = -0*r. Suppose -o - r + 18 = 0. Does 16 divide o?
True
Let t(z) = 4*z**3 - z**2. Let n = -4 + 3. Let j be t(n). Let l(b) = -2*b - 4. Does 3 divide l(j)?
True
Let h(r) be the first derivative of -r**4/4 + 5*r**3/3 + 3*r**2 - 5*r + 1. Let f be h(6). Let n = f + 11. Is 6 a factor of n?
True
Let j(z) = 2*z. Let h be j(2). Suppose -47 = -h*k - k - 4*w, 17 = 2*k + w. Is k a multiple of 5?
False
Let t(v) = v**3 - 3*v**2 - 32. Let o(q) = -2*q**3 + 7*q**2 + 63. Let d(r) = -2*o(r) - 5*t(r). Is 13 a factor of d(0)?
False
Let o = -1 - -15. Suppose -h = -o - 8. Is 9 a factor of h?
False
Suppose -5*w = -1 - 9. Let k be (w - 18/4)*-2. Suppose -s + k*c - c = -8, 55 = 2*s + 5*c. Does 10 divide s?
True
Suppose 2*s - 15 = -3*s. Suppose 5*m - 4*o - 206 = 0, -97 - 5 = -s*m - 3*o. Is 19 a factor of m?
True
Let s be 1/(-2)*2/(-1). Let h = -4 + 7. Suppose s + h = y. Does 3 divide y?
False
Suppose -3*j = 3*y - 18, 0*y = 3*j - 2*y - 8. Let r(w) = 16*w**2 + 1. Let i(l) = 48*l**2 + 3. Let p(g) = j*i(g) - 11*r(g). Is p(1) a multiple of 6?
False
Is (0 + 1)*(-1 - -9) a multiple of 8?
True
Suppose 20 = -5*p, -3*o + 0*o + 2*p + 44 = 0. Is o a multiple of 12?
True
Suppose x = -2*g + 108, 5*x = -0*x + 3*g + 514. Let r = x - 72. Does 10 divide r?
False
Let o = 17 + -11. Is o a multiple of 3?
True
Let b(y) = 4*y + 2. Is 5 a factor of b(2)?
True
Let a(i) = -14*i + 4. Is a(-3) a multiple of 19?
False
Let t be (0/(3 - 6))/(-2). Let s be 0 + (0 - t)/3. Suppose 2*h + s*h - 169 = -5*o, 5*o - 4*h - 157 = 0. Does 12 divide o?
False
Let i(s) = -s**2 + 8*s + 3. Does 3 divide i(8)?
True
Let z = 8 + -5. Suppose -z*p + 485 = 2*p. Suppose 63 = 5*s - p. Is 12 a factor of s?
False
Does 21 divide (-2 + (-17)/2)*-16?
True
Let b(z) = 3*z + 1. Let l be b(-3). Is (l - -14)*(-16)/(-6) a multiple of 16?
True
Let u be (1/(-1) + 1)/2. Let a(l) = -l**2 + 2. Let o be a(u). Suppose -o*n + 6*n - 20 = 0. Is n even?
False
Let s = 140 + -30. Does 31 divide s?
False
Suppose b - 5*h = 104, -4*b + 472 + 64 = 4*h. Let u = -89 + b. Does 20 divide u?
True
Let n(y) = -y**3 - 6*y**2 - 8*y - 4. Let s = -1 - 4. Is 11 a factor of n(s)?
True
Let s(n) = 9*n - 5. Does 10 divide s(5)?
True
Let h = 16 + -12. Does 4 divide h?
True
Let z(s) be the first derivative of s**6/120 - s**5/120 + s**4/24 + s**3 + 2. Let y(h) be the third derivative of z(h). Is y(1) even?
False
Suppose -284 + 8 = -4*i - 3*y, -208 = -3*i - 2*y. Is i a multiple of 12?
True
Let k be (3/(-1))/(1/(-3)). Suppose l + k = j, 4*j = 2*l - 9 + 37. Suppose p = 23 - j. Does 9 divide p?
True
Suppose -5*o = -2*l + 20, l - 6*o - 20 = -o. Suppose m - 66 + 13 = l. Is 21 a factor of m?
False
Suppose 0*v - 5*p = 4*v - 13, v + 8 = -5*p. Let f = 15 - v. Is 8 a factor of f?
True
Let d be ((-22)/4)/((-3)/48). Suppose f = -3*f + d. Is f a multiple of 11?
True
Let n(c) = -c**2 + 9*c + 7. Suppose -3*u + 5*u + 30 = 0. Let l be ((-18)/u)/((-9)/(-60)). Does 5 divide n(l)?
True
Let x be ((-28)/(-6))/((-14)/(-21)). Suppose -2*k - a + 11 = 0, 5*a = 2*k - x*k + 30. Suppose -s - k*o + 2*o + 24 = 0, 0 = 2*s + 4*o - 48. Is 12 a factor of s?
True
Let j = -4 + 23. Is j a multiple of 19?
True
Let j = -3 + 67. Is 12 a factor of j?
False
Suppose 3*a + 28 = 208. Is a a multiple of 3?
True
Is 10 a factor of (-7)/((-7)/(-4)) - -15?
False
Let u(n) = 7 - n**2 - n + 13*n + 0. Let b be u(10). Is 15 a factor of b/6*20/6?
True
Suppose -5*z + 5*j = -z - 142, 4*z + 4*j - 160 = 0. Is z a multiple of 16?
False
Let z(r) = -r**3 - 8*r**2 - 6*r + 1. Let l be z(-7). Let