22. Is 8 a factor of w?
True
Let f(u) = 4*u - 148 - 5*u**3 + 145 - 2*u. Is f(-3) a multiple of 8?
False
Is (7 - (-7870)/20)*(-2176)/(-48) a multiple of 126?
False
Let d be 0 + 3 + (-30)/6*2. Let m = d + -10. Does 7 divide 2 - m*((-4)/1)/(-4)?
False
Let k(h) = 4*h**2 - 43*h - 554. Is 12 a factor of k(-27)?
False
Let t = 5544 + -1439. Is t a multiple of 24?
False
Let n(p) = -2 - 55*p - 14 - 4. Let t(j) = 4*j**3 + j**2. Let b be t(-1). Is n(b) a multiple of 9?
False
Let w(p) = p. Let q be w(4). Suppose l + 2*l = -z + 7, -q*z = l + 16. Suppose -2*n + 130 = 2*i - 74, l*n + 424 = 4*i. Is i a multiple of 26?
True
Let q be 38/(-95) + 18/(-5). Let c = 6 + q. Suppose -2 + 0 = -2*x, c*g = 5*x + 189. Is 21 a factor of g?
False
Let w be 16/(-12) - (-3)/9 - -3688. Suppose -23*t + w = -706. Is 11 a factor of t?
False
Let j(k) be the second derivative of 40*k**4 - 2*k**3/3 - 2*k**2 - 38*k - 1. Does 80 divide j(-1)?
True
Suppose 2958 = l - 3*f, 2*l - 36*f = -39*f + 5970. Is l a multiple of 16?
True
Let j be -426*(10/3)/5. Let d = 875 + j. Does 20 divide d?
False
Suppose 7 = 2*q + 1. Suppose 0 = -5*t - 2*b + 1775 - 181, b = -q. Is 10 a factor of t?
True
Let m(v) = 61*v + 625. Does 36 divide m(11)?
True
Let c(i) = 433*i + 131. Is 40 a factor of c(3)?
False
Suppose 0 = -5*v + 4*v + 2, -3*i + 4*v = 11. Let q be 844/20 + -1 + i/5. Let p = q + -4. Is p a multiple of 12?
False
Let f = -20846 - -25114. Is f a multiple of 183?
False
Suppose 86*g - 80*g - 378 = 0. Does 15 divide -14*(2 - 396/g)?
True
Suppose -d + 8214 = 3*j, 0*j = -4*d + 2*j + 32786. Suppose s + d = 10*s. Is s a multiple of 31?
False
Suppose 183*g = 189*g - 264. Is g/3*(2550/(-4))/(-17) a multiple of 10?
True
Suppose 630 = -2*u + 5*u - i, -3*i = u - 220. Let v = 783 - u. Is v a multiple of 11?
True
Let r(h) = 5491*h - 8425. Does 11 divide r(9)?
False
Suppose 125 + 191 = 2*r. Let t = r + -61. Suppose 4*f - t + 17 = -4*u, 0 = 3*u + 12. Does 6 divide f?
True
Let n(i) = -251*i + 759. Is 5 a factor of n(-6)?
True
Let g(u) be the second derivative of u**4/4 + 5*u**3/6 + 2*u**2 - 4*u - 2. Is 26 a factor of g(-8)?
True
Let z(k) = 137*k - 5. Let f be z(5). Let n(l) = -l**2 + 3*l. Let a be n(3). Suppose a = -5*d + j + 689, 4*d - f = 4*j - 132. Does 39 divide d?
False
Let b(h) = 1 - 39*h + 7*h**2 + 92*h - 44*h + 2. Does 28 divide b(6)?
False
Let x(h) = 8*h - 8. Let l be x(2). Suppose 0 = -l*s + 393 + 727. Suppose z - 3*z - 5*t + s = 0, t = -4. Is 20 a factor of z?
True
Let u be -19*(-2 - 4 - 32). Let o = 1324 - u. Is 19 a factor of o?
False
Let n(l) = -190*l - 1886. Is 3 a factor of n(-11)?
True
Let p = -59 + 63. Suppose -2*y + 4*y = p. Is 4/y + (9 - 4) a multiple of 4?
False
Let z(l) = -10*l**2 - l + 2. Let q(b) = 33*b**2 - 2*b + 2. Let a(t) = q(t) - z(t). Suppose 3*u + s = -s - 7, -6 = 4*u + 2*s. Is a(u) a multiple of 21?
True
Suppose 74*s = 410*s + 13*s - 709866. Is s a multiple of 3?
True
Suppose -140017 - 38072 = -30*u - 31689. Is 6 a factor of u?
False
Let m(j) = 2*j**3 - 222*j**2 - 112*j + 1542. Does 13 divide m(112)?
False
Let u(r) = 4*r + 3. Let b be u(2). Suppose -19 = b*d - 85. Suppose d*g = 4*g + 16. Does 4 divide g?
True
Does 16 divide 10 - (-22 + -313148)/11?
True
Is 12 a factor of (-132)/((-28)/56 - (-10)/21)?
True
Let f(r) = r**3 + 11*r**2 + 9*r - 5. Let w(n) = 2*n**3 + 12*n**2 + 10*n - 6. Let i(z) = 3*f(z) - 2*w(z). Is i(6) a multiple of 15?
False
Let z(u) = u**3 + 4*u**2 + 6 + 5*u - u - 4*u + 2*u. Let k be z(-4). Is 3 a factor of (-28 + 5)/(k + 1)?
False
Suppose -77*g - 3 = -80*g. Let w be ((-14)/1)/(0 + g). Let v(x) = -x**3 - 11*x**2 + 33*x - 21. Does 44 divide v(w)?
False
Suppose 5*x - 16 = 14. Let g be x + -7 - (-1)/(-1)*-2. Is 18 a factor of -4*(g - 71/2)?
False
Let c be (-6)/(-14) + -1 - 3594/(-42). Suppose o + 5*n - 85 = 0, 23*n + c = o + 18*n. Is o a multiple of 9?
False
Let z = -28297 - -51760. Is z a multiple of 76?
False
Let w(z) = z**2 + 11*z + 30. Let u be w(-12). Let l be (u + -2)/4*(0 - -2). Does 15 divide (8/l)/((-226)/(-225) + -1)?
True
Suppose s - 3*h = 37, -38*s + 177 = -35*s + 2*h. Does 5 divide s?
True
Is -1*(50694/(-56) - (-3)/12) a multiple of 5?
True
Suppose 13*k - 236 + 2 = 0. Is 1308/k + (-2)/(-6) a multiple of 29?
False
Let v be 6/(-4) - 135/6. Let u be (v - -23)*(-1 - -1 - -1). Does 42 divide (-4)/u + 8 + 185?
False
Suppose 48*o - 202268 = -70028. Is o a multiple of 19?
True
Let t = 1080 - 711. Let k = -220 + t. Does 11 divide k?
False
Suppose -5*f = 2*z - 295, -4*z + 77 = -4*f - 471. Let d = 378 - z. Is d a multiple of 7?
True
Suppose -n = 41*n - 9*n - 20559. Is 3 a factor of n?
False
Suppose -v + 11 - 15 = j, 5*j = 4*v - 20. Suppose -11 = -3*q - h, 3*q + 2*h + 3*h = 7. Suppose 3*k + 4*n - 160 = v, -3*k = -0*k - q*n - 152. Does 8 divide k?
False
Does 68 divide 4/74 - 1803480/(-888)?
False
Let m(w) = 10*w**3 - w**2 + w. Let i(y) = 1 - y**3 + 26*y - 2 - 11*y**2 + 5 - 3. Let t be i(-13). Does 10 divide m(t)?
True
Let w = -74 - -117. Let m = w + -32. Does 11 divide m?
True
Suppose -25*i + 11736 = -1864. Does 28 divide i?
False
Suppose y - 545*h - 6434 = -541*h, -y + 6458 = 2*h. Does 75 divide y?
True
Suppose -37*j - 972 = -40*j. Is j a multiple of 2?
True
Suppose 2*j + j - 6 = 0. Suppose 0 = 4*b + j*z + 16, 2*b = 6*b - 5*z + 16. Does 35 divide 2/b + 2556/24?
False
Suppose 0 = 3*g - 4*v - 2166 - 19753, 0 = 5*g + v - 36501. Is g a multiple of 149?
True
Suppose -128*y + 110785 = -6463. Is 32 a factor of y?
False
Is 142 a factor of (-17)/(-357)*175931 - 2/(-6)?
True
Let b(l) = 21*l**2 + 6*l - 6. Let z(m) = 42*m**2 + 14*m - 12. Let f(v) = 9*b(v) - 4*z(v). Is f(2) a multiple of 2?
True
Suppose 6*f = f - 15. Suppose -3*x + 26 = 31*z - 29*z, 10 = -2*z. Is 28 a factor of -2 - (-351)/x - f/4?
True
Suppose 118 = 5*h + 253. Does 5 divide (-2)/(-11) + h/99*-36?
True
Suppose -35*x + 440 = -43*x. Let n = 23 + -54. Let r = n - x. Is 15 a factor of r?
False
Suppose -12 = -3*g + 57. Suppose 9*p + g = 10*p. Let z = p + -1. Does 4 divide z?
False
Let c be 22/363 - 109490/(-66). Let q = c + -800. Is q a multiple of 27?
False
Let a be (64/(-12) + 4)/((-6)/747). Suppose -2*t - 3*l = -4*t + 346, -2*l + a = t. Does 14 divide t?
False
Let v = 15319 - 14265. Does 34 divide v?
True
Let n = -6410 - -11974. Does 25 divide n?
False
Let n = -22 - -50. Let u = 40 - n. Suppose -b + 20 = -u. Does 16 divide b?
True
Suppose 382*f + 1968 = 386*f. Does 5 divide f/(10/2 + -3)?
False
Let k(v) = 41*v + 347. Let w(p) = 20*p + 175. Let g(n) = -2*k(n) + 5*w(n). Is g(-5) a multiple of 4?
False
Suppose -13*p + 21*p - 12*p + 22140 = 0. Does 9 divide p?
True
Suppose 14 = -0*g + 7*g. Suppose y - 16 = -g*d, -4*d + 4*y - 16 + 72 = 0. Suppose -d*r + 138 + 252 = 0. Does 6 divide r?
False
Suppose -28*n + 3 = -25*n. Let s be (-22 + -7)/(1/n). Let x = s - -48. Is 4 a factor of x?
False
Suppose 0 = 46*y + 492137 - 2074215. Suppose -y = -44*n - 5441. Is n a multiple of 14?
True
Let t = 170 - 168. Suppose 0 = -3*i + 2*z + 311, -z - t = -4. Does 21 divide i?
True
Suppose -2066*z + 2110*z - 41101 - 802335 = 0. Is z a multiple of 113?
False
Let f(c) = -48*c - 156. Let w be 7/((-6 - 1)/7). Is 6 a factor of f(w)?
True
Let k = 530 - 526. Suppose 0 = -k*y + 16, -2*b + 6*y - y = -358. Does 10 divide b?
False
Suppose -26*q = 19*q + 7920. Let i = q + 443. Is i even?
False
Let b be (-1)/((-2)/(-20)*-2). Let m(h) = -h**2 - 3*h + 3. Let f be m(-3). Suppose 0 = f*c + c - 8, -b*n + 94 = -3*c. Is n a multiple of 2?
True
Let y(t) be the third derivative of t**5/60 + 3*t**4/8 - t**3 - 4*t**2. Let n be y(-8). Is (15 + n)/(117/58 + -2) a multiple of 9?
False
Let b = 0 - -15. Suppose 25 = -5*l, 4*l + 0*l + b = -h. Suppose -6*i + h*i + 12 = 0. Is i a multiple of 3?
True
Let k be (22/(-33))/((-5)/30). Does 6 divide (6/(-12) - 2/k) + 355?
True
Let l(f) = 2*f + 28 - 6*f - 8 + 6*f. Let i be l(-8). Does 13 divide 48 - (i + 0) - -4?
False
Let v(o) = -7954*o - 1387. Is 31 a factor of v(-3)?
True
Suppose i = 3*k - 18, -4*k = -3*i - 5*k - 74. Let w = i - -47. Is 24 a factor of 10/(-5 - 0) - (-3 - w)?
True
Let u = -1 - -27. Suppose -u*d = -21*d - 1310. Is 30 a factor of d?
False
Let j = 26 - 21. Suppose 3*r + 2*r - j = 0. Let s(y) = 40*y**3 - y**2 + 2*y - 1. Does 10 divide s(r)?
True
Suppose 0*c - 3*c = -2*h + 11780, 23568 = 4*h - 4*c. Suppose -1702 = 5*p - 