w + 139855 = 5*k, -2*k + w + 16596 + 39351 = 0. Is 8 a factor of k?
True
Let l(b) = 58*b**2 - 3*b + 91*b**2 + 42*b**2 - 144*b**2 + 1. Let g be l(3). Suppose -11*i + 6*i = -g. Is 41 a factor of i?
False
Is 190 a factor of 8/116 - 222690/(-435)?
False
Suppose 76167 - 222183 = -36*y. Does 13 divide y?
True
Let g(k) be the first derivative of -13*k**2/2 + 24*k + 15. Let y be g(-17). Suppose 6*v - v + 5*j = y, v = -5*j + 57. Does 8 divide v?
False
Let o(g) = g**3 + 184 + 4*g + 176 - 2*g. Let v be o(0). Suppose -v = -43*r + 39*r. Is 18 a factor of r?
True
Suppose -f + 921 = -3*o, -3561*f = -3566*f - 5*o + 4705. Is 72 a factor of f?
True
Suppose -5*c = -10*c - 30, -4*c + 5556 = d. Is d a multiple of 155?
True
Suppose 32466 = 25*u + 17*u. Does 17 divide u?
False
Suppose 0 = 18*t - 2*t - 76656. Suppose -6*v + t = 1953. Is v a multiple of 43?
True
Suppose -4*c - 23956 = -4*t, c - 135 + 130 = 0. Is 9 a factor of t?
True
Suppose 89*i - 1381183 = 83*i - 91*i. Is i a multiple of 29?
True
Let q(d) = d**3 - 23*d**2 + 76*d + 177. Does 4 divide q(30)?
False
Let h(v) = 2*v**2 - 17*v + 5. Let l be h(9). Let a = -83 + l. Let w = 250 + a. Is 20 a factor of w?
False
Let h(v) = -11*v**2 - 3*v - 3. Let t be h(-2). Let g = t - 56. Let j = g - -121. Does 13 divide j?
False
Let z be 2*(-5)/(-25) - (-8)/5. Suppose -5*d = -0*d - 25, -380 = -5*h + z*d. Let f = h - 30. Does 20 divide f?
False
Let l(x) be the second derivative of x**3/6 + 4*x**2 + 12*x. Let h be l(-6). Suppose 62 = m + m - h*w, -m + 23 = 3*w. Is m a multiple of 8?
False
Let j(b) = 63*b**3 - 15*b**2 - 68*b + 160. Is j(8) a multiple of 112?
True
Let x be 8 + (-2)/(-1) + -5 + 1. Suppose 0*g = x*g - 222. Is 4 a factor of g?
False
Let b(y) be the third derivative of -y**4/4 + 10*y**3 - 5*y**2. Let j be b(-14). Suppose 3*a = f + 2*f + j, 5*a - 2*f = 225. Does 6 divide a?
False
Let q(c) be the third derivative of c**6/120 + 17*c**5/60 - 11*c**4/24 - 17*c**3/3 + 10*c**2 - 3. Is q(-8) a multiple of 14?
True
Suppose 12*h - 92 = -11*h. Suppose 0*p + 20 = 5*p. Is 2 a factor of 2/2 + p/h?
True
Let j(n) = 32*n**3 + n**2 + 67*n + 4. Is j(9) a multiple of 152?
True
Let a = 62516 - 30548. Is a a multiple of 8?
True
Let l(f) = 2*f**2 + 32*f - 31. Let b be (18/15)/((-5)/75*1). Is 4 a factor of l(b)?
False
Let y be 1/5 - (-27)/15. Suppose -4*h + h + 236 = 5*w, y*h = -w + 162. Let n = h + -51. Is n a multiple of 26?
False
Let k(d) = d**3 - 30*d**2 - 630*d + 21. Is 11 a factor of k(45)?
True
Suppose 42*q - 39*q = -g + 391, 3*g + 4*q = 1163. Let o = 518 - g. Does 7 divide o?
True
Let a(v) = -13*v + 80. Let m(k) = -20*k + 120. Let q(l) = -8*a(l) + 5*m(l). Let z be q(12). Suppose -b + 2700 = z*b. Is b a multiple of 30?
True
Let r(t) = 20*t - 7. Suppose 4*g + 39 = 3*y + 4, 0 = -4*y - 4*g. Let c(b) = b. Let k(v) = y*c(v) + r(v). Is 16 a factor of k(5)?
False
Suppose 4 = 7*b - 5*b. Suppose 5*j = -25, -b*x = 3*x - 2*j - 35. Suppose -4*g - 24 = -c - g, 0 = 5*c - x*g - 160. Is 10 a factor of c?
False
Does 98 divide (6 + (-5474)/56)*-88?
False
Let s(n) = -752*n + 5115. Is 8 a factor of s(-16)?
False
Let r(z) = -87*z + 349. Let k(i) = -59*i + 232. Let v(y) = -7*k(y) + 5*r(y). Is v(3) a multiple of 9?
False
Suppose -58*i - 20*i + 103858 = 15250. Is 8 a factor of i?
True
Suppose -4*l = -5*a - 133372, -a - 26672 = -11*l + 9*l. Is (a/(-21))/3 + (-9)/21 a multiple of 20?
False
Let l be -4*2/(-10) - 849128/(-590). Let w = -320 + l. Is w a multiple of 16?
True
Let p(t) = 4*t**2 - 34*t - 463. Does 14 divide p(40)?
False
Let w(o) = -27*o**3 + 4*o**2 + 2*o + 72. Does 124 divide w(-8)?
True
Is 2 a factor of ((-57582)/70)/((-21)/350*(7 + -5))?
False
Let a(u) = 73*u + 23. Let b be a(-5). Let o be b/(-66) + 2/(-11). Suppose 5*l + 675 = o*d, 3*d + 2*l - 1 = 404. Is d a multiple of 15?
True
Let o(i) be the first derivative of -17*i**3/3 - 5*i**2/2 + 4*i - 3. Let w be o(-5). Let x = -223 - w. Is x a multiple of 25?
False
Suppose -37*x + 87987 = 31*x - 63585. Does 5 divide x?
False
Suppose -k - 2*k = 6, -26 = -2*m + k. Does 8 divide ((m/(-1))/6)/((-1)/40)?
True
Suppose -518*n - 5*i - 702 = -519*n, -n + 742 = 5*i. Does 8 divide n?
False
Let i(n) = -13*n - 4*n + 39 + 111 + 3*n + 90. Is 11 a factor of i(-10)?
False
Suppose -u + 2*k = -1879, 30*u - 26*u - k - 7572 = 0. Is u a multiple of 5?
True
Suppose -5*m = 5*q + 20, -2*m - 20 = -2*q + q. Let l(c) be the third derivative of -5*c**4/8 - 28*c**3/3 + 2*c**2 - 5*c. Is 4 a factor of l(m)?
True
Suppose 1568 + 6832 = 21*a. Suppose -181 = -z - 31. Is ((a/15)/8)/(4/z) a multiple of 25?
True
Is (((-50090)/30)/(1/(-4)))/(28/63) a multiple of 229?
False
Suppose 68 = -4*x + 168. Is ((-10920)/x)/(-14) + (-2)/10 a multiple of 4?
False
Let o = 282 - 237. Suppose -51*g + o*g = -420. Is 7 a factor of g?
True
Let z(d) = 45*d - 62. Let y be z(5). Let b = 573 - y. Does 41 divide b?
True
Let a be (-216)/90*(-65)/26. Let b(q) = 0*q + 8*q**2 - q + 0*q - 4 - q**3. Is 31 a factor of b(a)?
True
Suppose -n + 2*j = -61, 0*j = 4*n - 2*j - 244. Suppose 0 = -s - 2*s - 4*f + 56, -8 = s - 4*f. Suppose 6 - n = -5*k + 5*w, -2*w = -k + s. Is 3 a factor of k?
False
Let v = -1170 + 1311. Does 47 divide v?
True
Suppose -4*d = -4*x - 8*d - 24, 4*x + 12 = -d. Let z = 24 + x. Suppose 124 = 2*a - 4*l, -a + z = 3*l - 15. Is 13 a factor of a?
True
Let u(k) = -k**3 - 48*k**2 - 38*k + 853. Does 5 divide u(-47)?
True
Let l = 1961 - 3118. Let n = -574 - l. Does 20 divide n?
False
Let o = -57577 - -88777. Is o a multiple of 75?
True
Suppose -y - 11 = -16. Let p be ((-2)/8*2)/(y/(-30)). Suppose -p*v = -5*v + 170. Is v a multiple of 28?
False
Let q be 5/((-15)/(-86))*-3. Let g = -1007 - -993. Let u = g - q. Is u a multiple of 36?
True
Suppose h = 6*h - 4*b + 2, 4*b + 10 = -h. Let c(z) = 203*z**3 + z - 2. Let d be c(1). Is 17 a factor of (d - (-6 - h)) + (-2 - 0)?
True
Let j = -32 - -20. Let x(m) = m**3 + 12*m**2 - 2*m - 8. Let h be x(j). Let l = h + 15. Does 4 divide l?
False
Let b(o) = -o**2 - 10*o + 40. Let l be 1/3 - 970/(-15). Let p = 57 - l. Does 28 divide b(p)?
True
Is 42 a factor of 7461 - 1 - ((-992)/(-160) + 2/(-10))?
False
Suppose -109104 + 18024 = -92*i. Does 15 divide i?
True
Suppose 0 = -v + 56 - 54. Is (1 + v)/((15/(-500))/(-1)) a multiple of 5?
True
Suppose 5*m = -4*a + 32, -35 = -3*a - 2*m + m. Suppose 10991 = a*s - 4232. Is s a multiple of 15?
False
Suppose -30*r = -17*r - 195. Suppose -r*j + 98 = -8*j. Is 14 a factor of j?
True
Let h = 3936 + 411. Is 9 a factor of h?
True
Suppose 3*i - 5*y - 6306 = 0, -4*i + 2156 = 4*y - 6220. Is i a multiple of 20?
False
Is (-144*80/75)/((-2)/300) a multiple of 4?
True
Suppose -10*s + 4707 = -4911 + 1248. Does 31 divide s?
True
Let w be 4/(-6) + (17870/(-6))/(-5). Suppose -w = -3*b + 20. Suppose -4*o = -0*n - 3*n - 425, -3*n - b = -2*o. Is 11 a factor of o?
True
Suppose 0 = 4*h + 5*b - 3316, 0 = 322*h - 324*h - 4*b + 1652. Does 3 divide h?
True
Let z be (14/(-14))/((-2)/280). Suppose 4*y = 5*u + z + 112, -u = 0. Does 4 divide 4392/y + 4/14?
False
Suppose -100*t = -99*t - 5000. Is t a multiple of 50?
True
Let p(q) = q**3 + q**2 + 2*q + 18. Let w be p(0). Suppose -k + 87 = w. Does 3 divide k?
True
Let y(h) = 6*h - 18. Let l be y(14). Suppose 29*t - l = 26*t. Suppose -w = -10 - t. Is w a multiple of 16?
True
Suppose -14*b + 44 - 2 = 0. Suppose 5*t - 5*n = 7105, b*t + 2920 = -3*n + 7207. Is t a multiple of 15?
True
Suppose -2*x - x + 5*u + 35 = 0, 21 = x + 3*u. Suppose 8*r + 1883 = x*r. Is 11 a factor of r?
False
Suppose -3*o = 2*o, 0 = 3*i - 4*o - 30. Suppose 11*z - i*z = 26. Let l = z + -2. Does 8 divide l?
True
Let i = 10440 + -870. Is i a multiple of 17?
False
Suppose 0 = 9*y - 19606 - 85496. Is 104 a factor of y?
False
Let b(x) = -x**2 + 3. Let k(t) = 7*t**2 - 15*t - 73. Let z(p) = 5*b(p) + k(p). Is 35 a factor of z(-13)?
False
Suppose 53*x + 342 = 21012. Is x a multiple of 30?
True
Let u = 107 + -104. Suppose u*z = 4*p - 3517, 0 = -4*p - 16*z + 21*z + 3515. Is 80 a factor of p?
True
Let x = 151 + -141. Does 9 divide (-20)/(x + -5) + 40 - 2?
False
Let p be (-3 - 1662) + 1 + -4. Let t = -966 - p. Is t a multiple of 78?
True
Is 102 a factor of (2441 - -6) + (9 - 8)?
True
Is (((-3)/10)/(140/(-2800)))/((-4)/(-4830)) a multiple of 69?
True
Let r(a) = a**3 - 2*a + 1300. Let i be r(0). Let m = i + -698. Suppose