4*v - 3062. Does 55 divide v?
True
Let n = -119 + 179. Suppose a = -4*a + n. Suppose 0 = 2*o + 5*x - 6, 4*o - a = -2*x + 16. Does 4 divide o?
True
Let j(n) = 2*n**2 + 163*n + 1919. Is 3 a factor of j(0)?
False
Let a(p) = 8*p + 3. Let n be a(-2). Suppose 30*h - o + 33 = 34*h, 2*o = 4*h - 42. Let s = h - n. Is 3 a factor of s?
False
Let u = 11 - 7. Let t(c) = 7*c**3 - 3*c**2 + 2*c - 1. Let k(r) = -2*r**3 - 1. Let l(m) = 3*k(m) + t(m). Does 13 divide l(u)?
False
Let s = 1112 + 872. Is s a multiple of 32?
True
Is 56 a factor of (-773756)/(-36) - -11 - (-2)/(-9)?
True
Let v be (-220)/(-22)*6/4. Does 6 divide ((-140)/v)/(12/(-90))?
False
Let k be (429/(-55))/((-8)/10 + 1). Let s = k - -64. Let d = 7 + s. Is 8 a factor of d?
True
Suppose b - 5*b = 3*a - 18, 55 = 4*a - 5*b. Suppose 5652 = a*v + 152. Is v a multiple of 10?
True
Let d be 7*3/((-105)/(-20)). Suppose -2*w - 3*w - 4*l = -2337, d = -2*l. Is w a multiple of 7?
True
Let a = 49 - 45. Suppose 4*h - 308 = -a*o, 0*o - 3*o - h = -241. Is (o/8)/((-15)/(-60)) a multiple of 14?
False
Let o(l) = 202*l - 239. Let c be o(4). Suppose 0 = -2*j + w + 2*w + 1153, j - 2*w = 576. Suppose -5*g + 2*p = p - j, -5*g + c = 2*p. Is g a multiple of 23?
True
Suppose -549292 - 983239 = -222*m + 52549. Is m a multiple of 51?
True
Suppose -3*m + l + 12 = 0, -m + 2*l + 9 = 2*m. Suppose -1012 - 1163 = -m*o. Is o a multiple of 29?
True
Let a be 2/6 - (-2248)/6. Suppose x + 2*f - 130 = -0*x, -3*x - 3*f = -a. Suppose d - 2*k + 40 = 100, -2*d - 2*k = -x. Does 15 divide d?
True
Does 13 divide ((-62)/10 + -1)/(55085/1900 + -29)?
False
Let x be (1/(-3))/(4/(-48)). Suppose h - 102 = -4*j, -3*j = -2*h + 46 + 125. Suppose -78 = -x*d + h. Is d a multiple of 7?
True
Let t(n) = 55 + 9*n + 3*n + 35 + 21. Is 9 a factor of t(11)?
True
Let d(q) = q**2 + 19*q - 124. Is 4 a factor of d(-35)?
True
Let t(k) = 8*k**2. Suppose c = -2*a + 6 + 1, -4*c + 24 = 4*a. Let l be t(a). Is 14/3*12/l a multiple of 7?
True
Let c(x) = x**2 + 13*x - 1. Let v be c(9). Suppose 53*h - 43*h = 750. Let a = v - h. Is a a multiple of 13?
False
Let t(w) = 3 + 12*w + 10*w - 27*w. Let n be t(4). Let a = 52 + n. Is a a multiple of 5?
True
Is 1265247/36 + -6 - 6/8 a multiple of 30?
False
Suppose 70 = 7*j - 7. Let m(b) = -3*b**2 + 36*b - 18. Is 5 a factor of m(j)?
True
Suppose -4*r + 5*n + 42760 = 0, 16 = 215*n - 211*n. Is r a multiple of 155?
True
Let q(h) = -2*h. Let j be q(-5). Let d(f) = 8*f - 28. Let r be d(j). Suppose n - 10 = -s + 19, -2*n + 4*s + r = 0. Is n a multiple of 10?
False
Suppose 36*h - 55868 = -26*h + 344714. Is 35 a factor of h?
False
Suppose -301*l + 27039 = -299*l - h, -3*h - 40563 = -3*l. Is l a multiple of 18?
True
Suppose -3*m = -2*z + 17, 4*z - 11 - 19 = 2*m. Does 9 divide (-7)/(z/(-108)) - 36/(-18)?
False
Let y(a) = 3*a**2 + a - 8 + 3*a - 8*a + a**3 + 9*a**2. Suppose -3*w - 7 + 28 = -3*x, -4*w = 20. Is 5 a factor of y(x)?
True
Let n(h) = 21*h + 348. Let p(k) = 42*k - 308. Let x be p(7). Is n(x) a multiple of 3?
True
Let q = 443 - 295. Suppose 2850 = -143*f + q*f. Is f a multiple of 57?
True
Suppose -18*s = -6426 + 990. Let o = s - 146. Is o a multiple of 26?
True
Let j = 595 - 611. Is 73 a factor of (-1)/2 - -2*(-1172)/j?
True
Let m(h) = 309*h**2 + 272*h - 10. Does 69 divide m(-5)?
False
Let m be 12/20 + (-1514)/(-10). Let l = m + 188. Suppose 0*x + l = 5*i - 5*x, -194 = -3*i - 2*x. Is i a multiple of 11?
True
Suppose 0 = 26*r + 143309 - 852381. Is r a multiple of 14?
True
Suppose -142*v + 138*v + 16 = 0. Let k be (36/(-8) + v)*-846. Suppose 0 = 6*u - 3*u - k. Is 47 a factor of u?
True
Let p(u) = 3 - 4*u + 21*u - 10*u - 8*u. Let x be p(1). Is 10 a factor of (33/11)/(x*2/64)?
False
Let a(d) = -26*d - 106. Let c be a(-9). Suppose -2*r - c = -4*g, 20*g + 4*r + 32 = 21*g. Is 2 a factor of g?
True
Suppose -126*i - 730395 + 4664997 = 0. Is i a multiple of 14?
False
Let t(g) = -161*g - 243. Let j be t(-2). Let s = 80 + -18. Let k = j - s. Does 7 divide k?
False
Let z = -23772 + 40039. Is z a multiple of 4?
False
Suppose m + 6 = 13. Suppose -m*o + 15*o = 896. Suppose -2*a = -4*a + o. Is 7 a factor of a?
True
Let p be ((-41412)/30 - 2)/(2/(-15)). Suppose 10*w = -8*w + p. Does 24 divide w?
True
Let d = 6010 + -3034. Does 12 divide d?
True
Suppose 76*g = -54*g + 53820. Is g a multiple of 2?
True
Let u(a) = a**3 + 4*a**2 + 4*a + 2. Let d = -2 + -2. Let v be u(d). Is 1/2 + ((-1925)/v)/1 a multiple of 16?
False
Let b(c) = -2*c + 12. Let m be b(-2). Suppose m*x - 21*x = -3500. Suppose -4*w - x = -14*w. Does 5 divide w?
True
Let j(a) = 5*a**3 - a**2 + a - 20. Let g be j(4). Suppose -2*n - g = -3*i, -4*n + 43 = i - 67. Does 7 divide i?
True
Suppose 3564 = w + 5*s, w - 651 = 2*s + 2941. Is 128 a factor of w?
True
Let l be (1 - 10)*(-24)/72. Is 6 a factor of (l/(-9))/((-5)/540)?
True
Suppose 5*k = 3*z + 11, -4*k + 17 = -5*z - 10. Let h = 417 + z. Is 26 a factor of h?
False
Suppose 35836 - 3153 = 43*p + 6*p. Does 14 divide p?
False
Let c(k) = k**2 + 28*k + 55. Let q be c(-25). Let t be ((-2)/5)/(13808/(-2760) - -5). Is (t/10)/((-2)/q) a multiple of 8?
False
Let u = -63 - -67. Suppose 2*f = -3*q + 11 + u, q = f + 5. Suppose f*o + 480 = 4*o + 4*t, -o + t + 128 = 0. Does 31 divide o?
True
Is 8/32 - (-152)/32 - -10816 a multiple of 18?
False
Let r = 134 - 129. Suppose 3*a + 8*c - 10*c = 627, 3*a - 606 = -r*c. Is a a multiple of 23?
True
Suppose 646 = 7*p + 632. Suppose 1415 = 7*s - 3*s + v, -p*v - 10 = 0. Does 71 divide s?
True
Suppose 29 = 5*m + 4. Let l(w) = 147*w - 15. Is l(m) a multiple of 20?
True
Suppose -4*t = 2793 - 11241. Suppose -3*a - a + t = 0. Suppose 0 = -12*w + 6*w + a. Is 22 a factor of w?
True
Suppose 41*l - 388 - 60146 = -18*l. Is l a multiple of 114?
True
Let b(n) be the second derivative of n**5/20 + 5*n**4/3 - n**3 - 3*n**2 + 25*n. Let a be b(-20). Let c = -47 + a. Is 6 a factor of c?
False
Let x(c) = -6*c**3 - 18*c**2 + 21*c + 6. Let h(v) = -v**3 - v**2 + v - 1. Let z(d) = 5*h(d) - x(d). Let m be ((-2)/(-3))/((-6)/126). Does 2 divide z(m)?
False
Let g(i) = 12*i**3 - i**2 - 142*i + 699. Does 82 divide g(7)?
True
Let u be (-767)/(-3) - 9/(27/2). Suppose -x + 4*f = -u, -282 = 3*x + f - 982. Suppose -x = -3*r - 46. Does 7 divide r?
True
Let t(v) = -101*v + 5162. Does 2 divide t(50)?
True
Suppose 4*l + 5*q + 8 + 10 = 0, 0 = 2*l + 4*q + 12. Let m be 3/l*12/(-9). Is 7 a factor of m/(2/(-245)*-5)?
True
Let x be -1 + 2 + (1 + 0)*1. Suppose -4*o = -2*c + 9 + 13, 5*c - 23 = x*o. Is 2 a factor of c?
False
Let i = 278 - 279. Does 11 divide 909/6*(-2)/i + 0?
False
Let c(y) = 8*y + 275. Let u be c(-33). Suppose 9*m = u*m - 390. Does 6 divide m?
False
Let o = -1735 - -5609. Does 59 divide o?
False
Let d be -5 - 0 - 572*(4 + -3). Let c = d - -836. Is c a multiple of 7?
True
Suppose -2*r - q = 414, -5*r - 1036 = 2*q - 0*q. Is 20*(r/(-40) - 4) a multiple of 24?
True
Let c = -32022 + 57608. Is 77 a factor of c?
False
Let t = 8712 - 6024. Is 64 a factor of t?
True
Suppose 42*r - 149760 = 2*r. Is 18 a factor of r?
True
Let j(t) = 17*t**2 + 112*t + 2396. Is 125 a factor of j(-24)?
True
Suppose -1990*x = 4*y - 1987*x - 7487, y = -4*x + 1875. Is y a multiple of 156?
False
Does 4 divide (316598/18 - 100/(-450))*(-4)/(-3)?
True
Suppose -7091 + 513 = -2*y - s, 16430 = 5*y - 5*s. Is y a multiple of 7?
False
Let h = -203 - -175. Is (-1)/((-7)/h + (-1634)/6504) a multiple of 15?
False
Let r(x) be the second derivative of 8*x + 1/12*x**4 - 7/2*x**2 + 0 - 1/2*x**3. Does 4 divide r(6)?
False
Let d(g) = 8*g**2 + 37*g + 8. Is 15 a factor of d(-31)?
False
Suppose 11 = -3*v + 5*t, 2*v - 3*t + 3 = -3. Suppose 0*b + 573 = b + 5*u, -v*b = u - 1705. Is 8 a factor of b?
True
Suppose -2*s + 9 = l, 5*l + 0*s = -3*s + 24. Let x(m) = 36*m**3 - 4*m**2 + 4*m + 16. Is 43 a factor of x(l)?
False
Let h(b) = 4*b**3 + 7*b**2 - b + 1. Let j be h(-3). Let r = j - -36. Is 70*1 + (r - -5) a multiple of 24?
False
Suppose 2*v = -4*k - 106, -3*k - 47 = -k - v. Is 11 a factor of ((-139)/5)/(1/k*5)?
False
Let a = 208 - 108. Suppose h = -4*h + a. Is 10 a factor of h?
True
Let d be (4/(-2))/(6/9) - -177. Let a = -6 + d. Is a a multiple of 28?
True
Suppose 0 = -4*k + 2*k + 2*p + 9918, -4*k + p = -19836. Is 27 a factor of -2 + 72/39 + k/39?
False
Let a be (-96)/(-10) - (36/20)/3. Is 25 a factor of a/(-2)*-20