(3). Let l = h + -55. Is 24 a factor of l?
False
Let i(x) = 2069*x**2 + 19*x - 21. Is 17 a factor of i(1)?
False
Let j be 2/22 + ((-1152)/(-66))/6. Suppose -5*m = -m - 76. Let g = j + m. Is g a multiple of 10?
False
Suppose 1254*c + 8490 = 1258*c + m, 0 = -5*c - 3*m + 10609. Does 19 divide c?
False
Suppose -24*p + 1008 = -28*p. Let j = -72 - p. Does 12 divide j?
True
Suppose 3*q - 66 = b - 2487, 2*b + q - 4828 = 0. Suppose 5*w - 5*c = b, -4*c + 861 = 2*w - 93. Is 37 a factor of w?
True
Let t = 11989 + -5186. Does 179 divide t?
False
Suppose -186*r + 678132 = -29*r + 50*r. Is 14 a factor of r?
True
Suppose -3*y = 3*q - 7269, 4*y + q - 2033 - 7671 = 0. Is y a multiple of 5?
False
Let t(l) = l**2 - 13*l + 18. Let o be t(13). Let v be (-14333)/(-99) + 4/o. Does 22 divide (-4*3/(-10))/(2/v)?
False
Suppose -s + 2 = 4*z, -z - 4 = -2*s - 5*z. Suppose 28 = 2*m - 3*q - 77, -5*m - s*q = -253. Is 12 a factor of m?
False
Let s be (17/(255/(-735)))/(2/(-4)). Let h(n) = n**3 + 3*n**2 - 5*n - 2. Let r be h(-4). Suppose 3*t - d - 63 = s, -116 = -r*t + 5*d. Is 11 a factor of t?
False
Suppose 2*r + 3*a = 5, -2*r = -3*r - a + 3. Suppose r*o + o = 365. Is 6 a factor of ((6*o)/(-3))/((-2)/1)?
False
Suppose 0 = -41*s + 202788 + 111805. Does 4 divide s?
False
Let v(j) = j - 566. Let c be v(0). Let b = c - -1190. Let d = b - 295. Does 20 divide d?
False
Suppose -27*b + 803 - 263 = 0. Is 6/(-30) - (-4124)/b a multiple of 9?
False
Suppose -13*v + h + 30305 = -10*v, -2*v = 5*h - 20192. Does 37 divide v?
True
Let i = 36 - 32. Let q be ((-230)/i)/(2/52). Does 7 divide q/(-55) + 4/(-22)?
False
Suppose 7618*d + 107008 = 7634*d. Is 44 a factor of d?
True
Let w(n) = -10*n**3 - 78*n**2 - 911*n - 2. Does 8 divide w(-16)?
False
Let y = 2590 + -1532. Suppose 23*x - 3082 = -y. Does 11 divide x?
True
Suppose d + 22 = -5*p, -p - 14 = -5*d + 10*d. Does 12 divide ((-90360)/171)/p + 2/(-19)?
True
Suppose 4*t = -94 + 54. Let g(q) = -6*q - 48. Let m be g(t). Is (m/(-5))/((-22)/55) a multiple of 3?
True
Suppose -1475 - 550 = -3*q. Suppose -v + 267 = v - 3*x, 5*v - 5*x - q = 0. Suppose -173*w + v = -171*w. Is 37 a factor of w?
False
Let t = 60 - 55. Suppose -t*v - 13452 = -24*v. Does 12 divide v?
True
Suppose -q + 50 + 832 = -238. Does 20 divide q?
True
Suppose 2*u - 5*x - 43645 = 0, u + 4*x - 16255 - 5613 = 0. Is 120 a factor of u?
True
Suppose -5*m + 4*x = -61 - 169, -2*x - 240 = -5*m. Suppose 0 = 6*b - 11*b + m. Suppose -q = -b*q + 1224. Does 14 divide q?
False
Let u(x) = x**2 + 27*x + 50. Let m be u(-25). Suppose 413 = b + 3*s, m*s = -b - 4*s + 411. Is 20 a factor of b?
False
Let p be (0 - 8/(-6))/((-6)/(-18)). Suppose g - p*k = 17, 4*g + 0*g - k - 23 = 0. Let s(b) = 24*b - 3. Is s(g) a multiple of 9?
True
Suppose -7 = -5*d + 13. Let y be 26/8 + (-1)/d. Suppose -y*x + o = -146, -2*x + 5*o + 92 = 7*o. Is x a multiple of 24?
True
Let h(q) = -2*q + 10. Let s be h(4). Suppose z = -s*z - 144. Is (z/(-10))/(2/30) a multiple of 12?
True
Let t be (4/8)/((-11)/27874). Let j = 2295 + t. Is j a multiple of 55?
False
Let g(i) = 3*i + 50. Suppose 0 = 2*d - 5*p + 46, 7 = -3*d - 5*p - 12. Let j be g(d). Let y(c) = c**2 + 2*c + 17. Does 16 divide y(j)?
True
Suppose 600 = -8*x + 5*x. Is 16 a factor of (-162)/(-5)*x/(-15)?
True
Suppose -r + 7 = t, 3 = -2*t + 4*r - 1. Suppose -2*k - 13*m + 14*m + 448 = 0, 0 = 2*m + t. Is k a multiple of 4?
False
Suppose 0*j = j. Let k be (-6)/(-10)*(-1590)/(-53). Suppose 5*o + j*a - 2*a - k = 0, 0 = -5*a + 5. Is o a multiple of 2?
True
Let a(v) = -v + 1 - 29*v**2 - 5*v - 2*v**2 + 4*v. Let c be a(1). Let h = c - -159. Is 9 a factor of h?
False
Does 173 divide (-7 - 1) + ((-143)/(-13) + 53560 - 0)?
False
Suppose -3*m + 2*m - 2 = -2*w, 5*m = -w + 1. Let n(a) = -a**2 - a - 5. Let r be n(m). Let i(v) = -v + 9. Is 14 a factor of i(r)?
True
Suppose -2*k = 19*w - 16*w + 153, -2*w = k + 102. Does 9 divide (w/(-68))/(-2 - (-2678)/1336)?
False
Let v = 79 - 75. Suppose 30 = a + v*m + 7, -64 = -4*a - 2*m. Let f(h) = 17*h + 20. Does 41 divide f(a)?
False
Let a(c) = -39*c + 6. Let g be a(-8). Suppose -4*w = -3*t + 13, 4*t + 3*w + 29 = 8*t. Suppose -g - 12 = -t*h. Does 6 divide h?
True
Let y(z) = -11 - 25*z - 14 + 45. Is 10 a factor of y(-17)?
False
Let k = 69 - -84. Let c = -86 + k. Let l = 97 - c. Is l a multiple of 15?
True
Let t(j) = j**3 - 78*j**2 + 952*j + 83. Does 239 divide t(72)?
True
Let q(v) = -123*v - 7807. Does 4 divide q(-74)?
False
Is 8 a factor of ((-580)/50 + 12)/(2/4160)?
True
Suppose -3*q + 11*q - 112 = 0. Let g(y) = 9 - q + 8 - 44*y. Is 9 a factor of g(-1)?
False
Let w(r) = 16*r**2 + 42*r + 460. Is w(-33) a multiple of 137?
False
Let c = -20 + 64. Suppose 0 = -4*d + 5*h - 6*h + 4, 16 = -d + 4*h. Let j = c - d. Is 15 a factor of j?
False
Suppose -13*k - 48 = -5*k. Let m be (86/42 + k/(-21))*15. Does 14 divide (1 - -3)*-2*m/(-4)?
True
Let t = -371 - -1491. Suppose 7*d = -7*d + t. Is 8 a factor of d/(-6)*-8 + 4/12?
False
Suppose 5*h - 32 = -3872. Suppose -249 + 25 = -8*a. Does 2 divide 8/14 - h/a?
True
Is 556*360/128 + (-3)/(-12) a multiple of 23?
True
Suppose x - 2880 = -z, -5*z = 4*x - 8*z - 11527. Suppose 781 = -7*u + x. Is u a multiple of 50?
True
Suppose -14*n + 40*n - 3848 = 0. Let s = 216 + n. Is s a multiple of 21?
False
Suppose 61367 = 26*r - 214935. Is r a multiple of 88?
False
Let o = -3842 - -9395. Is o a multiple of 94?
False
Let c(n) = 7*n**2 + 11*n - 503. Is 5 a factor of c(16)?
True
Suppose 0*q - 3360 = -5*q. Suppose -128*v - q = -130*v. Does 28 divide v?
True
Let d = -4901 - -13775. Is d a multiple of 69?
False
Suppose -6*f + 7377 = -3*f + 3*w, 5*f - 12297 = -3*w. Is 41 a factor of f?
True
Suppose -47*n + 54*n = -7. Is 51 a factor of n - 0 - -6 - (-449 - 56)?
True
Suppose -5*p + 81155 = 4*z, -22*z + 48725 = 3*p - 26*z. Does 85 divide p?
True
Suppose -2*r = -2*g - 2, r = -0*r - 4*g - 4. Suppose r = 5*p - 0 + 25. Does 14 divide (-373)/(-2) - p/(-10)?
False
Let y(a) be the third derivative of 17*a**5/120 - 5*a**4/12 + 3*a**3/2 - 18*a**2. Let u(q) be the first derivative of y(q). Is 10 a factor of u(3)?
False
Let n = 77 + -65. Suppose -n*d + 338 = -13*d. Let v = d + 619. Is 16 a factor of v?
False
Suppose 3*y = 5*o - 2731, y = 4*o + 2*y - 2178. Suppose 5*k = -o + 2250. Suppose 12 + k = 5*w + 3*g, -2*w - 4*g = -130. Does 17 divide w?
False
Let g be ((-3)/4)/((-18)/120 - 0). Suppose -5*v + 7*v - 56 = -g*h, 0 = -4*h + 2*v + 52. Does 6 divide h?
True
Let f(t) = -23*t**3 - 24*t**2 - 117*t - 5. Is 3 a factor of f(-4)?
True
Let d(p) = 17*p**2 + 2*p - 1. Let i be d(-2). Suppose 6*c - 645 = -i. Let w = -46 + c. Does 5 divide w?
False
Let f = 10990 - -9719. Is f a multiple of 117?
True
Let z(w) = 15*w**2 - 6*w - 8. Suppose 37 = 7*p + 58. Does 29 divide z(p)?
True
Let x = -184 + 121. Is 23 a factor of ((-42)/x)/(4/2490)?
False
Suppose -143138 = 25*b - 28*b - 2*n, 238563 = 5*b + 3*n. Is b a multiple of 12?
True
Suppose -g - 3*g - 32 = -3*o, 0 = -5*o + 2*g + 30. Suppose o*d = 3*p - 3572, 2*p = 4*p - d - 2383. Does 67 divide p?
False
Let f = 8437 + 1103. Is 15 a factor of f?
True
Let p(u) = -u**2 - 14*u - 40. Let s be p(-10). Suppose -6*h + 9*h + 4*r - 1346 = 0, s = -2*r + 10. Does 32 divide h?
False
Let f(h) = h**3 + 24*h**2 + 10*h - 7. Does 12 divide f(12)?
False
Let b(d) = 1086*d - 161. Is b(1) a multiple of 25?
True
Suppose 5*g - 2*k = -0*k + 25, g - 5 = k. Suppose g*s + 2 = -3*d, 4*s + s - 3*d = 22. Suppose -s*v = -3*f - 485, f + 4*f = -25. Is 46 a factor of v?
False
Suppose -281 = -7*l - 99. Suppose l = 2*k - 2*r, 0*k - 5*k + 75 = -3*r. Suppose 15*x = k*x - 225. Does 10 divide x?
False
Suppose 0 = 2*c - 3*c + 6. Let n(k) = -2*k**3 + 5*k**2 + k + 4. Let o(b) = 3*b**3 - 4*b**2 - b - 3. Let t(m) = c*n(m) + 7*o(m). Is 11 a factor of t(2)?
False
Let d be (9/(-6))/((-7)/378). Suppose -2*g + p - 5*p + 168 = 0, 0 = -g + p + d. Suppose -10*y + g = -9*y. Is 21 a factor of y?
False
Let l(k) = 114*k - 1014. Is l(36) a multiple of 22?
False
Suppose 32272 = -8*g + 34232. Is 4 a factor of g?
False
Let a be (-33)/22 - (-25)/(-2). Let s = a + 31. Suppose -105 = -2*r - s. Is r a multiple of 11?
True
Let p(l) = 152*l**2 + 1666*l + 24. Is 15 a factor of p(-12)?
True
Suppose 0 = -3*k, r - 747 = -2*r + 2*k. Suppose 4*s - 72 = 296. Let l = r - s. Is l a multiple of 32?
False
Let b(i)