pose 68 = -33*c + 34*c. Does 17 divide 0 - (4 - c) - -4?
True
Suppose -9*y = -339 - 75. Does 15 divide y?
False
Suppose 0 = 3*w + 133 + 101. Let z = w + 144. Is z a multiple of 11?
True
Let a(m) = 10*m**2 + m - 11*m**2 - m**3 + 7*m**2 + 4. Does 13 divide a(5)?
False
Let r(t) = 19*t**3 - t**2 - t**2 + 3*t**2 - 2*t**2 - 2 + 6*t. Does 25 divide r(2)?
False
Let h = -11 - 1. Let l be (-3)/4*32/h. Suppose o = l*o - 29. Is o a multiple of 24?
False
Let q = 132 - 85. Let t = q + -43. Is 2 a factor of t?
True
Let s = -172 + 244. Suppose g - s - 44 = 0. Let h = -65 + g. Is 17 a factor of h?
True
Is 13 a factor of 2*(-5 - -4) - (0 - 327)?
True
Suppose -10*w + 5*w - 40 = 0. Let k = -8 - w. Suppose k*o = 3*o - 126. Does 14 divide o?
True
Let f = 108 - 6. Does 26 divide f + (0 - 3 - -5)?
True
Let p be -2 + (2 + -20)/(-1). Let t(i) = 19*i + 152. Let z be t(-8). Suppose p = v - z*v. Is 16 a factor of v?
True
Let w(n) be the second derivative of 1/20*n**5 - 1/6*n**3 + 5*n + 0 - 1/12*n**4 + 0*n**2. Does 2 divide w(2)?
True
Let r = -1967 - -3843. Is 23 a factor of r?
False
Suppose u = 5*l - 30 + 10, 5*l - 10 = 3*u. Is 6 a factor of 20/l + 36/2?
False
Suppose 0 = 6*z + 622 - 178. Let c = 152 + z. Is c a multiple of 13?
True
Let h = -48 - -32. Does 10 divide (-688)/h + -3 + -1?
False
Is ((-59)/(-1))/(43/559) a multiple of 3?
False
Let c(q) = -17*q**2 - 12 - 9*q - 13*q + 4*q + q + q**3. Let a be c(18). Is 14 a factor of (987/(-28))/(a/(-16))?
False
Suppose -v + 2*t = 12, 4*v - 8 = 5*t - 50. Is (v/(-12))/(2/81) a multiple of 4?
False
Let b = 124 + -63. Let c = -43 + b. Is 9 a factor of 1032/27 + (-4)/c?
False
Suppose 411 = 4*w + 95. Suppose -j - 154 = -v, -5*v - j + w + 703 = 0. Is v a multiple of 28?
False
Suppose x - 2 - 3 = 0. Suppose 0 = b + 2*b - g - 730, -b + x*g = -262. Is 13 a factor of b?
False
Let w = -18 + 27. Suppose 448 = 13*g - w*g. Is g a multiple of 33?
False
Let a be 187 + (-6)/12 + 2/(-4). Suppose 132*g - 133*g = -a. Is 33 a factor of g?
False
Suppose -s - 269 = 4*o + 4*s, 0 = 3*o + 2*s + 200. Let y = o - -102. Is 13 a factor of y*((-1)/3 - -1)?
False
Let l(x) = x**3 + 15*x**2 + 6*x + 14. Is 24 a factor of l(-11)?
True
Let t(x) = -11*x**3 - x**2 - 15*x - 10. Is 82 a factor of t(-4)?
True
Let v be 8/6*(-12)/(-8). Suppose 2*n = 6 - v. Does 6 divide 0 + 22 + 1 + n?
False
Suppose 3*u - 2937 = -30*u. Is u a multiple of 4?
False
Suppose -2 = -4*l - 4*q + 26, q = -3*l + 13. Let o(f) = f**2 - f - 7. Let a be o(-5). Is a - l - 0/2 a multiple of 13?
False
Suppose 43*k - 37824 = 25988. Is k a multiple of 53?
True
Let t = 266 + -126. Is t a multiple of 28?
True
Let z(d) = -19*d - 9. Let o(h) = 57*h + 26. Let s(g) = 4*o(g) + 11*z(g). Let v be 12/3 - (2 + -1). Is 23 a factor of s(v)?
False
Suppose 48*t + 4247 = 19511. Is 2 a factor of t?
True
Suppose -84 = -18*o + 21*o. Is 23 a factor of o*((105/4)/(-7) + -2)?
True
Suppose 2394 = 2*d + c, -3*d + 4700 = 4*c + 1104. Is 92 a factor of d?
True
Suppose -5 = -c - 2. Suppose -9*r = -4*r + c*x - 5, 5*x + 41 = 4*r. Suppose -r*m + 176 = 4*l, 0 = l + 6*m - m - 56. Is l a multiple of 17?
False
Let u = 12 - 9. Suppose o + 2*o - 444 = -2*x, -4*o = u*x - 666. Is x a multiple of 35?
False
Let n(a) = 16*a - 16. Suppose 21*y = 19*y + 12. Does 16 divide n(y)?
True
Let z = 56 - -36. Suppose a = 2*p - 36, -12*p + 2*a + z = -7*p. Is p a multiple of 2?
True
Let j(f) = 19*f - 2. Let u be j(3). Suppose -5*n + 170 = 2*x, 0*x + 5*n + u = x. Does 19 divide x?
False
Suppose 2060 - 16 = 2*r. Does 25 divide -4 + r/35 + (-1)/5?
True
Let z(v) = -v**3 - v - 2. Let b be ((-2)/2)/1*1. Let n be z(b). Let h(m) = -m**2 + 9. Does 3 divide h(n)?
True
Suppose j + 6 = -j, -3*a = -2*j + 6. Let m(y) = -13*y - 10. Is m(a) a multiple of 16?
False
Let h(i) = -i**2 + 2*i + 3. Let z be h(0). Suppose 2*q - 223 = -4*w + q, -166 = -z*w - 2*q. Does 5 divide w?
False
Let c = 71 - 26. Let z(h) = -h**2 - 9*h - 17. Let t be z(-4). Suppose -2*w = t*s - 4*s + 40, -c = -s - 3*w. Is s a multiple of 13?
False
Does 45 divide (-6 + -40 + (1 - 0))*-1?
True
Does 72 divide (-7)/(15 + -22) - (-539 - 0)?
False
Let j(b) be the first derivative of b**4/4 - 2*b**3/3 + 11. Let m be j(2). Let k = 14 + m. Is 14 a factor of k?
True
Let j(x) = x - 3. Let u be j(8). Let n(h) = 2*h**3 - 10*h**2 + 7*h. Let a be n(u). Suppose 3*m + 2*w = 44, -4*w - 39 = -3*m + a. Does 7 divide m?
False
Let o(b) = b**2 - 6*b + 1. Let f be o(3). Let i(c) = -c. Is i(f) a multiple of 5?
False
Let d = 1 + -4. Let i(x) = x**2 + 4*x + 7. Let u be i(d). Suppose -5*r - 5 = -4*v, 0*v = u*v + 4*r - 32. Is v a multiple of 3?
False
Let v(u) = 6*u - 59. Let f be v(8). Let m be 89*(3 + -2)*-1. Let o = f - m. Is o a multiple of 26?
True
Suppose c + 2*m = 740 - 200, 4*m = c - 522. Is 14 a factor of c?
False
Is 714 - (-6 + 6)/(-4) a multiple of 17?
True
Let n(p) = -6*p - 32. Let a = 20 - 41. Is 21 a factor of n(a)?
False
Let d(k) = -3*k + 11. Let x be d(0). Suppose 0 = m - 49 - x. Is m a multiple of 12?
True
Let z = -1007 - -1069. Is 46 a factor of z?
False
Let o(x) be the third derivative of x**4/24 + 7*x**3/2 - 472*x**2. Let h(t) = -t**3 - 5*t**2 - 5*t - 2. Let n be h(-3). Is o(n) a multiple of 13?
False
Let n = -175 - -110. Let s = -8 - n. Is 19 a factor of s?
True
Suppose 0*h - h - r = -1977, 0 = 3*r - 3. Does 76 divide h?
True
Let z = 1866 - 1347. Is z a multiple of 65?
False
Suppose 0 = n - 0*j + 4*j - 17, 0 = 3*j - 3. Let m(v) = 7*v - 18 - 17 + 22. Is m(n) a multiple of 18?
False
Let u(c) = -2*c**2 + 11*c + 11. Let i be u(6). Suppose -s + 2*m + 3*m = -164, i*m + 502 = 3*s. Is 30 a factor of s?
False
Let r be 0*(2 + (-3)/2). Let b = 182 + -179. Is (r + 192/b)/1 a multiple of 20?
False
Let f(h) = h**3 + 12*h**2 - 12*h + 18. Let a be f(-13). Suppose -9*i + a*i = 732. Let u = i - -286. Is 20 a factor of u?
False
Let y = 27 - 23. Suppose -4*m + 102 = -m - 5*c, -104 = -4*m - y*c. Is m a multiple of 29?
True
Let s(i) be the first derivative of 13*i**2/2 - 34*i - 20. Is s(8) a multiple of 14?
True
Let q(l) = l**2 - 63*l + 3462. Is q(0) a multiple of 12?
False
Suppose -5*n = -1089 - 911. Is n a multiple of 25?
True
Let k(l) = -6*l + 2. Let x be k(2). Is 21 a factor of (75/x)/((-1)/10)?
False
Suppose -5*f = 11 - 41. Suppose -7*s - 3 = -10. Suppose -3*b - 3*z = -57, -f*z + z = -b + s. Is 16 a factor of b?
True
Let z(y) = y**3 - 8*y**2 + 6*y + 15. Let l be z(6). Let u = 10 - l. Does 4 divide u?
False
Suppose -i - 1137 = -5*a, 5*i + 6 = 2*i. Does 7 divide a?
False
Let w = -3543 + 5807. Does 108 divide w?
False
Let n(q) = -q**2 - 15*q - 6. Let j be n(-7). Suppose 7*s = 2*s + j. Let a = 27 - s. Is a a multiple of 5?
False
Let c(u) = u**2 - 2*u - 4. Let f be c(6). Suppose -4*b - 80 = f. Let l = -4 - b. Does 7 divide l?
True
Let g(d) be the second derivative of d**4/3 + d**3 - d**2/2 + 10*d. Is g(-5) a multiple of 23?
True
Suppose 669*a + 1515 = 684*a. Is 4 a factor of a?
False
Suppose 0 = -o + p + 2*p + 27, -95 = -5*o - 5*p. Suppose -3*m + m + 3*t = -31, 3*m - o = -4*t. Suppose c = m - 0. Is c a multiple of 7?
False
Suppose 4*u = u - 3*j + 9, 11 = 3*u + 4*j. Let p(c) = 139*c**3 - 2*c + 2. Is p(u) a multiple of 17?
False
Let q(n) = -35*n + 1221. Is q(0) a multiple of 20?
False
Suppose -2*y = -4*g + 1248, -89 - 245 = -g - 5*y. Is g a multiple of 4?
False
Let y(t) = -5*t**3 - 3*t**2 - t. Suppose 3*a + 1 + 5 = 0. Let p be y(a). Suppose -2*k = 3*k - p. Is 2 a factor of k?
True
Let r(m) = m**3 + 8*m**2 + 9*m. Let i be r(-6). Let l = 20 - i. Suppose 3*w - 33 = -3*k, l*w - 10 = -0*w. Is k a multiple of 2?
True
Let b = 2 - -68. Suppose -4*m - 2*u - b = -8*m, -4*u = 12. Is 2 a factor of m?
True
Let o(s) = s**2 - 12*s + 28. Let z be o(12). Let q = z - 22. Is 196/q - (-10)/(-15) a multiple of 6?
False
Let f(s) = 191*s - 530. Is f(10) a multiple of 60?
True
Suppose -4*r + 9*r + 25 = 0. Let z(x) = x**3 + 9*x**2 + 4*x + 2. Is z(r) a multiple of 14?
False
Is 714/4 - 450/(-300) a multiple of 10?
True
Suppose 221 = h - 17. Suppose -2*j - 3*o = -277, 2*o + h = -5*j + 925. Does 18 divide j?
False
Suppose -3*h + 18 = 2*q, 2*q - h + 6*h = 22. Suppose 3*b - q*b = -45. Is b a multiple of 7?
False
Suppose 0 = -50*o + 44*o + 1194. Is o even?
False
Suppose -4*b = -2*f + 948, -2*b + 891 = 5*f - 1515. Is 40 a factor of f?
True
Suppose 4*v - 4*j - 5252 - 1900 