(5). Suppose 0 = 5*g - 18*n + 21*n - 2585, -5*g + r*n = -2585. Is 31 a factor of g?
False
Let n = 2394 + -1938. Is n a multiple of 4?
True
Let n(h) = 2*h**2 + 2*h - 51. Suppose 0 = -33*x + 40*x - 56. Is 10 a factor of n(x)?
False
Let r(j) = 6*j**2 + 3*j + 5. Let a(x) = 3*x**2 + x + 3. Let y(z) = -5*a(z) + 3*r(z). Let l be y(-5). Let w = l + -23. Is 16 a factor of w?
True
Suppose 0*i - 8*i + 1640 = 0. Suppose -6*w + i = -137. Does 19 divide w?
True
Suppose 3*u - 4733 = 4*t, -3*t = 3*u + t - 4717. Suppose 0 = -5*q + k + 4*k + u, 20 = -4*k. Is 31 a factor of q?
True
Let b(c) = c**2 - 5*c + 9. Let h be b(3). Let x(f) = -f**3 + 4*f**2 + f - 6. Let v be x(h). Suppose -v*n + 96 - 12 = 0. Is 4 a factor of n?
False
Let k be 2*1/(-2)*-6. Let n(y) = -10*y - 22*y + 37*y - 19 + y**2. Does 16 divide n(k)?
False
Let n(a) = -6*a**3 - 157*a**2 + 5*a + 29. Let l be n(-26). Let g = l + 939. Is g a multiple of 8?
False
Suppose -6*t + 19 - 7 = 0. Does 3 divide (18 - 10)*t/2?
False
Let x be 11/((-22)/(-96)) - (-1 + 1). Let o = x - 44. Suppose -o*h + 3*y = -409, h + 0*h = 4*y + 99. Is h a multiple of 37?
False
Does 60 divide -5 - (-5 - (-14 - -3465))?
False
Suppose -190*g + 195*g = 20. Suppose -5*v - z - 78 = -7*v, g*v - 3*z - 160 = 0. Is v a multiple of 3?
False
Let z = -546 - -534. Does 11 divide -123*(236/z - -5)?
True
Suppose 5*c = y - 3*y - 313, 3*c - 5*y + 163 = 0. Let d = -56 - c. Suppose 3*q - 201 = -f - 0*f, 0 = -2*q - d*f + 121. Is 10 a factor of q?
False
Suppose -170*u - 41905 = -199*u. Does 85 divide u?
True
Suppose 0 = 4*n + 3*s - 46162, 5*s = 4*n + 1756 - 47902. Is n a multiple of 9?
False
Let c(v) = 134*v**2 + 123*v - 18. Is c(6) a multiple of 28?
True
Suppose -24 - 24 = -24*y. Is 8 a factor of ((2040/(-32))/17)/(y/(-8))?
False
Let u = 12075 + -9926. Does 21 divide u?
False
Let j = 13 - 7. Suppose -j*r + 665 = 13*r. Does 26 divide r?
False
Suppose -4*x - 5*w + 1841 = -926, -x + 3*w = -696. Suppose -14*q + x = -427. Does 5 divide q?
True
Let u = -10969 + 15411. Is u a multiple of 106?
False
Let u(x) = 101*x + 1686. Is u(23) a multiple of 19?
True
Does 58 divide (-203)/((-11)/242*(35/(-10) + 4))?
True
Let w = -522 + 525. Suppose -3*b - 5*c + 1428 = 0, -w*b - c = 297 - 1737. Does 13 divide b?
True
Let a(n) = -13*n**3 + 3*n**2 - 3*n + 5. Let t be a(3). Let m = t - -394. Is m a multiple of 33?
True
Let k be (2995/(-10)*(-2 + 3))/((-23)/46). Suppose 2*o = -0*o - 854. Let a = o + k. Is a a multiple of 15?
False
Let n(w) = 247*w**2 + 111*w + 25. Is 14 a factor of n(-4)?
False
Let p(j) = 4*j + 29. Let b be p(-6). Is 48 a factor of 1/(b/2975*7)?
False
Let n(y) = 6*y + 41. Let s be n(-6). Suppose 2*p + 18 = 4*h, p - 24 = -4*h + s*p. Is 3 a factor of h?
True
Let p be (545/10 + 0)*2. Suppose -172 = -x + 2*j - 58, 3*j - p = -x. Does 4 divide x?
True
Suppose -342375 = 438*l - 453*l. Is 55 a factor of l?
True
Let v(l) = 27*l**2 + 362*l + 35. Is v(-17) a multiple of 22?
False
Let o(s) = 309*s + 1649. Is 5 a factor of o(4)?
True
Let r(u) = u. Let v(x) = -x - 1. Let n(i) = -i**2 - 16*i - 22. Let q(k) = n(k) - 5*v(k). Let t(o) = -q(o) - 2*r(o). Is 9 a factor of t(-12)?
False
Let j be (14/(-8) - -2)*8. Suppose 0 = m - 0*m - 2*o - 56, -4*m = j*o - 214. Suppose -s + m = 5*u - 3*s, 5*s - 39 = -2*u. Is u a multiple of 4?
True
Let j(x) = -7*x**2 + 649*x + 76. Is j(59) a multiple of 28?
True
Let j(v) = -3*v**3 + 3*v**2 + 77*v + 137. Is 14 a factor of j(-17)?
True
Is -3738*(40/36)/(10/(-12)) a multiple of 14?
True
Let t(v) = -6*v + 52. Let h be t(10). Is 18 a factor of 34/136 + -2 + (-1582)/h?
False
Suppose -77*z + 319468 = 95305 - 126803. Is 14 a factor of z?
False
Let v(r) = -7*r**2 + 10*r + 62. Let y be v(-25). Let c = y + 6398. Is c a multiple of 13?
False
Let c(w) = -3*w + 59. Let i be c(19). Suppose -3*l + 5*p + 30 + i = 0, 2*p = -2*l. Suppose -745 = -l*g - 5*h, 2*g + 2*h - 365 = h. Is 30 a factor of g?
True
Suppose 2*a - 5*w = -5, 4*w + 2 = 3*a + 6. Suppose a = 2*g - 147 - 143. Suppose 3*d = -c - 4*c + g, -15 = 3*d. Is 4 a factor of c?
True
Let s be (-32)/(28/(-7)) + (1 - 2). Suppose -s*k + 2491 + 2213 = 0. Does 56 divide k?
True
Let l be (1 - -2) + (-1 - 11). Let c = l - -11. Suppose -5 = -5*r, 5*z - c*r = 3*z + 148. Does 12 divide z?
False
Let c = -1025 - -7969. Does 14 divide c?
True
Let y(o) = 2*o**2 + 3*o. Let i be y(-7). Let f = -88 + 55. Is 8 a factor of 6/f + 2170/i?
False
Let k(y) = -22*y**3 + 53*y**2 - 55*y + 1. Let w(g) = 14*g**3 - 35*g**2 + 37*g - 1. Let a(z) = 5*k(z) + 8*w(z). Is a(7) a multiple of 36?
False
Let q = 4482 - 7711. Let j = -5109 - q. Does 16 divide j/(-55) - 4/22?
False
Let a(c) be the first derivative of -c**4/4 + 3*c**3 - c**2/2 - 5*c - 6. Let r be a(9). Is 18 a factor of r*1*1020/(-119)?
False
Suppose 2126 = 4*g + 5566. Let b = -480 - g. Does 20 divide b?
True
Let f(o) = o**2 + 50*o + 398. Let y be f(-9). Let p(b) = 9*b**2 - 2*b - 2. Let k be p(3). Let w = k - y. Does 6 divide w?
False
Is (-8)/(-32) + (148089/10)/(6/5) a multiple of 5?
False
Suppose -x - 2*i = -14, -6*x + x = i - 61. Suppose 6*d - x = 72. Suppose -d = -2*o + 16. Is o even?
False
Let f(t) be the first derivative of t**3/3 - 11*t**2/2 + 13*t + 27. Let x be f(10). Suppose 167 + x = h. Does 16 divide h?
False
Let g = 877 + 73. Let x = g - 130. Is 41 a factor of x?
True
Suppose 5*i = -3*r + 2062 + 7873, -3*r - 1969 = -i. Is 63 a factor of i?
False
Is 66 a factor of 1249 + ((-3)/6 - -3)*2?
True
Suppose -m + 23 = m + 5*n, 3*m = n - 8. Is (-6090)/(-90) + m + 4/3 a multiple of 24?
False
Suppose 4*j = 3*u - 62, 6*u + 3*j = 3*u + 27. Let i = 2962 + -2913. Suppose -3*q + u = -i. Is 5 a factor of q?
False
Let g(z) = 47*z**3 - 51*z**2 + 410*z + 26. Is 18 a factor of g(10)?
True
Let t(l) = -l**3 + l**2 - 28*l + 484. Is t(-16) a multiple of 64?
False
Suppose 10 = k - 2*j, -4*j + 1 = 3*k + 21. Suppose k*n + 1080 = -8*n. Let h = -79 - n. Does 14 divide h?
True
Suppose a + 4*u = -3*a - 4, 0 = 4*a - 3*u - 31. Suppose -a*q + 5*r + 2852 = 0, -7*q = -11*q - 2*r + 2880. Does 44 divide q?
False
Is 20 a factor of (-22 - (-1222)/65)*-5150?
True
Let n(y) = y**3 - 10*y**2 - 66*y - 23. Let w be n(15). Let x = 604 - w. Is 11 a factor of x?
False
Let l(f) be the second derivative of -f**4/12 - 7*f**3/3 + 7*f**2/2 + 7*f. Let d be l(-14). Let o(p) = -p**2 + 7*p + 6. Does 2 divide o(d)?
True
Suppose 53*u - 57451 = 58301. Is 63 a factor of u?
False
Let h(l) = 4168*l**2 + 93*l - 1. Does 292 divide h(1)?
False
Is 29 a factor of (-11)/((-726)/172662) - 4/44?
False
Suppose 5*s = -a + 8074, 3*s = 24*a - 28*a + 32262. Is a a multiple of 13?
False
Suppose 4*o + 24 = 2*i - o, 2*i - 16 = 3*o. Is (4 - 0)/(i/24) a multiple of 24?
True
Let p(z) be the third derivative of z**5/30 + 11*z**4/8 - 13*z**3/6 + z**2 - 53. Does 10 divide p(-29)?
False
Let p(y) = -3*y + 212. Let m be 10/2 - 60/(9/(-3)). Does 16 divide p(m)?
False
Suppose -3*f + 26255 = 2*l, f - 8737 = 673*l - 670*l. Is f a multiple of 13?
True
Suppose -24*j + 101786 = 3*b - 22*j, -4*j + 101770 = 3*b. Is b a multiple of 19?
True
Let m(i) = -13 - 27 + 25*i**3 + i**2 - 5*i + 77 - 19 - 15. Let u = -1 - -2. Is m(u) a multiple of 3?
True
Let o(f) = -159*f + 399. Does 15 divide o(-4)?
True
Let f = -38 - -41. Let x be (f/(75/70))/((-2)/(-40)). Suppose x = 54*r - 53*r. Is r a multiple of 8?
True
Let q be (-4)/(-5) - ((-204)/20 + 6). Suppose -a - 2*m = -123 - 358, -q*a = -5*m - 2405. Is a a multiple of 13?
True
Let j = 414 - 433. Let h(n) = n**3 + 19*n**2 - 27*n - 9. Does 28 divide h(j)?
True
Suppose 22*t + 52615 = 191061. Is t a multiple of 12?
False
Suppose -3*b - 24 = -11*b. Suppose -5*h + 2*h - 91 = -5*s, s - 11 = b*h. Is 12 a factor of s?
False
Let p(f) = 341*f**3 - 2*f**2 + 4*f - 3. Suppose -j + c = -1, c - 31 = -5*j - 26. Does 10 divide p(j)?
True
Does 16 divide ((-13)/10)/(310/(-2359100))?
False
Suppose -11*b - 29*b = -200. Suppose -b*z + 4*h + 6876 = 0, 1375 = z - 3*h + 2*h. Is z a multiple of 86?
True
Let f be (0 - 1)/(((-20)/485)/4). Let n = -2 - -39. Let l = f - n. Is l a multiple of 10?
True
Let o(v) be the third derivative of v**6/120 + 2*v**5/15 - v**4/8 - v**3/3 - 8*v**2 + 2. Does 4 divide o(-7)?
True
Let d(f) = f**2 - 11*f - 57. Let x be d(15). Suppose 0 = -4*p + 2*j + 294, 8*j + 5 = x*j. Is 55 a factor of p?
False
Suppose -256 = 11*k - 674. Let g be (-