False
Let m be (2 - 3)/(-2)*0. Let v be (m - 3)*(-21)/3. Let k = -11 + v. Is 4 a factor of k?
False
Let o be (-4)/(-20) + 29/5. Let k = -24 - -52. Is 14 a factor of (o/8)/(1/k)?
False
Let h be (-2)/((2/3)/1). Does 12 divide (-1)/2*-42 - h?
True
Let g = 234 - 123. Does 21 divide g?
False
Let l = 66 - 40. Let o = l - -6. Does 8 divide o?
True
Let b = -9 + 15. Suppose 5*c + 2*g = -8, 2*c - b*g = -4*g + 8. Suppose -3*j + c*s = -s - 73, 5*s = 2*j - 53. Is 12 a factor of j?
True
Suppose -96 = -4*o + o + 3*q, 3*q = -9. Let x = -26 + 44. Let j = o - x. Does 8 divide j?
False
Let a = 49 + -31. Let d be -3 + a/3 + -1. Suppose d*p + 16 = 4*p. Is 3 a factor of p?
False
Suppose 3*n = 6*n. Suppose -85 = -3*v - q - n*q, -v + 25 = q. Is ((-16)/(-20))/(4/v) a multiple of 5?
False
Let k = 361 + 101. Does 65 divide k?
False
Let p = -87 - -123. Is 4 a factor of p?
True
Is 2/5 + (-146)/(-10) a multiple of 15?
True
Suppose 5*s - 6*s = -32. Is 18 a factor of s?
False
Let t(k) = k + 4. Does 3 divide t(7)?
False
Suppose 67*j = 68*j - 33. Does 5 divide j?
False
Let g(i) = -i**2 - 2*i + 4. Let q be g(-3). Let m(v) = q + v - 4*v - 4*v. Does 13 divide m(-4)?
False
Let b = 0 + 5. Suppose b*z = 4*i + 8, i = -i - 4. Suppose z = 2*d - 3*d + 10. Is 5 a factor of d?
True
Suppose 3*k - 2*k = -2*j + 14, -2*k = 2*j - 16. Does 6 divide (-2)/j + 74/6?
True
Let y(n) = 3*n**2 + 4*n - 55. Does 10 divide y(7)?
True
Let j(a) = 2*a + 40. Is 10 a factor of j(0)?
True
Let j(n) = -n**3 - 4*n**2 - 5*n - 4. Let y be j(-3). Suppose w - y*f - 15 = 0, 4*f + 40 = 2*w + 2*w. Is w a multiple of 5?
True
Let v(k) be the first derivative of 7*k**3/6 - k**2 + k + 2. Let q(j) be the first derivative of v(j). Is q(2) a multiple of 6?
True
Let i = -6 - -16. Suppose 5*n - i = 15. Suppose n*v = 40 + 15. Does 7 divide v?
False
Let l = 43 + -34. Is l a multiple of 2?
False
Does 6 divide (16/10)/(-4) - 524/(-10)?
False
Suppose -2*g = 2*t - 6, -3*g = t - 1 - 0. Suppose t*w = -4 - 8. Does 7 divide (1 - w/(-6))*22?
False
Suppose -4*j + 125 - 25 = 0. Is j a multiple of 12?
False
Is (-1)/2 - 147/(-2) a multiple of 20?
False
Suppose -3*r - 3*q = -27, -5*r + 6 + 4 = -2*q. Suppose -3*c + r*u = -5*c, -3 = -3*c - 5*u. Does 6 divide c?
True
Let d be ((-3)/(-6))/((-2)/28). Let n(k) = 2*k**2 + 7*k - 9. Is n(d) a multiple of 27?
False
Let n = -4 + 8. Suppose t + 3*t = -n*h + 80, -3*t + 57 = 2*h. Is t a multiple of 11?
False
Suppose -5*f = -4*l + 252, 5*f + 2*l + 172 = -62. Let q = f - -85. Is q a multiple of 15?
False
Let g(w) = w**3 - 3*w**2 - 4*w. Let q be g(3). Let x = 14 + 6. Let y = x + q. Does 8 divide y?
True
Let d(n) = -46*n - 101. Does 13 divide d(-12)?
False
Is 17 a factor of (-13 - 24)/(1/(-2))?
False
Suppose -27 = 5*y + 13. Let j = 1 + -25. Is 3 a factor of 1*y*18/j?
True
Let a be 18/(-3)*5/(-3). Let l be (-5)/(a/(-128)) - -1. Let v = 97 - l. Does 16 divide v?
True
Suppose -3*x + 22 = -h, -6 = -2*x - 5*h + 3. Let q = x - 3. Suppose 38 + 66 = q*c. Does 13 divide c?
True
Suppose 72 = 4*w - w. Is w a multiple of 6?
True
Let t be (-1)/((-15)/(-7) - 2). Let d = t + 11. Suppose 0*r = -2*r + d*k + 16, -3*r + 57 = 5*k. Does 13 divide r?
False
Let q(u) = -3*u**2 - 5*u - 2. Let c be q(-3). Let f be 23/7 - (-4)/c. Let p(l) = 2*l**3 - 4*l**2 + l - 1. Is 14 a factor of p(f)?
False
Let c(p) = -8*p**3 + 5*p**2 - 6*p + 4. Let g(h) = 7*h**3 - 4*h**2 + 5*h - 3. Let t(l) = 6*c(l) + 7*g(l). Is 9 a factor of t(3)?
True
Does 14 divide ((-4)/(24/(-18)))/((-3)/(-146))?
False
Let t be (20/(-2))/(-3 + 4). Is 4/t + 96/15 a multiple of 3?
True
Let n = -32 - -7. Let k be (10/n)/((-2)/(-30)). Let i = 16 + k. Is 10 a factor of i?
True
Suppose -5*t = -2*t. Suppose -2*d + 8 = -t*d. Is d a multiple of 3?
False
Let g(j) = -j**3 + j**2 + j - 2. Let x be g(0). Let w be 0/x + -7 + 4. Let b = 18 - w. Does 14 divide b?
False
Let i(t) = 6*t**2 - 25*t + 7. Does 8 divide i(5)?
True
Suppose 0 = 5*v + 5, -3*w = 5*v - 3*v - 16. Let s(g) = g**2 - 3*g + 2. Does 11 divide s(w)?
False
Let h(c) = c**2 + 8*c + 8. Let w be h(-7). Let y be 2 + 2 - w/(-1). Suppose 4*z + s = y*z - 43, -49 = -z + 3*s. Is 14 a factor of z?
False
Let k be (-6)/(-4) - 2/(-4). Suppose -k*d + 14 = -5*w, 5*d - 2*w - 54 = w. Does 12 divide d?
True
Suppose 2*q - 336 - 618 = 0. Is 16 a factor of q?
False
Suppose -3*w - 2*l = -21, -2*w + 3*l = -0*l - 1. Let j = -8 + w. Is 7 a factor of ((-7)/j)/((-1)/(-3))?
True
Suppose -4*u + 3*o = -9*u + 8, 4*u - 28 = 3*o. Suppose 12 + u = w. Is w a multiple of 8?
True
Suppose 2*t = 65 + 7. Is t a multiple of 12?
True
Suppose 72 = 6*o - 120. Is 4 a factor of o?
True
Suppose -2*g + 5*z = -41, -7 - 5 = -4*z. Does 10 divide g?
False
Let r(i) = 6*i + 2. Let b be r(3). Is 2*14/8*b a multiple of 21?
False
Let u = 15 + -2. Let l = -20 + u. Is 3 a factor of (l/4)/((-1)/4)?
False
Suppose -36 - 63 = -3*s. Let d = s + -23. Is 5 a factor of d?
True
Suppose -5*j = 2*w - 204, -5*j = 2*w + w - 206. Is 10 a factor of j?
True
Suppose 20 = -3*w - 2*w. Does 20 divide (-81)/w - (-9)/(-36)?
True
Suppose -8*v = -4*v. Suppose -3*c + 2*p - 44 = v, -2*p = -3*p - 5. Does 6 divide (-204)/c + (-2)/(-3)?
True
Let z(o) = o**3 - 3*o**2 - 2*o. Let c be z(3). Is (39/c)/(2/(-4)) a multiple of 12?
False
Let t(k) = -26*k**2 + k. Let o be t(-1). Let j(l) = -3*l. Let r(g) = 39*g. Let q(f) = o*j(f) - 2*r(f). Is 11 a factor of q(8)?
False
Let o(d) = -d - 11. Let u be o(-9). Is -7*(-7)/((-7)/u) a multiple of 14?
True
Is 219/(9/(-6) + 3) a multiple of 21?
False
Suppose 2*p - 7*p = -205. Does 8 divide p?
False
Suppose 5*c = -2*p + 10, -2*p + c + 14 = 5*c. Let y be (-1)/((p/(-12))/5). Is 8 a factor of 113/y - 4/16?
False
Let j be 690/35 - (-4)/14. Suppose j + 24 = q. Is q a multiple of 17?
False
Let y(c) = -c + 10. Let t be y(7). Suppose -19 = -2*k - 3*q, -3*q - 2*q = t*k - 30. Does 4 divide k?
False
Suppose 4*v - 3*v - 28 = 0. Does 7 divide v?
True
Suppose 0 = -5*n + 11 - 1. Suppose n*x + 272 = 5*i, 0 = 4*i + i - 5*x - 275. Is i a multiple of 11?
False
Suppose -49 = 2*v - 4*b - 5, b - 32 = 2*v. Let z = 14 - v. Is z a multiple of 10?
False
Suppose 0 = -3*w + 6*w + 3. Is ((-1)/2)/(w/10) a multiple of 5?
True
Suppose -5*n + 88 = 3*i, -3*i + 109 + 15 = -4*n. Is i a multiple of 9?
True
Suppose 4*k = 8*k - 8. Suppose a = -3*p + 76, -k*p - a - 4*a + 29 = 0. Does 27 divide p?
True
Let f = 3 + -2. Let r be 1/((0 + f)/(-381)). Does 18 divide r/(-9) - 4/(-6)?
False
Suppose 4*a + 4 = 4*v, 2*a - 5*a = 3*v - 21. Suppose v*g + g = 30. Let h(r) = r**3 - 4*r**2 - 5*r + 1. Is 16 a factor of h(g)?
False
Suppose 3*t - 3*f + 5*f = 165, 2*t - 110 = 3*f. Suppose 0*i + 49 = 4*i + 5*h, 4*i - t = -3*h. Does 11 divide i?
False
Let a be 0/2 + (3 - 4). Let p be (-2 - a - -2)*0. Suppose -23 = -2*q + n, p*q + 2*n + 35 = 3*q. Does 11 divide q?
True
Let j(a) = a**2 - 11*a + 5. Let z be j(11). Let g(i) = i**2 - 3*i + 7. Is 16 a factor of g(z)?
False
Let j = 778 - 534. Is j a multiple of 9?
False
Let f(w) be the second derivative of w**3/6 - 2*w**2 - 2*w. Let t be f(7). Suppose -n - 74 = -2*k, -3*n + 131 - 11 = t*k. Is 15 a factor of k?
False
Let q be 77/(-3) - 2/(-3). Let g = -106 - -58. Let b = q - g. Does 13 divide b?
False
Let v(c) = -c**2 + 8*c - 4. Let g be 0*((-2)/(-4) - 0). Suppose 4*z = 4*a - g*z - 16, -5*a + 20 = z. Is v(a) a multiple of 10?
False
Let i(q) = 15*q**3 - 9*q**2 - 5*q - 3. Let z(m) = 7*m**3 - 5*m**2 - 2*m - 2. Let a(v) = -6*i(v) + 13*z(v). Is 32 a factor of a(11)?
False
Suppose 144 + 74 = i. Does 10 divide i?
False
Let f(t) be the second derivative of -t**5/20 - 7*t**4/12 + t**3 - t**2/2 + t. Is 15 a factor of f(-8)?
True
Let c = 74 - -11. Does 9 divide c?
False
Suppose 72 = 4*g - r, -2*r - 14 = 5*g - 117. Is 6 a factor of g?
False
Suppose -55 - 85 = 5*d. Let l = d + 52. Does 6 divide l?
True
Let s = -4 - -7. Suppose s*d + 24 = 4*d. Is d a multiple of 8?
True
Let t be 2/(-9) - (-238)/18. Suppose t + 8 = 3*i. Suppose i*w = 2*w + 205. Does 25 divide w?
False
Suppose 5*x - 281 = -101. Suppose 2*t = -0*t + x. Does 18 divide t?
True
Suppose 5*p = -52 - 48. Let i = -8 - p. Does 12 divide i?
True
Let d(o) = 3*o**3 - 2*o**2 - 2. Does 7 divide d(2)?
True
Is 3 a factor of (0 + 12)*(1 + 0)?
True
Suppose 3*n = 14 - 2. Let l = n - -4. Is 8 a factor of l?
True
Let i be 10/15 - 166/6. Let c = -14 - i. Does 11 divide c?
Fals