e -2*a - 157 = -151. Does 9 divide a*(-147 - 6) + 9?
True
Suppose 11*p - 2623 - 1513 = 0. Suppose -4*l = -2*s - 332 + 30, -s = -5*l + p. Suppose -m + 36 + l = 0. Is 37 a factor of m?
True
Suppose 44*y - 41*y = 9. Suppose 4*a - 4*v = 252, -5*v + v - 189 = -y*a. Is 21 a factor of a?
True
Let q be 41/13 - 6/39. Let g(m) = 2*m - 4. Let o be g(q). Suppose 5*d - 35 = -0*k - 5*k, -o*d = -2*k - 34. Does 6 divide d?
True
Suppose 0 = -4*p - 736 - 16. Let f(g) = -7*g**2 + 4*g. Let b be f(-3). Let c = b - p. Is c a multiple of 27?
False
Does 24 divide -1*(28/4 + -1809)?
False
Suppose 6*g = -4*l + 20548, g + l - 865 = 2558. Does 14 divide g?
False
Suppose 1971 = 22*n - 4805. Suppose -n = 13*b - 1179. Does 9 divide b?
False
Suppose -3*k - 7171 = -3*p + 4466, 15517 = 4*p - 3*k. Suppose 2*r + 443 = x - 347, 5*x + 4*r - p = 0. Does 20 divide x?
True
Let j be ((-54)/6)/(2/(-164)). Suppose 8*f + 739 = 3*r + 4*f, 3*r = 3*f + j. Let v = r - 146. Is 16 a factor of v?
False
Suppose 3*n + 4*l = 8, -5*n = l + 10 + 5. Let r be 84*((-30)/n - 2). Suppose -4*s - r = -7*s. Does 24 divide s?
False
Suppose -u = 3*u - 432. Let z = -105 + u. Suppose -2*j + 2*b = -492, 2*j - b - 490 = z*b. Is 13 a factor of j?
True
Suppose -3*h + 12 = v, -3*h - 7*v + 12 = -2*v. Let n = h - -56. Does 20 divide n?
True
Let i = -7579 - -14754. Is 36 a factor of i?
False
Let t be (-2)/(-5) + -22*(-36)/20. Suppose 4*x - 2*x = 2*n + t, 2*x - 88 = 4*n. Does 36 divide (756/10)/(n/(-80))?
True
Let q be 96/(-6)*(-2)/(-2). Let b be q/(4 + 0)*3/(-4). Suppose 0*n = 4*r + 3*n - 317, 0 = b*r + 5*n - 246. Is 11 a factor of r?
True
Let d = -45752 + 67032. Does 14 divide d?
True
Let q = 38167 + -26711. Does 10 divide q?
False
Is 74 a factor of 6*-1*154256/(-744)?
False
Suppose -2*u + s + 878 = 3*u, 2*u - 344 = 4*s. Suppose 0 = 26*q - 28*q - u. Is 10/2 - (q + 13) a multiple of 8?
True
Let y(v) = 26*v - 9. Let p be y(7). Suppose -2*a - s + p = a, s = 4*a - 226. Suppose 63 + a = 6*f. Does 4 divide f?
True
Does 48 divide 658592/40 + (-80)/100?
True
Suppose 51*p - 208996 = 42944. Is 20 a factor of p?
True
Let i(p) = 24*p + 5. Let j be i(6). Let t = j - 77. Suppose 4*c - x = -4*x + t, 3*c - 5*x = 83. Does 3 divide c?
True
Let w be (-4)/(-2) - ((-2)/2 - 5659). Suppose w + 338 = 5*b. Suppose 4*m = 3*v - 887, v - b = -3*v + m. Is 17 a factor of v?
False
Suppose -2*u - 3*u + b = -1727, 1370 = 4*u + 5*b. Suppose 0 = c + v - u, 2*c - 690 = -0*c + 4*v. Is 9 a factor of c?
False
Let s be 4 - (149 - 1) - 4. Let r = s + 221. Is r/8 + (-1)/8 a multiple of 3?
True
Suppose 0 = 12*q - 23 + 35. Does 19 divide 119 - (q + 1 + 5)?
True
Is (-96)/36*(-2409)/44*130 a multiple of 130?
True
Let m = -15531 + 15533. Let s = 44 - -27. Suppose -2*n + 291 = -5*f + s, -3*n = -m*f - 352. Does 15 divide n?
True
Suppose -f = -4*a - 1019 - 3477, -2*a = 2*f - 9022. Is f a multiple of 28?
True
Suppose 0 = 19049*z - 19045*z - 17160. Is z a multiple of 10?
True
Let o(z) = 7*z**3 - 2*z**2 + z - 1. Let x be 105/70*(-2)/(-3). Let a be o(x). Suppose 0 = -a*j + 25, g + 3*j = 78 + 62. Is 25 a factor of g?
True
Let x be (6 - 3) + (-1)/(-2)*580. Suppose 0 = 9*n - 211 - x. Is 28 a factor of n?
True
Let z(k) be the third derivative of 7*k**5/60 - k**4/8 - 5*k**3/6 - 56*k**2 - 2*k. Let i(u) = -u + 4. Let s be i(6). Is z(s) a multiple of 14?
False
Is 26 a factor of (8 - -76)/((-20)/(-130))?
True
Let w(o) = -16*o**3 + 9*o**2 + 30*o + 281. Does 328 divide w(-10)?
False
Let v(b) = b**2 - 3*b - 3. Let u be v(-2). Let t be 22/33 + (-106)/(-3). Let k = t - u. Does 5 divide k?
False
Let a be 2/(16/12)*2. Suppose a*c + 2*v + 49 = -0*c, 0 = -c + v - 13. Let u = 21 - c. Is 36 a factor of u?
True
Let v(x) = 11*x**3 - 12*x**2 + 145*x - 1915. Is 32 a factor of v(12)?
False
Does 8 divide 12 + 3768 + 5 - (-8 - (-2 - -1))?
True
Let w(u) = -21*u**3 - 6*u**2 - 5*u + 6. Is 4 a factor of w(-5)?
False
Let z be (-96)/(-3) + (-5 - -1). Suppose -g - z = -2*g + 4*l, 2*l + 32 = 2*g. Suppose -3*s = g, 2*s - 99 - 10 = -3*k. Is k a multiple of 4?
False
Suppose 0 = 25*x - 9*x + 160. Is ((-8)/x)/((-28)/(-13090)) a multiple of 4?
False
Suppose -l - 2*l + 24 = 0. Let c(x) = x**2 + x + 10 - 9 + 1. Is c(l) a multiple of 35?
False
Let z(c) = -431*c**3 + c**2 + 28*c + 87. Does 70 divide z(-3)?
False
Let m = 8 - -2. Suppose -m*f - 18 = -7*f. Let w(n) = 2*n**2 + 5*n - 11. Is 12 a factor of w(f)?
False
Let f(x) = 7*x**2 + 36*x + 35. Let b be f(-1). Let a(k) = 39*k - 82. Is a(b) a multiple of 4?
True
Let q(i) = 564*i**2 - 32*i + 60. Is q(3) a multiple of 18?
True
Suppose -5*l + 31241 = 2*i, 16*l - 2*i = 11*l + 31249. Does 22 divide l?
False
Suppose -20*k + 69776 = -184. Is 11 a factor of k?
True
Suppose 4*w - 2*n - 11 = -w, -4*w = -2*n - 8. Let j be 17*7/(10 - 3). Let y = w + j. Is 13 a factor of y?
False
Let t(w) = -36*w + 1800. Is 18 a factor of t(39)?
True
Let p = -103 + 109. Let y be ((-15)/p)/((-2)/16*2). Is 9 a factor of (1 - -4)*(296/y)/2?
False
Let c be -1 + 28/7 + -3. Let z(g) = 6*g + 824. Does 20 divide z(c)?
False
Let b be (-56)/(-6) - (-1)/6*-2. Is 22 a factor of -6*3/b - -500?
False
Let f be 294 - (2/(-4))/(8/(-16)). Let s = -185 + f. Is 24 a factor of (s/15)/(6/140)?
True
Let o(k) = 1265*k**2 - k + 2. Let h be o(1). Suppose 0 = -3*a + a - h. Let i = 993 + a. Is i a multiple of 40?
True
Let w be ((-24)/30)/((-3)/15). Suppose 16 = -2*l - w*t, 10 = l - 4*t - 6. Does 6 divide (-10)/(-25) - (353/(-5) - l)?
False
Let m = -1240 - -721. Let y = -344 - m. Is y a multiple of 20?
False
Suppose -44 = -4*s - 0*s. Suppose 4*r + 4 = -2*q, -5*q = -2*r + 5*r - s. Suppose 4 = q*h - 16, 5*h + 119 = 4*x. Does 12 divide x?
True
Suppose 0 = -13*q + q - 2*q. Is 4 a factor of ((-585)/(-6) + q)*16/20?
False
Suppose -5*f - 229 = 731. Let i = 374 + f. Is 14 a factor of i?
True
Let p(z) = 92*z**3 - 5*z**2 - 100*z + 681. Does 16 divide p(6)?
False
Suppose q + 4 = 4*h + 25, h = q - 12. Suppose -4*c + 576 = 4*a, -2*a = q*c - 5*c - 582. Is c a multiple of 14?
False
Let i(y) be the second derivative of -18*y - 2*y**2 - 5/2*y**3 + 1/4*y**4 + 0. Is i(8) a multiple of 34?
True
Let k(j) = 3*j - 69. Let v be k(-28). Let o = 80 - v. Is 6 a factor of o?
False
Let u = -775 - -765. Let n = u - -800. Does 40 divide n?
False
Suppose 3*v - r + 360 = -5*r, 3*v - r + 345 = 0. Let a = v - -178. Suppose k - 218 = -a. Is k a multiple of 25?
False
Let r = 12151 - 1261. Is r a multiple of 95?
False
Is (-554506)/94*10/(-5) a multiple of 39?
False
Let a = 3381 - -3739. Is 11 a factor of a?
False
Let y(d) = -d**2 + 14*d + 29. Let q be (-1)/1 - 21*(-4)/6. Is 7 a factor of y(q)?
True
Suppose 29*y - 940 = 19*y. Suppose -2*h + y = 10. Does 14 divide h?
True
Suppose 7*v - 2686 + 2679 = 0. Let m = 53 - 25. Suppose -v + m = o. Is o a multiple of 3?
True
Suppose -s = 2*m - 5*s + 14, -5*m - 10 = -5*s. Suppose 5*u = r + 566 + 1340, m*u - 2*r - 1138 = 0. Does 22 divide u?
False
Let b be (2835 - 15)/15*11/4. Let y = b + -136. Is 62 a factor of y?
False
Suppose -47*d - 13*d - 24*d + 529536 = 0. Is 197 a factor of d?
True
Suppose -20*w + 85209 - 3549 = 0. Is w a multiple of 10?
False
Does 7 divide ((-1421966)/676)/((0 + 3)/(-24))?
True
Suppose 4*x - 3 = 1, 4*y - x = -113. Let q = y - -33. Suppose q*p - 5*h - 80 = 45, 0 = -2*h - 6. Is p a multiple of 10?
False
Let q = -10173 + 16626. Is 6 a factor of q?
False
Let v(a) = -16*a - 96. Let r(i) = -i**2 + 5*i + 14. Let w be r(-4). Is v(w) a multiple of 16?
True
Let w = -75 - -62. Let k = -18 - w. Is 15 a factor of ((-804)/15)/(1 + 7/k)?
False
Let c = 21721 - 14836. Is c a multiple of 78?
False
Let x(u) = -10*u - 17. Let k(o) = 12*o + 20. Let h(p) = -3*k(p) - 4*x(p). Does 8 divide h(10)?
True
Let s = 672 + -176. Suppose 8 = -2*p, 5*p = -c + s + 232. Is c a multiple of 44?
True
Let v(r) = -2*r. Let y(m) = -12*m - 1. Let h(a) = -28*v(a) + 4*y(a). Let f(n) = n**3 + 6*n**2 - 2*n - 7. Let u be f(-6). Is 6 a factor of h(u)?
True
Let x be 325/117 + 2/9. Suppose 36 = 3*t - 3*k, 5*t + x*k + 30 = 130. Suppose -6*y = -t - 595. Does 17 divide y?
True
Suppose 78*u - 136890 - 64594 = 337652. Does 209 divide u?
False
Let s(z) = -4*z + 1205. Does 90 divide s(40)?
False
Let d(l) = l**3 + 5*l**2 + 8. Let y(j) = j**3 + 3*j**2 - 13*j - 27. Let z be y(-2). Is d(z) a multiple of 16?
True
Suppose -12*p = -m - 10*p + 4899, -3*m + 2*p =