 -7. Does 3 divide c(i)?
True
Suppose 3*b = -3*b - 594. Let l = 145 + b. Is 23 a factor of l?
True
Is 3 + -4 - (-17)/((-119)/(-9702)) a multiple of 18?
False
Suppose 3*r + 3*r = 72. Suppose 193 = r*v - 407. Is 5 a factor of v?
True
Suppose 104 = 4*p + 4*m, -4*m = m + 10. Let s(q) = -q**3 - 11*q**2 - 8*q - 2. Let j be s(-10). Let i = p + j. Is 5 a factor of i?
False
Suppose 4*w = 2*c + 3344, -2*c = -5*w + c + 4179. Is w a multiple of 24?
False
Let k be (-15)/3*(-4)/(-10). Let i = 58 + -56. Is 3 a factor of (7/i)/(k/(-4))?
False
Let p(f) = -f**3 + 3*f**2 - 4*f + 2. Let h be (12/(-8))/((-6)/8). Let u be p(h). Is 9 a factor of ((-174)/18)/(u/6)?
False
Let o = -145 - -100. Let k = 209 - 94. Let l = o + k. Is 11 a factor of l?
False
Suppose n - 5*n + 114 = -2*t, 0 = 4*n + 3*t - 99. Is n a multiple of 6?
False
Suppose -x + 50 = -90. Let f = -23 + x. Is f a multiple of 61?
False
Suppose -49*u + 2837 = -19213. Is u a multiple of 25?
True
Let b(z) = -48*z + 82. Does 38 divide b(-7)?
True
Let h(d) = d**2 - d + 1. Let x(w) = 156*w**2 + w - 5. Let s(u) = 3*h(u) + x(u). Is s(-1) a multiple of 8?
False
Let k(f) = 5*f - 68. Let b(p) = -p. Let x(s) = -6*b(s) - k(s). Is 5 a factor of x(16)?
False
Let t(y) = y - 4*y**2 + 6*y**2 + y + 3*y + 7. Does 8 divide t(-5)?
True
Suppose -3261 - 771 = -14*h. Is 3 a factor of h?
True
Suppose l - 8 = -0*l. Let y = l + 59. Is 16 a factor of y?
False
Let w(o) = -o - 5. Let i be w(-10). Let k(b) = -2 - i*b + 9 + 0*b**2 + 3*b**2 - 2*b**2. Is 3 a factor of k(6)?
False
Let u(t) = -t**2 - 19*t - 43. Let l be u(-22). Let h = 179 + l. Does 35 divide h?
True
Let i(k) = -3*k - 1. Let c be 24/(-14) - (-4)/(-14). Let v be i(c). Suppose m - l = v, -3*m - 1 - 2 = 3*l. Is m even?
True
Let o = 110 + -92. Let p(l) = 17*l**2 - l. Let w be p(1). Let g = w + o. Does 12 divide g?
False
Let l = 17 + -12. Suppose 5*n = 4*n - 3, l*n = -t + 10. Is t a multiple of 5?
True
Suppose -4*m - f = -5*f - 24, 0 = 4*m + 4*f. Suppose 0 = -m*p - 0*w + 3*w + 99, -5*p + 2*w = -156. Does 6 divide p?
True
Does 15 divide (-6)/8 - (-5796)/48?
True
Suppose 14*m = 7*m. Suppose 11*p - 12*p + 44 = m. Is 11 a factor of p?
True
Suppose 5*v - 1504 = -11*v. Let w = 139 - v. Does 15 divide w?
True
Suppose 0 - 2 = -w. Suppose 0*o = -w*o. Suppose -5*k - 25 = o, 0 = -0*z + 4*z - 2*k - 138. Is 16 a factor of z?
True
Let y be (-10)/(-4)*156/10. Let c(b) = y - b**2 + b**3 - 10*b + 5 + b + 8*b. Is 11 a factor of c(0)?
True
Suppose -3*o - 3*u = -24, 5*o + 0*u = -3*u + 30. Suppose -o*w = -8*w + 490. Is w a multiple of 5?
False
Let g be -4 + (-92)/(-8) + 1/(-2). Does 15 divide (300/g)/(4/(-224)*-8)?
True
Suppose 2*v + 10 = 0, 2*v + 4 + 15 = 3*x. Suppose z + 2*l - 157 = 0, l + 3*l = -x*z + 471. Is 21 a factor of z?
False
Let g(f) = f**2 - 2*f - 19. Let a be g(0). Let h = -25 - a. Is (-2)/6 - 236/h a multiple of 13?
True
Is (-322)/(((-78)/(-52))/(3/(-2))) a multiple of 5?
False
Let q = 23 - -61. Is q a multiple of 14?
True
Let l = 1223 - -674. Is l a multiple of 14?
False
Let l = 147 + -1059. Is l/(-56) - (-2)/(-7) a multiple of 16?
True
Let k(h) = h**2 - 2*h. Suppose 2*o = 4*v + 7 + 9, 0 = 3*o - 4*v - 14. Let d be k(o). Is 15 a factor of ((-156)/15)/(d/(-20))?
False
Suppose 0 = -4*i + 20 - 0. Let f be ((-188)/(-16))/((-1)/(-4)) + 4. Let g = i + f. Does 22 divide g?
False
Let f = 5 - -4. Suppose 0 = 3*n + f, 0 = o + o - 2*n - 24. Let j(x) = x**3 - 9*x**2 + 4*x + 9. Does 9 divide j(o)?
True
Let m(n) = n**3 + 9*n**2 - 21*n + 10. Let v be m(-11). Let a = v - -35. Is 2 a factor of a?
True
Let r(u) = -u**3 + 4*u**2 - 2*u. Let i be r(2). Suppose 5*s + 3*g - 171 = 12, -4*s = -i*g - 140. Does 14 divide s?
False
Suppose -c + 146 = 20. Is c a multiple of 6?
True
Suppose -6*w + 36 = -2*w. Suppose h + 15 = 6*h. Suppose 0 = h*a - 57 + w. Does 8 divide a?
True
Suppose -3*x + 4*t + 21 = 0, -2*x - 21 = -4*x + 5*t. Let r be ((-8)/x)/(6/(-9)). Suppose -5*c + 8 = -r*c. Is 2 a factor of c?
True
Let w(b) = 14*b**2 + 38*b - 6. Is 86 a factor of w(7)?
True
Suppose -92 = 2*c - 240. Let z = -35 + c. Is z a multiple of 13?
True
Let k(f) = 41*f**2 + 6*f + 9. Is 45 a factor of k(-3)?
True
Let u = 5 + 0. Suppose -5*f - 35 = 10*z - 12*z, 0 = -2*f - 10. Suppose -q - 34 = -p, -z*p - 102 = -8*p + u*q. Is p a multiple of 9?
False
Let p = 712 - 474. Is 17 a factor of p?
True
Let h(r) be the first derivative of -r**3/3 - 15*r**2/2 + 30*r + 10. Does 11 divide h(-14)?
True
Is 14 a factor of (192/240)/(2/1295)?
True
Let w = 742 - 475. Let k = -75 + w. Is k a multiple of 16?
True
Let h = 3 + -15. Let f = -2 - h. Let s(i) = -i**3 + 10*i**2 + 4*i + 11. Is s(f) a multiple of 20?
False
Is 40482/22 + 1/(-11) a multiple of 46?
True
Suppose 0 = 5*j - 900 - 350. Is j a multiple of 25?
True
Suppose 105*t - 111*t = -528. Is 11 a factor of t?
True
Let x = 22 - 17. Suppose -444 = -g - x*g. Is 22 a factor of g?
False
Suppose -3*d = 34*d - 7030. Does 19 divide d?
True
Let j = 111 - 9. Let c(b) = b**2 + 16*b - 10. Let s be c(-14). Let a = s + j. Is 16 a factor of a?
True
Let w = 101 - 92. Suppose -w*d = -7*d - 106. Does 18 divide d?
False
Suppose -44*y + 36945 = 9665. Does 20 divide y?
True
Let v be (-1)/((-18)/(-8) - 2). Let l(b) = -39*b - 5. Let j be l(v). Suppose 0 = -5*w + 2*x + j, -w + 6*w - 148 = x. Does 11 divide w?
False
Let b(g) = g**2 - 3*g - 7. Let k be b(-2). Suppose 3*n - 639 = -0*p - 3*p, -5*n = -k*p - 1025. Is n a multiple of 26?
True
Let k(q) = 2*q**2 + 8*q - 6. Let p be k(-9). Suppose d + 3*d + p = 0. Let x = 31 + d. Is 5 a factor of x?
True
Let k be (5 + 0)*(-8)/(-10). Suppose -k*n = -99 - 9. Is 20 a factor of n?
False
Let w = 489 + -381. Is w a multiple of 8?
False
Let k(y) = -7*y + 1. Let q be k(3). Let f be (-2)/(2*5/q). Is 1022/98 + f/7 a multiple of 4?
False
Let u = -9 + 16. Let r be 2/u - (-3420)/(-14). Is r/(-12) + 4/6 a multiple of 7?
True
Suppose -r + 22 = r. Let x = r - 8. Suppose v + 6 = x*v. Is 3 a factor of v?
True
Suppose 2*v + v = -9, -v - 18 = -5*m. Suppose -m*t + 89 + 61 = 0. Is 12 a factor of t?
False
Let s(x) = -27*x - 30. Let g(l) = -26*l - 29. Let y(p) = 6*g(p) - 7*s(p). Is y(6) a multiple of 13?
True
Does 21 divide (966/(-230))/((-1)/135)?
True
Suppose -3*y - 2*k = -12, 0 = k + 3. Suppose j + y = -j. Let u = 28 + j. Is 9 a factor of u?
False
Let r be 8/36 - (-1772)/(-36). Suppose -3*d - 3*o = 309, -2 = -2*o + o. Let t = r - d. Is 28 a factor of t?
True
Let r = -44 - -43. Does 15 divide r + -2 + 6*23?
True
Suppose -4*x - 429 - 92 = -i, 5*i - 4*x - 2557 = 0. Is 16 a factor of i?
False
Let r(t) = -t**3 + 11*t**2 - 17*t + 12. Let p(w) = -3*w - 27. Let d be p(-11). Does 18 divide r(d)?
True
Suppose 0 + 2 = 3*v + x, 0 = -3*v + 3*x + 18. Let u = 260 + -155. Is (u/(-2))/((-1)/v) a multiple of 35?
True
Does 10 divide (-2 + -1)/(111/(-11174))?
False
Does 44 divide ((-86)/10 + -9)/(3/(-120))?
True
Let w(s) = -s**3 + 19*s**2 - 3*s - 29. Is 7 a factor of w(18)?
False
Suppose 0 = -5*n + 16 - 26. Is 4 a factor of 6/(-21) + ((-2448)/(-42) - n)?
True
Let a(u) = 850*u - 68. Suppose 2*n = -3*h - 136, 4*n - 2*h = 2*n - 136. Let m(j) = -37*j + 3. Let t(v) = n*m(v) - 3*a(v). Does 11 divide t(-1)?
False
Suppose 0 = -3*u + 2*u + 136. Suppose -2*q - 140 = -4*g - 5*q, -2*g + 68 = q. Suppose 4*z - u = g. Is 14 a factor of z?
True
Suppose 1157 = 3*h - 4*t, 13*h - 769 = 11*h + 5*t. Is h a multiple of 15?
False
Suppose -3*r = -0*r - 9. Let h be ((-3)/(-6))/(r/198). Let w = h - 20. Is w a multiple of 11?
False
Let u = 2957 + -1664. Does 17 divide u?
False
Let b be (-3148)/(-14) + (-7)/(-49). Suppose 0 = 4*i + i - b. Is i a multiple of 15?
True
Is 213/(-497) - (-678)/14 a multiple of 2?
True
Let r(o) = 2*o**2 - 27*o + 25. Is r(-19) a multiple of 21?
True
Suppose 15*u + 36 = 12*u. Let c(p) = -3*p**2 - p - 1. Let i be c(-1). Let j = i - u. Is 3 a factor of j?
True
Let f(q) = -q**3 - 21*q**2 + 15*q + 33. Let g be f(-22). Suppose 18*p - g = 3305. Is p a multiple of 13?
False
Suppose -p = -31 + 9. Suppose -68 = -3*g + p. Does 15 divide g?
True
Let a be (-3)/(3*(-3 - 400/(-134))). Let m = a - 47. Is m a multiple of 5?
True
Let i(b) be the first derivative of b**4/4 - 8*b**3/3 - 7*b**2/2 + 8*b - 9. Is i(9) a multiple of 7?
False
Let u(b) = -b**3 - 6*b**2 - 6*b - 3. Let y be u(-5). Suppose -y*t = -2*s + 266, -2*s + s = -3*t - 139. Does 19