= a - 5*s, -2*a + 5*s = -x*s - 60. Does 9 divide a?
False
Suppose -5*b - 4*h - 350 = 0, 76 = -b - 5*h + 6. Is b/(-6) + (-3)/(-9) a multiple of 12?
True
Let q(o) = 2*o + 11. Suppose 3*g - 4 = c - 32, -41 = 5*g + 4*c. Let j be q(g). Does 3 divide -3 + (-7)/(j/10)?
False
Does 9 divide ((-21)/(-28))/((-189)/(-188) - 1)?
False
Let x(j) = -j**3 - 4*j**2 - 2*j + 4. Let c be (-12 - -2)*2/4. Is x(c) a multiple of 16?
False
Is (-102)/(-153) - (14/6)/(-1) a multiple of 2?
False
Let q = 8 + -6. Suppose 0 = q*w - 5*w + 42. Does 7 divide w?
True
Let n = 10 - 6. Suppose 26 = 2*o - n. Is 15 a factor of o?
True
Suppose 2*m + y = -16 - 7, -4*m - 4*y = 56. Let p = 16 + m. Is p a multiple of 4?
False
Let j be (-8)/14 - 75/(-21). Suppose -2*l + l + 3 = 0, k = -j*l + 17. Is 4 a factor of k?
True
Suppose -413 + 1793 = 10*w. Is w a multiple of 6?
True
Suppose -5*l + l = -36. Suppose l = -2*v + 49. Is 20 a factor of v?
True
Let q = 11 - 8. Is q a multiple of 3?
True
Suppose -j - j = -48. Is j a multiple of 24?
True
Suppose 2*k + m = 13, 4*m + 16 = 2*k + 2*m. Let y(n) = n - 3*n + n**2 + 4*n + k. Is y(5) a multiple of 21?
True
Does 12 divide (336/98)/(4/42)?
True
Let h = 43 + 0. Is h a multiple of 4?
False
Suppose 3*f = 11*f - 2144. Does 50 divide f?
False
Let t be 2/(-10) - 39/5. Let m = 17 + t. Let w = m - -23. Does 12 divide w?
False
Let h be 1/(-4) - (-338)/8. Suppose -4*q + h = -42. Suppose 2*m - q = -m. Is m a multiple of 6?
False
Does 9 divide -4 - ((-3591)/36 + (-2)/8)?
False
Suppose 2*a - 17 = -3. Let n = a - -1. Is 3 a factor of n?
False
Let t = 173 + -71. Is t a multiple of 18?
False
Let m = -43 - 4. Let c = 90 + m. Does 19 divide c?
False
Let k = -40 - 19. Let m = k + 94. Is m a multiple of 10?
False
Let d(i) = 4 - 4*i - 4 - 3*i**2 + i**3. Let m be d(4). Suppose -4*h + 2*o + 104 = m, -4*o = -5*h + o + 125. Is 10 a factor of h?
False
Let l be 9/(-6)*(-4)/6. Suppose -w = -9 - l. Is 10 a factor of w?
True
Suppose 0*g + h = 4*g - 36, -3*g = h - 20. Is (g/(-6))/(8/(-108)) a multiple of 9?
True
Let v be 0 - (-1 - -2) - -10. Let z be (148/(-6))/((-1)/v). Suppose 4*r - 25 = -i + z, 0 = -r + i + 68. Is 18 a factor of r?
False
Suppose -d = -4*f - 194, 2*f + 4*d = -0*d - 106. Let m = -33 - f. Is 14 a factor of m?
False
Let d(g) = -g**2 + 32*g + 35. Is 42 a factor of d(26)?
False
Let i = -65 - -164. Does 33 divide i?
True
Suppose -5 + 2 = -c. Let a be (c/1)/(6/(-8)). Let j = a - -22. Is j a multiple of 12?
False
Let i(z) = z**3 + 4*z**2 + 2*z - 1. Let w(u) = -u**2 - u - 1. Let s be w(-2). Let c be i(s). Is 5 a factor of ((-2)/c)/(2/(-14))?
False
Let g = -85 + 217. Is g a multiple of 26?
False
Suppose -5*g = 5*k - 105, 3*k - 5*k = 4*g - 32. Suppose -s + 2*y + 36 = s, -5*y - k = -s. Is 10 a factor of s?
False
Let v(t) = -2*t - 2*t - 4*t. Let o be v(-1). Suppose o*n = 3*n + 270. Does 14 divide n?
False
Let v(c) = 5*c**2 - 8*c + 2. Let y(h) = h**2 + 1. Let i(z) = v(z) - 6*y(z). Let a be i(-5). Let o = 15 - a. Is 4 a factor of o?
True
Suppose 0*b = -2*b + 196. Let d = b + -57. Is 21 a factor of d?
False
Suppose n + 4*a + 75 = 0, 5*n = a - 4*a - 392. Let i = -55 - n. Suppose 2*x = 4*x - i. Is 12 a factor of x?
True
Let c be (-12)/9*6/(-4). Let i = -7 + c. Is 22 a factor of (-218)/i + (-6)/(-15)?
True
Suppose 3*p + 3*c - 204 = 0, 4 = 7*c - 3*c. Is 14 a factor of p?
False
Let l = -27 - -22. Is 6 a factor of ((-36)/15)/(2/l)?
True
Suppose 2*t + 2 = 0, 5*t = -4*p - 3 + 6. Let q be ((-4)/p)/1 + -1. Is 5 a factor of 3/(9/24) + q?
True
Is 3084/28 - (40/(-14) + 3) a multiple of 11?
True
Let i(s) = s**2 + 11*s - 102. Is i(19) a multiple of 18?
True
Let r = 242 - 102. Does 7 divide r?
True
Suppose 0 = b - 4*j - 4, -b + 5 = -2*j - 3. Is b a multiple of 6?
True
Let h(j) be the first derivative of -5*j**2/2 + 3*j - 3. Is h(-6) a multiple of 10?
False
Suppose 3*z = 6*z - 2*v + 43, 5*z + 4*v = -79. Let k = z - -25. Is 5 a factor of k?
True
Is 2 a factor of ((-15)/(-12))/((-3)/(-12))?
False
Let s = -26 - -54. Let w = 23 + s. Is 17 a factor of w?
True
Suppose 2*b - 3*b + 155 = 2*x, -4 = -4*x. Is 14 a factor of b?
False
Suppose b - 3*z + 0 + 6 = 0, 2*z = -b - 11. Let d be -2 + (b + 0)/(-3). Is 3 a factor of d/((-11)/6 + 2)?
True
Let p be (3/(-2) + 0)*-2. Suppose 0*d = 2*d + p*b + 1, 1 = -d - b. Let g = 28 - d. Is g a multiple of 18?
False
Let o be 5 + (-1)/(2/4). Suppose h = 3*r + o, 0 = 2*r - 5*r + 5*h + 9. Let g = 7 - r. Is 4 a factor of g?
False
Let b = -3 - 2. Let m be (8/12)/((-2)/(-6)). Is (m - (-2 - b)) + 21 a multiple of 10?
True
Suppose k + 3*k + 20 = 0. Let d(y) = y**2 + 3*y - 7. Is 2 a factor of d(k)?
False
Let w be 2/(-4)*(-8 + 8). Suppose x - t - 28 = -w*x, -5*x - 4*t + 104 = 0. Does 24 divide x?
True
Let k(p) = p**3 + 6*p**2 + p + 1. Is k(-5) a multiple of 3?
True
Suppose 4*s - 102 = 2*s. Does 14 divide s?
False
Suppose -5*u - 2*j + 190 = 0, j = -0*u - 5*u + 195. Is u a multiple of 16?
False
Let z(x) = -7*x**2 - 2*x**3 + 0*x + 7 + 4*x**3 - 2*x. Let m be z(5). Suppose -3*a - 3 = 3, 4*a = 2*g - m. Is g a multiple of 11?
False
Let u(x) = -47*x**3 - 7*x**2 + x + 7. Let z(y) = -47*y**3 - 6*y**2 + y + 6. Let f(p) = 6*u(p) - 7*z(p). Does 15 divide f(1)?
False
Suppose 16 = 3*o + o. Suppose o*l = -3*x + 24, x - 3*x = 3*l - 17. Suppose 4*u - 19 = -5*h + 2*u, x = -2*h + 5*u. Does 2 divide h?
False
Suppose 0 = -4*b + 12, -2*b + 8 = f - 7*b. Does 19 divide f?
False
Suppose -b - 2*b = 0. Suppose -3*q = -b*q - 15. Is q a multiple of 5?
True
Let l(r) = r**2 - r - 7. Is l(-4) a multiple of 11?
False
Suppose 0 = -5*b - 2*u + 6 + 1, -35 = -5*b + 5*u. Suppose -m + 39 = 2*r + 3*r, -b*m = -r - 37. Is m a multiple of 7?
True
Is 3 a factor of (-6)/9 + (-8)/(-3) + 15?
False
Suppose -2*s = 3*s + 15. Is 3 a factor of (s - (-4 + 4)) + 9?
True
Suppose -3*y - 9 = -6*y. Suppose y*o - o - 50 = 0. Is o a multiple of 16?
False
Let u(s) = 14*s**3 + 3*s - 2. Does 29 divide u(2)?
True
Let c(k) = k**3 - 15*k**2 - 16*k + 22. Does 11 divide c(16)?
True
Let m(y) = y**3 + 7*y**2 - 8*y + 2. Let o be m(-8). Is o*1 - (8 - 38) a multiple of 11?
False
Let t be (3/(-6))/(2/(-16)). Suppose -5*g - h = 7, -5*h = -4*g - 27 + t. Is (g/(-4))/(1/22) a multiple of 9?
False
Let c = -198 + 313. Is 37 a factor of c?
False
Let g(y) = -y + 8. Let f be g(6). Suppose 0 = -5*r + f*t + 100 + 78, -r = -4*t - 50. Does 13 divide r?
False
Is (-4)/(16/(-116)) - 4 a multiple of 5?
True
Let u(q) be the third derivative of q**6/20 + q**5/60 - q**3/6 - 5*q**2. Is u(2) a multiple of 17?
True
Is 7 a factor of (2/6)/((-5)/(-495))?
False
Suppose -35 = 3*g + 2*g + 4*v, v = 0. Let f(b) = -b**3 + 5*b**2 + 2*b**2 - 3 + 2*b**3 - 2*b. Does 10 divide f(g)?
False
Suppose -7*d + 48 = -3*d. Is d a multiple of 6?
True
Let w(p) = p + 6. Let s be w(8). Suppose -5*z + s = -2*y, 2*y - 7 = 3*y + 2*z. Let d(m) = -m**2 - 9*m - 4. Is d(y) a multiple of 5?
True
Let n = 47 - 28. Is n a multiple of 17?
False
Let s(k) = 5*k + 4. Let z be s(-6). Let j(i) = 60*i**3 - 2*i**2 + 2*i - 1. Let y be j(1). Let o = z + y. Does 12 divide o?
False
Suppose 0 = -4*r - 4*z + 76, 5*r - z = 4*z + 135. Is 11 a factor of r?
False
Let i be (81/(-12))/((-3)/16). Suppose 5*b + i = 136. Does 10 divide b?
True
Let s(y) = -y**3 + 16*y**2 + 38*y + 11. Does 29 divide s(18)?
False
Suppose 2*f + 0*f = 48. Is f a multiple of 8?
True
Let i(v) = -2 + 4*v**3 - 3*v**3 + v - 1 + 8*v**2 + 0. Let m be i(-7). Suppose 3*l = -0*l + m. Is 13 a factor of l?
True
Let g be (30/20)/((-1)/(-2)). Suppose -m - 3 = g. Let s = m - -12. Does 6 divide s?
True
Suppose -2*s - 2*v - 2 = -4*s, 3*v = s - 5. Let f(t) = -6*t**3 - 2*t - 1. Is f(s) a multiple of 2?
False
Suppose -2 = -3*d + 1. Let v(x) = 54*x**3 + x**2 - 2*x + 1. Let c be v(d). Suppose 2*w + 4*m - 8 = m, m + c = 5*w. Does 5 divide w?
True
Suppose -4*b + 2*h = -138, 0 = 5*b - 3*h - 176 + 1. Is b a multiple of 16?
True
Suppose -4*n + 160 = 5*r, -2*r + 31 = -2*n - 15. Is r a multiple of 3?
False
Let m(g) be the second derivative of 23*g**3/6 - 5*g**2/2 - 3*g. Let t(o) = -46*o + 9. Let h(s) = 11*m(s) + 6*t(s). Does 11 divide h(-1)?
True
Let a be (-176)/(-6) - (-3)/(-9). Let h = a + 13. Is h a multiple of 12?
False
Let q(b) = b**3 - 13*b**2 + 12*b + 17. Let j be (-18)/(3 - 0)*-2. Let z be q(j). Let h = z + 25. Does 23 divide h?
False
Let z(d) = d + 11. Let f be z(-8). Let