se 218 = f + 5*l, 2*l = -f - 4*f + 998. Does 17 divide f*((-35)/(-10))/h?
False
Let s(m) = -m**2 + m - 1. Let h(b) = 350*b**2 - 1. Let o(a) = 2*h(a) - 6*s(a). Does 32 divide o(1)?
True
Let a(k) be the third derivative of 49*k**4/24 - 19*k**3/3 + 10*k**2. Let u be a(7). Suppose -x = -4*c - 22 - 71, 3*x + c = u. Does 9 divide x?
False
Let f be ((-616)/(-14))/((-4)/(-58)) + 6. Suppose -f = -l - 3*l - 5*s, l = -s + 161. Is 21 a factor of l?
False
Let b be 3 + 134/5*(0 + 20). Suppose -k = 3, -p - p + 3*k + b = 0. Is p a multiple of 17?
False
Let z be (-6)/3*(-12)/8. Suppose -4*y + 3*j - 4*j + 107 = 0, -z*y - 5*j = -93. Let c = y - -74. Is c a multiple of 20?
True
Suppose 4*z = 4 - 8. Let q be 2 + z + 0 + 0 + 2. Suppose r + 4*r + q*x = 47, -4*x = 3*r - 26. Is 5 a factor of r?
True
Let h = 50229 + -26068. Does 31 divide h?
False
Let j(n) = n**2 - 3*n - 20. Let q be j(6). Let f be q/4 + (-21)/12*-2. Is ((-4)/f)/((-2*1)/108) a multiple of 9?
True
Let m(u) = -u**3 - 9*u**2 + 20*u - 18. Let y be m(-11). Let r(v) = 11*v**3 - 4*v**2 - 17*v - 3. Is r(y) a multiple of 5?
False
Suppose 2*m - 5 = 5*t - 1, -4*m + 3*t + 8 = 0. Suppose v + 7*v = -17*v. Suppose v = m*w + 6*w - 200. Does 7 divide w?
False
Let j = 35 - 105. Let u = -66 - j. Is 24 a factor of 358/5 - (88/(-20) + u)?
True
Suppose u + 175 + 598 = 0. Let s = 1590 + u. Is s a multiple of 19?
True
Let k be 32/6*(-30)/4. Let y = k + 80. Suppose 45*t - y = 44*t. Is 6 a factor of t?
False
Let v(h) = -2*h + 30. Let n(b) = b - 1. Let w(y) = 1. Let d(i) = -n(i) - 2*w(i). Let l(q) = d(q) + v(q). Does 17 divide l(-30)?
True
Let k be (-1 + 32/24)/((-1)/(-12)). Suppose -k*c + t + 46 = -4*t, -20 = -c - 3*t. Is 4 a factor of c?
False
Suppose -4*g + 6*n + 11874 = 8*n, -5931 = -2*g - 3*n. Is g a multiple of 54?
True
Let o(l) = l**3 + 9*l**2 - 2*l. Let g(z) = 3*z**3 + z**2 - 2*z + 2. Let h be g(2). Let b = h + -34. Is 8 a factor of o(b)?
True
Let k(b) = 13*b**2 - 4*b + 12. Let r be k(4). Let l = 114 - 24. Let j = r - l. Is 23 a factor of j?
False
Suppose -8*y = -12005 + 2789. Suppose -3*d = 3*x - 744 - 135, d = 4*x - y. Suppose 2*m - 4*m - 142 = -p, 2*p = 5*m + x. Is 33 a factor of p?
True
Suppose 4*q + 2*g - 7674 = 0, 3*q - 1201 = 5*g + 4535. Does 9 divide q?
True
Suppose -25 = -3*n + 2*k, -2*n + 41 = 3*n - 3*k. Suppose 2*x - 5*u = -12, 2*u - 5*u + n = -x. Does 5 divide ((-9)/6 - x)*-30?
True
Let x(n) = -1262*n - 702. Is 41 a factor of x(-4)?
True
Is 9 a factor of 40*(-1)/(-5) - (-3866)/(4/4)?
False
Let k(x) = -2*x**3 + x**2 + 16*x + 1931. Is k(0) a multiple of 11?
False
Let o(m) be the third derivative of m**7/210 + m**6/360 + m**5/8 - m**4/2 - 16*m**2. Let c(r) be the second derivative of o(r). Does 9 divide c(-3)?
True
Suppose -6*g + 3*g - 5*u = -32, 2*g + 2*u = 24. Suppose -g*n = -24*n + 3360. Is 24 a factor of n?
True
Let p = 1122 - 704. Suppose -p = 6*r - 17*r. Is 2 a factor of r?
True
Let c = -2332 - -5004. Is 25 a factor of c?
False
Let c(v) = v**2 - 2*v + 1739. Let x be c(0). Suppose -x + 389 = -15*u. Is u a multiple of 10?
True
Let r = -3473 + 5617. Is r a multiple of 20?
False
Let x = 3755 - -10805. Is x a multiple of 20?
True
Let k(u) be the first derivative of -u**3/3 - 15*u**2 + 53*u - 200. Let j = 61 - 85. Is 11 a factor of k(j)?
False
Suppose 0 = 185*l + 22*l - 2364768. Is l a multiple of 42?
True
Suppose 2*b - 12 = a, -4*a + 0*a - 2*b = 38. Let m = a + 173. Does 18 divide m?
False
Suppose 3*z - 18 = -0. Suppose -11*l = -z*l - 20. Suppose 5*j - 251 = i, -3*j - 220 = -7*j - l*i. Is j a multiple of 8?
False
Suppose -107 = -2*m - h, -42*m + 37*m + 3*h = -295. Suppose 965 = 3*f - 2*n - m, 4*n - 1027 = -3*f. Is 8 a factor of f?
False
Suppose -18 = 2676*r - 2674*r. Is 22 a factor of (-12580)/(-90) - (20/r + 2)?
False
Suppose 3*o = m + 130 + 170, 0 = -5*m - 3*o - 1428. Let v = m - -337. Is v a multiple of 14?
False
Let s(y) = 2*y + 5 - 1 + 3 - 5. Let k be s(-1). Suppose -3*w = u + 2*w - 13, 4*u + w - 33 = k. Does 2 divide u?
True
Is 108 a factor of ((-216)/(-7))/((-2)/((16 - 9)*-29))?
True
Suppose 2*r - 6804 = -l, -17*r + 19*r + 4*l = 6804. Does 189 divide r?
True
Suppose 4*i = 2*k + 34, -2*i = 3*i - 3*k - 41. Let l(s) = 7*s**2 - 55*s + 20. Let n(x) = -3*x**2 + 28*x - 11. Let t(f) = 2*l(f) + 5*n(f). Does 37 divide t(i)?
True
Let y = -507 + 217. Is 17 a factor of 4*4/(-16) - y?
True
Let r be ((-1)/(-2))/(1/(-2))*-11. Is 11 a factor of r/((-22)/92)*36/(-8)?
False
Suppose s = z + 84 - 0, 4*s - 20 = 0. Let f = z + 49. Is ((-1880)/f)/(6/(-27)*-3) a multiple of 12?
False
Let o be (-2 - 0) + 265/(-5)*-37. Suppose m + 3*v = -2*m + 1473, -4*m = -v - o. Is m a multiple of 14?
True
Let l be 9/(-2)*(-32)/72. Suppose -y + 73 - 12 = l*q, -2*y - 3*q = -117. Is y a multiple of 6?
False
Let k(t) = 9*t**2 - 274*t - 252. Does 7 divide k(81)?
True
Suppose -r = -4*d + 5*d + 1, 17 = -3*r + 4*d. Let p(u) be the first derivative of 5*u**3/3 - 11*u**2/2 - 2*u - 1002. Is 17 a factor of p(r)?
False
Let c(j) = 18*j**3 - 2*j**2 + 47*j - 234. Is c(7) a multiple of 72?
False
Suppose -5*h = 4*d - 512, -h + 0*h = 2*d - 100. Suppose 0 = -o + 2*f + 3*f - 12, -2*f = 3*o + h. Let r = o + 84. Is 14 a factor of r?
False
Let b(a) = 5*a**2 + 10*a - 3. Let z be b(-3). Let m be 820/z - 1/3. Let r = m - 56. Is 4 a factor of r?
True
Let j be -47 + 44 - (-1 - 7). Suppose 0 = 5*a - 3*g - 1666, a + 1020 = 4*a + j*g. Is a a multiple of 31?
False
Suppose -3*w + 3*v = 0, w = -w - 4*v. Suppose w = -3*n + 132 + 102. Is 26 a factor of n?
True
Suppose 0 = 342*t - 333*t - 1125 - 50058. Is t a multiple of 21?
False
Let s = -23001 - -39273. Is 72 a factor of s?
True
Let m(h) = -16 - 10 + 13 - 135*h. Is 25 a factor of m(-2)?
False
Let q = 6536 - 10631. Is 22 a factor of q/(-1 + -6) - -9?
True
Let u = -283 - -288. Suppose -4*b - u*n = -4*n - 1222, 3*b - 908 = -5*n. Is b a multiple of 17?
True
Let h(t) = -t**2 - 27*t + 33. Let z be h(-27). Suppose 0 = z*j - 1320 - 231. Is 2 a factor of j?
False
Let v(i) = -5*i**3 + 2*i**3 + 4*i**3 - 83 - 31*i**2 + 487*i + 512*i - 930*i. Does 16 divide v(29)?
False
Is -1 + 3/(-10) + 1 - (-7877506)/1820 a multiple of 10?
False
Does 13 divide 80/(-30)*285/20*-26?
True
Let t = 132 + -122. Is 1242/t - 3/15 a multiple of 4?
True
Is 2 a factor of (-67)/((41/41 - (-2)/(-4))/(-5))?
True
Let y = 9160 - 6954. Is y a multiple of 8?
False
Let f(c) = -c**2 - 11*c + 6. Let q be f(-6). Let b = 107 - q. Suppose -8*a + 153 = -b. Does 12 divide a?
False
Suppose -2*i = -3*v - 13, -v + 1 + 8 = i. Suppose 0 = -i*m + 5*m. Suppose 2*j = -5*u + 329, m*j + 2*j - 326 = -4*u. Is j a multiple of 15?
False
Let l(t) = -2*t**2 - t + 836. Let v = -150 + 150. Is l(v) a multiple of 38?
True
Let k(s) = -s - 1. Let q(w) = -5*w + 22. Let a(n) = -3*k(n) + q(n). Let v be a(13). Is 8 + (v + 2 + 0 - 2) a multiple of 7?
True
Let u = -17970 + 18854. Does 16 divide u?
False
Let u(t) = -3*t**3 + 7*t**2 - 6*t + 8. Let z be u(3). Does 13 divide 3 + (-385)/(-22)*z/(-10)?
True
Let j(y) = 3159*y**2 - 69*y + 129. Is 207 a factor of j(2)?
True
Let x(w) = -3*w**3 - 5*w**2 + 9*w + 6. Is x(-6) a multiple of 15?
True
Suppose -664*i + 2672648 = -576*i. Is 11 a factor of i?
True
Let t be 3012/(-7) + (4/14 - 0). Let x = t + 166. Is 18 a factor of (260/25)/(2 + x/135)?
True
Let z(k) be the first derivative of k**4/4 + 2*k**3/3 - 25*k**2/2 + 8*k + 111. Does 27 divide z(10)?
False
Suppose 14*y - 12*y = -m + 15, 4*y + 48 = 4*m. Suppose 0 = -4*t - 2398 - 482. Does 21 divide m/(546/t)*(0 + -7)?
False
Suppose 146*h = -42*h + 2*h + 5991804. Is 10 a factor of h?
False
Suppose -18*n + 9408 = 2*n + n. Is n a multiple of 28?
True
Let a(c) = 227*c + 229. Let m be a(-1). Let q = 11 - 3. Suppose m*o - 220 = -q*o. Does 4 divide o?
False
Is 3/((-144)/(-330333)) - (-55)/880 a multiple of 2?
True
Suppose -5*l - 5*i = -49660, l - 8230 - 1702 = 5*i. Does 52 divide l?
True
Let r be 4828/(-7) + (-2)/7. Let k = r - -986. Suppose -4*b = -3*d - 294, d - 5*d - k = -4*b. Is b a multiple of 7?
False
Let x(a) = -a**2 + 18*a - 71. Let g be x(9). Is -2*g*(7 + -50) a multiple of 10?
True
Let i(p) = -7*p**2 + 21*p + 19. Let q(c) = -11*c**2 + 32*c + 29. Let m(x) = -8*i(x) + 5*q(x). Let u be m(-4). Let f = 100 - u. Does 29 divide f?
False
Let g(y) = 10*y**3 + 3*y - 2. Let t be g(1). Suppose 13*a - t*a = -232. Let f = a + 141.