 a factor of n?
False
Let n(t) = -4*t**3 + t**2 + 6*t - 2. Let o be n(-3). Is -2 + o*(-4 - -6) a multiple of 64?
True
Let x(k) = 94*k - 474. Is x(12) a multiple of 11?
False
Suppose o - 225 = -5*b, 3*o + 45 = 2*b - b. Suppose -25 = 3*l + m - 9, 4*l + 17 = 3*m. Let x = b + l. Is 10 a factor of x?
True
Let l = -400 + 411. Suppose 2*v + l*v - 1248 = 0. Is v a multiple of 12?
True
Suppose 4*o = 16*y - 12360, -5*y - o + 3825 = 4*o. Does 8 divide y?
False
Suppose 131440 = 10*i - 40280. Suppose 3109 = -49*n + i. Is n a multiple of 51?
False
Suppose 101*x = 105*x - 8. Suppose x*d + 3*c + 16 = 0, 0 + 26 = -4*d - 3*c. Let y(n) = n**3 + 4*n**2 - 7*n + 6. Does 16 divide y(d)?
True
Let i be 5/((-75)/40)*15. Let z be (32/i)/((2/265)/2). Does 18 divide 4/(z/72 - -3)?
True
Let l(j) be the second derivative of -14*j**3 - 34*j**2 - 99*j. Is l(-3) a multiple of 6?
False
Suppose -4947 = 404*s - 408*s + 3*j, 5*j - 6210 = -5*s. Does 7 divide s?
True
Let t = 4994 - 2402. Is t a multiple of 32?
True
Let o = -410 + 833. Suppose y - 4*k - 447 = -2*k, -y - 4*k = -o. Is y a multiple of 17?
False
Let y(s) = 2*s**2 + 22*s - 974. Is 57 a factor of y(29)?
False
Let u(g) = g**2 - 70*g - 1197. Is 9 a factor of u(119)?
False
Let z(q) = 3*q**3 - 11*q + 896. Let w be ((-1)/(-4))/(-1)*(6 - 6). Is z(w) a multiple of 56?
True
Let g = -21296 + 21429. Let d = 234 + -125. Let h = g - d. Does 24 divide h?
True
Let f = 247 - 246. Is 9 a factor of 18*f/(4/68)?
True
Let q(c) = 534*c - 4138. Is 26 a factor of q(43)?
True
Let v(o) = -o**3 - 4*o**2 - 25*o - 85. Let i be v(-7). Let d = i - -39. Is 8 a factor of d?
False
Suppose -1967 = -8*j + 25992 - 5943. Is j a multiple of 19?
False
Suppose 3*g = -g, h = -4*g + 501. Let y = h + -347. Does 7 divide y?
True
Let b = 265 + -457. Let z = b - -250. Is z a multiple of 6?
False
Suppose -2*w + 507 - 393 = 0. Let f(a) = -a**3 + 6*a**2 - 5*a + 6. Let i be f(5). Suppose -9 = -i*h + w. Does 3 divide h?
False
Let r(l) = -4470*l - 2991. Does 26 divide r(-6)?
False
Suppose -5*u - 2*o + 52119 = 0, 2*u - 3*o = -u + 31263. Suppose -44*i = -63047 + u. Is i a multiple of 26?
True
Suppose 5*i = 35, -i + 69673 = 3*h - 66213. Is h a multiple of 8?
False
Suppose 7*g + 13385 = 12*g - 3*p, 0 = -4*g + 3*p + 10705. Does 8 divide g?
True
Let a be 1/(-2 - (235/(-115))/1). Suppose -a*w + 426 = -3829. Is w a multiple of 13?
False
Let p(m) = -165*m**3 + m**2 + 8*m + 4. Let k be p(-2). Suppose -v + l = 5*l - 272, -4*l + k = 5*v. Does 26 divide v?
True
Let p(j) = -3*j**2 - 3*j + 592. Does 6 divide p(0)?
False
Suppose -591*d + 141228 = -555*d. Is d a multiple of 11?
False
Let v(y) = -5*y**3 - 21*y**2 - 9*y + 4. Let b(c) = 9*c**3 + 41*c**2 + 19*c - 8. Let h(p) = -6*b(p) - 11*v(p). Let d be h(16). Is 11 a factor of 3/(-4) + 1735/d?
False
Suppose 46*z = 43*z - 2*n + 31949, 0 = 3*z - 5*n - 31921. Is z a multiple of 117?
True
Suppose n + 6*n = 938. Suppose n = 4*v - 2*h, -5*h + 88 = 2*v + 3. Let a = v - -49. Is a a multiple of 16?
False
Is 320 a factor of 20800/(-3)*(-504)/168?
True
Let q(w) = 20 - 2*w - 8*w + 15*w. Let o be q(-3). Suppose -15 = -o*l - 3*r, -3*r = 3*l - 2*r - 13. Is l a multiple of 6?
True
Let l(d) = -d**2 - 5*d + 220. Let a be l(10). Let f be ((-1 - 0) + 0)*-6. Suppose -f*h = -4*h - a. Does 5 divide h?
True
Is 398/((-495)/(-240) + -2) a multiple of 29?
False
Let d = 97 + 271. Suppose -d = -7*f + 17. Let n = f - 47. Is n a multiple of 3?
False
Let p = 12141 + -8199. Is p a multiple of 6?
True
Is 303 a factor of ((-2)/3)/(28/126*(-5)/13830)?
False
Let r = -17 - -20. Suppose -3*q = 6*v - 2*v - 28, r*q - 4*v = -4. Suppose -70 = -q*g - g. Is 14 a factor of g?
True
Let q be 3*4/12 + -5. Let i(w) = -1 + 6*w**2 + 2 - 7*w**2 - 5*w. Is i(q) even?
False
Suppose 5*l + 11*s - 133 = 9*s, 2*l - 50 = -4*s. Suppose 4*x - 5*w = 759, 5*w - l = -2. Does 49 divide x?
True
Let f(x) = -2*x**3 + 3*x**2 - 3*x + 4. Let i be f(2). Let d(s) = -3*s - 19. Let g be d(i). Let p = 95 - g. Does 15 divide p?
False
Suppose -2*d = 4*y - 67530, -76*y + 79*y - d = 50660. Does 66 divide y?
False
Let s(b) = 4*b**2 - 8*b - 2. Let h be s(-11). Suppose -19*x = -0*x - h. Is x a multiple of 12?
False
Suppose -3*t + 8*t = k + 9990, -5*t + 7*k + 9990 = 0. Is 37 a factor of t*(161/(-21) - -8)?
True
Let u(w) = 3*w**2 + 9*w + 3. Let a(n) = 1. Let m(k) = -6*a(k) + u(k). Let j be m(-4). Suppose j*b = 5*b + 104. Does 13 divide b?
True
Let l(r) = 1482*r - 1529. Is 12 a factor of l(4)?
False
Suppose -k = -117 - 189. Suppose f = 3*a - 406, -849 = -4*a + f - k. Suppose 3*d + 147 = 4*h - h, -3*h + 5*d = -a. Is 6 a factor of h?
True
Let p(g) = -4*g**2 + 18*g - 68. Let f(z) = z**2 + 1. Let v(m) = -6*f(m) - p(m). Is v(-10) a multiple of 4?
False
Let p = -18 - -22. Let k be 4/p*(-1 + 5 + -2). Suppose 240 = 3*s + k*s. Is 12 a factor of s?
True
Suppose 0 = -16*x + 5*x + 3520. Suppose 5*b - 2 - 8 = 0. Suppose z = 5*f - 0*z - x, -2*z - 136 = -b*f. Does 49 divide f?
False
Let r = 709 + -704. Suppose -r*h + 2*a = -5662, 0 = -2*h - 3*a + 668 + 1612. Is 81 a factor of h?
True
Let i be 2/10*(-14 - -14). Suppose i*j + 2*j = 0. Suppose j = 5*y - 2*v + 7*v - 355, 4*v + 4 = 0. Is 20 a factor of y?
False
Let z be 20/8*(-42)/(-15) + -2. Suppose z*q - 258 = -3. Suppose -b - 18 = -q. Is 11 a factor of b?
True
Let o(s) be the second derivative of s**7/2520 + s**6/720 + 11*s**5/120 + s**4/12 - 11*s. Let z(m) be the third derivative of o(m). Is z(0) a multiple of 6?
False
Suppose -3*t + 12 = 3*x, -3 = -2*x - 3*t + 8. Is 36 a factor of x*(7113/9 + 6/9)?
False
Let z(j) be the second derivative of -15*j**3/2 - 73*j**2/2 + j + 3. Is 41 a factor of z(-8)?
True
Let s = -4355 - -27539. Does 28 divide s?
True
Let g = -538 - -236. Let v = g - -624. Is 14 a factor of v?
True
Let v = -9617 - -21547. Is 14 a factor of v?
False
Let z(q) = q**2 - q. Let t(c) = c**3 + 9*c**2 - 6*c + 46. Let p(y) = -t(y) + 4*z(y). Does 9 divide p(-7)?
False
Let y(k) = k**3 - k. Let s(r) = 2*r**3 + 3*r**2 - 4*r. Let i(n) = -s(n) + 3*y(n). Let c be i(3). Suppose -c*g + g = -194. Is 19 a factor of g?
False
Suppose 0 = -10*z - 3320 + 38220. Does 8 divide z?
False
Suppose -3*o - 4*c + 1100 = -528, -542 = -o - 2*c. Does 32 divide o?
True
Let t(p) = -2*p - 23. Let v be t(-14). Suppose -4*a - 192 = -5*i, -104 = -2*i + v*a - 17. Let k = 153 - i. Is 9 a factor of k?
True
Let g(m) = m**3 + 23*m**2 - m - 45. Let u be g(-23). Is 13 a factor of (-2028)/2*11/u - -5?
False
Let i be 33320/(-90) - ((-22)/18 - -1). Is 6 a factor of 12/5*i/(-4)?
True
Let o be (26/3)/(-3 - 35/(-15)). Let f(t) = -14*t - 21. Let q be f(o). Suppose 13 - q = -4*m. Is m a multiple of 18?
False
Let a(n) = 324*n**2 + 42*n + 132. Is 9 a factor of a(-3)?
False
Suppose -3*v - 4*i = -8382, 0*i + 13912 = 5*v - 3*i. Is 51 a factor of v?
False
Let f(h) = 26*h - 4. Let j be f(2). Suppose 7*y = -j*y + 49555. Is 17 a factor of y?
True
Suppose -68 = -4*b - 3*j + 106, 5*b + 4*j = 218. Let c = b + 98. Is 7 a factor of c?
True
Suppose 0 = 2*v + 2*l - 68, 2*v + 0*l - 59 = -5*l. Suppose -v*p + 31*p + 4812 = 0. Is p a multiple of 12?
False
Let j(d) = 4*d**3 + d**2 + 3. Let f be j(4). Suppose 3505 = 12*v - f. Is 15 a factor of v?
True
Let m(p) be the second derivative of 5*p**4/3 + 10*p**3/3 + 7*p**2/2 - 4*p - 4. Is 13 a factor of m(-4)?
True
Suppose 5*k - 8970 = -5*f, 5*f = -k + 2554 + 6392. Is 4 a factor of f?
True
Let v(l) = -l + 12. Let s(n) = -n + 12. Let q(w) = 4*s(w) - 5*v(w). Let a be q(12). Suppose a = 3*i - 88 - 11. Does 11 divide i?
True
Let z(f) = 81*f + 27. Let w be z(-7). Let m be w/(-3) + 1 - 3. Suppose -62 = 2*i - m. Is i a multiple of 15?
False
Does 141 divide (-45398)/(8/(-4)) - (-5 - (-54)/18)?
True
Suppose y + 4*y = 15. Suppose -y*o + 325 = -h, 3*o + 7*h - 320 = 3*h. Suppose -u + 2 = -0, 2*b - o = -5*u. Does 5 divide b?
False
Let b = 34285 - 24455. Does 10 divide b?
True
Let g be 1/(((-3)/(-5))/3). Let y(b) = -38*b + 78. Let z be y(2). Suppose 0 = -5*f + 9 + 1, g*w = z*f + 31. Is w a multiple of 2?
False
Let h(t) = -2*t**2 - 12*t - 12. Suppose 8*p - 9 = 9*p. Let u be h(p). Does 11 divide (u/8)/1*-8?
True
Is ((-825)/50)/((4/4712 + 0)/(-1)) a multiple of 19?
True
Let r = 485 + -335. Let x = r - 507. Let y = x - -508. Is 15 a factor of y?
False
Let c(w) = -4*w - 4. Let b(h) = -2*h**2 + h - 2. Let l be b(2). Let x be c(