21. Let n be a(1). Let v = 1451 - n. Does 25 divide v?
True
Let o be 4/(-14) + (15838/14)/1. Suppose 0 = 3*m - n + 6*n + 1121, 3*n + o = -3*m. Is (-5 + 3 + -2)*m/8 a multiple of 18?
False
Let g be 1*94*65/10. Suppose -24*c = g - 3083. Is 6 a factor of c?
False
Suppose 5*s = 3*g + 408, 0 = -s + 4*s + 4*g - 268. Suppose 24 = 3*y - s. Suppose 0 = -32*f + 31*f + y. Is f a multiple of 6?
True
Is (-5142*44/(-33))/4 a multiple of 31?
False
Let u be (-455)/(-15) - (32/12)/2. Suppose -u*a + 7084 = -18*a. Is a a multiple of 52?
False
Suppose 0 = -2*c - b + 4, c + 8*b - 3*b - 20 = 0. Suppose c*h - 5*h + 170 = v, 0 = -4*h. Does 35 divide 4 + -2 + v - -3?
True
Suppose 5*i = -1053 + 13497 + 28596. Is i a multiple of 18?
True
Let v(d) = d**2 + 4*d + 2. Let g be v(-4). Suppose 5*p - 39 = -2*i, -2*p - g*p = -3*i + 1. Suppose -y = -25 - i. Is y a multiple of 16?
True
Let u be ((-42)/36)/((-3)/18). Let y be (3/(-1) + 115)*3. Suppose 0 = u*m - 3*m - y. Does 16 divide m?
False
Let a = -58 - -57. Let i be ((-6)/a - 4 - -1) + 0. Suppose 4*g - 223 = 3*x + 91, 2*g = -i*x + 166. Does 40 divide g?
True
Suppose -4*o + 5*o + 2*d = 171, -3*d - 9 = 0. Let q = 102 + -162. Let v = q + o. Does 17 divide v?
False
Suppose 8*y = 3*y - 2*z + 615, -4*z = y - 105. Let l = y - 74. Does 3 divide l?
True
Suppose 5*x = 25, -7*b - 3*x + 16983 = -3*b. Does 7 divide b?
True
Let p(q) = 421*q + 937. Is p(15) a multiple of 159?
False
Suppose 8*p - 4424 = 432. Suppose i + 12 = p. Is 22 a factor of i?
False
Is (-34076)/14*(-1 - 1) - -6 a multiple of 3?
False
Let s(v) = -v**2 - 9*v - 5. Let r be s(-8). Suppose h - 100 = 1. Suppose -h - 124 = -r*m. Is 25 a factor of m?
True
Let j be (-3)/(4 - (-38)/(-8)). Suppose -3*c - 18 = -j*c. Is 8 a factor of 26/117 - (-410)/c?
False
Let m(n) = -n**3 - 18*n**2 - 13*n + 8. Let f be m(-16). Let i = -209 - f. Is 8 a factor of i?
False
Suppose -5*h + 37645 = -5*u, -u + 22615 = -11*h + 14*h. Does 24 divide h?
True
Let r(t) = 69*t + 103. Let o(c) = -33*c - 52. Let h(d) = -7*o(d) - 3*r(d). Is h(11) a multiple of 11?
True
Suppose -z = -11*z + 50. Suppose 2*x = -4*d - 2, -x = 2*x - z*d + 58. Let i = x + 59. Is 24 a factor of i?
True
Suppose 63*w = 1073548 + 15092. Is 64 a factor of w?
True
Suppose -g + 79893 = -b, -2*g + 155*b - 152*b = -159779. Is g a multiple of 94?
True
Suppose 0 = -2*y - 3*z + 673, 10*z + 1357 = 4*y + 5*z. Let r = -29 + 261. Suppose -5*q + 3*q + r = s, -3*q + y = -s. Is 18 a factor of q?
False
Let w be (-7100)/(-175) + (-6)/(-14). Let x(l) = -5*l + 379. Does 58 divide x(w)?
True
Let f be ((-46)/(-3))/((-4)/(-18)). Let p = -2340 - -2437. Let g = p - f. Does 7 divide g?
True
Suppose -3*j + 37812 = z, 820*j - 825*j = 2*z - 63020. Does 24 divide j?
False
Suppose -3002 = 18*o - 19*o - 3*p, -p + 3012 = o. Is 104 a factor of o?
False
Let b(y) = 2*y**2 - 24*y + 39. Let u(t) = t**2 - 12*t + 20. Let h(l) = 2*b(l) - 5*u(l). Let n be h(9). Is 14 a factor of (n/(-10))/((-2)/(-372)*-1)?
False
Suppose -5*c = -2*i - c + 1156, -2914 = -5*i - 2*c. Let p be ((-10)/15)/((-4)/i). Suppose 0 = -4*x + 2*h + 51 + 107, -p = -2*x - 5*h. Is 19 a factor of x?
False
Suppose 3*r + 0*r - 2*w = -4, -3*w + 5 = -4*r. Is 1/r + (25479/(-18))/(-19) a multiple of 8?
False
Let n be ((-20)/(-10))/(2 - (-105)/(-51)). Is (-4)/n - (-11136)/136 a multiple of 19?
False
Let v(u) = -11*u**2 + 3*u**3 + 10*u**3 - 8 + 11*u - 12*u**3. Let l be v(10). Suppose 19 = 2*t - l*y - 25, -2*y + 4 = 0. Is t a multiple of 12?
True
Let u = -29049 + 53693. Is 258 a factor of u?
False
Suppose -5*h + 34 = -3*m, -m - 6 = m. Suppose -2*c - 25 = -15, -u = -h*c - 70. Is u a multiple of 9?
True
Let j be (-25)/5 - (5 - 2). Let z = j + 8. Let m(a) = -10*a + 150. Is m(z) a multiple of 15?
True
Suppose 0 = -36*i + 9 + 243. Suppose i*c - 5*c - 1050 = 0. Does 56 divide c?
False
Suppose -3*h + 2*h = 0. Suppose h = 3*m + 37 - 445. Suppose -7*k = -151 - m. Does 11 divide k?
False
Suppose -5*b - 117 = -7*r + 4*r, r = -1. Let x(i) be the third derivative of -i**5/60 - 9*i**4/8 - 17*i**3/2 - i**2. Does 7 divide x(b)?
True
Let a(z) = 2*z**2 - 80*z + 460. Is a(-53) a multiple of 14?
True
Let m(w) = 982*w + 94. Is 13 a factor of m(7)?
True
Let u(z) = 7072*z - 1305. Is u(5) a multiple of 50?
False
Suppose 0 = -2*z - k + 2505, 0 = z - 0*z + 2*k - 1248. Is (37 - 11)/13 - z/(-1) a multiple of 50?
False
Suppose -92*i + 88*i = 0. Suppose i = -49*u + 13*u + 1080. Does 6 divide u?
True
Let z = 43 - 31. Suppose -4*v - v = 0. Let a = v + z. Does 4 divide a?
True
Let w(g) = g**3 - 53*g**2 + 107*g - 260. Is w(52) a multiple of 203?
False
Suppose 3*g = 2*c + 5, -9*g + 12 = 3*c - 7*g. Let h be (c - (-12)/(-18))/(4/15). Is 47 a factor of (-34 + h)/((-5 + 3)/24)?
False
Let v(o) = -o + 5. Let r be v(23). Let c be 86/6 + 24/r. Let d = c + 14. Is 7 a factor of d?
False
Let j be -14*21*(-2)/12. Is 2 a factor of 70*(406/j - 8)?
True
Let s(t) = 3*t**3 - 7*t**2 - 19*t + 7. Is 22 a factor of s(7)?
False
Suppose 40*f - 16 = 44*f. Let o be f + 275 + (-1 + 3 - -1). Suppose -3*h = -2*m - o, 5*h - h + 4*m - 352 = 0. Is h a multiple of 30?
True
Let f(a) = -a**3 - 3*a**2 - 8*a + 4. Suppose 93 + 3 = 4*l. Suppose -16*g = -20*g - l. Does 17 divide f(g)?
False
Suppose 2*h = z + 36601, 0 = 224*h - 222*h + 5*z - 36595. Is h a multiple of 15?
True
Let h(w) be the second derivative of -w**5/20 + 5*w**4/4 - w**3/3 + w**2/2 - 24*w. Is h(13) a multiple of 20?
False
Suppose 2*s - 4 = -5*o + 21, 5*s + 25 = 5*o. Let y(z) = z**3 - z**2 - 5*z + 7. Let m be y(o). Suppose 0 = 2*h - 2*j - 270, m = h + 5*j - 35. Does 12 divide h?
True
Suppose 0 = -12*l + 9*l - 1572. Let y = 787 + l. Does 44 divide y?
False
Let v be (-5934)/28 - (-9)/(-126). Let i = v - -305. Is i a multiple of 12?
False
Let l = -6678 + 7415. Is 8 a factor of l?
False
Suppose -810 = -3*y + 5*d + 1294, 0 = 3*d + 15. Is y a multiple of 10?
False
Let r(u) = 59*u - 20. Let z(b) = 4*b - 22. Let k be z(8). Is 12 a factor of r(k)?
False
Let o(u) = -u**2 - 24*u - 29. Let n be o(-17). Suppose 82*p = n*p - 4296. Is 15 a factor of p?
False
Let u(q) = 33*q + 738. Does 8 divide u(22)?
True
Let y(i) = 0 - 3983*i - 6 + 3977*i + 51*i**2. Is 15 a factor of y(3)?
True
Let p = 3577 + 1864. Does 85 divide p?
False
Let w(i) = -48*i + 14 - 43*i - 35*i + 125*i. Let u = -5 + -13. Does 16 divide w(u)?
True
Let s = 3103 + -1731. Is 28 a factor of s?
True
Is 50 a factor of (-8)/10 - (-4577067)/165?
False
Suppose -102*r + 97*r + 12220 = 0. Suppose 2*p = y + 3*y - 3260, -3*y = -p - r. Does 12 divide y?
False
Let p(v) = -v**2 + 8*v + 1. Let u be p(7). Suppose -u*x + 12 = -7*x. Suppose -3*k = x, 0 = -4*d - 2*k - 0*k + 196. Does 27 divide d?
False
Suppose -28 - 2 = -5*l. Suppose -l*o + o = d - 8, 5*o + 2*d - 11 = 0. Suppose -3*j - o = -2*j, -4*i - j = -283. Is i a multiple of 27?
False
Let x(t) be the second derivative of 0 + 3*t + 0*t**4 - 1/20*t**5 + 11/2*t**2 - 1/6*t**3. Is x(0) a multiple of 2?
False
Suppose -26 = 4*j + 2*f + 8, 0 = -j + 4*f - 31. Let a(p) = -15*p - 21. Does 22 divide a(j)?
False
Let v = -27 + 49. Let x be 4 + 16/1 - (3 - (-1 + 4)). Suppose -v*l = -x*l - 64. Does 7 divide l?
False
Let n(v) = -7*v**2 + 43*v - 80. Let d(k) = -13*k**2 + 84*k - 160. Let q(x) = 6*d(x) - 11*n(x). Is 7 a factor of q(20)?
True
Let i = 24220 - 3304. Is i a multiple of 18?
True
Suppose 0 = -3*u - 4*n + 8599, 4850 = -4*u - 2*n + 16312. Is 22 a factor of (-28)/(-42) + u/9 + 2?
False
Let d(g) = 226*g**2 + 399*g + 1209. Is d(-3) a multiple of 33?
True
Suppose -2946 = 5*k - 3*s, 3*k = s + 2*s - 1770. Let v = 606 + k. Does 9 divide v?
True
Suppose -233 = -5*a + 2*o, 0*a - 44 = -a + 3*o. Suppose h + 3*p - 36 - 48 = 0, 0 = -4*h - 2*p + 376. Let n = a + h. Is n a multiple of 25?
False
Let d = 83 + -81. Suppose -6*s + 400 = d*w - 2*s, -5*w + 955 = s. Is w a multiple of 56?
False
Let m(x) = 11*x - 193. Let d be m(18). Suppose d*o - 3*l - 10417 = 0, 5*l - 10940 = -5*o - 515. Is o a multiple of 12?
False
Suppose 11727 = -4*x - d + 31889, 2*x + d = 10082. Is x a multiple of 72?
True
Suppose -14 = -3*c + 2*h + 2, -4*c + 28 = -4*h. Let w be (66/24)/(((-2)/c)/4). Let g(q) = 2*q**2 + 9*q - 27. Is 29 a factor of g(w)?
True
Suppose 10 = -4*j + 38. Let q(h) be the first derivative of h**3/3 + 2*h**2 + 11*h + 22. Is q(j) a multiple of 22?
True
Let h = 16766 - 9961. Does