r**2 + 55*r - 447. Is 76 a factor of q(-45)?
False
Let s(z) = 2*z**3 + 4*z**2 + 8*z - 42. Let g be s(5). Suppose -70*k + 76*k - g = 0. Is k a multiple of 6?
False
Suppose 80 = -5*r + g, 0*r - 4*g = 3*r + 71. Let j(m) = -m**3 - 12*m**2 - 18*m - 27. Let d(y) = y**2 - 4. Let a(k) = -6*d(k) + j(k). Does 9 divide a(r)?
False
Let m(j) = 7*j**2 - 7*j - 14. Let h = -363 - -360. Is m(h) a multiple of 5?
True
Suppose -9219 = -22*h - 3301. Suppose -2125 = -6*m + h. Does 7 divide m?
True
Let q = 5325 - 1822. Is 82 a factor of q?
False
Let j = 355 + -366. Let b(u) = u**3 + 19*u**2 + 5*u + 17. Is b(j) a multiple of 31?
True
Let p(x) = -x**3 - 12*x**2 + 28*x + 2. Let f be p(-14). Suppose 2*v - 6*v = 0. Suppose v*g + f*g = 404. Does 40 divide g?
False
Suppose -s - 4*g + 4102 = 0, -4*s + 3*g = -2351 - 14133. Is 71 a factor of s?
True
Suppose -2*v + 8 = 4. Suppose -5*k + v = -7*k. Is (-128)/16*(0 - (2 + k)) a multiple of 2?
True
Let m = 2212 - 1265. Let k = m - 647. Is 27 a factor of k?
False
Let i = 48 - 36. Suppose 0 = i*n - 246 - 6. Suppose 2*c = -5*c + n. Does 3 divide c?
True
Is 8 a factor of (-54)/(-10 - -19) + 25*488?
False
Let d(n) = -11*n + 23. Suppose s - 5*s = f + 334, 4*s + 5*f + 342 = 0. Let c = s + 71. Is 31 a factor of d(c)?
True
Let p(g) = -10*g + 16. Let f(b) = -22*b + 31. Let a(n) = -2*f(n) + 5*p(n). Is a(-10) a multiple of 5?
False
Let n be -117 + (-10)/(-2 + 0). Let d = -122 - n. Is 16 a factor of d/(-15) + (-3)/9*-79?
False
Let r(y) = 584*y**2 + 3*y + 605*y**2 + 602*y**2 - 1753*y**2 + 3. Does 10 divide r(-2)?
False
Suppose -513848 = 104*y - 2473000. Is 19 a factor of y?
False
Let f(w) = -w**3 - 2*w**2 + 3*w + 378. Let z(l) = 7*l - 77. Let u be z(11). Is 6 a factor of f(u)?
True
Suppose 0 = -15*y + 23*y + 1856. Let i = y + 386. Does 9 divide i?
False
Let h = 5760 + 1490. Is 52 a factor of h?
False
Suppose 0 = -28*u + 20*u + 40. Does 5 divide 12735/54 - u/6?
True
Let k(v) = v + 13. Let u be k(-19). Let o(t) = t**2 + 3*t + 2. Let m be o(u). Suppose 3*g + 2*c = 6*g - 751, -4*c - m = 0. Is g a multiple of 12?
False
Let g = -142 - -150. Suppose -1274 = -21*f + g*f. Is 10 a factor of f?
False
Suppose -26185 = -14*k - 2581. Is 10 a factor of (2/3)/((-18542)/k - -11)?
False
Let f be (-60)/(-2)*(-1088)/(-170). Suppose -f - 536 = -4*c. Is c a multiple of 20?
False
Let t be 2/(-3) - (-2 - 10268/12). Let b = t + -181. Suppose -5*q + 9*q + 4*u - b = 0, 0 = 3*q + 5*u - 511. Is q a multiple of 18?
False
Suppose o + 17762 + 207 = 3*a, a = o + 5989. Is 183 a factor of a?
False
Suppose 2*h - 8 = -4. Suppose 0 = -d + h*d. Suppose d*f + 288 = 4*f. Does 8 divide f?
True
Let v(c) = 164 + 53 - 13*c - 1 + 229 + 29. Is v(0) a multiple of 13?
False
Is 19 a factor of (-590)/(-2)*((-6032)/(-480) - (-1)/(-6))?
False
Let n(t) = -5*t**2 - 70*t + 27. Let c be n(-13). Let u = 55 + 24. Let r = c - u. Does 3 divide r?
False
Let h(p) = 54*p**2 + 2*p - 4. Let u = -93 + 95. Is 27 a factor of h(u)?
True
Let b = 145 + -140. Let j = 8 + -6. Suppose j*u + g - 372 = -0*u, u - b*g - 186 = 0. Does 41 divide u?
False
Suppose -761*l + 760*l - 27653 = -3*m, -l - 36871 = -4*m. Does 13 divide m?
False
Let q(a) = -2*a - 1. Let g(l) = -15*l - 12 - 2 + 8. Let k(s) = 4*g(s) - 20*q(s). Is k(-2) a multiple of 6?
True
Let o(j) = 47*j - 35. Let s = 71 + -68. Suppose 2*z - 25 = -s*z. Is o(z) a multiple of 11?
False
Is 8 a factor of (-100)/90 + (-15)/(1890/(-1190336))?
False
Let s = 77 - 76. Suppose 5*h - 5*d = 15, 0*d - s = -3*h + d. Is 33 a factor of (264/(-28))/(h/7)?
True
Let a(c) = c**2 + 2*c + 33. Suppose 55 = 3*q + s + 14, -4*q = -3*s - 72. Is 12 a factor of a(q)?
True
Let i(t) = 121*t - 939. Does 116 divide i(95)?
True
Is 9 a factor of ((-2)/5)/((-431)/7350705)?
True
Suppose a = 8 - 4. Suppose -a*c = 3*b - c - 237, -5*c + 95 = b. Suppose 0 = -5*o + 655 + b. Is o a multiple of 19?
False
Is 49326/(-66)*-38 - (2 - (-192)/(-88)) a multiple of 200?
True
Let r(s) = 2*s**2 + 93*s + 720. Is r(69) a multiple of 27?
True
Let c(d) = 2*d**2 + 1 + 200*d - 200*d - 9*d**3. Let f be c(-2). Suppose i + 8 - f = 0. Does 6 divide i?
False
Suppose -5*l + 14028 = 4*r + 1375, 9486 = 3*r + 3*l. Suppose f + 10*f = r. Let v = f + -143. Is 36 a factor of v?
True
Suppose -4*w + 12 = -4. Suppose p + 3*a = 156, 335 = 2*p - w*a + 63. Does 18 divide p?
True
Suppose -3*p + 70 = 2*p. Suppose r = -u + 2*r + 4, 2*u - p = 5*r. Suppose 0*k + 286 = u*k. Does 16 divide k?
False
Let u = -1379 - -2410. Let y = u - 911. Does 30 divide y?
True
Suppose 165*r = 58*r + 340260. Is r a multiple of 15?
True
Suppose 0 = 2*j - 6*j + z + 25, -4*j - 2*z + 22 = 0. Let d(f) = 4*f + 8 - 11 - 28 + 7 + 4*f**2. Is d(j) a multiple of 18?
True
Let x = -204 + 209. Is 22 a factor of (-1315)/25*(-10 + x)?
False
Let d be 26/(0 - 2) + -1. Let w be 1*-34 - ((-13 - -4) + 7). Let j = d - w. Is 6 a factor of j?
True
Let j = -6346 - -11696. Is 31 a factor of j?
False
Is (-1492 + 96)/(-3 + (-1 - 0)) a multiple of 57?
False
Let b(t) = -80*t + 6532. Does 22 divide b(-28)?
False
Suppose 9*k - 38 + 128 = 0. Is 5 a factor of k/40*-132*(-44)/(-6)?
False
Let r(b) = b**3 - 28*b**2 + 24*b + 79. Let m be r(27). Let s(f) = 59*f + 8. Let o be s(m). Does 59 divide (-2112)/(-160)*o/(-4)?
False
Suppose -9068 = -10*i + 6*i. Suppose 19*f - 678 = i. Does 32 divide f?
False
Let g(x) = 2*x - 12. Suppose 6*i - 57 + 15 = 0. Let d be g(i). Suppose -d*s + 7*s - 35 = 0. Is s even?
False
Let c = 3534 - 2190. Is 23 a factor of c?
False
Let p be 8/14 - (-20308)/(-14). Is 6 a factor of 8/44 - p/11?
True
Let m = -69088 + 99013. Is m a multiple of 75?
True
Let g(s) = 2*s**3 + 10*s - s**3 + 6*s + 39 + 21*s**2 + 6*s. Let f be g(-20). Let o = f - -56. Is 11 a factor of o?
True
Let p = -8373 - -11948. Is 25 a factor of p?
True
Let q(s) = 9937*s + 1812. Does 9 divide q(1)?
False
Suppose 0 = -7*s + 11*s + 4. Let a be 1672/(14 + -13 - (s - -1)). Does 16 divide (-2)/(-7) - (a/(-28) - 4)?
True
Let t = -7668 + 8063. Is 10 a factor of t?
False
Suppose s - 359 = -4*f, 2*s + 87 = 3*f - 196. Suppose -4*r + f - 11 = 4*o, -28 = -3*o + 5*r. Let j(y) = -y**2 + 18*y + 15. Is j(o) a multiple of 9?
False
Let a(h) = 14*h**2 - 5*h - 27. Let z = 364 - 357. Is 39 a factor of a(z)?
True
Let p = -100 + 104. Suppose 3*a + 256 = 2*b + 1200, 1232 = 4*a + p*b. Is a a multiple of 17?
False
Suppose 100*b - 2163420 = -50*b + 45*b. Does 17 divide b?
True
Does 6 divide (87/(4263/196))/((-2)/(-9784))?
False
Let d(s) = 255*s**3 + 10*s - 45. Does 10 divide d(3)?
True
Let r = -8498 - -14348. Is r a multiple of 26?
True
Suppose 259 = 7*a + 259. Let q be (-10)/15 - (-62)/3. Let h = q - a. Is h a multiple of 10?
True
Suppose 326533 = -108*n - 109*n + 2278231. Is 18 a factor of n?
False
Suppose 0 = 3*g - 4*q - 13407, 0 = -g - 54*q + 59*q + 4458. Is 71 a factor of g?
True
Let r be 452/6*(-90)/(-12). Suppose -5*h - 3*j - 2*j + r = 0, h - 2*j - 110 = 0. Let w = h - 56. Is w a multiple of 14?
True
Suppose 8 = -4*l, 3*l = w - 0*l - 6. Suppose 8*q - 992 = -5*f, 19*f + 2*q = 14*f + 968. Suppose w = 26*g - 20*g - f. Is 8 a factor of g?
True
Let w(v) = 35*v**3 - 5*v**2 + v + 9. Suppose 82*z - 108*z + 78 = 0. Is w(z) a multiple of 69?
False
Let t = 7266 - 6745. Is 18 a factor of t?
False
Let t = 81 - 32. Let q = t - 47. Suppose -q*z - 308 = -2*u, -5*u - 3*z + z + 742 = 0. Does 25 divide u?
True
Suppose -4*u = -3*w + 7956, 139*w - u + 2652 = 140*w. Is w a multiple of 17?
True
Let s(q) = 2*q**2 + 12*q + 328. Is s(-34) a multiple of 9?
True
Let v(n) = 6*n - 72. Let q be v(11). Is 11 a factor of (237/q - -5)/((-1)/22)?
True
Suppose 2*z + 21 = 19. Let x(w) = -401*w**3 - 2*w**2 + w + 1. Is x(z) a multiple of 7?
True
Is 7 a factor of (-6084)/24*1480/(-60)?
False
Suppose 4*v - 5*y - 350 = 827, 2*y - 584 = -2*v. Let r = v - 185. Is 27 a factor of r?
True
Let c(y) = -91*y - 4. Let f = -142 - -138. Let p(b) = -90*b - 2. Let s(a) = f*c(a) + 3*p(a). Does 22 divide s(2)?
True
Let s(i) = 10 - i - 13 + 11. Let d be s(5). Suppose b - d*b + 150 = -2*v, -2*v = b - 84. Is 32 a factor of b?
False
Let j(t) = t**2 - 12*t + 52. Let b be j(5). Let i(q) = -18*q + 18*q**2 - q**3 + 5*q - 2 + 10. Does 6 divide i(b)?
False
Let b(h) be the third derivative of -41*h**6/120 - h**5/60 - 2*h**3/3 + 16*h**2. Let t be b(2). Is 7 a factor of ((-3)/(-6))/((-4)/t)?
True
Let w(t) = 