b = s + 32. Does 5 divide b?
True
Let t(w) = -w**2 + 8*w - 5. Let f be t(6). Suppose f*c = 4*c + 162. Is c a multiple of 27?
True
Let k be 2 + 0 - -2 - 2. Suppose -3*t - k*t = -165. Is t a multiple of 11?
True
Let r = -172 + 178. Does 6 divide r?
True
Let a be (-251)/3 + 4/6. Let g be a/(-3) + (-2)/3. Let c = g + -16. Does 6 divide c?
False
Let z be 2/(((-2)/42)/(-1)). Suppose 5*u - 2*u = 3*n + 93, 5*n = u - 151. Let a = n + z. Is 5 a factor of a?
False
Let y be -3 - 2/(-2) - -20. Suppose 0 = a - 2*a + y. Does 6 divide a?
True
Let r = -14 + 28. Let w = r - -7. Is 13 a factor of w?
False
Suppose 4*t - 5*r + 8*r = -7, -3*t + 4*r = -26. Suppose -t*i + 5*w = -60, 2*i - 62 = w - 10. Does 8 divide i?
False
Let h(i) = 7*i - 6. Let r be h(4). Let y = -38 + r. Let u = 26 + y. Is u a multiple of 8?
False
Is 9 a factor of 30/150 - (204/(-5) - 1)?
False
Suppose 5*b - b - 12 = 0. Suppose -4*j = -b*j - 44. Does 12 divide j?
False
Let f(y) = -y**2 - 4*y + 4. Let b be f(-4). Suppose -2*d = b*l + 2*d - 128, 3*l - 126 = 3*d. Is 15 a factor of l?
False
Is 16 a factor of 96*8/(-36)*-3?
True
Suppose 0*z - 76 = 4*z. Suppose -5*u - 4 = 2*t - 15, 3*t + u = -16. Let y = t - z. Is y a multiple of 12?
True
Let n(q) = -5*q**3 - 5*q**2 + 3*q + 8. Let v(m) = -11*m**3 - 11*m**2 + 6*m + 17. Let x(u) = -13*n(u) + 6*v(u). Is 3 a factor of x(-2)?
False
Suppose 0*z + 18 = 3*z. Suppose -6*y + z = -3*y. Suppose -112 = -6*n + y*n. Is n a multiple of 13?
False
Let u = 5 - 5. Suppose u = -5*y + q + 38, 4*y + 0*q - q = 31. Does 3 divide y?
False
Suppose 0 = -2*l + 4*l - 6. Suppose -u + h = -110, l*h + 436 = 7*u - 3*u. Does 27 divide u?
False
Let y(b) = -b**3 - 10*b**2 + 27*b - 29. Is y(-13) a multiple of 4?
False
Let c(w) = -w**2 + 6*w + 5. Let s be c(6). Suppose -s*p + 3*o = -37, -2 = -2*p - 5*o + 3*o. Does 4 divide p?
False
Suppose 494 = 5*c - 2*r, 3*r = 4*c + 2*r - 397. Let b be (-1)/(2/c*-1). Let s = 74 - b. Is 12 a factor of s?
True
Let o = 2 - -3. Let k be o/(-20) - (-50)/8. Suppose k = f - 9. Is 5 a factor of f?
True
Suppose t = -1 + 40. Does 39 divide t?
True
Let p(i) = i**2 + i - 23. Let w be p(0). Let a = w - -43. Is 20 a factor of a?
True
Let a(n) = n**3 + 4*n**2 - 2*n + 5. Is a(3) a multiple of 10?
False
Suppose 3*v = 5*f - 4 + 11, 3*f + 1 = 5*v. Let h be (6/4)/(v/10). Let k = 65 + h. Does 23 divide k?
False
Let p = -44 + 172. Does 64 divide p?
True
Is 29 a factor of 44 - 1*(0 - 1)?
False
Is 13 a factor of (-774)/45*10/(-4)?
False
Let u = 14 + -10. Suppose u*f = 16, x - 2*f = 2*x - 13. Does 4 divide x?
False
Let t(g) be the first derivative of g**3/3 - 3*g**2/2 - 3*g - 1. Let v = 0 + -2. Is 4 a factor of t(v)?
False
Let i(d) = 7*d**2 - 3*d - 4. Does 7 divide i(5)?
False
Suppose o + 34 + 21 = 0. Let t = 86 + o. Does 9 divide t?
False
Suppose 2*y = -0*y + 38. Is 19 a factor of y?
True
Let p(h) = -4*h + 5. Is 16 a factor of p(-12)?
False
Suppose 4*u - 2*z - 148 = 662, -4*z = -u + 199. Is 45 a factor of u?
False
Suppose 6*l = -3*l + 2979. Is 15 a factor of l?
False
Suppose 4*i - 5*i = 3*x - 25, -2*x - 2*i + 14 = 0. Suppose 2*p - 4*s = 0, x + 4 = 5*p + 3*s. Is 0 - -4 - (0 - p) a multiple of 4?
False
Let s(f) = -f**3 + 8*f**2 - 6*f - 6. Let q be s(7). Let h(k) = 5*k**2 + k - 1. Let i be h(q). Suppose w + 6 = -3*z, 3*z + 7 + i = w. Is w even?
False
Suppose 3*s = -3*q + 222, 2*s + 3*q - 34 = 117. Is 8 a factor of s?
False
Is -1*8*(-5 + -4) a multiple of 24?
True
Let y(x) = 13*x + 4. Suppose d - 8 = -d. Let h be y(d). Suppose -3*t = 4*a - 69, -6*a = -3*a - 2*t - h. Is 9 a factor of a?
True
Suppose 119 = -3*j + 479. Does 24 divide j?
True
Is 25 a factor of (-680)/(-24) - 2/(-3)?
False
Let c = 6 - 5. Let u(z) = -c + 0 + 3 + 4*z**2 - z. Does 14 divide u(2)?
False
Suppose -2*o + 136 = -0*o. Is 45 a factor of o?
False
Let c(h) = 5*h**3 + 8*h**2 - 7*h + 10. Let d(j) = -4*j**3 - 7*j**2 + 6*j - 9. Let v(l) = 3*c(l) + 4*d(l). Let r be v(-5). Is 3 a factor of 1 + (-3)/((-6)/r)?
True
Suppose -t - 8 = -13. Suppose m + 5*k = 51, -3*m - t*k = -118 - 25. Does 20 divide m?
False
Suppose -54 + 17 = -w. Is w a multiple of 18?
False
Let q be 5/(1/12 - 0). Let l = q + -33. Is 9 a factor of l?
True
Let a be (-2 + -1)/(1/(-1)). Let j = a + -3. Suppose -3*s - z = -j*z - 9, s + 4*z + 8 = 0. Does 2 divide s?
True
Let j(q) = q**2 - q + 4. Let b be j(0). Suppose -9 = p + k + 3*k, b*k = -16. Is p even?
False
Let f(l) = l**2 - l. Let c be f(2). Suppose -4*h + 12 = c*u, 5*h = -2*u + 19 - 5. Is 38 - (-1*h + 4) a multiple of 18?
True
Suppose y - 9 - 16 = 0. Is 25 a factor of y?
True
Let r(f) = -f**2 - f + 26. Let h = 8 + -8. Does 13 divide r(h)?
True
Suppose 8 = -2*c, 0*c + 46 = 3*k + 2*c. Does 9 divide k?
True
Suppose -n - 101 = -2*k, 3*k - 2*k = -2*n - 227. Is 14 a factor of n/(-4) + 3/12?
True
Suppose 1 + 1 = 2*o. Is 9 a factor of 9/2*(3 - o)?
True
Let g be (-474)/(-10)*(2 + 3). Suppose p - g = -3*j - j, 0 = 2*j - p - 117. Does 21 divide j?
False
Let i(h) = -4*h. Suppose 0 = -c + 4*r + 9, 5*r = 2*c - 5*c + 27. Suppose -3*k = -0*k - 3*g + c, 0 = 5*k - 3*g + 15. Is i(k) a multiple of 6?
True
Let j(r) = -r**3 + 7*r**2 + r - 2. Let z = -5 + 8. Let k be j(z). Suppose 0 = -5*a + k + 68. Is 21 a factor of a?
True
Suppose b + 117 = 3*i + 6*b, 0 = 4*i + b - 173. Is i a multiple of 36?
False
Let o(x) = 21*x + 1. Is o(2) a multiple of 14?
False
Let p(f) = -f**3 - 5*f**2 + 17*f + 36. Is 36 a factor of p(-9)?
False
Let i = 4 - 5. Let t be (0/(3/i))/1. Suppose 3*g - 6*g + 18 = t. Does 6 divide g?
True
Let y be ((-8)/5)/((-1)/(-5)). Let z = y + 28. Let v = z - 1. Is 7 a factor of v?
False
Let v = 196 + -122. Is v a multiple of 33?
False
Let t be (-4 - (4 + -2))*1. Suppose w - 5 = 6. Let f = t + w. Is f a multiple of 5?
True
Let z(q) = 2*q - 12. Let y be z(8). Suppose y*k - 140 = 16. Is k a multiple of 13?
True
Let f(s) = -1 - 36*s**3 + 5*s**3 + 0*s**3 - 2*s. Is 16 a factor of f(-1)?
True
Let d be (-1 - -2)*(-4 + 4). Let k(f) = f + 9. Is k(d) a multiple of 9?
True
Let p = -5 - -7. Suppose -4*u + 29 = j, 5*j = -p*u + j + 18. Does 3 divide u?
False
Let y(g) = 3*g**3 - g**2 + 3*g - 2. Is y(2) a multiple of 8?
True
Let c = 140 + -55. Does 15 divide c?
False
Does 4 divide 57 + -2 - (-4)/(-4)?
False
Let d(j) = 8*j + 3. Let c(w) = 7*w + 2. Let r be (-3)/(-15) - (-62)/(-10). Let q(u) = r*c(u) + 5*d(u). Is 4 a factor of q(-4)?
False
Is 4 a factor of (-20)/(-4)*(4 - 1)?
False
Let d be (66/8)/((-1)/4). Let h = d - -48. Suppose -x - h = -6*x. Is 3 a factor of x?
True
Let s(k) = k**3 + 10*k**2 + 19*k - 12. Is s(-5) a multiple of 9?
True
Let f(b) = b**3 + 8*b**2 - 13*b - 13. Let g be f(-10). Let s = g - -147. Is 16 a factor of s?
True
Let b be 3/(-3 - (-9)/2). Suppose 0 = b*l + 3*h - 50, 2*h + 23 + 121 = 5*l. Does 7 divide l?
True
Let k be (5 + -5)*2/2. Suppose -c - q + 2*q = -13, -c - 4*q + 38 = k. Does 9 divide c?
True
Suppose 1 = -5*z - 4. Let b = 3 + z. Suppose -3*r = b*r - 75. Is 7 a factor of r?
False
Suppose 3*c - 2*i = 12 + 10, -3*c - 2*i = -14. Is 11 a factor of c*9/(-6)*-4?
False
Let r = -121 + 205. Does 12 divide r?
True
Let h = -11 - -4. Let m(w) = 2*w**3 - 4*w**2 - 3*w - 10. Let i(t) = -3*t**3 + 9*t**2 + 5*t + 19. Let o(v) = 3*i(v) + 5*m(v). Is 5 a factor of o(h)?
False
Let l(f) = 15*f**2 - f - 2. Let v be l(2). Suppose -10 = -4*x + 2*x, 0 = 4*j + 4*x - v. Let w(q) = q**3 - 9*q**2 + 9. Is w(j) a multiple of 9?
True
Let f be (-4)/(-10) - (-234)/15. Is 14 a factor of (f - 2 - 1) + 1?
True
Let d(y) = -7*y + 27. Is d(-9) a multiple of 30?
True
Let m be -33*((-24)/9)/(-2). Let h = m + 78. Does 9 divide h?
False
Let p = 15 - -5. Suppose 9*g - 4*g = p. Suppose 0 = 3*n - g*q - 58, -5*q - 35 = -n - 1. Is 7 a factor of n?
True
Suppose 5*u = 1 + 9. Suppose u*o - o = 0, -3*w = -5*o - 6. Suppose 5*g = w*m + 77, 5*m = -9 + 4. Does 15 divide g?
True
Let h(m) = -4*m - 3 + 5*m**3 - 4*m**3 - 2*m - 5*m**2 + m. Let s be h(6). Suppose -s*q = 2*n - 0 - 1, 0 = 2*q + 6. Is n a multiple of 5?
True
Let f = -8 + 12. Suppose -36 = 2*r + 2*m - 140, 5*m - 205 = -f*r. Is r a multiple of 31?
False
Let b = 20 + -18. Suppose 0 = -b*y - 4*z + 25 + 57, -149 = -4*y - 3*z. Does 9 divide y?
False
Let k = -68 + 342. Suppose -k = -5*l + 96. Is l a multiple of 19?
False
Let m(h) = -h**3 - 11*h**2 - h + 10. Let o be m(-11). Suppose -5*f = 4*z - 33, 2*z - 3*f = o -