r) = -8*r**3 + r**2 - r - 1. Let x be y(-1). Suppose -3*o = -x - 0. Suppose -170 = -8*d + o*d. Does 17 divide d?
True
Suppose -2*z = 5*r, 2*z + 17 = -4*r - 3*z. Does 7 divide 17/2 + (-3)/r?
True
Let w(p) = -p**2 + 5*p - 2. Suppose 17 = 5*o + r - 0*r, o + 5 = 4*r. Is w(o) a multiple of 3?
False
Let o be (0/1 - -1)/(-1). Let g be (o/(-3))/(2/18). Suppose m - 29 = 4*v, 3*m = g*v + 28 + 59. Is 11 a factor of m?
False
Suppose -5*a = 4*p - 115, p - 27 = -4*a - 1. Suppose -102 = -4*b + 3*s, b = -2*s + p + 1. Is 14 a factor of b?
False
Suppose 0 = 2*p - 8, -4*f + 3*f = -2*p + 7. Is 11 a factor of 12 + (-1 + f - -1)?
False
Let s(t) = -t + 6. Let x be s(6). Suppose -59 = -4*f - l - 2*l, x = l + 3. Let w = -3 + f. Does 14 divide w?
True
Let p be (7 + 1)/((-6)/27). Is p*2*(-3)/12 a multiple of 7?
False
Let l(v) = 2*v + 12. Let r be l(4). Let t(u) = -3*u - 1. Let z be t(-1). Suppose -3*h = w - r, w = -w + z*h + 56. Is w a multiple of 13?
True
Suppose -4*o - o = -150. Is 8 a factor of 4/(8/o) + 0?
False
Let f be -1 + 4 - (-3)/1. Suppose -8 = -2*v + 4*k - 5*k, -f = -5*v + k. Does 2 divide v?
True
Suppose -l + 2*l = 11. Is l a multiple of 11?
True
Let r be 78/4*(-16)/(-6). Suppose -6*l - r = -4*p - 2*l, -4*p + 7 = 5*l. Is 4 a factor of p?
True
Is (164/(-2))/((-24)/12) a multiple of 12?
False
Let m(t) = 19*t + 1. Suppose -6*u = -0*u - 6. Is m(u) a multiple of 20?
True
Suppose -2*d - 4*o = -40, -3*d + 0*o = -2*o - 92. Does 6 divide d?
False
Let i be (-20)/16*12*1. Let z be ((-20)/i)/((-2)/(-3)). Suppose -2*k = z*j - 28, -3*k = -4*j + 1 - 15. Is 7 a factor of k?
False
Let r = -66 - -32. Let i = r - -47. Does 4 divide i?
False
Let t(c) = -c**2 - 13*c + 10. Is 13 a factor of t(-6)?
True
Let i = 7 - -37. Is i a multiple of 22?
True
Let v = 152 - 147. Does 3 divide v?
False
Let i(l) = -l + 7. Let d be i(2). Let g(u) = -u**3 - 3*u**2 - u + 2. Let f be g(-2). Suppose -r - k = -f*k - 8, 20 = 5*r - d*k. Is 3 a factor of r?
True
Let c = 3 - 95. Let k be c/(-12) - (-2)/6. Does 9 divide 170/8 - (-6)/k?
False
Let s = -19 - -38. Is s a multiple of 19?
True
Is ((-6)/(-24)*-2)/((-2)/88) a multiple of 2?
True
Suppose 0*z - z + 2 = 0. Suppose -r + 33 = z*r. Does 11 divide r?
True
Does 35 divide -105*2*(-1)/1?
True
Suppose -3*s = -3*y - 147, 4*s = -3*y - 0*y + 161. Let g(l) = l + 5. Let a be g(-7). Let u = a + s. Does 15 divide u?
False
Let s(m) = 120*m - 2. Let g be s(3). Suppose -4*t = 8, t + 0*t - g = -5*k. Does 16 divide k?
False
Suppose b + 0 = 7. Let h(f) = f**2 - 7*f - 7. Let j be h(b). Let u = j + 48. Does 11 divide u?
False
Suppose -4*b - 46 = -134. Suppose -y = y - b. Does 10 divide y?
False
Suppose -4*t - f - 8 = f, 0 = -t - 3*f - 7. Is 3 - -2 - (t + 3) a multiple of 3?
True
Let r be 2 - (-4 + 2 + 55). Is (14/(-6) + 2)*r a multiple of 8?
False
Let b(a) = -8*a + 96. Does 10 divide b(-18)?
True
Let x(z) = -91*z - 43. Does 10 divide x(-3)?
True
Does 27 divide ((-54)/8)/((-5)/40)?
True
Let g be (2 + 0)*(-4)/8. Is (20/(-8) - g)*-6 a multiple of 3?
True
Suppose -26 = -4*o - 5*v, 5*v + 2 = 6*o - 3*o. Suppose 0 = 4*b - 9*b + 3*k - 258, 5*k = -o*b - 199. Let w = -21 - b. Is w a multiple of 15?
True
Let p = 33 - -58. Let x = p - 41. Does 15 divide x?
False
Suppose -8 = -h - 3*h. Let g = 11 + h. Is g a multiple of 13?
True
Suppose -146 + 467 = 3*b. Let l be 0/3 + 1 + b. Suppose -2*u + l = 2*u. Is 11 a factor of u?
False
Let o = 1 + 1. Let x be (40/(-12))/(o/(-3)). Suppose 4*l - 4*z - 164 - 28 = 0, x*z = -3*l + 136. Does 21 divide l?
False
Suppose 0 = s + s - 264. Is 12 a factor of s?
True
Let b(w) = 5*w - 2*w**2 + 3*w**2 + 0*w - 8. Is b(-7) a multiple of 3?
True
Suppose 0*l = l + 10. Let d = l + 17. Is d a multiple of 4?
False
Suppose -2*a - 3*t = a + 3, -4*t = 5*a + 1. Let l be (-4 + (5 - -2))/((-2)/18). Does 3 divide -3 + (-1)/(a/l)?
True
Let u(f) = f - 2. Let m be u(5). Let q be 0 - 32 - 0/m. Let k = q + 56. Is k a multiple of 8?
True
Let j be (-25 - 6) + (-1 - -1). Let y = j + 83. Does 23 divide y?
False
Let d(l) = -9*l**2 - 7*l + 9. Let s(v) = 4*v**2 + 4*v - 4. Let a(y) = 2*d(y) + 5*s(y). Let u(h) be the first derivative of a(h). Is 19 a factor of u(8)?
True
Suppose 495 - 159 = 4*p. Does 14 divide p?
True
Let r = -4 + 8. Suppose -5*g - t + 36 = -144, -r*g + 158 = -2*t. Is g a multiple of 16?
False
Let i(y) = y**3 + 3*y**2 - 5*y + 3. Let d(r) = -r - 10. Let l = 0 + -6. Let j be d(l). Does 7 divide i(j)?
True
Let z be (214/6)/((-1)/(-3)). Suppose -2*f - z = l, 0*f + f + 2*l = -61. Let h = 113 + f. Is h a multiple of 23?
False
Suppose -2*f + 4*t = -18, 2*f = 2*t + 11 + 3. Suppose 2*p + 66 = f*p. Does 22 divide p?
True
Let o be (-3)/4 + (-1075)/(-20). Let g = o - 35. Does 13 divide g?
False
Let q(f) = -f**2 - f + 3. Let b be q(-3). Let o(m) = 11*m**2 - m. Is 27 a factor of o(b)?
False
Is 2*-1 + 48 - (5 - 9) a multiple of 25?
True
Suppose -h = -5*t - 102, -182 = -4*h + 5*t + 286. Suppose 3 = -3*d, 0*k - h = -5*k + 2*d. Is k a multiple of 12?
True
Suppose 2*u - 3*u = -3*p - 23, 38 = -3*p + 4*u. Let r(q) = q**3 + 7*q**2 - q + 1. Is 13 a factor of r(p)?
False
Suppose 0 = 4*b - 0*b - 16. Let d(y) = -y**2 + 6*y - 6. Let g be d(b). Is 17 a factor of (25 + -3)/(g/2)?
False
Suppose 4*f + 3*r = 6*r + 192, -r + 41 = f. Is 13 a factor of f?
False
Is 264/20*(-20)/(-8) a multiple of 23?
False
Let x(f) = f**3 + 13*f**2 + 2*f - 3. Does 33 divide x(-12)?
False
Let i(g) = -g + 9. Let d be i(4). Let f = 27 - d. Is f a multiple of 8?
False
Let i = 1 + 1. Suppose i*c = -2*c - 16. Let x(z) = -10*z - 3. Is x(c) a multiple of 13?
False
Let a be (-58)/14 - (-7)/49. Let b = a + 13. Is 2 a factor of b?
False
Let y = 15 - 11. Let z(n) = -n**3 + 8*n**2 - 3*n - 2. Is 17 a factor of z(y)?
False
Suppose 3*y + 5*f + 0*f + 14 = 0, -5*y = -f - 14. Suppose 83 = 3*j + g, -j + g = y*j - 79. Does 9 divide j?
True
Suppose -2*w + 23 = 7. Suppose -3*o - 25 = -w*o. Is o*3/(15/8) a multiple of 3?
False
Let x(b) be the first derivative of b**2/2 + 2*b - 4. Let g be x(2). Suppose -g*r + 205 = r. Is r a multiple of 24?
False
Let a(l) = 2*l**3 - 9*l**2 + 9*l + 6. Let n(b) = b**3 - 3*b**2 + 3*b + 2. Let m(j) = 3*a(j) - 8*n(j). Suppose 2 = -5*w - 13. Is m(w) a multiple of 7?
False
Suppose -14 - 19 = -3*n. Is n a multiple of 4?
False
Let c(z) = z**2 - z - 2. Suppose 4*b - 20 = 0, -5*j + b = -4*b - 5. Does 14 divide c(j)?
True
Suppose -5*s - 23 = -j, -120 = -2*j - j - 2*s. Let b be (17/1)/(-1) - 1. Let p = j + b. Is 10 a factor of p?
True
Suppose 4 + 0 = 2*m. Let g be 108/(m/3 + 0). Is g/8 - 2/8 a multiple of 10?
True
Let d be 5 + (1 - 6/2). Let n(i) be the third derivative of 5*i**4/12 + i**3/2 - i**2. Does 13 divide n(d)?
False
Let u(y) = -y**3 + 5*y**2 + 8*y - 9. Let t be u(6). Suppose 0 = 3*p + h - 86, 4*p - t*h = -47 + 140. Is 4 a factor of p?
False
Let r be ((-1)/2)/((-1)/26). Let j = 64 - r. Is j a multiple of 15?
False
Suppose 5 + 7 = b. Suppose 10 = 5*l, 3*t - 2*t = -2*l + b. Is t a multiple of 5?
False
Let y(q) = q**3 - 3*q**2 - q - 4. Let r be y(4). Let b(m) = m**3 - 8*m**2 - 5*m + 2. Let v be b(r). Let o = v + 89. Does 21 divide o?
False
Let y(n) = n - 1. Let o be y(0). Is 11 a factor of 2*63/6 + o?
False
Let l = -8 + 14. Suppose 0 = -4*y + l*y. Does 6 divide y + 0 + 10 - -2?
True
Let j(b) = -b**2 - 6*b - 3. Let f be j(-2). Suppose m + m - 4*g + 14 = 0, -1 = m - f*g. Let w(p) = -p**3 - 11*p**2 - p. Is 5 a factor of w(m)?
False
Let c(v) = 4*v + 53. Is 2 a factor of c(-6)?
False
Let g(v) = v**2 - 5. Suppose -4 = -2*o + 4*o. Let i be 2*(2 + (-1)/o). Is 13 a factor of g(i)?
False
Suppose 3*c - 18 = 2*i, 0 = 4*i - 2*c - 12 + 56. Suppose 0 = 3*u - 3*n + n - 1, 3*n = -5*u + 27. Is u/i + 29/4 a multiple of 3?
False
Suppose -6*h + 4*h + 368 = 0. Is 46 a factor of h?
True
Let h(j) = 5*j + 1. Let y(p) = -p + 3. Let v be y(2). Let i(m) = 8*m - 1. Let g be i(v). Is 18 a factor of h(g)?
True
Let o be (1 - 0)/(1/15). Suppose 3*b + o = k, -k - b - 2*b + 33 = 0. Let g = -9 + k. Is g a multiple of 15?
True
Suppose -4*h - 4 = j, 5*j - 1 = 4*h + 3. Let m be -1*(j/(-2) + 0). Suppose 2*u + u - 51 = m. Is 17 a factor of u?
True
Let k = 176 + -74. Is k a multiple of 17?
True
Suppose 5*n = 5, p + 5*n - 1 = -5. Is 11 a factor of (p/15)/(1/(-55))?
True
Suppose p - y = 3, 4*p + 4*y = -16 + 60. Does 6 divide p?
False
Let k be 2 + -2 + (0 - -