 g = -9*h + 881 + 91. Does 28 divide h?
False
Suppose g + s - 178 = 0, 5*g + 2*s - 450 = 446. Is 10 a factor of g?
True
Let q = 22 - 22. Let o(f) = -f - 25. Let g(v) = 3*v + 49. Let k(y) = -2*g(y) - 5*o(y). Is k(q) a multiple of 26?
False
Suppose 79*a = 60*a + 69654. Is a a multiple of 91?
False
Suppose -5*b = 4*u - b + 4, u - 8 = 2*b. Suppose u*v + 58 - 514 = 0. Does 38 divide v?
True
Let s(w) = w**2 + 9*w - 7. Let n be s(-10). Let y(g) = g**3 + 7*g**2 + n - 4*g + 6 + 5*g + 2*g. Is y(-6) a multiple of 12?
False
Suppose 0 = -4*g + 20, 2279 = -5*f - 4*g + 9159. Does 28 divide f?
True
Suppose 4*s - 2*h = -10, -5*h + 5 = 2*s - 4*h. Suppose -3*c + 110 + 43 = s. Does 21 divide c?
False
Suppose -9*t = -8*t - 4. Suppose -r = t*z + 7, 0*z = r + z + 1. Suppose -r = c - 23. Does 9 divide c?
False
Let l = 1249 - -948. Is 8 a factor of l?
False
Let o be ((-16)/24)/((-2)/(-36)). Let r be (o/(-10))/((-14)/(-455)). Is 13 a factor of (2 + -1)/(3/r)?
True
Let o(g) = -g**2 + 2*g + 5. Let v be o(4). Is 20 a factor of 4/v*(-234)/4 - -2?
True
Suppose m - 9 + 2 = 5*t, -t - 3 = -m. Let k(i) = 6*i**m + i**2 + 0*i**2. Is 26 a factor of k(3)?
False
Suppose y - 3*y = 12. Let f(o) = o**3 + 9*o**2 + 3*o - 10. Is f(y) a multiple of 20?
True
Suppose 0 = 2*y + 2 - 10, -4*q - 24 = -3*y. Let s be 0*1/(-2) - q. Suppose -2*z - 3 = -w - 1, s*w - 27 = -z. Is 2 a factor of w?
True
Let l be (1/((-6)/9))/(1/(-410)). Let t = l + -381. Does 39 divide t?
True
Let i be (-8176)/35 - 2/5. Let v = 451 + i. Suppose 35 = -4*h + 2*u + v, 0 = -h + 3*u + 33. Is 16 a factor of h?
True
Let d = 6539 + -4225. Does 26 divide d?
True
Let u(c) = c**3 + 7*c**2 + 4*c + 4. Let w(a) = -a**3 - 4*a**2 + 4. Let h be w(-3). Does 8 divide u(h)?
False
Let y(q) = q**2 - 2*q - 2. Let t be y(3). Is 14 a factor of ((-20)/4)/(t/(-19))?
False
Let o(t) = 11*t**3 - t**2 + t. Suppose -15 + 10 = -5*a. Is 2 a factor of o(a)?
False
Suppose 3*v - 3*m + 9 = -21, m = -v - 2. Let s(w) = w - 2. Let k be s(v). Is (-2)/((-9)/((-1548)/k)) a multiple of 23?
False
Let v(c) = -17*c**2 + 4*c - 1. Let k be -2*(2 + (-3)/3). Let a be v(k). Does 3 divide a/(-22) - (-2)/(-4)?
True
Suppose 2*f + 6*f - 4208 = 0. Does 47 divide (f/(-10))/(1/(-5))?
False
Does 16 divide 4 + -3 - (-687 - 0)?
True
Is 3 + 3022/12 - (-22)/132 a multiple of 15?
True
Suppose -4*o + 20 = -3*v, 4*o = 3*v - 5*v + 20. Suppose o*p = 145 - 5. Is 14 a factor of p?
True
Suppose 5*m = 2*j + 15, -2*j - 4*m + 39 = 9. Suppose -5*b + 41 = 4*w, -2*w = j*b + 11 - 44. Suppose 4 + 52 = 5*i - 3*d, b*i + 2*d = 46. Is 7 a factor of i?
False
Is 24 a factor of (-8668)/(-6)*(-75)/(-50)?
False
Suppose 3*i - 944 = -4*s + i, -2*s - 3*i + 468 = 0. Does 10 divide (s/(-15))/(1/(-5))?
False
Suppose 3*k + 7 = 3*f + k, 3*k = 2*f - 3. Does 9 divide (-519)/(-5) + f/15?
False
Let r = -13 - -42. Let l = r - 20. Suppose -10*h = -l*h - 35. Does 13 divide h?
False
Is 7 a factor of (-287)/((2 + 0)/(1 - 3))?
True
Let z = -4926 + 8475. Does 12 divide (-6)/14 + z/49?
True
Let s(m) = -10*m**3 - m**2 + 1. Let o be s(1). Let a = o - -2. Let x = a - -12. Is x a multiple of 4?
True
Let c(g) = 6*g + 2. Let d be c(8). Let k = d - 37. Is k a multiple of 8?
False
Let b(t) = t + 1. Let a be b(3). Suppose 16 = -4*k + a. Does 4 divide (-8)/84*k*14?
True
Let r be (-3 - 0) + 2 + -1. Let l be 1/((r - -5) + -2). Is -2 - l - (-264)/6 a multiple of 12?
False
Let f be 35/(-14)*12/(-10). Suppose -f*j - 2*j + 5*n + 15 = 0, 3*n + 9 = 4*j. Is 5 - (3 + j + -3) a multiple of 4?
False
Let i be -13 + 14 + 1 + 0. Let p = 0 + i. Suppose p*z + 3*w - 3 - 16 = 0, 3*w + 100 = 5*z. Does 6 divide z?
False
Let x(m) = -m**3 + 8*m**2 - 8*m + 7. Let v be x(7). Suppose -3*l + 33 = -2*i + 5*i, v = -5*i - 4*l + 56. Does 4 divide i?
True
Let q(a) = -4*a**2 + 3*a**2 - 18 - 7 + 19*a + 5. Suppose k = -5*m - 2 - 3, -46 = -2*k + 4*m. Does 20 divide q(k)?
True
Suppose -1517 = -3*i + p, -12*i - p - 503 = -13*i. Is 13 a factor of i?
True
Let g = -1382 + 1610. Does 57 divide g?
True
Let j = 41 - 31. Let z(i) = i**3 - 8*i**2 - 13*i - 6. Is z(j) a multiple of 12?
False
Is 22 a factor of (-1)/18 - 570288/(-864)?
True
Suppose -991 = -2*p - g, 3*p - g = -4*g + 1491. Is 56 a factor of p?
False
Suppose -2*x = 3*x - 15. Suppose a - 24 = -7*a. Suppose -a*q = -x*n + 149 - 26, -3*n = 5*q - 139. Is 9 a factor of n?
False
Suppose 0 = -3*h - 22 + 19. Is ((-3)/h)/((-24)/(-800)) a multiple of 31?
False
Suppose -4*w + 6 = -2. Suppose 0 = -0*b - 5*b. Suppose j - w*q = 5 + 13, -3*j - 2*q + 30 = b. Is j a multiple of 12?
True
Let k(i) = i**2 - 22*i + 6. Is k(22) a multiple of 5?
False
Let x(a) = 3*a - 6. Let z be x(5). Let b be (2 - 1) + 5 + z. Is 381/b - (-2)/(-5) a multiple of 15?
False
Let t(m) be the first derivative of 47*m**2/2 + 8*m - 11. Let k be t(5). Suppose 4*s = -4*d + 204, 2*s = -5*d + s + k. Is d a multiple of 24?
True
Suppose 57 = 2*c - 5*p, -3*c + 5*p + 99 = c. Let d(r) = -r**3 + 22*r**2 - 15*r - 49. Is d(c) a multiple of 23?
False
Suppose 464 = -4*z + w + 38, -3*w = -3*z - 324. Let p = -67 - z. Is 12 a factor of p?
False
Let n(y) = 4*y**3 - 2*y - 1. Let z be n(-1). Let a = 11 + z. Is (-4)/(a/14)*-1 a multiple of 3?
False
Suppose 2*j + 435 = h - 2*h, -3*j - 5*h = 649. Let u = -105 - j. Is u a multiple of 32?
False
Suppose -5*b - l + 17 = 0, 2*b - 23 = 6*l - l. Suppose 5*s + 5*d - 870 = 0, 4*s - d - 469 = 202. Suppose 9 - s = -b*w. Does 26 divide w?
False
Suppose f + 3 = -4*y - 1, -2*f = 3*y + 3. Suppose -2*h + 0*p + p + 91 = f, -3*p = 3. Is 5 a factor of h?
True
Let b(u) = -u**2 - 25*u - 21. Let h be b(-24). Suppose -h*r + 85 = -227. Is 8 a factor of r?
True
Suppose -18*y - 13975 = -61*y. Does 13 divide y?
True
Suppose -9*h + 1964 + 736 = 0. Is h a multiple of 30?
True
Suppose 0*y - 14 = -2*y. Suppose 0 = o - 3*q - y, -5*o = -2*q + 6*q + 60. Let c = o + 17. Is 2 a factor of c?
False
Let w(s) = -103*s + 77. Is 12 a factor of w(-13)?
True
Is (410/20)/(6/228) a multiple of 19?
True
Suppose 3 + 2 = -5*o, 0 = -5*d + 2*o - 2538. Let c = -335 - d. Does 26 divide c?
False
Let k(n) = 2*n**3 + 27*n**2 - 23*n - 38. Is k(-14) a multiple of 8?
True
Let l = 17 + -22. Let d(m) = -2*m**3 - 3*m**2 + 14*m - 6. Is 11 a factor of d(l)?
True
Let v(o) = 28. Let m(r) = -r + 30. Let k(x) = -5*m(x) + 6*v(x). Is k(6) a multiple of 5?
False
Suppose 2*h = -5*i + 3*h + 12, 2*i - 2 = -h. Let f = i + 3. Let j(w) = 5*w. Does 5 divide j(f)?
True
Suppose 5*k = 5*q + 36 - 96, -4*q = -k - 39. Let a(v) = v**3 - 8*v**2 - 9*v. Let r be a(q). Suppose r = -4*m + 27 + 37. Is m a multiple of 16?
True
Suppose 0*r = -5*r + 15. Suppose 2*u - r*g - 126 = 0, u + 2*g = 3*u - 128. Does 21 divide u?
False
Does 21 divide ((-39)/6 - -6)/((-2)/4204)?
False
Let s(y) = y**2 - 7*y - 13. Let d be s(9). Let u be -9 + 9/(d + -2). Let t = u - -15. Is 3 a factor of t?
True
Let h(g) = g**2 + g + 7. Let j be h(0). Let k be (-1)/(-2)*j*40. Suppose -3*o + 113 - 23 = 3*s, -5*o + 5*s = -k. Does 16 divide o?
False
Suppose 451 = w + 3*w + m, -4*w + 442 = -2*m. Does 14 divide w?
True
Suppose 4*c - 16 = 0, 251 = -4*n + 5*n - 4*c. Is n a multiple of 8?
False
Let b(i) = -i**3 + 14*i**2 + 3*i - 6. Let n be b(11). Suppose 0 = -4*c - 2*r + 306, -5*c + 5*r + n = -0*c. Is 11 a factor of c?
True
Let c(l) be the third derivative of -l**6/120 - l**5/6 + 7*l**4/24 - l**3/2 - 55*l**2. Let a = -6 + -5. Does 19 divide c(a)?
False
Let o(c) = -c**2 - 19*c + 14. Let d be o(-13). Suppose -d*h = -96*h + 36. Is h a multiple of 4?
False
Let i = 4168 + -12. Is 38 a factor of i?
False
Let s(u) = -26*u - 13. Let w be s(-5). Suppose -3*a = p - 6*p - 135, 3*a - w = -p. Is a a multiple of 15?
False
Let c = -894 + 1892. Is c a multiple of 42?
False
Let c be 52/(-20) + (-6)/(-10). Let n = c - -21. Let o = -3 + n. Is 8 a factor of o?
True
Let c(x) = -2*x**2 + 4*x - 2. Let z be c(8). Let v = 176 + z. Is v a multiple of 28?
False
Let q(s) = 52*s - 1. Let n(v) = 26*v. Let t(o) = 5*n(o) - 2*q(o). Let i be t(5). Suppose 0 = -z - 3*z + i. Does 11 divide z?
True
Suppose -3*p - 2*p = 145. Let j(y) = -37*y - 6. Let n be j(-2). Let b = n + p. Is b a multiple of 13?
True
Suppose r - 15 = -10, -l = -r - 429. Is 4 a factor of l?
False
Suppose 0 = -m - 2*m + 5*t + 110, 4*m + 5*t = 135. Does 14 divide m?
False
Let i(k) = -44*k - 4. Let z(s) = -9*s - 1. Let g(w) = 5*i(w) - 24