) - 20/(-4). Let t(h) = h**3 - 12*h**2 + 21*h + 20. Is t(q) a multiple of 6?
True
Let v(l) = l**3 + 9*l**2 - 16*l - 13. Let f be v(-10). Suppose 0 = x - 3*s - f, -4*x = -6*s + 9*s - 158. Does 15 divide x?
False
Let b(q) = 5*q + 4. Let s be b(-11). Let h = s - -89. Does 14 divide (-1 + h)*(-10)/(-10)?
False
Let f = 3427 + -1824. Is 23 a factor of f?
False
Let v be 5/((-5)/4) - -9. Suppose -v*b + 20 = -10. Suppose 4*r - b*r = -22. Is r a multiple of 6?
False
Suppose 4*v + 5*k = 30, -4*v + 2*v + 4 = -3*k. Let a = 2 - v. Let p(t) = 3*t**2 + t + 2. Is 26 a factor of p(a)?
True
Suppose 7*r - 1479 = 2427. Is 9 a factor of r?
True
Let r be (26/65)/((-1)/5). Let w be 3/r*(-4)/3. Does 19 divide 2 - ((-17 - w) + 2)?
True
Let p(g) = g**2 + 2*g + 20. Is p(28) a multiple of 10?
True
Let x(u) = u**2 + 21. Does 4 divide x(-5)?
False
Let t = -17 + 26. Let c be ((-14)/21)/(1/t). Let g(f) = f**3 + 5*f**2 - 8*f - 7. Is g(c) a multiple of 3?
False
Let v = 3212 - 1621. Is 37 a factor of v?
True
Suppose 3*l - 78 = -36. Is l a multiple of 2?
True
Let j be 3*(-2)/21*-7. Suppose 0 = 3*d + 3*a - 24, 4*a - j = -10. Suppose -5*q + 3*g + 97 = 0, d = q + 4*g - 14. Does 5 divide q?
True
Suppose 0 = -5*d + 11 - 1. Suppose o + 4*o - 61 = -d*y, 0 = 3*y + 6. Is 3 a factor of (-1 + -1)/((-2)/o)?
False
Let b = 5 + 263. Does 30 divide b?
False
Let d = 249 + -209. Is 13 a factor of d?
False
Let t be (-12 + -3)*5/5. Let a = t + 15. Suppose a*p - 4*p = 4*k - 76, k = -5*p + 83. Does 13 divide p?
False
Let i(q) = 13*q**2 + 15*q + 28. Is i(-6) a multiple of 17?
False
Is 31 a factor of 57/9*-31*(4 + -7)?
True
Let g be ((-48)/10)/(-2)*5. Let q(j) = -2*j**3 + 19*j**2 - 32*j - 17. Let f be q(7). Suppose -g = f*a, -2*y = -0*y - 3*a - 69. Does 10 divide y?
True
Let t = -40 - -72. Suppose v - 17 = -c, -3*c - v = -29 - t. Is 11 a factor of c?
True
Is 32 a factor of (908/12 - 1)*(0 + 12)?
True
Is 28/(-686)*14 - (-16923)/7 a multiple of 23?
False
Suppose 4*u - 3*a + 2549 = 0, -8*u + 5*u - 1918 = 4*a. Does 16 divide (-6)/(-24) + u/(-8)?
True
Let p be (-3)/18*-3*-8. Let i(g) be the third derivative of -11*g**4/8 - 10*g**2. Is i(p) a multiple of 40?
False
Is 26 a factor of (260/25)/(-1 + (-28)/(-20))?
True
Let y(k) = 2*k**3 + k**2 - 3*k + 3. Let b be y(-3). Does 2 divide (-32)/6*b/22?
True
Suppose -9*n = -663 - 102. Let y = 13 - 9. Suppose 0 = -y*g - g + n. Does 13 divide g?
False
Let t(d) = d**2 - 4*d + 11. Let b be (-270)/(-33) + 2/(-11). Let u be t(b). Suppose h - u = 19. Is 18 a factor of h?
False
Suppose -7*y + 4*v - 2128 = -9*y, -3*y = 2*v - 3208. Does 16 divide y?
True
Let f(b) = -10*b - 66. Let x be f(-7). Suppose 0 = -3*q - 2*l + 627, x*l - l - 413 = -2*q. Does 31 divide q?
False
Let i(a) be the first derivative of a**3 - 2*a**2 + 13*a + 4. Is i(6) a multiple of 14?
False
Suppose 1249 = 5*k + 2*t, -4*k + 2*t - 511 = -1503. Is k a multiple of 18?
False
Let f = 2 + -8. Let x be 1 - (4 - 2) - f. Is 8 a factor of (-1 + x)*(-117)/(-36)?
False
Suppose -376*s = -374*s - 110. Does 11 divide s?
True
Suppose -2*c = -29*c + 26325. Is 39 a factor of c?
True
Let y = -39 + 50. Let f = y + 41. Does 4 divide f?
True
Let x(u) be the first derivative of -5*u**2/2 - 17*u + 9. Is x(-5) a multiple of 8?
True
Is 9 a factor of (75/(-35))/5 + 56416/56?
False
Let f(t) = t**3 + 7*t**2 - 4*t - 6. Is 19 a factor of f(-7)?
False
Let g(n) = -n**2 - 10*n + 3. Let j be g(-10). Suppose s = -j*s - 4*o + 392, -o = -s + 94. Is s a multiple of 16?
True
Let b(m) = -m**3 + 2 - 3 - 11*m + 6*m**2 + 3*m**2 + 15. Is 28 a factor of b(6)?
True
Suppose 0 = -o + 71 + 89. Does 10 divide o + (0 + 4 - 1)?
False
Suppose -27*p = -29*p + 2058. Does 45 divide p?
False
Let t(j) = 125*j**2 + 83*j + 1. Does 10 divide t(-4)?
False
Suppose -15 = -3*v + u, 0 = -2*v + u + 1 + 8. Suppose v*r - 5*r = 0. Suppose r = b - 9 - 40. Is b a multiple of 13?
False
Let k(z) = z**2 + 26*z - 85. Is 10 a factor of k(-41)?
True
Suppose 121 - 22 = 11*h. Let w(s) = 3*s**2 - 13*s - 21. Does 5 divide w(h)?
True
Does 16 divide (4 + (-6)/4)*128?
True
Let n(w) = 3*w**2 + 9*w + 13. Does 43 divide n(-5)?
True
Suppose 0 = -4*j + 2*j - 16. Let f = j - -12. Suppose -d + 90 = 5*l + 3*d, 4*d = -f*l + 72. Does 11 divide l?
False
Suppose -2*z + z = 5*t + 6, -5*t = -4*z + 1. Is 25 a factor of t/2*2*-105?
False
Suppose 4*b = c + 2 - 1, 5*c = 15. Let a = 77 - 53. Suppose -f = 3*k - a, -4*f + 5*k + 146 = -b. Does 15 divide f?
False
Let h(s) = 6*s**2 + 45*s + 189. Is 21 a factor of h(-4)?
True
Let p be 4/(-14) + 1947/77. Let q be ((-5)/p)/(2/(-50)). Suppose 29 - 81 = -3*k + u, -q*k + 105 = 2*u. Is 14 a factor of k?
False
Suppose -l = -5*j + 8, -2*l - 3*j = -22 - 1. Suppose 3*o = a - 163, 153 = a - 2*o - l. Suppose -t - 4*s = -75 + 25, -4*s - a = -5*t. Does 6 divide t?
False
Let v = -39 - -45. Suppose -12*g + 48 = -v*g. Is 4 a factor of g?
True
Suppose w + 4*f + 32 = 5*w, -5*f = 4*w - 50. Let p(r) = r**2 - 2*r - 12. Let j be p(6). Suppose 8*n - w*n = -j. Is 3 a factor of n?
True
Suppose 0 = 11*g - 334 - 678. Is 2 a factor of g?
True
Let r(i) = -1 - 4*i + 1 - 5. Let q be r(-2). Suppose 0 = -q*o + o + 30. Is 11 a factor of o?
False
Is (-36)/15*(-4 + (-32)/12) a multiple of 5?
False
Let a = -36 - -91. Let s = 97 - a. Is s a multiple of 7?
True
Let j(b) = -b**2 + 9*b - 2. Let n be j(6). Let t = -50 - -53. Is 3 a factor of (n + 2)*1/t?
True
Let q(a) = 24*a**2 - 43*a + 186. Does 53 divide q(8)?
True
Suppose 0 = 21*h - 16*h - 225. Is h a multiple of 45?
True
Let r be 1 + (-2 - (-17 - 0)). Suppose -4*u = r, 2*b - 5*b = 3*u - 285. Is b a multiple of 9?
True
Let x = 16 - 14. Is 10 a factor of (-387)/(-18) + (-3)/x?
True
Let a = 48 - 53. Does 5 divide 22 - (-1*2 - (-4 - a))?
True
Let c(d) = 4*d. Let z be c(-1). Let k be ((-18)/z)/((-2)/(-28)). Does 21 divide 2*k/2*1?
True
Is (-10242)/(-8) - 1/4 a multiple of 14?
False
Let q be (10/(-20))/(1/(-4)). Let j = q + 19. Is 13 a factor of ((-36)/j)/(4/(-98))?
False
Suppose -7*q = -1283 - 1111. Does 18 divide q?
True
Suppose 1530 = -0*w + 15*w. Is 12 a factor of w?
False
Let t(l) be the third derivative of l**8/20160 - l**7/560 - l**6/360 + l**5/60 - 3*l**2. Let n(y) be the third derivative of t(y). Does 5 divide n(11)?
True
Does 27 divide -1*9*(-14 - (-2 - 0))?
True
Let w = 33 + -29. Suppose w*b - 4*m - 140 = 0, 0 = 2*b - 0*m + m - 73. Does 20 divide b?
False
Suppose 2 = 5*h + 12, -v + 310 = 2*h. Does 5 divide v?
False
Is 33 a factor of -11 + 16 + -4 - (-698)/1?
False
Let m(l) = 2*l**2 + 7*l + 4. Let o(k) = k**2 + 7*k + 1. Let d be o(-6). Is 3 a factor of m(d)?
False
Let i(p) = p**3 + 7*p**2 + 2. Let w be i(-7). Is 16 a factor of ((-112)/70)/(w/(-60))?
True
Let s = -1508 + 2208. Does 20 divide s?
True
Let r(s) = s**2 - 13*s - 9. Let i be r(14). Let x = -175 + 424. Suppose -69 = i*l - x. Does 18 divide l?
True
Let p be ((-696)/16)/((-3)/10). Let t = -100 + p. Is t a multiple of 23?
False
Let l = -99 + 224. Is (l/5)/((-2)/(-4)) a multiple of 7?
False
Does 11 divide (60/(-90))/(1 + 1522/(-1518))?
True
Let a = 2604 - 2329. Is 21 a factor of a?
False
Suppose 3*x = i, x + x = 0. Let t(m) = m - 3. Let u(v) = 7*v - 3. Let j(l) = -6*t(l) + u(l). Is 8 a factor of j(i)?
False
Let c(v) = -v. Let z(j) = -j + 22. Let i(x) = -2*c(x) + z(x). Is i(11) a multiple of 11?
True
Suppose -2*o - 3*y + 32 = 0, -5*o + y = -3*y - 57. Let b be 2/o - (-2)/(-13). Is (1 - -14) + b/2 a multiple of 5?
True
Suppose -6*k = -5*k - 248. Does 31 divide k?
True
Let i = 1179 + -384. Suppose 7*d - i - 206 = 0. Does 25 divide d?
False
Let p(m) = -80*m. Let x be p(-1). Let w = 64 + x. Suppose f + w = 5*f. Is 9 a factor of f?
True
Let d = -8 + 13. Suppose -3*o - 11 = -2, 55 = 5*g - d*o. Is 20 + g/(-4) - 3 a multiple of 15?
True
Let b(z) = 5*z - 5. Let w = 12 - 7. Let m = w + 4. Is b(m) a multiple of 14?
False
Suppose s - 2*s = 5. Let k be 0/(s - (4 + -7)). Suppose k = 4*z - 41 - 87. Does 8 divide z?
True
Let l(y) = -y**3 - 5*y**2 - y - 2. Let v = 9 + -14. Let i be l(v). Suppose i*m + 2*s + s = -3, -4*m = s - 8. Does 3 divide m?
True
Let u(x) = 3*x + 28. Is u(14) a multiple of 5?
True
Let f = 44 - 29. Let t = f - 59. Is 11 a factor of (t/(-2))/(7 - 6)?
True
Let n be 4*(2 - 1) - 43. Let o be n/(-9) + (-2)/6. Suppose v - 95 = -2*l, 4*v = -o*l + 3*v + 195. Does 7 divide l?
False
Suppose 5*d = 3*c + 