21. Let r be x(-6). Is 4 a factor of s(r)?
False
Let m be (1 - -19) + (1 - 0). Suppose -8*g - 121 - 15 = 0. Let q = g + m. Is q even?
True
Suppose g = 4*h - 17, -5*g - 3*h - 12 + 42 = 0. Suppose 4*w + 2*t = 72, -2*t - 2*t = g*w - 59. Let z = 33 - w. Does 4 divide z?
True
Let t(l) = l**3 - 7*l**2 - 3*l + 4. Let z(h) = -3*h**3 + 21*h**2 + 9*h - 12. Let g(r) = -17*t(r) - 6*z(r). Does 11 divide g(8)?
True
Suppose -3*q + 21 = -2*c, 0*c = 4*c - 5*q + 37. Let h be (-14)/21 - 38/c. Suppose 0*u + u - h = 0. Does 10 divide u?
False
Let d = -428 + 610. Is d a multiple of 13?
True
Suppose -4*i = -4*l + 36, 0 = -5*i - 5*l + l - 18. Let v be (i/(-4))/((-15)/(-590)). Suppose 0*p - v = -q + 3*p, -4*p = -q + 64. Is q a multiple of 12?
False
Let t = 18 + -18. Let v(z) = z - 291. Let b be v(t). Is 10 a factor of 12/8 - b/6?
True
Suppose 218 = -g + 1249. Suppose -4*r + g + 97 = 0. Is 37 a factor of r?
False
Let v(o) = 772*o - 6. Is v(3) a multiple of 55?
True
Suppose 12 = -394*x + 390*x. Is ((-30)/40)/(x/8) even?
True
Let s(m) = m + 3. Let w be s(0). Suppose -d = w*d - 28. Suppose 0 = 4*k - d - 89. Is 12 a factor of k?
True
Suppose 3340 = -32*j + 19692. Is 18 a factor of j?
False
Let b(n) = 2*n**3 - n**2 - n. Let k be (-4)/6*(-6)/(-4). Let p be b(k). Does 4 divide 6 - (0/p)/3?
False
Suppose 2*t = -9 + 3, t - 2976 = -3*r. Is r a multiple of 86?
False
Let s(a) = -18 - 58*a**2 + 59*a**2 - 8*a + 6. Let z be s(10). Let b(k) = -k**2 + 10*k + 4. Does 5 divide b(z)?
True
Suppose -6*q - 5*d + 165 = -q, 3*q = -5*d + 107. Let y = q - 1. Does 28 divide y?
True
Let f(y) = 2*y + 63. Is f(25) a multiple of 6?
False
Let u = -8 + 20. Does 15 divide 47 + 2 + u/(-3)?
True
Suppose 590*t - 8 = 588*t, 2*s - 2*t = 3086. Is 22 a factor of s?
False
Suppose 0 = 5*w - 4*x - 129, -3*w + 30 = x - 61. Suppose -z + 107 = w. Is 14 a factor of z?
False
Suppose -n = 4*v - 11, 3*n + 5*v - 5 = 7. Let o be -1 + n/1*-1. Suppose o = 2*t - 133 + 53. Is 10 a factor of t?
True
Suppose f = -4*d + 29, 2*f + 2*f - d - 167 = 0. Suppose 5*k + x - 61 = 0, -2*k = k + 5*x - f. Is k a multiple of 6?
True
Suppose 3*k - 346 = 6*g - g, 4*k - 438 = -5*g. Does 28 divide k?
True
Suppose y + 2*a = -a + 1097, -5501 = -5*y + a. Does 14 divide y?
False
Suppose -13*c = -9*c - 256. Let t = 79 - c. Is 9 a factor of t?
False
Is 1/7 + 5/((-105)/(-1257)) a multiple of 2?
True
Let s(r) = r**2 - 6*r - 26. Suppose 3*t - 5 - 3 = -g, 5*t = -3*g + 36. Is s(g) a multiple of 13?
False
Suppose -10*m + 1639 + 1061 = 0. Is 9 a factor of m?
True
Let o(p) = -2*p**2 - 54*p + 10. Is o(-26) a multiple of 7?
False
Suppose -5*c = -g + 626, -20*g + 3*c = -15*g - 3130. Does 26 divide g?
False
Let o(z) = z**3 + 2*z**2 + z - 1. Let a(g) = -4*g**3 - 5*g**2 - 2*g + 2. Let d(n) = -3*a(n) - 8*o(n). Suppose -4*c + 3 + 5 = 0. Is 9 a factor of d(c)?
False
Let o(a) = 902*a**2 - 19*a - 19. Is 63 a factor of o(-1)?
False
Let c = 21 + -145. Let g = c + 252. Does 33 divide g?
False
Let v be 3 - ((-4)/6 + 993/(-9)). Suppose 5*j + 118 = d, 0*d + 3*j = d - v. Does 12 divide d?
True
Let f = 2406 - 1392. Is f a multiple of 14?
False
Let u(q) = q**2 - q - 2. Let h(a) = -9*a**2 + 4*a - 3. Let y(t) = -h(t) - 2*u(t). Suppose -2*v = 3*v - 2*k - 17, 4*k + 19 = 5*v. Is y(v) a multiple of 13?
False
Let s(j) = 20*j - 29. Let r(q) = -1. Let v(g) = -5*r(g) + s(g). Is v(8) a multiple of 30?
False
Let x = 6 + 94. Suppose -s + x = 4*s. Is 2 a factor of s?
True
Suppose 3*v - 2791 = -631. Does 12 divide v?
True
Let u(l) = -20*l + 68. Let b(m) = -13*m + 45. Let z(o) = -8*b(o) + 5*u(o). Let s(y) = -y**3 - 7*y**2 - 8*y - 4. Let t be s(-6). Is 3 a factor of z(t)?
True
Suppose -3 + 27 = -4*r. Let c(a) = -a**2 - 6*a + 4. Let t be c(r). Suppose 2*m - 9 - 20 = 3*l, 48 = 4*m - t*l. Is 7 a factor of m?
True
Let h = 35 + -46. Let r(b) = 6*b - 2. Let s(j) = -3*j + 1. Let i(k) = 6*r(k) + 13*s(k). Is i(h) a multiple of 13?
False
Suppose -2*q - 4772 = -3*p - 1546, -3*p = -3*q - 3222. Is p a multiple of 77?
True
Suppose -s - 18 = 5*x - 0*s, -2*s - 4 = 2*x. Let t = 0 - x. Let n(p) = 3*p**2 - 4. Does 21 divide n(t)?
False
Let s = 15 - 11. Suppose -4*n - 19 = 3*l - 243, -s*n - 176 = -2*l. Is 16 a factor of l?
True
Let z = 12 + -9. Suppose z*n - 35 = -2*n. Let r = 22 - n. Does 14 divide r?
False
Suppose 2*h - q + 124 = 0, 2*q = -5*h - 325 + 15. Let i = -50 - h. Does 6 divide i?
True
Suppose 129 = -5*a - 5*y + 1829, 4*a = 2*y + 1348. Does 16 divide a?
False
Suppose 2*o - 3*f - 6 = 0, 3*o + 10 = 2*o - 5*f. Suppose q = r + 8 - o, -2*q + 1 = r. Does 12 divide (29 - -1)*(-2 + q)?
False
Let i = 60 + -36. Suppose -i*b + 408 = -20*b. Does 28 divide b?
False
Suppose h - 3*h = -m + 8, 4*m = 3*h + 17. Suppose c - m*c = -45. Suppose 4*k = k + c. Is 4 a factor of k?
False
Let g = 72 - -11. Is g a multiple of 9?
False
Let k = 440 - -280. Let t = 1034 - k. Suppose -4*z = 58 - t. Does 23 divide z?
False
Suppose 0 = 7*q - 23 - 12. Let i(u) = 14*u - 42. Does 28 divide i(q)?
True
Let l = 672 + -640. Is l a multiple of 8?
True
Is (76/(-16))/(3*4/(-4128)) a multiple of 38?
True
Let q(m) = 143*m - 2. Suppose -3*v + 4 = -s + 3*s, -5*s = -3*v + 11. Is 48 a factor of q(v)?
False
Is 10*(1974/40 - (-3)/12) a multiple of 9?
False
Let p(f) = -9 + 3*f + 13*f - 3*f. Let y = 225 + -219. Is 23 a factor of p(y)?
True
Suppose -y + 2*o = 3*y, 2 = 5*y - 2*o. Suppose 0 = 4*k - 5*i + 21, -6 = y*k - 5*i + 7. Is 4 a factor of (1 - -3)/(k/(-4))?
True
Let j = -25 + 26. Let f be (9/(-18))/(j/(-16)). Suppose u + f*d = 4*d + 32, -154 = -4*u - 3*d. Does 10 divide u?
True
Let c = -1677 - -3745. Does 21 divide c?
False
Let p(c) = -c**3 - 7*c**2 - 7*c + 1. Let q be p(-6). Suppose 0 = -3*t + q*t - 24. Let i(l) = l**3 - 4*l**2 - 6*l - 4. Is i(t) a multiple of 16?
True
Suppose 5 + 7 = 2*b. Let z be (b/1)/2 + -1. Is ((-6)/9)/(z/(-12)) a multiple of 3?
False
Suppose -i - 3*r + 73 = 0, 308 = 5*i - 4*r - 0*r. Let l = i + 64. Is 23 a factor of l?
False
Let q = -67 + 57. Let a(x) = -x**3 + 5*x**2 - 4*x + 2. Let l be a(5). Let v = q - l. Does 2 divide v?
True
Suppose 5*a - 1037 = 4*n, 5*a + 5*n - 494 = 516. Does 4 divide a?
False
Suppose 15619 = 31*k + 3188. Is 4 a factor of k?
False
Let v = 378 - -454. Is v a multiple of 24?
False
Is 94 a factor of 79/(1 + 1 - 216/112)?
False
Let t = 19 + 5. Suppose -3*s = -s - t. Let q = -9 + s. Is q a multiple of 3?
True
Is (-48)/(-8) + -9 - (0 - 220) a multiple of 31?
True
Let q(y) = -4*y**3 - y - 2. Let v be q(-1). Suppose v*g = 84 - 12. Is g a multiple of 6?
True
Let m be 2*(-4)/8 + 8 - 1. Suppose 0 = c + m*c - 322. Does 6 divide c?
False
Let g(q) = q**3 + 27*q**2 - 70*q - 37. Does 7 divide g(-28)?
False
Let b be (-5)/(-2)*20/25. Suppose b*c + 2*c + 2*h - 142 = 0, 0 = -3*c - 5*h + 89. Is 7 a factor of c?
False
Suppose -10*y - 3*y = -858. Is (1/(-2 - -1))/((-1)/y) a multiple of 11?
True
Let n = -31 - -58. Suppose -5*d + x - 19 = -d, -3*x - n = 2*d. Is 12 a factor of (-3)/((-2)/((-104)/d))?
False
Suppose a + 4*q - 23 = 0, -2*a - 14 = -0*a - 4*q. Suppose a*z - 15 = -2*d + 15, 5*z = 5*d - 50. Is 24 a factor of d*-4*(-4 - -2)?
True
Let i(q) = -q + 11. Let c be i(0). Let o = 9 - c. Does 16 divide (39/o)/(18/(-24))?
False
Let c(b) be the second derivative of b**7/840 + b**6/45 + b**5/20 + 3*b**4/8 + b**3 - 2*b. Let p(n) be the second derivative of c(n). Is p(-6) a multiple of 23?
False
Let n be (-14)/7 + (-28)/(-2). Suppose -5*h - n + 52 = 0. Is 8 a factor of h?
True
Suppose -32*x - 160 = -37*x. Is 2 a factor of x?
True
Suppose -2*u - 2*w + 4*w = -26, -4*u + w + 43 = 0. Let s(k) be the third derivative of k**5/30 - 5*k**4/8 + k**3 - k**2. Is 8 a factor of s(u)?
True
Let x = -28 + 448. Is x a multiple of 8?
False
Let h(q) = 3*q**2 - 31*q + 66. Does 18 divide h(-15)?
True
Suppose 17*y - 18*y = 1. Let z(u) = 8*u**2 + u + 1. Does 7 divide z(y)?
False
Let z(i) = -121*i + 172. Is z(-11) a multiple of 19?
False
Let p(r) = 4*r**2 - 7 + 8 + 5*r - 2*r - 3*r**2. Is 13 a factor of p(-6)?
False
Let d be (-10)/2*-1*1. Suppose -5*j = 4*l - 37, -d*j + j + 14 = -2*l. Is 11 a factor of (88/6)/(2/l)?
True
Let w(n) = n**3 + 9*n**2 - n - 5. Let s be w(-9). Suppose -s*g + 916 = 3*h, 7*g + 2*h - 1152 = 2*g. Is g a multiple of 23?
False
Suppose 0 = -41*m + 33*m + 7728. Does 18 divide m?
False
Let f be -4 - (3 + 1 - 12). Suppose f*p + 12 = 0, -2*c 