19. Let f be i(23). Suppose 129 = -3*p - 303. Let x = p + f. Is x a multiple of 51?
False
Let t = 3255 - -12062. Is 5 a factor of t?
False
Suppose 34*v = 39*v - 30. Is v + -4 + (12 - -52) a multiple of 3?
True
Let d(r) be the second derivative of r**5/20 - 4*r**4/3 - 3*r**3 + 17*r**2/2 + 2*r. Let l be d(17). Suppose l = -6*t + t + 810. Is 19 a factor of t?
False
Let t be (-742)/28 - (6/(-4) + 1). Is 3 + 74/t + 4194/117 a multiple of 6?
True
Let f = 97 + -322. Let l = -195 - f. Does 2 divide l?
True
Suppose -5*u + 20*l - 19*l = -16794, 0 = 2*u - 5*l - 6690. Does 140 divide u?
True
Let o(t) = -17 - 14*t**2 + t**3 - 16*t + 8*t**2 + 5*t**2 + 9*t**2. Is o(-7) a multiple of 12?
True
Let j(a) = -558*a - 4812. Does 60 divide j(-36)?
False
Let h be 4/3 - 1 - 24/(-9). Suppose 24 - 8 = 4*j, 0 = -h*n - 3*j + 141. Is n a multiple of 8?
False
Suppose 12*v + 8*v = -500. Let f = v - -35. Is f a multiple of 5?
True
Suppose -t + 3*t = 3*p + 7, 5*t = -3*p + 7. Let l be (-1 - 6) + 658/14 + 5. Suppose t*r - l = 121. Does 17 divide r?
False
Does 113 divide (-10)/1200*-100 - (509822/(-12) - 2)?
True
Suppose 0 = -3*g - 4*m + 29, 0*m - 56 = -4*g - m. Suppose -4*o = -1 - g, -4*o = 5*a - 2041. Is 27 a factor of a?
True
Let i(h) = -h**2 + 9*h - 5. Let k be i(8). Suppose t - k*w = -t + 71, 4*t = 4*w + 148. Let g = t + -27. Is g even?
False
Let h = 16 - -2566. Does 18 divide h?
False
Suppose 5*w - 1127 - 2256 = 297. Is w a multiple of 23?
True
Suppose -20*h + 3*h + 304914 + 56676 = 0. Does 4 divide h?
False
Let x = -714 + 714. Suppose 3*d + 248 = 4*w, x = -2*w + 5*d + 138 - 14. Is w a multiple of 2?
True
Let z(q) = -166*q + 1723. Is 109 a factor of z(-18)?
False
Suppose -146*l = -152*l - 30. Let w(g) = 7*g**2 - 10*g - 17. Is w(l) a multiple of 7?
False
Suppose 0 = -2*w + 7*w - 165. Suppose 0 = 3*t - 0*t - w. Suppose 0 = -13*l + t*l + 118. Is l a multiple of 26?
False
Suppose 3*f = 8*f + 20. Let t be (f + 9)/5 - 2241. Is t/(-10) - 1*-3*-1 a multiple of 17?
True
Suppose 2*o - 11 = 5*f - 49, f = 5*o + 3. Let d(x) = -6*x**2 + 8*x + 4. Let u be d(f). Let h = u + 627. Is 40 a factor of h?
False
Is 7 a factor of (-17)/((-408)/(-2016))*105/(-2)?
True
Suppose 0 = -2*s - 3*m - 6 - 4, 4*m + 2 = 3*s. Let j(q) = -61*q + 6. Let a be j(s). Let w = -62 + a. Is 11 a factor of w?
True
Suppose 12*u - 32*u = 9580. Let i = u + 759. Does 14 divide i?
True
Is (-1)/((-4)/402)*(-91312)/(-2634) a multiple of 35?
False
Let d = 75 + -260. Let x = -60 - d. Let k = x - 10. Is k a multiple of 23?
True
Let v(n) = n**2 - n - 5. Suppose 4*d = -t + 22, -8*t = -3*t - 5*d - 35. Suppose 3*j + 70 = t*j. Is v(j) a multiple of 22?
False
Let g = 3200 + -2394. Does 31 divide g?
True
Suppose 0 = 3*w - 8482 + 2296. Suppose 8*m - 5*m - w = -4*s, 5*m + 2*s - 3418 = 0. Is 11 a factor of m?
True
Let u be 1/4 + -159*(-63)/28. Let m = u + -225. Is m a multiple of 8?
False
Let x be 2/3 + 79/3. Suppose -f = -4*u + 152, -5*u - 2*f - 41 = -244. Let y = u + x. Is y a multiple of 33?
True
Let n(z) = 1000*z + 247. Is n(23) a multiple of 21?
True
Suppose -5*s + 2*g - 3 = 0, 4*s + 12 = g + 3*g. Let x be 5 + 99 - s/1. Let v = x + 115. Is v a multiple of 13?
False
Let c = -2 - -20. Let g be 32/c + (-24)/(-108). Does 23 divide 121*g - (-3 - 1)?
False
Suppose 0 = -4*z - 16, -4*u = -21*z + 22*z - 2796. Is 5 a factor of u?
True
Suppose -s + 72 = -33. Let q = -21 + s. Is q a multiple of 4?
True
Suppose d + w = 37, -d + w = 3*w - 42. Suppose 0 = 7*f + 17 + d. Let r(t) = -28*t + 18. Does 26 divide r(f)?
False
Let y = -112 + 110. Let m be (-5)/(2/y) + -3. Is (m + 26)*1 + 1 + 3 a multiple of 26?
False
Let a(m) = 17*m**3 + 42*m**2 - 351*m - 35. Is a(10) a multiple of 3?
True
Let c = 6347 + -852. Does 31 divide c?
False
Suppose 3447 = 12*x - 49641. Is 56 a factor of x?
True
Suppose 304 = -15*a + 53*a. Is 69 a factor of 1004 - (a - 6 - 8)?
False
Suppose f - 67 = g, -5*f - 7*g + 340 = -11*g. Does 36 divide f?
True
Suppose 4*n + 4 = 0, -4*j - 6*n + 3*n = -2061. Is j a multiple of 5?
False
Let f(r) = -182*r - 5138. Does 10 divide f(-125)?
False
Let v(d) be the third derivative of d**4/24 + d**3/6 + 17*d**2. Let h(a) = 12*a + 1. Let s(b) = -h(b) + 5*v(b). Is s(-8) a multiple of 15?
True
Suppose 4*z + 3*p - 35985 = 0, 28*z = 25*z - 2*p + 26989. Is 8 a factor of z?
False
Let y be 4912/48 + 4/(-3). Let a = -51 - -112. Let j = y - a. Is 20 a factor of j?
True
Let j = -316 + 378. Suppose -u + 2*b + j = 0, 2*u - 5*b = 5*u - 197. Is 4 a factor of u?
True
Suppose -8*h - 180 = -3*h. Let l = 66 + h. Suppose 2*t = l - 6. Is t a multiple of 6?
True
Suppose 355*x - 348*x - 1806 = 0. Let k = x - 246. Does 3 divide k?
True
Let j(s) = 850*s**3 - 3*s**2 - 93*s + 403. Does 240 divide j(4)?
False
Let k(x) = x + 36. Let p be k(-4). Let v(n) = n**3 - 34*n**2 + 73*n + 78. Is v(p) a multiple of 22?
False
Suppose -4*w = -76 + 36. Let u(d) = -6*d**2 + 8 + 16*d + 48*d**2 - w*d. Is u(-2) a multiple of 22?
False
Suppose -d - 3*t = 333, 5*d + 1705 = -5*t + 10*t. Let y = d - -552. Does 15 divide y?
False
Let g(s) = -11*s - 304 - 13*s + 69 + 101. Does 34 divide g(-7)?
True
Suppose -d + 9*m + 25461 = 14*m, 0 = -5*d + 4*m + 127392. Does 11 divide d?
True
Suppose -54 - 65 = h. Let p = h - -138. Suppose -2*s = p - 185. Does 3 divide s?
False
Suppose 16*v = -p + 12*v - 19, 0 = 4*v + 20. Is (-152)/(-12) - (35/(-15) + p) a multiple of 2?
True
Is 11 a factor of 702*(-5 - 74/(-3)*(-84)/(-112))?
False
Is (-11)/(77/(-182))*(-2223)/(-26) a multiple of 19?
True
Suppose 5*r = -2*v + 13, -3*r - 3*v + 12 = 2*r. Suppose 11*k + 204 = 3*h + 9*k, -3*k = -r*h + 207. Is 33 a factor of h?
True
Let o be (-6)/12*-8 + 3. Suppose 11*t - 2384 = o*t. Does 73 divide t?
False
Let y(f) = 84*f**3 + 10*f**2 - 11*f - 15. Is 20 a factor of y(5)?
True
Suppose -55 - 809 = 3*i. Let g = 13541 - 13712. Let p = g - i. Is p a multiple of 13?
True
Let w = 193 - 191. Is 14 a factor of (525/45)/(w/108)?
True
Does 14 divide 3/((-24974)/(-14988)*-3 - -5)?
False
Let n(q) = 185*q - 2685. Does 33 divide n(29)?
False
Suppose -3*n + c - 8 = 0, 3*c = 5*n + 5*c + 28. Let u(m) = -2*m + 4. Let o(x) = 1. Let y(b) = n*u(b) + 36*o(b). Does 10 divide y(0)?
True
Suppose -2*k = 2*f, -8*k - 5*f = -10*k + 14. Suppose k*g = -202 + 940. Is 51 a factor of g?
False
Let u(i) = -2*i - 16. Let y be u(-9). Suppose 0 = h - 11 + y. Is 2 a factor of h?
False
Let g = -11830 - -18379. Is 33 a factor of g?
False
Let r be (-1032)/22 - (76/(-11) + 7). Is 3*r*16/((-720)/255) a multiple of 7?
False
Let q(t) = -4*t + 46. Let s be q(11). Suppose -2*u + s*n = -380, 5*u + 5*n + 233 - 1223 = 0. Is u a multiple of 18?
False
Suppose 34*u = 3*r + 37*u - 179124, -3*r + 2*u = -179114. Does 62 divide r?
True
Suppose 3*i - 4*z - 332 = 1555, 3156 = 5*i - 3*z. Does 2 divide i?
False
Let b(x) = -x**3 + x**2 - 11*x + 63. Is b(-25) a multiple of 52?
True
Let m be (-5)/(-10) + 2820/8. Suppose -2*z - m = g - 4*g, -g = -2*z - 111. Suppose 0 = o + 2*w + 3*w - g, -4*w = 2*o - 248. Is o a multiple of 42?
True
Let o(h) = -h**3 - 10*h**2 - 9*h - 9. Let q be o(-11). Suppose 0 = -7*x + 2*x + 520. Let p = q - x. Is 22 a factor of p?
False
Let w be -1*(-1 - -4) + 3. Suppose -3*l + 4*l - 427 = w. Suppose -11*u + l = -189. Does 7 divide u?
True
Let o(q) = -3*q**3 - 5*q**2 - 8*q - 2. Let h be o(-2). Suppose -a + 14 = 4*p - 3*a, 5*p = 3*a + h. Is 2 a factor of p?
False
Let n(u) = 2*u**3 - 6*u**2 + 5*u - 5. Let h be n(3). Suppose 7*j - 918 = h*j. Let k = 470 + j. Is k a multiple of 13?
False
Suppose 22*x + 22*x - 107995 - 135589 = 0. Does 16 divide x?
True
Let b be (-96)/7 + ((-8)/28)/1. Let d = 19 + b. Suppose p - d*s - 6 = 0, -5*s = -p + 4*p - 38. Is p a multiple of 11?
True
Is 8 a factor of (-1295)/(-21)*(-552)/(-115)?
True
Suppose -5*q + 76699 = -328*z + 335*z, -3*q = 4*z - 46020. Is q a multiple of 8?
True
Is 42 a factor of 879030/180*(-6)/(-3)?
False
Suppose 4*k + 6 = 5*k, -2*b + 16 = 4*k. Let t(c) be the third derivative of -c**6/120 - c**5/30 + 5*c**4/24 - c**3/6 - c**2. Is 2 a factor of t(b)?
False
Suppose -11*d + 14*d = 3*i + 426, -5*d = 4*i - 683. Suppose 16*z - d = 101. Is z a multiple of 6?
False
Let y(f) = 6*f**3 - 23*f**2 + 4*f + 6. Let r be y(7). Suppose -m - 5*z = -r, -5*m + 7*z - 2*z + 4885 = 0. Does 25 divide m?
True
Suppose 12 = 4*f, 0 = -4*s - 8*f + 4*f + 124. Suppose 