pose 0 = -5*b + t + 2203, -b = b + t - 884. Suppose -5*o + 3*n = -b, 4*o + 2*n - 127 = 239. Is o a multiple of 10?
True
Suppose -g + 3 = 0, 8*g = -4*q + 3*g + 2691. Is 24 a factor of q?
False
Is 34 a factor of ((-2)/(-1) - -1)*11374/33?
False
Is 9 a factor of 1147/2 + 585/(-234)?
False
Suppose -5*y + 2*r + 5168 = 0, -2*y + 2*r = -5*y + 3104. Does 45 divide y?
False
Suppose -2*s = -4*v - 342, -73 = -5*s - 5*v + 767. Is 6 a factor of s?
False
Does 11 divide (-7064)/(-11) - (-16)/(-88)?
False
Suppose 0*d - 4 = -d. Let n = 29 + d. Does 12 divide n?
False
Let y(b) = b**2 + 2*b - 5*b - 5*b - 3. Let i be y(11). Suppose 2*f - i = -8. Is 10 a factor of f?
False
Let d(p) = 26*p - 18. Let k(a) = 25*a - 19. Let x(o) = -4*d(o) + 3*k(o). Is 16 a factor of x(-5)?
True
Let n = -233 + 325. Is n a multiple of 14?
False
Let m(f) = -134*f + 67. Is 67 a factor of m(-18)?
True
Let a(b) = 28*b + 166. Is a(23) a multiple of 28?
False
Let s = -13 - -17. Suppose 0*k + 28 = s*k. Suppose 0 = 2*i - k*i + 300. Is i a multiple of 16?
False
Let g(a) = 6*a - 10. Suppose -2*c - 5*p + 25 = -c, 11 = 2*c - 3*p. Is g(c) a multiple of 50?
True
Suppose 2*d - 1012 = -3*r, 32*r + 4*d = 36*r - 1336. Does 42 divide r?
True
Let q = -156 + 207. Does 17 divide q?
True
Suppose -15747 = -36*f + 669. Is 38 a factor of f?
True
Suppose 16 = 6*q - 7*q. Let s(o) = -3*o - 30. Is 18 a factor of s(q)?
True
Let v = 19 - -153. Let i = 356 - v. Does 23 divide i?
True
Let g = -16 - -21. Suppose -2*c = 8, 4*y + 13 = g*c + 113. Suppose -27 = 2*z - j - 67, 5*j - y = 0. Is 8 a factor of z?
False
Let p(u) = 5*u**3 - 4*u**2 - 15*u + 17. Is 19 a factor of p(5)?
False
Suppose 440 = 4*k - 4*a, -225 = -2*k + 2*a + a. Suppose b - k = -0*b. Is b a multiple of 21?
True
Suppose -7*i - 70 = -15288. Is 146 a factor of i?
False
Suppose 24 = 2*z + 20. Is 24 a factor of 2 + 107 + z + -1?
False
Suppose -3*l + r = -223, -3*l = r - 162 - 59. Let t = 70 + l. Suppose -2*x - x + t = 0. Does 12 divide x?
True
Let y = -28 - -33. Suppose 43 - 503 = -y*k. Suppose -z = z - k. Is z a multiple of 22?
False
Suppose -3*u + 19 = 2*o, -6 = 4*u - 3*o - 20. Suppose -9*q + 50 - 14 = 0. Suppose -u*z + 206 = -q. Is z a multiple of 21?
True
Let j(c) be the second derivative of c**4/3 + c**2/2 - 9*c. Is 13 a factor of j(-4)?
True
Let g = -31 - -34. Suppose 4*r = -4*u + 784, 3*u - 563 = 5*r - g*r. Is u a multiple of 15?
False
Suppose -4 = 2*l, 2*l - 5*l + 5 = -i. Let m = -7 - i. Suppose 4*n + 5*o - 21 = 2*n, 0 = -n - m*o + 15. Does 2 divide n?
False
Let m = 33 + -14. Is 13 a factor of 6 + 0 + (-15)/5 + m?
False
Suppose -4985 = -7*f + 6*f - 4*k, f - 2*k = 4997. Does 19 divide f?
False
Let w = -15 + 25. Suppose 9*u + 59 = w*u. Does 18 divide u?
False
Let k be (-1)/4 - 27/(-12). Suppose -m = 2*f - 9, -5*f + 8 + 15 = k*m. Suppose 0 = -f*y + 3*u + 73, u + 17 = 4*y - 40. Is 7 a factor of y?
True
Suppose -5*w = w + 2328. Does 4 divide w/(-10) + 1/5?
False
Let t(c) = -c**2 + 5*c + 3. Let p be t(-7). Let n be 273/2 - (-1)/2. Let j = n + p. Does 14 divide j?
True
Let q be 2/(-8) + (-6125)/28. Let d = -147 - q. Does 26 divide d?
False
Suppose 5*s - 4*r = 2426, 3*s - 1453 = 3*r + 2*r. Is s a multiple of 54?
True
Suppose 19*z + 302 = 74. Let j be 2/10 - (-28)/10. Is 8 a factor of (-52)/z*j*3?
False
Let o(h) be the third derivative of -h**7/1008 - h**5/10 + 2*h**2. Let u(v) be the third derivative of o(v). Is u(-1) a multiple of 4?
False
Let t be (3/2)/((-4)/(-824)). Let g = t + -172. Let h = g - 73. Does 16 divide h?
True
Suppose 6 = 7*j + 34. Is (j/26 - 2472/(-13)) + -3 a multiple of 11?
True
Suppose 0 = -s + 2*s - 2. Let n(h) = 8*h + 12*h - 6*h**s - 22*h + 14*h**2 - 3. Does 13 divide n(-2)?
False
Suppose 3*p + 0*f = -2*f + 4, -11 = -3*p + 5*f. Let g be 4/16 - (-30)/8. Suppose 2*a = p*s - 144, -2*s - g*a = -7*a - 139. Is 10 a factor of s?
False
Suppose -z - 4*p + 507 = 0, 9*z - 4*z = -5*p + 2505. Is z a multiple of 12?
False
Let q(o) = -109*o + 129. Is q(-11) a multiple of 16?
True
Let v(d) = -92*d - 5. Let o be v(-5). Let x be 1/(-2) + o/10. Suppose 0*k = -5*k + x. Is k a multiple of 3?
True
Let w(t) = -t**3 - t + 184 + 6*t**3 + 172 - 2*t**3. Does 47 divide w(0)?
False
Let w(h) be the third derivative of h**6/60 + 5*h**4/12 - 2*h**3/3 + 3*h**2. Let b(q) be the first derivative of w(q). Does 16 divide b(-3)?
True
Let w(s) = 134*s + 56. Is w(6) a multiple of 20?
True
Let d be (-4 - 2)/(4/(-6)). Suppose -d*t - 23 = -203. Is 10 a factor of t?
True
Let v = 496 + -375. Is v a multiple of 17?
False
Suppose 0 = 5*x + 15, -218 = d - 3*d - 2*x. Is 8 a factor of d?
True
Suppose -30 = -4*j - j. Let t be (j/(-8))/((-10)/1560). Let p = -41 + t. Is 19 a factor of p?
True
Suppose 35 = 6*y - 31. Is y a multiple of 9?
False
Let o = -3 - 10. Let n = o - -9. Does 8 divide (-32)/((-12)/n - 5)?
True
Suppose -5944 = -4*c - 4*y, 6*c - c - 7414 = 3*y. Is c a multiple of 53?
True
Let r(u) = 4*u**2 - 37*u - 20. Does 24 divide r(18)?
False
Suppose -9897 - 16298 = -13*s. Is s a multiple of 29?
False
Let j = -1 - -4. Let f = 4 - j. Is 390/36 - f/(-6) a multiple of 6?
False
Suppose -12 = -2*v - v. Suppose 0 = -v*x + 148 + 100. Is x a multiple of 14?
False
Is 17 a factor of 2/8*(467 - (-25 + 16))?
True
Let h = 304 - -669. Does 12 divide h?
False
Suppose 754 + 819 = 11*i. Suppose -6*x = -373 - i. Is 11 a factor of x?
False
Let o = 245 - 146. Let j = 56 + o. Is 17 a factor of j?
False
Suppose -11*i + 18*i - 840 = 0. Suppose -h - i = -6*h. Does 8 divide h?
True
Suppose -x + 3*k = 9, 0*k + 3*k = -5*x - 27. Let z(m) = -m - 1. Let o be z(x). Suppose 63 = o*q - w, 4*q = -5*w - 3 + 36. Is q a multiple of 4?
True
Let m(t) = -t**3 + 11*t**2 + 13*t + 15. Suppose -c + 4*c - 36 = 0. Does 20 divide m(c)?
False
Let p be ((-6)/(-7))/((-6)/(-42)). Let z be (6 - p) + 35*19. Suppose -z = -3*x - 4*x. Is x a multiple of 14?
False
Suppose 3*s = -v + 6, 5*s = -3*v - 1 + 11. Suppose -2*r + s = -6. Is (r/(-3))/(2/(-33)) a multiple of 20?
False
Let y be -4 - -775 - 0 - 3. Suppose -y = 6*f + 126. Let t = f + 263. Is 38 a factor of t?
True
Let f = 3 - 4. Let x be 8 + (1 - 2) + f. Suppose -i + o + x + 18 = 0, 2*o = -3*i + 67. Is 6 a factor of i?
False
Suppose 4*v - 6*v = 6. Let d be -1 + (56 - v)*2. Suppose -w - 3 = 0, 2*w = 5*s - d + 36. Is s a multiple of 3?
True
Suppose 5*l = -3*p + 75, 5*p + 2*l - 101 = 43. Let q be (-10)/p*(2 + -5). Is -11 - -9 - -5*q a multiple of 2?
False
Suppose 5*a - 1 = 2*m, 5*m - 2*a = -6 - 7. Let x be (m/9)/(4/(-180)). Is 19 a factor of ((-760)/x)/(6/(-9))?
True
Let a be 2/(-3)*(-24)/8. Let s be (7/14)/(a/48). Suppose -4*i = n - 16, 4*i - 4 - s = 4*n. Is 3 a factor of i?
False
Does 6 divide (3 - 2301/(-12)) + 1/4?
False
Suppose -60*s - 38*s + 298802 = 0. Is s a multiple of 104?
False
Let z = -834 + 2920. Is 27 a factor of z?
False
Let d(a) = -a**3 - 8*a**2 - 5*a + 7. Let m be d(-7). Let z = m - -6. Does 13 divide z/(-6) - 847/(-66)?
True
Does 51 divide (7/(42/(-48)))/(1/(-76))?
False
Let n(d) = -3*d**3 - d**2 - 3*d + 2. Let a be 2/6 - 60/(-36). Let c be n(a). Let o = c + 65. Is 12 a factor of o?
False
Let w be 4/(-16) + (-21)/(-4). Suppose 0*d + 2*d = 3*b - 26, -42 = w*d + 4*b. Is 9 a factor of (-2856)/(-57) + d/95?
False
Suppose 7*c = 3*c + 16. Suppose 4*p + c = -4. Is 10 a factor of ((-64)/10)/(p/10)?
False
Let s be (-2 + 3 + 0)/(1/9). Suppose s*w = 2*w + 630. Does 22 divide w?
False
Let l(k) = -5*k**2 - 7*k - 6. Let b be l(-8). Let t = b + 397. Suppose -5*n + 44 = 2*r, 5*r - 2*n - t = -6*n. Is 9 a factor of r?
True
Let b(q) = -17*q**2 - 8*q - 2. Let x(g) = 6*g**2 + 3*g + 1. Let z(p) = 4*b(p) + 11*x(p). Let f be z(3). Is 23 a factor of (f/(-18))/(2/129)?
False
Let g(j) be the first derivative of j**4/4 + 8*j**3/3 + 7*j**2/2 - 7*j + 11. Is 23 a factor of g(-6)?
True
Suppose 29*w - 6 = 26*w. Does 2 divide 12 - 2*w/(-4)?
False
Let k(n) = 1 + 3*n - 5*n + 14. Is k(-6) a multiple of 8?
False
Let w(s) = -s**2 - 9*s - 2. Let f = -26 + 18. Let d be w(f). Let i(r) = 8*r - 9. Does 13 divide i(d)?
True
Suppose -38 = 5*a - 6*a. Is (36/8 + -3)*a a multiple of 19?
True
Does 81 divide (26466/(-165))/((-2)/10)?
False
Suppose -2*s + 12 = 6. Suppose -s*v = -5*n - 5 + 1, -4*v + 4*n + 8 = 0. Is 2 a factor of -2 - (-10 + v + -2)?
False
Let q = -127 - -655. Is q a multiple of 11?
True
Suppose 69*k - 1507