*c - 3*c + 70 = 0. Does 4 divide c?
False
Let m = -1318 + 2356. Suppose -q - 137 = -2*c - m, 3*c = -4*q + 3560. Does 14 divide q?
False
Suppose -s + 0*s = 0. Suppose s = -3*u + 2 - 5. Is 3 a factor of (u/(-3))/(7/168)?
False
Suppose 3*y - 5 = -4*n + 20, -16 = -4*y - n. Suppose 2*o + o = -b + 1072, -6*o = -y*b - 2139. Is 8 a factor of o?
False
Suppose 5*x - 3*y = 215, 3*x = -10*y + 6*y + 100. Is 22 a factor of 2201/10 + (-4)/x?
True
Let m be (-19)/(133/294) + -3. Let k = m - -199. Is 7 a factor of k?
True
Suppose -9 = -5*l + 6*l. Is 1347/12 + l/4 + 3 a multiple of 7?
False
Suppose 2*y + h = -2*h - 12, 5*h + 25 = -5*y. Let c(r) = -212*r + 30. Does 44 divide c(y)?
False
Suppose 0*w + 4*i + 44 = -4*w, 2*i = 5*w + 62. Does 3 divide 609/18 - 2/w?
False
Suppose 2*p = 4*g - 10, 5*p + g = 7 + 23. Suppose -5*a = p*x - 35, 5*a - 6 = 3*x + 13. Is 26 a factor of (10/(-5))/x + 131?
True
Let u(y) = 140*y - 232. Let k be u(8). Let z = -673 + k. Is 11 a factor of z?
False
Let i(p) = 15*p - 2. Let u be i(-6). Let z = 129 + u. Suppose z*c - 308 = 33*c. Does 7 divide c?
True
Let f(n) = n**3 + 4*n**2 - 12*n + 4. Let l be f(-6). Suppose -l*y - d + 2747 = -780, 0 = -d - 5. Is 71 a factor of y?
False
Let g be 6/18 - (4/(-6) + 1). Does 28 divide g - (6/(-4))/((-2)/(-108))?
False
Let f(b) = b**2 - 8*b + 21. Let j be f(11). Let y = j - 48. Suppose -456 = y*c - 14*c. Is 19 a factor of c?
True
Is 1/((-4)/(-28)) + 2891 + -1 a multiple of 7?
False
Suppose -295035 = -8*g - 67195. Is g a multiple of 16?
True
Let w(h) = 4609*h - 6497. Is w(5) a multiple of 28?
True
Suppose 3*m - 5*u - 283 = 0, 5*m + 0*m - 457 = u. Let i = m + -85. Let n(v) = -2*v + 35. Does 23 divide n(i)?
True
Does 8 divide 4207 - (-5)/((-40)/56)?
True
Let l(v) = 5*v**2 - 4*v - 8. Let w = -40 + 37. Is l(w) a multiple of 11?
False
Let a(t) = -101*t + 58. Let q be a(8). Let m = -216 - q. Is 14 a factor of m?
False
Suppose -2*a + 4*a - 2*j = 22, -5*a + 40 = -2*j. Let c(m) = 25*m - 33. Is 2 a factor of c(a)?
False
Let p(a) be the third derivative of -27*a**4/8 + 17*a**3/6 + 21*a**2. Is p(-3) a multiple of 35?
False
Suppose -6*r - 25 = -11*r. Is 24 a factor of 2/r*9*20?
True
Suppose 49 = 6*l - 23. Is 4/((-16)/(-38))*l a multiple of 16?
False
Let b be ((-1668)/20)/(-2 - (-58)/30). Suppose -y = -5*z + 2067, 8*z - b = 5*z - 3*y. Is 37 a factor of z?
False
Let y(h) = -55*h + 120. Let a(r) = -5*r + 11. Let f(u) = -65*a(u) + 6*y(u). Let l(o) = o**2 + 2*o - 10. Let i be l(0). Is 29 a factor of f(i)?
False
Suppose -2*z + 3*s = 2*z - 6, 2*z + 10 = -5*s. Suppose m + a - 99 = z, -5*a + a = -5*m + 540. Suppose -8 = -2*d, -d - d = 4*t - m. Is t a multiple of 7?
False
Suppose 0 = 2*i - 4*i - 4. Let h(y) = -65*y**2 + 70*y - 3. Let t(o) = 16*o**2 - 18*o + 1. Let m(w) = -4*h(w) - 15*t(w). Does 9 divide m(i)?
False
Let i(u) = 2*u**3 + 27*u**2 - 49*u - 5. Let n(x) = -3*x**3 - 53*x**2 + 97*x + 10. Let a(t) = 5*i(t) + 3*n(t). Is a(22) a multiple of 3?
False
Suppose -5*s + 10*v + 205085 = 0, -204977 = -5*s + 370*v - 372*v. Does 177 divide s?
False
Is (-434731)/(-66) + (-182)/(-156) a multiple of 183?
True
Let i be (-6)/(-8) - (-38943333)/(-44). Is 12 a factor of 2/(-19) + i/(-1425)?
False
Let p(n) = 3*n**2 + 2*n - 1. Let y be p(1). Let a = 1519 - 1515. Suppose -2*x = s - a*x - 28, y*x + 96 = 4*s. Is 20 a factor of s?
True
Let o(b) = -145*b**3 - 61*b**2 - 302*b + 18. Is o(-5) a multiple of 16?
True
Let g = 330 - 288. Suppose 0 = 48*s - g*s - 1110. Does 12 divide s?
False
Let f(g) = g**3 - 4*g**2 + 44*g - 165. Is f(11) a multiple of 2?
True
Suppose -s = -2*l - 4061, 7317 - 27566 = -5*s - 4*l. Suppose 2*k + s = 9*k. Let j = k + -409. Is j a multiple of 17?
True
Let f = -1877 - -2751. Let d = f + -442. Suppose -4*r = -13*r + d. Is 12 a factor of r?
True
Let v(d) be the third derivative of -d**9/8640 - d**7/5040 - d**6/360 - 19*d**5/60 - 17*d**2. Let k(q) be the third derivative of v(q). Does 8 divide k(-2)?
True
Suppose 0 = -i + 379 + 265. Suppose i = 7*m + 245. Is 19 a factor of m?
True
Let p(g) be the second derivative of g**5/20 - g**4/3 + g**3/3 - 2*g**2 - 18*g - 1. Is 23 a factor of p(7)?
False
Let f = -308 + 323. Let t(z) = 42*z - 435. Is t(f) a multiple of 15?
True
Let x(z) = -9*z - 67. Let f be x(-13). Suppose 0 = f*y - 106848 + 15048. Is 108 a factor of y?
True
Let d(b) = -435*b**3 + 56*b**2 + 105*b + 2. Is 38 a factor of d(-2)?
True
Suppose 5*w = 4*u - 3181, 0 = 3*u - 63*w + 58*w - 2377. Is u a multiple of 55?
False
Let t(h) = -12*h**3 + 9*h**2 + 18*h + 84. Is 3 a factor of t(-5)?
True
Let w(c) be the first derivative of 34*c**3/3 - c**2 - 3*c + 32. Is w(-1) a multiple of 3?
True
Is (6840/608)/(1/(-596)*-1) a multiple of 16?
False
Let q(b) = -8*b + 122. Let a be q(12). Suppose 19*y + 980 = a*y. Is 5 a factor of y?
True
Let r(d) = 7 - 4*d + 20*d**3 - 21*d**3 + 16 - 11*d**2. Let z = -37 + 26. Is 33 a factor of r(z)?
False
Let x be 4160/(-195)*(-7 + 1). Let k = x + 31. Is k a multiple of 7?
False
Let y(m) = 1355*m**2 - 348*m + 40. Does 12 divide y(-8)?
True
Does 3 divide 9063/3 - -3 - (68 - 69)?
False
Let g be 3/((-18)/(-4) - 3). Let y be 5*(7 + -3 - g). Suppose -y*j + 294 = -236. Is 13 a factor of j?
False
Suppose 3*x = -5*y + 6191, -32*x - y + 10311 = -27*x. Is 9 a factor of x?
False
Let p(m) = 9*m**2 + 16*m + 41. Let a be p(-4). Suppose -y = x - a, 5*x + y - 3*y = 605. Is x a multiple of 11?
True
Let c = 1287 - 1137. Is 12 a factor of c?
False
Let q be (-1*(3 - 7))/(1/1). Suppose -3*w = 5*c - 2626, -16*w - q*c = -14*w - 1748. Is 7 a factor of w?
True
Suppose 75 = 5*l - 70. Suppose 4*a - 3*t - l = 0, -3*t - 5 = 2*a + 2*t. Is 15 a factor of (-20)/(-4) + 45 - a?
True
Let g(r) = -76*r + 156. Let k be g(2). Suppose 5*s = -19 + 29, 5*i - 2597 = k*s. Is 10 a factor of i?
False
Let t = -10509 + 14469. Is t a multiple of 11?
True
Suppose -2*g = -t + 1957, 5*g - 6*g = -5*t + 9758. Is t a multiple of 8?
False
Is 3 a factor of 5 + (264920/(-16))/(-5) + (-1)/2?
False
Let l be -26 + 510 - 6/1. Let b = 830 - l. Does 22 divide b?
True
Let a = -4 - -11. Let t = a + 19. Is t a multiple of 11?
False
Let u(x) = x**2 - 21*x + 1. Let b(l) be the first derivative of l**3 - 31*l**2 + 2*l - 13. Let f(h) = -3*b(h) + 8*u(h). Is 18 a factor of f(15)?
False
Let r(k) = -65*k**2 + 4*k + 14. Let m be r(4). Let p = 1217 + m. Does 9 divide p?
True
Let c = -38 - -52. Suppose 2*x - c = 54. Let s = x - -29. Does 21 divide s?
True
Let s = 289 - 353. Is 2/8*-69*s/48 a multiple of 2?
False
Let k = 23728 - 13170. Is 22 a factor of k?
False
Let r = 519 - -1161. Does 40 divide r?
True
Suppose -5913872 = -253*d - 181651. Is 24 a factor of d?
False
Does 36 divide ((-15)/(-10))/(2/16656)?
True
Let d(z) = 2*z - 13. Let v(b) = -2*b + 14. Let n(x) = 2*d(x) + 3*v(x). Let i be n(7). Is 28 a factor of i/10*-2 + 1684/10?
True
Suppose -2*z + 5*u = -7293, 4*z + 3*u = 12825 + 1696. Suppose 6894 = 7*f - z. Does 47 divide f?
True
Let w(b) be the second derivative of -b**3/6 - 39*b**2/2 - 20*b. Let r be w(-12). Is 7 a factor of (-7)/(-4 - (-2)/(-14)*r)?
True
Suppose -204749 = 35*f - 510665 - 873024. Does 18 divide f?
False
Let n(p) = -p**2 + 2*p + 5. Let g be n(-8). Let c = g + 107. Is c a multiple of 4?
True
Suppose -3*i + 44*h = 47*h - 3765, -2*i = 5*h - 2483. Is i a multiple of 3?
False
Suppose 23*u = 937 + 98. Let g = 0 + -4. Is u - (g + (-1)/(-1)) a multiple of 16?
True
Suppose 360*o = 342*o + 231840. Does 92 divide o?
True
Let f(r) = r**2 - 19*r + 27. Does 8 divide f(-26)?
False
Suppose 8*f = 9*f - 4*m - 1253, m = -5*f + 6160. Suppose 5*l - 3*l + f = 5*r, 737 = 3*r - 4*l. Is 17 a factor of r?
False
Suppose -3063*j + 3061*j = -3*u - 2314, 0 = 5*j + 3*u - 5701. Is 84 a factor of j?
False
Let j(w) = -54 + 44 + 7*w + 178 + 72. Does 16 divide j(0)?
True
Let t(c) = 25*c + 37. Let f be t(-1). Suppose f*n = 455 + 397. Is 13 a factor of n?
False
Suppose 5*p - 26555 - 1907 = 3*v, -3*v + 22748 = 4*p. Does 94 divide p?
False
Let f(w) be the first derivative of -w**4/2 - 22*w**3/3 + w**2/2 + 16*w - 1. Let i be f(-11). Suppose 6*h + 1207 = i*l + 2*h, 5*l - 1213 = h. Does 16 divide l?
False
Suppose 13*t + 7*t - 180224 = 12*t. Does 11 divide t?
True
Let i(b) = 2*b + 18. Let v be i(-9). Suppose 0*q + 10*q - 320 = v. Is q a multiple of 8?
True
Suppose -85*u - 16*u + 3008629 = -2278721. Does 224