 = 5*w - 1026. Let r = w + 307. Does 10 divide r?
False
Let d(b) = b**3 + 27*b**2 + 71*b + 270. Is 5 a factor of d(-17)?
False
Suppose -4*u = 5*d - 4112, -4*u = 3*d - 2772 - 1348. Suppose 0 = 5*q + 4*j - 2721, 5*q - 1680 = -2*j + u. Does 28 divide q?
False
Let q(w) = -2*w**2 - 242 + 241 + 131*w**3 + 252*w**3. Is 19 a factor of q(1)?
True
Suppose 0 = -b + 3*r - 7 + 66, -2*b + 134 = 2*r. Suppose 4*k + 9*k - b = 0. Suppose -z = 5*l - 452, k*l + 3*z + 0*z = 456. Does 13 divide l?
False
Suppose -39 = 4*k - 4*p - 111, 4*p = -k + 33. Let g be 33832/36 - (k/27 - 1). Suppose -9*h + g = -4*h. Is 27 a factor of h?
False
Let i(u) be the first derivative of -7*u**2/2 - 13*u + 8. Let v be i(-10). Let n = 83 - v. Does 4 divide n?
False
Let b = -12299 - -17412. Is b a multiple of 88?
False
Suppose -3*f - 5*q = -5*f + 53849, -26912 = -f + 5*q. Does 73 divide f?
True
Let f be (-143)/22 + (-1)/(-2). Does 6 divide (3 + 14/(-4))*(-6 + f)?
True
Let a = 7682 - 2071. Is a a multiple of 17?
False
Suppose 2*r - 492 = -2*t, 8 = -5*r + 3*r. Let o = -160 + t. Does 15 divide o?
True
Let b(f) be the second derivative of -f**5/20 - f**4/6 + 29*f**3/6 + 15*f**2/2 + 34*f + 1. Is 47 a factor of b(-8)?
False
Suppose 2*m + 1788 = -10*m. Let x = m + 253. Does 5 divide x?
False
Let g be (4/6 - (-8)/6)/2. Is 22 a factor of 9/g*(-71)/(-3)?
False
Let y = 4346 + -580. Does 5 divide y?
False
Let s be 0 + (4 - (4 - 4039)). Suppose 4*y = -5*v + s, -5*y + 4040 = 2*v + 3*v. Is 12 a factor of v?
False
Let r be (-3)/(1 - -2) + 2 + 2. Is (-224)/24*r*-1 a multiple of 8?
False
Suppose -4*o = 2*p - 332, -801 = -5*p - 2*o - 19. Is p a multiple of 22?
True
Let t(z) be the third derivative of z**5/60 + z**4/24 - 13*z**3/3 + 40*z**2. Is 8 a factor of t(-7)?
True
Let v(c) = 4*c**2 - c - 4. Let a be 18/9 - (0 - (1 + -1)). Let t be ((-32)/8 + 3)/(a/(-6)). Is v(t) a multiple of 5?
False
Does 182 divide ((-34)/(-187) + (-20026)/33)/(1/(-12))?
True
Suppose 2*s - 4 = o, -2 = -7*s + 6*s - o. Suppose -5*a = 2*c - s*a - 62, 0 = -a - 2. Is c even?
True
Let h(w) be the second derivative of w**5/20 + 2*w**4/3 + 4*w**3/3 + 7*w**2/2 - 2*w. Let k(i) = -i**2 - 43*i + 84. Let u be k(-45). Is h(u) a multiple of 21?
False
Let l(g) = 4*g**2 - 14*g + 16. Suppose 0 = -3*z - 38 + 14. Let p be l(z). Suppose -10*b = -86 - p. Does 6 divide b?
False
Let j = 10 - 8. Let t be 405/(-20) + 0 + (-1)/(-4). Is 6 a factor of j/(16/242) + 5/t?
True
Suppose 211*a - 25 = 216*a. Is 22 a factor of (132/a)/((-27)/90)?
True
Let v = 623 - 729. Suppose -3*x + 410 = -76. Let n = x + v. Is 28 a factor of n?
True
Let k(q) = 203*q + 3021. Is 80 a factor of k(-7)?
True
Let g(z) = -z**3 + z**2 + 6*z + 1. Let u be g(-4). Does 11 divide ((-11)/(-2))/(u/2622)?
True
Let y(n) = -4*n**3 - 8*n**2 - 10*n + 3. Suppose -25 = -21*w + 26*w. Is y(w) a multiple of 36?
False
Let o = 6428 + -2243. Is 93 a factor of o?
True
Suppose -203 = -4*u - 3*p, 4*p - 109 = -2*u + p. Let v = u - 38. Suppose 4*c = -v*c + 2405. Is c a multiple of 21?
False
Suppose 4*l - 65 = -9*l. Suppose -6*x + 10*x - 4*v - 416 = 0, 4*x = l*v + 420. Is 20 a factor of x?
True
Let p = 5081 - 2137. Does 29 divide p?
False
Let m(w) = -2*w**3 - 14*w**2 - 39*w - 102. Does 12 divide m(-10)?
True
Suppose 0 = -4*v + 52*t - 48*t + 10856, 3*v - t = 8130. Does 119 divide v?
False
Let k be 4386/15 + ((-16)/10)/4. Let l = k - 48. Suppose -g = -5*j + 3*g + l, -j = 3*g - 45. Is j a multiple of 16?
True
Let d(b) = b**2 - b**2 - 6*b + 2*b**2 - 13 - 2*b. Does 2 divide d(-3)?
False
Let l be 15 + -18 - 12/(-1*2). Is 32 - -4*2/(-12)*l a multiple of 18?
False
Suppose 28557 + 4218 = -23*l. Does 26 divide l*(2/(-18) + 54/(-243))?
False
Let u be 2 + (-1)/(-1)*1. Let m(o) = -o**2 - o + 34. Let k be m(-9). Is k*6/(-4) + u a multiple of 20?
True
Let c(s) = s**2 - 2*s - 1. Let k be c(-1). Let z(f) = -11*f - 18 + 5*f**2 + 2*f**3 - 16*f**k - f**3. Does 26 divide z(13)?
False
Suppose l - 9 + 2 = 0. Let n(w) = -w + 12. Let s be n(l). Suppose -s*d + 2 - 17 = 0, 4*d + 107 = b. Is 28 a factor of b?
False
Suppose -1702*g = -1590*g - 211008. Is g a multiple of 14?
False
Suppose 223*u + 13137360 = 567*u. Is u a multiple of 201?
True
Let a = 68 + -66. Suppose -2*q - x + 415 = 2*q, a*q + 4*x = 190. Is 9 a factor of q?
False
Let o = -355 + 355. Suppose -4*p - 3*f = -2274, o = 24*f - 19*f - 10. Is p a multiple of 21?
True
Suppose 0*u = -u + 2*u. Suppose u = 26*j - 28*j + 244. Is j a multiple of 3?
False
Let l = -404 + 154. Let i = l - -730. Is 6 a factor of i?
True
Suppose 25*a + 40*a - 16*a - 789390 = 0. Is 13 a factor of a?
False
Let b = -165 - -118. Let c = b + 42. Is 8 a factor of (-1)/(-1*c/(-395))?
False
Suppose 2*k = 2*r - 4*r + 8, -r = 2*k - 8. Suppose -y + 360 = 2*l + y, 720 = k*l - 5*y. Does 9 divide l?
True
Let n(q) = q**3 + 12*q**2 + 2*q + 26. Let l be n(-12). Let i be (1 + l)*(-40)/(-24). Let r(h) = 9*h + 23. Does 17 divide r(i)?
True
Is 12 + -8 + 3443 + (-3 + -2 - -2) a multiple of 13?
False
Suppose -h + w + 1570 = 4*h, 4*h - 1256 = -5*w. Let g = 521 - h. Suppose 0 = 4*n - 8*n - 12, -4*n = -5*d + g. Is 13 a factor of d?
True
Suppose 8 = -2*v, -5*o + 4*v + v = 545. Let h = -110 - o. Suppose -f + h*a + 105 = 0, a + 273 + 294 = 5*f. Does 12 divide f?
False
Does 154 divide (220/(-50))/((-35)/71050)?
True
Let o be (12/3 + -2)*6. Suppose 0*k + 4*k - o = 0. Suppose -4*n = -k*n - 2. Is n a multiple of 2?
True
Let a(c) = -710*c**3 - 62*c - 176. Is 137 a factor of a(-3)?
True
Does 21 divide (-10)/(-120)*-8 + 4601/3?
True
Let n(g) = 207*g + 3496. Does 3 divide n(-10)?
False
Suppose k - 6*d - 242 = -10*d, 0 = -k + d + 222. Let z = 586 - k. Is 72 a factor of z?
True
Let g = 83544 + -51668. Does 215 divide g?
False
Let j(l) = 16*l**2 + 207*l + 972. Is 8 a factor of j(-52)?
True
Let p be 118/2537 + 84/43. Let u be 16/56 - 9152/(-14). Suppose 157 + u = 3*c - 4*k, 2*c - 538 = p*k. Is c a multiple of 53?
True
Suppose -4*r + 17 = -7. Let i(y) = -y**3 - 2*y**2 + 6*y - 11. Let b be i(r). Let n = -182 - b. Is 17 a factor of n?
False
Suppose -52*x = 80*x - 346896. Is 49 a factor of x?
False
Is 17 a factor of 3 + (15746 - (4/(-4) + -1))?
False
Is 27 a factor of 3/4 - (74629/(-20) - 2/(-10))?
False
Let x = -3455 + 3458. Let y be (82*-1 + -1)*-7. Suppose y = 4*r + x*r. Is r a multiple of 37?
False
Let y(k) = -146*k + 12. Let f be y(-2). Let p = -155 + f. Does 22 divide p?
False
Let s(a) = -30*a - 32. Let f be s(-20). Suppose -5*x - 566 = -i, 3*x + f = i - 0*x. Is 35 a factor of i?
False
Is 5/(-95) + 378030/114 a multiple of 45?
False
Let q = 1393 + -649. Suppose -3*i = -6*i + q. Suppose 5*k = 72 + i. Is 8 a factor of k?
True
Does 32 divide -2 + (-6 + -1 - (1 + -2858))?
True
Suppose 0 = 2*i - 4 - 8. Suppose l + i = 2*k, -3*k - 3 = 2*l - 26. Suppose l*o = -2*a + 420, 2*a - 425 = -4*o - o. Is 50 a factor of a?
True
Let d(j) be the second derivative of -j**4/4 - 43*j**3/6 + 37*j. Is 4 a factor of d(-7)?
False
Does 22 divide 148/24 + -6 - (-6683)/6?
False
Let f(k) = -16*k - 50. Let b(r) = r + 3. Let a(j) = 14*b(j) - 2*f(j). Is a(15) a multiple of 13?
True
Let b = -5139 - -2889. Does 25 divide (b/5)/((-3)/2)?
True
Suppose -3*m = 4*z - 29, -6*m + 4*z - 7 = -7*m. Let l(q) = 9*q - 51. Does 16 divide l(m)?
True
Suppose 0 = 2*i - 20 + 4. Let b(x) = x**3 - 4*x**2 + 6*x - 4. Does 50 divide b(i)?
True
Suppose 12625714 = 285*p + 237255 + 256009. Is 22 a factor of p?
True
Let f = -856 + 891. Does 10 divide (-7)/f - (11268/(-15) + 1)?
True
Suppose 121*b = -26*b + 321048. Does 28 divide b?
True
Let u(g) = 2*g - 14. Let j be u(17). Let v be 12/9 - 0 - j/15. Suppose 24 = 4*t - k - 88, -t + 5*k + 28 = v. Is t a multiple of 28?
True
Let k(d) be the second derivative of -4*d**3/3 + 36*d**2 - 37*d. Does 10 divide k(-24)?
False
Let s be 0/(6 - 28/4). Suppose 21*r - 1464 - 825 = s. Is 46 a factor of r?
False
Suppose -5*v = -19 + 34, 0 = 3*q + 2*v - 36477. Does 81 divide q?
False
Let b(w) = -7*w + 8. Let p be 2/8 + (-180)/16 + 7. Let k be b(p). Suppose 10*g = 8*g + k. Does 18 divide g?
True
Let o be 0 - (-7 + 4 - -2). Let a(t) be the second derivative of 97*t**4/6 + t**3/2 - t**2/2 - 74*t. Is 15 a factor of a(o)?
False
Let s = 15212 + -5674. Is s a multiple of 165?
False
Let m(i) = -i**3 - 8*i**2 - 6*i - 2. Let n be m(9). Let z be n/(-7) + -1 - (-10)/35. Suppose r - 5*t = 