pose 0*d + 2*x - 12 = -d, -r*d + 4*x + 24 = 0. Is 8 a factor of d?
True
Let z be (-4)/(-14) + (-1359)/(-21). Let a = z - 104. Is 18 a factor of (a/(-2))/(3/6)?
False
Suppose 2*c - 98 = 4*b, -3*c + 5*b + 181 = 29. Suppose -2*l + 176 = 2*l + 4*v, 2*v = l - c. Is 14 a factor of l?
False
Let o = -16 - -9. Is (105 + 1)*o/(-14) a multiple of 14?
False
Let w be -1 + (-3 - -3) - -4. Suppose -5*m + 9 + 1 = 0, w*k - 124 = -2*m. Is k a multiple of 10?
True
Suppose 2*s - 3 - 3 = 0. Is 7 a factor of (-9)/(s*1/(-3))?
False
Suppose 2 = 2*y - 2. Suppose 4*n - s = 206, 194 = 2*n + y*n + 5*s. Is 23 a factor of n?
False
Let n = -29 - -66. Is 14 a factor of n?
False
Suppose -i + 4*i - 12 = 0. Suppose -21 = -z - 3*a, 3*z - i*a = a + 7. Suppose z = 2*k + 1, 4*k - 41 = -5*r. Does 5 divide r?
True
Is 7 a factor of 127/4 + (-6)/(-24)?
False
Is 12 a factor of 1 - (-1 + -99 - 0)?
False
Let i(y) = y**2 + 25. Let t be i(0). Let m = t + -14. Is m a multiple of 11?
True
Is 0/4 + 1*84 a multiple of 28?
True
Let a(c) = 2*c**2 - 41*c. Does 19 divide a(24)?
False
Let k(r) = r**2 + 8*r. Let c(p) = -2*p**2 - 16*p. Let m(i) = -2*c(i) - 5*k(i). Let l be (-1)/(-4) - 50/8. Is 12 a factor of m(l)?
True
Suppose -386 + 10 = -2*g. Is g a multiple of 17?
False
Let q(g) = 5*g**2 + g - 1. Suppose -1 = -o + 5. Let k = -5 + o. Is 5 a factor of q(k)?
True
Let b be (0 + -2 + 2)/1. Let j(c) = -c**3 - c**2 + c + 2. Let l be j(b). Suppose -q = -5*r - 3, -3*q + 5*q = l*r + 14. Does 3 divide q?
False
Let m = -3 - -17. Is 3 a factor of m?
False
Let m(z) = -3*z**2 - 5*z - 9. Suppose -5*t = -t - 20. Let a(y) = 3*y**2 + 5*y + 8. Let k(c) = t*m(c) + 6*a(c). Does 8 divide k(-3)?
False
Suppose 0 = 4*r - 2*r + 240. Let a = r - -174. Let o = a - 7. Does 16 divide o?
False
Let w(v) be the first derivative of -7/2*v**2 + 3 - 1/4*v**4 + 4*v + 8/3*v**3. Is 22 a factor of w(5)?
True
Let w(m) = m**3 + 3*m**2 - m + 1. Let y = -7 + 4. Let t be w(y). Suppose 0 = -4*l - 2*g + 30, -t*l + 0*l = -g - 27. Is 2 a factor of l?
False
Let z = 293 - 185. Is z a multiple of 8?
False
Is 2 a factor of (-22)/(-8)*(12 + -8)?
False
Let x(y) = -y**3 - 12*y**2 - 3*y - 10. Let b be x(-12). Suppose 0 = u - b + 2. Does 6 divide u?
True
Let p(h) = 2*h - 3*h + h + 3*h - 3. Is p(3) a multiple of 6?
True
Let r(o) = o**3 - 11*o**2 - o + 8. Let n be r(11). Let c(u) = -21*u**3 + 2*u**2 - u - 2. Let t be c(-2). Is 16 a factor of (-1)/(t/59 + n)?
False
Suppose -9 = -3*y, -3*k = 2*y + 3*y - 933. Suppose -3*v - 3*n - k = -8*v, 5*n + 10 = 0. Does 24 divide v?
False
Let y = -14 + 100. Is 5 a factor of y?
False
Let x(p) = p**3 - 9*p**2 + 9*p - 3. Let w be ((-1)/2)/((-2)/28). Let s be x(w). Let r = s + 64. Is 10 a factor of r?
False
Suppose 4*s = 2*v + 334, -2*v + 30 = -3*s + 278. Is 19 a factor of s?
False
Suppose 4 = -3*v + 3*q - 2, v = 3*q. Let s(z) = -2*z**3 - 5*z**2 - 4*z - 1. Let j be s(v). Suppose 0 = 2*t - 4*t + j. Is 4 a factor of t?
False
Let j be 0*(-1 + 0 + 2). Suppose 4*p + p - 50 = j. Is (1 + (-7)/(-5))*p a multiple of 9?
False
Does 12 divide (-345)/(-6) + 15/6?
True
Suppose -2*v + 3*t + 117 = 0, -2*v = 2*t - 122 - 0. Is v a multiple of 20?
True
Suppose -2*m + 14 = 5*r, -4*r + 16 = -0*r + 4*m. Suppose -l + 112 = -2*i + 6*i, -r*i - 4*l = -70. Does 13 divide 0/(0 + 3) + i?
False
Let f(r) = -r**3 - r + 2. Let a be f(0). Suppose 0 = -a*t - 2 + 22. Does 4 divide t?
False
Suppose -g - 4*j - 52 = -3*g, 5*g = -2*j + 130. Is g a multiple of 8?
False
Suppose q = 0, 4*t + t = -q + 40. Does 2 divide t?
True
Suppose 4*x - 379 = w, -3*x - 5*w + 325 = 12. Is 32 a factor of x?
True
Suppose 5*z + 0*z - 615 = 0. Suppose -4*h = -h + z. Let c = 58 + h. Does 11 divide c?
False
Suppose 2*v + 21 = 49. Let l = v - -31. Is 14 a factor of l?
False
Suppose -k - 3*k = 56. Does 12 divide 1690/35 + 4/k?
True
Suppose -h + 5 = 4*z + 4, -h = 3*z - 1. Let o(p) = p + 20. Is o(z) a multiple of 10?
True
Let p(l) = l**2 - 11*l + 9. Let h(w) = -5*w**2 + 45*w - 37. Let q(d) = 2*h(d) + 9*p(d). Let f be q(-8). Suppose 0 = -5*s + 4*a, f + 18 = 2*s + 5*a. Is s even?
True
Let p be (-2)/(-7) + (-537)/(-7). Suppose -5*w - 5*q + 13 + p = 0, 3*w + q = 50. Does 5 divide w?
False
Let l(q) = -10*q + 3. Is l(-10) a multiple of 25?
False
Suppose -2*m + 0*q = -q + 34, 5*m + 5*q = -55. Let p = 38 - 13. Let y = p + m. Is y a multiple of 4?
False
Let r(c) = c**2 - 2*c + 6. Suppose 20 = -3*w - 2*a, -3*w = -3*a - 2*a + 13. Is r(w) a multiple of 15?
False
Let m = 41 + 4. Suppose -8*z = -3*z - m. Is 8 a factor of z?
False
Suppose 4*d = d + 9. Suppose d*r = -2*r + 5*x + 25, 4*r + x = 15. Suppose 4*u - 40 = 2*u + 4*i, -4*u + 104 = r*i. Is u a multiple of 13?
False
Let l be ((1 - -3)/4)/1. Suppose -2*z - u = z + 31, 4*z + u + 41 = 0. Let h = l - z. Is 11 a factor of h?
True
Let j(g) = 4*g**2 + 3*g - 3. Does 14 divide j(3)?
True
Let d = 5 + -3. Is 5 a factor of (2/d)/(1/13)?
False
Let a be (-8 - -9)/((-1)/4). Is 4/(-5)*190/a a multiple of 10?
False
Let f(u) = -u**3 - 6*u**2 - 5*u + 16. Is f(-8) a multiple of 15?
False
Let u(g) = g + 217. Does 17 divide u(0)?
False
Let q(t) be the third derivative of 0 + 1/6*t**4 - 2/3*t**3 + 0*t + 2*t**2. Is 8 a factor of q(3)?
True
Let z(c) = 13*c**2 - 13*c - 5. Let t(q) = -3*q**2 + 3*q + 1. Let l(n) = -9*t(n) - 2*z(n). Is l(-6) a multiple of 14?
False
Is 12 a factor of (-1 - -3) + (1 - (-4 - 53))?
True
Let b = -73 - -188. Is b a multiple of 17?
False
Suppose 3*d - 4*m = 92, 6*d + 2*m = d + 110. Is 3 a factor of (d/14)/(4/14)?
True
Suppose 0 = -2*i + 277 + 9. Is i a multiple of 11?
True
Let w = -123 + 243. Suppose -g - g = -w. Is g a multiple of 20?
True
Suppose 5*f = -z + f - 5, -4*z + 18 = -3*f. Let h be (-4 + 0)*-2 - z. Let y(l) = 2*l**2 - 7*l + 3. Is 18 a factor of y(h)?
True
Let x(j) = j**2 + 8*j. Let u be x(-8). Suppose 4*n - 8 = u, s + 0*n - 4*n + 5 = 0. Is 185/s + (-14)/21 a multiple of 23?
False
Let f be (-1)/(98/50 - 2). Let l be f/9 - 12/(-54). Suppose 0 = l*w - 15 - 33. Is w a multiple of 8?
True
Is (-4)/28*2 - 1010/(-7) a multiple of 16?
True
Let b = 1 - -1. Suppose 2*t + b = t. Is 12 a factor of t + 0 + (-78)/(-3)?
True
Let v be 1*3/((-3)/(-4)). Is 8 a factor of (-84)/(-10) + v/(-10)?
True
Let i(s) be the third derivative of -s**6/120 + 3*s**5/20 - s**4/3 + 11*s**3/6 - 2*s**2. Is i(8) a multiple of 11?
True
Let v(p) = 11 - 4*p - 7*p - p**2 - p + p. Let c be v(-12). Is (-35)/(-21) - c/3 a multiple of 2?
True
Let a(p) = 2*p**2 + p - 2. Let m be 3 - (1/(-1) + -2). Let r = m - 2. Is 17 a factor of a(r)?
True
Suppose -2*k - k + 135 = 0. Suppose 3*u + k = -5*r, -4*r + 25 = -u - 9*r. Let m = 24 - u. Is m a multiple of 12?
False
Suppose 18*q = 22*q - 152. Does 19 divide q?
True
Let n(t) = -2*t + 1. Let v be n(3). Let p be -3 - v*(-1 - -2). Suppose 0 = p*f + 6 - 54. Is 11 a factor of f?
False
Let z be 6/(-4)*(-36)/27. Let l(u) = u + 2. Is l(z) even?
True
Let o(h) be the second derivative of h**3 + 9*h**2/2 - 2*h. Is o(4) a multiple of 13?
False
Let g be 4/6 - (-28)/12. Let c(m) = -8 + 3*m**3 - 7*m**3 + 3*m + 5*m**g - 7*m**2. Is c(7) a multiple of 11?
False
Let d(r) = -r**2 + 4*r - 3. Let k be d(3). Let y(i) = i**2 - i + 45. Is y(k) a multiple of 15?
True
Suppose -1 = 4*u - 9. Suppose 0*n + 22 = 4*n + u*y, -2*n - 5*y = -23. Suppose 0*a - 60 = -n*f + 5*a, 4 = -a. Does 6 divide f?
False
Let z(b) = 2*b**3 + 9*b**2 - 10*b + 11. Let d(m) = m**3. Let k(r) = 3*d(r) - z(r). Let j be k(8). Let v = 6 + j. Is v a multiple of 4?
False
Let s(n) = -n**2 + 6. Let y be s(0). Let p(c) = 2*c - y*c**2 - 5*c - 1 + 7*c**2. Is p(5) a multiple of 9?
True
Let c(p) be the first derivative of -1/3*p**3 - 3 - p - 3*p**2. Is c(-4) a multiple of 3?
False
Suppose -2*j = -3*x - 17, -x - 19 = j - 3*j. Let m = -6 - -5. Is (24/j)/(m/(-5)) a multiple of 5?
False
Suppose -3*p = 3*h + h - 310, 0 = 3*p + 6. Is h a multiple of 22?
False
Suppose 4*v + 6 = p - 3*p, 5*p + 3*v = -1. Let u(s) be the second derivative of s**5/5 + s**3/6 - 5*s. Is u(p) a multiple of 2?
False
Let y = -3 + 6. Suppose 0 = 3*q + 2*x + 20, -y*x = q + 2 + 7. Is 21 a factor of 222/9 + 4/q?
False
Let s be (30/9)/((-2)/(-3)). Let l(j) = -3 + 2*j - 2 + 1 - 5*j + j**2. Is 6 a factor of l(s)?
True
Let f(a) = -a**3 + 9*a**2 - 4*a - 2. Is 17 a factor of f(7)?
True
Let t(v) = 4*v**2 + 3*v + 1. Does 10 divide t(-2)?
False
Let i(t) = -t -