6*k + 2. Let l be y(-5). Let r = 9 + l. Does 8 divide r?
True
Suppose b + 4*m = -4*b - 10, 0 = -2*b - 4*m - 16. Let d(s) = 18*s - 2. Is 12 a factor of d(b)?
False
Suppose 7 + 9 = -4*p. Let f(j) = -9 - 10*j + 4 + 5. Is f(p) a multiple of 20?
True
Suppose 2*v + 0*v = 22. Is 4 a factor of v + -9 - 3*-1?
False
Suppose 0 = -l - l - 10. Let g = l + 9. Suppose g = 2*q - 8. Does 6 divide q?
True
Suppose 0 = 5*l - 56 - 59. Is l a multiple of 23?
True
Suppose 0 = 3*s + 5*p - 5, -5*p + 2*p = -3*s + 21. Suppose 145 = -0*d + s*d + 3*m, -5*d = 5*m - 145. Does 7 divide d?
False
Suppose 3*q = r + 1, -4*q + 3*r + 0 = -3. Let g = q + 2. Does 2 divide g?
True
Let x(i) = i**2 + 6*i - 5. Let c be x(-7). Let f = c + 22. Is 8 a factor of f?
True
Suppose 1 + 7 = 2*j. Suppose -d + 5 = j*d. Suppose 45 = 4*c + d. Is 3 a factor of c?
False
Let j = -118 + 181. Is j a multiple of 9?
True
Let d be 1 - -1*2/2. Let w be -1 - (-45 + -3) - -1. Suppose 2*o - 5*x = w, d*o + 3*x = -3*o + 120. Is 12 a factor of o?
True
Let x = 31 + -15. Let n = 23 + x. Is 13 a factor of n?
True
Let c(s) = -s**2 + 6. Let u be c(0). Let i = u - 4. Is 2 a factor of i?
True
Let x = -6 - -30. Does 8 divide x?
True
Is 2 a factor of (-34)/(-8) - 27/(-36)?
False
Suppose -u = -5*u. Suppose -39 = 5*y - 3*j, u = -9*j + 4*j + 15. Let r = 26 - y. Is r a multiple of 12?
False
Let f(z) = -z**3 + 8*z**2 - z - 5. Let p be f(8). Let w = -5 - p. Is w a multiple of 6?
False
Let a = 110 + -68. Does 17 divide a?
False
Suppose 4*p - 396 = -4*o, -3*o + p + 299 = 2*p. Suppose 3*j + j + 4*w - o = 0, 13 = j + 5*w. Let l = j - 5. Is 8 a factor of l?
False
Suppose -2*m - 9 - 3 = 0. Suppose -4*g - 13 = 27. Let r = m - g. Is 4 a factor of r?
True
Let t = 10 - 5. Let r = t - 0. Is 5 a factor of ((-1)/3)/(r/(-165))?
False
Let d(y) = y**2 - 2*y - 5. Let s be d(4). Suppose 0 = -s*r + 7 + 5. Let j = r + 10. Does 6 divide j?
False
Suppose 3*l - 27 = 6. Is 16 a factor of (l/2)/(4/32)?
False
Suppose 2*f - 2 = 26. Does 14 divide f?
True
Let r = 301 + -158. Does 8 divide r?
False
Let r = 287 + -139. Does 11 divide r?
False
Suppose c - 4 = -2. Suppose -5*y - 5 = 4*r, 0 = -2*y + y - c*r - 7. Suppose 105 = -0*t + y*t. Is t a multiple of 16?
False
Suppose 0 = -p - 4*p - 760. Let u = p - -223. Is 19 a factor of u?
False
Let c be (1 - -11)/(-2) - -2. Let h(q) = q**3 + 4*q**2 - 2*q - 5. Let r be h(c). Let j = r + 3. Does 6 divide j?
True
Does 20 divide ((-6)/(-10))/(1/105)?
False
Suppose m = -0*m - 42. Is -12*9/m*7 a multiple of 9?
True
Let v = 100 - 70. Let m = v + -18. Is m a multiple of 10?
False
Let c(g) = 22*g - 5. Let a be c(5). Suppose m - 5*i - 6 - 24 = 0, 5*i - a = -2*m. Is 15 a factor of m?
True
Let f(r) = 24*r**3 - r**2 - r + 1. Let p(t) = 3*t - 4. Let i(q) = q - 1. Let a(s) = -i(s) + p(s). Let m be a(2). Is 12 a factor of f(m)?
False
Suppose 95 + 57 = n. Is n a multiple of 38?
True
Let z = 110 - 106. Let r = -2 + 4. Suppose 0 = -3*t + z*w - 0 + 66, -r*t + 5*w + 51 = 0. Is t a multiple of 10?
False
Suppose 3*x - 4*x = -75. Does 15 divide x?
True
Suppose 4*a - 2 = -10. Let n(w) = -w**3 - w**2 + w - 2. Let g be n(a). Suppose 0 = -q + 8 - 3, g = 3*h - 2*q - 26. Does 9 divide h?
False
Let s(u) = 87*u + 6. Is 15 a factor of s(2)?
True
Let w(f) = 3*f**2 + 12*f - 5. Let b be w(-7). Let a = -11 - -43. Let d = b - a. Is d a multiple of 9?
False
Let z = -4 - -6. Let k be -9 + (-1 + z)/1. Does 14 divide ((-102)/4)/(6/k)?
False
Let j(u) = -u - 9. Let f be j(-9). Let i(b) = b**2 + b - 2. Let l be i(f). Is 11 a factor of (-102)/(-3)*l/(-4)?
False
Let r be 2/4*4 - 19. Let z = 51 + r. Is 17 a factor of z?
True
Let l be ((-72)/(-32))/((-6)/16). Let n = 6 - l. Is 6 a factor of n?
True
Suppose -h = x - 11, -9 = -4*x + 4*h - h. Let p be x*2*5/6. Let k = -1 + p. Does 5 divide k?
False
Let w(g) = 2*g + 3*g**2 + 11 + 1 - 4*g**2. Is 12 a factor of w(0)?
True
Suppose 0 = 5*d - 322 - 278. Let o = -5 + -78. Let p = o + d. Does 15 divide p?
False
Suppose -2*h - 2*h = -68. Suppose -3*w + 10 + h = 0. Let y = w - -2. Does 11 divide y?
True
Let g(j) = j**2 - j + 55. Is 5 a factor of g(0)?
True
Let y(n) = -n**2 - 7*n - 7. Let w be y(-5). Suppose 15 - 3 = i + 2*m, m - w = i. Suppose -v - 145 = -4*u + 39, i*u + 2*v - 82 = 0. Does 12 divide u?
False
Let q(g) = 17*g - 6*g**2 - 8*g - 49 + g**3 + 43. Does 12 divide q(6)?
True
Suppose 0 = -3*j + 8*j - 95. Let d = 18 + j. Does 11 divide d?
False
Let u = -90 - -49. Does 18 divide (-2 - u)*(1 + 0)?
False
Suppose -7*u + 3*u = -4. Let z = u - -1. Is 12 - 4 - 4/z a multiple of 6?
True
Suppose 7*o - 259 = 3171. Is 35 a factor of o?
True
Suppose -5 = -3*t - 2*j, 4*j = -0*j - 8. Let g(q) = q**2 - 10*q - 37. Let b be g(13). Suppose t - 19 = -b*i. Does 4 divide i?
True
Let m = 106 - 75. Suppose 2*s + m = 135. Is 14 a factor of s?
False
Suppose -4*d + 72 = -56. Is 9 a factor of d?
False
Let w(l) = -l**3 + 4*l**2 + 5*l + 6. Let g be w(5). Let s(h) = h**3 + 0*h**3 - 2 - 5*h - 2 - h - 4*h**2. Does 16 divide s(g)?
True
Does 27 divide 1*(-4)/22 - (-893)/11?
True
Suppose 0 = 4*i + 6 + 38. Let h(q) = 14*q**2 - 11*q + 92. Let b(t) = 5*t**2 - 4*t + 31. Let l(z) = i*b(z) + 4*h(z). Is 11 a factor of l(0)?
False
Let a(t) be the third derivative of -1/24*t**4 + 0 + 7/3*t**3 + 0*t + 3*t**2. Is a(0) a multiple of 10?
False
Let t = 71 + -14. Does 19 divide t?
True
Suppose 5*c - 13 = 4*v - 53, -2*v + 5*c + 20 = 0. Is v a multiple of 10?
True
Let m be ((-6)/(-18))/(2/12). Let x(f) = -f - 3 + 0 + 3 + 10*f**m. Is x(-1) a multiple of 11?
True
Let v(j) = j**3 - 4*j**2 + j - 2. Let g be v(4). Suppose -3*l + 2*y + 2*y + 211 = 0, -252 = -4*l - g*y. Let p = l + -20. Is 15 a factor of p?
True
Suppose 3*x + 39 = 3*r, 4*r = -2*x + 1 - 3. Let v be ((-4)/6)/(2/x). Suppose b = v*b - 58. Does 13 divide b?
False
Let b(z) = -6*z + 3. Let c(m) = -6*m + 2. Let r(p) = 2*b(p) - 3*c(p). Does 17 divide r(4)?
False
Suppose 5*x + 13 - 48 = 0. Suppose -2*t + 28 = 3*k, -x - 20 = -3*t + 3*k. Suppose 0 = -3*c + t + 4. Is 5 a factor of c?
True
Suppose 3*n + 3*c = 12, 4*c = n + 1 - 15. Let w = 14 - n. Does 4 divide w?
True
Suppose -5*m + 19 = -1. Does 4 divide m?
True
Let z = -119 - -201. Does 20 divide z?
False
Let l(r) = -r**2 - 6*r + 10. Let h be l(-8). Let c be -3*1/(h/(-92)). Let m = -1 - c. Is m a multiple of 12?
False
Let u(i) = 17*i**2 - 4*i + 3. Is u(2) a multiple of 9?
True
Suppose 3*k - 2*p = 49, -k = 2*k - 4*p - 53. Does 5 divide k?
True
Let r(p) = 8 + 6 - 5 - 2*p**3 + 3*p**3. Let g be r(0). Let n(b) = -b**3 + 8*b**2 + 11*b - 4. Is 7 a factor of n(g)?
True
Let f(h) = h**2 - 3*h - 1. Let w be f(3). Let k be 0*((-3)/(-6))/w. Suppose 2*r + k = 6. Is r a multiple of 2?
False
Suppose i - 996 = -5*g - 0*i, 4*i + 216 = g. Suppose -3*n + g = 2*n. Suppose -5*b + 160 = n. Is 12 a factor of b?
True
Suppose 0 = s - 2*i + 4, -2*i + 5*i - 27 = -2*s. Is 3 a factor of s?
True
Let t = 8 - 5. Suppose -2*g = 5*s - 21, 2*s + t*g + 1 = s. Is 4 a factor of -3 - -2 - -1*s?
True
Let u be ((-6)/(-4))/((-2)/8). Does 5 divide ((-4)/(-8) + -2)*u?
False
Suppose 2*i + 2*k = 124, 2*k = -3*i - 0*k + 187. Does 9 divide i?
True
Let b(y) be the first derivative of -y**4/4 + 2*y**3 + 3*y**2/2 - 3*y + 3. Is 12 a factor of b(5)?
False
Let b be 5*(24/15 - 1). Suppose b*a = a - 2. Does 10 divide 178/8 + a/4?
False
Let b be 9/(-2) + 3/(-6). Let v = 13 - b. Does 6 divide v?
True
Let a be 4/((-4)/(-31)) - 1. Suppose 4*i = -i - 3*z - 5, 5*i - 4*z - a = 0. Is i/4*-4 + 32 a multiple of 11?
False
Suppose 4*r = 40 - 0. Let u be (-7)/14 - r/(-4). Suppose -6 + 26 = u*d. Does 8 divide d?
False
Suppose 5*h = h + 20. Suppose 0 = -5*d - 10, -h*j = d + 4*d - 10. Suppose 2*k + 5*i - 30 = 0, 3*k - 4*i + 9 = j*k. Does 12 divide k?
False
Let a = 96 + -62. Is 3 a factor of a?
False
Suppose -2*h + h = 24. Let m(g) = -19*g - 2. Let c be m(-2). Let o = h + c. Is 4 a factor of o?
True
Let i(h) = -h**3 + 11*h**2 - 13*h + 7. Is i(7) a multiple of 8?
True
Let b(p) be the second derivative of -p + 2/3*p**3 + 1/12*p**4 + 0 + 3/2*p**2. Does 10 divide b(4)?
False
Let s = 7 - -1. Let n = 60 - s. Does 13 divide n?
True
Let p = -15 - -24. Does 2 divide p?
False
Let c = 0 - -3. Suppose -p + 14 = 4*f, c*p = 4*p + 2*f - 10. Does 6 divide p?
True
Suppose 40 = 4*p - 2*v - 238, -3*v - 207 = -3*p. Is 11 a factor of p?
False
Let h = 103 + -14. Sup