8*h - 762 = m*h + 4*k. Is h a multiple of 70?
True
Suppose 48240 = 4*x + 2*z, -398*x = -396*x - 5*z - 24072. Does 16 divide x?
False
Let n be 2 + (-16)/6 + (-44)/(-12). Suppose 4*f - 5*z - 2 = 10, 0 = -f - n*z + 3. Suppose r = q - 100, f*q + q - 2*r = 392. Is q a multiple of 16?
True
Let l = -135 - -135. Suppose 2*u - h - 36 = 3*h, -4*u - 4*h + 108 = l. Is 3 a factor of u?
True
Let g(b) = b**3 + 4*b**2 - 9*b - 11. Suppose -4*z - 9*z = 65. Does 2 divide g(z)?
False
Let d be (-5)/((-5)/6)*34. Suppose -5*x + 21 = -4*u + 324, 4*x = -3*u + d. Is 5 a factor of u?
False
Does 16 divide (-9 + -9)*((-7652)/6 + -2)?
True
Let g = 24202 + -17062. Is 14 a factor of g?
True
Is (-3 - (-47 - (-77)/7))*(-490)/(-6) a multiple of 20?
False
Let a be ((-26)/(-91))/((-3)/(-21)). Suppose 2*l - 13 = -2*m + 23, 0 = -a*m + 4*l + 36. Is m even?
True
Suppose -15588 - 48 = -12*i. Suppose 3*a - 4*n - 784 = 0, -2*n - n = -5*a + i. Does 20 divide a?
True
Let j = -3733 + 5476. Does 6 divide j?
False
Suppose 0*d - 20 = -4*d. Suppose 191 = d*s - 24. Let p = s + -24. Is 13 a factor of p?
False
Suppose -16*j + 33*j = 5185. Suppose d - 376 - j = 2*s, -2729 = -4*d + 3*s. Is 45 a factor of d?
False
Let g(b) = 3*b**2 - 27*b - 3186. Is g(75) a multiple of 16?
True
Let f be 2/5 + -12*26/(-195). Suppose -5*c = 4*p - 1748, f*p + 2*c = -c + 872. Is 34 a factor of p?
True
Let g be ((-3)/9)/((-2)/366). Suppose -3*r - 318 = -5*z - 0*r, -4*r - 4 = 0. Suppose 92 = z*x - g*x. Does 23 divide x?
True
Suppose -5*d + 24215 = 5*u, 2*d = 3*u + 5736 + 3930. Is d a multiple of 6?
False
Let t = 308 + -303. Suppose 0 = -t*o - 0*o + 860. Is 31 a factor of o?
False
Suppose -462105 = -2328*g + 2307*g. Is g a multiple of 16?
False
Let z(k) = 13*k + 172. Suppose 18*j - 20*j = 0. Is 14 a factor of z(j)?
False
Let y = -1494 - -2190. Let f = y + -497. Is f a multiple of 6?
False
Suppose 0 = -i + y + 3506, 8*i - 7551 = 3*y + 20517. Is i a multiple of 18?
True
Suppose 0*n = 4*n - 12. Let j be 760 + (-14)/((-56)/(-36)). Suppose -n*h = 5*i - i - j, 0 = 2*h - i - 519. Is h a multiple of 14?
False
Does 47 divide (-196 - -2)/(11/(-44))?
False
Let f be 24/3 + 0 - -10772. Suppose -55*k - f = -69*k. Is 11 a factor of k?
True
Suppose -67*w = -39*w - 973896. Does 22 divide w?
True
Suppose -3*k + 25 = 3*w - 227, 3*k + w - 260 = 0. Let s = 118 - k. Does 2 divide s?
True
Let r = 551 - 534. Suppose 10*a = -r*a + 2052. Is a a multiple of 6?
False
Let p(v) = 12*v**2 + 69*v - 15. Let a be p(-10). Suppose 18*i - a = 17*i. Is 18 a factor of i?
False
Suppose 0 = -2*w + 3*w + 9. Let q be 2 + -4 - w/(9/14). Is (2 - 27/q) + 634/8 a multiple of 11?
False
Suppose -2*q + 6 = -z + 3*q, -3*q = -z - 2. Suppose 0*a - z*a + 20 = 0. Suppose -t = -19 + a. Is 3 a factor of t?
False
Let v(a) be the third derivative of 35*a**2 + 0 - 1/24*a**4 + 1/20*a**5 + 0*a + 1/120*a**6 + 1/6*a**3. Is 2 a factor of v(-3)?
True
Suppose -2*z = -1780*l + 1776*l + 146450, -109850 = -3*l - z. Does 70 divide l?
False
Let f(w) be the third derivative of -w**6/60 + w**5/60 + w**4/12 + w**3/3 - 7*w**2. Let s be f(-1). Is 8 a factor of 6/s*3/(-2) + 33?
False
Let l(f) = 189*f - 31. Let i be (((-4)/(-3))/4)/((-16)/(-96)). Is l(i) a multiple of 18?
False
Let c = 551 + -546. Let i = -6 - -11. Suppose -f + 349 = 2*t, -i*t + c*f - 3*f + 850 = 0. Is 34 a factor of t?
False
Let w(t) = -t**3 - 13*t**2 + 3. Let f be w(-13). Suppose 3*x = -4*u, 2*x + 2 = -3*u + f. Suppose 2*y - 3*i - 151 = -53, 0 = -u*i + 12. Does 17 divide y?
False
Suppose -146 = -4*x + 5*z + 634, -4*x + 3*z + 788 = 0. Let s(r) = -2*r**2 + 89*r - 369. Let i be s(38). Let k = x - i. Is 15 a factor of k?
True
Suppose -5*s = -2*m, 0 = -4*s + 6*s. Suppose -j + 5*n = -140, m = -20*j + 23*j + 2*n - 335. Is j a multiple of 8?
False
Let u = -148 + 189. Suppose -1860 = -46*w + u*w. Does 4 divide w?
True
Let k = 423 + -254. Suppose -29 = 4*u - k. Is 3 a factor of (-28)/u*(-90)/4?
True
Is 14 a factor of -2 - -9836 - (11 - (-11 + 16))?
True
Let j be 0 + 7/(-6*2/(-864)). Suppose 4*s - 612 = -5*f, -2*f + 6*f - 4*s - j = 0. Is 31 a factor of f?
True
Is 25 a factor of (3/(-4))/((-497)/(-284)) + (-95906)/(-14)?
True
Let d = 16 - 12. Let q be (-2)/20*(9 - 3)*-5. Suppose q = -d*o + 35. Is o a multiple of 2?
True
Suppose 15 = 32*g - 33*g. Let t = g + 51. Suppose 0 = 3*h - 3, -4*j + 5*h + t = -3*j. Does 23 divide j?
False
Let d(j) be the second derivative of -j**5/20 - j**4/2 + 4*j**3/3 + 9*j**2/2 - 13*j. Let c(p) = -p - 38. Let k be c(-31). Is d(k) a multiple of 2?
True
Let z(p) = -8*p + 18. Let u(l) = l - 1. Let n(h) = 36*u(h) + 4*z(h). Let x = 4663 + -4642. Does 15 divide n(x)?
True
Suppose -118*r + 119*r = 3. Suppose -2*d - 2*d + 18 = 5*i, r*i - 2 = 2*d. Suppose 2*b - l + 0*l - 35 = 0, 0 = -d*l + 2. Is b a multiple of 6?
True
Suppose -24090 = -3*b + 2*j, 8*j + 32120 = 4*b + 9*j. Suppose 15*y - 3820 = b. Is 17 a factor of y?
False
Let g(o) = -2*o - 1. Let q be g(-2). Suppose -5*v + 3 = -s + 6, -s + 3*v + q = 0. Suppose -s*f - 16 = -5*f. Is 4 a factor of f?
True
Suppose -6*j = -5*j + 4*a - 1089, 0 = -4*a - 20. Does 34 divide j?
False
Let x(l) = 5*l**2 + 8*l + 47. Suppose 4*j = -v + 39 - 9, -j + 3*v = -1. Let m(a) = -2*a**2 - 4*a - 24. Let t(u) = j*m(u) + 3*x(u). Is t(-12) a multiple of 55?
True
Suppose -u - 2 = -6. Suppose -u*f = 6*f - 110. Suppose f*d = 6*d + 1465. Does 20 divide d?
False
Let y(w) = 1974*w**2 + w - 4. Is 10 a factor of y(1)?
False
Let c(m) be the first derivative of 13 + 2*m**2 + 2 + 81*m + 16. Is 40 a factor of c(16)?
False
Is ((-3)/8 + (-19)/(-8))/((-5)/(-37870)) a multiple of 29?
False
Let j(c) = -44*c - 102. Let a be j(12). Let l = a - -1268. Is l a multiple of 22?
True
Suppose r - 5 = -1. Let u(a) = -4*a**3 + 137*a**2 - 32*a - 48. Let p be u(34). Let x = p + r. Does 12 divide x?
True
Let x be (-240)/18*(-18)/(-15)*-3. Does 24 divide (51/(-6) + 1)*(-896)/x?
False
Let m(t) be the third derivative of -t**5/60 - t**4/12 + 2*t**3 - 29*t**2. Let r be m(-11). Let v = 167 + r. Is v a multiple of 18?
False
Suppose 25*u = 10*u + 60. Suppose -5*p + 603 = u*w + 154, 5*w + p = 535. Is 5 a factor of w?
False
Is 80 a factor of (-128)/(-6 - (-18336)/3060)?
True
Let g be ((15/2)/15)/((-2)/(-3296)). Is 19 a factor of 8/(-4*(-4)/g)?
False
Let d(i) = -413*i + 238. Does 32 divide d(-11)?
False
Let r(k) = -9*k**3 - 9*k**2 + 27*k - 1. Let q(g) = -25*g**3 - 27*g**2 + 81*g - 4. Let c(t) = -4*q(t) + 11*r(t). Is c(-11) a multiple of 5?
True
Suppose -12*s + 8*s + 71184 = 2*s. Is s a multiple of 75?
False
Suppose -s = 2*g - 1349, -4*s + 63*g + 5408 = 67*g. Does 24 divide s?
False
Suppose 5*d + 15 = -m, -4*m + 9*m - 3*d = 37. Suppose 0 = 4*x + t + m, 4*x + 10 = 4*t + 30. Let b(q) = q**2 - q + 21. Is b(x) a multiple of 21?
True
Suppose -5*m + 60 = -3*q - 96, 3*m - 4*q = 87. Suppose 4*i + 2*w = 32, -5 = -i + 10*w - 9*w. Suppose v - m = -i. Does 26 divide v?
True
Let p(g) = -g**2 - 8*g + 38. Let k be p(-11). Suppose 0 = -13*m + k*m + 2712. Is m a multiple of 13?
False
Suppose n - p = -5*p - 62, -5*p - 20 = 0. Let x = 59 - n. Does 3 divide x?
True
Let v(c) = -c**2 + 7*c + 3. Let s be v(7). Suppose 0 = s*b - 328 + 10. Suppose 106 = 2*m - m + u, -m - 2*u = -b. Is m a multiple of 16?
False
Let l = -1527 + 9291. Is 13 a factor of l?
False
Let d = -195 - -209. Suppose 4*h - 345 = 3*o, 2*h - 4*o - 166 - d = 0. Does 14 divide h?
True
Let c(h) = h**2 - 110*h - 185. Is 52 a factor of c(-36)?
False
Let i(q) = -7*q - 5 + 55*q + 8 - 2. Let o be i(1). Suppose o*b - 70 = 48*b. Is 7 a factor of b?
True
Let g(d) = d**3 - 16 + 2*d**2 - 8 + 0*d**2 - d - 4*d**2 + 21. Does 15 divide g(6)?
True
Suppose 3*g - 5*r - 10946 - 6156 = 0, 4*r = -4. Is g a multiple of 139?
True
Let g be (23 + -6)/1*17. Suppose -183 + g = r. Does 50 divide r?
False
Suppose -c = -1, j = 5*c + 40449 - 2075. Is 224 a factor of j?
False
Suppose -2 = -3*d + w, -3*d + 2*d + 6 = -3*w. Let a = 1599 - 1588. Suppose k + 60 = 2*j + a, -5*j - 2*k + 127 = d. Does 2 divide j?
False
Let u(g) = 370*g + 1043. Is u(16) a multiple of 16?
False
Let j(s) = -s**3 + 2*s**2 + 2*s - 5. Let m be j(4). Let q = -25 - m. Suppose -4*d - 115 + 507 = q*w, -w + d = -108. Is 25 a factor of w?
False
Let o(v) = -v**2 + 6*v - 6. Let d be o(4). Suppose 15 = d*x + 3*x. Is (239 - x)/4 + 1 a multiple of 15?
True
Suppose 2580 = 