-2185. Let d(n) = 3*n**2 + n + 69. Let l(x) = -x**2 - x - 34. Let w(p) = -2*d(p) - 5*l(p). Does 3 divide w(b)?
False
Let c = 144 - 49. Suppose -c*n + 576 = -89*n. Is n a multiple of 48?
True
Let g(r) = -10*r + 81. Let j be g(7). Suppose -j*m + 1407 + 1772 = 0. Is m a multiple of 24?
False
Let p(a) = -23*a - 59. Let b be p(26). Let q = b + 694. Is 3 a factor of q?
False
Does 9 divide (-47 - 79)*(-2 + -15)?
True
Let g(b) = 43*b**2 - 255*b + 52. Is g(18) a multiple of 7?
True
Is 26 a factor of 16*(-18)/(-648) + 314020/18?
True
Suppose -k + 3*k - 27 = 3*x, -5*k = 5*x + 45. Let n(s) = 0*s**3 - 6*s**2 - 4*s**3 - 4*s**2 + 31 - 15*s + 3*s**3. Is 16 a factor of n(x)?
False
Let b(i) = 193*i - 2371. Is b(71) a multiple of 8?
False
Suppose 16*w + 264 - 24 = 0. Does 3 divide ((2 - -31) + 3)*(-10)/w?
True
Is 95 a factor of ((-3002)/(-3))/(-1*4/(-60))?
True
Let g(v) = -v**3 + 3*v - 2. Let u be g(-2). Suppose -5*y - 3*c + 1272 = u, 232 = y - 4*c - c. Is y a multiple of 15?
False
Suppose -6 = -c - 4*s + 8*s, 0 = 4*s - 16. Let k = -1 - 5. Is (80/k)/(c/(-99)) a multiple of 10?
True
Let j = 3502 + 1115. Is 152 a factor of j?
False
Let x = 165 + -61. Let v = x - 60. Suppose -c - 5*o + v = -31, 3*c - 5*o = 285. Does 10 divide c?
True
Let l = 1089 + -715. Suppose 5*w + l + 296 = 5*d, -d - 2*w + 146 = 0. Let u = -88 + d. Is 25 a factor of u?
True
Let i = -43 - -40. Let g(n) = -2*n**2 - 5*n - 3. Let d(p) = p - 1. Let v(m) = i*d(m) - g(m). Is v(-6) a multiple of 33?
True
Suppose -25*y = -29*y + 20. Suppose 9*n + y*n - 2744 = 0. Is 7 a factor of n?
True
Let q(f) = 560 - 1083 + 656 - 4*f. Does 40 divide q(0)?
False
Suppose -3*y - 42996 = -5*q, -3*q + 408*y + 25798 = 406*y. Is q a multiple of 36?
False
Suppose -t = -3*s - 3787, -5*t + 13210 = -s - 5781. Is t a multiple of 29?
True
Let b(h) = h + 24. Let i be b(12). Suppose -40*f + 1280 = -i*f. Is 32 a factor of f?
True
Suppose -53656 = -1015*j + 1012*j - 4*m, 0 = 5*j + 3*m - 89423. Is j a multiple of 34?
True
Suppose 10649*s - 59584 = 10641*s. Is 38 a factor of s?
True
Let l(s) = -s**2 - 17*s - 19. Let r be l(-16). Let z be r - (-2*(-7)/(-2))/1. Suppose -3*d = -2*w + 14, 4*w - 6*w = 2*d - z. Is 2 a factor of w?
True
Let y(z) = 7*z - 12*z - 3 + 8*z + 8. Let d be y(0). Suppose d*n + g - 35 = 2*n, -4*n = 5*g - 65. Is n a multiple of 2?
True
Suppose 3*f - 948 = 2*h, 3*f - 696 = -h + 261. Let k = -4131 - -4329. Let u = f - k. Does 12 divide u?
True
Let q = 2401 - -744. Does 37 divide q?
True
Suppose 2*z = -6*z + 4*z. Suppose z = 3*f - 6, f = o - 2*o + 4. Suppose -4*j = d - 184 - 49, -5*j - o*d + 292 = 0. Is j a multiple of 25?
False
Suppose -22*x + 26*x + 12 = 0, 0 = 2*f - 2*x - 20. Suppose -5*q = -3*a + 1215, -f*a = -4*a - q - 1215. Is 9 a factor of a?
True
Suppose -560 - 616 = 4*t + 3*h, 5*h = 2*t + 614. Let a = -270 - t. Does 3 divide a?
True
Suppose -73 = -7*u - 150. Let w(v) = 9 - 2 - v + 2 - v. Does 4 divide w(u)?
False
Let z(t) = -t**2 - 23*t + 122. Let h(w) = -4*w - 101. Let a be h(-19). Does 2 divide z(a)?
True
Let o(q) = -15*q + 181. Let m be o(-27). Suppose v - 352 = -3*d, -v + m = d + 4*d. Is 4 a factor of d?
False
Suppose -101*v + 166*v - 1196910 = 0. Does 186 divide v?
True
Suppose -v + 63 + 83 = 0. Suppose -v = 77*w - 79*w. Does 2 divide w?
False
Is 19 a factor of (-6)/(-108)*3 - (-65996)/24?
False
Suppose 0 = j - 5*x + 23, -j + 3*x - 13 = -0*x. Suppose -21*d - 44*d + 540 = 70*d. Suppose 3*r = j*n - 95, 2*n = -0*n - d*r + 60. Does 5 divide n?
True
Suppose 2*o + 8 = 0, -3*j + 222 - 787 = 4*o. Let f = j + 28. Let a = -95 - f. Does 7 divide a?
False
Let w(s) be the second derivative of -63*s**5/20 + s**2/2 - 21*s. Let t be w(-1). Let m = 106 - t. Is 14 a factor of m?
True
Suppose 0 = 5*g + 4*v - 128952, 0 = 5*g - 15*v + 10*v - 129015. Is 242 a factor of g?
False
Let u = 10588 - -5508. Is u a multiple of 169?
False
Suppose 63*p - 67*p + 200 = 0. Let n = p - 46. Let m(v) = -v**3 + 5*v**2 - 3*v + 2. Is m(n) even?
True
Suppose 10*p = 2196 - 466. Let s = p + 75. Does 62 divide s?
True
Let p be ((-2)/6)/((-608)/(-606) + -1). Let y = 251 + p. Does 30 divide y?
True
Suppose -k - 104 + 106 = 0. Suppose k*t - 857 = -3*n, -99 - 761 = -3*n - 5*t. Is 29 a factor of n?
False
Let t(r) = -3*r**2 - 87*r - 72. Let v be t(-28). Let u(a) = -a**3 + 22*a**2 - 33*a - 14. Is u(v) a multiple of 16?
False
Let k(b) = 319*b + 1914. Let r(a) = 11*a + 66. Let m(o) = 3*k(o) - 88*r(o). Let w be m(-7). Does 5 divide w/33 + 556/6?
False
Let l(i) = -4*i + 56. Let o(h) = h**3 - 7*h**2 - 28*h - 13. Let a be o(10). Is l(a) a multiple of 11?
False
Suppose 5*n + 339 = -3*t, 0*t - 2*t - 5*n - 231 = 0. Let u = t - -147. Does 4 divide u?
False
Let v = 874 + 5803. Does 11 divide v?
True
Let n(w) = 55*w**2 + 36*w - 979. Is 23 a factor of n(15)?
False
Let p = 2 - 43. Let c be (-2)/10 + p/(-5) - 2. Is c - 0 - 12/((-8)/2) a multiple of 9?
True
Suppose r = 3*v - 344, -3*r + 476 = 10*v - 6*v. Let d = v + -110. Suppose d*m - 4*w = 2*m + 892, 4*w = -16. Does 33 divide m?
False
Suppose 5*y - 3*y = -o + 8, 2*y - 4*o = -12. Let b be y/(-10) - 357/(-85). Suppose g = b*s + 139, -3*g + 387 = -s - s. Is 9 a factor of g?
False
Suppose -288*v + 2295455 - 37823 = 0. Is v a multiple of 9?
True
Let b(v) = -3*v**3 - v**2 + 2*v + 3. Let z be b(-1). Suppose -3*k + u + 3*u = -284, 4*k - z*u - 381 = 0. Is 32 a factor of k?
True
Let s = -874 - -1274. Suppose 38*z - 33*z = s. Is 2 a factor of z?
True
Let z be (-192)/(-56) + 6/(-14). Suppose z*t = 37 + 38. Does 5 divide t?
True
Suppose -20*x = -2*x - x. Suppose 3*l - 3 = 0, x = 4*a + 5*l - 6 - 551. Does 6 divide a?
True
Is 9 a factor of (73/((-438)/5580))/(4/(-30))?
True
Suppose -12*k + 9*k = -1338. Is 2 a factor of k?
True
Suppose -760*b - 4 = -750*b - 2704. Is 9 a factor of b?
True
Let f = -33 + 35. Suppose f*i - 2*b - 2*b - 1330 = 0, 9 = 3*b. Does 46 divide i?
False
Suppose 3*o = -4*l + 44 - 129, 4*o + 4*l + 112 = 0. Let i = -25 - o. Suppose 0 = -4*y + 4*b + 32, 14*b - i = 15*b. Is 2 a factor of y?
True
Is 200/(-15)*((-1580)/8 - -1) a multiple of 10?
True
Let k(m) = -m**2 + 25*m - 35. Let c = 883 - 871. Is k(c) a multiple of 6?
False
Let l(j) = 185*j**3 + 15*j**2 - 8*j - 3. Is l(4) a multiple of 33?
True
Is -44 + 56 - (0 - -5) - -9420 a multiple of 11?
True
Suppose -4*x - 36 = -16. Let h(f) = -f**2 - 7*f - 10. Let s be h(x). Suppose s = -2*r + 3*n - 17 + 301, 156 = r + 2*n. Does 9 divide r?
False
Does 93 divide (-140)/(-245) + (1 - 554552/(-28)) + 2?
True
Let y(s) = -25*s - 29*s - 15*s + 18*s - 68. Is y(-10) a multiple of 34?
True
Suppose -2*y - 4*n = -722, -1371 = -5*y + 2*n + 410. Suppose -14*k = -y - 427. Is k a multiple of 43?
False
Let p(n) = -56*n**2 - 9*n + 90. Let v be p(8). Does 54 divide v/(-11) + (-970)/(-110) + -9?
True
Suppose -5*h = 5*w + 85, -3*w + 8*w - 11 = 3*h. Let m be (2/(-1))/(h/30). Suppose -k + m*r - 8 = 0, r + 7 = k - 1. Is k a multiple of 4?
True
Does 33 divide 84480/720*(31/2 - 2)?
True
Let l = -19712 + 27849. Is l a multiple of 119?
False
Let k = -19154 + 29990. Is k a multiple of 148?
False
Let g(i) = -7 - 4 + 2 + 13*i - 1. Let d be g(-5). Does 12 divide 5*(-6)/d - (-1706)/10?
False
Is 5932/(-14)*(-11)/((-286)/(-91)) a multiple of 10?
False
Let w be (-12 + 7 + 27)/2. Suppose -w*c = -10*c - 2*p - 121, 0 = c + 5*p - 135. Is c a multiple of 5?
True
Suppose -5*a - 3*p = -60178, 10*a + 3*p - 51040 = 69298. Is a a multiple of 6?
False
Let l = 8 + -11. Let t = -83 - -115. Is 2 a factor of l/(0 - 12/t)?
True
Let t(d) = d**3 + 2*d**2 - 4*d - 4. Suppose 40*m + 12 = 36*m. Let a be t(m). Let g(b) = -77*b**3 - b**2 + b + 1. Is 12 a factor of g(a)?
False
Suppose 2*n - 64 = -4*t - 568, -3*t - 5*n = 364. Let f = t + 125. Is 9 a factor of (18/24)/(f/(-204))?
False
Suppose -5*b - 2*b = -b. Let h be (-1 - b)*72/(-3). Does 16 divide ((-9)/(-4))/(h/2048)?
True
Let k be -12*((-1)/5)/((-42)/(-70)). Suppose 0 = -k*g - 31 - 17. Does 30 divide g/16 + (-1198)/(-8) + 1?
True
Is ((-110)/(-77) - 0)/(4/15722) a multiple of 11?
False
Suppose 4*v = -16, -3*z = 3*v + 2*v - 208. Suppose -4*h - 2*s + z = 0, -4*h = 6*s - 7*s - 70. Is 7 a factor of h?
False
Suppose 4*g - 84 = 2*m + 2*g, 4*g = -8. Does 15 divide 1/(-2)*m/22*261?
False
Let w = 1145 + 941. Is 18 a factor of w?
False
Let d(v) = -v**2 - 11*v + 10. Let z be d(-12). Is (-35)/15