tiple of 8?
True
Let f = -37 - -107. Suppose -3*u - l = 2*u - 45, 4*l + f = 5*u. Is u a multiple of 10?
True
Let q(t) be the second derivative of t**4/3 + t**3/6 - 3*t**2/2 + 3*t. Let x(k) be the first derivative of q(k). Is x(2) a multiple of 17?
True
Let f be 9/(-15) + 33/5. Is 9 a factor of f*(3 - 2) + 3?
True
Let o be (-1 + 0)/((-1)/(-2)). Let i(d) = -d**3 + 7*d**2 + 1. Let h be i(7). Let b = h - o. Is b even?
False
Let g = -17 - -10. Let z(c) = c**3 + 6*c**2 - 9*c + 6. Does 13 divide z(g)?
False
Let i(g) be the first derivative of -g**4/4 + g**3 + g**2 + 2*g - 3. Let m be i(3). Suppose -1 = -q + m. Does 9 divide q?
True
Let s = 0 - 1. Let n = -2 - s. Does 9 divide (-7)/n*(-4 - -7)?
False
Suppose 373 = 5*d - 2*n, -n = -d - 0*d + 77. Is 13 a factor of d?
False
Let r be 2/(-3) + 24/9. Suppose r*w - 12 = 10. Is w a multiple of 11?
True
Let x(n) = -10 + 2*n - 10*n**2 + 3 + 2*n**3 - 16*n - 3*n**3. Is x(-9) a multiple of 19?
True
Let c be 3/(2 - 219/114). Suppose c = 3*z + 5*m - 1, -3*m + 9 = z. Does 9 divide z?
True
Let f = 0 + 9. Is (-85)/(-3) - 3/f a multiple of 14?
True
Does 3 divide 264/11*2/3?
False
Let s(q) = 24*q**3 - 3*q + 3. Does 16 divide s(1)?
False
Suppose -x = 2*l + 25, x + 80 = -4*x - l. Does 17 divide ((-5)/x)/((-2)/(-102))?
True
Let f(c) = -2*c - 4. Let o be f(4). Suppose 0*b - b = -24. Let p = b - o. Does 18 divide p?
True
Suppose 3 = c + 5*n, c - 2*c - 2*n - 6 = 0. Let y be (3/9)/((-2)/c). Is y*-1*(-11)/2 a multiple of 7?
False
Suppose -a + 195 = -5*o, 3*a = -2*o + a - 66. Let u = -26 - o. Is 10 a factor of u?
False
Let l be 10/(-25) + (-37)/(-5). Suppose 3*b - l - 8 = 0. Does 4 divide b?
False
Let i(o) = -o**3 - 9*o**2 - 5*o + 4. Let n be i(-7). Let w = -11 - n. Is 12 a factor of w?
True
Let k = -2 + 6. Suppose 3*o - o + 3*n = 60, -k*n = 2*o - 60. Does 15 divide o?
True
Suppose 0 = -m - 5*n + 24, -7 = m - 3*n + 9. Let c be m*(-3 + 0 + 0). Suppose -c*j = -0*j - 72. Is 15 a factor of j?
False
Suppose 4*w + 16 = 0, 0 = 4*s - 2*w - 5 - 27. Let h(d) = -d**2 + 7*d - 2. Let l be h(7). Let o = s - l. Is 3 a factor of o?
False
Suppose 0 = t + 4 - 3. Let k = t - -17. Suppose -y = y - k. Does 5 divide y?
False
Suppose o - 5 + 1 = 0. Is 10 a factor of 3 + o + 0 + 14?
False
Let g = -37 - -138. Is 36 a factor of g?
False
Suppose 55 = -5*x - 5*y, 0 = 3*x + 2*y + 42 - 14. Is 2 a factor of -1 + 4 - (3 + x)?
True
Let q = -6 + 7. Let f(i) = 5*i + 1. Does 5 divide f(q)?
False
Let j be (-2)/(-6) + (-111)/9. Let d = 20 + j. Does 6 divide d?
False
Let j be 4/18 - (-428)/18. Let s = -15 - -21. Does 6 divide (8/s)/(4/j)?
False
Suppose n = -8*w + 4*w + 192, 4*w = -5*n + 1008. Suppose u = 5*u - n. Is u a multiple of 17?
True
Suppose 3*j - 5*g = -6*g + 52, 2*j = 5*g + 46. Let p = 30 - j. Is 4 a factor of p?
True
Suppose -4*v - v + 3*q + 47 = 0, 1 = q. Suppose -v - 2 = 4*u. Is (-92)/(-3) + 2/u a multiple of 15?
True
Let v = 4 + 2. Let l be 146 + -1*v/3. Suppose 0 = 4*f + 5*s - l, 2*f - 45 - 27 = -2*s. Is f a multiple of 18?
True
Does 4 divide 14/(-63) + 652/18?
True
Suppose -3*a + 26 + 31 = 0. Let h = a - -3. Is 11 a factor of h?
True
Suppose h = -f + 17, 4*h - 79 = -f + 4. Does 17 divide h?
False
Let r(k) = 2*k**3 + 3*k**2 - 6*k - 4. Let s be r(-4). Let y = 88 + s. Is y a multiple of 6?
False
Suppose 4*m + s - 100 = 0, -m = s - 5*s - 25. Is m a multiple of 5?
True
Suppose c - 2*v = 2*c - 4, 0 = 5*c - 5*v - 5. Is 2 a factor of c?
True
Let m = -121 + 160. Does 13 divide m?
True
Suppose 0 = -4*k + 8 + 32. Does 17 divide 2/k + 595/25?
False
Is 2/(-8) - 244/(-16) a multiple of 3?
True
Let z = 3 - -10. Is z a multiple of 2?
False
Let q = -10 - -4. Let h be 3 - (1 + (q - -3)). Suppose -h*g = 3*j - 74, 22 + 128 = 5*j - 5*g. Does 8 divide j?
False
Is 91 - 1/(-1 + 1 + 1) a multiple of 15?
True
Let o(i) = 3*i - 1 + 0 - i**2 + 4. Let j be o(3). Suppose -j + 23 = 5*l. Does 2 divide l?
True
Does 41 divide (-9)/(-36) + (-974)/(-8) + 1?
True
Does 9 divide 1/4 - (-94)/8?
False
Let n(x) = -x**2 - 4. Let r be n(0). Let l = -19 - -37. Let i = l + r. Is i a multiple of 6?
False
Let k = -226 + 326. Does 25 divide k?
True
Let u(c) = -c**2 + 4*c - 4. Let o be u(3). Let p(k) = -k**2 - k + 1. Let m be p(o). Is 13 a factor of (12 - (m + 0)) + 2?
True
Let o(r) = -3*r + 1. Let d be o(1). Does 12 divide d/8 + 147/12?
True
Let g(l) = -l**3 - 6*l**2 - 3*l - 3. Let w be g(-4). Let v = w - -73. Let n = v - 24. Is 13 a factor of n?
True
Is ((0 - -2) + 49)/(8/8) a multiple of 18?
False
Let c(s) = s**3 + 11*s**2 + 3*s - 3. Is c(-7) a multiple of 29?
False
Suppose -3*j = -0*j + 12. Let w = j - -13. Is 4 a factor of w?
False
Suppose -9*n + 59 + 175 = 0. Is 13 a factor of n?
True
Suppose -4*v = -5*v - 21. Is ((-14)/v)/((-4)/(-54)) a multiple of 4?
False
Is ((-6)/2)/3 - (0 + -182) a multiple of 31?
False
Suppose 0 = -5*x + 139 - 19. Does 12 divide x?
True
Let o = -28 + 34. Does 3 divide o?
True
Let s(h) = 4*h - h + 2 + h. Is 14 a factor of s(3)?
True
Suppose t + 1 = 5. Suppose 0 = -t*v + 5*v - 24. Is 9 a factor of v?
False
Let j(q) = 3*q - 1. Let x be j(-1). Let g be 6/x - (-2)/(-4). Is 13 a factor of g/4 - (-106)/4?
True
Suppose 3 = 3*w - 3. Let l = -2 + w. Suppose 2*z - c - 79 = l, -5*z - 4*c + 2*c = -184. Is 13 a factor of z?
False
Let w be ((-7)/(-4))/((-5)/(-80)). Suppose t = -t + w. Is t a multiple of 7?
True
Let u = 5 - 3. Suppose -j = -2, j + u*j + 2 = k. Is k a multiple of 8?
True
Let r(i) = -i**2 - 4*i - 1. Let l be r(4). Let n = 17 - l. Is n a multiple of 18?
False
Suppose h - 3 = 0, 2*x + 3 = 5*h - 98. Let u = -8 - x. Let v = u + -5. Does 10 divide v?
True
Let k be (2/(-4)*0)/1. Let j be -2 + (-5)/(-1 - k). Let x = j - -4. Is x a multiple of 7?
True
Let j(s) = -10*s**3 - 2*s**2 - s + 1. Let f be j(-2). Suppose 0 = -4*h - 19 + f. Is h a multiple of 6?
False
Let g(u) be the first derivative of u**6/180 - u**5/15 - u**3/3 - 2. Let f(b) be the third derivative of g(b). Is 21 a factor of f(7)?
True
Suppose 110 = 4*t - 18. Suppose 3*p = -5*y + 93, 4*y - 2*y - t = -p. Let w = p + -15. Is w a multiple of 11?
True
Suppose 23 = -3*x - 34. Let y = x - -31. Is y a multiple of 7?
False
Is 3 a factor of (-9)/(-2)*3/(18/16)?
True
Let t(r) be the first derivative of r**3/3 - 7*r**2/2 + 8*r - 4. Suppose h + 0*h = 5*l - 48, -4*l = -3*h - 45. Does 9 divide t(l)?
False
Let j be 0/2 - 141/(-3). Let o = j - 25. Is o a multiple of 9?
False
Suppose 2*m + y = 60, 0*m + 2*m - 44 = 3*y. Let l = m + 4. Is 16 a factor of l?
True
Let u = -2 + 1. Let f be (u - 0)/(4/16). Is 13 a factor of (-3)/(-2) - 134/f?
False
Let c be 5/(-4) - 2/(-8). Let l(d) = -2*d**2 - d. Let o be l(c). Is 10 a factor of -2 + 3 + (10 - o)?
False
Let l be -2*(-2 - -4 - -2). Let a(v) = v**3 + 10*v**2 + 10*v. Let o be a(l). Suppose 2*r - o = -0*r. Is r a multiple of 8?
True
Let n = -5 - -2. Let a(d) = -14*d**3 - 9*d**2 + 6*d. Let s(i) = 9*i**3 + 6*i**2 - 4*i. Let g(m) = -5*a(m) - 8*s(m). Is 12 a factor of g(n)?
False
Let t(x) = -3 - 7 + 6*x - 2*x. Let n(u) = u**3 - u**2 - 5*u + 4. Let z be n(3). Is t(z) a multiple of 9?
True
Let r(h) = h**2 - 8*h - 12. Is r(10) a multiple of 7?
False
Let z be 1/((-3)/(-318)) + 1. Suppose t + z = 4*p, -p + 72 = 2*p + 2*t. Is p a multiple of 13?
True
Let y be (1 + 15/(-6))*2. Does 19 divide (-2)/y*(-285)/(-10)?
True
Suppose 5*w - 87 = -2*a, -2*w + 42 = 3*a + 16. Suppose 5*i = 1 + w. Suppose -24 = -i*g + g. Is 4 a factor of g?
True
Let x(r) = r**2 - 8*r - 3. Let d(u) = u - 1. Suppose -3 = -0*p + 3*p. Let w(v) = p*x(v) + 2*d(v). Is 13 a factor of w(5)?
True
Let h(x) = 3*x. Let m be h(2). Does 24 divide 64/m*18/4?
True
Let k(s) = s + 8. Let z be (-2)/(-6) + 2/(-6). Suppose 0 = -3*x + 4*y - 2, 0*x - 4*x - y + 29 = z. Is k(x) a multiple of 14?
True
Suppose -4*a + 1 = -3*k, 5*a - 2*a + 5*k + 21 = 0. Let q(c) = c**2 + 3*c + 3. Let w be q(a). Suppose -j - w = m - 16, j - 17 = -2*m. Is j a multiple of 13?
True
Suppose 0 = -4*q + 54 + 6. Let i = 5 + -2. Suppose -5*r + z = -4*r - 21, q = -i*z. Does 16 divide r?
True
Let r = 20 + -13. Let z = r + 17. Is z a multiple of 12?
True
Let s(a) = -a**2 - a**2 + a**2 + 2*a**2 + 4. Is 18 a factor of s(-6)?
False
Let s = -70 + 119. Let g = -76 + s. Let w = 38 + g. Is w a multiple of 5?
False
Let j = -25 - -48. Let o = 3 + j. Is o a multiple of 9?
False
Is 110/1 + (1 - -3) a mul