265 = 0, j = 5*l - 2*l - 3*o - 402. Does 10 divide l?
False
Let v(b) be the first derivative of 2*b**3/3 - 25*b**2/2 - 17*b + 29. Let p = -24 + 38. Is v(p) a multiple of 3?
False
Suppose -55*d - 6045 = -57*d + 3*y, 0 = 4*d - 7*y - 12091. Is d a multiple of 17?
False
Let w be -10 - -2*(4 + -5). Let p be (w/30)/((-2)/25). Suppose p*q + 48 = 8*q. Is 4 a factor of q?
True
Suppose -100*i = -101*i - 47. Let d = i + 54. Suppose r - d = 21. Does 9 divide r?
False
Suppose -13*m = 6*m - 9348. Is (1/2)/((-491)/m + 1) a multiple of 13?
False
Let y be (-8)/20 - 3512/(-5). Suppose 5*q + h - 1755 = 0, -2*q - 5*h + h = -y. Does 30 divide q?
False
Let l be ((-36)/24)/(6/(-1080)). Is (-4)/(7 - 1896/l) a multiple of 9?
True
Let a(k) = 16*k**2 + 333*k + 97. Does 24 divide a(-38)?
False
Suppose -26*a + 113051 + 1576945 = 36*a. Is 59 a factor of a?
True
Suppose -9 = 8*c - 11*c. Suppose -w + 258 = c*v + 2*w, 5*v - 414 = -w. Let f = v + -46. Is 7 a factor of f?
False
Let q = 7282 - -3578. Is 10 a factor of q?
True
Let r(h) be the first derivative of -h**4/4 + 5*h**3/3 + h**2/2 + 398*h - 77. Is r(0) a multiple of 63?
False
Let k(a) = a**2 + 52*a - 65. Is 9 a factor of k(-55)?
False
Let g = -330 - -1195. Suppose 282 = 2*p - x, 5*p = 4*x + g - 154. Does 12 divide p?
False
Let y be (-20 + 16)*10/(-8). Suppose -2*r = k - 244, -3*k + 480 = 4*r - y*k. Let f = r + -31. Is 30 a factor of f?
True
Suppose -s = -3*i - 1085, 3*i + 7*s + 1090 = 3*s. Let k = 648 + i. Let p = 469 - k. Is p a multiple of 30?
False
Let v = -38 + 34. Let y be 63 - (-4)/16*v. Does 10 divide (13/18 + 4/(-18))*y?
False
Let k = -13 - -13. Suppose k = -3*a, 147 = -2*w + 5*a - 37. Is (-10)/30 + w/(-6) a multiple of 5?
True
Let w be (-220)/44 - (1 - 156). Let j = -48 + w. Is j a multiple of 3?
True
Let p(j) = 4329*j**2 + 8*j - 20. Is 32 a factor of p(2)?
True
Suppose 0 = 4*x + 3*a + 20, -4*x + 3*a + 4 + 0 = 0. Let g(s) = -202*s + 17. Is 34 a factor of g(x)?
False
Let o(p) = 174*p**2 + 141*p + 524. Does 58 divide o(-14)?
True
Let g(f) = -596*f + 3298. Is 10 a factor of g(-7)?
True
Let g(k) = -10*k**3 - 12*k**2 - 7*k - 4. Let p(q) = 9*q**3 + 12*q**2 + 6*q + 4. Let m(o) = 5*g(o) + 6*p(o). Is m(4) a multiple of 38?
True
Suppose 18*x + 12*x - 116850 = -8*x. Is x a multiple of 21?
False
Suppose 5*w = -4*f + 4283, -7*f + 2*f + 5275 = -5*w. Does 51 divide f?
False
Is 6440 + (-18)/(-14) + 3 + (-30)/105 a multiple of 36?
True
Let d = -18685 - -33822. Is 112 a factor of d?
False
Let p(d) = -4*d + 120. Is p(-47) a multiple of 22?
True
Suppose 10*u - 11*u + 879 = -2*t, 0 = -4*t - 2*u - 1746. Let z = t + 846. Does 8 divide z?
True
Let q(c) be the first derivative of -c**4/4 - 3*c**3 - 15*c**2/2 + 6*c + 27. Does 8 divide q(-9)?
False
Does 22 divide (1650/12)/(85/68)?
True
Let a(o) = 927*o + 1067. Does 9 divide a(5)?
False
Suppose 90 = 6*s + 12*s. Does 41 divide (369/(-1))/(s - (5 - -1))?
True
Let t(a) = 291*a**2 + 28*a - 319. Does 74 divide t(9)?
False
Let j(l) = l**3 + 10*l**2 + 6*l + 56. Let p be j(-10). Is (6 - 390/p)*2 a multiple of 7?
False
Let x(c) = 2*c + 2*c**2 + c**2 - 2*c**2 - 23 - 9. Let k be x(0). Does 21 divide 4/(k/14)*(-4 + -80)?
True
Suppose -28*t = 1656 + 10524. Let i = 513 + t. Does 3 divide i?
True
Let d be 20/(-80)*0/2. Suppose d = 2*z - p + 3, -4*p = -9*p - 15. Is 11 a factor of 216/(-15)*15/z?
False
Suppose -3*l - 6*f + 5 = -f, 5*f = 5*l + 5. Suppose l = 36*h - 35*h - 551. Is 19 a factor of h?
True
Let r be (-1 + 3)/(-4 - (-84)/20). Suppose a + r*b - 5*b = 394, 2*b - 406 = -a. Is 13 a factor of a?
False
Let w(g) be the first derivative of 46*g**3/3 + 17*g**2/2 + 49*g - 161. Does 24 divide w(-5)?
False
Suppose 1090660 = 136*u - 241450 - 284250. Is 27 a factor of u?
False
Suppose -6*x = -a - 19776, 8*x - 5*a - 16480 = 3*x. Does 8 divide x?
True
Suppose 0 = 3*t - 5*t + 250. Let f = t - 171. Let o = 137 + f. Is o a multiple of 14?
False
Let b(y) = y**3 - 8*y**2 + 11*y - 2. Let w be b(8). Let k = 12 - -5. Let z = w - k. Is z a multiple of 7?
False
Let r(p) = -13*p**3 + 3*p**2 - 7*p - 19. Let k(v) = -11*v**3 + 3*v**2 - 6*v - 19. Let c(o) = -6*k(o) + 5*r(o). Is c(5) a multiple of 24?
False
Let r = 6345 + -5553. Is 12 a factor of r?
True
Suppose -2*d = -d - 3*p - 6, -3*p = 0. Let u be 4/(d + -4) - -77. Let a = 116 - u. Is a a multiple of 8?
False
Let c = 212 - 209. Suppose -5*v + n = -554, -4*v - c*n = -2*v - 208. Is v a multiple of 22?
True
Let y = 146 + 3787. Is 19 a factor of (y/115)/((-9)/(-75))?
True
Let g = 48 + 143. Suppose -11*h + g - 4 = 0. Suppose -91 = -h*m - 6. Does 3 divide m?
False
Suppose -4*o - 5*i + 34 = 0, -2*o - 2*i - 2*i + 20 = 0. Suppose o*d - 5*d = 3. Suppose m - d*k = 14 + 88, -2*m - 3*k = -186. Is m a multiple of 16?
True
Suppose -3*l = -2*x + 1191, -4*x + 424 = -4*l - 1160. Let w = 945 + l. Does 7 divide w?
True
Let m = 46 + -98. Let u(v) = v**3 + 20*v**2 - 34*v - 721. Let o be u(-20). Let f = o - m. Is 2 a factor of f?
False
Suppose 2*y = 3*b + 6, -2*y + b + 29 - 23 = 0. Suppose y*x - 47 - 388 = 3*h, 0 = 3*h + 15. Is x a multiple of 7?
True
Suppose 0 = 3*p - 5*p - 12. Let m be p/(-1 + (-4)/8). Let u = 158 + m. Does 27 divide u?
True
Suppose 13*z + 4*z = -5372. Let c = z + 519. Does 25 divide c?
False
Let p(c) = c**3 - 4*c**2 + 2*c + 6. Let l be p(3). Let g = -5 - -7. Suppose a = -0*a - g*h + 101, 3*h = l*a - 294. Does 33 divide a?
True
Let y(l) = -8*l**3 + 45*l**2 + 281*l - 121. Is y(-7) a multiple of 5?
False
Let v(c) = 40*c**2 - 24*c + 24. Let w be v(6). Is 6 a factor of ((-5)/(-10))/(3/w)?
False
Let x(g) = -g**3 - g + 36. Let f be x(0). Let q be (-3)/(-3 - f/(-15)). Does 4 divide (-1)/q + 142/10?
False
Let d be (2/2)/(16/112). Suppose 1860 = 2*h - m, d*h - 4*h - 5*m - 2804 = 0. Does 29 divide h?
True
Let y(s) = 10*s**2 - 3*s + 59. Let p be y(5). Suppose p = 13*c - 3034. Does 32 divide c?
True
Is 19 a factor of -114*(6 + (-120)/18)*4956/16?
True
Suppose -25*s = -k - 21*s + 14738, 3*s + 44241 = 3*k. Does 118 divide k?
True
Let s be (((-416)/91)/(-16))/(2/(-14)). Let v(l) = -554*l + 14. Is v(s) a multiple of 56?
False
Suppose -3*x = 6, -3*w - 38*x + 29266 = -34*x. Is w a multiple of 32?
False
Suppose -44*c = -90*c + 196558. Does 22 divide c?
False
Suppose -2*v - 921 + 6196 = -p, -2*v - 5*p = -5293. Is v a multiple of 16?
False
Let t = 21 - -23. Suppose t = n + 3*z, -4*z - 10 = -9*z. Is n a multiple of 12?
False
Let x(h) = -h**3 + 14*h**2 - 6*h - 15. Let o be x(11). Suppose 2*b - 6*z - o = -11*z, -z + 144 = b. Let f = 206 - b. Is 10 a factor of f?
True
Does 33 divide (-110428)/(-16) + -2 - 9/(-36)*1?
False
Suppose z + z = -10, 19970 = 5*a + 2*z. Does 54 divide a?
True
Let d(b) = -3*b + 29. Let u = -29 + 38. Let f be d(u). Suppose 0 = f*z - 10, -4*a + 39 = -a + 3*z. Is 3 a factor of a?
False
Let m = -52647 + 80324. Is 70 a factor of m?
False
Let w be (0 + (2 - -26))*1. Does 46 divide 2 + (-4)/((w/(-228))/7)?
True
Suppose 4*w + 12 = 0, -4*c - 4*w = -2*w - 26. Let x be -2 - (13 - c/(-2)). Let b(z) = z**2 + 16*z + 13. Is 14 a factor of b(x)?
True
Let s(u) = 2*u**2 - 6*u - 28. Suppose 11*r + 14 = 13*r. Does 14 divide s(r)?
True
Suppose 3*o = o + 10. Suppose 4*a = -q - 4*q - 561, 15 = o*q. Is 6 a factor of ((-8)/6)/(3/a)?
False
Let w = 69 + -64. Suppose 2*j + 2*p = 574, -1435 = -5*j + p - w*p. Does 41 divide j?
True
Is ((-10970)/(-15))/((-5)/(-30)) a multiple of 12?
False
Suppose 25*b - 252 = 24*b. Let d = b + 12. Does 14 divide d?
False
Let v(d) = -23*d - 81. Let z be v(-11). Suppose 2*p = z - 14. Is p a multiple of 3?
False
Let y = -623 - -617. Does 48 divide (y + -126*(-1)/5)*10?
True
Is 15 a factor of 25648/5 - (17 - (-435)/(-25))?
True
Let f be (-79 - -4)/(1 + 30/(-28)). Suppose -3*y - 4*y = -f. Is 19 a factor of y?
False
Let w(q) = -24*q**2 - 2421*q - 193. Is 55 a factor of w(-90)?
False
Suppose 4*n - 3 = 3*n. Suppose n*h - 35 = -2*y, 5*h - 49 = -2*y - 16. Suppose -y*m - 88 = -20*m. Is m a multiple of 11?
True
Suppose 0 = -2*n + 3*m + 18256, 16473 = 3*n - 5*m - 10908. Is 15 a factor of n?
False
Let c = -263 + 272. Is 7/((-84)/c) - (-28665)/28 a multiple of 31?
True
Let v = 367 - 356. Suppose 6*n = -v*n + 9690. Is n a multiple of 9?
False
Suppose -18151 + 1579 = -16*u + 10084. Does 17 divide u?
True
Suppose 6149 - 200 = 7*y - 421. Is y a multiple of 70?
True
Let i be 2 - 7/(1 - 348