et p(d) = d**2 - 2*d - 32. Let u be p(6). Let f be o(u). Suppose f*h - 415 = -k, -2*h - 3*k + 190 = k. Does 17 divide h?
False
Suppose p + 10*s - 1047 = 8*s, 0 = -p + 5*s + 1068. Is p a multiple of 39?
True
Suppose -3*j - 19107 = -3*i, -4*i + 6353 = -3*i - 5*j. Is 83 a factor of i?
False
Suppose 4*q = 4*j + 8264, -q + 3*j = -2553 + 483. Suppose 2*h + 4*h = q. Suppose -4*i + 144 + 127 = -5*z, -5*i + z = -h. Is i a multiple of 31?
False
Suppose 3*t = -5*r + 46431, -46421 = -2*r - 3*r + 2*t. Suppose -11*g + r + 9536 = 0. Is 100 a factor of g?
False
Let b(f) be the first derivative of 11*f**2/2 - 16*f - 4. Let n be b(-7). Let p = -32 - n. Is p a multiple of 20?
False
Suppose -v = 4*v + 5*q + 880, 3*q - 912 = 5*v. Is 27 a factor of v*-6*((-6)/(-5))/6?
True
Does 73 divide 460/(-15)*(908/(-8) + 4)?
True
Suppose -159*a = -622165 - 50405. Is 5 a factor of a?
True
Let l = 10 - 10. Suppose 0 = -0*x + 2*x - l*x. Suppose x = i, g + 4*i + 17 = 2*g. Is 10 a factor of g?
False
Suppose -4*z = -2*x + 2, -x = -3*z + 1 + 1. Let l(s) = s**3 - 7*s**2 + 8*s + 14. Does 14 divide l(x)?
True
Suppose 2*a + 2 = 2*z, 3*z - z - 14 = -4*a. Suppose -z*h - c + 2*c = 1294, -2164 = 5*h + 2*c. Does 30 divide (6/8)/((-3)/h)?
False
Suppose -c - 34 = -2*c. Let o = -71 - -77. Suppose h - c = m - o*m, h = -m + 10. Does 2 divide m?
True
Suppose -45*m + 137206 = -425609. Is m a multiple of 35?
False
Let i = 88 - 49. Suppose -41*m = -i*m - 1306. Is 7 a factor of m?
False
Suppose -3*q = v - 9310, -8*v + 18600 = -6*v + q. Suppose 56*s + 898 = v. Does 30 divide s?
True
Let a(s) = 301*s**2 + 109*s - 112. Does 41 divide a(-9)?
True
Let m = 386 - 319. Is 3 a factor of ((m - -5)/(-6))/(4/(-14))?
True
Is 9136776/240 - -25 - ((-3)/30 - 0) a multiple of 113?
False
Let v = -146 + -46. Let p = v + 262. Is 10 a factor of p?
True
Let r(i) = -i**2 - 9*i - 10. Let x be r(-9). Let q(h) = -h**3 - 9*h**2 + 10*h + 4. Let t be q(x). Is 9 a factor of (-9)/t*(-1456)/39?
False
Suppose 5182 = 2*y + 4*j, 0 = -4*y - j + 13631 - 3295. Is y a multiple of 21?
True
Let s = 6 - 13. Let l(d) = 2*d + 12. Let p be l(s). Is (-73)/(-3) + p/6 a multiple of 6?
True
Let d = 23611 - 10851. Is 220 a factor of d?
True
Suppose -2*k = -f - 89, -2*f - 86 = -2*k + 2*f. Let v = 49 - k. Suppose 3*j + 2*o = 111, -43 + 16 = -j - v*o. Does 3 divide j?
True
Let j = 14181 - 12498. Does 187 divide j?
True
Suppose -3*l + 4*f - 9*f - 103 = 0, 0 = -3*l + 3*f - 111. Let o = l - -305. Is 62 a factor of o?
False
Suppose 11*h + 120 = -12. Does 7 divide (-675)/h - 11/44?
True
Is 77 a factor of -7 + (3/(-7) - (-45765)/63)?
False
Let n(q) = 2*q**2 + 113*q + 581. Does 83 divide n(-83)?
True
Let a(u) = 190*u**2 - 54. Let o(d) = -253*d**2 + 53. Let x(n) = -4*a(n) - 3*o(n). Let l = 1 - 1. Is x(l) a multiple of 11?
False
Let l(m) = 125*m - 124. Suppose 30*v - 10 = 25*v. Does 3 divide l(v)?
True
Let b be (-294)/2 - 2*9/6. Let y = 2 - b. Suppose 5*k - 203 = y. Is 18 a factor of k?
False
Suppose 51*c = 63582 + 53616. Is c a multiple of 71?
False
Let l(m) be the second derivative of m**4/6 + 8*m**3/3 - 55*m**2/2 + 182*m. Does 17 divide l(12)?
True
Suppose 6*u - 20120 = 2*u - 2*s, -3*u - 5*s = -15076. Does 11 divide u?
False
Let s = 12710 + -12691. Let i be 4/6 - 190/(-3). Suppose 4*l + t + s = i, -3*l + 4*t = -48. Does 3 divide l?
True
Let r(m) = 2*m**3 - 65*m**2 + 152*m + 55. Is 11 a factor of r(33)?
True
Suppose 2 = 5*p + 2. Let w be (-55)/(-3)*3 + p. Suppose w = -4*z + 175. Is z a multiple of 30?
True
Let k = 8 - 5. Suppose -m - 4*v = -10, 0 = -m + k*m + 5*v - 14. Suppose 0 = -4*l - 5*b + 45, b + 51 = 5*l + m*b. Is l a multiple of 10?
True
Let y = 466 - 461. Suppose -y*r = h - 47, 2*h - 2*r = -0*r + 130. Does 3 divide h?
False
Let h(k) be the second derivative of -k**5/10 + k**4/12 - k**3/6 - 2*k**2 - 68*k. Does 15 divide h(-3)?
False
Let r(m) = -6*m - 15. Let l be r(1). Let w(i) = i**3 + 19*i**2 - 41*i + 34. Is w(l) a multiple of 3?
False
Let g(u) = -56*u + 4002. Does 46 divide g(0)?
True
Let n = 28921 - 11803. Is n a multiple of 54?
True
Let v(o) = 43*o - 52. Suppose -20*q + 30 = -350. Let x be v(q). Suppose -4*r = -x + 149. Does 11 divide r?
True
Suppose s = -4*x + 82, 37*s + 96 = 5*x + 35*s. Suppose -x*c - 8105 = -44445. Is 105 a factor of c?
False
Let y(a) = 2*a**2 - 26*a + 30. Let j be y(13). Let f be (-29)/(-9) + j/(-135). Suppose 0 = 4*c + 4*b - 312, -80 = -2*c + c - f*b. Is 7 a factor of c?
True
Suppose 0 = -4*o - x + 24, 2*o = -3*o - 5*x + 30. Suppose -5*c = 20, 5*k + 2*c + 144 = o*k. Does 8 divide k?
True
Suppose -p = 3*w - 7839, -40443 = -5*p - 4*w - 1248. Does 3 divide (1 - 3)/(-6*13/p)?
True
Let i = 33162 - 24935. Does 19 divide i?
True
Suppose 5*l - 4*b - 5049 = 10811, -5*b = -2*l + 6327. Let o = l + -1750. Is o a multiple of 23?
True
Let t be (-2)/(-4)*(-6 + -18 + -6). Is ((-175)/t)/(1/(-45)*-3) a multiple of 4?
False
Suppose 11*w - 17 - 16 = 0. Is 69636/(-56)*(-2)/w a multiple of 14?
False
Suppose -120*n + 129*n = 10998. Suppose n = 16*u - 2954. Is 29 a factor of u?
True
Let o(w) = -2*w + 2*w + 125 - 6*w - 161. Let i(x) = x**2 + 10*x + 9. Let s be i(-6). Does 9 divide o(s)?
True
Suppose -3163 = -4*o + 3*b, 3*b = 2*o - 3*o + 772. Suppose 4*q - o = -3*z - 0*q, -3 = -3*q. Does 9 divide z?
True
Suppose 40 = s - 5*p, -p - 128 - 51 = -4*s. Does 84 divide (1176/105)/(2/s)?
True
Let q = -17206 + 21825. Is 149 a factor of q?
True
Suppose -70 - 166 = 4*q. Let r be 2*-1 - q/(3 + -2). Let z = 61 - r. Is z a multiple of 4?
True
Suppose 0 = -39*q + 145*q - 527350. Is q a multiple of 25?
True
Let x be 15/(-6) + 4/(-24)*3. Let a be 0*((-4)/x - 1). Suppose 3*o - 24 - 246 = a. Is 18 a factor of o?
True
Suppose -m + 24 = -22. Let r = 51 - m. Let j(a) = 2*a**3 - 8*a**2 + 8*a - 11. Is j(r) a multiple of 12?
False
Let s = 1381 + 317. Is 6 a factor of s?
True
Let s = -44 + 76. Suppose -7*v - 11 = -s. Does 28 divide 55 + (-5)/((-15)/v)?
True
Let c(z) = z**2 + 2*z. Let y(v) = v + 15. Let u be y(-18). Let l be c(u). Is 100*(l + 7/(-5)) a multiple of 23?
False
Let f(z) = 159*z**3 + 2*z**2 + 10*z - 55. Is 25 a factor of f(3)?
False
Let j = -3641 - -6385. Is 28 a factor of j?
True
Let a = 5 + 1. Let t be a/21 + (-3345)/21. Does 20 divide t/6*-2 + 3?
False
Let f(j) = j**3 - 6*j**2 - 13*j - 3. Let r be f(-3). Is 2508/20 + 18/r a multiple of 26?
False
Let x = 22304 + -21435. Does 7 divide x?
False
Let r(z) = -z**3 + 10*z**2 - 11*z + 5. Suppose 0 = 16*a - 13*a - 24. Let s be r(a). Suppose -155 + s = -10*p. Is 3 a factor of p?
False
Let k(a) = -6*a - 17. Let x be k(-12). Suppose y - x = -5. Does 10 divide y?
True
Suppose 0 = 5*v + 8*v + 130. Is 7 a factor of (v/(-15) - (-15)/9)*27?
True
Is ((-21068)/184)/((-2)/16) a multiple of 30?
False
Suppose 8*k = -15 + 7. Let d be (2/k)/1*(-5)/2. Suppose d*a - 160 = 7*f - 2*f, 0 = -2*a - 3*f + 64. Does 32 divide a?
True
Suppose -2*x + 5*i + 33 = 0, 3*i = 8*i + 25. Suppose 3*h = -4*r + 413, -2*h + x*r = -7*h + 683. Is h a multiple of 13?
False
Let g(k) = -2*k**2 + 45*k + 33. Let x be g(23). Let w be 1064/44 - x/55. Is 11 a factor of (-6)/(-36) - (-596)/w?
False
Let c = -130 + 132. Suppose 4*k + 2*r = 5*k - 7, -c*r = 8. Is 28 a factor of 0 + -7 + 6 + 51 + k?
False
Let b be (-100)/15*(-9)/6. Suppose -b + 8 = i. Is 16 a factor of i/(-3) + (-133)/(-3)?
False
Let a(h) = h - 1. Let d be a(-5). Let p be ((-8)/(-2))/(1/((-387)/d)). Let g = p + -139. Is g a multiple of 17?
True
Suppose 2*r - 33007 = -3*w, -6763 = -5*w + r + 48266. Is w a multiple of 65?
False
Suppose -264600 = -3128*h + 3098*h. Is 14 a factor of h?
True
Let t(r) = 291*r**2 - 4*r + 4. Does 9 divide t(-5)?
True
Let n = -40241 - -49286. Is n a multiple of 31?
False
Let t = -53 + 53. Let d be (166/(-2) + t)*-1. Let u = d + 16. Is u a multiple of 9?
True
Suppose -j - 3*j + 5*m = -18, -4*j + 10 = -m. Suppose 190 = j*b - 400. Does 25 divide b?
False
Let b = 3333 - 1173. Does 30 divide b?
True
Let t(l) = 254*l - 6642. Is 29 a factor of t(33)?
True
Let q = 5 + -1. Let t = 11109 + -10869. Suppose -z - t = -q*z. Does 43 divide z?
False
Suppose -144*u + 2093460 = 50*u + 36*u. Does 123 divide u?
True
Let m(b) = b - 1. Let s(v) = -5*v + 26. Let y(r) = -4*m(r) - s(r). Let f be y(11). Let a = 29 + f. Is 8 a factor of a?
False
Let n(j) = 11*j**2 + 63*j + 4. Let c be n(-6). Suppose -20*x - 