 b be s(-8). Suppose -19 = -b*u + 23. Suppose -230 = i - u*i. Does 23 divide i?
True
Suppose -5*h - 2*h + 679 = 0. Suppose 4*w = 2*w - z + 43, h = 5*w - z. Is 10 a factor of 30/w + 34/4?
True
Let r = 11 - 8. Suppose d = r*n - 21, 4*n + 5*d = 1 + 8. Let m(v) = 14*v - 2. Is m(n) a multiple of 13?
False
Suppose 4*w + 3*n + 274 + 106 = 0, 5*w + 3*n = -472. Is (-2016)/w + 14/161 even?
True
Suppose 3*t = 41*i - 40*i - 2970, 3*i + 3*t = 8862. Is i a multiple of 51?
True
Suppose -4*z + 3*q + 408 = -q, -3*z + 300 = 3*q. Suppose 3161 - z = 17*s. Does 12 divide s?
True
Let m be 2/9 + 9114/54. Let b = m - 137. Is 11 a factor of b?
False
Let i(y) = -2*y**3 + 22*y**2 + 11*y - 57. Does 3 divide i(-9)?
True
Suppose -2*n - 7*v + 5889 = -2*v, v = -3. Does 17 divide n?
False
Let v(a) = 2 + 9*a + 0 - 4 - 8. Let m be v(4). Suppose 0 = -m*l + 21*l + 100. Does 18 divide l?
False
Is 79 a factor of -45*(-11 + -368 - 16)?
True
Suppose -23*b + 510865 + 492790 = -278503. Does 171 divide b?
True
Let o(y) be the third derivative of -5/24*y**4 + 0 - 25*y**2 - 2/3*y**3 + 0*y + 1/60*y**5. Does 10 divide o(-3)?
True
Let v(q) = 57 + 5*q - 40*q + 16*q + 3*q. Does 13 divide v(-7)?
True
Suppose -3*f + 5*f = -2*z - 36, 0 = -3*f - z - 48. Does 5 divide (36/f)/(3/((-225)/6))?
True
Suppose 6078 - 23298 = -4*m. Is m a multiple of 15?
True
Suppose -2*q = 3*n + 140, 3*q = 2*q + 4*n - 59. Suppose -w = 2*g + 106, 5*g - w = -75 - 183. Let r = g - q. Is r a multiple of 15?
True
Let l = 31 - 28. Let b(k) = k**l + 6*k + k - 4*k - 2*k**3 + 18 + 11*k**2. Is 5 a factor of b(11)?
False
Let q = 2275 + -1427. Suppose -5*x + 6*x + q = 5*o, o + x - 166 = 0. Is 6 a factor of o?
False
Does 6 divide 4/(-26) - (-109966815)/5135?
False
Let s(i) = 13*i + 4*i + 27 + 35 - 18 - 4*i. Is s(18) a multiple of 7?
False
Let a be 102/14 - 16/56. Suppose -504 - 98 = a*v. Let k = 141 + v. Is k a multiple of 5?
True
Suppose -5*a + 211976 = -2*o, 6*a + 5*o - 254384 = 9*o. Is 10 a factor of a?
False
Suppose 6*j = j + 50. Suppose -18*i + 19*i = j. Is 33 a factor of 30/9*396/i?
True
Let n = 12422 - 5891. Is n a multiple of 7?
True
Suppose -5*l - 3*k = 298 - 2623, -k - 1843 = -4*l. Does 6 divide l?
True
Is 13 a factor of (-6*(-12)/8)/((-222)/114 + 2)?
False
Let l(p) = -p**3 - 7*p**2 - 2*p + 15. Let a be l(-7). Let z = a - 27. Is 13 a factor of (-13*(z - 1))/(2/(-8))?
True
Suppose 0 = -15*z + 9*z - 5586. Let h = 1171 + z. Does 16 divide h?
True
Let g(h) = 40*h**2 - 9. Is g(-2) a multiple of 5?
False
Let n be ((-30)/(-12))/(10/12). Let y(c) = 100*c - 4. Does 9 divide y(n)?
False
Let v(s) = 9*s + 3. Suppose 0 = -7*x + 57 + 69. Suppose -x = -3*t + t. Does 12 divide v(t)?
True
Suppose -p + 3*y + 5604 = -2413, -3*p = -4*y - 24046. Is p a multiple of 73?
False
Let d(w) = 86*w - 1804. Does 21 divide d(142)?
False
Suppose -2*i - 24 = -3*i + 3*u, -4*i + 120 = -4*u. Let a(h) = -h**3 + 11*h**2 - 14*h + 15. Let b be a(9). Let g = i + b. Is 23 a factor of g?
False
Is (83 - -2912) + 2 + -8 + -1 a multiple of 25?
False
Suppose 82 = 3*d + 2*w + 1053, 0 = w - 5. Let q = d - -519. Is q a multiple of 24?
True
Suppose 0 = 41*m + 29*m - 98140. Is m a multiple of 58?
False
Suppose -3*i + a = 12 + 75, -15 = -5*a. Let f be ((-256)/(-2))/4 + 1. Let n = i + f. Does 2 divide n?
False
Let n = -25 + -19. Let h = -41 - n. Suppose -43 + 259 = h*b. Is b a multiple of 24?
True
Let o be 636/9 + (-16)/24. Let t = -51 + o. Is t a multiple of 12?
False
Suppose -2*z + 48 = -3*u, 0*z = -4*z - 4*u + 76. Let k(n) = 9 - 16 - z + n - 5*n. Is k(-13) a multiple of 6?
True
Let h(l) = 5*l**2 + 10*l + 23. Let y = -33 - -26. Is 11 a factor of h(y)?
True
Let r(q) = -12*q + 70. Let p be r(5). Suppose p*s - 577 - 623 = 0. Is s a multiple of 12?
True
Does 14 divide 4141 + 136 + 7/1?
True
Let a be (-32)/(-12)*3/2. Suppose 5*d = 2*f + 358, -3*d = 6*f - 7*f - 214. Suppose -5*s = a*x - d - 10, -3*x = -3*s - 87. Is x a multiple of 5?
True
Suppose -20*w + 40 = -10*w. Suppose -w*n = -5*d + 2862, -8*d + 2838 = -3*d + 4*n. Is d a multiple of 6?
True
Does 26 divide (-104)/(-3)*((-1165)/(-92) - (-76)/874)?
True
Let b(h) = -1785*h + 11028. Does 27 divide b(4)?
True
Suppose -625847 = -26*q - 244245. Is 19 a factor of q?
False
Suppose 9*y - 54 = 8*y. Suppose 2*u - 2*c + 20 = 56, 0 = 3*u + 3*c - y. Is 9 a factor of u?
True
Let b = 4668 + -1565. Suppose -17*k + 12113 = b. Does 53 divide k?
True
Let c(z) = z**2 - 30*z + 216. Let n be c(12). Let m(u) = -u**3 + 3*u**2 + 136. Is m(n) a multiple of 8?
True
Let s be (1 + 8/(-12))/((-1)/(-12)). Suppose 14 - s = 5*w. Suppose 3*q - 3*z = 408, w*q + 2*q = -z + 564. Is 7 a factor of q?
True
Suppose n + 216 = 5*n. Let z = -4 + n. Suppose -4*y + z = 5*i - 2*y, 0 = -5*y + 25. Is i a multiple of 8?
True
Let u = 40 + -36. Suppose u*f + 2*d - 12 = 2*f, -5*f = -2*d - 23. Suppose -16 = -f*x + x. Is 4 a factor of x?
True
Let r(c) = -8 - 33*c**2 - 4*c + 0 - 2 + 53*c**2. Is 10 a factor of r(-5)?
True
Suppose w + 2687 = 5*h, 4*h - 1342 = 2*w + 804. Suppose 5*l + 98 = h. Is l a multiple of 44?
True
Let j = 1974 + -1794. Does 3 divide j?
True
Let c = -1042 + 733. Let g = c - -831. Is 18 a factor of g?
True
Let y be (-2)/2 + 146/(-1 + 2). Let l be (-5)/(-5) + -1 - y. Let o = -50 - l. Is o a multiple of 19?
True
Let n = 38 + -278. Is (3 + n/18)/((-1)/3) a multiple of 2?
False
Let w be -4*(-7)/4 + 528. Let u = w - 194. Is u a multiple of 31?
True
Suppose -91*o + 77*o = 5110. Does 27 divide (1116/155)/((-2)/o)?
False
Suppose -2402 = -4*h - 50. Suppose -d + 3 = -0, 0 = -5*m + 4*d + h. Is 24 a factor of m?
True
Suppose 4*o + 60 = -5*c - 92, -o - 13 = -5*c. Let v be -1 + 0 - o/(-3). Does 8 divide 1 - (-3)/(v/(-392)) - -2?
False
Let i(w) be the third derivative of 81*w**6/20 + w**5/12 - w**4/4 + w**3/6 - 19*w**2 - w. Does 54 divide i(1)?
True
Let w be (-19)/(475/(-90))*140/6. Suppose -261 = -3*z - w. Is z a multiple of 8?
False
Let u be (3 - 3) + 8 + -13. Is 11 a factor of ((-18)/u)/((-16)/(-2040))?
False
Suppose x = -4*x + 30. Let b(u) = 16 + 26*u - 35*u + 37*u. Is 34 a factor of b(x)?
False
Let f = -27 - -26. Let u be f*2 - (0 + -11). Suppose -6*s + u*s = 171. Is 20 a factor of s?
False
Let z(m) = -m**2 + 2*m - 9. Let y be z(5). Let r = 27 + y. Suppose 0*q = r*q - 81. Does 10 divide q?
False
Suppose 2*q + 4*y = 5*q + 2161, 5*q + 2*y + 3619 = 0. Let h = -669 - q. Is h a multiple of 9?
True
Let q = 325 + -321. Does 18 divide 1/(7/(-364))*(-6)/q?
False
Suppose -t = 3*c + 5959, c + 0*c + 5*t + 1991 = 0. Let r = 2993 + c. Does 19 divide r?
True
Suppose -3*b - 15652 = -5*w, -4*w + b + 5719 = -6811. Is 9 a factor of w?
False
Let n = 38960 + -16570. Is n a multiple of 16?
False
Let h(n) = -1079*n**3 - 2*n**2 + 2*n + 3. Let s be h(-1). Is (-6)/(18/9)*s/(-6) a multiple of 16?
False
Let z = 12348 + -8763. Is z a multiple of 19?
False
Let h(o) = -2*o**3 + 4*o**2 + 10*o - 3. Let k be h(-4). Let c = k + 51. Does 10 divide c?
True
Let j = -440 - -2780. Is j a multiple of 12?
True
Suppose 3*m - 87 = -9. Suppose -4*a - 10 + m = 0. Suppose a*k = 7*k - 108. Is 10 a factor of k?
False
Let a = 474 - 470. Suppose -a*j - 13*j + 646 = 0. Is j a multiple of 6?
False
Let x(k) = k**3 + 12*k**2 + 14*k + 9. Let y(z) = -z**3 + 5*z**2 - 7*z - 4. Let l = 44 - 41. Let t be y(l). Does 24 divide x(t)?
False
Let k(c) = c**3 + 3*c**2 - 30*c - 11. Let b be k(-7). Suppose 0 = -4*a - 2*s + 272, -b*a - 78 = -4*a - 3*s. Is a a multiple of 11?
True
Suppose 0 = -3*t + 5*h + 1311, -3*h = -4*t - h + 1762. Let d be 2 + -8 + (20 + -7)*-22. Let z = d + t. Is 25 a factor of z?
True
Let h be 1384/9 + (8 - (-70)/(-9)). Suppose 5*a - h - 83 = -3*d, -a + 49 = d. Is a a multiple of 9?
True
Let m(j) = j**2 + 28*j - 4. Let u be m(-33). Let o = u - 116. Is o a multiple of 15?
True
Suppose -3*y + 47*j = 50*j - 3075, -j - 1029 = -y. Is y a multiple of 21?
False
Suppose 228 = -4*a + 472. Suppose 2*i - 1 = 3. Suppose w + 2*s - 3*s - a = 0, -i*w - 4*s + 116 = 0. Is w a multiple of 10?
True
Let i = -631 + 1580. Is i a multiple of 19?
False
Let y be 4/(-16) - (-723)/12. Suppose -y = -172*v + 166*v. Does 8 divide v?
False
Suppose -5*h + 58 = -17. Suppose h*x + 1176 = 22*x. Suppose 2*o + x = 4*o. Does 16 divide o?
False
Is 111250/150 - ((-1)/3 - 1) a multiple of 69?
False
Let u = 156 - 162. Is 7 a factor of (-6)/(-9)*-21*(0 + u)?
True