t w be (-1 - (-1)/3)*-204. Suppose -f - 5 + 4 = 0, -w = -3*i - 2*f. Suppose -i = 4*z - 6*z. Is 8 a factor of z?
False
Let t(m) = -1287*m**3 - m**2 + m. Suppose -4*v + 24 = -0*w + 4*w, -2*w + 2*v = 8. Let i be t(w). Is 10 a factor of 3/(-2) + i/(-18)?
True
Let v(m) = 38*m + 14. Let i(n) = -n**2 + 152*n + 57. Let u(w) = 2*i(w) - 9*v(w). Is 12 a factor of u(-18)?
True
Let w(r) = 2*r - 17. Let t be w(3). Suppose 0 = 4*l - 0*l - 160. Let q = l + t. Is 29 a factor of q?
True
Let k = -509 - -763. Let w = k - 32. Is 36 a factor of w?
False
Suppose 5*c + 5*b - 4090 = 0, 5*c + 18*b - 4098 = 17*b. Is c a multiple of 5?
True
Let f(o) = o**2 - 4*o + 3. Let p be f(5). Suppose -125 = 3*t - p*t. Does 7 divide (-30)/t*(-130)/4?
False
Suppose -8*j + 9 = -5*j. Suppose 0 = -2*m + j*m - 26. Does 13 divide m?
True
Let o = 1 - -1. Let y be (-45)/18*((-9)/5 - -1). Suppose 345 = y*h + 3*h + a, -156 = -o*h - 4*a. Is 18 a factor of h?
False
Suppose -f = 2*l - 1004, -f + 6*l = l - 1018. Is f a multiple of 56?
True
Let r(h) = h**3 + 13*h**2 - 47*h + 22. Let o be r(-16). Suppose 2*i + 36 = b, 4*b - 5*i + o*i - 108 = 0. Is 28 a factor of b?
True
Let m(u) = -u**3 - 2*u**2 + 3*u + 4. Let z = -11 + 15. Suppose -15 = 5*l - 5*g, -z*l - 8 = 2*g + 4. Is m(l) even?
True
Let q(d) be the third derivative of d**6/120 + 11*d**5/60 + d**4/24 + 3*d**3/2 + d**2 - 30. Let t(y) = 3*y + 2. Let m be t(-4). Is q(m) a multiple of 23?
False
Let x = -20 + 18. Let v = x - -6. Is 4 a factor of v?
True
Suppose 68*g + 2907 = 69*g - 3*c, -3*g - 3*c + 8733 = 0. Is g a multiple of 15?
True
Let j be (140/(-30))/((-2)/(-3)). Let p(w) be the second derivative of -w**4/12 - 7*w**3/6 + 5*w**2 + w. Is 2 a factor of p(j)?
True
Does 99 divide (-1)/(-3) - (-442700)/300?
False
Let v(o) = -10*o - 8*o + 23*o**2 - 19*o**3 - 36 + 18*o**3. Does 11 divide v(22)?
False
Let a(i) = -14*i + 112. Is a(-7) a multiple of 15?
True
Let d(v) = v**2 + 6*v - 68. Let x be d(0). Let h = 128 + x. Is 4 a factor of h?
True
Let n = 620 + -486. Is n a multiple of 15?
False
Let r(q) = q**3 + 8*q**2 - 9*q + 3. Let b be r(-9). Let s(f) = -f**3 + 7*f**2 - 3*f - 3. Does 4 divide s(b)?
True
Let x = 13 + -9. Let s = 6 - x. Suppose 4*p = v - 0 - 44, -v - s*p + 14 = 0. Does 10 divide v?
False
Let t = 280 + 21. Is t a multiple of 7?
True
Let l = -144 + 260. Suppose 5*y - 139 = l. Is 8 a factor of (-1 - -4)*527/y?
False
Suppose -3*y + 5 = 14, 0 = -2*i - 5*y - 35. Let z(l) = l**2 + 4*l - 16. Is 11 a factor of z(i)?
True
Let f(c) = -c**2 - c + 3. Let b(y) = -y + 5. Let w be b(5). Let o be f(w). Does 6 divide -2 + o + -3 + 20?
True
Let m(b) = 2*b**3 - 107*b**2 - 49*b - 7. Does 43 divide m(54)?
False
Let b(o) = -o**3 + o + 5*o**3 - 6 - 3*o**3 + 7*o**2 + 0*o. Is 24 a factor of b(-5)?
False
Suppose 3*l = -4*r + 10, 5*r - 5 - 4 = -2*l. Suppose l*u + 122 = 3*c, 4*u = -3*c - u + 157. Is c a multiple of 11?
True
Let q(d) = -d - 6. Let g be q(-6). Suppose g = -5*z - r - 44, 5*z + 27 = r - 9. Let f(t) = t**3 + 8*t**2 + 4. Does 4 divide f(z)?
True
Suppose -2*z + 10 = 3*z. Let f be 0/(z - 2 - 2). Suppose -4*m + f*d + 342 = 2*d, 0 = 2*m - 2*d - 162. Is 28 a factor of m?
True
Suppose -5*n - 64 = -24. Let x = 67 + n. Suppose -2*o = -x + 7. Is 13 a factor of o?
True
Suppose -17 - 21 = -2*s. Suppose 0 = -z - 0 + s. Suppose -4*i - z = -211. Does 12 divide i?
True
Suppose -5*v = 3*z - 19, -3*z - 12 = -2*v + 4. Let i(s) = 2*s**2 + 4*s + 5. Let c be i(z). Suppose -10*k + c*k + 435 = 0. Does 29 divide k?
True
Suppose 8310 = -0*y + 5*y - 6*d, -d - 5 = 0. Is 46 a factor of y?
True
Suppose 0 = -6*v + 2*v - 16, 0 = 4*w + v - 284. Does 8 divide w?
True
Suppose 107*x = 108*x - 50. Is 7 a factor of x?
False
Suppose 6*s - 6076 + 988 = 0. Is 8 a factor of s?
True
Suppose -314 - 246 = -4*b. Let l = b - 76. Does 8 divide l?
True
Let f(i) = 31*i**2 - i + 2. Let z be f(2). Suppose 4*y = 496 + z. Let g = y - 110. Is 15 a factor of g?
True
Let b = 92 - 64. Let a be (-3)/2*b/(-21). Suppose 4*n + 3*o = 242, a*n + 5*o - 94 = 34. Is 19 a factor of n?
False
Let x(o) = -o**2 + 13*o - 14. Suppose 2*l = -2*l + 408. Let c be l/10 + (-10)/50. Is x(c) a multiple of 16?
True
Let n be 12/18*(-6)/(-2). Let m be n*19 - (-4 - -5). Let t = m + -19. Does 9 divide t?
True
Suppose 4*r + 24 = m, 3*m - 3*r = 2*r + 93. Suppose -2*u - 3*t + m = 0, -u = t + 3*t - 13. Is 4 a factor of u?
False
Let m(d) = -d**2 - 11*d - 5. Let l be m(-10). Suppose -2*a - 3*a + 4*k = 18, -39 = 4*a + l*k. Let q(u) = -5*u - 8. Is 11 a factor of q(a)?
True
Let d be -54 + (5 - -4 - 10). Suppose -m - 20 = -5*t + 6*t, 4*m - 4*t = -72. Let c = m - d. Is 6 a factor of c?
True
Suppose 56*y - 21*y - 35595 = 0. Is 86 a factor of y?
False
Suppose 0 = -5*s + 325 + 490. Is s a multiple of 4?
False
Suppose -4*y + 4*g + 5346 = y, 5*g + 1086 = y. Does 11 divide y?
False
Suppose 13751 + 2825 = 16*m. Is m a multiple of 17?
False
Suppose -2*v + n = -1516, -v + 443 + 314 = -n. Is v a multiple of 24?
False
Suppose -2*p - 3*p - 24 = -3*n, 0 = 2*p + 6. Suppose 3*s - 778 = k, 0 = -7*s + n*s + 4*k + 1024. Is 44 a factor of s?
False
Let h(k) = 17*k**2 + 19*k - 100. Is h(8) a multiple of 10?
True
Suppose k + 3*g - 24 = 0, 38 = 2*k - 3*g - 1. Is k a multiple of 6?
False
Let k = -484 - -1014. Is 5 a factor of k?
True
Let i(c) = 16*c + 3. Let u(z) = -8*z - 2. Let m(x) = 3*i(x) + 7*u(x). Let t be m(-7). Suppose 0 = 3*r - t - 0. Is 17 a factor of r?
True
Suppose 3*u - 2*o - 219 = 22, -5*u - 4*o + 431 = 0. Suppose 3*t + 12 = 0, t + 225 = 3*z + u. Does 23 divide z?
True
Does 7 divide ((-39)/26)/((-12)/18872)?
True
Let g(c) be the second derivative of 2/3*c**3 + 0 + 4*c**2 - 4*c. Is 8 a factor of g(4)?
True
Suppose 6*r + r - 28 = 0. Does 25 divide ((-150)/r)/(27/(-36))?
True
Does 8 divide (2595/10)/3*6?
False
Let y = -73 - -77. Is 3*(-166)/(-8)*y a multiple of 33?
False
Suppose 5*h + 2740 = 5*b, 51 = b + 2*h - 491. Is b a multiple of 78?
True
Suppose 10920 = -21*l + 126*l. Is l a multiple of 10?
False
Let a be 0 + -3 + (12 - 4). Let m = 411 - 230. Suppose 3*h + h + a*v - m = 0, -2*h + 84 = -4*v. Is 11 a factor of h?
True
Suppose 0 = 26*p - 0*p - 1144. Suppose 4*l + 60 = -36. Let y = l + p. Is 10 a factor of y?
True
Suppose 5*p = 4*p + 4. Suppose 3*i - p*i = -8. Is i a multiple of 8?
True
Let n(o) = o + 21. Suppose 2*d = -4, -j + 0*j + 13 = -2*d. Does 10 divide n(j)?
True
Let f(a) = a + 1. Let x(i) be the first derivative of i**2/2 + 2. Let m(q) = 3*f(q) + 3*x(q). Is 9 a factor of m(6)?
False
Let f(y) = 19*y**2 - 28*y - 177. Is f(-5) a multiple of 4?
False
Let g(f) = 309*f + 108. Is 16 a factor of g(4)?
True
Let d = 0 + 0. Suppose 0 = -4*s - d*c + c + 171, -5*c = -5*s + 225. Is 7 a factor of s?
True
Is ((-8)/8)/((-466)/(-156) - 3) a multiple of 26?
True
Suppose -2*r - 3*l = -75, 0*l = -4*r + 4*l + 140. Let c = -24 + r. Does 12 divide c?
True
Let j = 25 + -19. Suppose 5*b - 2 = -k, 4*b + j = b. Does 4 divide k?
True
Suppose -5*l + 1859 = -181. Suppose 0 = k + 2*s - 60, 4*k - l = 5*s - 168. Is 19 a factor of k?
False
Let a(r) = -r**2 - 9*r + 5. Let y be a(-9). Suppose 3*t - 139 = 116. Suppose -4*d - d + 5*u = -t, -y*d - 2*u + 50 = 0. Does 12 divide d?
True
Suppose -2*y - 102 = -p + 26, -370 = -3*p - y. Is p even?
True
Let t(f) = -340*f + 68. Does 68 divide t(-4)?
True
Let a(b) = -b - 6. Let t be a(-8). Suppose 29 = -t*f - 23. Let z = 2 - f. Does 8 divide z?
False
Suppose -5*l + 6 = -4*m + m, m + 4*l + 2 = 0. Is (-84)/(4 + m)*-2 a multiple of 12?
True
Suppose 3*c + 80 = 2*u, 2*c + 0*c + 8 = 0. Suppose 5*w + j - 5*j = -80, -4*j + 48 = -3*w. Let i = w + u. Is 10 a factor of i?
False
Suppose -2*k - 5*k - 7 = 0. Does 10 divide (k + 2)/(11/671)?
False
Let w = 751 - -970. Suppose 7*m + 265 = w. Let q = m - 116. Does 13 divide q?
False
Let i(o) = o - 15. Suppose 6 = -14*h + 13*h. Let p be i(h). Is ((-96)/(-28))/((-6)/p) a multiple of 3?
True
Let w(c) = -69*c - 326. Is 8 a factor of w(-6)?
True
Let h = 41 - -32. Let u = -5 + h. Is u a multiple of 17?
True
Let t(k) = -3*k + 475. Does 46 divide t(10)?
False
Let l = 1386 + -1045. Is l a multiple of 14?
False
Suppose -2*z - 2508 = -35*z. Is z a multiple of 3?
False
Let p(a) = -a. Let m(h) = -49*h + 7. Let v(c) = m(c) - 35*p(c). Does 21 divide v(-7)?
True
Does 26 divide 76 - -272 - 1*-3?
False
Suppose -7*q - 32*q + 10335 = 0. I