ppose 0 = -4*f + 5*f - 2. Suppose -4*k - 14 = f. Does 11 divide (-2 - k) + 20*1?
True
Let g = 6 + -8. Let d be (1 + -1)*(-1)/g. Suppose 3*a - 30 + 6 = d. Is a a multiple of 5?
False
Let s(u) = -u**3 - 1. Let r(l) = -4 + 5*l - 6*l**3 - l**3 + 8*l**2 - 13. Let h(n) = r(n) - 6*s(n). Does 11 divide h(8)?
False
Let f be 1 - 5 - (-75 + -6). Suppose 0 = d + 23 - f. Is 18 a factor of d?
True
Let k = 355 - 166. Does 20 divide k?
False
Let t(z) = -z**2 - 6*z - 5. Let l be t(-5). Suppose 2*d + l = 6. Suppose -d*m - 31 = -5*q, -2*q + 4*m = -5*q + 7. Is q even?
False
Suppose 0 = -5*d - 5*y + 95, -3*d + 2*y = -0*d - 52. Is 6 a factor of d?
True
Suppose 4*o - 60 = -0*o. Suppose 4*k = -o + 51. Is k a multiple of 5?
False
Let c(v) = v**3 + 6*v**2 - v + 6. Let a be c(-5). Let g = a - 18. Does 18 divide g?
True
Let m = 177 - 133. Is m a multiple of 11?
True
Let h(w) = 2*w**2 - 3*w - 4. Let o be h(3). Suppose o*f = f + 80. Is f a multiple of 10?
True
Does 9 divide 47*2/10 + (-18)/45?
True
Let f(l) = l**3 - 5*l**2 + l - 1. Let k be f(5). Suppose -p + 10 = k*p. Suppose -4*u = 2*z - 118, 2*u - p*z = 58 - 8. Is u a multiple of 20?
False
Let i be (-7 + 1)*6 - 2. Let m = 59 + i. Does 17 divide m?
False
Let p(z) = -z**3 + z**2 - z. Let y(d) = 7*d**3 - 6*d**2 + 5*d + 18. Let j(a) = 6*p(a) + y(a). Is j(0) a multiple of 10?
False
Suppose -16 = -v + 5*v, 0 = 2*b - 2*v - 22. Does 5 divide (-276)/(-28) + 1/b?
True
Suppose o - 92 = -4*c - 3*o, o + 97 = 5*c. Does 20 divide c?
True
Let f(n) = -n**2 - 6*n + 5. Let o be f(-6). Suppose -4*j - 28 = -o*j. Is j a multiple of 28?
True
Suppose -287 = -5*p + 4*j - 43, -3*p + j = -145. Is p a multiple of 24?
True
Suppose 2*m = -2*w + 4*m + 32, -3*w = -5*m - 56. Suppose w = b - 21. Is 11 a factor of b?
True
Let p(n) = 7*n**2 + n. Let i be p(-1). Does 7 divide 1*6*8/i?
False
Let b(o) be the second derivative of -o**3/6 + 7*o**2 + 27*o. Suppose 0 = -x - 3*q - 9, -5*q = -2*x - 3*q + 6. Is b(x) a multiple of 7?
True
Let f = 157 - 17. Suppose 8*d = 4*d + f. Does 15 divide d?
False
Let l(k) = -k**3 + 8*k**2 - 2*k + 1. Let b = 15 + -9. Is 16 a factor of l(b)?
False
Let z be (0 + 1)/((-4)/(-20)). Suppose -2*f - 5*g = -4*f - 4, -10 = z*g. Let m(l) = l**2 + 2*l + 3. Does 19 divide m(f)?
True
Is 19 a factor of (-225)/(-6) + 4/8?
True
Suppose -2*h = -7*h + 70. Is 14 a factor of h?
True
Suppose 5*n - 439 = 4*i - 48, 3*i + 313 = 4*n. Is 15 a factor of n?
False
Let h(s) be the second derivative of s**3/6 - s**2 + 2*s. Suppose -6 - 24 = -5*z. Does 2 divide h(z)?
True
Suppose 2*p - 5*p + 30 = 0. Let q be -1 - 0 - (1 + 1). Let z = p + q. Is z a multiple of 2?
False
Is 4 a factor of 12/(-8)*(-4)/(-6)*-28?
True
Suppose 0 = -2*q + 5*q - 36. Is 8 a factor of q?
False
Suppose 55 = 5*l - 20. Let y = 3 + l. Is 16 a factor of y?
False
Let q = -54 + 76. Suppose -3*h - q = -76. Does 9 divide h?
True
Suppose 5*c - 6 = 2*c. Suppose -180 = -5*d + 2*r, -3*d + c*r = -r - 99. Is d a multiple of 22?
False
Let g(r) = 7 - 9 - 12*r - 23*r. Does 23 divide g(-2)?
False
Suppose -c = 5*s - 2, 0*c + 4*c = 3*s + 54. Suppose -c - 6 = -2*i. Does 2 divide i?
False
Is 4/7 - (-4788)/196 a multiple of 25?
True
Suppose 3*w - 3 = -0. Does 5 divide 6 + (-1 - w - -1)?
True
Suppose 3*m - 26 = 7. Let s(n) = n - 1. Let k be s(m). Let d(o) = -o**2 + 13*o - 14. Is 16 a factor of d(k)?
True
Let w(z) be the first derivative of 2*z**2 - 2*z - 2. Let f be w(2). Suppose 4*g - 38 = -f. Does 4 divide g?
True
Let d be ((-66)/(-8))/((-24)/(-64)). Is 5 a factor of 458/22 + 4/d?
False
Suppose 2*t + t + 18 = 0. Let h = -12 - t. Does 2 divide h*2/(-3) + 1?
False
Let b(l) = -l**2 + 6*l - 1. Let g be b(5). Suppose y - g*c = 15, 2*y - c - 48 = c. Does 15 divide y?
False
Suppose 2*l + x + 17 = 0, 0 = -3*l + 5*x - 0*x + 7. Let j = 10 + l. Is j a multiple of 2?
True
Let i(h) = -h**2 - 6*h - 1. Let b be i(-6). Let n be b/(-3) - (-82)/6. Is -3*(1 - n/3) a multiple of 11?
True
Let v = -147 - -367. Suppose 2*w = -58 + v. Does 15 divide w?
False
Let g(z) = -z + 4. Is g(-9) a multiple of 8?
False
Let n(o) be the first derivative of -o**6/30 + o**5/60 + o**4/8 + o**3/3 - 3*o**2/2 + 2. Let m(v) be the second derivative of n(v). Is 16 a factor of m(-2)?
True
Let s(v) = v**3 + 7*v**2 + 5*v + 2. Let x be -1 + -12 + 1 + 1. Let y be 64/x + (-2)/11. Is s(y) a multiple of 4?
True
Let q(f) = f**3 - 4*f**2 - 5*f + 2. Let o be q(6). Suppose 0 = -4*z - o - 12. Let l = z - -24. Does 5 divide l?
True
Suppose 9 = -h - y - 0, 2*h + 38 = 3*y. Let k = 37 + h. Let b = -8 + k. Is b a multiple of 8?
True
Suppose 0 = 2*l + l + 9. Let m = -31 - -30. Is ((-21)/l)/m*-2 a multiple of 13?
False
Let s = -3 - -6. Is 13 a factor of 38 - s - (-2)/(-2)?
False
Let p = 15 - 12. Suppose -234 = -3*m - p*m. Does 29 divide m?
False
Let t(h) = -1938*h. Let c(s) = 38*s. Let m(q) = 152*c(q) + 3*t(q). Let r be m(-2). Suppose p - 5*v - 38 = -0*p, -5*v - r = -2*p. Is p a multiple of 19?
True
Suppose -3*x - 20 - 16 = 0. Is 6 a factor of (-4)/((-16)/(-4))*x?
True
Suppose 3*g + 5 = 4*f, 1 = g + 4. Is 6 a factor of f*(3 - (-27)/(-1))?
True
Is (-490)/(-8) + 4/(-12 - 4) a multiple of 3?
False
Suppose 0 = y - 3. Let s = 6 - y. Suppose -5*p - s*b = -100, b - 18 = -5*p + 4*p. Is 8 a factor of p?
False
Suppose -126 = 3*c - 6*c. Does 7 divide c?
True
Suppose -3*o + 15 = -15. Is o a multiple of 5?
True
Let d = 230 - 89. Does 16 divide d?
False
Is 43 a factor of (-1 - 6/(-4))/((-6)/(-4128))?
True
Suppose 7*k - 12*k + 660 = 0. Is k a multiple of 44?
True
Let o = -5 - -65. Suppose o = -0*h + 4*h. Is h a multiple of 6?
False
Let b be (-1)/((-3)/12*2). Suppose d + u = -0*d + 47, -b*d + 4*u + 82 = 0. Does 15 divide d?
True
Suppose 3*i - 16 = -2*t, i - 5*t + 3*t = 16. Let k = i + 4. Does 12 divide k?
True
Let h be (-1390)/(-10) - 1*4. Let q = h + -56. Does 20 divide q?
False
Let y(r) = -2*r + 1. Does 2 divide y(-4)?
False
Let z(o) = -o**2 - 5 + 15*o - 3 + 0. Is 12 a factor of z(11)?
True
Is 8/(-10)*(-1 - (-33)/(-2)) a multiple of 3?
False
Let d = 7 + -5. Suppose x = -d*g + 62, g + 5*x = -g + 46. Is g a multiple of 11?
True
Let b(a) be the second derivative of 1/2*a**2 + 0 - 4*a**3 + 2*a. Does 16 divide b(-1)?
False
Suppose 4*c = -4*f - 0*f - 28, 2*c = 6. Suppose 2*m + 70 = 7*m. Let a = f + m. Does 2 divide a?
True
Suppose 2*y + 0 = 6. Suppose -5*b + 9 = 3*w, 4*b = -2*w + 3 + y. Suppose -3*k - 87 = -3*m, -w*m + 19 = 3*k - 98. Is m a multiple of 10?
False
Let i be -10*(3 + (-51)/15). Suppose -3*x - 1 = -10. Suppose -x*h + i*h = 7. Is 6 a factor of h?
False
Suppose 24 = -2*j + 4. Let m = 2 + -12. Is 5 a factor of (-96)/j - 4/m?
True
Let p(t) = t**3 + 9*t**2 + 1. Let a be p(-9). Let q be (a/2)/(4/(-24)). Let u = q + 6. Is u a multiple of 2?
False
Suppose 3*r - 4*w = 17, 2*r + 2*w = w + 15. Does 2 divide r?
False
Let j(b) = 13 + 23 - 12 + b. Does 24 divide j(0)?
True
Let k be (-12)/2 - (-6)/(-2). Is 9 a factor of (-8 - k) + 36/2?
False
Suppose r + 5*v - 22 = 0, 4*r = -3*v + 27 + 129. Is 28 a factor of r?
False
Suppose 7*w - 5*w - 6 = 0. Is 21 a factor of 2/w + (-248)/(-6)?
True
Suppose 0 = -7*i + 2*i + 125. Suppose 11*h = 6*h. Suppose -2*m + 3*n = -m - i, -2*m + 3*n + 41 = h. Is 8 a factor of m?
True
Let r(q) = q**3 + 3*q**2 + 2*q. Does 20 divide r(3)?
True
Let r = -5 + 6. Let x = -4 + r. Is x - 51/3*-1 a multiple of 7?
True
Suppose -5*p = -p + 12360. Is 16 a factor of p/(-55) + (-2)/11?
False
Suppose 0 = -0*s - 4*s + 40. Is 11 a factor of 36 + 0 + (7 - s)?
True
Suppose -1 - 33 = -z. Suppose -35 = -3*h + z. Is h a multiple of 12?
False
Suppose -9*b = -o - 4*b + 81, -b - 257 = -3*o. Is o a multiple of 24?
False
Suppose 2*g + g = 54. Is 9 a factor of -2*g*1/(-2)?
True
Suppose -5*w - b = 67, 2*w + 3*w - 3*b + 59 = 0. Let t(r) = -r - 4. Is t(w) even?
False
Let n = 172 + -107. Let b be (1*-1)/(6/(-260 + 2)). Suppose -4*h + b + n = 0. Is h a multiple of 9?
True
Suppose 2*l = -2*l - 44. Let g = l - -81. Let j = -50 + g. Is 13 a factor of j?
False
Suppose 0*o - 6*o + 678 = 0. Does 19 divide o?
False
Suppose 0 = 5*d - 20, -4*q + 1524 = 2*d - d. Is q a multiple of 19?
True
Let q(n) be the second derivative of n**3/2 - n**2/2 + 16*n. Let y(s) = 2*s**2 + s + 2. Let v be y(-2). Is 19 a factor of q(v)?
False
Suppose 3*s + v - 467 = -0*v, 0 = -2*v - 8. Is 23 a factor of s?
False
Let c(p) be the firs