a = -k + 1725. Is 38 a factor of a?
True
Let x = 9 - 6. Suppose -4*c = -x*r + 449, 0 = -c - c + 8. Suppose 3*l + r - 443 = 3*h, 0 = 5*l - h - 492. Does 31 divide l?
False
Let a = -31492 - -43393. Does 15 divide a?
False
Let d = -293 - -35. Let v = 304 + d. Is v a multiple of 2?
True
Let i = -3707 - -4927. Is 61 a factor of i?
True
Let z = -18103 + 55147. Does 49 divide z?
True
Let h = -20 - -3. Let i(d) be the third derivative of -d**6/120 - 4*d**5/15 + 5*d**4/8 - 25*d**3/6 - 519*d**2. Is i(h) even?
False
Suppose -3*z = -5*q - 46, -q = 10 - 5. Suppose 0 = u + z*i - 6*i - 66, 0 = -5*u + 3*i + 290. Is 6 a factor of u?
False
Suppose 34 = -3*y + 52. Let u(g) = -135*g**2 + 7*g + 6. Let b(c) = c**2 + c + 1. Let p(n) = y*b(n) - u(n). Is p(1) a multiple of 14?
True
Let f = 81608 + -51611. Does 99 divide f?
True
Suppose 3*k = -h + 60 + 15, -2*k = h - 73. Let u = 73 - h. Suppose 0 = -u*z + 118 + 218. Does 28 divide z?
True
Suppose 3*b - 13 = -3*a + 5, 5*a + b - 22 = 0. Let r = -2 + a. Suppose 0 = -2*i - r*u + 172, 2*u - u + 442 = 5*i. Is 11 a factor of i?
True
Let v = 9 + -10. Let d be ((-224)/64)/(v*(-1)/(-2)). Suppose -d*j + 13*j - 1188 = 0. Is j a multiple of 22?
True
Suppose -372*s = -6231114 - 4548330. Is 39 a factor of s?
True
Suppose -1589 = -2*k + 2*a + 2325, -4*a - 9784 = -5*k. Does 15 divide k?
False
Let n be (6/(-12))/(1/34). Let l(z) = z**3 + 16*z**2 - 23*z + 12. Is 13 a factor of l(n)?
False
Suppose 0 = 3*z + 21*z - 68640. Is 4 a factor of z?
True
Suppose 91*y - 2995173 = -32*y. Is y a multiple of 276?
False
Let l be ((-7)/42)/((-2)/36). Suppose -16*g = -l*g - 624. Is 5 a factor of g?
False
Let x(h) be the second derivative of 1/12*h**4 - 4/3*h**3 + 0 + 8*h + 3/2*h**2. Is x(14) a multiple of 13?
False
Let o(j) = 554*j + 926. Is 36 a factor of o(30)?
False
Let n be 28/(-10) - -3 - 32/10. Let y be ((-12)/n)/(20/290). Suppose -172 = -2*s + y. Is 16 a factor of s?
False
Let m = -3849 + 7704. Does 11 divide m/39 + (-28)/(-182)?
True
Let o(n) = -14*n**2 - 5*n - 9. Let x be o(-7). Let q = x + 432. Let c = 443 + q. Does 8 divide c?
False
Is 16 a factor of -8*83*32/(-16)?
True
Let l(c) = 2*c**2 + 126*c - 701. Is l(-69) a multiple of 34?
False
Suppose 5*l + 56 = 4*z, -40 = -z - 3*z + l. Suppose 0 = -z*p + 4*p + 150. Suppose 0 = 4*r - 9*r + p. Is 3 a factor of r?
True
Let w be (1/(-3))/((-7)/8169). Suppose -3*h + w + 139 = 0. Suppose -p + h = 3*p. Is 11 a factor of p?
True
Let m = 16581 - 8982. Is m a multiple of 5?
False
Let x be (-836)/(-4) - -8*(-1)/2. Let b = x + -166. Does 39 divide b?
True
Let s = 103 - 95. Suppose -2517 = -14*n + s*n + q, 0 = n - 5*q - 405. Is n a multiple of 15?
True
Let g = -136 + 64. Let n = 522 - g. Is 66 a factor of n?
True
Is 18 a factor of (-14 + 38)/(-3) - -958?
False
Let f(b) = -291*b**3 + 4*b + 4. Let s be f(-1). Let h = -149 + s. Is 4 a factor of h?
False
Suppose -4*t + 2797 - 365 = 0. Suppose -5*y = -3*y - t. Is y a multiple of 16?
True
Suppose 64 = -10*w - 76. Does 40 divide (-412756)/(-532) - (-2)/w*-1?
False
Let i = 310 - 80. Suppose 0 = 5*c - 155 - i. Does 7 divide c?
True
Suppose -23*b + 152 = -538. Suppose -b*x + 32*x - 500 = 0. Does 10 divide x?
True
Suppose -6*g - 58 = -8*g. Let k(x) = -g*x**2 + 23*x**2 - 3*x + x**3 + 5*x. Is k(6) a multiple of 7?
False
Let f be (0 + 8/(-14))*-7. Suppose -101 = f*y - 389. Is y a multiple of 18?
True
Suppose z - 18698 = -2*m, -2*z - z = 18. Is m a multiple of 69?
False
Suppose -2*i = m - 8812, -i - 1 = 3. Suppose 2*t = 16*t - m. Is 15 a factor of t?
True
Suppose -4*h + 96256 = 4*j, 50*h = -3*j + 1030735 + 172559. Is h a multiple of 14?
True
Suppose 6 = 2*s + 2, -2077 = -i - 4*s. Is i a multiple of 9?
False
Let t(g) = 22*g - 5. Let q be t(1). Let j be (q - 15)/((-2)/(-10)). Suppose j*r + 1063 - 3303 = 0. Is r a multiple of 14?
True
Suppose 25*w - 26*w + 18614 = 4*o, 2*o - 3*w = 9300. Is o a multiple of 99?
True
Let r(s) = 2*s**2 - 4*s**2 + 3*s + 3 + 9*s**2 - 4*s**2. Let u be r(0). Suppose 69 = u*g - 270. Is g a multiple of 15?
False
Let u be (-57)/57 + 84/(-3). Let t = -2 - 1. Let p = t - u. Is p a multiple of 3?
False
Suppose -4*z = 2*q - 6, -4*z + 7*q = 2*q - 13. Suppose 101*k - 28 = 87*k. Suppose 153 = z*p + k*h + h, 0 = -5*p + 3*h + 330. Does 23 divide p?
True
Suppose 24 = -q - 3*q. Let y be 3/q + (-2 - 543/(-6)). Let a = y + -16. Is a a multiple of 9?
True
Suppose 5*x + 80 = -3*k, -x = -3*x + 4*k - 6. Let f = 11 + x. Does 11 divide (f*6/8)/((-6)/440)?
True
Let a be ((-4)/(-3))/((-4)/6)*-460. Suppose 5*v + 2*o - a = -3*o, -5*v = -3*o - 944. Is v a multiple of 17?
True
Suppose -2*s + 4120 = 4*b, 7424 = 3*s + 3*b + 1265. Is 23 a factor of s?
False
Suppose 30 = -37*o + 42*o. Is 10 a factor of (o/(-4))/(24/(-13280))?
True
Suppose 3*d - 5*q = 44736, -5*d - 19*q = -23*q - 74560. Is d a multiple of 133?
False
Let q(g) = -9*g + 9. Let p(v) = -9*v + 10. Let a(o) = -3*p(o) + 2*q(o). Let s = -44 + 55. Does 12 divide a(s)?
False
Suppose -5*u = -2513 - 447. Let v = u - 71. Is 65 a factor of v?
False
Let j(x) = -414*x + 308. Is j(-14) a multiple of 28?
True
Suppose -4*n = -0*n - 16. Suppose -3*i = -b + 4, 2*b + 2 = -3*i + n*i. Does 18 divide (-5 + 4)/(i/162)?
False
Let z = -34164 + 39018. Is 6 a factor of z?
True
Let i be 15 - (-3 - -4)/(0 - 1). Suppose 2*c - 4*r - 476 = -i, -4*r - 1144 = -5*c. Suppose -6*g + c = -4*g. Is 38 a factor of g?
True
Does 51 divide 11 - 3 - 1398/6*-8?
False
Suppose -419*t + 1988 = -423*t. Let x = 849 + t. Is 8 a factor of x?
True
Let w(c) = c**2 + 3*c - 20. Let y be 14/6*(-39)/52*-4. Is w(y) a multiple of 3?
False
Suppose 32*y - 240618 = 15*y. Suppose 53*m - y = 156. Is 9 a factor of m?
True
Let q = 35 + -35. Suppose -39 = -r - t + 4, q = -4*r - 5*t + 175. Is r a multiple of 10?
True
Suppose 5*k = -12*k + 1751. Let t = 169 - k. Does 5 divide t?
False
Suppose -5*n = c - 6729 - 29695, 7*n - 5*c - 51032 = 0. Is n a multiple of 22?
False
Let w(r) = r**3 + 4*r**2 - 6*r - 24. Let p be w(-3). Suppose 590 = p*j + 5*g, -8*g = -2*j - 6*g + 404. Is j a multiple of 10?
True
Let w = 13366 - 6615. Is 10 a factor of 2/4 - w/(-86)?
False
Let g = 446 - 428. Is 4/2*(14085/g - 9) a multiple of 17?
True
Let q = 261 + -267. Does 17 divide (-37668)/(-69) + q/(-69)?
False
Let w = 28512 + -15532. Does 44 divide w?
True
Suppose 4*h - 47630 = -16*r + 17*r, -47634 = -4*h - r. Does 26 divide h?
True
Let k = 7300 + -6920. Is 3 a factor of k?
False
Suppose 2*d - 5*r - 36410 = 0, -4*d - 61*r = -60*r - 72798. Is d a multiple of 26?
True
Let y = 10219 - 8119. Is y a multiple of 42?
True
Let w be (414/12)/((-30)/8 - -3). Let s = w - -210. Is s a multiple of 24?
False
Let b(v) = -v**2 + 12*v. Let q be b(18). Let k be (-2)/3*q/(-1). Is (-2)/9 + (-1744)/k even?
True
Suppose 76*i + 112792 = 2601221 - 33249. Does 355 divide i?
True
Suppose g + 2*t = -2*g - 24, -27 = 3*g + 3*t. Let c be (39/g + -2)*(-1 + 7). Let j = c + 211. Is 40 a factor of j?
True
Suppose -5*g + 40504 = 3*i, 3*i - 3*g + 2857 - 43297 = 0. Does 35 divide i?
False
Let g = -38 - -33. Let u = -2 - g. Suppose 4*m - 229 = u*d, -29 = -m - 2*d + 31. Is 29 a factor of m?
True
Let r(y) be the third derivative of 0*y + 1/2*y**3 - 14*y**2 - 1/24*y**4 + 1/10*y**5 + 0. Does 12 divide r(-3)?
True
Let r(v) = -v**2 + 6*v + 20 - 7*v - 19. Let i(n) = 4*n**2 - 2*n + 3. Let q(s) = i(s) + 3*r(s). Is 3 a factor of q(5)?
True
Suppose 166 + 194 = -2*g. Let v = 4120 - 4219. Let t = v - g. Is t a multiple of 9?
True
Let w = 41769 + -18319. Is 14 a factor of w?
True
Suppose -5*y + 15 = -2*y. Suppose -3*c + 623 = -w, -y*c + 2*w + 1039 = -0*c. Let h = c + -126. Is 9 a factor of h?
True
Let x be (-3)/(-12)*5422*(-42)/(-21). Let k = -1058 + x. Is 87 a factor of k?
True
Suppose 19*h = -25 + 6. Let w(s) = -587*s - 2. Is w(h) a multiple of 65?
True
Let l = -15 + 15. Suppose 10*f - 3*f - 966 = l. Is f a multiple of 23?
True
Let b(r) = -5*r - 71. Let s be b(-15). Suppose -5*m - 2*c + 530 = 2, m + s*c = 120. Does 4 divide m?
True
Let q(g) = -8*g**3 - 10*g**2 + 4*g - 2. Let c(l) = 9*l**3 + 11*l**2 - 4*l + 3. Let t = -9 - -15. Let k(u) = t*c(u) + 7*q(u). Is k(-4) a multiple of 26?
True
Suppose -50964 = -14*b + 121474. Does 31 divide b?
False
Let a = -10523 - -17189. Suppose -108*h + 102*h + a = 0. Is 42 a factor of h?
False
Let d(k) be the first derivative of -k**