, -5*q - 21 = -4*b - 0. Suppose b*y - 17*y = -1846. Does 24 divide y?
False
Suppose -19435 = -5*s + 8*p - 13*p, -4*p = 12. Does 5 divide s?
True
Let i(m) = 36*m + 37. Let j be 7*-3*((-24)/(-21))/4. Let o be i(j). Let x = o + 355. Does 44 divide x?
True
Let j(l) = -5*l**2 + 1. Let q be j(1). Let f(a) = -37*a - 68. Does 4 divide f(q)?
True
Suppose -j = 4*w + 253, 3*w + 256 = -j - 0*w. Let s = j + 555. Is s a multiple of 58?
True
Suppose 175*u = 145*u + 1295250. Is u a multiple of 55?
True
Does 52 divide -10*(-2)/(-4) - 6679*(2 - 3)?
False
Does 17 divide (-19)/((-1900)/(-40)) + (-47007)/(-5)?
True
Suppose 708885 + 1157798 = 281*l. Does 5 divide l?
False
Let a = -83 + 27. Let l = 74 + a. Is 5 a factor of (-16)/(-1) + (-36)/l?
False
Suppose -3*r = -5*i - 1203 - 922, 5*r - i = 3571. Does 3 divide r?
False
Suppose 3*r - 3 = 3*x, 0 = 2*r + 5*x - 18 - 5. Suppose -r*l - l = -850. Is l a multiple of 10?
True
Let h(z) = 93*z**3 + 15*z**2 + 17*z - 71. Is 3 a factor of h(3)?
False
Is 16 a factor of 1*3034 + 3 - (-24 - (-12 - 4))?
False
Let a(u) = -53*u**3 + 4*u**2 + 15*u + 17. Let j be a(-2). Let s = j + -51. Is 47 a factor of s?
True
Let m = 154 + -107. Suppose 97 + m = 3*h. Is h a multiple of 24?
True
Suppose 2135 = 5*t + g - 0*g, 0 = -5*t + g + 2145. Let f = t - 228. Does 9 divide f?
False
Let g(m) be the first derivative of m**3/3 - 9*m**2 + 57*m - 25. Is 60 a factor of g(27)?
True
Suppose 2*l - f - 20519 = 0, 10*f - 41039 = -4*l + 11*f. Does 12 divide l?
True
Let s(w) = 5*w + 182. Suppose 924 = -56*g - 196. Is 5 a factor of s(g)?
False
Suppose 5*k + 8520 = p, 18*p = 15*p + k + 25630. Is 64 a factor of p?
False
Let o(w) be the third derivative of w**6/24 - w**5/12 + w**4/6 - 7*w**3/6 + 2*w**2. Let y = 216 - 213. Is o(y) a multiple of 19?
True
Let l = 4409 - 3338. Is 55 a factor of l?
False
Let n(x) = x**2 - 40*x + 47. Is 11 a factor of n(46)?
False
Let w = 563 - 218. Does 3 divide w?
True
Suppose -2*d + 10 - 2 = 0. Suppose -3*p + 5*z = -233, 7*p = d*p - 5*z + 253. Is 45 a factor of 12*(p/(-36))/((-1)/6)?
False
Suppose -s + 2*o - 19 = 16, -45 = s - 4*o. Is 4 a factor of 312/(-28)*(s + -3)/4?
False
Is (-16)/(-12) - 60608/(-12) a multiple of 45?
False
Let x(s) = 30*s - 27. Suppose 61 = 9*j + 16. Let c be x(j). Suppose 6*k - c = 321. Is 37 a factor of k?
True
Suppose -342731 = -5216*l + 5179*l. Is 111 a factor of l?
False
Suppose -2*q - s - 2 = 23, 3*q = 4*s - 43. Let u be 52/q*5/(-1). Suppose -2*y + 5 = -2*w - 17, u = 4*w. Does 8 divide y?
True
Let q = 1 - 6. Let u be (12/25)/((-4)/(-10))*q. Is (30/(-9))/(u/27) a multiple of 15?
True
Let v(b) = b**3 + 20*b**2 + 13*b - 7. Let x be v(-19). Let d = x - 27. Let c = d - -10. Does 16 divide c?
False
Let m(s) = -s**2 + 129*s - 25. Let c(w) = -32*w + 7. Let a(u) = 9*c(u) + 2*m(u). Does 41 divide a(-12)?
False
Let k(p) = 5*p + 23. Let x be k(-4). Suppose -2162 = -x*u - 611. Is u a multiple of 24?
False
Suppose 3*c - 53175 = 335*v - 330*v, 0 = 5*c + 3*v - 88625. Is c a multiple of 78?
False
Suppose 2*x + 0*x - 4*b = 22, 0 = -3*x + b + 8. Let t(v) = -9*v - 7. Let l be t(-4). Let h = x + l. Does 10 divide h?
True
Suppose 193 = 3*y + 46. Let o = -40 + y. Suppose 6*d = o*d - 99. Is d a multiple of 3?
True
Let q be 42 + -6 + 1 + -2. Suppose 34*y = q*y - 3. Let d(p) = -p**3 + 4*p**2 + 5*p - 2. Does 8 divide d(y)?
False
Let a(v) = v**3 - v**2 - 7*v + 8. Let i be a(3). Suppose 2*m + i*b - 838 = 0, 5*m = 8*m + 2*b - 1246. Is m a multiple of 18?
True
Suppose -3*q + 2*z + 11874 = 5*z, 7817 = 2*q - 31*z. Is q a multiple of 5?
True
Let d be 92/12 - 4/6. Suppose -3*k - 3*w + 7 = -d*k, -2 = 4*k - 2*w. Suppose 0 = -k*y - 2*n + 270, y + n - 549 = -3*y. Does 23 divide y?
True
Let q = -4053 + 12598. Suppose 0 = -41*t + q + 2320. Is 66 a factor of t?
False
Let o be 1*770 + 0/3. Suppose s + o = 2*s. Suppose -6*j = 122 - s. Is j a multiple of 13?
False
Let k = -2330 + 3610. Suppose -13*r + 21*r - k = 0. Is r a multiple of 20?
True
Let n(v) = v - 12 + 3 + 6. Let a be n(5). Let m = a + 38. Does 4 divide m?
True
Suppose a - m + 1515 - 5215 = 0, 4*a + 4*m - 14824 = 0. Is a a multiple of 8?
False
Let t be (-14)/(-63) + (-4)/18. Suppose h - 26 + 11 = t. Let l = h + 55. Does 14 divide l?
True
Suppose 2*s = 8*s - 288. Suppose -13*k = -14*k + s. Suppose k = 2*y - 4. Is y a multiple of 3?
False
Let t = -46 + 26. Let c = t + -17. Let z = c - -59. Is z a multiple of 12?
False
Let n = -4 + 20. Let m(l) = -l**2 + 13*l + 51. Let f be m(n). Is 10 a factor of (-8)/(-2)*(f - -12 - 1)?
False
Suppose 32*a = 48*a + 18*a - 595000. Is 16 a factor of a?
False
Does 11 divide 1029 + (-9 - 11/(88/(-32)))?
False
Let g be ((-208)/24)/13*-11928. Does 41 divide 1*(-2)/9 - g/(-63)?
False
Suppose -3 = -4*s + 5. Let w be (0 + 55/(-20))/(s/(-64)). Suppose -7*r + 8*r = w. Does 21 divide r?
False
Let o(i) = i + 1. Let r be o(-1). Let j(t) = 2*t + 12. Let a be j(r). Is 5 a factor of ((-4)/(-2) - 4) + 5 + a?
True
Suppose 225*k - 1753025 - 2282800 = 0. Is k a multiple of 14?
False
Suppose 5*s - 2*k = 714, -5*s + 220 = 3*k - 509. Let v = s - 95. Is v a multiple of 3?
False
Is 2203 + (-14)/(-2) + (7 - 13) a multiple of 4?
True
Suppose 3*x = x. Suppose -3*k = -2*m + 171 + 300, x = 3*m + 2*k - 726. Is m a multiple of 15?
True
Let j(x) be the first derivative of 3*x**5/40 - 5*x**4/8 + 14*x**3/3 - 14. Let f(c) be the third derivative of j(c). Does 3 divide f(3)?
True
Let w be (-5*1)/(35/(-28)). Let b(m) = -16*m + 1. Let c(s) = -31*s + 1. Let x(a) = w*c(a) - 7*b(a). Does 5 divide x(-3)?
False
Let a(y) = -2 + 71*y - 78*y - 5. Let l be a(3). Let p = 67 + l. Is 13 a factor of p?
True
Let r(w) = -3*w**3 + 58*w**2 - 72*w - 4. Is 31 a factor of r(-7)?
True
Let x(f) = 58*f - 364. Does 53 divide x(41)?
True
Let m be 4 - 1696/12*-3. Suppose -549 = -5*s - o, s + 2*o + m = 5*s. Is 17 a factor of s?
False
Suppose -6*c = -c - 575. Let k = c - 110. Suppose -5*f + 4*j = -425, 4*j + 85 = f + k*j. Does 17 divide f?
True
Suppose -x - 2*a - 15 = 0, 2*x - a - 8 = -13. Let y(v) be the third derivative of -v**5/60 - 13*v**4/24 - v**3/2 - 2*v**2. Is 4 a factor of y(x)?
False
Let j be (6 + 15*(-47)/(-2))*18. Suppose -74*c + 6449 = -71*c + 2*h, 3*c + 3*h = j. Is 20 a factor of c?
False
Suppose 10*r = 16*r - 1110. Let x = r - 63. Is x a multiple of 3?
False
Let f(s) = -s**3 - 8*s**2 + 4*s - 4. Let g be -12*(-30)/(-63) + 4/(-14). Let a be -2 + (4 - 6) + g. Is f(a) a multiple of 39?
True
Let i be 5 - 0/2 - -1. Is 30 a factor of -2 + 1 - i/(-12)*838?
False
Let y be 2/(6/1)*3*5. Is y/(-2)*2 + 8976/12 a multiple of 83?
False
Let u(r) = -2*r**2 + 9*r + 4. Let t be u(6). Let a be ((-432)/56 - (-4)/t)*-1. Let h(j) = 7*j - 16. Does 20 divide h(a)?
True
Suppose -4*y + 0*y - 2912 = 4*b, 4*y + 2914 = -3*b. Let k = -956 - -955. Is 15/20 + k + y/(-8) a multiple of 7?
True
Suppose -4 - 8 = -3*p. Suppose 4*v = -4*l + 342 + 390, -p*v - 3*l + 731 = 0. Let r = v + -127. Is 11 a factor of r?
True
Let d(h) = 19*h**3 - 5*h**2 - 8*h + 8. Let f be d(5). Suppose -18*w + 7222 = f. Is 29 a factor of w?
False
Let p = -6 - -26. Suppose -p = 10*t - 5*t. Is 6 a factor of 35/4 - t - 1/(-4)?
False
Let m = 1943 - 747. Suppose 5*j - 1224 = 5*z + m, -j - z + 476 = 0. Is j a multiple of 32?
True
Suppose -353136 = -10*d + 7*d - 11*d. Does 13 divide d?
False
Let d(c) = c**3 + 26*c**2 + 50*c + 53. Let b be d(-24). Suppose -4*n - 23 = -b*n. Does 23 divide n?
True
Let c = 392 - 955. Let n = 604 + c. Does 2 divide n?
False
Suppose -3*w + 5*w - 15552 = -4*d, 3*w = -3*d + 23340. Is 9 a factor of w?
False
Suppose 0 = -2*w - 5*c + 22236, 3*c - 15301 = -w - 4186. Does 9 divide w?
True
Let y = 271 + 3338. Is 15 a factor of y?
False
Suppose 0 = -359*u + 74*u + 2713200. Does 16 divide u?
True
Let n = -551 + 1059. Suppose -h - 511 = -4*p, p = -3*p + 4*h + n. Does 4 divide p?
True
Suppose v = -4 + 1, 5*v + 12 = -3*j. Let g be (-1 - 0)/(j/(-2)). Suppose -g*n + 0 = -52. Does 13 divide n?
True
Suppose 248*d - 77*d - 1605878 = 1399618. Is d a multiple of 52?
True
Suppose 2*t - 4*s = 4*t - 3944, -4*t + 2*s = -7888. Suppose 3*q = 836 + t. Does 12 divide q?
True
Let x = 6441 + -6234. Is x a multiple of 9?
True
Let u(x) = -26*x + 7. Let l(g) = -13*g + 4. Let r(v) = 5*l(v) - 2*u(v). Let f be r(3). Let q = f - -39. Is 6 a factor of q?
True
Suppose 16 - 8 = 4*d. Supp