a factor of n?
False
Let l be -1 + (5*9)/3. Suppose 4*v = o + l - 41, -6 = 2*v + 2*o. Let m(w) = -w**3 - 6*w**2 - w + 2. Is 8 a factor of m(v)?
True
Suppose 8*s = 4*s + 216. Does 18 divide s?
True
Suppose 0 = -0*u + 3*u - 6. Suppose 14 = 3*r + 5*b, u*b + 13 - 1 = r. Is r a multiple of 8?
True
Suppose 3*b - 8 + 2 = 0. Let o(f) = -4*f + 2*f + 7*f + f**b - 10 + f. Is 5 a factor of o(-8)?
False
Suppose 3*a + 35 = 5*w, -a = -4*w - 3*a + 6. Suppose -w*z = -5*j + 17, -j + 8 = 2*z - 1. Is 5 a factor of j?
True
Let x be (-4)/6 - 266/(-21). Does 4 divide 111/x + 2/(-8)?
False
Suppose -n + 22 + 11 = 0. Let x = 9 + n. Does 14 divide x?
True
Let m be (2 - 3) + (1 - -1). Let o be (-15)/12 + m/4. Is ((19 - 2)*-2)/o a multiple of 17?
True
Let r(v) = v**3 - 3*v**2 - 2*v - 3. Suppose -p + 4 = -0*p. Let s be r(p). Suppose -s*w = -5*t + 90, 61 = 4*t + 3*w - 11. Is t a multiple of 9?
True
Suppose -7*d + 10*d = 12. Suppose 0*f - 81 = -3*f. Suppose 0 = -d*h + f - 7. Is h a multiple of 5?
True
Let n = 18 - 13. Suppose 2*p = p + 5, -4*p + 70 = -n*i. Let b = 24 + i. Does 7 divide b?
True
Suppose 1 + 2 = 3*o. Is ((-3)/(-6))/(o/18) a multiple of 5?
False
Suppose -6*r - 154 = -8*r. Suppose r = -4*o + 189. Is o a multiple of 14?
True
Suppose -4*l = -4*y - 7*l + 202, -3*y + 2*l = -160. Does 26 divide y?
True
Suppose -5*r + 4*o = -r, -5*o - 8 = -3*r. Is ((-148)/8 - -3)*r a multiple of 18?
False
Let f(x) = -x**3 + 8*x**2. Let m be f(8). Suppose 5*i = -m*n + 2*n + 9, -n + 5*i = 17. Does 8 divide n?
True
Suppose 0 = -2*c + 1 + 1. Does 3 divide c*2/4*22?
False
Let d = -2 - 3. Let t = 45 + d. Suppose -2*c + 0 = -t. Does 7 divide c?
False
Is 14 a factor of 14/63 - 628/(-9)?
True
Suppose -3*w - h = 40, 0 = 3*w - 5*w - 2*h - 32. Let m be 3*((-98)/6 + -1). Is 12 a factor of (m/(-6))/((-4)/w)?
False
Let p(x) = x**3 + 5*x**2 - 5*x - 3. Let a(n) = 2*n + 3. Let k be a(-3). Is 10 a factor of p(k)?
True
Let m(g) = 2*g**2 - 3*g. Let t be m(2). Suppose y - 21 = -t. Is y a multiple of 15?
False
Suppose -4*s - 15 = m, 19 = -2*m - 5*s + 4. Suppose m = -2*r - 5, 4*u - 105 = r. Suppose 14 = 3*b - u. Is b a multiple of 13?
True
Suppose -6*j - 9 = -3*j. Let q be (j/2)/((-3)/18). Suppose k = 5*w - 57, 5*k - q + 30 = w. Is 11 a factor of w?
True
Let f = 22 + -66. Let z = f + 62. Is z a multiple of 18?
True
Does 31 divide (98/6)/((-11)/(-66))?
False
Suppose 5*a = 5*u - 35, 2*a + 4 + 2 = 0. Let o = 6 - u. Suppose o*j - 15 = -j. Does 2 divide j?
False
Let t(q) = -12*q**3 + q**2 - q. Let h = 1 + 0. Let s be t(h). Let z = 3 - s. Does 15 divide z?
True
Does 3 divide (-1 - -7)/(4/6)?
True
Suppose -4*f = 81 - 297. Is 17 a factor of f?
False
Suppose -5*x = x - 402. Does 5 divide x?
False
Suppose -4*o + 3*i = o - 260, 2*i - 10 = 0. Suppose -3*c - 4*t + 70 = 0, 5 = c + 2*t + 3*t. Let w = o - c. Is 17 a factor of w?
False
Let g be 4/(-10) + 336/(-10). Let v = -16 - g. Is 10 a factor of v?
False
Let b = -8 + 15. Does 2 divide b?
False
Let j(h) = h**3 + h**2 - 2*h - 7. Is j(3) a multiple of 20?
False
Suppose 6*l + 84 = 3*l. Is (l/6)/((-2)/15) a multiple of 20?
False
Suppose 12*r + 12*r - 6312 = 0. Is 11 a factor of r?
False
Let x(v) = 3*v**2 + 2*v + 3. Suppose -6*y - 10 = 2*z - y, -z - 5 = -y. Let u(d) = -2*d**2 - d - 1. Let f(l) = z*u(l) - 3*x(l). Is f(5) a multiple of 12?
False
Let r be 2 - (-3)/(3/(-8)). Let q be (-68)/r*(2 + 1). Is 8 a factor of 2*-1*q/(-4)?
False
Let j(s) = -3*s + 9. Let b be j(8). Suppose -2*w + 135 = -5*w + 3*q, 0 = 3*w - 5*q + 135. Let z = b - w. Is z a multiple of 10?
True
Let n = 12 - 21. Let j(a) = -a**2 - 8*a + 7. Let y be j(n). Is 3 + -2 + (-50)/y a multiple of 24?
False
Let g(q) = q**3 - 5*q**2 - q + 1. Let y be g(4). Let c = y - -35. Does 10 divide c?
False
Let b = 150 - 98. Does 5 divide b?
False
Let y be (0 + (-86)/1)/2. Let s = y - -117. Let r = s + -46. Is r a multiple of 14?
True
Suppose -4*l - 5*i = -20, 0 = l + l - 5*i - 10. Suppose r + 10 = l*a + 4, 0 = -2*a - 2*r + 12. Does 8 divide (a/(-2))/((-2)/26)?
False
Let f(x) be the second derivative of x**3/2 + 3*x**2/2 - x. Does 7 divide f(5)?
False
Suppose 0 = -4*j + 5*n - 0*n - 9, 2*j - 4*n = -6. Let f be -12*((-1)/2 + j). Suppose 0 = -2*z + z + f. Is z a multiple of 9?
True
Let s = -49 + 109. Does 10 divide s?
True
Suppose -210 = -2*p - c, 3*c + 306 = -0*p + 3*p. Let s = p + -64. Is s a multiple of 15?
False
Let g be 16 - -4*(-3)/6. Suppose -2*h + 4*h - g = 0. Let d = h + 18. Is d a multiple of 14?
False
Suppose -3*h - h + 120 = 0. Does 15 divide h?
True
Suppose 13 = -0*y - 2*y + b, y = -4*b + 7. Suppose -3*k = d - 6, -3*k + 2*d + d - 6 = 0. Is ((-28)/5)/(k/y) a multiple of 14?
True
Suppose -10 - 22 = -2*h. Is 16 a factor of h?
True
Is (-6 - -5)*(2 - 402) a multiple of 40?
True
Let o = -2 + 6. Suppose 8*y - 3*y - 20 = 0. Let w = o + y. Is 4 a factor of w?
True
Let k(a) = -a + 75. Is 11 a factor of k(0)?
False
Let g = -167 + 89. Let z = -334 - -201. Let o = g - z. Is o a multiple of 21?
False
Let r be -3 + 2 + -3 - -8. Suppose 2*j = 2*h + h - 155, -h + r*j = -65. Does 18 divide h?
False
Suppose 552 = 2*w + 4*u, 11*w - 4*u - 788 = 8*w. Is 16 a factor of w?
False
Suppose -8*y + 1206 = 54. Is y a multiple of 12?
True
Let o(s) = -s - 2. Let n be o(-3). Suppose -84 - 1 = -5*b. Suppose c - b + n = 0. Is c a multiple of 10?
False
Suppose 0 = -0*o - 5*o + 4*s + 1225, o = 4*s + 245. Is 35 a factor of o?
True
Suppose -2*p - 102 + 327 = 3*i, -4*p + 5*i + 395 = 0. Let x be (2/(-4))/(2/(-16)). Suppose m + p = x*m. Is 19 a factor of m?
False
Suppose 96 = 16*v - 15*v. Is v a multiple of 16?
True
Let k(t) = 2*t**2 - 5*t - t - 3*t + 5. Let x be k(6). Let g = x - -12. Does 16 divide g?
False
Let i(a) = 37*a - 4. Suppose -l + 23 = -9*v + 5*v, 5*l = 4*v + 35. Let d be i(l). Suppose -d = -4*k - 11. Is k a multiple of 12?
True
Let d(i) = i**3 - 11*i**2 + 12*i - 8. Let l be d(10). Suppose 0*f - 4*f = -l. Suppose f*x - 7*x = -96. Is x a multiple of 12?
True
Suppose r - 7 = 2*i, -r + 4 = -2*i - 3*i. Does 5 divide r?
False
Let c(n) = -n**3 - 6*n**2 - 5*n + 3. Let k be c(-5). Suppose 0 = s + k*s - 20. Suppose s*a = 3*a + 12. Does 5 divide a?
False
Let f = 5 + -6. Let j = f - -4. Does 3 divide j?
True
Let c be 2 - 6/4*-2. Suppose -3*b - c*j + 0*j + 138 = 0, 12 = -4*j. Is b a multiple of 17?
True
Let y be 1/(-3) + 21/9. Suppose -4*v + y*h - 60 = 0, -v + 42 = -3*v - 5*h. Does 2 divide (-36)/v - 1/4?
True
Let b = 23 + -8. Let f = 29 - b. Is f a multiple of 6?
False
Let n(h) = h**3 - 2*h**2 - 8*h + 3. Let w be n(5). Suppose -3*r + 20 = -0*s + 2*s, 4*s = -5*r + w. Does 4 divide s?
False
Let b = -10 - -12. Suppose 3*n + b*i = 94, -3*i + 2 = 5. Is n a multiple of 8?
True
Is 140*((-54)/(-40) + 4/16) a multiple of 32?
True
Does 12 divide (-6)/(-12) + (-63)/(-2)?
False
Let p(t) = -t + 2. Let s be p(-3). Suppose 5*f + s*k + 0*k = 25, 2*k = 5*f - 32. Is f a multiple of 2?
True
Let s = 1 - -1. Let p = 2 - s. Does 22 divide (-33)/(-6)*(8 + p)?
True
Let v = 96 + -15. Let b = -49 + v. Is b a multiple of 16?
True
Suppose -3*t = -x, -x - 2*t = -4*t - 4. Does 4 divide x?
True
Suppose 127 = 3*f + c, -f = -3*f + 3*c + 92. Let u = f + -22. Is u a multiple of 21?
True
Let b(o) = o**2 + 2*o + 1. Let r be b(-1). Suppose 3*g = 5*w - w + 15, 3*w = r. Suppose 4*h - 32 = v - g*v, -13 = -5*v + 4*h. Is 2 a factor of v?
False
Let n(k) = -k - 1. Let q be n(-6). Suppose b = 9 + q. Is 7 a factor of b?
True
Let v be 4 - (-2 + 1 + -1). Let g(m) = -m**3 + 8*m**2 - 6*m - 1. Is g(v) a multiple of 15?
False
Suppose -3*r - 2*r = -15. Let l(n) = n - 3. Let x be l(r). Let k = 62 + x. Is k a multiple of 23?
False
Suppose -16 = -5*j + g + 24, 3*j - 3*g = 36. Let c(o) = 1 + 7*o - j*o - 2 + 28*o**2. Is 8 a factor of c(-1)?
False
Let r be -7 - 0/((-3)/1). Let w = 3 - r. Does 10 divide w?
True
Does 13 divide ((-8)/3 - 0)/((-18)/324)?
False
Let f = -113 + 237. Is 14 a factor of f?
False
Does 5 divide 4/5 + (-284)/(-20)?
True
Let d be 3*-3*(-4)/12. Let z be 1/(0 - -1) - -6. Suppose -d*n + 2*n - z = -2*j, 5*j + 2*n = 13. Is j a multiple of 2?
False
Suppose 3*u = u + 84. Is 14 a factor of u?
True
Suppose 0 = -3*k + h + 289, -3*h - 49 = -3*k + 230. Is 14 a factor of k?
True
Let v be (-2)/(-7) - 131/(-7). Suppose -2*t + 0*t = 16. Let h = v + t. Does 6 divide h?
False
Let u(b) = b**3 + 6*b**2 - 5*b - 2. Doe