 - -314. Is 22 a factor of g?
True
Let r be 8/6*7443/6. Suppose -89 = -7*m + r. Does 10 divide m?
False
Suppose -94*c = -90*c - 28. Let w(g) = 32*g + 77. Does 10 divide w(c)?
False
Let s be 6/14 - (2 + (-117)/21). Let o be s/(((-5)/(-25))/((-2)/(-5))). Let c(t) = -t**3 + 9*t**2 - 3*t + 9. Is c(o) a multiple of 5?
False
Let b(p) = -3*p + 62. Let r be b(20). Suppose -4*d - 16 = 0, -5*z + d + r*d = -47. Is 10 a factor of (-6 + z)*30*6/9?
True
Let y be 681 - (8 - 4)/((4 - -7)/11). Let o = -1 + 1. Suppose -2*n - 159 + y = o. Is 37 a factor of n?
True
Let g(h) = h**2 + 11*h + 12. Let a be g(-10). Suppose 4*f + 82 = a*y, 2*y + y - 123 = -3*f. Is y a multiple of 3?
False
Let c(n) = -2*n - 8. Let w be c(10). Let r = w - -46. Suppose 198 + r = 4*s + 3*v, -5*s - 3*v = -273. Is s a multiple of 19?
True
Is (-2 - (-12)/9)/(23/(-88596)) a multiple of 7?
False
Suppose g + 11252 = 2*d, 2*g - 9052 - 13444 = -4*d. Is 125 a factor of d?
True
Let k = -13245 - -14578. Is k a multiple of 31?
True
Let g(v) = v**3 + 8*v**2 + 6*v - 5. Suppose -7*o - 18 = 31. Let h be g(o). Let n = h + 3. Is 2 a factor of n?
False
Let s be ((-2795)/30)/((-8)/48). Let m = 889 - s. Is 7 a factor of m?
False
Let r be (-7)/((-63)/390) - (-1)/(-3). Let o = r - -18. Suppose 2*t = 4*a + 16, 5*t - 2*a = 3 + o. Is t a multiple of 2?
True
Suppose 43*b = 45*b. Suppose 23*q + 4*q - 5508 = b. Is 17 a factor of q?
True
Let l(p) = -2*p**3 - 5*p**2 + 15*p + 53. Suppose 7*d = -6*d - 91. Is l(d) a multiple of 22?
False
Let t = 10858 - 792. Is 24 a factor of t?
False
Let c(z) = -330*z - 1628. Is 44 a factor of c(-14)?
True
Let d(u) = 8*u**3 - 15*u**2 - 50*u + 267. Does 21 divide d(13)?
True
Let l = 40 + -37. Suppose -5*g = -l*g - 6, -2*g = 5*u + 79. Does 17 divide u/2*40/(-5)?
True
Suppose -20*s = -56*s + 20088. Does 31 divide s?
True
Let h(s) be the first derivative of 5*s**2 + 160*s - 266. Is h(58) a multiple of 20?
True
Let w(b) = b**2 + 3*b - 2. Let f(s) = s**2 + 9*s - 4. Let t be f(-9). Let o be w(t). Suppose -c + 27 = -u, -3*u = o*c - 5 - 34. Does 24 divide c?
True
Let s(c) = 2*c**2 - 5*c**2 - 10 + 5*c + 8 - 3. Let k be s(-5). Let z = -39 - k. Does 22 divide z?
True
Let l be (-70)/5 - (-2 - 0). Let x(d) = -8*d + 4. Let p be x(l). Let h = -28 + p. Is h a multiple of 9?
True
Suppose 3*y + 0*q - 7 = 2*q, -2*y - 2 = -3*q. Suppose 0 = -y*a - 8 + 38. Suppose 8*m - a*m = 154. Does 11 divide m?
True
Let d(z) be the second derivative of 45*z**3/2 - 10*z**2 - 2*z - 41. Is d(4) a multiple of 52?
True
Let o(y) = -2*y**2 + 12*y - 8. Let b be o(5). Suppose -r = 4*s - 183 + 1929, 1307 = -3*s - b*r. Let a = -125 - s. Is 26 a factor of a?
True
Let r = -35 + 46. Suppose -r*g + 5023 + 1115 = 0. Does 7 divide (g - 6)/6 - (1 - 0)?
True
Let u(s) be the third derivative of -s**6/120 + 3*s**5/10 + 17*s**4/24 + 3*s**3 + 49*s**2. Is u(18) a multiple of 12?
True
Let l(a) = 2599*a - 690. Is 49 a factor of l(2)?
True
Let v be (-1)/(3 + -2) + -16. Let m = 4 - v. Is 2 a factor of m?
False
Let m = -50 + 46. Let x be 0 + (m - 12/(-3)). Suppose x = 3*d - 380 - 124. Does 21 divide d?
True
Let x = -180 + 182. Suppose -x*i + 258 - 62 = 0. Is 22 a factor of i?
False
Suppose -p + 5*g - 23 = 0, 10 = -5*p + 2*g + 2*g. Suppose 0 = 2*m + 2*b - 90, 160 = 2*m + m - p*b. Suppose k - m = -2*r - 2*r, 2*k - 48 = 5*r. Does 24 divide k?
False
Let b(j) = 8*j**2 - 175*j - 3448. Does 43 divide b(102)?
False
Is (3090/60)/((-1)/(-58)) a multiple of 5?
False
Let z = 808 - 700. Suppose -370*x + 373*x = z. Is 17 a factor of x?
False
Does 6 divide (15344/84)/(12/54)?
True
Let b = 7248 + -5120. Is b a multiple of 38?
True
Suppose 5*y - 114 = 3*s, s + 86 = 4*y - 4*s. Suppose 0 = -22*g + y*g - 330. Suppose -22*o + g = -21*o. Does 11 divide o?
True
Let a(s) = 22*s**3 - 2*s**2 - 2*s. Let c be a(-1). Let d be (-8)/(-6) - (c/6 - -4). Is 33 a factor of 1 + d + 20/(-5) + 167?
True
Let x(r) = 711*r + 36. Let d(p) = 474*p + 24. Let g(q) = -8*d(q) + 5*x(q). Let c = -162 - -161. Does 45 divide g(c)?
True
Suppose 4*i + 16 = -d, 0 = -4*d - 8*i + 3*i - 9. Is (d/(-12))/((-5)/3990) a multiple of 7?
True
Suppose 8*z - 3*c + 17919 = 13*z, -2*c = 4. Does 8 divide z?
False
Let p(j) = 647*j**2 + 35*j. Is p(-4) a multiple of 74?
True
Suppose -y + 5 + 4 = 0. Let u be y*(1 - 7/9). Suppose 5*c = u*m - 12, -3*c = 4*m - 6*c - 52. Is 7 a factor of m?
False
Let f(y) = y**3 - 2*y**2 - 2*y + 8. Let z be f(3). Let i(d) = -d**3 + 11*d**2 + 14*d - 14. Let m be i(z). Let c = m + -80. Is 30 a factor of c?
True
Suppose 1168 - 92 = 4*l. Let z = l + -181. Is 11 a factor of z?
True
Suppose 6*n = -67 + 571. Suppose -204 - n = -4*v. Does 18 divide v?
True
Let s(r) = 454*r**2 + 108*r + 422. Does 26 divide s(-4)?
True
Let g = 24 + -22. Suppose 5*b - 18 = w, 16 = g*b - 0*w + 4*w. Suppose -3*i - 2*n + 176 = 2*n, 0 = b*n - 20. Is 12 a factor of i?
False
Is 30 a factor of 13/65 + -5 + (-251622)/(-15)?
True
Let q be (-22)/(-5) - (-5 - 162/(-30)). Suppose -y + q*f + 26 = 0, -4*f + 14 = y - 2*f. Does 3 divide y?
True
Let j = 89 - -18. Suppose 4*m + j = 1191. Does 16 divide m?
False
Suppose 1298 - 242 = -4*p. Let x = 710 + p. Suppose 3*t + 152 - x = 0. Is t a multiple of 27?
False
Let q(z) = 4*z**2 - 23*z + 3623. Is q(100) a multiple of 31?
True
Let y = -5191 + 35173. Does 13 divide y?
False
Suppose -3*i - 2*j + 88 = 0, -4*i + 4*j + 104 = -0*i. Suppose -3*w = i + 110. Does 7 divide 0 + -3 - (w + 1)?
True
Suppose v + 515 = 3*x, v + 2*v = -6. Let r = 206 - x. Is 4 a factor of r?
False
Let w be 53/(-212) + (-205)/(-4). Suppose 2*n + w = 249. Is 9 a factor of n?
True
Let u = 85 - 455. Does 23 divide (736/(-10))/(37/u)?
True
Suppose 0 = 4*a - 4*k + 184, 5*k + 40 = -2*a + a. Let b be (5/(-3))/(a/162). Let w = b + 62. Is 17 a factor of w?
True
Is 16 a factor of 17/68*-1212*64/(-6)?
True
Suppose 22*g + 6188 = 9*g. Let a = g + 541. Does 13 divide a?
True
Suppose 0 = 2*x + 2*f - 3*f - 5, 11 = -x + 5*f. Suppose o - 3*j = -7*j + 347, x*o + 5*j = 1377. Does 49 divide o?
True
Let t(w) = -83*w**3 + 2*w + 9. Let b be t(8). Does 11 divide -1 + 10/6 + b/(-81)?
False
Let l(p) = 716*p**2 - 43*p - 2. Is 13 a factor of l(-4)?
False
Suppose -79*o = 248*o - 1965924. Is o a multiple of 70?
False
Suppose -w = -5*c + 3470, 3*w - 5*c + 10350 = -2*c. Let z = -2228 - w. Is z a multiple of 55?
False
Let v(k) = -3*k - 26. Let g(j) be the third derivative of -j**6/120 - 11*j**5/60 - 11*j**4/24 - 11*j**3/3 + 10*j**2. Let r be g(-10). Is v(r) even?
True
Suppose -15*i + 13*i = 14. Does 45 divide (-2)/i + ((-5811)/(-21) - 7)?
True
Let h(k) = 2*k**2 - 7*k - 4. Let v be h(4). Suppose 5*r + 4*x + 131 = -1184, -2*r + 3*x - 549 = v. Let z = r - -496. Does 18 divide z?
False
Let z be (-1)/(21/6) - 2807/(-49). Suppose 6*l + 5*u = 2*l - z, -5*l + 3*u = 99. Does 6 divide (9/l)/((-2)/12) - -27?
True
Let z = 324 + -319. Suppose -296 = -z*j + 39. Does 67 divide j?
True
Let r(k) = -71*k + 1750. Is 10 a factor of r(15)?
False
Let f(l) = -l - 34. Let x be f(-12). Let w = x + 602. Is 36 a factor of w?
False
Is (-14152)/(-25) + 96/(-1200) a multiple of 75?
False
Let s(l) = 9*l + 9. Let m be s(-1). Suppose m = -6*v - 144 + 606. Suppose 2*g + v = 213. Is g a multiple of 52?
False
Let g = 11 + -6. Let k be (g + -1)/(-1)*1. Is 3/(2/(178*k/(-12))) a multiple of 29?
False
Let t(p) = 2*p**3 - 27*p**2 - 12*p - 4. Let y be t(14). Suppose -u = 3*w - y, 60 = 4*u - w + 3. Does 4 divide u?
False
Let o = -13 - -16. Suppose -3*x - 65 = -2*f + 20, -o*f + 2*x + 135 = 0. Is 17 a factor of f - -2 - (-10)/5?
True
Suppose -2*i + 3*r = -1669, 0 = 23*r - 25*r + 2. Is i a multiple of 2?
True
Let h = 847 + -1259. Let b = -222 - h. Is 10 a factor of b?
True
Let r = 13702 + -2069. Does 33 divide r?
False
Suppose 71*d - 61*d = 1600. Suppose 5 = f, 3*x - x + 4*f = d. Is 10 a factor of x?
True
Is (20512/24 + 19 - 8/(-6)) + -4 a multiple of 17?
False
Let r(v) = 22*v + 18. Let b be r(13). Suppose -4*w - b = -3*m, m + 4 - 84 = -4*w. Suppose -18 - m = -q. Does 38 divide q?
True
Let j(g) = -19*g - 57. Let t(u) = 16*u + 56. Let p(s) = -4*j(s) - 5*t(s). Suppose 125 = -5*z + 5. Does 4 divide p(z)?
True
Let r(b) be the second derivative of -5/6*b**3 - 40*b - 1/20*b**5 - b**4 - 17/2*b**2 + 0. Does 4 divide r(-12)?
False
Let o = -15 + 30. Suppose 4*s + o = 5*g, 0*g - g = s - 3. Suppose 0 = -3*y - g*