)) a multiple of 8?
True
Let l = 58 + -74. Let d(h) = -h**3 - 14*h**2 + 20*h + 8. Does 20 divide d(l)?
True
Suppose m - 6 = -m. Suppose m*r - 12 + 9 = 0. Does 13 divide 0/r - (-51 + 6)?
False
Let s(q) = 2*q**2 + 2*q + 12. Let b be s(-5). Is 8 a factor of ((-860)/(-6))/(b/78)?
False
Let j(x) = x**3 + 9*x**2 + 9*x - 4. Let r be j(-8). Let b = 34 + r. Is b a multiple of 6?
False
Is 3 a factor of (-16 - 11)*(-22)/6?
True
Let c = 127 + -117. Let j(w) = w**3 - 11*w**2 + 10*w + 8. Is 2 a factor of j(c)?
True
Is 12 a factor of ((-64)/(-6) + -1)/((-241)/(-13737))?
False
Is 9/(-2)*(48/(-8) + -34) a multiple of 9?
True
Let d(t) be the second derivative of -2*t**3/3 - t**2 + 5*t. Let f be d(-2). Suppose -4*s + 42 = -f. Is 4 a factor of s?
True
Suppose 12 = 3*g, -12*g + 482 = 3*n - 16*g. Is 6 a factor of n?
False
Let h(k) be the first derivative of k**6/180 + 11*k**5/120 - k**4/4 - 11*k**3/3 + 15. Let j(n) be the third derivative of h(n). Is j(-9) a multiple of 19?
True
Let b = 42 - 36. Let a(l) = 17*l - 27. Does 11 divide a(b)?
False
Is (-35 - (-12)/4)*9/(-2) a multiple of 12?
True
Let v(n) = -5*n + 9. Suppose -l + 30 - 42 = 0. Does 12 divide v(l)?
False
Let a(g) = g**2 + 11. Let q be a(0). Suppose -q*o - 350 = -16*o. Is o a multiple of 4?
False
Suppose -2*u - 2*w + 10 = 0, 3*w - 15 = -u + 3*u. Suppose -4*k - 3 = -t, 4*k - 2*t + 6*t = 12. Suppose y + k*y - 4 = u. Is 4 a factor of y?
True
Let z(t) = -t - 3*t + 9*t**2 + t - 8*t - 8 + t**3. Let q be z(-10). Suppose q*r - 94 = 2. Does 8 divide r?
True
Suppose -5*z = 20, 0*v - v = 4*z - 2. Does 6 divide v?
True
Suppose 0 = 4*r - 24054 + 2406. Is 23 a factor of r/26 - 9/((-468)/(-8))?
False
Suppose -10*g + 36*g - 4004 = 0. Does 7 divide g?
True
Suppose 0 = -t - 3*t + 16. Suppose t*k - 127 = 29. Is k a multiple of 37?
False
Suppose 7*u + 1422 = 16*u. Let v = u - 18. Does 10 divide v?
True
Suppose 857 = 5*t - 533. Suppose 6*p - t = -56. Is p a multiple of 7?
False
Let g(x) = 52*x**3 + 5*x**2 - 19*x + 13. Does 41 divide g(2)?
False
Suppose 3*l - 4 = 2. Suppose -3*b + 15 = -3*j, 0 = 3*b - l*b + 5*j - 29. Let n = b - -12. Is 6 a factor of n?
False
Let x(c) = -c**3 + 18. Let f = -20 + 38. Let y = 18 - f. Does 6 divide x(y)?
True
Suppose -30*d + 36584 = -4966. Is d a multiple of 11?
False
Let v(c) = c**3 + 28*c**2 + 60*c + 40. Is v(-25) a multiple of 28?
False
Suppose -1163*f = -1152*f - 40106. Is f a multiple of 13?
False
Let m be (-3 - 1 - -2)/1. Suppose -4*c + c + 18 = 3*i, -4*c + 18 = i. Does 17 divide 51/((c + m)/2)?
True
Let s be (-18 - 3)/(-3)*3. Suppose 0 = -s*u + 17*u + 176. Does 7 divide u?
False
Let h(u) = 147*u + 4. Does 3 divide h(1)?
False
Suppose 8*c - 622 - 18 = 0. Is c a multiple of 12?
False
Let a(n) = n**2 - 22*n + 112. Does 8 divide a(16)?
True
Let z = 2066 + -488. Does 39 divide z?
False
Let i(w) = -w**2 - w + 3. Let p be i(-3). Let t(r) = -2*r**3 - 5*r**2 - r + 7. Is 3 a factor of t(p)?
False
Let s be (-34135)/(-35) + (-2)/7. Suppose 8*l - 3*l = s. Suppose 0 = 4*d - 9*d + l. Is d a multiple of 13?
True
Let h = 5715 - 2604. Is h a multiple of 52?
False
Let b be (-2)/9 + (-658)/(-126). Suppose -2*m - b*g = 17, m + 6 = -4*g + 2*g. Suppose m*l = -3*d + 34 - 2, 0 = -3*d - l + 26. Is d a multiple of 2?
True
Suppose -11*l = 39 - 1755. Is 6 a factor of l?
True
Let v be 2/((-16)/1498)*-4. Suppose -7*j = -14*j + v. Is j a multiple of 18?
False
Suppose -6 = 3*b, -4*k + 5*b + 3618 = 1324. Is k a multiple of 26?
False
Suppose -5*w + 24 + 6 = 0. Let i be 148 - 3/(w/8). Suppose 3*r - i = 4*a, 7*r - a - 240 = 2*r. Is 16 a factor of r?
True
Suppose 0 = -3*n + 5498 + 7129. Is 124 a factor of n?
False
Let k be (145/(-10))/(2/(-124)). Let r = k - 1548. Is 6 a factor of 4/(-6) + r/(-33)?
False
Let w(p) = -p**2 + 18*p - 8. Suppose 2 = 3*f - 16. Does 16 divide w(f)?
True
Suppose 8*w + 4*w = 8064. Suppose n + w = -z + 5*z, -5*n = 4*z - 672. Does 42 divide z?
True
Suppose -3*p - 3*m = 102, 78 + 86 = -5*p + m. Let w = 31 + p. Is 4 a factor of -1 + w + 0 - -7?
True
Suppose 24 = -32*p - 104. Let l(z) = -2*z + 0*z - z + 4. Is l(p) a multiple of 16?
True
Let l = -5715 - -8547. Does 93 divide l?
False
Let h(z) = -z**3 - 2*z**2 - 3*z + 2. Let c be (-3)/(-2 + -1 + 2). Suppose 8*l - c*l = -20. Does 23 divide h(l)?
True
Let i = -1551 + 2262. Does 8 divide i?
False
Let i(p) = -p**2 + 18*p - 8. Is i(6) a multiple of 32?
True
Let w(b) = -b**2 - 12*b - 10. Let x be w(-11). Let q be (-51)/17 - (x - 13). Let z = 15 + q. Does 5 divide z?
False
Let y(i) = 3*i**3 - 4*i**2 - 7*i. Let s be y(5). Suppose -68 + s = 4*m. Suppose -3*t + 65 = -m. Is t a multiple of 19?
False
Suppose -2*d + 3*v + 430 = -343, 4*v - 12 = 0. Suppose d = 3*f - 251. Let s = f + -118. Does 23 divide s?
False
Suppose -19690 = -22*o - 0*o. Is 20 a factor of o?
False
Suppose -145 = 2*m + 6*p - 1573, -4*p + 2117 = 3*m. Does 8 divide m?
False
Suppose 6*s + 13 = 49. Suppose -5*w = -16 + s. Suppose -w*o - f - 5 = -60, -5*f + 113 = 4*o. Is o a multiple of 9?
True
Suppose -6*d + 32 - 2 = 0. Suppose 0 = 4*q + d*b + 91, -4*b = 5*q - 5*b + 150. Let w = q + 62. Is 11 a factor of w?
True
Suppose 9*v + 12*v = 26460. Is 18 a factor of v?
True
Let q(a) = -3*a - 20. Let o be q(8). Let b(g) = 84*g**2 - 1. Let t be b(1). Let r = t + o. Is 13 a factor of r?
True
Suppose -l + r = -5, 2*r = -7*l + 2*l + 25. Suppose l*a - 22 = -4*b + 2*a, -b - 2 = -3*a. Suppose b*c + 4*s - 392 = 0, 4*s - 9 = 11. Is c a multiple of 19?
False
Let i = 1387 + -853. Does 36 divide i?
False
Is 9/(-54) - (-10355)/30 a multiple of 15?
True
Let p = -111 - -129. Does 14 divide p?
False
Let h = 443 + -53. Is h a multiple of 39?
True
Is 3 a factor of (-3124)/(-36) + -5 - 6/(-27)?
False
Suppose 6*o - 3*o - 21 = 0. Suppose 0 = 2*m - o*m + 2*g - 679, 3*g = -m - 129. Does 27 divide ((-4)/10 - 0)*m?
True
Let a = 698 - 588. Is 10 a factor of a?
True
Let v be (-14)/35 + (-256)/10. Let y = 24 + v. Does 8 divide (2 - y)/((-9)/(-36))?
True
Let q = 29 - 21. Suppose 26*j - q = 22*j. Suppose -a + 5*a + 5*m = 28, j*m = -2*a + 16. Does 4 divide a?
True
Is 21 a factor of (-18551)/(-26) - 1/(-2)?
True
Suppose 0*i = 3*i + 4*o - 250, -i + o = -74. Is i a multiple of 5?
False
Let k(q) = -3*q + 78. Is k(-16) a multiple of 65?
False
Let w(i) = 6*i + 1. Let u be w(-1). Suppose -5*t = -5, 0 = -3*x + x - 5*t + 9. Is u*(x - 34/5) a multiple of 6?
True
Let g(c) = c**3 - 7*c**2 + 5*c + 13. Let f be g(6). Suppose -30 = -f*y + 2*y. Is 2 a factor of y?
True
Let s(l) = 47*l + 3. Let f be s(-11). Let h = -267 - f. Suppose 5*g - 178 - h = 5*b, 3*b - 65 = -g. Is g a multiple of 23?
False
Let t(a) = -54*a**2 - 14. Let j(d) = -1 + 3 + 6 - 3 + 18*d**2. Let p(n) = -17*j(n) - 6*t(n). Is p(-1) a multiple of 17?
True
Let b be -2 + 2 - -2 - -3. Let t(c) = 2*c - 8. Let q be t(b). Let o = 18 + q. Does 6 divide o?
False
Suppose -5*k + 277 = -3*s + 112, 2*k + 4*s = 40. Is k a multiple of 30?
True
Let f = -636 - -446. Let i = f - -338. Is 26 a factor of i?
False
Let o(g) = 95*g - 1. Let u be o(5). Suppose 4*v - 366 = u. Suppose 0 = -5*q + 3*a + 316, v = 5*q - 2*q + 5*a. Does 13 divide q?
True
Let u(g) = g**2 + 10*g + 2 + 0*g**2 - 8. Let h = 246 - 257. Is u(h) a multiple of 4?
False
Suppose 102 = -4*i + 3*h + 314, 0 = -3*i - 3*h + 180. Suppose -23 = 3*c - i. Is 3 a factor of c?
False
Let a be 3/(-12) - (-68)/16. Suppose 2*n = -4*b + 188, a*b - 4*n = -b + 209. Does 17 divide b?
False
Let c = 1625 + -931. Let y = c - 421. Is y a multiple of 39?
True
Let y(u) = -u. Let z be y(-4). Let b be (z - 10 - -4) + 147. Suppose 18*f - b = 13*f. Is f a multiple of 8?
False
Suppose 1 - 437 = -x + 3*z, -1757 = -4*x - z. Does 16 divide x?
False
Suppose 2*t + 3*t - 115 = -5*i, 0 = -3*i + t + 65. Suppose i = 2*s - 358. Suppose 0 = 6*j - j - s. Does 13 divide j?
False
Is ((-18)/(-12))/((-6)/(-2152)) - -2 a multiple of 52?
False
Let n(f) = 167*f**3 - 2*f**2 + f + 5. Is n(2) a multiple of 89?
True
Suppose 14*j = 19057 - 1697. Is j a multiple of 49?
False
Let r(y) = -42*y - 9. Let j(b) = 14*b + 3. Let g(k) = -8*j(k) - 3*r(k). Is 25 a factor of g(12)?
False
Let o = 20 + -15. Suppose 2*m + 293 = o*h + 91, 0 = h + m - 46. Does 21 divide h?
True
Let q be (-50)/(-12) + (-1)/6. Suppose 3*s - 4*p + 19 = q*s, 0 = -4*s + 5*p - 29. Is 16 a factor of ((-50)/(-3) + s)*6?
False
Let c = -909 + 918. Le