= -4*n - n. Suppose -3*s + 4*z + 12 = -s, 4*s + 12 = -4*z. Suppose 4*m - 584 = -3*i - s*i, n = -i. Is 18 a factor of m?
False
Let f be (-58)/(-6) - (-25)/(-15). Suppose f*b + 310 = 10*b. Does 6 divide b?
False
Let u = 8625 + 14896. Is 18 a factor of u?
False
Let v(p) be the third derivative of 5*p**4/24 + 7*p**3 - 5*p**2. Let f be v(-8). Suppose -5*m + 2*w = -f*w - 558, m + 4*w - 102 = 0. Does 22 divide m?
True
Let c = 18488 - 10226. Is c/8 - 318/424 a multiple of 19?
False
Suppose 11016 + 38930 + 105740 = 34*n. Does 35 divide n?
False
Let i be 2*(-9)/(-24)*(5 + -1). Let y be 2532/9*(i/3 - -2). Suppose -y = -4*z - 5*q, -5*z + 0*z + 3*q = -1092. Does 20 divide z?
False
Suppose 0 = -18*m - 5734 + 79264. Does 43 divide m?
True
Suppose -4 = 3*k - 22. Suppose k*z + 160 = 8*z. Suppose 0 = 4*h - 400 + z. Is h a multiple of 16?
True
Suppose -5*m - 5*f + 2010 = 0, -11*m - f = -8*m - 1200. Let u = m + 131. Is u a multiple of 10?
True
Suppose -2*u - 2*q - 4428 = -6*q, 4*u + 8828 = q. Let i be (-8)/(-20) - u/10. Suppose -5*d - i = -601. Does 26 divide d?
False
Suppose -26*o - 15 = -29*o, 4*j - 2*o = 9590. Is 75 a factor of j?
True
Let y be (-90)/(-9)*3/(30/4). Suppose -y*h + 3 + 29 = 0. Let c = h + 6. Is 12 a factor of c?
False
Suppose 196*n - 2711054 = -106*n. Is n a multiple of 191?
True
Suppose 0 = -9*s + 280 + 701. Let l = s - -39. Does 8 divide l?
False
Let m(u) = u**3 - 3*u**2 - 73*u - 7. Let f be m(10). Let k(v) = -45*v - 36. Is k(f) a multiple of 63?
False
Suppose 52*t - 295926 = -46*t - 31*t. Does 9 divide t?
False
Let x = 53 + -48. Suppose 7*q = -26 + x. Is 5 a factor of 2/((6/(-5))/q)?
True
Suppose s - 4*j + 8 = 0, 0*s = 4*s - 3*j - 7. Suppose -5*a - s*d = 241, 4*a + 5*d = -105 - 86. Let p = a - -90. Does 5 divide p?
False
Is (-504)/40 + 13 + -1112*(-56)/20 a multiple of 173?
True
Let f(r) = 26*r**2 + 22*r + 2184. Does 12 divide f(-38)?
True
Suppose 0 = -3*i + 5*z + 73725, i + 28*z - 24547 = 25*z. Is i a multiple of 17?
True
Let y(z) = -z**3 - 6*z**2 + z - 4. Let u be y(-9). Let m be 6/(-18) + u/(-3). Let x = m + 136. Does 38 divide x?
False
Suppose p = -2*p + 15. Let z be (-71)/284 + 401/4. Suppose 0*x - 4*x + 379 = -p*m, -x - 4*m + z = 0. Is x a multiple of 16?
True
Let l(t) = -62*t + 114. Let a be l(-9). Suppose 0 = 3*f + 3*d - 4*d - a, 5*d = 4*f - 885. Does 15 divide f?
True
Suppose q = 5*q - 28. Let c(m) = 18*m**2 + 14*m - 126. Does 14 divide c(q)?
True
Suppose l - 3*x = -l + 6, -2*l - 2*x = -16. Suppose l*b = 8 + 16. Suppose 48 = q + 2*g, 3*q - b*g - 144 = g. Does 12 divide q?
True
Let d be -3*120/(-27)*(-6)/(-4). Suppose -4*y = 4*h - d, -h + y - 13 = -6*h. Suppose -5*w - o = h*o - 362, -5*o = -2*w + 120. Does 14 divide w?
True
Let f(w) = 448*w**3 + 24*w**2 - 71*w - 11. Does 69 divide f(4)?
False
Suppose -60*v + 3*r = -56*v - 12435, 2*r = -5*v + 15561. Is 170 a factor of v?
False
Let m(z) be the third derivative of z**5/60 - z**4/24 + 11*z**3/6 + 9*z**2. Let d be m(8). Suppose 8*k = 9*k - d. Is k a multiple of 12?
False
Suppose 2*f + 19310 = 7*a, 3*a - 2*a - 2*f - 2750 = 0. Does 15 divide a?
True
Let p be (-78)/15*(5 + (-13100)/8). Suppose 4*q - p = -5*u, -5*q = u - 4*q - 1697. Is u a multiple of 20?
False
Let a = -22392 + 39813. Does 6 divide a?
False
Suppose b - 4*g + 34 = -0*g, -5*b - g - 86 = 0. Let h(t) = t**3 + 16*t**2 - 66*t + 23. Is h(b) a multiple of 23?
False
Let b(o) be the third derivative of -o**6/40 + o**5/15 - o**4/6 + o**3/2 - 2*o**2. Let r be b(3). Let k = -32 - r. Is k a multiple of 22?
True
Suppose -16 = -4*v, -4*c + 4*v - 464 = -0*c. Does 7 divide (-460)/(-3) + c/(-168)?
True
Let n be (-1)/((-2)/(-2)) + 13/13. Suppose n = 3*j - 765 + 462. Is j a multiple of 7?
False
Let l(i) = 77*i - 265. Is l(17) a multiple of 12?
True
Suppose 4*j - 12 = -2*d, -10*d - j = -5*d - 75. Suppose 0 = -d*x + 1075 + 973. Does 16 divide x?
True
Is (7 - (-500621)/99) + (-6)/(-27) a multiple of 11?
False
Does 88 divide (-56)/(2240/200) + 9002*2 + 1?
False
Let z(o) = -6*o**2 + 72*o + 3. Let h be z(10). Let j = 965 + h. Is 68 a factor of j?
True
Suppose -30*n = 77*n - 102399. Does 42 divide n?
False
Let p(l) = l**2 - 9*l + 3. Let s be p(9). Suppose 12 = 5*w - s*w. Let a(y) = y**2 - 3*y - 7. Does 2 divide a(w)?
False
Let v = 218 - 48. Suppose 7*o + 3*o = v. Is 2 a factor of o?
False
Let h(p) be the first derivative of -3*p**5/10 + p**4/12 + 5*p**2/2 - 15*p - 12. Let r(k) be the first derivative of h(k). Does 25 divide r(-2)?
False
Let s(g) = g**3 + 34*g**2 + 18*g + 101. Is s(-11) a multiple of 79?
True
Suppose 64*p - 202*p + 730222 = -355976. Is 99 a factor of p?
False
Suppose 5*b - 3*i - 8814 = 0, 21*i - 16*i + 15 = 0. Does 82 divide b?
False
Suppose 0 = -5*q + 3 + 17. Suppose -q*y = -68 - 124. Let l = 118 - y. Is 5 a factor of l?
True
Suppose p = 4*t + 20, 4*t - 5*p = 1 - 5. Does 6 divide 8 + t - 520/(-1)?
True
Let b(z) be the third derivative of z**6/120 - z**5/12 - z**4/8 + 8*z**3/3 - 3*z**2. Let m be b(5). Does 40 divide (m/2)/(1/260)?
False
Let i(n) = 7 - 24*n + n**2 - 33*n + 62*n. Let k be i(-12). Let y = k + -80. Is 4 a factor of y?
False
Let b(l) = 11*l**3 + 2*l**2 - l. Suppose -3*i - 5*z = -i + 3, -3*z - 8 = -5*i. Let f be b(i). Suppose f + 21 = s. Is 24 a factor of s?
False
Let i = 3851 - 3060. Is i a multiple of 2?
False
Suppose 42857 = 3*l + n, 36344 = 4*l + n - 20801. Is l a multiple of 304?
True
Suppose 4*d = t - 5876, -2*d + 25497 = 5*t - 3905. Is t a multiple of 40?
True
Let v be 2/(-8)*(-160)/8. Suppose -59 = -z + v*b, -z + 4*b - 50 = -2*z. Does 14 divide z?
False
Suppose 0 = -71*z + 1156276 + 838128 - 737491. Is z a multiple of 281?
True
Suppose 0 = 3*j + 10*m - 15*m - 1518, -4*m = -2*j + 1010. Is j a multiple of 3?
False
Let m = -28 + 31. Suppose -160 = -5*h + m*h. Suppose -3*z + 278 - h = 0. Is 22 a factor of z?
True
Let g be (29 + -27)/((-1)/4). Does 12 divide (-93)/4*((-7 - 1) + g)?
True
Let b be (5/3)/(-1)*-3. Suppose -m = 3*t - 14, -4*m = b*t - 2 - 26. Is 16 a factor of (m/(-3))/((-22)/1782)?
False
Let q(k) = k**2 + 24*k + 152. Let d be q(-11). Suppose 4*x = 176 + 160. Suppose 10*p = d*p + x. Does 21 divide p?
True
Let y be ((-9)/6)/(24/(-168944)). Suppose -7*w = 3279 - y. Is w a multiple of 26?
True
Let s be -184 - (2/(-2))/((-3)/(-15)). Let o = s - -323. Is 36 a factor of o?
True
Suppose 0 = -14*d + 282677 - 25077. Does 32 divide d?
True
Let z = 1 + -1. Suppose 10*v - 40 = -z*v. Suppose 80 = v*j - 4*w - 336, -4*j + 425 = -w. Does 17 divide j?
False
Let t(h) be the second derivative of h**4/4 - 11*h**3/6 - 2*h**2 + 20*h. Is 29 a factor of t(-10)?
True
Let g be (-20 - -2)*(-1)/(-3). Does 12 divide (-3)/(4/(-8)*g/(-27))?
False
Let a(x) = 20*x**3 + 11*x**2 - 26*x + 4. Let b(u) = 7*u**3 + 3*u**2 - 9*u + 1. Let f(m) = 4*a(m) - 11*b(m). Is f(5) a multiple of 10?
True
Let d(j) = -j**3 - 11*j**2 - 17*j + 8. Let z be d(-12). Let g = z - 244. Does 21 divide -2 + g + (-12)/(-3)?
False
Let q(o) = -o**3 + 10*o**2 - 7*o - 4. Let y be q(9). Suppose -3*k - 8 = -y. Suppose 2*r - 4*i - 260 = -2*r, -120 = -k*r + 4*i. Does 35 divide r?
True
Let a = -107272 + 169645. Is a a multiple of 40?
False
Let u = -6331 + 4395. Let b = -1036 - u. Does 17 divide b?
False
Let l = -10159 + 21671. Is l a multiple of 5?
False
Suppose 3*b - 7 + 1 = 3*z, 4 = -2*z. Suppose -5*i - 4*k + 711 = b, 2*i + k - 262 = 5*k. Is 26 a factor of i?
False
Does 21 divide -90*25/((-1250)/1540)?
True
Suppose 5*z - k - 9690 = 0, -5*k - 3072 = -2*z + 804. Does 25 divide z?
False
Suppose -7*t + 3*t = 5*h - 35, -3*h - 11 = -4*t. Suppose t*f + 4 = f, -4*d - 66 = 2*f. Let o = d - -55. Is o a multiple of 11?
False
Let x = 118 - 83. Suppose 0 = -2*q - 2 + 4, 4*q = 5*k + 109. Is (60/x)/(-2)*k a multiple of 17?
False
Let q(o) = 335*o - 1710. Let m be q(5). Let a be ((-2)/(-3))/((-2)/42). Let i = a - m. Does 7 divide i?
True
Suppose 45*m - 43*m = -40. Is 52 a factor of (-525)/(-10)*(-64)/m?
False
Suppose -42801 = -17*h - 14734. Suppose 2*f - 4*c - h = -105, -3*f + 4*c + 2329 = 0. Is 27 a factor of f?
True
Let g = -2369 + 4755. Suppose 391 - g = -5*q. Is 19 a factor of q?
True
Let s(c) = 34*c - 3. Let h be s(3). Let j = 131 - h. Suppose j*x = 29*x + 111. Is x a multiple of 27?
False
Does 25 divide 60/(-10)*10829/(-42) + 0 + -1?
False
Suppose 2*i + 21 = 7. Let y be 5 - i*(2 - 4). Let k 