))/(22/(-99)*(-3)/5)?
False
Suppose -9*h + 87 = -174. Suppose 5*q - 6 = h. Suppose q*y + 9 - 576 = 0. Is 9 a factor of y?
True
Is 6 a factor of (220/550)/(2/88945*1)?
False
Suppose 4*b = 5*u - 603, 0 = -b + 4*u - 50 - 87. Let z = 29 - b. Is 25 a factor of z?
False
Suppose 3*d + 5*u = -159, 32 = -2*d - u - 67. Let a = -44 - d. Does 12 divide (-2)/(-4)*16/a - -50?
False
Let r(k) = -3*k**3 + 15*k**2 + 8*k + 4. Let s(m) = 10*m**3 - 46*m**2 - 21*m - 11. Let b(y) = -7*r(y) - 2*s(y). Is b(17) a multiple of 24?
True
Let i(q) = -9*q**2 - 546. Let a be i(0). Does 26 divide (11/(-33))/(1/a)?
True
Let v = 18340 + -17310. Is 2 a factor of v?
True
Let d = -81004 + 119118. Does 86 divide d?
False
Let c = 11531 + -7892. Is 39 a factor of c?
False
Let u(g) = g**3 + 8*g**2 - 13*g - 4. Suppose -3*v - 7*v + 20 = 0. Suppose 0 = l - 2*f + 17, 0 = v*l - 5*f - 10 + 48. Is u(l) a multiple of 8?
True
Let x(d) = 340*d - 178. Let c be x(4). Suppose -382 = 4*q - c. Does 40 divide q?
True
Suppose 0 = h + 54 - 58. Let b(w) = 131*w + 92. Is 77 a factor of b(h)?
True
Let b = -2160 + 1414. Let f = b - -1276. Is 15 a factor of f?
False
Suppose 5*r - 448 = 162. Let m = r + -120. Suppose -5*w - m*y = -1394, -w + 0*w - 4*y = -268. Does 28 divide w?
True
Suppose 4*d - 2*d - 470 = 5*f, -16 = 4*f. Is 7 a factor of (-25)/(d/(-2862)) - -8?
False
Suppose -5*p = -25, 20 = -4*s + 3*p - 15. Let i(h) = 9*h**2 + 6*h - 3. Does 8 divide i(s)?
True
Let o be (-13020)/56*8/(-5). Suppose 0 = -2*l - f + 4, 0*l + 5*l = -2*f + 12. Suppose l*t + o = 8*t. Is 22 a factor of t?
False
Suppose -44*w + 884 = -27*w. Suppose w*j = 18*j + 36686. Is 13 a factor of j?
True
Let j(x) = 434*x**2 + 9*x + 31. Is j(-4) a multiple of 122?
False
Is 18 a factor of ((-14040)/(-117))/(4/30)?
True
Suppose -7*a + 5*a + 6 = 0. Let m(d) = -a*d + 30 - 4*d - 5*d + 13*d. Is 13 a factor of m(-8)?
False
Suppose -119*b + 286*b = 126*b + 137186. Is 14 a factor of b?
True
Let u(o) = o**2 - 4*o - 5. Let w be u(-2). Let d(g) = -g**3 + g + 7*g**2 + 2*g + w - 14*g**2. Is 13 a factor of d(-8)?
False
Let v(u) = -617*u - 2828. Is v(-7) a multiple of 71?
True
Suppose 3*z - 7*z + 4*m = -8, 2*m = -2*z + 16. Suppose -z*f - 2554 = -4*l, l + f = 2*f + 639. Suppose -l = -11*g + 173. Is g a multiple of 11?
False
Suppose 1191876 = -55*o + 153*o. Is o a multiple of 19?
False
Suppose -4*c + 18 = -30. Let w be 6/(-5)*(0 + (-40)/c). Suppose -w*z = -244 + 20. Does 8 divide z?
True
Does 8 divide (-4256)/(-2)*(-13 - 297/(-18))?
True
Let u(d) = -d**2 + 136 + 1564*d + 1560*d - 3130*d. Does 22 divide u(0)?
False
Let a = 28 + 72. Let l = 30 + a. Is 8 a factor of l?
False
Let m(b) = -b**3 - 16*b**2 + 73*b + 18. Let d be (-6*(-11)/66)/(2/(-42)). Is m(d) a multiple of 52?
False
Let h(j) be the second derivative of -2*j**2 + 0 - 1/6*j**3 + 17*j + 1/4*j**4 - 1/10*j**5. Does 3 divide h(-2)?
False
Let m = 34 + -44. Let u be 16/16*m/(-2). Suppose -8*i + 99 = -u*i. Does 11 divide i?
True
Let p(x) be the first derivative of -13/2*x**2 - 4 + 1/3*x**3 + 1/4*x**4 + 5*x. Is p(-4) a multiple of 4?
False
Let y = 86 - 82. Suppose -w = 3*t - 159, -4*w + y*t = t - 561. Does 16 divide w?
True
Suppose 3*i - 3789 = -5*r, -3*r - 3*i + 1011 = -1266. Is 2 a factor of r?
True
Let f(u) be the first derivative of -27*u**2/2 - 31*u + 1. Does 10 divide f(-3)?
True
Suppose 52989 = 19*p + 17592. Is 43 a factor of p?
False
Let q be (-4)/(-20)*0 + 1. Is (-42)/4*q/3*-44 a multiple of 12?
False
Let d(u) = 18*u + 15. Let m be d(-9). Let c = m + 245. Does 14 divide c?
True
Let d(m) = 7*m**3 + 18*m**2 - 54*m - 254. Does 13 divide d(16)?
True
Let g be (-19 + 9)*(-27)/3. Suppose 0*x + 5*x = 4*b + g, 18 = x - 3*b. Suppose -x*m = -16*m - 144. Does 12 divide m?
True
Let i(v) = v**2 - 11*v - 8. Let d be i(12). Suppose 3*o = -d*s + 9, -3*s - o = 2*o - 9. Suppose 5*m - 45 = -s*m. Does 6 divide m?
False
Let d(a) = -3*a**3 - 4*a**2 + 9*a - 24. Does 50 divide d(-6)?
False
Suppose 0 = 2*u - 11*u + 5*u. Suppose -o + 4*g - 4 = u, -4 = -2*g + g. Let z(k) = 7*k + 33. Does 17 divide z(o)?
False
Let v = 156 + -157. Is (-4)/(-16) - ((-2923)/4 + v) a multiple of 61?
True
Suppose -2030 = 92*m - 94*m + o, 3052 = 3*m + 2*o. Is m a multiple of 8?
True
Let y(l) = 160*l + 183. Is 35 a factor of y(9)?
False
Suppose 0 = -15*n + 56 - 11. Is 4 a factor of (-43)/(-1) + (n - 2)?
True
Let z(r) be the first derivative of -3/2*r**2 + 21 + 1/3*r**3 + 20*r. Is 10 a factor of z(-7)?
True
Let t be 3921/(-5) - (-4 + 95/25). Let z = t + 1648. Is 12 a factor of z?
True
Let m be 1/2 + 31806/(-228). Let r be (-1 + 3)/((-1)/(-164)). Let f = m + r. Is f a multiple of 9?
True
Suppose 2*w - 3*c = 11 + 14, -20 = 4*c. Suppose 5*x - 897 = -o, -6*x + w*o - 165 = -7*x. Is x a multiple of 45?
True
Let m = -586 + 4463. Is 88 a factor of m?
False
Is (-38 + 9455/248)/(2/387824) a multiple of 88?
False
Let g(p) be the second derivative of -p**5/10 - p**4 - 7*p**3/6 - 3*p**2 + 344*p - 3. Let t = 1 + -7. Does 12 divide g(t)?
True
Let u be (-13)/(-11) + 6/(-33). Let g be (-6)/18 - u*2986/(-3). Is 1/(-6) + g/30 a multiple of 3?
True
Let a(x) be the third derivative of 53*x**6/120 - x**5/60 + x**4/6 + 2*x**3/3 + 7*x**2 - 4*x. Is 24 a factor of a(2)?
True
Let n(d) be the third derivative of -d**5/30 - 2*d**4/3 - d**3 - 2*d**2. Let k(v) = -6*v + 23. Let i be k(5). Does 8 divide n(i)?
True
Let o = -32 + 45. Suppose o = -3*a + 3*s + 4, -3 = a + 3*s. Let n(d) = 7*d**2 - d - 6. Is 12 a factor of n(a)?
True
Let z(h) = h - 13. Let a be z(13). Let s(f) = f**3 + f**2 - 6. Let v be s(a). Is 5 a factor of 208/16 + v/2?
True
Let y = -68 + 72. Suppose -4*c = y*n - 376, -2*c + 3*n = n - 192. Does 40 divide (c/10)/(2*(-1)/(-24))?
False
Suppose -25*u + 58092 = 10942. Is u a multiple of 17?
False
Let x(w) = -20*w**2 + 4*w + 304. Let p(v) = 7*v**2 - v - 102. Let h(d) = -17*p(d) - 6*x(d). Is 102 a factor of h(21)?
True
Let o be (4 - 1)*-10*4/(-24). Suppose o*l = 6*l - 158. Does 47 divide l?
False
Let a(h) = 4*h**2 - 13*h + 30. Let d be 9*10/3*7/35. Does 24 divide a(d)?
True
Is (-95)/285 + 37244/6 a multiple of 50?
False
Suppose -g - 2*g + 24 = 0. Suppose -4*a - 12 = 4*i, -g*a - i = -3*a - 5. Suppose 4*m = -20, 2*w - 55 = -3*w + a*m. Is w a multiple of 5?
False
Suppose -4*c = -20, -j - 3*c + 435 = -4*c. Let b = j - -16. Does 12 divide b?
True
Suppose 0*i - 3*c - 204 = -2*i, -3*i = -4*c - 308. Suppose 74 = t + 3*a, 0 = 2*t - 43*a + 38*a - 126. Let l = i - t. Is 6 a factor of l?
False
Let q = 111 + -799. Let l = q + 1017. Does 6 divide l?
False
Let v be 0 + 4 + ((-28)/(-7) - 4). Suppose -l + 5 + 135 = 2*o, 569 = v*l - o. Does 3 divide l?
False
Let o(f) = 2*f**3 + f**2 + 8*f + 15. Let i(t) = -5*t**3 - 3*t**2 - 24*t - 44. Let b(g) = 3*i(g) + 8*o(g). Let q be b(-4). Let p = 96 + q. Is p a multiple of 17?
False
Suppose -423 = 3*j - 3*l, -4*j = -j + l + 403. Let y = -52 - j. Is y a multiple of 4?
True
Let i(n) = -45*n - 9. Let d(r) = -r**3 - 4*r**2 + 4*r + 7. Let m be d(-2). Is 44 a factor of i(m)?
True
Let h be (3 + (1 - 3))*(-41 - 4). Let y = h - -163. Does 8 divide y?
False
Let r = -402 + 255. Does 16 divide (-4)/14 - 23268/r?
False
Suppose -4*c - 24*c + 33690 = 2*c. Does 8 divide c?
False
Let c be (12/30)/(2/(-20)) - -2912. Is 25 a factor of (11 - c/(-12))*(-30)/(-8)?
True
Let s(x) = x + 1. Let p(o) = -o**3 + 10*o**2 - 21*o + 4. Let i be p(7). Let j be s(i). Suppose -4*c - 76 = -j*c - 3*r, -3*r = -c + 100. Is c a multiple of 26?
False
Suppose -5*z = 5*j - 1295, 3*z + 4*j + 401 = 1173. Suppose 287*c = 998 + 150. Suppose c*w - z = -g, -2*g - g - 347 = -5*w. Does 4 divide w?
False
Is -176 - -169 - (-7442 - -1) a multiple of 7?
True
Suppose -2*k = -2*y - 804, -74*k + 71*k - 4*y = -1185. Is 133 a factor of k?
True
Suppose 0 = -5*m - 4*k + 20, 5*m - 13*k - 55 = -10*k. Suppose m*b = 1095 - 375. Is 9 a factor of b?
True
Let j = 34 - 31. Let y(z) = 10*z**2 + j*z - 9*z + 0*z**3 + z**3 - 2*z**3. Does 25 divide y(7)?
False
Suppose -309*h - 20730 = -319*h. Is h a multiple of 18?
False
Let n = 247 - 238. Let z(f) = f**3 - 4*f**2 - 13*f - 18. Does 6 divide z(n)?
True
Let b be 3 + ((-800)/(-4))/5 + 2. Does 5 divide (b/(-6))/1*(-10 + 8)?
True
Suppose 52 = -b + 127. Does 25 divide 462/55*b/2?
False
Let y = 52 + -50. Let r(l) = -5*l + l**2 - 4*l + 12 - 3*l - y*l. Does 11 divide r(16)?
True
Let d(p)