9)*27/(-15) a multiple of 6?
True
Let t(s) = 27*s + 17. Let o(p) = -9*p - 6. Let q(j) = -8*o(j) - 3*t(j). Let c(w) = -w**3 - 7*w**2 - 6*w - 4. Let u be c(-6). Is 11 a factor of q(u)?
True
Suppose 6*x - 10 = x, -2*a + 5*x = -152. Let w = a + -12. Does 23 divide w?
True
Suppose 7 = 5*z + 2*m - 3*m, 0 = 5*m - 15. Suppose 5*s + z*d - d = 14930, -d + 5 = 0. Is 20 a factor of 2/4 + s/30?
True
Suppose 0 = -77*b + 113*b - 21996. Is b a multiple of 68?
False
Let z = 3122 + -1663. Does 13 divide z?
False
Let r = 26 + -11. Let b = 4 + 5. Let m = r - b. Is m a multiple of 3?
True
Suppose -34 = -5*c + 4*u, -5*u - 15 = -2*c + 2. Does 19 divide ((-398)/(-5))/(c/30) - -1?
True
Let i(a) = 50*a + 53*a + 11*a**2 - 107*a + 4. Is i(3) a multiple of 13?
True
Let q(g) = -292*g + 2. Is q(-1) a multiple of 21?
True
Suppose -3*m + 2*l - l + 9 = 0, 2*m = 3*l - 1. Let o(i) = 5*i - 5. Is 15 a factor of o(m)?
True
Let g(q) = 3*q**2 - 8*q. Let n be g(8). Suppose 4*j - 3 = 17. Suppose -326 = -j*b + t, -2*t = 2*b - 3*t - n. Is 44 a factor of b?
False
Let h be 5/10*(-10)/(-1). Suppose z + z - l + 26 = 0, 55 = -5*z + h*l. Is 6 a factor of -12*(0 - (-10)/z)?
False
Suppose 2*n + 9 + 21 = 0. Let z = -9 - n. Suppose -g = v + 4*v - 168, 2*g = z. Is v a multiple of 9?
False
Suppose 3*r + 2*r = 80. Let m = r + -16. Suppose j - 23 - 1 = m. Is j a multiple of 12?
True
Let w = 19 + 25. Suppose 2*z - 164 + w = 0. Suppose 5*g = 2*g + z. Is 10 a factor of g?
True
Let s(j) = j**2 - 8*j - 8. Let m be s(11). Suppose c + 15 = m. Is 92/5 + (-4)/c a multiple of 6?
True
Suppose 1689 = 54*b - 51*b. Is b a multiple of 104?
False
Suppose 0 = 5*h - 3*m - 3, 0 = 5*h - 2*m + 6*m + 4. Suppose h*n - n = -210. Is n a multiple of 42?
True
Let t = -2 + 7. Let q = 140 - 71. Suppose -t*h - q = -8*h. Does 10 divide h?
False
Suppose 2*d - d + 2*d = 0. Suppose 2*z - 86 - 118 = d. Is 6 a factor of z?
True
Suppose -1265 = -5*s - 2*p, 1012 = -s + 5*s + 3*p. Is 16 a factor of s?
False
Let s(j) = j**3 - 9*j**2 + 8*j. Let w(q) = -3*q**3 + 27*q**2 - 24*q - 1. Let c(f) = 17*s(f) + 6*w(f). Let b be (-66)/(-10) + (-8)/(-20). Does 8 divide c(b)?
False
Let y(d) = -3*d**2 + 79*d - 1. Does 18 divide y(25)?
False
Suppose 0 = 70*h - 76596 - 97914. Is h a multiple of 8?
False
Let m be (-4)/(-2) + 4*2. Suppose o = -2*i - m, o = i + 4*i + 25. Suppose -3*j = -o*j - 66. Is j a multiple of 19?
False
Suppose 0 = -13*f + 14*f - 128. Suppose k - f = -k. Is 14 a factor of k?
False
Let q(u) = 1328*u**3 - 4*u**2 - 5*u + 5. Does 54 divide q(1)?
False
Let q = 24 - 12. Suppose -2*o - 4*m = -148, m + 380 = 5*o - q. Is o a multiple of 13?
True
Let r(q) = q**2 + q + 2. Let p be r(-4). Let w be 3 + (2 - -30)/(-4). Let y = p + w. Is y a multiple of 4?
False
Suppose 5*x = 3*x + 8. Suppose -b = x*b. Suppose -f = 2, c - 43 = -b*f - f. Is c a multiple of 26?
False
Let l(o) = -5*o**3 + 49*o**2 - 17*o + 3. Let b(s) = s**3 - 12*s**2 + 4*s - 1. Let f(g) = -9*b(g) - 2*l(g). Is 25 a factor of f(-9)?
False
Let r be 2*-2*(-1)/4. Suppose -r + 76 = -5*t. Let g = -7 - t. Is 3 a factor of g?
False
Let i = 18 + -252. Is 5 a factor of i/(-30) + 2/10?
False
Suppose 103 = 5*v - 4*v. Suppose -4*u + v + 5 = 0. Does 27 divide u?
True
Suppose 3*w + 24 = -w. Let t = w - -8. Let o(l) = 13*l**2 + 2*l - 2. Does 18 divide o(t)?
True
Let f(w) = 2*w**2 - 3*w - 6. Let t(j) = 4*j**3 + j. Let q be t(1). Let h be f(q). Let i = h + -3. Does 13 divide i?
True
Suppose 0 = k - 4*o - 0*o - 542, 4*k - 2126 = 2*o. Suppose 4*p = -5*r + k, -4*p + r = -p - 388. Is 10 a factor of p?
True
Let z(w) = w**3 - 6*w**2 + 2*w + 3. Let s be (-270)/(-42) + (-6)/14. Does 7 divide z(s)?
False
Let k = -10 - -12. Suppose k*y - 1 + 0 = -z, 3*y + 18 = 5*z. Suppose 0 = -z*i + 6 + 54. Is 10 a factor of i?
True
Suppose -7*g = -39 - 31. Let a(f) = -f**3 + 13*f**2 - 13*f - 4. Is 8 a factor of a(g)?
False
Suppose -48*y = -45*y. Let f(a) = -65*a - 4. Let q be f(-4). Suppose d + 3*d - q = y. Is 13 a factor of d?
False
Suppose -z - 1022 = -4*a, 0 = -a - z + 139 + 119. Suppose 2*k = 6*k - 4*h - a, 2*k + 3*h = 118. Does 31 divide k?
True
Let a(q) = q**2 - 17*q - 256. Let h be a(27). Suppose -3*t + 112 = 400. Is (t/h)/((-1)/7) a multiple of 12?
True
Let d = -896 - -1437. Is 20 a factor of d?
False
Let w = -8 + 57. Let s(o) = 13*o**2 - 50 + w + 5*o**2. Does 6 divide s(1)?
False
Let y = 113 - 86. Is 8 a factor of y/(-4)*((-6)/9 - 2)?
False
Let g be (-5)/((-70)/528) - 18/(-63). Suppose 4*d - 334 + g = 0. Does 26 divide d?
False
Let h(m) = 32*m + 2. Let d(w) = 33*w + 2. Let t(k) = -5*d(k) + 4*h(k). Does 4 divide t(-1)?
False
Let u(q) = 2*q**2 - 35*q + 12. Let b be u(17). Is (6/b)/((-3)/45) a multiple of 3?
True
Suppose 5*p - 285 = -5*v, -v + 3*p - 287 = -6*v. Suppose 5*g - 2*g - 142 = 5*r, -v = -g - r. Is 10 a factor of g?
False
Let d be (0/3)/5 + 3. Suppose 5*c - 22 = d*x, 0*c - 3*c = -5*x - 26. Suppose n = -t + 48, -5*t - 5*n + 232 = -c*n. Is t a multiple of 16?
False
Let c = 495 + 170. Does 15 divide c?
False
Let w = 62 + -57. Suppose 3*d = 5*d - 5*o - 18, d - 39 = -w*o. Is 5 a factor of d?
False
Suppose 4*i + 91 = 3*k, 4*k - 3*i = -2*i + 104. Let o = k + -20. Suppose -5*j = -4*x - 137, o*j + 2*x = 48 + 101. Does 21 divide j?
False
Is 7 a factor of -3 + 3523 + 36/((-48)/8)?
True
Suppose 0 = -r - 5*b + 8, 0 = r - 5*r + 5*b - 18. Let i(w) = w**3 + 2*w**2 - 3*w - 2. Let p(d) = -d**3 - d**2. Let x(h) = i(h) + 6*p(h). Is 14 a factor of x(r)?
True
Suppose 0 = -2*z + 6*z. Suppose 33 = c - z*m + m, -c = 5*m - 45. Does 15 divide c?
True
Suppose -6 = 2*o - 5*g, 3*o + 0*g - 8 = -g. Suppose -4 = -o*b + 4. Suppose -b*j - 8 = 0, -3*r + r + 138 = 3*j. Is 36 a factor of r?
True
Suppose 14*s + 22 = 15*s. Let q = s - -13. Does 12 divide q?
False
Suppose a - 16 = -3*a. Suppose 4*h + a*x - 295 = x, 0 = 4*h - 5*x - 319. Suppose 3*z = h - 25. Is 7 a factor of z?
False
Let i(a) be the first derivative of 2*a**3/3 + 13*a**2/2 + 12*a - 15. Suppose -27 + 3 = 3*n. Is i(n) a multiple of 9?
True
Suppose -24 = -4*t - 4*q, 26 = t + q - 4*q. Suppose t = 2*d + 1. Suppose -d*l + 120 + 30 = 0. Does 10 divide l?
True
Let c(r) be the second derivative of r**5/10 + r**4/12 - 5*r**2/2 - 16*r. Is c(4) a multiple of 17?
False
Let v(p) be the third derivative of p**8/10080 + p**7/1260 + p**6/90 - 2*p**5/15 + 2*p**2. Let r(t) be the third derivative of v(t). Is r(-6) a multiple of 28?
True
Let y(g) = 15*g**2 + 9*g - 126. Is y(-9) a multiple of 56?
True
Is 4955/20 + ((-10)/(-40))/1 a multiple of 8?
True
Let q(s) = -s**2 - 8*s - 10. Let d be q(-5). Suppose 1036 = 2*m + d*m. Is m a multiple of 37?
True
Suppose 5*b - 17 + 2 = 0. Suppose -b*v = -54 + 6. Is v a multiple of 8?
True
Does 14 divide 2660/(-15)*36/(-7)?
False
Is (3 - 3/(-15))/((-11)/(-330)) a multiple of 6?
True
Let s(h) = -4*h - 52. Let l be s(-11). Let d(g) = -g**3 - 3*g**2 + 9*g - 15. Is d(l) a multiple of 20?
False
Let c be 92/(-10) + -1 + (-4)/(-20). Let b = 41 + -28. Let m = b + c. Does 2 divide m?
False
Let d be 8/(-6)*(-27)/18. Suppose 0 = -5*m + 6 + 9. Suppose -5*h = 5*b - 5, -m*h - 1 = -d*b + 6. Is b a multiple of 2?
True
Let f(s) = s + 108. Let y be f(0). Suppose k = -2*k + y. Suppose m - 3*p - k = -0*p, -68 = -2*m + 5*p. Does 8 divide m?
True
Let y = 11 + -10. Suppose -4*g = -l + g - y, -4*l + 15 = -g. Suppose 0 = -x + l*u + 51, 3*x - 3*u = u + 145. Is x a multiple of 12?
False
Let d(r) = -7 - 25*r**2 - 30*r**2 + 4*r - r**3 - 11 + 45*r**2. Does 8 divide d(-11)?
False
Let j be (-6)/(-10) - 51/(-15). Suppose j*d + 25 = 9. Is (-118)/d + 3/6 a multiple of 10?
True
Suppose 13*t - 3528 = -50*t. Does 14 divide t?
True
Suppose -172 = -5*z + 3*o - 1753, 0 = 5*o + 15. Is 25 a factor of (z/(-5))/((-8)/(-20))?
False
Suppose -v + 7*y - 3*y + 25 = 0, 0 = 5*v - y - 87. Suppose 0 = 16*h - v*h + 189. Is h a multiple of 27?
True
Let l(v) = 3*v**2 - 36*v + 390. Is 15 a factor of l(10)?
True
Let w(c) = -698*c + 574. Is w(-7) a multiple of 15?
True
Let d be (-38)/2*(0 - (-3 - -2)). Let a(k) = k**3 + 18*k**2 - 18*k + 27. Does 4 divide a(d)?
True
Let b(o) = -o**3 + 5*o**2 + 14*o - 10. Does 71 divide b(-8)?
True
Let y(n) = n**2 - 8*n - 297. Does 3 divide y(-18)?
True
Suppose 6 = i + 2. Suppose -2*u - 2 + 30 = i*a, -a + 3*u - 7 = 0. Suppose 3*l + 60 = r - l, 0 = -r - a*l + 15. Does 15 divide r?
False
Suppose 5*p = -