ose -154*s = -96*s - 19488. Is s a multiple of 28?
True
Let a(k) = k**3 + 0*k**2 - 3*k**2 - 7*k**2 - 5 - 8*k. Suppose 2*v = 3*b + 28, -24 = 34*v - 36*v + b. Is a(v) even?
True
Suppose -4*v + a + 11659 = 0, 11*v - 5837 = 9*v - a. Suppose 32*h - v = 23*h. Does 27 divide h?
True
Suppose -54*d + 33*d = 84. Let q = -3 + 1. Does 3 divide d/q + (2 + -3 - -2)?
True
Let v = 117 - 120. Is 13 a factor of 182/v*(-18)/12*1?
True
Let u = 121 + -157. Does 17 divide 1734/4*(-24)/u*1?
True
Let o(r) = -r**3 + 7*r**2 + 9*r + 1. Let i be o(8). Suppose 18*p = -2 + 110. Suppose -i*d = -p*d - 51. Does 3 divide d?
False
Suppose 9*q + 330 = -66. Let a = 46 + q. Suppose a*g + 3*g = 395. Is g a multiple of 14?
False
Suppose -4*w = -a - 120159, 0 = w - 5*a - 10478 - 19538. Is w a multiple of 11?
True
Is 21 a factor of 2397/6 + (-66)/(-627) + 46/(-76)?
True
Suppose -1364 = -15*o + 151. Let w = o - -41. Is 7 a factor of w?
False
Let a(b) = b**2 + 4. Let o be a(2). Suppose -196 = -o*r + 220. Does 13 divide r?
True
Suppose -154 = k + 81. Let g = k + 334. Is 11 a factor of g - (-2 + -2 - -4)?
True
Let t(c) = c**3 - 10*c**2 - 10*c - 5. Let x be (-4 + 0)*121/(-44). Let g be t(x). Is 820/(g - 1) + 4 a multiple of 14?
True
Let o = -723 + 723. Suppose o = -8*j + 1429 - 93. Does 17 divide j?
False
Let y(g) = 8*g**2 - g + 5. Let f be y(-3). Suppose -v + 4*j + f = v, 0 = j + 4. Suppose 5*m + v - 127 = 0. Is m a multiple of 19?
True
Let l be (-45)/(-25) + (10 + -3)/35. Suppose -5*j + 6*j + l*b = 1006, 986 = j - 2*b. Is 19 a factor of j?
False
Suppose 0 = -5*y - 3*x + 1835 + 16318, 4*x - 18154 = -5*y. Does 6 divide y?
True
Let j be (2/(-5))/((-11)/110). Suppose j*s - 4 - 4 = 0. Let i = s - -50. Does 13 divide i?
True
Let h(l) be the first derivative of l**3/3 - 4*l**2 + 39*l + 38. Let m be (-3)/(-6)*14 + -1. Is h(m) a multiple of 6?
False
Let i(p) = -7*p**3 - 14*p**2 - 16*p + 39. Let n be i(-16). Suppose 0 = -34*j + 559 + n. Is 77 a factor of j?
False
Let h(b) = 3*b**2 - b**2 - b**2 - 251 + 13 - 30*b. Does 40 divide h(-26)?
False
Suppose -5*z = -25, 0 = 5*o - 0*o - 3*z - 40. Suppose -9 = 3*t + 3*u, 0 = -2*u - o + 3. Suppose -w = -13 - t. Is 7 a factor of w?
True
Suppose -297 = 2*r - 5*h - 87, -5*r + h = 571. Let d = 134 + r. Does 6 divide d?
False
Let h(p) = p**3 - 42*p**2 + 179*p - 1629. Is 14 a factor of h(46)?
False
Let m(r) = 1194*r**2 - 112*r + 63. Is 19 a factor of m(-4)?
False
Suppose -11*h + 15441 - 3976 = -7191. Is h a multiple of 8?
True
Let k(u) = -u**2 + 6*u - 543. Let h be k(0). Is h/(-6) - (-5)/(-10) a multiple of 4?
False
Let m = 884 - -653. Is 5 a factor of m?
False
Suppose -14*h + 360 = -9*h. Suppose 3*u = -6*u + h. Does 8 divide u?
True
Suppose 0 = 5*i - 5*v - 50590, 148*i = 153*i - 4*v - 50588. Does 18 divide i?
True
Let j(n) = n**2 + 6*n - 19. Let d be (-9)/36 - -107*(-3)/(-4). Suppose -144 = -16*f + d. Is j(f) a multiple of 29?
True
Let r(l) = -30*l + 153. Let t be r(5). Suppose 2*v + q - 468 = -71, -t*v + 588 = -q. Does 55 divide v?
False
Suppose 21*i - 2071 = 5*r + 19*i, 3*i + 6 = 0. Let b = 1142 + r. Does 62 divide b?
False
Is 1 + (-7 - 0 - -1256) + -8 a multiple of 9?
True
Let u = -1272 + 1470. Is u a multiple of 27?
False
Does 11 divide (60/(-60))/((-1)/7513 - 0)?
True
Let w(g) = 23*g**2 + 10*g + 8. Let b be (-646)/(-171) - ((-2)/(-9))/(-1). Is 32 a factor of w(b)?
True
Suppose -4*l + 2*j - 289 = 141, 2*l = -j - 225. Let q be 2/10 + 242/l. Is (q + (-20)/(-7))/(2/84) a multiple of 9?
True
Suppose 3*o - 7536 = 2*p, 11*p + 9*p = -2*o + 5024. Is o a multiple of 3?
False
Let u(d) = 5*d**2 + 188*d + 159. Is 21 a factor of u(52)?
False
Suppose 5*j = 9*b + 48555, b - 17405 = -3*j + 11696. Is 66 a factor of j?
True
Let y be 5/(10/16) + -2. Is (y - (94 - -3))*(-60)/14 a multiple of 15?
True
Let l = -7119 - -9370. Is 7 a factor of l?
False
Let k(x) = -16*x + 32. Let h(d) = 8*d - 16. Let a(r) = -9*h(r) - 4*k(r). Let g be a(-14). Let z = -58 + g. Does 7 divide z?
True
Suppose -13*n + 31*n - 8820 = 0. Suppose 5*u = -5*f + 2500, -2*u - n - 10 = -f. Is f a multiple of 50?
True
Let l = -3 - 12. Let s be 36*(100/15 + 25/(-5)). Let d = l + s. Is 6 a factor of d?
False
Let c = -5 + -10. Let w be 3 + (-20)/6 + (-2255)/c. Let f = 185 - w. Is f a multiple of 35?
True
Let o(s) = 3*s**3 + 26*s**2 - 13*s - 34. Let u be o(-9). Suppose 521 = a - 2*b, 597 = 2*a + u*b - 415. Is a a multiple of 18?
False
Suppose 0 = -45*c - 5150 - 295. Let n = c - -259. Is n a multiple of 18?
False
Suppose 65*k + 41370 = 320480. Is 226 a factor of k?
True
Let q(d) = -2*d**2 - 25*d + 9. Let k = 17 - 30. Let h be q(k). Let w(u) = -9*u + 20. Is 12 a factor of w(h)?
False
Let d(j) = -134*j - 2157. Does 21 divide d(-30)?
False
Let f = 3287 - -33664. Is f a multiple of 48?
False
Suppose 2*n + 5*c = 93, -88 - 158 = -4*n + 2*c. Let p = 59 - n. Suppose d - 314 = -4*a, p*a - 3*a + 243 = -3*d. Does 5 divide a?
False
Let u(h) be the third derivative of 6*h**2 + 1/12*h**4 + 0 + 29/6*h**3 + 0*h. Is 26 a factor of u(14)?
False
Let q = -195 + 186. Let o(w) = 5*w**2 + 25*w - 29. Is 15 a factor of o(q)?
False
Let h(d) = 2*d + 21. Suppose 0 = -5*x + 4*a - 61, 2*x + 10 = -a - a. Let i be h(x). Suppose -i*f + 178 = -161. Is f a multiple of 7?
False
Let x(r) = -r**3 - 5*r**2 - 2*r. Let a be x(-5). Suppose 0 = -4*b - c - a, 6*c - 3 = -b + 3*c. Let m = b + 33. Is m a multiple of 5?
True
Suppose 4*b + b = 5*h - 55, 4*b = -8. Let g(u) = 0 + 3 - 10 - h*u. Does 22 divide g(-13)?
True
Let x = -1138 + 2544. Is x a multiple of 74?
True
Suppose 80*k + 5550 = 82*k. Suppose 0 = -42*i + 22425 + k. Does 85 divide i?
False
Let c = 6017 + -6017. Let g(q) = q**3 - 2*q**2 - 4*q + 4. Let x be g(3). Is (c - 1)/(x - (-56)/(-55)) a multiple of 11?
True
Is 24 a factor of 95 - 61 - 28/(-2)?
True
Let h = -34 - -36. Suppose -h*v + 3*v = 25. Does 31 divide 5*(3 + 80/v)?
True
Let y = -611 - -615. Does 48 divide (-1*2/y)/(21/(-33558))?
False
Suppose -18*a = -5*a + 8931. Let s = a - -355. Let g = 532 + s. Does 19 divide g?
False
Suppose 5*f + 3*q = 3*f + 12, 3*f = 5*q - 20. Let x be 0 + (-303)/(-1) - f. Suppose -5*k + x = 2*d, k + 5*d - 42 = 14. Is k a multiple of 10?
False
Let f(r) = r**3 - 4*r**2 - 9*r + 16. Suppose 7*k = -33 + 82. Is 5 a factor of f(k)?
True
Suppose -2 + 260 = -3*c. Let d = 267 + c. Is d a multiple of 5?
False
Let z = -8508 + 17228. Is z a multiple of 109?
True
Is 18 a factor of (-465)/90 + (-1)/(-6) + 1912?
False
Let f(t) be the third derivative of 0*t + 0 + 4/3*t**3 + 1/15*t**5 - 1/8*t**4 + 13*t**2. Is f(5) a multiple of 19?
False
Suppose 95 - 155 = -4*l. Does 38 divide 126/56*1520/l?
True
Let s = 40 - 22. Let x be 5 + (-3 + -3 - (1 - 4)). Is 4/(-1) + x + s a multiple of 14?
False
Let y(r) = -2*r**2 + 5*r + 2. Let z be y(2). Is 5 + z/((-16)/(-4)) a multiple of 6?
True
Let m(l) = 23*l**2 + 20*l - 71. Let t = 408 + -404. Does 13 divide m(t)?
True
Suppose 0 = 4*z - 14 + 46. Let b(f) = -f**2 - 13*f - 7. Let q be b(z). Is (-1)/(22/4) + 1260/q a multiple of 19?
True
Suppose 8905 = -82*m + 1033. Suppose 353 + 497 = 5*w. Let d = w + m. Is d a multiple of 37?
True
Let l be (-25 + 24)/(2/6). Let a be (3423/(-14))/(l/4). Suppose -n - n = -a. Does 10 divide n?
False
Let l = 152 + -17. Suppose 0 = -4*f + l + 477. Is f a multiple of 26?
False
Let o(k) = k - 1. Let f be o(6). Suppose -f*d = 4*p - 979, -7*p - 1260 = -12*p + d. Does 15 divide p?
False
Let v = -6007 + 18999. Is v a multiple of 56?
True
Suppose 5*v = 0, 0 = -8*u + 3*u + 5*v - 370. Let s = 70 + u. Does 23 divide (3 + 58/(-4))*s?
True
Let t = 21741 + -13491. Is 15 a factor of t?
True
Suppose 55*r + 178*r = -34*r + 329745. Is 65 a factor of r?
True
Suppose -27*p - 7*p + 638400 = 26*p. Is p a multiple of 133?
True
Let v = 851 - 567. Is 6 a factor of v?
False
Suppose 14*k + 7*k + 63 = 0. Let g be (-1 - -10)*116/(-6). Does 32 divide g/(-2)*k/(18/(-10))?
False
Let j(z) = 7*z**3 - 74*z**2 - 28*z + 233. Is 100 a factor of j(19)?
True
Let p(m) = -m. Let q(o) = -59*o - 14. Let n(z) = 530*z + 125. Let j(s) = -4*n(s) - 35*q(s). Let g(h) = j(h) - 25*p(h). Does 28 divide g(-5)?
True
Suppose 0 = 5*a - 5, 0 = -5*z + z - a - 59. Let v be (-1*(-12)/z)/(2/1655). Let f = v + 962. Does 12 divide f?
True
Let s = -16925 + 23063. Does 6 divide s?
True
Let l = 3276 + 5627. Is 29 a factor of l?
True
Suppose -2