Let q be 4/18 - (-33)/(-27). Let b(k) = -56*k + 1. Does 17 divide b(q)?
False
Let i = 97 - -86. Is i a multiple of 31?
False
Let l(u) = -u**3 - 5*u**2 + 7*u + 9. Let x be l(-6). Suppose -4*r - x*g = -116, -4*g - 12 + 60 = 2*r. Is r a multiple of 16?
True
Suppose 4*r + 18 = j, 0 = -3*j + 2*r - r + 54. Is 5 a factor of j?
False
Suppose 0 = -5*x + 101 + 74. Let z = -22 + x. Is z a multiple of 8?
False
Suppose -3*x - 3 - 3 = 3*s, -3*x + s = -6. Is 15 a factor of -2 - (26 + x)*-1?
False
Let s(g) = 6*g - 22. Is s(9) a multiple of 10?
False
Let l(y) = y**3 + 7*y**2 + 3*y - 3. Let v be l(-6). Let p = -2 + v. Does 6 divide p?
False
Let s = 2 + -1. Let r = 5 - s. Suppose 2*x + 32 = r*x. Does 8 divide x?
True
Suppose -4*m = 5 + 3. Let g be 2*(1 + 1)/m. Let f(b) = -4*b**3 - 2*b**2 - 4*b - 2. Is f(g) a multiple of 15?
True
Suppose 0 = -5*i + 546 - 186. Is i a multiple of 18?
True
Let j = -188 - 964. Is 14 a factor of j/(-16) - (0 + 2)?
True
Suppose -5*v - 1 - 4 = 0, -4*s = -3*v - 131. Suppose 4*m = -4*l + s, -2*l = 7 - 15. Suppose -m*a - a = -25. Does 5 divide a?
True
Suppose 1 - 2 = -y. Let l be ((-20)/(-6))/(y/9). Let f = l - 14. Is f a multiple of 8?
True
Suppose -q - 3*h + 18 = 2*q, -3*h = 2*q - 8. Suppose 9*l - q = 4*l - 3*u, -2 = -l - 3*u. Suppose l*b + 1 = 5. Is b a multiple of 2?
True
Let c(k) = -k**3 + 3*k**2 - k - 2. Let a be c(3). Let t = a - -36. Is 11 a factor of t?
False
Is 9 a factor of ((-1)/3)/(8/72) - -57?
True
Suppose 0*x + x + 21 = -5*i, -4*i = 3*x + 8. Is 18 a factor of (-2)/x*2 + 37?
True
Suppose -4*b = 2*b - 90. Does 5 divide b?
True
Suppose s - 3 = -9. Let u = 29 - s. Suppose f - 86 = -3*k, -4*k + 151 = f + u. Is k a multiple of 16?
False
Suppose 0 = 16*w - 18*w + 40. Does 5 divide w?
True
Suppose -20 = 4*f, -u + 106 = -0*u - f. Let i(k) = -k**2 + 5*k + 3. Let r be i(5). Suppose -3*t - t + c + 130 = 0, -c + u = r*t. Is t a multiple of 11?
True
Let q be 2/7 + (-33)/(-7). Let a = -59 - -119. Suppose a = q*l - l. Is 6 a factor of l?
False
Is (-194)/(-8) + 24/32 a multiple of 11?
False
Suppose o + 10 - 38 = 5*n, -5*o = n - 10. Let x be 2*1*o/3. Suppose -8 - 4 = -x*z. Does 6 divide z?
True
Let h be (6/10)/((-1)/(-5)). Suppose 0 = -h*u - v + 54, -u + v - 2*v = -20. Is u a multiple of 11?
False
Let u be (-5)/((-3)/60*2). Let k = -26 + u. Is 16 a factor of k?
False
Suppose -2*z - 25 = -m, 0*m - 5*m + 60 = 3*z. Is m a multiple of 15?
True
Let r = -46 - -138. Suppose -182 = 2*y - 6*y + 5*i, 2*y - r = 2*i. Suppose 3*q = -q + y. Is q a multiple of 9?
False
Is 5 a factor of (9/45)/((-1)/(-25))?
True
Suppose 2*p = 288 + 136. Is p a multiple of 11?
False
Let b(x) be the first derivative of -x**4/4 + 7*x**3/3 + 3*x**2 + 4*x + 2. Let p be b(8). Does 16 divide (-4)/p + (-196)/(-6)?
False
Suppose 13*s - 1272 = 7*s. Is s a multiple of 23?
False
Let t(s) = 2*s - 1. Let r be t(5). Let z(w) = w**3 - 9*w**2 + 5*w + 4. Does 18 divide z(r)?
False
Let k(n) = -5*n. Let h be k(1). Let z(y) = -y**3 - 4*y**2 - 5. Let d be z(h). Is (-8)/d + 94/10 a multiple of 9?
True
Suppose -5*h = -2*h + 54. Suppose 0 = -k - 2*l + 4*l + 20, 0 = k + l - 29. Let v = k + h. Does 3 divide v?
False
Suppose 0 = l - w - 33, 4*w - 15 = -w. Is 18 a factor of l?
True
Let l(o) = -o**3 + 2*o**2 + o + 1. Suppose 5*x - 9 = 3*j, -5*x + 2*x + 5*j = 1. Let v be l(x). Does 3 divide v/((-2 - -2) + -1)?
False
Is ((-4)/(-5))/(1/5) a multiple of 4?
True
Suppose 4*n = -2*j, 2*j = -n - 3*j - 9. Let p be (-153)/(n - (1 - -1)). Suppose 5*t - 12 - p = 0. Is 16 a factor of t?
False
Let o be (0 + 1)/2*12. Suppose 396 = o*b - 3*b. Suppose 63 = 5*l - b. Does 16 divide l?
False
Suppose 5*i = -0*i + 5. Let l(m) = 13*m**2 - 1. Let c be l(i). Let t = 44 - c. Does 18 divide t?
False
Let j(r) = 6*r**2 - r. Let y be j(1). Let d be y - 2 - 1*-1. Suppose -d*g + 36 = -0*g. Is g a multiple of 9?
True
Let u(y) = -3*y**3 - 5*y**2 - 4*y - 1. Let f(m) = m**3 + m - 1. Let t(o) = -4*f(o) - u(o). Is t(5) a multiple of 5?
True
Let r(u) = 2*u**2 - 3*u - 5. Let j be r(7). Does 31 divide 16/j - (-556)/9?
True
Let w(l) = l**3 - 4*l**2 + 2*l - 6. Let h be w(4). Let b(f) = -1 - 2 - 5*f + h. Is 5 a factor of b(-2)?
False
Suppose 4*y - y - b = 13, 0 = -y + 3*b - 1. Suppose 3*d + y*g - 106 = 0, -190 = -5*d + 2*g + 3*g. Is 11 a factor of d?
False
Let a(t) = 8*t**2 + 2*t + 1. Let x be a(-3). Let b = x - 39. Suppose -2*v - p = v - 18, -p = 5*v - b. Does 4 divide v?
False
Suppose 0 = 2*k - 21 - 123. Is k a multiple of 24?
True
Suppose -3*k = -k - 4. Is k/(-9) + 281/9 a multiple of 12?
False
Let h be 2/(-3*(-2)/114). Suppose -s = 9 - h. Does 29 divide s?
True
Let m = -34 - -54. Is m a multiple of 3?
False
Let r be (-246)/(-4) - (-21)/(-14). Suppose -7*p + r = -5*p. Does 6 divide p?
True
Let r(s) = -s + 7. Let q be r(8). Let o be -1 + q - 15*-7. Suppose 5*j + 25 = b + 3*j, 5*b + j - o = 0. Is 10 a factor of b?
False
Let s = 5 + -1. Let b be s + -3 + -526 + 0. Is (2/(-6))/(5/b) a multiple of 15?
False
Let f(v) = v**2 + 5 - 8*v + 4*v + 0*v**2. Is 7 a factor of f(5)?
False
Suppose 4*o - 55 = 89. Is 6 a factor of o?
True
Does 6 divide 862/26 - (-20)/(-130)?
False
Let n = -7 + 0. Suppose -4*y + 5*y - 13 = 0. Let x = y + n. Does 6 divide x?
True
Let g = 18 + 1. Suppose 0 = 5*o - 0*v + v - 15, -3*v = -o + g. Suppose -4*l + 4*c - 2*c = -16, -2*c = o. Is l a multiple of 2?
False
Suppose -x - 10 = -3*x. Let l(r) = r**3 - 5*r**2 + 1. Let m be l(x). Does 5 divide (1/3)/(m/30)?
True
Let n(g) = -11*g - 1. Let h be n(-3). Suppose -s + 4 + 8 = y, 0 = -y + 3*s + h. Does 5 divide y?
False
Suppose -6 = 15*u - 171. Is u a multiple of 11?
True
Let m(p) = -p**3 + 2*p**2 + p - 4. Let j be m(3). Let n = -10 - j. Suppose -3*t = -0*w - w - 50, -4*t + 2*w + 64 = n. Does 18 divide t?
True
Suppose 0 = -z - 5*c + 105, 5*c - 1 + 6 = 0. Does 19 divide z?
False
Let k be ((-6)/5)/(1/5). Is 6/(3/k - -2) even?
True
Is 13 a factor of (-10)/((-1)/8 - 0)?
False
Let j(t) = t**2 + 2*t. Let f(p) = p + 1. Let v be f(2). Suppose 0 = -v*b - 0*b + 9. Does 15 divide j(b)?
True
Let u be 8 - 5/((-15)/(-6)). Let m be 4/u + 64/12. Let p(o) = -o**3 + 7*o**2 - 3*o + 1. Does 9 divide p(m)?
False
Let u = 22 - 45. Does 6 divide (-9)/(-3) - u - 2?
True
Suppose -2*h - h + 6 = 0. Let a(n) = -7 + 7*n**h - 3 + 11*n + 0*n**3 - n**3. Does 7 divide a(8)?
True
Let t(w) be the second derivative of w**5/20 - w**4/12 + w**3/6 - 2*w. Let q be t(1). Suppose -q + 29 = x. Does 14 divide x?
True
Suppose u - 15 = 4*c, -12 = u + 4*c + 13. Let z = u + 3. Let b(j) = 7*j**2 - 4*j - 3. Does 13 divide b(z)?
False
Let w be (-50)/(-8) + 1/(-4). Let t be 14/w + (-2)/(-3). Suppose 26 = t*g - 88. Does 15 divide g?
False
Let f = 27 + 22. Is f a multiple of 13?
False
Let v(s) = 21*s**3 - s**2 - s - 1. Suppose 0*f = -f - 1. Let c be v(f). Is ((-5)/10)/(1/c) a multiple of 11?
True
Suppose -n + 3 = -2. Let z be (n - 13)*3/(-4). Suppose s - z + 0 = 0. Is s a multiple of 3?
True
Let r(o) = 3*o**3 - o**3 + 2*o**2 + 4 - 2 - o**3. Let g(h) = -h**2 - 3*h + 2. Let c be g(-4). Is 2 a factor of r(c)?
True
Suppose 0 = 4*w + 331 - 31. Let y = w + 145. Does 19 divide y?
False
Let b = 6 + -3. Suppose 3*i + 5*s = 2*i - 14, 3*i + b*s + 6 = 0. Is 11 a factor of (13 - 0) + i - -2?
False
Let o(d) be the second derivative of -3/2*d**2 - 2/3*d**3 + 0 - 2*d. Does 6 divide o(-4)?
False
Let t be ((-1)/2)/((-2)/1172). Suppose r - t = -5*z, -4*z = -r + 6*r - 247. Is 28 a factor of z?
False
Let z(b) = b**2 - 6*b - 8. Let w be z(7). Let x = 10 + w. Is x a multiple of 3?
True
Suppose -18 = 5*g + 7. Let p(d) = d**3 + 6*d**2 + d + 4. Does 12 divide p(g)?
True
Suppose -4*n - n = -25. Suppose -z - z = 0. Suppose z = n*i + 17 - 67. Is i a multiple of 4?
False
Suppose o = -t + 18, -5*o = 2*t - 27 + 6. Does 5 divide t?
False
Does 7 divide 3 + -1 + -6 - -14?
False
Is (378/(-8))/(-9)*4 a multiple of 7?
True
Suppose 0 = -w - w - 5*y - 56, 3*y - 72 = 2*w. Let z(i) = -i**2 + 5*i + 3. Let a be z(8). Let g = a - w. Does 12 divide g?
True
Suppose 0 = -0*c + 2*c. Let o(q) = 2 - 3*q + 5*q + c*q. Is o(2) a multiple of 6?
True
Suppose 2*s = 3*u - 9, -5*u + 17 = 2*s + 2. Suppose -f = -2*t - u*t - 25, -t = 3*f - 11. Suppose f*j = -z + 109, -4*j + 3*z + 85 = 6*z. Does 22 divide j?
True
Let k be 1/((1 - 0)/29). Let o(a) = -a + 3. Let y be o(3). Suppose y = -2*q + q + k. Is 11