e
Let y(m) = 29*m**2 + 51*m - 1585. Does 66 divide y(23)?
False
Let i = -474 + 785. Suppose -k + f = -i, -3*f = -4*k - 5*f + 1250. Does 52 divide k?
True
Let t(o) = 26*o + 151. Let q be t(-5). Suppose -q*k + 8492 + 10471 = 0. Is 37 a factor of k?
False
Let o be -4 + 15 + 1 - -3. Suppose -4*f + v + 19 = 0, 7*v - 4*v - o = 0. Let g(p) = p**2 - 3*p + 3. Does 5 divide g(f)?
False
Suppose -404538 = -74*w - 1028 + 193300. Is w a multiple of 13?
False
Suppose -4*x = -8960 - 208. Let g = x + -1247. Is 19 a factor of g?
True
Let y = 57 - 46. Let k be 12/7 + y/(231/6). Is 12 a factor of (-622)/(-6) - (7/(-3) + k)?
False
Let x(m) = -70*m**3 - 31*m**2 - 109*m - 18. Is x(-5) a multiple of 218?
True
Let h(k) be the second derivative of -25*k**3/6 + 9*k**2 - 16*k. Let b be h(-6). Suppose -56*f + b = -54*f. Is 21 a factor of f?
True
Let o(w) be the second derivative of -w**4/12 - 13*w**3/6 - 6*w**2 - 2*w + 51. Let i be (-3)/3 - (-8)/(-1). Is 3 a factor of o(i)?
True
Does 156 divide ((-4)/(-6) + 0)/((-6)/18) + 10625?
False
Let r be ((-12)/30)/(-1 + 38/40). Suppose -r*l + 81 = -159. Is 9 a factor of l?
False
Suppose 7429 = 19*b - 6973. Let k = 1270 - b. Is k a multiple of 16?
True
Let y = -274 - -25. Let f = 330 + y. Is 2 a factor of f?
False
Suppose 4*m - m - 6 = 0, 2*m = -5*n - 1. Let t be (-3997)/28 + n/4. Let d = t - -219. Is d a multiple of 16?
False
Does 137 divide 9/15*(-40)/(-30) + 439555/25?
False
Let w = -143 - -733. Suppose 298 = 6*z - w. Is 3 a factor of z?
False
Suppose 2*v + 4*v = -5*o + 2037, 5*o - 689 = -2*v. Suppose -v = -l + 5*i + 144, -i + 1427 = 3*l. Is l a multiple of 14?
True
Let r = 48 + -45. Suppose 5*w - 6*w - 5*x = -r, 4*x = -5*w + 15. Suppose 117 = 6*g - w*g. Does 14 divide g?
False
Suppose -12*d + 11*d + 4340 = 4*f, -d + 5*f + 4277 = 0. Is 88 a factor of d?
True
Let s be 10/4*(6 - (-78)/(-15)). Does 46 divide (-1)/(-10)*s - 8967/(-15)?
True
Let c = 45848 + -20858. Is 42 a factor of c?
True
Let n(m) = m**3 - 15*m**2 + 10*m + 73. Let s be n(14). Let l(q) = 3*q**2 - 4*q + 56. Does 68 divide l(s)?
False
Let t = 1 + 0. Let p(b) = -5*b**3 + 6*b**2 - 11*b + 7. Let k be p(-4). Is k/4 - t/(-4) a multiple of 39?
True
Let o(f) = -f**2 - 66*f - 212. Does 4 divide o(-34)?
True
Is ((-97)/(-3))/(4/10 + (-20)/60) even?
False
Suppose -6*q + 366687 = 39447. Is q a multiple of 90?
True
Let j = 23 - -23. Let z = j - 44. Does 29 divide (3 - 153)*(3 + (-7)/z)?
False
Let d = 21576 + -15514. Is 55 a factor of d?
False
Let l(i) = 3*i**2 - 8*i - 73. Suppose -194*n + 182*n + 96 = 0. Is l(n) a multiple of 6?
False
Let v(o) = o**2 + 9*o + 30. Let k be v(-16). Let p = k - 83. Is 31 a factor of p?
False
Let f(q) = 27005*q**2 + 204*q - 201. Is 17 a factor of f(1)?
False
Let a(c) = -3*c**3 + 24*c**2 - 22*c - 19. Let s(j) = -j**3 + 8*j**2 - 7*j - 6. Let p(k) = 3*a(k) - 8*s(k). Does 8 divide p(5)?
True
Let p(f) = -f**3 - 7*f**2 - 9*f - 16. Let b be p(-6). Suppose 4 = -b*o + 32. Suppose -15*w + o*w + 12 = 0. Does 2 divide w?
True
Let n(r) = 3*r - 2 + r**2 - 1 + 2*r**2. Let j be (-22)/5 - 42/70. Is 19 a factor of n(j)?
True
Suppose 6*f = 82 - 454. Let s be (-24)/(-10)*190/(-4). Let n = f - s. Is 26 a factor of n?
True
Let s(g) = 6*g + 6. Let t be s(-5). Let u(b) = -b**2 - 25*b - 15. Let p be u(t). Suppose 0 = -p*q - 8*q + 4828. Does 24 divide q?
False
Let k = 9 - 11. Let i be (-35)/k + 2*1/(-4). Suppose -3*h = -i - 58. Does 5 divide h?
True
Suppose w + 8 = -3*r, 7*r - 2*r - 2*w - 5 = 0. Does 11 divide 592*(r + 6/4)?
False
Let z(k) = 2*k**2 - 53*k - 33. Let h be z(29). Suppose 0 = p + 41 + h. Does 15 divide p/6*((-35)/(-15) - 5)?
False
Let c = 35 + -25. Suppose 2*w + 65 = -7*g + 2*g, 0 = -2*w + c. Is g/(-6)*(8 - -4) a multiple of 13?
False
Let a be (-35)/(-10)*24/7. Suppose a*t = 11*t + 30. Is 22 a factor of t?
False
Let i(l) = 92*l**2 - 63*l + 329. Does 123 divide i(-19)?
False
Let z(n) = -3*n**2 - 12*n - 21. Let l be z(-11). Let o = -130 - l. Is o/14 + (-3 - 23/(-7)) a multiple of 3?
True
Suppose 11*u - 9*u = -10. Let k(i) = i**3 + 5*i**2 - 10*i + 1. Let d be k(u). Let w = d - 45. Is 3 a factor of w?
True
Suppose -5*t + z - 5*z = -2372, -2*t + z = -954. Does 4 divide t?
True
Let p = 7 - -73. Suppose -44*u = -49*u + p. Suppose 22*o = u*o + 1392. Does 50 divide o?
False
Let a = -120529 - -178830. Is 337 a factor of a?
True
Suppose -5*g + 2*k = -8298, -4*k + 7*k = -3*g + 4983. Suppose 172*f + g = 182*f. Is 8 a factor of f?
False
Let t(k) = k + 6. Let u be 56/(-420) - (-88)/(-15). Let m be t(u). Suppose 3*r + m*r = 216. Does 15 divide r?
False
Let o = -386 - -209. Let b = 111 - o. Does 58 divide b?
False
Suppose -4*b = -3*t - 1 - 8, -4*t - 3*b - 12 = 0. Is 34*46/(-12)*t a multiple of 25?
False
Let l be 21/(-12) + (-156233)/(-44). Suppose -257*h + 264*h = l. Is 44 a factor of h?
False
Suppose 4623 + 24989 = 5*w - 3*d, 5*w + 5*d - 29580 = 0. Does 8 divide w?
True
Suppose -39*t - 14000 = -43*t. Suppose -s + 706 = -3*z - z, 0 = 5*s - 5*z - t. Suppose -s = -14*g + 184. Is g a multiple of 9?
True
Let j = 867 + -1326. Let u = j + 1998. Is 57 a factor of u?
True
Let n = -3573 - -3703. Is n a multiple of 50?
False
Let c = -626 + -129. Let w = c + 1104. Is 41 a factor of w?
False
Let v = -11280 - -15664. Does 32 divide v?
True
Suppose -3411 = -12*z + 15*z. Let r = -528 - z. Is 21 a factor of r?
True
Let j be ((-9740)/(-25))/((-6)/75). Is ((-9)/45)/(2/j) a multiple of 10?
False
Suppose l - 6*l = -2*l. Let s(c) = 3*c**2 - c + 449. Is 76 a factor of s(l)?
False
Let y = 1322 + 171. Let x = y - 890. Is 22 a factor of x?
False
Let z = -2318 + 3155. Is z a multiple of 9?
True
Let l = -11563 - -27425. Is 103 a factor of l?
True
Let w(i) = 5*i**2 - 2*i + 13. Let n be w(11). Let s = -441 + n. Is 10 a factor of s?
False
Let g(q) = 35*q + 1 + 5 - 24*q + 3*q**2. Let t(r) = 6*r**2 + 22*r + 11. Let b(a) = 9*g(a) - 4*t(a). Is 2 a factor of b(-4)?
True
Let x = -893 + 896. Suppose 0 = -11*j + 9*j + 4*p + 1686, 2*j - 1690 = x*p. Is j a multiple of 9?
False
Let c = 26234 - 2826. Does 7 divide c?
True
Let t(i) = 2*i + 1. Let x be t(-3). Let y(l) = 6*l**2 - 13*l - 3. Let a be y(x). Is 1 - (2 - a)/2 a multiple of 16?
False
Suppose k - 3*k = 7 - 35. Does 11 divide k?
False
Let s = 25646 + -24887. Is s a multiple of 10?
False
Let p = 218 - 213. Suppose -2*h = -b - 323, 937 = p*h - 5*b + 122. Is 16 a factor of h?
True
Let h be 27/21 - (-8)/(-28). Let w be (-408)/(-3) + (2 - h). Suppose -p = -3*r + w, -r = 2*r + 5*p - 161. Is 25 a factor of r?
False
Suppose -120*z - 10016 + 82496 = 0. Is 12 a factor of z?
False
Let w = 32 + -14. Let i = 23 - w. Suppose -3*z = -6*z - 4*k + 633, -i*k + 200 = z. Is 23 a factor of z?
False
Let h(r) = 10*r - 30. Let d(m) = 9*m - 31. Let t(p) = -4*d(p) + 3*h(p). Let c be t(-21). Let s = c + -33. Is 27 a factor of s?
False
Suppose -377*w = 371*w - 757*w + 52200. Is 40 a factor of w?
True
Does 17 divide ((-109704)/448)/(12/(-1088))?
True
Suppose 5*s = -5*z + 24575, -2*s - 2*s = -5*z + 24620. Is z a multiple of 24?
True
Let m be ((-8)/(-100)*5)/((-7)/(-21175)). Let t = -625 + m. Does 13 divide t?
True
Let u(g) = 2*g**2 + 6*g - 10. Let z(l) = 6*l**2 + l - 8. Let i be z(-3). Let v = -49 + i. Does 8 divide u(v)?
False
Let i(n) = -1691*n - 6230. Does 13 divide i(-5)?
False
Let b be (2/6)/(4/(120/5)). Let s be b + (-2 - -8) + -2. Does 19 divide (16/s)/(2/114)?
True
Suppose -7*t = -8*t - 2*o + 6090, -3*t = 4*o - 18270. Does 6 divide t?
True
Let q(v) = 489*v + 1247. Is q(15) a multiple of 39?
False
Let b be (1910/6)/(9/27). Suppose -3*s + b = 2*l - l, -s + 5*l + 329 = 0. Suppose -4*k + s + 165 = 0. Does 27 divide k?
False
Suppose 8*s - 3*s + 27 = q, 2*q - 3*s - 19 = 0. Suppose 0*t = -q*t - v + 418, -t + v = -203. Is 13 a factor of t?
False
Suppose -32*q - 2150 = -48*q + 15*q. Does 83 divide q?
False
Let w be (-4 - -4)/11*(0 - -1). Suppose w = -2*n + 2*v + 52 + 250, -v = 2*n - 299. Does 6 divide n?
True
Does 218 divide 3*2/(-21) - (-21033012)/539?
True
Let r(z) = 288*z - 2419. Is r(18) a multiple of 25?
False
Let a = 2132 + -1886. Is 3 a factor of a?
True
Suppose 21 = -4*h - 3, -2*h - 3092 = -4*v. Is 35 a factor of v?
True
Suppose 130304 = 94*w + 27092. Is w a multiple of 183?
True
Suppose 168*p = 27*p - 3*p + 4089168. Is p a multiple of 130?
False
Let i(c) = c**2 - c - 22. Let b be i(8)