- 7*w**2 - 11*w - 9. Let m be 78/(-9) + (1 - 2/6). Let x be z(m). Suppose -4*h = -x - 93. Does 13 divide h?
False
Let n(a) = -222*a + 52. Let i be n(5). Let o = i + 1533. Is 4 a factor of o?
False
Let y be (-6 - -118)*(-42)/(-24). Let v = y - 97. Is 9 a factor of v?
True
Suppose -42*t + 3*a = -47*t + 176333, 0 = -4*t + 3*a + 141088. Is t a multiple of 20?
False
Suppose -s = 4*s + 4*k - 587, 5*k + 100 = s. Suppose -331 + s = -3*g. Let t = g + -32. Is 20 a factor of t?
True
Let p(q) = 15*q + 232. Let f be p(-16). Is f + 9 - (-5)/((-10)/(-522)) a multiple of 14?
False
Let o(l) = -l**3 + l**2 - 50*l - 808. Is o(-22) a multiple of 34?
True
Let u = -1909 + 15325. Is 216 a factor of u?
False
Let m(b) = -b**2 + 7*b + 24. Let h be m(10). Let w be 261*h*(4 - 3)/(-6). Suppose 0 = 4*g - 35 - w. Is 17 a factor of g?
False
Suppose 124 + 7438 = 11*v - 12128. Is v a multiple of 18?
False
Let k(o) = 5*o - 68. Let s be k(32). Suppose c + 5*z - s - 301 = 0, -5*z - 741 = -2*c. Is 21 a factor of c?
True
Let p(v) = 594*v + 111. Is 18 a factor of p(9)?
False
Let o be (-162)/5 - 2/(-5). Let q = 6021 + -6063. Let d = o - q. Is d a multiple of 5?
True
Let z = 22 - 17. Let f(k) = k**2 - 6*k + 4. Let t be f(z). Is 15 a factor of (1 + -3 + -17)*t?
False
Let y be (4 - 0/1) + -1 + 90. Let s = 163 - y. Is s a multiple of 14?
True
Suppose -13*m + 13731 = -35851. Does 55 divide m?
False
Is -3 + 8 - 10/(70/(-56609)) a multiple of 18?
False
Suppose -6*v = -3*d - 15591, 4*d = -5*v + 4*v + 2612. Does 26 divide v?
True
Let c be -1*(0 + -4 + 4). Is (40 - (c - 5)) + 1 a multiple of 28?
False
Suppose -36*k + 48*k - 132965 = -28553. Is k a multiple of 69?
False
Suppose 2*v + 436 = -y + 4*y, 3*y - 5*v - 442 = 0. Suppose -m + k + y = -0*m, -3*k = 0. Suppose 3*a - m = -a. Does 18 divide a?
True
Let t(d) be the second derivative of d**4/12 - 25*d**3/6 + d**2/2 + d. Let o be t(8). Let r = -48 - o. Is 29 a factor of r?
True
Suppose h = 3*q + 1157, 5*q + 32 - 2 = 0. Is 3 a factor of h?
False
Let o be (3 - 28/8)*(12 - 22)*-1. Let q(s) = -3*s**2 - 11*s**2 + 4 + 9*s - 3*s**3 + 4*s**2. Is 7 a factor of q(o)?
True
Let l = 153 + -153. Suppose -3*v + l*v = -3*i + 294, -i + 95 = 2*v. Is i a multiple of 20?
False
Let p(u) = 1037*u - 2023. Is p(11) a multiple of 23?
True
Let m(v) = -3*v + 2*v + 9 + 10 - 4. Let n be m(0). Does 34 divide 20/n*(-1764)/(-8)?
False
Suppose -y - 3*g = -15944, -31897 = -2*y + 440*g - 443*g. Is 14 a factor of y?
False
Let m(z) = -26*z + 208. Let l be m(8). Suppose -2*u + t + 2016 = l, -2*t + t + 3024 = 3*u. Does 36 divide u?
True
Let y(n) = n**3 + 5*n**2 - 30*n + 22. Let p be y(-9). Is 15 a factor of p/64*(0 - 360)?
True
Let i = 243 + 4149. Does 24 divide i?
True
Let y = -1397 - -23617. Does 110 divide y?
True
Let l = -155 - -280. Suppose 4*z - l = -25. Suppose -2079 = -z*o + 18*o. Is 49 a factor of o?
False
Let q = -4 + 3. Let s be 0 - (5 - 3)*q. Suppose s*c + 256 = 4*c. Is 40 a factor of c?
False
Suppose -8 = 2*i, 5*i = -2*w + i - 1582. Let j = -340 - w. Does 33 divide j?
False
Let q be ((-3)/(-2))/(33/44). Suppose -t - 7 = -3*z, q = 3*z + 2*t - 2. Is z/19 - (-68370)/285 a multiple of 30?
True
Let c be (-4 + 6)*372/(-8). Let f be 4/(-2)*c/(-18)*-48. Let l = -331 + f. Does 55 divide l?
True
Suppose 2*d - 4*o - 1303 = -o, 2*d + 5*o = 1327. Let h = -392 + d. Is 12 a factor of h?
True
Let g = 5184 + -1659. Does 47 divide g?
True
Let h be 3/(((-1)/3)/(2/(-9))). Suppose 0 = 7*g - h*g + 30. Does 4 divide 111/g*-2 + 3/(-3)?
True
Let n = 4564 - 3683. Does 4 divide n?
False
Let o = -15 - -19. Suppose i = -1, 0*u + o*u + i = -281. Let a = u + 81. Is a a multiple of 2?
False
Let z = -111 + 117. Suppose 17*t - z*t - 990 = 0. Is t a multiple of 12?
False
Let d(y) = y**2 - 4*y + 3. Let t be d(-2). Let s(a) = -2*a - 32 + a**3 + 16*a - t*a**2 - 10*a. Is s(15) a multiple of 2?
True
Suppose 43*h = 46*h + n - 21422, 4*h - 28564 = -2*n. Is 35 a factor of h?
True
Suppose 303*f + 937665 = 3161666 + 4569562. Does 7 divide f?
True
Suppose -2*d = -d - 0*d. Suppose -5*s + 2 - 17 = d. Does 37 divide s - (-3 - (-1)/(4/(-296)))?
True
Suppose 8*s + 5*s = -s. Suppose s = -3*l + 418 + 176. Is 66 a factor of l?
True
Let s = -48 + -55. Let w = s - -280. Suppose -w = 5*r - 637. Is r a multiple of 23?
True
Let v(f) be the first derivative of -2*f**3/3 - f**2/2 + 690*f - 31. Let r be v(0). Is 13 a factor of r/6 + (3 - 0)?
False
Let o(n) = -3349*n - 29. Does 40 divide o(-1)?
True
Let p = 126 + -120. Let v(b) = b**3 + b**2 + 1. Let c(k) = k**3 + 8*k**2 + 6*k + 8. Let i(h) = c(h) - 2*v(h). Is i(p) a multiple of 14?
True
Let j be (-812)/14*(1 - 2/1). Is (-1 + (j - -7))/2 even?
True
Let s be 2/3*(-26550)/(-25). Let k = -417 + s. Is 8 a factor of k?
False
Is 17 a factor of (21/(-56) - (-30869)/(-8))/((-9)/18)?
True
Suppose -844 = 3*x - 7*x. Let h = x + -22. Is h a multiple of 63?
True
Suppose 3*j - 5*c = 14435, -22*j + 18*j + 4*c + 19228 = 0. Is 30 a factor of j?
True
Let s = -31 + 72. Suppose -s = -13*q - 15. Suppose -72 = q*r - 6*r. Is 7 a factor of r?
False
Let n be 5/(-3) + (-2)/(-3). Let y be (129/9)/((-3)/36*n). Suppose 65 = -j + y. Does 13 divide j?
False
Let y = 336 + -350. Is (-15 + -2302)*2/y a multiple of 10?
False
Let r be 654/15 - ((-36)/15 - -3). Suppose 0 = -4*z + r + 45. Is 11 a factor of z?
True
Let c = 10054 + -5067. Is c a multiple of 21?
False
Let h(f) = -44*f**3 - f - 1. Suppose 4*p + 25 = -43. Let x be p + 14 - (-1 + -1). Does 8 divide h(x)?
False
Let f(r) = -2*r**3 + 5*r**2 - 3*r + 1. Let x be f(3). Let y(a) = 10*a + 60. Let u(o) = 15*o + 90. Let m(t) = -5*u(t) + 7*y(t). Does 10 divide m(x)?
False
Let x = -1050 - -3189. Is x a multiple of 48?
False
Let c be ((-8)/6)/((-1)/3). Suppose -c*x + 297 = 3*i, -4*i = -0*x + 4*x - 296. Suppose n + 2*w = 55, -5*n = -3*w - 324 + x. Is 6 a factor of n?
False
Let n be ((-400)/150)/(-1*2/3). Suppose -182 = -o + 2*k, 2*o - n*k = 4*o - 340. Is 22 a factor of o?
True
Let i(h) = -2*h**3 + 8*h**2 - 2*h - 12. Let g be i(-6). Let z = 1339 - g. Is z a multiple of 20?
False
Let f(t) = 64*t**2 + 2*t. Let k be f(1). Let m = 70 - k. Is 16 a factor of (-12)/(-7)*m*(-14)/(-2)?
True
Suppose -29003 = -3*t - 4*q + 46681, -2*t - q = -50461. Is t a multiple of 166?
True
Suppose 18 = 11*o - 15. Let x be ((-321)/2)/o*1*-2. Suppose 0 = -k + 3 + 1, 3*u + 5*k - x = 0. Is 2 a factor of u?
False
Let f = -41 - -102. Let w = -44 + f. Suppose -9*c = -8*c - w. Does 7 divide c?
False
Let y(n) = 15*n**2 + 5*n - 20. Let m(b) = 2*b - 1. Let s(a) = -6*m(a) + y(a). Does 36 divide s(-6)?
False
Let b(l) = 8*l + 75. Let j be b(-9). Suppose -504 - 168 = -j*m. Is m a multiple of 7?
True
Suppose -5*v = -3*b - 8*v + 2373, 2*b = 4*v + 1558. Does 8 divide b?
False
Suppose 2*m = -4*k + 78, 117 = 2*m + m - 2*k. Suppose 36*x = m*x - 75. Suppose -s - 4*s = x, -3*i + 255 = 3*s. Does 18 divide i?
True
Suppose -w + 5*w = -3*u - 5, 0 = 5*w + 4*u + 7. Let k be 6 - (281 - 5) - (w - -1). Let d = -144 - k. Is d a multiple of 8?
True
Let h = 543 + -312. Let b(q) = 2*q**3 - 48*q**2 + q - 24. Let x be b(24). Suppose -8*d + 5*d + h = x. Is 13 a factor of d?
False
Let x = 74 + -475. Let a = x - -411. Does 7 divide a?
False
Is (1/5)/(5/(-10)) - 528068/(-20) a multiple of 77?
False
Let o = 3500 - 3255. Is 4 a factor of o?
False
Suppose 23 = o - 7*c + 9*c, 0 = 3*o - 2*c - 53. Suppose o*w - 2367 = 2687. Is 19 a factor of w?
True
Let a(y) = 466*y**2 + 978*y - 2928. Is 28 a factor of a(3)?
True
Suppose -17*n + 188 = -17764. Let c = n - 524. Does 9 divide c?
False
Does 10 divide (-6 + 0 - -1939) + -3*(-56)/(-21)?
False
Let k(p) = 16*p - 70. Let g be k(22). Let s = g - -160. Is s a multiple of 12?
False
Suppose 5*s - 5*p = 1325, 0 = 56*s - 57*s + 2*p + 268. Does 7 divide s?
False
Let i be 0*(-4 - 27/(-6)). Suppose i = -4*a - 165 + 177. Suppose 2*c - 855 = -a*c. Does 36 divide c?
False
Let m(o) = 6*o + 3. Let w be m(3). Let v be 1 + (-33)/w + 201/21. Suppose 5*u + 2*k = 8 + v, -3*u = -2*k - 7. Does 3 divide u?
True
Let d(k) = k**2 + k. Let b(n) = 7*n**2 + 4*n + 32. Let y(o) = b(o) - 3*d(o). Is y(-7) a multiple of 31?
False
Suppose -2*o = h - 350, 5*h = 2*h - 2*o + 1046. Suppose -6*v = -3*v - h. Suppose 220 = 4*f - v. Is 15 a factor of f?
False
Let h be -1 + (3 - 3/3*-1). Suppose 2*c = 5*a + 16, 3*a + 2*a + h*c = -26. Does 7 