?
True
Let m(n) = n**3 + 20*n**2 + 19*n - 2. Let o be (-279)/15 + (-6)/15. Let g be m(o). Is 13 a factor of g - (4/(-4) + 1) - -73?
False
Let g = 35 - 806. Is 10 a factor of g/(-7) - 6/42?
True
Suppose 223760 = 70*b - 109860. Is 79 a factor of b?
False
Is (-2)/(-4)*(-42 - -1010) a multiple of 11?
True
Let w(p) = -4*p**2 - 23*p + 9. Let o be w(-6). Suppose -208 - 122 = -2*a + 2*m, -o*a - 2*m + 495 = 0. Does 76 divide a?
False
Suppose o = -2*o - 3*g + 30621, 5*o - 5*g = 51025. Does 27 divide o?
True
Let h be 776*(5 + -4) + -3 - -5. Let m = h - -4. Is 16 a factor of m?
False
Let j(s) = -3*s**3 - 8*s**2 - 34*s - 10. Does 11 divide j(-6)?
False
Let p = 30 + 308. Let g = 676 - p. Does 6 divide g?
False
Suppose -x - 13 + 16 = 0. Let g be (-4)/48*-4 - (-248)/x. Suppose -91 = -6*k + g. Is k a multiple of 29?
True
Let o be (182 + -13)/((-1)/(-10)). Let b = 3150 - o. Does 10 divide b?
True
Suppose 2*d = -u + 128, 5*u - 2*d - 53 = 599. Suppose 9*q - 1021 = -u. Is q a multiple of 11?
True
Let q(l) = 35*l - 479. Is q(19) a multiple of 2?
True
Suppose -2*m - 473 = -a - 94, 4*m + 1143 = 3*a. Suppose a = 2*q - 5*j, -5*j = 15 + 10. Suppose -8*o + 396 = -q. Is 11 a factor of o?
False
Suppose -66 = 5*f - 8*f. Suppose 16*a - f*a - 588 = 0. Does 5 divide (120/(-42))/(4/a)?
True
Let y(g) = -g - 16. Let s be y(-4). Let o = s - -41. Does 4 divide o?
False
Suppose -22*f + 3*v + 206910 = -2*v, 2*v = 0. Does 55 divide f?
True
Let k(r) = 117*r**3 - 4*r**2 - 6*r - 36. Is 9 a factor of k(6)?
True
Let x be 81/189 + 60/7. Suppose x*l - 280 = 5*l. Let p = 118 - l. Is p a multiple of 16?
True
Let u = 24 + -18. Suppose -3*n + 3240 = u*n. Is n a multiple of 45?
True
Let j(i) be the third derivative of 3*i**4/2 + i**3/6 - 5*i**2. Let s be j(1). Suppose -493 = -5*h - 2*z, -5*z - 339 + s = -3*h. Does 9 divide h?
True
Let h = -27269 - -38679. Is h a multiple of 13?
False
Let u(m) = 34*m**2 - 95*m + 18. Is u(-7) a multiple of 81?
True
Suppose 5*g = -2*t + 7, 0 = -g + 1 - 4. Suppose 0 = -2*y + 8, -y - 51 = -3*u + t. Does 22 divide u?
True
Let u be (-51976)/(-20) - (72/(-10) - -7). Suppose 5*b + 58 - 931 = -k, -3*k + u = 5*b. Does 56 divide k?
False
Suppose -9*p + 22 + 14 = 0. Suppose -p*r - 2*v + 372 = 0, 5*r - 222 - 232 = 3*v. Is r a multiple of 23?
True
Suppose 7*w - 4*w + 6 = 0. Let a(z) = -10*z**3 - 2*z**2 + 3. Is 12 a factor of a(w)?
False
Suppose -14*r = 3*r - 2023. Suppose -r*a + 147 = -116*a. Is a a multiple of 7?
True
Let t(j) = -372*j - 121. Is t(-19) a multiple of 12?
False
Let q(c) = 23*c - 5. Let b be q(-2). Does 10 divide 10*(-1 + b)/(-2)?
True
Is (-6)/(-15) - ((-17)/51)/(5/8154) even?
True
Let s be 195 - 7 - 2/(-2). Let t be (4/6)/((-42)/s). Is (2 - 6 - 5)*t a multiple of 11?
False
Let r(a) = a**3 - 4*a**2 - 3*a - 92. Let c be r(7). Suppose 57 = 5*w - 63. Let s = w + c. Does 4 divide s?
False
Let q(h) = 2*h**2 + 30*h - 198. Let t be q(-20). Let j = -8 - -13. Suppose j*r + y = 2*y + 22, t*y = 4*r - 14. Is 5 a factor of r?
True
Let m = -391 - -324. Let x = 123 - m. Is x a multiple of 6?
False
Let f = -436 - -732. Does 6 divide (f/(-2) - -1)*(-576)/672?
True
Suppose u + 4*u - 190 = 0. Let i = u - 36. Does 8 divide (-2)/(i/(-48)*1)?
True
Let f(h) = 238*h**2 + 3*h + 2. Suppose 5*k + 14 = 4*g, 3*k + 12 = -2*k + 2*g. Let u be f(k). Is 17 a factor of (-2 + 3)/(6/u)?
False
Let b(k) = k**3 - k**2 - 22*k - 6. Let y be b(-4). Suppose 0 = -c + y*g + 497, -2*c + 1009 = -g + 2*g. Does 33 divide c?
False
Let m(n) = -19*n - 12 - 11*n**2 + 0*n**3 + 0 + 28*n + 2*n**3 + 31*n. Does 66 divide m(6)?
True
Let i = 7143 - 3428. Is i a multiple of 29?
False
Suppose -15*v = -12*v - 12. Suppose v*r - 1404 = -4*t, -4*r + 0*r - 4 = 0. Does 33 divide t?
False
Does 4 divide 27 + (-132615)/(-42) - (-18)/(-4)?
True
Suppose -2*j + 5434 = -4*u, 3*j + j + 5*u - 10920 = 0. Does 4 divide j?
False
Let f = -7975 - -12185. Suppose 44*o - 34*o - f = 0. Is o a multiple of 27?
False
Let g = 5663 - 3147. Does 148 divide g?
True
Is 215 a factor of -29893*19/(-17 - 2)?
False
Let z(m) = m - 5. Let a(i) = 2*i - 9. Let n(f) = 3*a(f) - 5*z(f). Let q be n(-8). Is 21 a factor of (-15)/(-75) + (-228)/q?
False
Suppose -3*l - 5*u + 4*u + 10 = 0, -4*u - 20 = -3*l. Suppose y + 2*t + 3*t = 218, l*y = -3*t + 855. Suppose -2*o - 83 + y = 0. Is o a multiple of 13?
True
Let r = 6100 + -5764. Is r a multiple of 4?
True
Suppose -2*a = -5*u - 24, -4*u + 5*a - 9 = -0*a. Let w = u - -9. Suppose w*r - 246 = -24. Does 37 divide r?
True
Suppose 2*h - 7*h + w + 24 = 0, -h - 3*w = 8. Let q(d) = d**2. Let s(u) = -13*u**2 + 11*u + 5. Let f(k) = -4*q(k) - s(k). Does 15 divide f(h)?
False
Suppose 536 = s - 1249. Let m be (4/6)/((-5345)/s - -3). Suppose -6*j = 2*d - j - m, -j = 3*d - 159. Is 4 a factor of d?
True
Let c(a) = -a**3 - 69*a**2 + 7*a + 100. Is c(-71) a multiple of 149?
True
Let z(s) = -2*s**3 + 10*s**2 - 10*s + 6. Let h(k) = k - 1. Let q(y) = -8*h(y) - z(y). Is 3 a factor of q(5)?
True
Suppose -26 = -4*s + 3*f, -3*s + 3 = 5*f - 2. Suppose q - 7 = r, s*q - r = 13 + 2. Suppose 3*z + 2*u = -z + 80, q*z - 5*u = 40. Is 12 a factor of z?
False
Let j(o) = 28 - 22*o - 17 - 138. Is 9 a factor of j(-7)?
True
Let h = 5646 + -1486. Suppose -25*v = -35*v + h. Is v a multiple of 52?
True
Let k be (-6)/27 + (-11 - (-6500)/90). Suppose -58 = 2*a - 388. Let d = a - k. Does 16 divide d?
False
Let f be 2 + 2604/(-26) + 8/52. Suppose -3*y + 0*y + 633 = 0. Let a = f + y. Is 11 a factor of a?
False
Let v be (4 + -2 + -1)/(3 + -2). Suppose -a = -2*a + l + v, 0 = 2*a - 3*l. Suppose -a*j + 127 = -17. Does 6 divide j?
True
Suppose 2*r + 3*r - 2 = -4*q, -6 = 3*q. Is 159 - r/8*-4 a multiple of 10?
True
Let v(f) = 9*f - 7*f + 0*f + 24 + 2*f**2 + 2*f. Is v(-9) a multiple of 22?
False
Let r = 1077 - 511. Suppose -5*p + 4*d - 7*d = -1436, 3*d = 2*p - r. Is 13 a factor of p?
True
Let j(l) = -2*l**2 - 15*l - 2. Let g be j(-7). Suppose 2*u + 6*m - 2*m = 202, -314 = -3*u + g*m. Suppose 275 = 3*n - u. Is 18 a factor of n?
True
Let n(k) = 11*k**2 + 4*k - 3. Let b(o) be the second derivative of o**4/2 + o**3/3 - o**2 - o. Let t(l) = -7*b(l) + 4*n(l). Is 4 a factor of t(-2)?
False
Suppose -2*q + 0*b + b = -417, 0 = -3*q + 3*b + 621. Suppose -51*u + 46*u - q = -d, u - 840 = -4*d. Is 42 a factor of d?
True
Suppose 2*d - 5*d = 33. Let w be (-18)/(-99) + (-1296)/d. Suppose -28 = g - w. Is 6 a factor of g?
True
Let u be (-2)/10 - 7/(70/(-172)). Let j = u + -15. Suppose j*a + 62 = 3*a. Is a a multiple of 11?
False
Let f be (-33)/(-2) + (-1)/2. Suppose 5*b + 6*b = 308. Let k = b - f. Is 2 a factor of k?
True
Suppose 5*w = -4*m + 3*m + 72, 0 = -3*m - 9. Suppose -5*s = -5*p - 146 + 26, -5*p + w = 0. Is s a multiple of 20?
False
Is 5 a factor of (-230)/(1/48*-8)?
True
Suppose 3 = z + 2, 0 = -3*p + 4*z + 11. Suppose -p*v = 5*i - 4415, -v - 275 = -i - 1160. Is v a multiple of 26?
True
Let p be (-24)/18*9/(-6). Suppose p*o - 7*n - 414 = -5*n, -3*n - 217 = -o. Does 17 divide o?
False
Suppose -17*a + 16*a - 4*o + 6089 = 0, -4*o - 24436 = -4*a. Does 11 divide a?
True
Let u(g) = -4*g**3 + 4*g**2 - 9*g + 14. Let v be u(2). Let p be (-5 - 76/v)/(4/(-3930)). Let x = p + -840. Does 21 divide x?
False
Let f be -57 + 55 - (3 - -1*1). Is ((-9)/(-4))/(f/(-208)) a multiple of 17?
False
Let g = 8716 + -6903. Is 73 a factor of g?
False
Let x(a) = -376*a + 2224. Is 211 a factor of x(-30)?
True
Let z be (5 - 8 - 0)*(-318)/(-9). Let d = z - -124. Suppose -175 + 1687 = d*r. Is 17 a factor of r?
False
Suppose 0 = 57*w - 18*w - 16497. Is w a multiple of 14?
False
Let h = -21 + 17. Let u be (-2 - -23 - h)/(2/4). Suppose 0 = -2*g + 5*g - 4*v - 75, 4*v = -2*g + u. Is 7 a factor of g?
False
Let b(t) = -6*t - 59. Let v be b(-12). Suppose 5*o - 8*a = -v*a - 10, -4*a - 13 = -o. Is (-96)/10*o*(-20)/6 a multiple of 20?
False
Suppose -30 = -5*w - 4*q + 4, 4*q = 5*w - 66. Let o(j) = j**3 - 3*j**2 - 17*j - 24. Is 11 a factor of o(w)?
True
Let q be (-8 - 0)*9/(-36)*76. Suppose 3*y + 3*d = 75, 5*y = -3*d + q - 19. Is y a multiple of 29?
True
Let p(b) be the first derivative of b**3/3 - 9*b**2/2 - 52*b - 29. Let q(t) = 4*t - 4. Let n be q(-1). Is p(n) a multiple of 9?
False
Let h(w) be the second derivative of 12*w**5/5 + w**4/4 - 5*w**2/2 + 33*w. Let l be h(2). Suppose -d + 5*m = d - l, 5*m = -4*d + 797. Is d a multipl