
Let u be 3/(-21) - 180/(-35). Suppose -u*r + 164 = -n, -4*r - 5*n + n = -112. Does 8 divide r?
True
Suppose -35*w + 1438 = -2167. Is 16 a factor of w?
False
Let u = -590 + 1304. Does 22 divide u?
False
Let o(d) be the second derivative of 23*d**3/6 + 7*d**2/2 + 8*d. Is 19 a factor of o(4)?
False
Let g be 2*1*5/2. Suppose 3*d = -p + 21, 0 = g*d - d - 3*p - 28. Suppose 0 = -s + d + 23. Is s a multiple of 5?
True
Let i = 1219 + -998. Is i a multiple of 11?
False
Does 5 divide (-673)/(-9) + (11 - (-194)/(-18))?
True
Let a(h) = 2*h**2 + 6*h - 11. Let b(t) = -t**3 + 9*t**2 - 16*t + 7. Let y be b(7). Is a(y) a multiple of 15?
True
Let u(r) = -70*r - 496. Does 21 divide u(-10)?
False
Is 3407877/1683 + (-2)/(-17) a multiple of 81?
True
Let a be -2 - (-12*3)/2. Let w = 16 - a. Suppose -2*q + 0*q + 306 = w. Is q a multiple of 32?
False
Suppose 47 = -4*y - 5*m, m = -3*y + 3*m - 18. Let c = -3 - y. Suppose 0 = -n + 2*p - 2, c*p - 29 = -5*n + 2*p. Is 4 a factor of n?
True
Let w(p) = 2*p**2 + 4*p + 5. Let z = 4 - -3. Suppose 2*r - 3 = z. Is w(r) a multiple of 25?
True
Suppose -25*y + 1601 = -5624. Is 28 a factor of y?
False
Suppose 4*r = 581 + 2319. Is 29 a factor of r?
True
Let v = 22 + -5. Suppose -4*b - 4667 = -v*b. Is 27 a factor of b?
False
Suppose -11*w - 16*w = -6804. Is w a multiple of 6?
True
Let x be 4/(-14) - (-100)/7. Suppose 0 = -2*l + x + 98. Does 18 divide l?
False
Suppose 5*k - 7 = -5*a - 52, k = -5*a - 49. Let t = a + 61. Is 21 a factor of t?
False
Suppose 0 = -13*v - 2408 + 10182. Does 46 divide v?
True
Let v be 4 + (1 + -18)*-7. Let p = v - 113. Does 4 divide p?
False
Let i = 35 + 40. Let l = 133 - i. Is 29 a factor of l?
True
Let z be 1/2*-1*(-787 + -69). Suppose -367 = -5*g + z. Does 32 divide g?
False
Let s be 24/(-20)*10/(-4). Suppose j + 2 = -s. Let y = j + 13. Is y a multiple of 8?
True
Suppose -5*n - 16337 = -22*n. Is 31 a factor of n?
True
Let l(u) = -6*u**3 + 2*u**2 + 2*u + 1. Let w(s) = -2*s - 2*s - 2*s**2 + 2*s + 13*s**3 - 7*s**3. Let x(z) = 4*l(z) + 3*w(z). Does 8 divide x(-2)?
True
Let a(d) = 77*d**2 - d - 19. Is 9 a factor of a(3)?
False
Let c be (-2)/4*-64 - 4. Suppose -11*f + 522 = -c. Does 25 divide f?
True
Suppose -17 = -4*h - j + 27, -5*h + 52 = 2*j. Is 2/2 + 36 - h/12 a multiple of 36?
True
Let u = 188 - 71. Is 39 a factor of u?
True
Is 5 a factor of (3/(-6))/((-1878)/(-1884) - 1)?
False
Suppose -5*z - 2*g = -20313, 6*g - 7*g - 12179 = -3*z. Is z a multiple of 31?
True
Let z = 14 + -7. Let g = 13 - z. Does 14 divide g*(0 + (-14)/(-3))?
True
Suppose -407 = -11*g + 429. Is g a multiple of 19?
True
Suppose -21*t + 17054 - 65 = 0. Does 20 divide t?
False
Suppose 4*q - 3*t + 21 = 2*t, -4*t - 12 = 0. Suppose -2*w - 237 = -3*s, -2*w - 3*s = -4*s + 239. Is (-2 - q/6)*w a multiple of 15?
True
Suppose -5*f + f = 3*k - 197, -3*f + 64 = k. Suppose -l = k - 221. Is l a multiple of 15?
False
Let y(k) be the first derivative of k**6/180 - k**5/24 + k**4/24 + 5*k**3/3 + 8. Let s(f) be the third derivative of y(f). Is s(4) a multiple of 7?
False
Let z(w) = w**3 - 34*w**2 + 81*w - 115. Is z(32) a multiple of 13?
True
Let m(z) = z - 1. Let j(b) = 2*b**2 - 14*b - 18. Let w(g) = j(g) + 4*m(g). Is w(8) a multiple of 5?
False
Does 11 divide ((-804)/(-10))/((-54)/(-180))?
False
Let s = 146 + -61. Suppose -3*w + 8 + 13 = 0. Does 7 divide w/(-14) - s/(-2)?
True
Let k(t) = 6*t**2 - 5*t**2 - 1 + 2 - 2*t**2 - 4*t. Let c be k(-4). Is 12 a factor of -3 + 41 + (c - 3)?
True
Let w(u) = 19*u + 132. Is 63 a factor of w(0)?
False
Suppose 7 = -3*f - 4*j, 2*j + 17 = -3*f + 6*f. Suppose 230 - 44 = f*v. Is v a multiple of 16?
False
Let u = 16 + -18. Let k be 2/(-4)*8/u. Is 21 a factor of k*-1*189/(-6)?
True
Let m(t) = 6*t**2 + 2*t + 4. Let w = -35 + 39. Does 36 divide m(w)?
True
Let s(d) = 6*d**3 + 8*d**2 - 28*d + 176. Is 19 a factor of s(5)?
False
Let f = 367 + -185. Is 24 a factor of f?
False
Is ((-1)/(-4) + 760/(-96))*-3 a multiple of 23?
True
Suppose r - 38 = 4*h, 0*r + 4*r = 3*h + 35. Suppose 0 = y - 3*c + c - 7, 5 = -y + 5*c. Let q = y + h. Is q a multiple of 6?
True
Suppose 0 = y + 2*y - 4*r + 24, -5*y = r + 40. Let o = y - -10. Is -7 + 32 - (-2)/o a multiple of 5?
False
Let n(g) = -g**3 + 6*g**2 + 8*g + 5. Let z be n(7). Suppose -4*b - z = -b. Let k = 40 + b. Is k a multiple of 22?
False
Let j = 21 + -16. Let k = 9 - j. Is 4 a factor of -1 + 15 - k/(-2)?
True
Let q(p) = -14*p - 1. Let v(r) = -14*r. Let t(n) = 6*q(n) - 5*v(n). Let k = -7 - -4. Is t(k) a multiple of 7?
False
Let j be 45*(1 + (-116)/(-12)). Suppose 16*b = b + j. Is 4 a factor of b?
True
Is 9597/56 + (-9)/24 a multiple of 19?
True
Let y(i) = 2*i**3 - i**2 - 13*i + 25. Is 8 a factor of y(5)?
False
Let c(a) = 14*a**2 + a + 1. Does 4 divide c(-3)?
True
Suppose -119 = -d - d + y, -5*d = -y - 290. Let a = d - 34. Is 4 a factor of a?
False
Let u = 13 - 9. Suppose -4*v - 2*a + a = -320, -v + 3*a + 80 = 0. Suppose -y + v = u*y. Does 4 divide y?
True
Suppose 2*f - 586 = -4*q, -3*f + 8 = q - 126. Is q a multiple of 5?
False
Let o(k) = -k**2 + 7*k - 5. Let r be o(5). Let v(x) = 1482*x - 3*x**2 - 1480*x + 4*x**2 + 7. Does 21 divide v(r)?
True
Is 28 a factor of 63/18*(1 - -55)?
True
Let n(t) be the first derivative of 3*t**2/2 - 2*t - 4. Let q be (-64)/(-10) - 12/30. Is 8 a factor of n(q)?
True
Suppose 9*u = 12*u - 9. Let r be 6/(-9) + 34/6. Suppose -w + 2 = 0, r*c + u*w - w - 229 = 0. Is c a multiple of 15?
True
Suppose p + 2*r = 4*r + 144, 2*r = -3*p + 464. Is 8 a factor of p?
True
Suppose 0 = -10*f + 1758 + 3082. Does 30 divide f?
False
Let k(t) be the first derivative of 6*t**2 - 6*t - 10. Is 14 a factor of k(4)?
True
Let p = 182 - 44. Is 6 a factor of p?
True
Suppose 4*n = -n + 715. Suppose 4*f - 862 = 24*a - 22*a, 2*a = -2*f + 428. Let u = f - n. Is u a multiple of 24?
True
Suppose c - 5*c = 100. Let f = -22 - c. Suppose 5*a = 2*a - 2*d + 28, f*a - 5*d = 14. Is a a multiple of 8?
True
Let z(y) = 4*y**2 - 14*y - 20. Let v(p) = 3*p**2 - 9*p - 13. Let m(q) = 7*v(q) - 5*z(q). Let u be m(-7). Let l = u + 7. Does 12 divide l?
False
Let w(v) = -79*v**3 + 2*v + 3*v - 6*v. Is 20 a factor of w(-1)?
True
Suppose 0 = 3*o - 15 - 0. Suppose 204 = o*k + 64. Is k a multiple of 4?
True
Let h = -1929 - -2707. Is h a multiple of 4?
False
Let l = 1548 + -992. Suppose -7*y + 809 = -l. Is 12 a factor of y?
False
Let c(o) = -o**2 + 27*o + 15. Let q be c(22). Let k(f) = -f**2 - 6*f - 3. Let v be k(-4). Suppose -3*d = 5*s - 165, 5*d = v*s - 0*s - q. Does 10 divide s?
True
Suppose -2344 = -5*g + 3*m, 3*g = -11*m + 14*m + 1404. Is 11 a factor of g?
False
Suppose 138 + 172 = 5*y. Suppose 0 = 4*d - 3*u + 12, 5*u - 2*u = d + 12. Suppose d = -5*r + 5*p + y + 43, 4*p - 105 = -5*r. Is 7 a factor of r?
True
Let p = -2 + 22. Does 10 divide p/(-3 - (-115)/35)?
True
Let i = -8 - -8. Suppose 3*r = 12 - i. Suppose j = 3*j - r, m - 60 = 4*j. Does 17 divide m?
True
Let z(o) = -o**2 + 8*o + 1. Let b(n) = -n + 6. Let w be b(7). Let r = w + 7. Is z(r) a multiple of 13?
True
Let p(t) = -146*t - 38. Does 14 divide p(-4)?
True
Let y be -3*(0 + (-2)/3). Let a(m) = m**2 + 2 - 3 - 2*m**y + m + 29*m**3 + 0*m**2. Does 9 divide a(1)?
False
Suppose -21*t + 17*t = -5*m - 799, -2*t - m + 403 = 0. Does 3 divide t?
True
Let r be 7048/36 + (-3)/54*-4. Suppose -44 = 2*q - r. Does 10 divide q?
False
Let v(x) be the third derivative of 0 + 8*x**2 + 11/15*x**5 + 0*x + 1/6*x**3 + 0*x**4. Is 15 a factor of v(-1)?
True
Let a(u) = 3*u - 3. Let r be a(2). Suppose -49 = r*z - 2*z. Let g = 87 + z. Is g a multiple of 19?
True
Let z(k) = -k**2 + 11*k + 8. Let m be z(11). Suppose -162 = -11*j + m*j. Is 18 a factor of j?
True
Suppose -f = 5*f - 2148. Let k = f + -181. Does 26 divide k?
False
Let o(t) = t**2 + t + 12. Let b be (-2 + -1)/((-6)/8). Suppose x - 2 = i - 6, 12 = b*i - 3*x. Is 4 a factor of o(i)?
True
Suppose -v + 5*r + 34 = 0, -3*v + 144 = 5*r - 38. Let n = -96 - -176. Let j = n - v. Is j a multiple of 13?
True
Let s be (2 + 138)/(-1) + 4. Let n = s - -220. Suppose -q = q - n. Is 12 a factor of q?
False
Let q(x) = 3*x**2 - 6*x - 8. Let s = 15 + -12. Suppose 23 = s*g + 2. Is 31 a factor of q(g)?
False
Suppose -3104 = 509*t - 517*t. Is 24 a factor of t?
False
Let m(f) = 4*f - 3. Let o = -6 + 12. Suppose -o*s = -2*s - 12. Does 5 divide m(s)?
False
Let q 