Let y be l(-3). Suppose 412*n - 437*n - 300 = 0. Let i = n - y. Is 8 a factor of i?
False
Let k(g) = 4*g**2 - 6*g - 8. Let m be k(-5). Let t = m + -107. Is 3 a factor of t?
True
Let n(h) be the first derivative of 2*h**3 + 2*h**2 + 4*h + 133. Is n(-8) a multiple of 11?
False
Let h(k) be the second derivative of -k**5/20 - 5*k**4/12 - 2*k**3/3 - k**2/2 - 10*k + 2. Suppose 2*a = -o - 7 - 0, -a - o = 2. Is h(a) a multiple of 19?
True
Let d(y) = 52*y - 409. Let h be d(8). Suppose 570 = -0*s + 3*s. Suppose -2*a - s = -h*a. Is a a multiple of 10?
False
Let r = 118 - 244. Let d be (-3 - -59)/(r/128 - -1). Suppose 0 = 13*o + 3*o - d. Does 14 divide o?
True
Let l be 8 + 0/(2/((-6)/9)). Let y be (l/12)/(6/9). Is -3 - (0 + -31) - (4 - y) a multiple of 2?
False
Let q be (-6)/(-27) - ((-125)/(-9))/(-5). Let m(w) = 0*w**3 - 14*w - 12 - w**3 + 2*w**q - 19*w**2. Is 36 a factor of m(20)?
True
Suppose -6*j - 4*z = -j + 93, -5*j + 5*z - 120 = 0. Let u = 22 + j. Is (-7 + 128/(-10))/(u/(-5)) a multiple of 33?
True
Suppose -29*d = -72*d + 9847. Let p = 425 - d. Is 6 a factor of p?
False
Let s = 47 + -45. Let t be (-153)/27 - (s - (-16)/(-6)). Is (2/t)/((-1)/145) a multiple of 29?
True
Does 95 divide (6/1)/(123/41) + 18264?
False
Let s = -19343 + 62351. Is s a multiple of 24?
True
Suppose w + z - 10764 = 0, -5*w - 75*z = -77*z - 53806. Does 4 divide w?
False
Suppose 2*f - 9*v = -8*v + 11332, -2*f + 5*v + 11332 = 0. Is 9 a factor of f?
False
Let t(w) = -w + 13. Let q be t(9). Suppose -5*c = -k - 60, 18 + 16 = 4*c + 2*k. Suppose -5*g = -q*s + 17 + c, -3*s + 2*g = -21. Is s a multiple of 2?
False
Let m(x) = -77*x**2 - 12*x + 29. Let k(l) = 79*l**2 + 11*l - 27. Let j(b) = 6*k(b) + 5*m(b). Is j(2) a multiple of 27?
True
Suppose 0 = -10*y + 35*y - 59875. Suppose -2*k - 2*k = -5*q - 1920, -5*k + y = -5*q. Does 19 divide k?
True
Let y be 2 + 1 + -3 + -50. Let q = y - -54. Suppose q*o = -5*j + 270, 165 = j + 2*j + 3*o. Is 4 a factor of j?
False
Let m(q) = -5*q**2 - 12*q - 1. Let c be m(-2). Suppose 2*j - 465 - 545 = -c*l, 0 = 3*l - 3*j - 1005. Does 14 divide l?
True
Let q = 243 - 240. Suppose -r + 717 = -3*j, q*j + 26 = 20. Is r a multiple of 9?
True
Does 48 divide ((-260570)/(-28) - 143/2002) + 6?
True
Suppose -11*l = -15*l + 756. Suppose l = x - 119. Is x a multiple of 11?
True
Suppose -72358 - 118802 = -45*l. Is l a multiple of 118?
True
Suppose 30*b - 1742 = 17*b. Suppose 0*g - 166 = -4*g - r, -3*g = -4*r - b. Is 21 a factor of g?
True
Suppose 0 = -m - 2*y - 3, 6*y - 3*y = -4*m + 13. Suppose -m*a = 465 - 2404. Is a a multiple of 24?
False
Does 11 divide ((731808/60)/33)/(3/15)?
True
Let c be (-5)/1*318/265. Let r be (-1088)/(-26) - 2/(-13). Let a = r + c. Is 9 a factor of a?
True
Suppose -14*w - 3810 = 320. Let o = w + 465. Is 17 a factor of o?
True
Let z(g) = 5*g - 18*g - 8 + 12*g. Let j be z(-10). Suppose j*n - 282 = -4*r, -4*r = r - 5*n - 345. Is r a multiple of 10?
True
Suppose 139*s - 4899 = -4*x + 134*s, -5*s - 6045 = -5*x. Does 3 divide x?
False
Suppose 130*p + 88958 = 149*p. Is p a multiple of 88?
False
Let p(o) = 153*o**2 - 106*o + 196. Is 21 a factor of p(-9)?
False
Let y be 28730/(-104) + (-1)/(-4). Let k = y + 471. Is 13 a factor of k?
True
Let k = -715 + 1296. Let c = k + -505. Is c a multiple of 2?
True
Suppose 1928 + 672 = 5*l. Let w(d) = -14*d - 82. Let a be w(-6). Suppose -l = -3*v - a*v. Is v a multiple of 13?
True
Let u(f) = -f**2 - 16*f + 54. Suppose 3*i - 5*i - 36 = 0. Does 3 divide u(i)?
True
Let n = 8111 + -2039. Is 24 a factor of n?
True
Let p = 182 - 51. Let n = p - 151. Let h(s) = s**3 + 21*s**2 + 9*s - 6. Is h(n) a multiple of 30?
False
Let r(b) = -3*b**2 - 193*b + 122. Is 29 a factor of r(-60)?
False
Suppose 1926 + 1547 = 23*c. Let k = c - 79. Is k a multiple of 18?
True
Suppose 0 = 85*f - 41196 - 1344134. Does 10 divide f?
False
Suppose 31*u = 22*u + 1980. Suppose u = 3*c + o - 3400, 0 = 5*c - 5*o - 6040. Is 17 a factor of c?
True
Let t(x) = 7*x**3 - 15*x + 15*x**3 - 9*x**2 - 23*x**3 - 5. Let g be t(-7). Suppose g*j + 20 = r, r - 3*j = j + 16. Does 3 divide r?
True
Let z be 6/4*32/12. Suppose 2*a - z*d = -2*a, -5*d = -3*a - 4. Is 50 a factor of 20*(-5 + 7 + 1/a)?
True
Suppose 133*d - 109*d - 52560 = 0. Is 15 a factor of d?
True
Let t = 4 - -2. Let l = -3570 - -3398. Is (-10 - l)/(9/t) a multiple of 9?
True
Let z(v) = 2*v**2 + 23*v + 67. Let f be -17 - 12/(-3 - 3). Does 18 divide z(f)?
False
Suppose -5*b - 1757 = -2*h, 0 = 3*h + b - 2582 - 28. Suppose 5*t = -3*p + h, -2*p + t + 559 = -0*t. Is p a multiple of 19?
False
Suppose -461*i + 467*i - 6 = 0. Is 8 a factor of 1/(-3) + i + 6202/21?
True
Let w(i) = -3*i**3 + 7*i**2 + 13*i - 10. Let t be w(6). Let k = 35 - t. Is k a multiple of 7?
False
Let p be 4/(-10) + (-21728)/(-70). Let a = 520 - p. Does 10 divide a?
True
Let w(r) = 4*r**2 + 40*r - 30. Let s(z) = -z**2 - 2*z. Let p(j) = -8*s(j) - w(j). Is 9 a factor of p(9)?
False
Let j = 17204 - 4136. Is 27 a factor of j?
True
Suppose -718142 - 482680 = -21*h. Is h a multiple of 15?
False
Does 54 divide 22830 + (27 - (5 + 10))?
True
Suppose 2*y + 5 = j + 5*y, -2*y = 2*j - 6. Suppose 0 = j*g + 32 - 226. Does 15 divide g?
False
Let g be (-2)/(3 - 21/6). Suppose 0*p = 2*p - 10. Let s = g + p. Does 5 divide s?
False
Let u = -50300 + 76041. Is u a multiple of 102?
False
Let x be (540/(-16))/(51/(-12) + 4). Let h = x + -111. Is 4 a factor of h?
True
Let b(n) = -5*n + 19. Let m = -67 - -68. Let a = -8 - m. Is b(a) a multiple of 24?
False
Let g = 3890 - 1990. Suppose 14*n + 122 = g. Let i = n - 103. Does 3 divide i?
True
Let t(a) be the second derivative of a**4/6 - 25*a**3/6 - 10*a**2 + 4*a. Let u(b) be the first derivative of t(b). Is u(9) a multiple of 3?
False
Let u(m) = -m + 17. Let z be u(14). Suppose 3*r = z + 6. Suppose s - 5*f = 24, s + r*f - 16 = -0*s. Does 8 divide s?
False
Suppose 4*b + 4 - 6 = -2*z, 0 = -b + 5*z - 27. Is (-1544)/b*4/16 a multiple of 8?
False
Does 34 divide 22 - -2323 - (-13 - -12)?
True
Let p(y) = y**2 - 2*y - 2. Let u be p(-2). Suppose -2377 = -u*b + 815. Is b/20 - 2/(-5) a multiple of 14?
False
Let a(q) = -q**2 - 16*q - 62. Let w be a(-11). Is ((-498)/15)/(w - 238/(-35)) a multiple of 4?
False
Let j(k) = -6*k + 15*k - k**3 - 7*k - 1. Let y be j(-4). Let p = y - 26. Is p a multiple of 12?
False
Suppose 0*r + 2*r + r = 1677. Does 4 divide r?
False
Suppose 36*d = 157756 + 80996. Does 14 divide d?
False
Let n = -1818 - -1824. Let t be ((-15)/9)/(1/(-225)). Suppose -n*s + t = -s. Is s a multiple of 21?
False
Is 3 a factor of (1/(-3) - (-4505)/636)/(5/480)?
True
Let r = 350 - 348. Suppose -r*u - 172 = -5*p + 2290, 5*p - 4*u - 2464 = 0. Does 82 divide p?
True
Let y = -1099 - -705. Let o = y + 469. Is 15 a factor of o?
True
Let d = -22899 + 32209. Does 133 divide d?
True
Suppose 5*n = -2*x - 9, 3*x = -9 + 3. Let b be n*2 - (-42 + (3 - 6)). Suppose 0 = -0*d + d + 5*f - b, 20 = 4*f. Does 6 divide d?
True
Suppose 2*n - 70 = -4*v, 0 + 25 = v + 3*n. Let y(p) = 13*p + 93. Does 28 divide y(v)?
False
Suppose -305*n + 313*n - 29704 = 0. Is n a multiple of 55?
False
Let i(v) be the first derivative of v**4/4 + 2*v**3/3 - 3*v**2/2 + 230*v - 11. Is i(0) a multiple of 13?
False
Suppose 16106 = 18*g + 1493 - 795. Is g a multiple of 16?
False
Suppose -976 = -7*m + 8299. Suppose -5*u - 2*z = -m, -5*z = u - 317 + 75. Does 9 divide u?
False
Suppose z + 2 = y, y + 11*z - 6 = 10*z. Suppose -3*k - 3*o = -93, -y*k = 13*o - 15*o - 100. Is k a multiple of 3?
True
Let q(f) = 147*f**2 + 174*f - 471. Is q(3) a multiple of 5?
False
Let d be (-2)/((-32)/612) + 9/12. Suppose -17*c = -d*c + 4664. Is 52 a factor of c?
False
Let i(v) = 5397*v**3 - 7*v**2 - 48*v + 94. Is i(2) a multiple of 18?
True
Let a = 83 + -80. Suppose -f + 34 = 5*d, -6*d + 5*d - a*f = -18. Suppose 0 = -z + d*z - 595. Is 17 a factor of z?
True
Let n = 26620 + -14524. Is 108 a factor of n?
True
Let j = 423 - 418. Is 7 a factor of (6 + (-28)/j)*1130?
False
Let u(m) = m**2 + 14*m + 44. Suppose k - 36 = 4*k. Does 2 divide u(k)?
True
Let f(u) = 13*u**2 + 3*u - 4. Let h(r) = r**2 + 7*r + 10. Let i be h(-6). Let c be (84/14)/((-6)/i). Is f(c) a multiple of 27?
False
Let u = -200 + 393. Suppose u*m - 191*m = 960. Is m a multiple of 12?
True
Suppose -3*z - 311 = -4*f, z + 85 - 408 = -4*f. Let q = 85 