-16)/6*(-5 + 14/4). Suppose -3*a + 33 - 197 = -2*k, -4*k - s*a = -348. Does 4 divide k?
False
Suppose 5*j - 9*v = -12*v + 946, 5*v + 970 = 5*j. Is j a multiple of 5?
False
Let q(i) = 2*i + 1. Let d be q(5). Let a be 2*6/(-66) - (-2114)/d. Suppose 2*t = 6*t - a. Is 22 a factor of t?
False
Does 31 divide 6234 - (-8 + -7 - -10)?
False
Let i = 305 - 207. Suppose 103*t - i*t = 240. Is 16 a factor of t?
True
Suppose 4*t = 4*o - 118172, -31*t + 5 = -32*t. Is 18 a factor of o?
True
Suppose -458*l + 3200681 = -370053 - 1732906. Is l a multiple of 5?
True
Let v = -3258 + 9757. Is 12 a factor of v?
False
Suppose 527 = -2*r + 3*r + w, r - 536 = -4*w. Suppose r - 2078 = -3*k. Suppose -5*b + k - 78 = 0. Is 22 a factor of b?
True
Let o be 4/6*(234/12 + 3). Is 16 a factor of 525 + ((-36)/60)/((-3)/o)?
True
Suppose 0 = 3*h - 5802*c + 5803*c - 32241, 5*c = -2*h + 21507. Is 6 a factor of h?
True
Let k = -97 + 69. Let f = 184 + k. Let o = f - 93. Is o a multiple of 9?
True
Is 1/(((-2)/(-20))/(497/14))*5 a multiple of 3?
False
Suppose 16 = -4*o + 72. Suppose -d + 170 = 2*k, -10*k + 15*k - 485 = 5*d. Let v = k + o. Is v a multiple of 25?
False
Suppose 8*m - 1449 = m. Let a = m - 186. Does 2 divide a?
False
Let k = 85 - 67. Suppose -1778 = 4*r - k*r. Is r even?
False
Let j = 2781 - 789. Does 166 divide j?
True
Does 37 divide (-47)/((-11)/3256*8)?
True
Let y be (-232)/(-28) + (-4)/14. Suppose 13*z = 11*z + y. Suppose -261 = -4*s - w, -z*w - 192 = -3*s - w. Is s a multiple of 8?
False
Is 7309 + 4*(17 + -19) a multiple of 49?
True
Let b(j) = -j - 1. Let g(n) = 4*n + 37. Let p(i) = 2*b(i) + g(i). Let x be p(-18). Is 108 + x*-1*(-9)/3 a multiple of 21?
True
Is 29 a factor of 570556/71 - (-2)/(6/(-9))?
True
Is 75 a factor of (-551215)/(-490) + -3 + (-43)/(-14)?
True
Let a(w) = -382*w + 966. Is 44 a factor of a(-3)?
True
Suppose 3374605 = 119*c - 2295507. Is c a multiple of 32?
True
Let w be ((-8)/3)/(-3 + (-7)/(-3)). Suppose w*c - 3*u = -7*u - 12, 5*c = -2*u. Suppose -b = c - 6. Is b a multiple of 4?
True
Let m(j) = -1012*j**3 - j**2 - j - 2. Does 14 divide m(-1)?
False
Let r = -13 - -216. Let t = 317 - r. Is t a multiple of 19?
True
Let o be (4/14)/((2/7)/2). Suppose 0 = -2*y + 4*p + 116, p + 7 = o. Does 8 divide y?
True
Suppose 3*y - g + 507 = 0, 2*y - 36*g + 40*g + 352 = 0. Let q = y - -392. Is q a multiple of 29?
False
Let z = -308 + 316. Let d(v) = -8*v + 118. Is d(z) a multiple of 27?
True
Suppose -3*j + 5070 = -5*b, 2*j - 3336 = -178*b + 174*b. Is j a multiple of 40?
True
Suppose 3776 = 5*j + 3*d, -6*j - 4*d + 3778 = -j. Is 2 a factor of j?
True
Suppose 44*o - 8 = 43*o. Let l(k) = -k**2 + 9*k + 1. Let a be l(o). Does 12 divide (6/5)/(a/120)?
False
Let m(u) = u**2 - 10*u + 16. Let q be m(9). Suppose 2*h = j + 33, 3*h - 2*j = -q*j + 17. Let x = 2 + h. Does 8 divide x?
True
Suppose 1760 = 5*p + 2*s, p - 355 = 2*s - 3*s. Suppose 0*v - v = 5*h - 432, -3*v + p = 4*h. Is 28 a factor of h?
False
Suppose -56285 = -5*c + 571*a - 570*a, c = 5*a + 11257. Is c a multiple of 21?
False
Let h be 20/(-6)*(-114)/5. Suppose h - 72 = 4*y. Let u(o) = 90*o**3 + 2*o**2 - 3*o + 2. Is 27 a factor of u(y)?
False
Let a(q) = 1659*q - 17. Does 17 divide a(5)?
False
Suppose 2*y = 2*r - 592, 5*r - 38*y + 35*y - 1488 = 0. Is r a multiple of 30?
True
Let c(k) = k**3 + 4*k**2 - 5*k - 15. Let y be c(-5). Let w(z) = -z**2 - 21*z - 24. Is 11 a factor of w(y)?
True
Let o = -213 - -212. Does 24 divide -138*(12/4)/o?
False
Let z(p) = p**2. Let h(g) = -3*g**2 - 11*g + 3. Let k(v) = -h(v) - 2*z(v). Suppose 76*a - 11 + 923 = 0. Is k(a) a multiple of 3?
True
Suppose -180639 + 1009287 = 68*f. Is f a multiple of 9?
True
Is 144 a factor of 2052*(-192)/18*(-9)/6?
True
Let c be (4 - -1)*(-18278)/(-130). Suppose -6*u - 175 = -c. Does 6 divide u?
False
Let h be -6*(-2)/12 - -4. Suppose -3*n + 4*n + 4*s - 216 = 0, h = -s. Does 17 divide n?
False
Let j(x) = -x**2 - 61*x + 51. Let c = -423 + 387. Is j(c) a multiple of 69?
False
Let s be ((-4)/(-14))/((-5)/(-35)). Suppose 5*f = 5*t - 5, 4*f = -5*t - s - 2. Suppose -5*v - 2*o + 90 = 0, t*v - 2*v + 3*o + 17 = 0. Is 3 a factor of v?
False
Let a(i) = 26*i - 7. Does 10 divide a(23)?
False
Suppose -219 = -3*l - 5*f, -3*l = 3*f - 161 - 52. Suppose -5*b = -l - 167. Is 3 a factor of b?
False
Suppose 0 = -2*l + 3 + 3, 2*l - 22 = -4*w. Let u be ((-2)/w)/(4/(-16)). Suppose -u*o = -3*o + 78. Is o a multiple of 20?
False
Let i = -1 - -10. Suppose -147 + 350 = -3*u + 2*h, 2*u - 5*h = -117. Is 28 a factor of 34/(-85)*(u*i - 1)?
False
Let g = -35 + 38. Suppose -g*o - 7 = 38. Let v(a) = -2*a + 15. Does 15 divide v(o)?
True
Let u = -10 + 13. Suppose -5*l - b + 202 = 2*b, 3*l + u*b = 126. Suppose -3*s + l = 14. Is 4 a factor of s?
True
Does 2 divide ((-696)/24)/(70/75 + -1)?
False
Let v = 40 + -22. Let u be (v/4)/((-6)/(-8)). Suppose g = u + 26. Is 16 a factor of g?
True
Is -2 + 4794640/300 + 1/(30/(-4)) a multiple of 10?
True
Suppose -6*y - y - 273 = 0. Let i(p) = 10*p - 22. Let q be i(-4). Let c = y - q. Is c a multiple of 5?
False
Let s(f) be the first derivative of -2*f**2 + 10*f + 4. Let k be s(2). Suppose -2*c + 7*c = -d + 132, 0 = -k*d + 2*c + 252. Is 24 a factor of d?
False
Let s = 352 - -1602. Let y = -1087 + s. Is y a multiple of 42?
False
Suppose 75919 + 56871 = 14*i. Suppose 5*v - 2*d - i = 0, 0 = -4*v - 7*d + 8*d + 7591. Does 44 divide v?
False
Suppose 0 = -630*a + 316*a + 317*a - 13893. Is a a multiple of 11?
True
Let w be (-6)/3 - -3 - 331. Let z = w - -184. Let v = 410 + z. Is v a multiple of 44?
True
Is 136 a factor of -17 + (23 - 21) + 28532?
False
Let t(x) = -50*x + 49*x - 6*x**2 + 7*x**2 - 9 + x**2. Does 16 divide t(5)?
False
Let f(n) = -2*n**3 - 12*n**2 + 14*n - 114. Is f(-11) a multiple of 3?
True
Let f(s) = 6*s**3 + 2*s**2 - 26*s - 2. Let t be f(5). Suppose -6*k - t = -10*k. Does 9 divide k?
False
Let s(o) = -36*o - 7. Let z = 14 + -41. Let x = z + 25. Is s(x) a multiple of 17?
False
Suppose -87*i - 2*d + 5984 = -86*i, 0 = -6*i + d + 35943. Is 44 a factor of i?
False
Let h(g) = -g**3 - 5*g**2 - 45*g + 6. Is 24 a factor of h(-22)?
False
Let r = 11207 - 10227. Is r a multiple of 4?
True
Suppose u - 27 = -25. Let t be (5/u)/(14/1008). Suppose 10*s = 16*s - t. Is s a multiple of 17?
False
Let n(r) = 14*r - 173. Suppose 4*u = 142 - 50. Is n(u) a multiple of 11?
False
Let c(s) = s**3 + 6*s**2 + 15*s - 2. Let w be c(-2). Suppose 4*d + 5*m = 4*m + 9, 0 = 3*d + m - 7. Let q = d - w. Is q a multiple of 9?
True
Suppose 0 = 48*u - 16673 - 6175. Is u a multiple of 17?
True
Let q(s) = -s**3 - 15*s**2 - 16*s + 4. Let f = 59 + -73. Let j be q(f). Suppose j = -w + 53. Is w a multiple of 7?
True
Let y(j) = -2*j**2 - 4*j. Let s be y(2). Let o be s/(-2)*(-12)/24. Is (o/(-2))/(12/114) a multiple of 4?
False
Let g(c) = 2 + 1 + 6 - 5 - 17*c + 122*c. Suppose -5*n + 15 = 0, -4*n + 8 = -3*d - 1. Is g(d) a multiple of 23?
False
Let z(a) = a**3 + 25*a**2 - 4432*a - 31. Is 71 a factor of z(59)?
True
Suppose 5*c - 1923 = 4*w, 2*w + 51 = 47. Is 11 a factor of c?
False
Let g(w) = 3*w**2 + 230*w + 438. Is 15 a factor of g(-87)?
True
Let c(m) = m**3 + 16*m**2 + 12*m + 15. Let y(h) = -h**3 + 21*h**2 + h - 4. Let s be y(21). Let o = s + -32. Is 12 a factor of c(o)?
True
Let f be (-1656)/(-324) - (-8)/(-72). Suppose 3*a - 9 = 0, 2*a = 5*h + 5*a - 19. Suppose -4*v - f*q = -248, 3*v - 4*v + 49 = -h*q. Is v a multiple of 13?
False
Let i(d) be the second derivative of -d**5/20 - d**4/12 - d**3/3 + 36*d**2 - d. Let o = -9880 + 9880. Does 36 divide i(o)?
True
Let p be (-38)/(-57)*(-798)/4. Let l = 250 - p. Does 20 divide l?
False
Let c(s) = -3*s**3 - 15*s**2 + 60*s - 75. Is c(-17) a multiple of 14?
False
Let j = -113 - -124. Suppose 0 = 7*q - j*q + 384. Let s = q + 2. Is s a multiple of 14?
True
Suppose 26*s + 816 = 27*s - 4*h, -5*h - 811 = -s. Is s a multiple of 2?
True
Let v(s) be the first derivative of s**4/4 + 11*s**3/3 - 7*s**2 + 21*s + 93. Does 15 divide v(-12)?
True
Let l = -261 + -18. Let g be 2/(-1 + -1)*183. Let s = g - l. Does 5 divide s?
False
Let z(g) = -2*g - 68. Let a be z(-34). Suppose 3*j - 2*j - h - 84 = a, -3*j - h + 240 = 0. Is 9 a factor of j?
True
Let f(i) = 56*i**2 + 989*i - 3. Is f(8) a multiple of 96?
False
Let w(o) = -11 + 15 + o**2 + 7 + 3*o**2. Let h(m) = m**2 - 19*m + 23. L