- -17497. Does 71 divide w?
False
Let z(n) = -6*n**3 + n**2 + 31*n - 8. Is 20 a factor of z(-8)?
True
Let t(w) = 11*w**2 - 190*w - 3. Does 18 divide t(19)?
False
Let w(u) = 299*u**2 - 178*u - 1121. Is 18 a factor of w(-6)?
False
Let t(s) = -s**3 + 3*s**2 + 2*s + 3. Let r be t(4). Let k(l) = 11*l**2 - 31*l + 2. Let y(h) = -h**2 + 9*h + 1. Let j(q) = k(q) + 4*y(q). Is 13 a factor of j(r)?
True
Suppose 32*p - 22355 = -3*w + 33*p, 0 = 4*w + 5*p - 29851. Is 5 a factor of w?
False
Let y be -3 + -2 + 5 + -21. Let b = -2 - y. Suppose -b*l = 1024 - 3874. Is l a multiple of 30?
True
Let p = -723 - -716. Let c = 353 - p. Is 60 a factor of c?
True
Let q be 15/10*(-6904)/(-12). Suppose 5*w - 92 = q. Let r = w - 67. Does 17 divide r?
False
Let q be 4/14 - (-6)/(-21). Suppose q = -y + t + 1552, -7*y + 3114 = -5*y + 3*t. Is 21 a factor of y?
True
Suppose -5*o = 3*l - 3230, 2*o = -11*l + 6*l + 5396. Is 10 a factor of l?
True
Let f = -47 - -115. Suppose -89 = 2*g + z, -58 + 214 = -3*g + 3*z. Let o = g + f. Is 5 a factor of o?
False
Let x(k) = -4*k**2 - k - 65. Let f(r) = -3*r**2 - 2*r - 64. Let u = 70 - 75. Let n(q) = u*f(q) + 4*x(q). Is n(9) even?
False
Suppose 62*p - 32 = 60*p. Let b(v) = 34*v - 96. Does 28 divide b(p)?
True
Let z be -2 + 2 + 5 - (2 + -2). Does 5 divide (z + 38/(-8))/((-2)/(-856))?
False
Let f(u) = -3*u**2 + u - 5. Let o(a) = a**2 - 1. Let w = -11 + 12. Let m(y) = w*f(y) + 4*o(y). Does 21 divide m(-9)?
True
Let p(g) = 5*g**2 - 21*g - 90. Is p(-29) a multiple of 16?
False
Suppose p = 4*r + 6, r = -19*p + 14*p + 9. Suppose 0*i + i = -4*z + 207, 0 = p*i - z - 396. Is 25 a factor of i?
False
Suppose 1879570 = -10*q + 56*q + 24*q. Is q a multiple of 26?
False
Suppose -2*c = 3*c - c. Suppose 6 = 5*k - 5*y - 4, 2*k + y - 16 = c. Let z(b) = -b**3 + 8*b**2 - 8*b - 5. Is 9 a factor of z(k)?
False
Let u = 3774 + -3483. Does 9 divide u?
False
Let u = -3703 - -4418. Does 11 divide u?
True
Let o = -12 + 11. Let u be o - (-7 + 2 + 2). Suppose -c + 12 = h + u*h, -3*c + 92 = -5*h. Does 3 divide c?
True
Let y be -1 - (-3 + (4 - -5)). Let u be y/(-2) - 0 - 35/70. Is 6 + (0 - 3) + u even?
True
Suppose 0 = -k + 4*u - 101, 0 = 2*k - 6*u + 4*u + 208. Let n = -75 - k. Is ((-214)/5)/((-12)/n) a multiple of 20?
False
Suppose -4*h + 1170 = q - 17195, 0 = -2*q + 2. Is 17 a factor of h?
False
Let x(y) = 258*y + 182*y - 4 - 12 + 6 - 17. Is 36 a factor of x(2)?
False
Let v = 401 + -71. Is 3 a factor of 104/6*5/(200/v)?
False
Let m(n) = 266*n + 4. Let y(c) = -12*c**3 - 1. Let u be y(-1). Suppose 0 = 5*r + 20, 6*g - u*g - r = -1. Is m(g) a multiple of 18?
True
Does 34 divide -144 - -2797 - (1 + 0)?
True
Suppose -4*d - 28124 = -4*g, -5*g + 9909 = -d - 25246. Is g a multiple of 71?
False
Let a = 16 + -60. Let p be (23*-1)/((-1)/(-1)). Let l = p - a. Does 7 divide l?
True
Let k(v) = v**3 - 6*v**2 + 2. Let r(g) = g**3 - 5*g**2 + 1. Let h(b) = 2*k(b) - 3*r(b). Let q be h(2). Suppose 0 = 3*n - q*n + 12. Is n a multiple of 2?
True
Let a(q) = -2*q**3 + 14*q**2 - 3*q - 2. Let w be a(6). Let k(c) = c**3 - 50*c**2 - 95*c + 1. Is 35 a factor of k(w)?
False
Let a(b) = 52*b - 55. Let j be a(7). Suppose j + 483 = 9*g. Does 2 divide g?
True
Let h(n) be the second derivative of -5*n**3 - 59*n**2 + 20*n. Is h(-22) a multiple of 53?
False
Let b(f) = -18*f - 11 + 5 + 5*f - 8. Suppose -3*o = -3*x + 6, 2*x = 4*o - 1 + 13. Is 8 a factor of b(o)?
False
Let n(f) = 17*f - 3. Let r be n(3). Suppose 2*b - 424 = -o, 0 = -2*o + b + r + 790. Is 10 a factor of o?
True
Let c(a) = -22*a**3 - 3*a**2 - 2*a. Let o(p) = -p + 3. Let h be o(-2). Let y be (3 - h - 3) + 3. Does 51 divide c(y)?
False
Let w be ((-207)/(-54))/(-23) + (-5869)/(-6). Suppose -2*i + 4*p = -2412, -2*i - 2*p = w - 3360. Is 52 a factor of i?
True
Suppose 0 = -53*o + 52*o - 2*a + 4570, -5*o - 5*a + 22835 = 0. Does 5 divide o?
False
Let o(n) = -2*n + 22 + 505*n**3 - 2*n**2 - 3*n - 502*n**3. Is o(5) a multiple of 47?
False
Suppose 3*l = 4*y - 1656, 0 = 17*y - 13*y - 2*l - 1652. Is 2 a factor of y?
False
Suppose -4*q + 1410 = -q. Let i(w) = w**3 + 24*w**2 - 38*w - 671. Let b be i(-24). Let l = q - b. Is l a multiple of 28?
False
Let x(s) = -10*s - 199. Let i be x(-18). Is 2 - 8 - (-85 - i) a multiple of 24?
False
Let v(z) = z**3 - 59*z**2 + 63*z - 108. Let m be v(58). Let n(r) = -11*r**2 + 3*r - 4. Let w be n(-3). Let b = m + w. Is b a multiple of 18?
False
Suppose 0 = 9*o - 12*o - 57. Let u = o - -57. Does 8 divide -5 + u - (0 + 1)?
True
Let q(p) = 11*p**2 - 3*p + 3. Let t be q(1). Suppose t + 19 = 5*a. Does 9 divide 81/(4/16*a)?
True
Suppose -7 = -2*i + 25. Let r(g) = g**2 - 17*g + 19. Let w be r(i). Suppose 5*v - 160 = w*v. Is v a multiple of 33?
False
Let c(q) be the third derivative of 1/20*q**5 - 1/24*q**4 + 7/6*q**3 + 0 + 0*q + 5*q**2. Is 29 a factor of c(-5)?
True
Let w be -4 + 6 - (1 + -2). Let a(x) = 466*x - 27 - w - 4*x**2 + 5*x**2 - 483*x. Does 11 divide a(21)?
False
Suppose -15*j = -5*j - 560. Suppose 5*y = y - j. Let q(m) = -3*m - 14. Does 28 divide q(y)?
True
Let q(o) = 4*o**2 - 37*o + 14. Let m be q(9). Suppose -79 = 3*y - m*f - 337, 0 = -2*f. Does 9 divide y?
False
Suppose -649*b + 648*b + 513 = 0. Let o = b + 124. Is 24 a factor of o?
False
Let k be 0/(-1*(2 + 1)). Let g(s) = s**3 - 2*s**2 - 2*s + 8 + 16 + 0*s + s**2. Is g(k) a multiple of 22?
False
Suppose 62*z - 81*z + 134140 = 0. Is z a multiple of 161?
False
Let j = -182 + 2698. Is j a multiple of 37?
True
Let g = -11701 - -19897. Is g a multiple of 51?
False
Let q be 6369/(-3) - (-7 + 5). Let v = q - -1347. Does 36 divide ((-10)/15)/(3/v)?
False
Let z(f) = 33*f**3 + 3*f - 2. Let w(t) = 7*t. Let r be w(1). Suppose 0 = -6*m + r - 1. Does 6 divide z(m)?
False
Let j = -34753 + 67063. Is 9 a factor of j?
True
Let r(l) be the first derivative of -l**5/60 - l**4/12 + 40*l**3/3 + l**2/2 + 2. Let s(d) be the second derivative of r(d). Is 35 a factor of s(0)?
False
Let g(r) = -6*r + 2. Let d be g(-1). Suppose 42 = d*p - 54. Suppose -5*v = -p*v + 112. Is v a multiple of 9?
False
Suppose -5*f = 2*s - 292, 2*s + 3*f = 5*s - 438. Suppose -6*w = s - 1298. Suppose 3*k + 4*m = 2*k + 57, 2*m = 4*k - w. Is 32 a factor of k?
False
Let p = -92 - -89. Is 28 a factor of (1 + p/2)/(10/(-9060))?
False
Let w be (4/6)/(57/5985). Suppose -6*u = -7*u - 2*a + w, -2*u + a + 135 = 0. Is 6 a factor of u?
False
Suppose u + 10 = 12. Let j(l) = -l**2 + 19*l + 16. Let d be j(18). Suppose x - d = u. Does 32 divide x?
False
Let f be (2/2)/((-2)/998). Let z = 220 + f. Let b = -83 - z. Is 49 a factor of b?
True
Let c(p) be the third derivative of -p**4/24 + 19*p**3/3 - 13*p**2. Suppose 19 + 234 = 11*q. Is c(q) a multiple of 2?
False
Suppose 129*f + 936260 = 406*f. Is f a multiple of 26?
True
Suppose 0*s + 15 = 5*s. Suppose 0 = -s*t + 33 + 15. Is 9 a factor of 1*(t + (-1 - -2))?
False
Is (-252)/420 + (-37)/(-45) + 523346/18 a multiple of 30?
False
Suppose 0 = 5*a + 4*i + 14, 5*a + 5*i + 8 + 7 = 0. Let s(w) = -24*w + 22. Is 10 a factor of s(a)?
True
Suppose 334*f + 6331 = 335*f. Suppose 0 = -35*a + 1334 + f. Does 23 divide a?
False
Let s = 6 - 0. Let z be 4 + (4 - s - -3). Let q(u) = u**3 + 4*u**2 - 8*u + 5. Is q(z) a multiple of 19?
True
Suppose 2*m + 2406 = -3*k + 9568, 2*m - 7158 = -2*k. Is m a multiple of 19?
False
Let x(h) = -4*h**3 - 3*h**2 + 4*h - 5. Let r be x(-7). Suppose -r*c = -1191*c - 90. Does 8 divide c?
False
Suppose -3*p + 5444 = -3*g - 5203, -2*g = -3*g. Is p a multiple of 35?
False
Does 69 divide 43768/(-6)*1*(-72)/48?
False
Let x = 158 + -280. Let u = 246 + x. Is u a multiple of 4?
True
Suppose -21*v = -6673 - 96248. Is v a multiple of 13?
True
Let c(k) = -6*k**3 + 5*k**2 - 3*k**2 - 6 + 3*k**2 - 3*k + 5*k**3. Let b be c(3). Suppose 6*r - b*q = 5*r + 296, q - 578 = -2*r. Does 58 divide r?
True
Is 39 a factor of (-73 + -1825)*(-6)/4?
True
Let j = -346 + 310. Let z = 313 - j. Does 16 divide z?
False
Let t(l) = -20*l. Let s be t(-7). Let o(b) = b**3 + 14*b**2 + 35*b - 23. Let y be o(-11). Let g = y + s. Is 16 a factor of g?
False
Let s(c) = -9*c + 8. Let d be s(-8). Let j(v) = v**3 - 20*v**2 + 18*v + 24. Let w be j(19). Suppose b = -w*z + 177, 3*z - d - 16 = -4*b. Is 36 a factor of z?
True
Suppose -4*i + 126 - 33 = u, 2*i + u - 45 = 0. Suppose 4*t = 2*h + i, -4*h = -2*t + 4*t - 32. Let r(x) = -x*