2/8 - 51/12. Is 12 a factor of g(m)?
False
Let w(b) = -18*b**3 + 6*b**2 + 10*b + 2. Does 32 divide w(-3)?
True
Let u = -287 + 595. Does 12 divide u?
False
Let f = 23 - 11. Let o = 82 + f. Suppose -o = -5*d + 41. Does 17 divide d?
False
Suppose 4*l = -4*w - 20, 5*w = -2*l - 3 - 19. Let g(a) = -a**2 - 6*a - 7. Let k be g(w). Let j(f) = 7*f. Is 7 a factor of j(k)?
True
Suppose -227*z + 3544 = -219*z. Is z a multiple of 14?
False
Let h(p) = p - 2. Let j be h(7). Suppose 5*a - j*q - 195 = 0, 0 = 2*q - 0*q - 8. Is 8 a factor of a?
False
Let q(a) = a**2 + 3*a + 7. Let s(p) = -p**3 - 7*p**2 - 5*p - 2. Let z = 18 + -24. Let h be s(z). Is q(h) a multiple of 27?
False
Suppose 0 = -4*y + 5*y - 26. Let q be (-1326)/(-91) + 3/7. Let o = y - q. Is 11 a factor of o?
True
Suppose c = -i + 2, -1 = -i + 3*c + 1. Suppose 4*f + 4*y = 300, -i*f + 0*f + 2*y = -158. Is 16 a factor of f?
False
Suppose 2*f + 0*i = -i + 4028, f + i - 2012 = 0. Is f a multiple of 16?
True
Suppose -2*o + 4*o = 14. Suppose o*p - 5*p - 154 = 0. Suppose -p - 7 = -3*k. Is 14 a factor of k?
True
Let g(o) = 2*o**2 - 4*o + 28. Is 5 a factor of g(-8)?
False
Let w = -22 + 24. Suppose 270 = 3*c + w*c + q, 3*c + 2*q = 155. Suppose -119 = -2*x - 2*s + c, 2*s = 5*x - 449. Is x a multiple of 27?
False
Let a = -392 + 218. Let t = a + 324. Suppose -4*b = b - t. Is 10 a factor of b?
True
Suppose 0 = -11*y + 15*y - 244. Suppose -4*f + y = -51. Does 7 divide f?
True
Suppose -4*j + 1563 = w, 4*w - 6*w + 1166 = 3*j. Does 28 divide j?
True
Suppose -f + 0*f = 50. Let l = f + 226. Suppose 2*n = -4, -3*x + 3*n + n + l = 0. Is x a multiple of 14?
True
Let j(w) = -w**3 + w**2 + 6*w + 6. Suppose -4*q + 0*z = -5*z - 13, 5*q = 3*z. Let k be j(q). Suppose 2*y - x = 2*x + k, 4*y - 2*x - 56 = 0. Is 15 a factor of y?
True
Is (18/4)/(42/1260) a multiple of 16?
False
Let d = 643 - 342. Is d a multiple of 8?
False
Let y(d) = d**3 + 5*d**2 - 3*d - 7. Suppose -2*t - t = 4*b + 23, 2 = -2*t. Let i be y(b). Suppose 50 = i*w - 3*w. Is w a multiple of 5?
True
Let n(t) be the third derivative of 5*t**2 + 0*t - 1/6*t**4 + 1/2*t**3 + 1/60*t**5 + 0. Is 13 a factor of n(-5)?
False
Let d(a) = -a + 6 + 1 + a**2 - 3 - a. Is d(4) a multiple of 3?
True
Let q be ((-16)/20)/(3/(-2595)). Let l = q + -248. Suppose -i = 5*i - l. Is 14 a factor of i?
False
Suppose 34*f - 7828 = 13388. Is f a multiple of 39?
True
Suppose -406 = -16*h + 970. Suppose 64 = 5*l - h. Does 4 divide l?
False
Suppose -n = -3*p + 7, -n + 0 = 3*p - 5. Suppose -271 = -5*y - 0*y + d, 2*y - p*d - 110 = 0. Suppose -4*i = 10 - y. Is i a multiple of 3?
False
Let d = -28 + 46. Suppose 3*k + d = 6. Is (87 - -1) + (-4 - k) a multiple of 27?
False
Let i = 73 + -24. Suppose h - i = 46. Is 20 a factor of h?
False
Let g = 1760 + -980. Does 49 divide g?
False
Is (-68 - -1)*(-35 + 26) a multiple of 44?
False
Let i(z) = 2*z**2 + 19*z - 20. Is i(-18) a multiple of 7?
False
Suppose -2*c + 22 = 182. Let u(w) = w**3 + 15*w**2 + 2*w - 18. Let t be u(-15). Let j = t - c. Does 16 divide j?
True
Let i be (-1767)/(-9) + (-6)/18. Suppose -739 = -4*t - 3*u, -t - u + 4*u + i = 0. Is t a multiple of 17?
True
Let r be (-33965)/45 - ((-6)/27)/(-1). Does 29 divide (-3 - r/10)*2?
True
Suppose 63 = 41*x - 44*x. Let z = x - -93. Is 12 a factor of z?
True
Suppose 4*w = -f - 40, 2*f = -w - 17 - 0. Suppose 0 = 3*i + t - 4*t + 18, 5*i + 26 = 4*t. Let z = i - w. Is z a multiple of 5?
False
Let j(h) = 25*h**3 - 6*h**2 + 8*h - 23. Let t(m) = 8*m**3 - 2*m**2 + 3*m - 8. Let d(a) = -6*j(a) + 17*t(a). Does 9 divide d(-1)?
False
Suppose -4887 = -407*n + 398*n. Is 17 a factor of n?
False
Suppose -q + s + 51 = -0*q, 2*s = -3*q + 143. Is 8 a factor of q?
False
Suppose 7*d = 2000 + 1731. Is 43 a factor of d?
False
Let l = 1083 - -746. Does 31 divide l?
True
Let q(z) = -z + 1. Let i(m) = -m**2 + 2*m - 2. Suppose 2*u - 4*t = u + 11, -u = -2*t - 7. Let d be i(u). Is q(d) a multiple of 3?
True
Does 4 divide ((-636)/(-20) - -1)/(54/3915)?
False
Let v = -8 - 1. Let i = 14 + v. Suppose -t - t - 4 = 0, 0 = 5*w - i*t - 100. Does 6 divide w?
True
Does 5 divide (4 + 1 - -135) + 5?
True
Let x(a) = a**2 - a - 6. Let r be x(3). Suppose r = -10*w + 13*w - 324. Is 18 a factor of w?
True
Suppose 4*d = -3*z - 1 - 9, -3*d - z = 10. Let r = 3 + d. Is 29 a factor of (r*1)/((-5)/435)?
True
Let w = -44 + 89. Let q(v) = -3*v**2 - v. Let d be q(3). Let h = w + d. Is h a multiple of 3?
True
Let y(l) = 71*l**2 + 176*l + 8. Does 24 divide y(-8)?
True
Suppose 34*g = 75*g - 16728. Is g a multiple of 11?
False
Let x(q) = -1 + 2 + q + q + 2*q**2. Is 31 a factor of x(-6)?
False
Let h(z) = 508*z**3 - 3*z**2 + 12*z - 29. Is 57 a factor of h(2)?
True
Let s = -57 - -105. Suppose -k = 2*v - s - 31, k = -4*v + 155. Does 7 divide v?
False
Let a(f) = 2845*f + 35. Is a(1) a multiple of 144?
True
Suppose 0*s = s - 3*u - 23, -9 = -3*u. Is s a multiple of 4?
True
Suppose 3*w = -18 + 132. Is 3 a factor of w?
False
Suppose -5*n + 784 = 5*j - 91, j - 183 = -3*n. Is j a multiple of 2?
False
Let b be ((-792)/28)/(12/(-56)). Suppose -3*n + 3*i = -i - b, -4*i = -4*n + 172. Does 2 divide n?
True
Let f(b) be the first derivative of 4*b**2 - 7*b + 6. Is f(2) a multiple of 4?
False
Let a(p) = -p**2 - 7. Let v(n) = n**2 + n + 8. Let q(k) = -5*a(k) - 4*v(k). Let c be q(2). Is -1 - c - (0 + -41) a multiple of 11?
False
Let o(h) = 5*h**2 - 20*h - 1. Let m(i) = -i**2 + i. Let w(p) = -4*m(p) - o(p). Let k be w(16). Let z(x) = 3*x + 2. Does 3 divide z(k)?
False
Let c(m) = -3 + 6*m + 9 + 4*m**2 + 0. Does 10 divide c(-2)?
True
Let z be (-2 + 0)/(-2*(-1)/(-8)). Suppose 90 = z*s - 118. Is 4 a factor of s?
False
Let w = 15 - 11. Suppose w*r - m = 3*m + 292, -3*m = 15. Does 17 divide r?
True
Let p be 9/(135/(-10)) + 2/3. Suppose p = b + 60 - 213. Is 51 a factor of b?
True
Let l = 187 - -47. Is 40 a factor of l?
False
Let d be (-6)/(-21) - (-24)/14. Suppose d*b - 111 = -b. Suppose a = b + 11. Does 24 divide a?
True
Suppose 2*m - 427 + 43 = 0. Does 8 divide m?
True
Let l = -24 + 25. Suppose 0 = n + 4 + l, 5*d = 5*n + 55. Is 3 a factor of d?
True
Suppose -5 = -0*b - b. Suppose -5*g + 495 = -b*m, -3*g + 277 = 4*m - 2*m. Is g a multiple of 23?
False
Suppose 2*k + 18 = -16. Let n(f) = -f**3 - 16*f**2 + 17*f + 3. Let j be n(k). Suppose -j*o = -5*o + 32. Is o a multiple of 4?
True
Let j = -13 + 21. Does 3 divide j/(-2) - -7 - 0?
True
Suppose 0 = 4*h - 3*z + 118 + 138, -3*h = -3*z + 195. Let y = 103 + h. Does 7 divide y?
True
Suppose -3*b - 4*w + 4260 = 0, -5*w + 10*w - 4263 = -3*b. Is b a multiple of 24?
True
Does 17 divide -1108*9/(-12) - -2?
True
Suppose -2*a - 204 = 4*p, 2*a - 279 = 5*p - 15. Let x = -17 - p. Let r = 51 - x. Does 8 divide r?
True
Suppose -h - c + 3 = 0, 5*h + 5*c - 25 = 2*c. Let u be (-2)/(-1*4/h). Suppose -4*t - 2*f = 11 - 41, u*t + 4*f = 20. Is t a multiple of 4?
False
Let f be ((-238)/(-21))/((-2)/(-6)). Suppose v - f - 45 = 0. Suppose 4*d - v = -3*y + 5, 5*d - 112 = -2*y. Is d a multiple of 7?
False
Does 77 divide 594 - (6 + -6 + 3)?
False
Let q(a) = -a**3 - 9*a**2 - a - 18. Let d be q(-9). Let r(s) be the first derivative of -s**4/4 - 10*s**3/3 - 11*s**2/2 - 2*s - 1. Is 16 a factor of r(d)?
True
Suppose -b + l - 4*l + 65 = 0, -5*b + 325 = -3*l. Is b a multiple of 4?
False
Let u(o) be the second derivative of 7*o**4/4 + o**3/3 + o**2/2 - o. Let x(z) = z - 9. Let s be x(8). Is 18 a factor of u(s)?
False
Let x(o) = o**3 + 10*o**2 + 8*o - 11. Let w be x(-9). Is 7 a factor of w/(-13) - (-1084)/52?
True
Let z be 3/(325/(-1456) - 4/(-14)). Suppose c - 97 = z. Does 29 divide c?
True
Suppose t + 2*t + 60 = 0. Let w = t - -60. Is 8 a factor of w?
True
Suppose g + 2*g - 3*u - 12 = 0, -g + 7 = -4*u. Let j(n) = -n**2 + 8*n - 4. Is 11 a factor of j(g)?
True
Suppose -12 = -r + h - 2, -2*r + 4*h + 22 = 0. Let d(w) = -8 + 0 - r*w + 1. Does 19 divide d(-5)?
True
Suppose 0 = -3*o - 2*m + 3080 - 431, -o - 4*m + 873 = 0. Is 5 a factor of o?
True
Let j = 20 - 12. Let a(m) = 2*m + 12. Does 14 divide a(j)?
True
Suppose -5*y - 116 = -y. Let p = y + 31. Let m = 18 - p. Is m a multiple of 16?
True
Is ((-12)/15)/(4/(-9610)) a multiple of 13?
False
Suppose 5*f - 2*y - 1240 = 0, -18*y + 21*y = -4*f + 1015. Is 4 a factor of f?
False
Suppose h = f + 3*f + 189, -4*f - 191 = -3*h. Let i = 52 + f. Is 5 a 