 88. Does 8 divide o?
True
Let x(j) = -18*j + 17. Does 20 divide x(-17)?
False
Let y(k) = -6 + k**2 + 2 - 5*k + 2. Is 2 a factor of y(6)?
True
Let q be -3*(-4)/12 - -9. Suppose 109 = 5*l - 3*u, u = -l - 0*u + 17. Let a = l - q. Does 10 divide a?
True
Suppose j + 5 = 0, -2*j = -5*n - j - 20. Let i be 4/n*(-20)/8. Suppose -i*c = -3*c - x + 17, 4*c - 64 = -5*x. Is c a multiple of 8?
False
Suppose -2*b = -i - 0*i, 6 = -i - b. Let n = 6 + i. Suppose n*s - 2 = s + 4*o, 22 = 4*s - 2*o. Does 5 divide s?
False
Suppose 3*m + 5*k - 219 = 0, 10*m - 6*m - 5*k = 327. Is 13 a factor of m?
True
Let t be (-3)/(-6)*(-100 - -6). Suppose 0 = -0*g - g - 79. Let b = t - g. Does 16 divide b?
True
Let y(x) = x**3 - 3*x - 2. Let m be y(3). Let k = 23 - m. Is 3 a factor of k?
False
Let j(g) = g**2 - 2*g + 4. Suppose 3*n + 0*k = -3*k, -k + 30 = -5*n. Let b(x) = -2*x**2 + 3*x - 7. Let f(l) = n*j(l) - 3*b(l). Is 8 a factor of f(-4)?
False
Suppose 0*o = -3*o - 9. Let z(t) = -3*t - 4. Let i be z(-4). Does 5 divide ((-18)/i)/o*12?
False
Suppose 0 = 5*v - 5*p + 10, -3*v - 4*p = p + 22. Let b(y) = 3*y**2 - 3*y + 5. Is b(v) a multiple of 19?
False
Suppose 16 = 3*z - 11. Suppose 3*s - z = -0*s. Suppose s*i + 2 + 1 = 0, n = -3*i + 9. Is 5 a factor of n?
False
Suppose 28 = -5*p + 143. Suppose -p + 83 = 4*m. Is 5 a factor of m?
True
Let u be (6/4)/((-2)/12). Is 32 a factor of ((-364)/12)/(3/u)?
False
Let g(a) = -2*a + 3. Let c(l) = -1. Let o(w) = -6*c(w) - 3*g(w). Is o(4) a multiple of 21?
True
Suppose -12 = -3*r - 90. Let s = -11 - r. Let g = -11 + s. Does 4 divide g?
True
Let t = 2 - 0. Suppose 0 = -0*x - t*x + 106. Let h = x - 18. Does 12 divide h?
False
Let u(v) = -v**3 - v**2 - v + 17. Is u(0) even?
False
Suppose -450 = -0*t - 6*t. Does 15 divide t?
True
Suppose -32 = x + 12. Let c = x - 10. Let k = c + 83. Does 10 divide k?
False
Does 12 divide ((-51)/(-5) + 3 + 1)*5?
False
Suppose -25 = -2*y + 37. Does 18 divide y?
False
Let p = 0 - -2. Does 12 divide ((-1)/p)/(7/(-168))?
True
Let p = -10 + 16. Suppose 3*t - 72 = 3*l, -2*t + p*t = 2*l + 96. Is t a multiple of 12?
True
Let n(k) = k**2 - 2*k + 3. Let z be n(2). Suppose 4*a = 3*m - 10, -3*a - 3 = -0*a. Suppose 2*p - 6*p + 16 = 4*s, -s - m*p = -z. Does 4 divide s?
False
Suppose 2*a - 315 = -4*x + 59, -3*x + 267 = -3*a. Suppose -o = -3*o + z + 58, 0 = -3*o + 4*z + x. Does 4 divide (-2)/(-5) + o/5?
False
Let v(g) = -g**3 - 12*g**2 - 7*g + 29. Is v(-12) a multiple of 25?
False
Suppose -4*x = -0*x - 24. Let c(k) = k**2 - 6*k + 3. Let p be c(x). Suppose -p*l - y + 7 = 3*y, -5*l - 2*y = -21. Is l a multiple of 5?
True
Suppose -4*z - 18 = -5*z. Is z a multiple of 9?
True
Let j(d) be the first derivative of -3*d**2/2 - 6*d - 6. Does 4 divide j(-5)?
False
Let w(x) = x**2 + 5*x + 6. Let p be w(-5). Does 11 divide 33 + 2/p*0?
True
Let c(h) = -h - 7. Let b be c(-5). Is 1*(b + 3) + 2 a multiple of 3?
True
Let z(s) = 37*s + 4*s**2 - 37*s. Let i be z(-1). Suppose -44 = -w + 5*t, i*w - 116 = -w - t. Does 12 divide w?
True
Let j(a) = -3*a - 30. Does 27 divide j(-19)?
True
Suppose 2*f + 0*f + 3*q = 240, -5*f = -q - 566. Is f a multiple of 15?
False
Let h(b) = -b + 23. Is 4 a factor of h(12)?
False
Suppose 3*b + 9 = 0, 4*j + b = -3*b + 20. Is 2 a factor of j?
True
Let n(x) be the first derivative of x**4/4 - 4*x**3/3 - x**2 + x - 2. Let d be n(5). Let h = 27 - d. Does 11 divide h?
True
Is 18 - (20/28 - (-2)/7) even?
False
Let p be -1 + 42/1 + -1. Let u = p + -28. Let n = u - 7. Is 5 a factor of n?
True
Let q(p) = 9*p - 1 - 3*p - 2. Is q(2) a multiple of 4?
False
Suppose 3*m + 8 = 3*r - 1, 2*m + 9 = 3*r. Suppose -92 + 14 = -r*o. Is 8 a factor of o?
False
Let y = 30 - 18. Suppose -4*n + 76 = 2*t - 5*t, 0 = -n - t + y. Let m = n + 26. Is m a multiple of 21?
True
Let k be 2 - 4 - -1 - -29. Let r = 40 - k. Is 4 a factor of r?
True
Suppose 3*k = 2*b + 2*b - 37, 56 = -5*k + b. Does 12 divide (-8)/44 + (-321)/k?
False
Let n be ((-14)/(-4) + -1)*6. Suppose -g - 4 = 0, -2*q - 5 = 2*g - n. Let s = q + 21. Is s a multiple of 15?
True
Let r = -2 + -7. Let j(q) = -q**3 - 9*q**2 - q - 7. Is j(r) a multiple of 2?
True
Suppose -2*l + 100 = 3*l. Is l a multiple of 4?
True
Let d(j) = 3*j + 1. Is d(16) a multiple of 20?
False
Suppose 0 = -3*y + 9, 2*b - 5*b - 4*y + 18 = 0. Suppose 0 = r + b*k + k, 5*r - 5*k = 20. Does 2 divide r?
False
Let l(h) = h**2 - 3*h + 1. Let v be l(3). Suppose -2*k - k = -d - 11, d - k + v = 0. Suppose -x = -a - d*x + 7, 4*a = -5*x + 35. Is a a multiple of 10?
True
Suppose -2*k = y + 24, -2*k - y + 48 = -6*k. Let n be 26/65 - 184/10. Let x = k - n. Does 3 divide x?
True
Let w be ((-2)/6)/(1/(-9)). Suppose 5*y - 3*b + 4*b = 49, 0 = w*y - b - 23. Is y a multiple of 6?
False
Suppose c - 1 = -4*a - 5, -4*c - a + 14 = 0. Let g(z) = z**3 - 3*z**2 - 4. Let u be g(c). Suppose u = l + 2. Is 4 a factor of l?
False
Suppose z + 2*z - 384 = 0. Is z a multiple of 16?
True
Let x(h) = 2*h + 19. Is 13 a factor of x(23)?
True
Let m(z) = -26*z + 6. Does 12 divide m(-3)?
True
Let g = 0 + -3. Let a = g - -6. Is 3 a factor of a?
True
Let x(q) = q**3 + 9*q**2 + 4*q + 2. Let j(s) = s**2 + 10*s + 4. Let f be j(-9). Does 22 divide x(f)?
False
Let i = 3 - 1. Suppose 0 = -s - 0 + i. Suppose -s*l + 7 = -5. Does 4 divide l?
False
Suppose 24 = -4*w + w. Let o(l) be the third derivative of l**5/60 + l**4/3 + 2*l**3/3 - 4*l**2. Does 3 divide o(w)?
False
Is 7 a factor of (-4)/(((-4)/42)/((-12)/(-18)))?
True
Suppose -15*v = -224 - 4081. Is v a multiple of 13?
False
Suppose 0 = 3*g - 166 + 37. Let s = 73 - g. Is 10 a factor of s?
True
Let h be (0 - 0)/(4 + -1). Suppose -2*i + 11 = q, 3*q + 0*i + 2*i - 45 = h. Let p = q - 9. Is 8 a factor of p?
True
Suppose 7*p - 27 = 6*p + g, -108 = -4*p + 2*g. Is 7 a factor of p?
False
Suppose -v + 78 = -0*v. Does 18 divide v?
False
Suppose 10*a = 6*a + 196. Does 20 divide a?
False
Let n(h) = -h**3 + 9*h**2 + 16*h + 20. Is 13 a factor of n(9)?
False
Suppose 2*z + 3*z = 0. Suppose z = 3*g - 2*j - 47, -2*g - j + 32 = -3*j. Is 15 a factor of g?
True
Suppose 4*u = 2*u - 5*v + 157, 5*v = u - 101. Is 13 a factor of u?
False
Let x = -10 - 2. Let l(t) = t**3 + 11*t**2 - 14*t - 2. Is 16 a factor of l(x)?
False
Suppose -4*z - 44 = -2*d, 5*z + 63 = -d + 4*d. Let a = -11 + d. Let u(k) = 4*k + 7. Is u(a) a multiple of 10?
False
Let j = -101 - -137. Does 10 divide j?
False
Let j(v) = -23*v + 9. Is j(-6) a multiple of 35?
False
Does 45 divide -4*(-111)/12*10?
False
Let b(o) = o**3 + 5*o**2 + 4*o + 6. Let s be b(-3). Is -4 + 7 + s + 1 a multiple of 6?
False
Let z = -21 + 0. Is (4 + -2)/((-2)/z) a multiple of 12?
False
Is (-21)/14*32/(-6) a multiple of 3?
False
Suppose 2*q - q + 25 = 0. Let c(r) = r**3 - 5*r**2 - 9*r + 6. Let f be c(7). Let d = f + q. Is d a multiple of 16?
True
Suppose -2*u = -5*z + 317, 4*z + u + 3*u - 248 = 0. Is z a multiple of 21?
True
Suppose 0 = -2*w + 1 + 1. Let d = 45 + w. Is d a multiple of 23?
True
Is (-696)/(-18) + (-1)/(-3) a multiple of 13?
True
Let l(w) = -w**2 + 10*w + 42. Does 7 divide l(10)?
True
Let r = 17 - 24. Let w(b) = -2*b - 8. Does 6 divide w(r)?
True
Let o(c) = 5*c - 28. Let r(n) = n. Let d(g) = -o(g) + 6*r(g). Is d(0) a multiple of 14?
True
Let u = 349 - 177. Is 11 a factor of u?
False
Let i = -7 + 10. Let l(g) = 2*g - i*g + 0*g. Is 4 a factor of l(-11)?
False
Let i be (-6)/18 - (-10)/(-6). Let k = -20 - i. Let n = k + 46. Is 9 a factor of n?
False
Let x be ((-46)/8)/(2/(-8)). Let w = -10 + x. Is w a multiple of 12?
False
Suppose -3*m - 2*o = -22, 5*m + 2*o - 21 = 13. Is m a multiple of 3?
True
Let a = 16 + -7. Is a + (2 - 4) + 0 a multiple of 3?
False
Suppose -5*d = -20, 0 = 4*j - 3*j - 2*d + 6. Suppose 9 = 2*g - 5*i + 47, 5*i = 5*g + 65. Is 10 a factor of (-546)/(-27) + j/g?
True
Let d = 3 + 10. Let z = 16 - d. Is 3 a factor of z?
True
Does 21 divide (2 + 5/(-4))/((-16)/(-2688))?
True
Let h(v) = -2*v - 5. Let r be h(-4). Let c be 2/((-4)/(-380)*5). Suppose 19 = r*t + 5*g, -3*g + g = 5*t - c. Is t a multiple of 4?
True
Let a(t) be the second derivative of -t**8/6720 + t**7/420 - t**6/360 - t**5/120 + t**4/4 + 2*t. Let o(n) be the third derivative of a(n). Does 7 divide o(5)?
True
Let d(x) = -x**3 + x**2 + 3*x - 2. Let j be d(2). Suppose -4*z + 35 = -0*o - 3*o, -4*z = -2*o - 30. Suppose j = m - 2*w - 13, 20 = w 