-8)). Let a(u) = -u**3 + 3*u + 28. Let b be a(-4). Is 32 a factor of b*(2 + (-25)/l)?
False
Let p(g) = 96*g - 1241. Let t be p(18). Suppose -2*r = -3*r + 2. Suppose 0 = 3*q - 4*n - t, -r*n - 3*n = 2*q - 363. Does 13 divide q?
True
Suppose 0 = 3*x - 6*t - 25656, 17*x - t = 20*x - 25670. Does 11 divide x?
False
Suppose -l + 181 = 2*h, 5*l + 3*h = 862 + 15. Does 33 divide l?
False
Let t be (-128)/9 - 12/(-54). Suppose 4*q = 3*u - 6*u + 338, -u = -2*q - 126. Let k = t + u. Is 8 a factor of k?
True
Let g(n) = -n**3 - 13*n**2 - 17*n + 30. Let m be g(-12). Let p = m + -55. Does 13 divide p?
False
Let s = 18327 - 12267. Is 4 a factor of s?
True
Suppose -549622 - 3083716 = -336*f + 5715526. Is f a multiple of 188?
True
Let r = 1434 + 375. Suppose 0 = -39*u + 20061 - r. Does 12 divide u?
True
Suppose -3*k = 7*p - 5*p + 442, 2*k - 5*p = -282. Let o = k - -431. Is o a multiple of 57?
True
Suppose -72 = 19*v - 21*v. Let x be 30/9*(-3 - v/(-20)). Is 13 a factor of x/(3/(156/(-8)))?
True
Suppose -4*y = 3*o - 27416, -o + 9140 = -37*y + 38*y. Does 36 divide o?
True
Let u(p) be the third derivative of p**6/120 - 7*p**5/60 + 5*p**4/12 + p**3/3 - 2*p**2. Suppose -2*z - 40 = -5*k - 5*z, -3*k + 5*z - 10 = 0. Is u(k) even?
True
Suppose 3*o + 3*g = -0*g + 171, 276 = 5*o - 4*g. Suppose -97*z = -50*z + 846. Let f = o + z. Does 14 divide f?
False
Let m = 12190 + -7443. Is m a multiple of 5?
False
Is (-158)/3871 - 313898/(-98) a multiple of 79?
False
Let d(h) = 2*h**2 + 70*h + 52. Let z be d(-28). Let b = 780 + z. Does 40 divide b?
True
Suppose -23*c + 478152 = 49*c. Is 103 a factor of c?
False
Does 37 divide (2*(6 + -9773))/((-2)/4)?
False
Suppose -7*z - 51 = -4*z. Let l = z - -53. Let b = 20 + l. Does 8 divide b?
True
Suppose -38847 = -4*y + 195553. Is 200 a factor of y?
True
Let b(c) = -29*c**2 - 5 + 48*c - 5*c - c + 2*c**3 - c**3. Does 43 divide b(28)?
True
Suppose -30*y - 50*y = -224240. Is 4 a factor of y?
False
Let z = -28 - -240. Let d = z + 52. Does 22 divide d?
True
Let x = 14189 - 6782. Does 177 divide x?
False
Suppose x + 2*k + 37 = 0, 3*k - 159 = 21*x - 16*x. Let l(c) = -29*c + 291. Does 96 divide l(x)?
True
Suppose j - 2 = f, j - 4*f - 2 = -3. Is 13 a factor of (j/(-6))/(0 + 3/(-3144))?
False
Let c be 76/20 + 3/15. Suppose c*f = -f + 590. Is f a multiple of 9?
False
Let p(q) = 2*q**3 - 168*q**2 + 52*q + 87. Is p(84) a multiple of 11?
True
Suppose 5*o = -5*i + 680, 0 = -15*o + 13*o + 5*i + 251. Suppose 4*j + 3*s - 105 = o, -62 = -j - 2*s. Is 29 a factor of j?
True
Let d = 389 - 385. Suppose 2*y + 0*y - 1794 = -d*t, -y + 885 = -2*t. Is y a multiple of 33?
True
Suppose -5*r + 26 = 5*z - 4, -2*z - 4*r + 16 = 0. Let g be z + (-4 - (-2 - 36)). Suppose 1 = x + d - 3, 0 = 2*x - 4*d - g. Does 9 divide x?
True
Suppose -10*f + 8*f + 307 = 5*i, f = -i + 149. Let s be ((-3)/(-6))/((-1)/(-604)). Suppose -5*x = -v + f, 5*x + s = 5*v - 3*v. Is v a multiple of 12?
True
Does 9 divide ((9/(-6))/(-1))/(57*10/4329340)?
False
Let c be (-4 + 9)*(2 + -1). Suppose -3*d + 185 = -2*r - 122, -513 = -c*d + 2*r. Suppose 0 = z + d - 293. Does 10 divide z?
True
Let s(y) = -19*y - 43. Let d be s(-2). Let f(c) = -c**3 - 4*c**2 - c + 2. Does 11 divide f(d)?
False
Suppose -3*p + 4 = l, -l = 4*l + 2*p - 7. Let a(t) = -12*t + 2. Let d be a(l). Is (-11)/2*d/5 a multiple of 3?
False
Let r = 92 + -107. Let p be (r - -26)/(2 - 1). Does 7 divide p/4 + -2 - 1507/(-44)?
True
Let b(n) = 11344*n - 404. Is b(3) a multiple of 199?
False
Let o = -620 - -3687. Is 18 a factor of o?
False
Suppose 2256 = 3*r + 2*h, 3*h = -65*r + 62*r + 2259. Is 10 a factor of r?
True
Suppose -115*c - 4*t + 61020 = -111*c, 30 = 5*t. Does 69 divide c?
True
Suppose 0 = -9*i - 8517 + 30441. Does 25 divide i?
False
Let n(o) be the third derivative of -1/60*o**5 + 0*o - 8*o**3 + 0 - 7/8*o**4 + 31*o**2. Does 50 divide n(-14)?
True
Let t(j) be the third derivative of -j**6/120 + j**5/4 + j**4/12 - 11*j**3/6 + 2*j**2 + 84. Is 30 a factor of t(5)?
False
Let h = -3230 - -5125. Does 20 divide h?
False
Suppose 3*m + 4887 = 5*n - 3017, -4*n - 3*m + 6334 = 0. Let y = n + -625. Is y a multiple of 13?
False
Let y(d) = -93*d + 5820. Is y(-15) a multiple of 29?
False
Let w(c) = -383*c - 5. Let r be w(1). Let k = -145 - r. Let f = k + -22. Does 39 divide f?
False
Suppose o = -4*n + 17, o - 1 = n + 1. Suppose -n*w = 3*l + 2*w - 184, -2*l + 126 = 5*w. Suppose 46 = t - l. Does 8 divide t?
True
Suppose 5*q - 6035 = 5*i, -3*q + 5416*i + 3669 = 5421*i. Does 6 divide q?
False
Let q be (-9 - -4) + 5*5. Suppose 6*r - 7*r + 4*v = -q, -4*r = -4*v - 20. Suppose 4*k - 162 - 190 = r. Is 8 a factor of k?
True
Let g be (1204/98 - 8) + 2/(-7). Let t(f) = -7 + 7 + 24*f. Does 24 divide t(g)?
True
Suppose 3*u - 4*o - 8643 = 0, -3*u + 114*o - 109*o + 8649 = 0. Does 17 divide u?
True
Let k be (5/(-2))/((-7)/56*2). Is 6 a factor of ((-80)/k)/(6/(-117))?
True
Suppose -2*s = -4*s - 2*o + 14188, -3*s + 5*o = -21314. Does 78 divide s?
True
Suppose -25 = -2*v - 5*f, 57 = 6*v - 2*v + 3*f. Suppose 11661 = v*a - 2*a. Does 39 divide a?
True
Suppose 0 = -67*z + 271 - 874. Is 23 a factor of (-532 + 1)/(z/24)?
False
Suppose -2*l + 2*h + 40 = 0, -l + 5*l = -2*h + 74. Suppose -l = -5*j - 24. Does 6 divide -3 + -2 + 3 - -73 - j?
True
Let c(t) = 13665*t - 539. Is c(2) a multiple of 80?
False
Let j = 994 - 325. Let k = j + -573. Does 24 divide k?
True
Suppose 10876 = 13*n - 55424. Is 150 a factor of n?
True
Let w(z) be the first derivative of z**4/4 + z**3/3 + 3*z**2 + 1314*z + 132. Is 10 a factor of w(0)?
False
Does 5 divide (1584/(-192))/(3/(-228))?
False
Let r(y) = 303*y + 45. Is 15 a factor of r(129)?
False
Let w = 805 + -800. Suppose 189 = 2*l - 3*y, 173 = w*l + 4*y - 265. Is l a multiple of 9?
True
Suppose 1955*k + h = 1952*k + 22485, 5*h + 22539 = 3*k. Is k a multiple of 9?
False
Suppose 0 = -s + 5*u + 2640, 4*s - 9*s + 13338 = -2*u. Is 8 a factor of s?
False
Let b(q) = 6*q**3 - q**2 + q - 1. Let x be b(1). Suppose 3*o + x*i + 2 = 0, -i - 3*i = 3*o + 1. Is (-1 + 3 - -4) + o a multiple of 3?
False
Let x = 23232 - 15917. Is 77 a factor of x?
True
Let f = 1193 - 977. Does 9 divide f?
True
Let j(b) = -4*b - 11. Suppose l - 33 = 4*u, 4 = -u + 2*l - 6. Does 10 divide j(u)?
False
Suppose -6*x + 3*x = -288. Let y = x - 24. Is y a multiple of 9?
True
Let j = 49 + -41. Suppose j*g - 253 = 595. Is g a multiple of 6?
False
Suppose 20*p - 4*z = 25*p - 92, 3*z = -3*p + 51. Let j = -3 + 18. Let y = p - j. Does 2 divide y?
False
Suppose -21*h + 11817 = -16071. Is 42 a factor of h?
False
Let w = 6793 + -1321. Is w a multiple of 57?
True
Suppose -49*i + 60*i + 22701 = 34*i. Is i even?
False
Suppose -219*s + 3605300 = 227*s - 396*s. Does 62 divide s?
True
Let h be (315/25 - 1)/((-1)/5). Let n = h - -86. Suppose -26*o + n*o - 30 = 0. Is o a multiple of 15?
True
Let c(z) = -37*z - 78. Let d be -3*((-15)/(-10) - (-5)/10). Is c(d) a multiple of 16?
True
Suppose 28 - 16 = -4*t. Suppose 1 = 5*y + 21. Is 13 a factor of y/t*78*1?
True
Let t = 15877 + 12888. Does 112 divide t?
False
Suppose -69*d - 31240 + 151537 = -131001. Is 21 a factor of d?
False
Let p(w) = -110 - w**3 + 107 - 10*w**2 + 2*w + 2*w**2. Is 5 a factor of p(-10)?
False
Suppose 5*w + 495 - 15 = 0. Let s = w - -179. Suppose -2*k = -5*d - s, 2*d + 301 = 5*k + 83. Is 5 a factor of k?
False
Let c be 9*1/27 - 1552/(-6). Suppose 5*v - c = t, -7 + 58 = v - t. Is 2 a factor of v?
True
Suppose n = 5*m + 951 + 1584, 4*n = m + 10159. Does 16 divide n?
False
Let n = -826 + 1166. Suppose -n = -10*i - 7*i. Does 20 divide i?
True
Suppose 0 = -q - 2*h + 1 - 3, 3*h = -3*q + 9. Suppose q = 4*n, n = -3*g - 3*n + 170. Suppose 0 = l - g - 31. Is 11 a factor of l?
False
Let w(g) = 6*g - 2. Let h be w(1). Let s be 1*(12/4 + 2) + -3. Suppose 4*i + h*b - 684 = 0, i - s*i = 3*b - 161. Does 16 divide i?
True
Let j be ((-400)/15)/(-8)*3. Suppose 5*c - 7*c = -j. Suppose c*t - 280 = -0. Does 8 divide t?
True
Suppose 0 = 9*k - 3*k - 90. Suppose -10 = -2*s, 3*s - k = -3*d - 0*s. Is 14 a factor of 179 + (7 + -5)*(d - -1)?
False
Let q(s) = s**3 - s**2 - s + 5. Let i be q(0). Suppose i*z = -38 - 62. Let l = z + 24. Is l a multiple of 2?
True
Suppose 81*p + 211487 - 1414418 = 0. Is 15 a factor of p?
False
Suppose -71*l + 54879 = 5*m - 73*l, -3*m + 5*l = -32954. Is 20 a fa