s t a multiple of 13?
False
Suppose 0 = -5*m - 5*c + 50, -m - 3*c + 22 = m. Is 8 a factor of m?
True
Suppose -2*o = -0*o - 204. Does 16 divide o?
False
Suppose -3*s + h = -2*h - 1365, -s = 3*h - 475. Suppose 2*i - s = -3*i. Suppose -4*z + i = 4*g, -2*z + 36 = 4*g - 56. Is 8 a factor of g?
False
Suppose -3*s = -4*u + 16 + 6, 5*u - s = 22. Suppose -85 = -p - u*p. Is 17 a factor of p?
True
Let v = -2 - -5. Suppose -v*d - 2*d - 10 = 0. Is (64/6)/(d/(-6)) a multiple of 16?
True
Suppose 0*b = -b + 2. Is 14 a factor of (37 - (-1 + b)) + 2?
False
Let v = 0 + 1. Suppose 0 = m + 4*w - 33, 7*m - 187 = 3*m - 5*w. Suppose 0 = -2*s + m + v. Is 19 a factor of s?
False
Is 43 a factor of (-3)/(-18)*0 - -126?
False
Let h(x) = x**3 + 5*x**2 - x + 6. Let p be h(-5). Suppose 6*t = 5*t + p. Is 11 a factor of t?
True
Let o(q) = 6*q**3 + 2*q**2 - 3. Let d(g) = -g**3 - 1. Let n(j) = -2*d(j) + o(j). Does 3 divide n(1)?
True
Let t = -6 + 8. Let h be 1/((-146)/74 + t). Let x = h - 17. Does 8 divide x?
False
Suppose -2*y + 0*y - 5*s + 23 = 0, 22 = 4*y + 2*s. Suppose c = 4, 2*t + y*c - 68 = c. Is 14 a factor of t?
True
Suppose 53 + 37 = 2*w. Does 30 divide w?
False
Let z(r) be the second derivative of r**5/20 + r**4/2 - 3*r**3/2 - 7*r**2/2 + 7*r. Is 7 a factor of z(-7)?
True
Let r(n) = -2 + 62*n**2 + n + 1 - 2*n. Let w be r(-1). Suppose -2*d = -s - w + 3, 2*s + 56 = 2*d. Is 13 a factor of d?
False
Let c = 181 - 174. Does 6 divide c?
False
Suppose -3*r = -4*n + 159, r = -5*n + 3*n + 67. Is 15 a factor of n?
False
Let w(k) = 7*k**3 - 10*k**2 + 17*k - 1. Let u(l) = -13*l**3 + 20*l**2 - 33*l + 3. Let q(g) = -6*u(g) - 11*w(g). Is 11 a factor of q(9)?
True
Let r(i) = -i**3 + 10*i**2 - 4*i + 4. Let l be r(7). Let z = 5 - 1. Suppose -l = -z*h + 5. Is h a multiple of 16?
True
Let p(u) be the third derivative of u**5/60 + u**4/24 - u**3/2 + 3*u**2. Does 9 divide p(3)?
True
Let d(v) = v**3 + 12*v**2 - 16*v + 19. Let p be d(-13). Suppose 2*f + 8 = p. Does 21 divide f?
False
Suppose -4*z = z. Suppose w + 4*w - 20 = z. Suppose 16 = -w*m + 60. Is m a multiple of 4?
False
Suppose 0 = 3*p - p - 14. Let j(i) = i**2 - 6*i - 3. Let v be j(p). Suppose 0 = 4*c - 0*y - v*y - 24, 5*c - y = 50. Is c a multiple of 9?
False
Suppose 0 = 8*x - 4*x - 340. Does 4 divide x?
False
Suppose 3*x = 5*v - 63, -2*v - x + 47 = 2*v. Let a be 3/(-9) - (-40)/(-6). Let j = v + a. Does 5 divide j?
True
Suppose 13 = 4*u - 39. Suppose u + 19 = 4*j. Does 4 divide j?
True
Let r = 272 + -162. Is r a multiple of 28?
False
Suppose -3*i = -4*i + 2. Suppose y - i*y + 41 = 0. Let m = y + -14. Is m a multiple of 9?
True
Suppose 0 = -3*z + 7 + 5. Suppose 0*r = -r + z. Suppose -r*b + 16 + 8 = 0. Is b a multiple of 3?
True
Let v = -203 - -311. Is 18 a factor of v?
True
Let b = 146 - 47. Is 27 a factor of b?
False
Let f(k) = 3*k - 3. Let w be f(3). Let x be ((-6)/4)/(3/w). Let b = 6 + x. Is 3 a factor of b?
True
Let v(r) = 2*r**2 + 2*r - 13 + 3*r - r**2. Suppose -3*h = -4*l - 51, -8 - 8 = 4*l + 4*h. Is v(l) a multiple of 18?
False
Let g = 106 + -53. Does 10 divide g?
False
Suppose -2*c + 12*c = 3400. Does 34 divide c?
True
Let l be (-6 - -6)/(1/1). Suppose -3*w + 2 - 17 = -3*m, m - 4*w - 17 = l. Suppose 45 + m = 2*n. Is n a multiple of 11?
False
Let n(o) = -o**3 + 4*o**2 + 4*o + 7. Let y be n(5). Let x = 7 + -7. Suppose 6*z - y*z - 72 = x. Does 9 divide z?
True
Let l = -2 + 7. Suppose -4*b = -h - 10, -h - l*b - 1 = -0. Does 4 divide 8/h*(-81)/18?
False
Let t be 1/3 - 22/(-6). Suppose -2*q = -2 - t. Suppose 0 = -2*f - q + 41. Is 17 a factor of f?
False
Let n be ((-4)/1)/(-1 - 1). Suppose c - 4*u = -11, 0*u - n*u + 13 = c. Is 5 a factor of c?
True
Let s = 3 + -3. Suppose 0*p + p - 15 = s. Is 9 a factor of p?
False
Let v be (21/12 - 3)*-4. Suppose 50 = v*x - 25. Does 15 divide x?
True
Suppose -72 = -s - 3*s. Suppose -3*r = x - 19, 4*r - s = 2*r + 2*x. Does 2 divide r?
False
Suppose 9*i = 7*i + 32. Is 16 a factor of i?
True
Let w(y) be the second derivative of -2*y**3 - 2*y. Suppose 4 + 0 = -4*m. Is 6 a factor of w(m)?
True
Let a = -9 - -15. Suppose -3*t + 35 = 4*t. Suppose 10 = a*i - 4*i, 0 = t*z + 2*i - 105. Is z a multiple of 7?
False
Let o(c) = c**2 - c - 4 - 2*c - 3*c + 3*c. Is 14 a factor of o(-3)?
True
Suppose -4*m = -5 + 81. Suppose -3*y + 104 = -5*z, y - 4*z + 2*z = 33. Let r = m + y. Is r a multiple of 11?
False
Suppose -63 = -0*m - m - 2*l, -2*l - 43 = -m. Is 5 a factor of m?
False
Suppose -i + 7 = 3. Suppose 0 = 3*s + 4*h - 170, 4 = 3*h - i*h. Does 15 divide s?
False
Let k be 2/(-7) - (-46)/14. Suppose x = k - 4. Does 8 divide 1 - 0/x - -15?
True
Suppose -2*p = -5*p - w + 241, -5*p + w = -399. Is p a multiple of 18?
False
Let r = -17 + 9. Let k = -12 - r. Let z(g) = 6*g**2 + 6*g + 6. Is z(k) a multiple of 20?
False
Suppose -z = -4*h + 464, -357 = 3*h - 6*h + 3*z. Does 23 divide h?
True
Suppose 5*l - 582 = u, 4*l - 2*u - 301 = 167. Is 24 a factor of l?
False
Let j = 145 - 111. Is 8 a factor of j?
False
Let r(f) = -f**3 - 4*f**2 - 6*f - 4. Is r(-6) a multiple of 13?
True
Does 25 divide ((-16)/5)/((-2)/60)?
False
Suppose 0 = 3*h - 5*h + 20. Is h a multiple of 5?
True
Suppose 5*y - 12 = 8. Suppose 0 = d - y - 12. Is 5 a factor of d?
False
Suppose 0 = 8*a - 285 - 1019. Does 28 divide a?
False
Suppose -4*g + 4*d + 17 = d, 2*g + 5*d + 11 = 0. Suppose 7 = s - g. Suppose -2*l + s = -13. Does 8 divide l?
False
Let o(f) = 23*f**2 - 2*f + 1. Let r be 4/(-18) + 11/9. Is o(r) a multiple of 6?
False
Suppose -3*a = -1 - 5. Does 8 divide 5 + -3 + a + 12?
True
Let x be (-12)/7*(-98)/4. Let l = 3 + 0. Suppose -l*p = -18 - x. Is p a multiple of 8?
False
Let l(h) = -3 - h**3 - 1 + 3. Let v(w) = -3*w**3 - 6*w**2 - 2*w + 1. Let r(i) = -2*l(i) + v(i). Does 15 divide r(-6)?
True
Let c(l) = -l**3 + 5*l**2 - 4*l + 5. Let a be c(4). Let v = a - 3. Suppose 2*q + v*q - 72 = 0. Does 9 divide q?
True
Let d(m) = m**3 - 6. Let n be d(0). Let a = 16 + n. Is 4 a factor of a?
False
Suppose -x = -b - b + 2, 2*x - 12 = -4*b. Let t = b + 39. Is 19 a factor of t?
False
Let q be (-93)/(-9) - (-4)/(-12). Does 10 divide (26/q)/(7/35)?
False
Suppose 0 = -2*o + 2*h + 460 - 18, -4*o = -5*h - 887. Let n = -144 + o. Is n a multiple of 18?
False
Let r = 397 - 219. Does 19 divide r?
False
Let q be (-4)/(-14) - (-300)/(-21). Is 414/21 + (-4)/q a multiple of 10?
True
Let y(l) = -3*l. Let z be y(-3). Suppose z = -4*c + 5*n, -5*n + n + 9 = -5*c. Is (-1 + 1)/c + 20 a multiple of 10?
True
Suppose 4*h - 28 = -4*q, 2*h - q = -2*q + 13. Is h a multiple of 2?
True
Let r(j) = 2*j**2 - 18*j + 14. Is 27 a factor of r(15)?
False
Let v = 11 - 5. Let s be (0 - 3/v)*-2. Does 13 divide s/2 - 27/(-2)?
False
Let j = 3 + -4. Does 9 divide -1 + (1 - j) - -15?
False
Let y be ((-7)/2 - -3)*-6. Suppose 2*q - y*q = 1. Is 25 a factor of (-118 - q)*(-3)/9?
False
Suppose d = -2*d + 21. Suppose -5*p = -5*x - 15, 5*x + d*p - 3*p - 12 = 0. Suppose x = -3*g + 24 - 0. Is 4 a factor of g?
True
Let k = -4 - -11. Does 6 divide k?
False
Let a(j) = 3 + j**3 - 2 + 9*j + 7*j**2 - j + 3. Is 9 a factor of a(-5)?
False
Let w = -11 - -7. Let f(h) = h**2 + 5. Let n be f(w). Is 2/(n/9 + -2) a multiple of 5?
False
Let q = 8 + -5. Does 6 divide (-9)/(-3)*13/q?
False
Does 5 divide 0 + 27 - 28/7?
False
Does 23 divide ((-2)/(-7) + (-237)/21)*-3?
False
Let h = -14 + 25. Is h a multiple of 11?
True
Let a(o) = -3 + 8 - 8*o + 4*o**2 + 3*o**2 + o**3. Let w(k) = 2*k**3 + 2*k**2 + k + 2. Let m be w(-2). Is 5 a factor of a(m)?
True
Let f = -28 - -46. Is f a multiple of 3?
True
Let b(j) = j**2 + 3*j - 5. Let a(u) = -2*u - 3. Let g be a(3). Let l(d) = d**3 + 10*d**2 + 10*d + 4. Let f be l(g). Is b(f) a multiple of 5?
True
Let v(f) = -f**3 + 8*f**2 + 20*f - 1. Does 14 divide v(9)?
True
Let u(d) = -8*d + 11. Is u(-6) a multiple of 12?
False
Suppose -4*c - 4 = -16. Let p(t) = -11*t + 5*t**2 - 6*t**2 + t**2 + c - t**2. Does 11 divide p(-6)?
True
Let r = 57 - -9. Is 22 a factor of r?
True
Let z(a) = a**3 + 7*a**2 + a + 1. Is z(-6) a multiple of 19?
False
Let o = -3 + 5. Suppose -j = -o*j. Suppose 2*t + t - 60 = j. Is 10 a factor of t?
True
Suppose -2*g + 6*g = 12. Suppose 0 = -5*u + p - 32 - g, 0 = -u + 5*p - 31. Is 12 a factor of 17*(-2 - (3 + u))?
False
Let i(w) = 7*w**2 - 7*w - 13. Let d(z) = 3*z**2 - 3*z - 6. Let x(m) = 5*d(m) - 2