2?
True
Let k be (6/(-9))/((-6)/81). Let i = k + 35. Does 22 divide i?
True
Suppose 0 = -0*j + 5*j - 45. Let y = j - 5. Is 0/(-1) + (y - -9) a multiple of 5?
False
Let f(h) be the second derivative of -h**3/2 - 6*h**2 - 4*h. Is 7 a factor of f(-8)?
False
Let h be (-12)/10*(8 + -3). Let c be h/(-15) - 33/(-5). Suppose -p - 2*p - c = -o, 4*o + p = 28. Is 7 a factor of o?
True
Let q = 378 - 238. Is 20 a factor of q?
True
Is 26 a factor of (4/(-3))/((-4)/78)?
True
Let n(b) = -b**2 + 14*b - 5. Let q(c) = c**2 - 15*c + 5. Let x(m) = 4*n(m) + 3*q(m). Is x(6) a multiple of 24?
False
Let o = 147 - 98. Does 7 divide o?
True
Suppose 839 = 9*i - 781. Is i a multiple of 15?
True
Suppose -4*g - 5 = -4*k - 13, 0 = -5*g - 3*k + 10. Is (29 - (g + -3)) + -3 a multiple of 27?
True
Let l = -17 + 17. Suppose 9*q - 10*q + 6 = l. Is 2 a factor of q?
True
Let v = 100 + -65. Let c = v - 8. Suppose t = 4*t - c. Is 9 a factor of t?
True
Let h(t) = 2*t - 23. Is h(20) a multiple of 17?
True
Suppose -4*s + 5*s + 3*g + 41 = 0, -4*s = -2*g + 178. Suppose 2*i - 3*l = -175, -l = 3*i + 166 + 102. Let h = s - i. Is h a multiple of 26?
False
Suppose -28 = -4*w + 20. Is w a multiple of 6?
True
Suppose -k = 3*j - 10, 0 = 2*j + 3*k - 2. Suppose j*b - 231 = -11. Let f = 77 - b. Is 9 a factor of f?
False
Let y = -23 - -25. Is 2 a factor of y?
True
Suppose x - s = 0, -5*x + 0*s = -s - 8. Let g(b) = 15*b**2 - 3*b - 1. Is g(x) a multiple of 11?
False
Let y = -95 - -224. Is y a multiple of 43?
True
Suppose -2*r + 3*q + 11 = -7, -5*q + 58 = 4*r. Is r a multiple of 3?
True
Let l(n) = 4*n - 6. Suppose -a + v + 2 = -5, -2*v + 31 = 3*a. Does 19 divide l(a)?
False
Let c = 68 - 50. Is c a multiple of 6?
True
Let q = -61 - -217. Is q a multiple of 39?
True
Let v(p) = -p**3 - 5*p**2 + 12*p + 11. Does 25 divide v(-7)?
True
Let i(u) = u + 12. Let w be i(-6). Suppose 10*p - 108 = w*p. Is p a multiple of 12?
False
Let b = 10 - 7. Suppose 4*s - 15 = b*d, s + 5*d + 3 = 1. Suppose -4*i + 12 = -s*i + 4*f, -2*i + 24 = 3*f. Is 6 a factor of i?
True
Is 9 a factor of (-6)/(-4)*11*2?
False
Suppose 0 = 4*f - 2*i - 26, -4*f - 8 + 37 = -5*i. Is f/4 + (-9)/(-6) a multiple of 2?
False
Suppose 0 = 5*m + 2*g + 3*g - 80, -4*m + 104 = -4*g. Suppose -o + 2*d - 4 = 7*d, -2*o - 15 = 3*d. Let h = m + o. Does 12 divide h?
True
Is 6/(-2) - -106*1 a multiple of 23?
False
Let g(p) = -13*p - 21. Is g(-5) a multiple of 12?
False
Suppose j - 17 = 45. Is j a multiple of 19?
False
Suppose -5*t = -4*b, 0*b = -5*t - 4*b + 40. Suppose -t*c + 2*s + 318 = 0, -2*s - 306 = -3*c - 70. Is c a multiple of 14?
False
Let a be 2/4*(2 + 298). Suppose -5*c - 4*o = o - a, -5*c + 132 = -4*o. Let d = c + -16. Does 12 divide d?
True
Let t(q) = 16*q. Is t(2) a multiple of 12?
False
Let k(l) = l**3 - 3*l**2 + 2*l - 3. Does 2 divide k(3)?
False
Let g = 4 - 1. Suppose g*v - 15 = i, 0 = -v + i + 2 + 1. Is v a multiple of 3?
True
Let s = 59 - 15. Is s a multiple of 11?
True
Suppose 0 = -3*j + 214 + 446. Is j a multiple of 22?
True
Let v = -4 - 4. Is 13 a factor of ((-25)/(-10))/((-1)/v)?
False
Suppose -z - 4*s + 37 = 0, 2*s + 0 - 35 = -z. Suppose -a = -2*h - z, 0 = -2*h + 2*a - 1 - 35. Let w = h + 26. Is w a multiple of 5?
False
Let k = 3 + 2. Suppose p = -3*q - 77, k*q + 2*p - 3*p = -131. Does 3 divide 228/39 - 4/q?
True
Does 28 divide (-44)/33*-8*6?
False
Suppose -2*x = c - 21, -2*c - 62 = -6*c + 3*x. Suppose -6*p + 2*p - 3*v + c = 0, -2*p + 6 = 2*v. Is 7 a factor of p?
False
Suppose 2*z + 3*z - 295 = 0. Is 12 a factor of z?
False
Let v = -5 - -5. Does 17 divide v + 3/6*58?
False
Let p(z) = 2*z - 6. Let y be p(5). Suppose 69 = 5*s - 3*f, y*s = f + f + 54. Is 6 a factor of s?
True
Let f(x) be the first derivative of -x**4/4 + 7*x**3/3 + x**2/2 + 4*x - 3. Let g be f(6). Let u = g + -19. Is 9 a factor of u?
True
Let j(v) = 9*v - 22. Is 8 a factor of j(6)?
True
Suppose -4*z = z - 5. Suppose -3*y = -2*u - 20, 2*y = -3*u + 36 - z. Is y a multiple of 6?
False
Suppose -u - 9 = -4*u. Suppose 4*j - 37 = -c, 2*j - 60 = -u*j - 4*c. Is 4 a factor of j?
True
Let f(u) = u**3 - 2*u**2 + 4*u - 6. Is 21 a factor of f(4)?
True
Let g = 5 - -25. Let l = g - 45. Let m = 39 + l. Does 9 divide m?
False
Let d = -4 - -4. Suppose j - 13 = -n, n + n + 10 = d. Is 6 a factor of j?
True
Let i(a) be the second derivative of -a**5/20 + a**4/3 + 2*a**3/3 + a**2/2 - 4*a. Does 7 divide i(4)?
False
Let m = 6 + -4. Is 23 a factor of (3/m)/(-3)*-46?
True
Let f = 191 - 61. Suppose -s + f = 4*s. Does 13 divide s?
True
Let u(c) = -c**3 - 9*c**2 - 7*c + 9. Let i = -20 + 12. Let j be u(i). Does 4 divide (-9 - j)/(1 - 2)?
False
Let a = -7 + 11. Let b(f) = -2*f - a*f - 5 + 2*f**2 + 4*f. Does 19 divide b(4)?
True
Let j(x) = -2*x - 11. Let v be j(-8). Suppose -3*w + 0*h - 4*h = -65, 139 = v*w - h. Suppose 0*c = 3*c - w. Does 9 divide c?
True
Let n be -5*(-1 + (-2)/(-10)). Suppose -u + 0*u = -4*p - 80, 4*u - 309 = 5*p. Suppose -2*o - 3*o = 15, 4*o - u = -n*r. Is 11 a factor of r?
True
Let v(r) = -16*r - 11. Is v(-6) a multiple of 17?
True
Let l be (4/(-6))/((-6)/9). Let z(q) = 24*q**3 - q + 1. Is z(l) a multiple of 12?
True
Let a(h) = 2*h**3 - 2*h**2 + 1. Let d be a(1). Let s be d/(1 + 0 + 0). Does 19 divide (-38)/(-1) - (1 - s)?
True
Suppose -4*q + 89 - 225 = 0. Let w = 185 + -124. Let f = w + q. Is f a multiple of 9?
True
Let z(k) = k**3 + 7*k**2 - 9*k - 5. Let p be z(-8). Let o be ((-18)/(-15))/(p/(-15)). Let w(x) = x**2 + x - 3. Is w(o) a multiple of 26?
False
Let a(p) = p**2 - 2*p - 1. Is 7 a factor of a(-2)?
True
Let d(t) = t**3 + 8*t**2 + 7*t + 2. Let v be d(-7). Let y be (-717)/(-9) + 4/12. Suppose y = 2*n + v*n. Does 7 divide n?
False
Let a = -2 - -3. Let h be (-3 + 2)/(1/a). Let i(u) = -17*u**3 + u + 1. Is i(h) a multiple of 10?
False
Let v = 130 + -46. Is 12 a factor of v?
True
Let g be -23 + (0 - -1)/1. Let p = 52 + g. Is p a multiple of 16?
False
Is 4/6 + ((-11540)/15)/(-4) a multiple of 29?
False
Suppose -10 - 13 = -2*b - 3*p, -5*b = -3*p - 47. Is 4 a factor of b?
False
Suppose -75 = -15*j + 10*j. Is j a multiple of 2?
False
Let x be 28/8 + (-2)/(-4). Let h = -4 + x. Let g(t) = -t**3 + t**2 + 5. Does 2 divide g(h)?
False
Let y(m) = m - 6. Let p be y(5). Let q = 2 + p. Does 8 divide q + -1 + 18 + -3?
False
Suppose 5*g + k = -617, 255 = -3*g - 4*k - 122. Let b = 174 + g. Is b a multiple of 17?
True
Suppose d - 19 = -2*d - 2*n, -27 = -4*d - 3*n. Suppose -17 - 16 = -d*j. Is j a multiple of 3?
False
Let w = 0 - 0. Suppose -h + 2*h + n = 2, w = 2*n + 8. Is h a multiple of 2?
True
Let p(y) = y**3 - y**2 + 5*y + 3. Is p(4) a multiple of 12?
False
Suppose -6*s + 44 = -94. Is 2 a factor of s?
False
Let p(d) = 2*d - 5. Let b be p(4). Let c = b - -2. Suppose -2*q + 30 = -t, 0*t - 57 = -c*q - 2*t. Is 10 a factor of q?
False
Suppose -m - 2*m = -9. Suppose -2*s - 6 = 2*z, 2*s + m = 5. Is 5 a factor of (4/(-6))/(z/30)?
True
Let k be 644/10 + (-12)/(-20). Let d = k + -32. Is 11 a factor of d?
True
Let q(b) = 2*b**2 + 4*b. Let m be q(-3). Suppose 4*i - 2*j = 22 + 18, -j + 16 = 2*i. Suppose 0 = -m*l + i*l - 15. Is 2 a factor of l?
False
Let i(u) = 6*u. Let t(f) = -f**3 - 5*f**2 + 5*f - 4. Let o be t(-6). Is i(o) a multiple of 3?
True
Let f(a) = -3*a - 2. Let m be f(-2). Suppose -2*b + 28 = m. Is 4 a factor of b?
True
Suppose 4 = -2*i - 20. Let g be 4/i - (-280)/3. Suppose 3*a = 12 + g. Does 17 divide a?
False
Is 13576/40 - ((-6)/(-5))/3 a multiple of 24?
False
Suppose 20 = 2*q + 2. Suppose 5*j = -4*w + 5, 0 = -0*j + 4*j - 5*w - 45. Suppose -5*c + j*h = -29 + q, -2 = h. Is 2 a factor of c?
True
Let p be (-8)/(-20) - (-8)/5. Suppose p*o + 4*y - 62 - 8 = 0, 0 = -o + y + 29. Is o a multiple of 9?
False
Suppose 0*p + 90 = 3*p. Does 7 divide p?
False
Suppose 0*w + 15 = 3*w. Suppose -w*i + 0*i + 60 = 0. Is i a multiple of 11?
False
Suppose 4*z - 3*d = 9, 4*d + 17 = -z + 5. Suppose 3*v + v - 8 = z. Suppose s - 4*j + 17 = 0, -j = -2*s - v*s + 7. Is s a multiple of 2?
False
Let r = 2 + 0. Suppose 5*x = -4*d + r*x + 15, -3*d + 8 = -x. Suppose 5*y = 2*k - 76, -d - 1 = y. Is k a multiple of 10?
False
Let n(w) = w**3 - 9*w**2 - 10*w - 3. Let l be n(10). Does 6 divide (-2)/l*(-54)/(-3)?
True
Suppose p = -5*a + 21, -4*a = -3*p - 12 - 20. Suppose 0 = a*l - 29 - 46. Does 15 divide l?
True
Let c(d) = 72*d - 4. Let y be c