 p - -25. Suppose 2*w + 56 = g, g - i*w - 56 = w. Is 28 a factor of g?
True
Does 28 divide 865*(12/2)/6?
False
Let n = -144 - -248. Let f = n - 82. Is 11 a factor of f?
True
Suppose 0 = -2*k - h - 259, -3*k - h = 529 - 143. Let w(n) = 223*n**3 + n. Let j be w(1). Let a = j + k. Is a a multiple of 26?
False
Suppose -4*r + 2679 = 5*y, 3*y = -3*r + 1156 + 851. Is 86 a factor of r?
False
Let f(t) = -2*t**3 - 4*t**2 - t. Suppose -17*y + 12*y = 20. Let p be f(y). Suppose w + 2 + 0 = 0, 2*w - p = -4*j. Does 9 divide j?
True
Let t be 4 + 4 + -7 + 0. Does 3 divide -3*t + (17 - (-20)/5)?
True
Let b = 15 - 12. Suppose 5*x = b*c + 2336 + 242, -5*x + 2576 = -c. Suppose 4*r = 2*p - 100 - 108, 5*p = 5*r + x. Is p a multiple of 30?
False
Suppose 5*f + 52 = 9*f. Let n(j) = -15*j**3 + 19*j**3 + 34 - j**2 - 5*j**3 + f. Is 37 a factor of n(0)?
False
Let d(b) = b + 13. Let n be d(-7). Let t(y) = -y + 38. Does 8 divide t(n)?
True
Suppose 0 = -26*h + 5844 + 760. Is h a multiple of 2?
True
Suppose -4*k + 786 = -3*q, 6*k = 4*k - 4*q + 382. Does 15 divide k?
True
Let o(p) = 3*p**2 - 6*p - 16. Is 20 a factor of o(-5)?
False
Let g(d) = -d**2 + 12*d - 5. Let y be g(10). Let k be y*(24/10 + -2). Suppose 3*n - k = 21. Is 3 a factor of n?
True
Let d = -5562 + 8077. Is d a multiple of 7?
False
Suppose 0 = m - 5*m + 192. Let w(l) = l**3 + 4*l**2 + 6*l. Let h be w(-4). Let s = h + m. Is s a multiple of 12?
True
Does 19 divide (-514979)/(-188) + (-7)/(-4)?
False
Let l be (-1314)/(-7) - (-6)/21. Suppose 4*i - i - 6 = 0, 0 = -2*s - 4*i + l. Does 13 divide s?
False
Suppose 7*k - 2*k - 15 = 0. Suppose k*l = -v + 30, -4*v + 84 = -0*l + 3*l. Does 18 divide v?
True
Suppose 0 = 4*r - 1035 - 117. Is r a multiple of 6?
True
Suppose -2*i + 7*i = -5*q, 4*i = q - 25. Suppose -q*z + 205 = 5. Suppose w - z = 4. Is w a multiple of 22?
True
Let l(z) = 32*z - 6. Let d be l(1). Let j(x) = 5*x - 11. Is 12 a factor of j(d)?
False
Let h(o) = 2*o**2 + o + 21. Let q = 9 - 9. Is 6 a factor of h(q)?
False
Let d be 17*(582/54 - (-2)/9). Let z = -40 + d. Is z a multiple of 49?
True
Let i(o) = -2*o**3 - 11*o**2 - 12*o - 24. Let q(r) = 3*r**3 + 16*r**2 + 18*r + 36. Let t(u) = 8*i(u) + 5*q(u). Does 12 divide t(-8)?
True
Let r(j) = 13*j + 55. Does 5 divide r(-3)?
False
Let z(d) = 30*d - 76. Let v be z(4). Let k = -2 + 7. Suppose v = k*j - j. Is 2 a factor of j?
False
Suppose j = -2*m + 2133, 0 = 9*m - 7*m - 4*j - 2148. Does 4 divide m?
True
Let q = 62 - 27. Suppose 3*o + t + 19 = 114, -2*t + q = o. Does 9 divide o?
False
Let n be (-6)/(-15) + 15864/(-10). Let k be 2/5 + n/65. Does 17 divide k/(-1) + (-8)/(-2)?
False
Let c = 65 + -53. Let a = 173 - c. Does 27 divide a?
False
Let n = -27 + 27. Suppose n = c - 8 - 39. Does 11 divide c?
False
Let k(t) = t**2 + 23*t - 62. Does 13 divide k(-47)?
True
Let z(y) = -y**2 - 13*y - 18. Let f be z(-11). Let o(t) = -t**2 - 12*t. Let a be o(-11). Let w = a - f. Is w a multiple of 5?
False
Let y = 4 - 6. Let h = y + 4. Suppose -32 = -2*n + 3*b + 61, -4*n = h*b - 194. Is 24 a factor of n?
True
Let l be 2*156/64 + 3/24. Suppose -l*p = -2*g + 306, -p = -5*g - 4*p + 734. Does 24 divide g?
False
Does 12 divide (-4)/(-2)*-1269*15/(-90)?
False
Let i(a) be the second derivative of a**4/12 + 5*a**3/6 - 9*a**2 - 138*a + 1. Let v be 6/2*(4 + -2). Is i(v) a multiple of 12?
True
Let n be (-21)/((-18)/(-6))*(0 + -1). Suppose d - 10 = 20. Let w = n + d. Is w a multiple of 14?
False
Let j(t) = t**2 + 3*t + 3. Let n be j(-3). Suppose -5*v + n*m - 40 = 0, 5*m - 16 = -v + 3*v. Is (-2)/(-8) + (-142)/v a multiple of 6?
True
Let q = -60 + 68. Suppose 2*v - 58 = -5*n - 2*v, 2*v - q = -n. Is 4 a factor of n?
False
Let f be ((-4)/10)/((-6)/(-150)). Let t = f + -11. Let k = -12 - t. Is k a multiple of 9?
True
Let t(z) = -z**3 + 2*z**2 + 2*z - 3. Suppose -3 = c + 3*u, 4*c = c + 4*u + 17. Let j be t(c). Let s = j + 28. Is s a multiple of 17?
False
Let k(b) = 79*b**2 - 19*b. Does 98 divide k(-4)?
False
Suppose 5*b - 18 = 2*b. Let y be ((-4)/(-10))/(13/65). Is 3 a factor of y/4*1*b?
True
Let p(q) = -q**3 + 10*q**2 + 28*q - 8. Does 10 divide p(12)?
True
Let r = 886 - 582. Let i = -147 + r. Is 32 a factor of i?
False
Let c(p) = -p**3 - 8*p**2 + 9*p + 3. Let g be c(-9). Does 8 divide (0 + g)*11 - 3?
False
Let b = -621 - -915. Is 21 a factor of b?
True
Let x = 46 - 44. Suppose x*h + 5*r - 529 = 0, -620 - 477 = -4*h + 3*r. Is 53 a factor of h?
False
Let g(w) = w**3 + 7*w**2 + 3. Let h be g(-7). Suppose -3*f - 9 = 4*l, -f + 5*f + h*l = -12. Let i(v) = -9*v. Is i(f) a multiple of 5?
False
Let a(m) = m**2 - 2*m + 5. Let h be a(2). Suppose 4*d - 4*c - 64 = 0, 4*d = -h*c - 2 + 84. Is d a multiple of 6?
True
Let t be 104/2*30/40. Let b = -21 + t. Is 3 a factor of b?
True
Let c(x) = -x. Let b(n) = -6*n + 4. Let k(i) = b(i) - 2*c(i). Is k(-8) a multiple of 9?
True
Suppose -11*f + 3206 = -8520. Is 13 a factor of f?
True
Let m be (-8)/(3 - (-4 + 5)). Let w = 52 + m. Suppose -12*a + w = -8*a. Is a a multiple of 3?
True
Suppose -982 = -26*c + 3594. Does 8 divide c?
True
Suppose 3*p - 591 = 3*g, 0 = -2*p - 4*g - 209 + 621. Is p a multiple of 20?
True
Let z be 0/(-2 + (-3 - 3*-2)). Suppose l + l - 186 = -3*q, 5*q - l - 323 = z. Does 16 divide q?
True
Suppose -4*p + 2*j - 8 = -2*j, -4*j = -16. Suppose 4*l - 4*i = 124, -5*l = -0*i + p*i - 148. Is l a multiple of 27?
False
Suppose -70*q = -69*q. Suppose -a - 3*a + 3*c + 234 = 0, -5*a + 5*c + 290 = q. Does 32 divide a?
False
Suppose 0 = -3*h - 10 + 4, 0 = -2*y - 2*h + 4. Suppose -y*o + 3*c = -76, -4*o + 4*c = -7*o + 32. Is o a multiple of 8?
True
Let i(h) = h**2 + 11*h - 6. Let l be i(-18). Suppose 528 = 6*n - l. Is 27 a factor of n?
True
Let a be 28 + -26 + 47 + -1. Is 16 a factor of 5/((-25)/a)*-20?
True
Let o(t) = -10*t + 129. Is 6 a factor of o(-18)?
False
Let n = 11 + -9. Let u = -21 + 27. Suppose 0 = -n*v + u. Is v a multiple of 3?
True
Let c(s) = 28*s**3 + s. Suppose 0 = 3*l - 2*j + 11, 2*j = -2*l + l + 7. Let v be c(l). Let p = -21 - v. Is p a multiple of 4?
True
Suppose -1 = 5*g - 6. Suppose 0 + g = c, -2*l = -3*c + 3. Suppose l = -3*t + 5*t - 140. Does 15 divide t?
False
Suppose 0 = j + 7 + 13. Let v = j + 92. Is v a multiple of 18?
True
Suppose -12 = 6*p - 2*p. Is 2 - (-22 - (1 + p)) a multiple of 22?
True
Let r(x) = -8*x - 4. Let v(d) = -d - 1. Let i(l) = r(l) - 3*v(l). Let w(q) = 1. Let t(y) = -2*i(y) - 10*w(y). Is t(6) a multiple of 17?
False
Let a(k) = 3*k**3 + 10*k**2 + 2*k - 9. Let m(z) = 7*z**3 + 21*z**2 + 5*z - 18. Let q(w) = 5*a(w) - 2*m(w). Is q(-7) a multiple of 10?
True
Suppose 0 = 5*c + 6 - 81. Suppose i = c - 6. Is i a multiple of 2?
False
Suppose -6*r - 8*r + 3178 = 0. Is r a multiple of 10?
False
Suppose 0 = -3*n + 439 + 488. Let g = n - -27. Is g a multiple of 16?
True
Suppose -6 = -5*k + 4. Suppose 0 = v + k*v - 93. Is 7 a factor of v?
False
Let n(m) = -2*m**2 + 6*m - 6. Let j be n(3). Is 6 a factor of ((-28)/j)/(2/9)?
False
Let s(w) = -10*w + 2 + 10 + 11*w**2 - 4 - w**3. Is 11 a factor of s(9)?
False
Let h = 0 - -12. Let v = h + -12. Does 14 divide 55 - (v + 1)*-1?
True
Let r = 548 - 316. Is r a multiple of 8?
True
Suppose w + 384 = 5*w. Suppose 0 = -4*b - j + 349, w = -3*b - 2*j + 354. Let h = -40 + b. Does 16 divide h?
True
Suppose 0 = -2*k + 6, 2*c + 3 = -4*k - 7. Let u(o) = o**2 + 6*o - 25. Is 10 a factor of u(c)?
True
Suppose -2*x - m + 600 = 0, x = m + 2*m + 300. Is x a multiple of 25?
True
Let f(x) = x**2 - 8*x - 5. Let n be f(9). Suppose 0 = n*t + 12, -2*r - t = -r. Suppose -r*p + 24 = b, -3*b + b - 5*p = -46. Does 9 divide b?
True
Let b be (-68)/(-18) + 7/(189/6). Suppose -3*y + 2*w = -48, -2*y - 37 = -b*y + 3*w. Does 5 divide y?
False
Let w = -4 - -1. Let q(a) = -a**2 - 5*a - 3. Let y be q(w). Let x = 8 - y. Is x even?
False
Suppose 0 = 3*b + 40 + 29. Let o = b - -42. Is 4 a factor of o?
False
Let j be (0 + -3 + 28)*-188. Is j/(-125) + (-2)/(-5) a multiple of 19?
True
Let r be -2*((-1)/2 - (2 + 1)). Is 38 a factor of (r/3 + -4)*-114?
True
Let n(u) be the third derivative of u**5/20 - 5*u**4/24 - 11*u**3/3 + 28*u**2. Is n(8) a multiple of 13?
True
Let b = 14 + -5. Suppose -r = q + q + b, -r = q + 7. Is 23 a factor of q/7 + (-2910)/(-42)?
True
Let p = 13 + -14. Let t = p + 4. Let g(w) = 10*w - 3. Does 9 divide g(t)?
True
Let z(p) = 4*p