46, -6*j + 31 = 5*p - 3*j. Let d = p - -4. Is d a multiple of 6?
True
Let b(i) = i - 5. Let a be b(8). Suppose 0 = -5*h - a*s + 7, h + 3*s - 10 = -h. Let z(m) = 43*m**2 + 2*m + 1. Does 11 divide z(h)?
False
Let n be 3/2 + 3/6. Suppose 0 = 3*y + n*y - 180. Does 12 divide y?
True
Let f = 18 + 18. Is f a multiple of 18?
True
Is 14 a factor of (12/(-14))/((-18)/308)*3?
False
Suppose 6*d - 4*d = 10. Suppose 3*k = d + 22. Is 9 a factor of k?
True
Suppose 0*s = -s + 3. Let y(o) = -o + 2 - 4*o + s - o**2. Is 9 a factor of y(-4)?
True
Suppose -5*p + 17*p = 1488. Is 22 a factor of p?
False
Is (6/(-9))/((-2)/138) a multiple of 23?
True
Suppose 0 = 3*d - 4*x - 854, -3*d - 4*x + 306 = -2*d. Suppose d = 4*g + g. Does 27 divide g?
False
Suppose 2*p = -0*p. Suppose -5*s + p*s = -135. Is 27 a factor of s?
True
Suppose 4*h + 2*t - 2 = -16, -3*t = -3*h - 15. Suppose 4*s + 20 = 0, -3*a + 23 = -3*s - 40. Let g = h + a. Is g a multiple of 6?
True
Suppose 3*g = -2*z + 641, 3*z + 836 = 4*g + z. Is 30 a factor of g?
False
Let m(g) = g**3 + 9*g**2 + 5*g - 6. Let d = -7 + -1. Let s be m(d). Suppose n = -5*k + 34, 5*k - 2*k = n - s. Is 12 a factor of n?
True
Suppose 900 = 11*k - 1212. Is k a multiple of 48?
True
Suppose -8 = -4*h + 5*m - 3*m, h + 5*m - 13 = 0. Let c be (-10)/h*(-6)/5. Is (342/(-6))/((-6)/c) a multiple of 19?
True
Does 14 divide 2 + -1 + (-1)/(5/(-505))?
False
Let d(w) = 3*w**2 + 5*w - 9. Let m be d(-8). Suppose -2*q + 72 + 21 = 3*z, z - m = -3*q. Is 17 a factor of q?
False
Let b(p) = p**2 + 4. Does 4 divide b(0)?
True
Let d = 32 - 17. Does 15 divide d?
True
Suppose 828 = 4*h + 292. Does 33 divide h?
False
Let d(l) = l**2 + 13*l + 6. Let k be d(-13). Suppose -g - k = -23. Does 15 divide g?
False
Let f = -43 + 94. Let c be f/12 + 3/(-12). Is 19 a factor of -5*24/(-10)*c?
False
Suppose 4*p = -8, -3*c = -4*c - 5*p + 48. Suppose 18 = 2*g - 18. Is 14/(-63) + c/g a multiple of 3?
True
Suppose 0 = 5*s - 2*s. Suppose -5*u + s + 10 = 0. Does 2 divide 5*(-1 + u - 0)?
False
Let b = 110 + -177. Let j be (-5)/(-20) + b/(-4). Suppose 2*q + j = 87. Does 12 divide q?
False
Let j(r) = -r**2 + 1. Let q(t) = 4*t**2 + 4*t - 12. Let d(y) = -5*j(y) - q(y). Is d(5) a multiple of 12?
True
Suppose -3*f + 19 = 2*x, x + 13 - 3 = 5*f. Is f/((-1)/(-12)*2) a multiple of 18?
True
Suppose 0 = 5*i - 436 + 36. Is i a multiple of 10?
True
Let g(s) = s**3 + 13*s**2 + 11. Let f be (-3)/(-9) - (-40)/(-3). Is 11 a factor of g(f)?
True
Let w = 14 + -4. Let u(a) = a**3 - 11*a**2 + 14*a + 2. Is 14 a factor of u(w)?
True
Is 14 a factor of (-25)/((-4)/(-8) + -1)?
False
Suppose 4*b + 439 = -3*w - 0*w, 0 = 2*b - 2*w + 216. Let z = 185 + b. Is 21 a factor of z?
False
Let c(v) = 6*v**2 - 1. Let s be c(1). Suppose -y - 3*y + 12 = 0, 0 = n - s*y - 105. Suppose 5*w - 42 - 100 = -3*p, n = 4*w + 4*p. Is 19 a factor of w?
False
Let i be ((-2)/4)/(1/2). Let x be -23*(-3)/(-6)*-4. Does 16 divide x - ((-2 - i) + 1)?
False
Suppose 5*p + 4*z - 248 = 0, -z = -2*p - 3*z + 100. Is p a multiple of 16?
True
Let b = -20 + 20. Suppose b = -p + 5*p - 40. Does 3 divide p?
False
Let c = 50 + -87. Let l = c + 73. Does 9 divide l?
True
Suppose -5*r = 4 + 6, 3*w + 35 = -r. Is ((-2)/(-1))/((-1)/w) a multiple of 11?
True
Let h(c) = -c**2 + 3*c + 3. Let n be h(3). Suppose 5*q - n*q = -136. Let r = -45 - q. Does 13 divide r?
False
Suppose 4*m - 251 + 71 = 0. Is 15 a factor of m?
True
Let i = -13 + 20. Suppose i*s - 2*s - 80 = 0. Is 8 a factor of s?
True
Let v = 127 - 7. Is 24 a factor of v?
True
Is (60/(-14) - -4)*-77 a multiple of 11?
True
Let z = -6 + 13. Let q be 2/(-6)*(-9 - 6). Suppose q*t - z = 153. Does 16 divide t?
True
Suppose 3*b + 4*f - 22 = 0, -5*b + 2*f - 18 = -10*b. Let d be (-26)/(-3)*(13 - 4). Is (-1 + b)*d/2 a multiple of 17?
False
Let n(x) = -x**3 + 6*x**2 - 3*x - 6. Let o = 0 + 5. Is 4 a factor of n(o)?
True
Let y(o) = -o**2 - 6*o + 2. Let q be y(-3). Suppose q*v - 13*v = -6. Is 2 a factor of v?
False
Let j(p) = -p**3 - 2*p - 3. Suppose -2 + 10 = v - 3*h, 4*h + 16 = 0. Let i(l) = -l**3 - 3*l**2 + 5*l + 1. Let o be i(v). Is 11 a factor of j(o)?
False
Let a = 123 - 48. Suppose 5*j - 5*s = 90, 4*j - 5*s = -0*j + a. Is j a multiple of 5?
True
Let o be 0/4 - (-6)/2. Suppose o*f - 110 = 34. Is f a multiple of 16?
True
Let n(u) = u**3 - 11*u**2 - u + 19. Is 3 a factor of n(11)?
False
Let j(g) be the third derivative of -g**7/420 - g**6/90 + g**5/60 + g**4/6 - g**3/6 - 2*g**2. Let n(q) be the first derivative of j(q). Does 16 divide n(-3)?
True
Let w be (65/(-15))/(1/(-3)). Let a = w - 9. Is 3 a factor of a?
False
Let u = -8 + -35. Let x be 138/(-14) + ((-16)/(-28))/(-4). Let m = x - u. Does 12 divide m?
False
Let n = 19 + -6. Is n a multiple of 7?
False
Let y(c) be the second derivative of c**4/12 + 2*c**3/3 - 6*c**2 - 4*c. Is y(5) a multiple of 11?
True
Let g(b) = -b**2 - b + 1. Let h be g(-2). Let p(j) be the third derivative of 3*j**5/5 + j**4/24 + 3*j**2. Does 12 divide p(h)?
False
Suppose -5*n - 2*y - 2*y = -13, 0 = 5*n - 4*y - 37. Let t(o) = 2*o**2 + 1 - 6*o + o**2 - 4 - 3. Does 15 divide t(n)?
False
Suppose 3*f - 10 = 20. Let h = f + 0. Is 4 a factor of (5/h)/((-2)/(-32))?
True
Suppose -3*n = 1 - 7. Suppose 26 = 3*p - l, n*p + 5*l - 3 = 3. Is 8 a factor of p?
True
Suppose -2*r = -5*g - 22, -3*r - g = 2*g - 54. Is 16 a factor of r?
True
Let k = 4 + -4. Let u be -13*(k/(-2) - -1). Let s = 8 - u. Is s a multiple of 11?
False
Let v(y) = y**3 - 3*y**2 + 4*y - 2. Let o be v(3). Let t = o - 7. Is t even?
False
Let g(u) = u**2 + 1. Let p be g(2). Let n be (-52)/(-10) + (-1)/p. Suppose 0 = j - n*j + 56. Does 5 divide j?
False
Let j(y) = 9*y + 2. Let b be -5*(-3)/((-45)/(-6)). Does 13 divide j(b)?
False
Let k(y) = -10 - 2*y**3 + 3*y**2 + 6 + 3 - 1. Suppose 0 = -5*a + d - 6, 5*a + 3*d = 6*d + 2. Does 13 divide k(a)?
True
Suppose -7*u + 2*t = -3*u + 22, -3*t - 3 = 3*u. Let f = u - -10. Let x(p) = 2*p - 4. Is x(f) a multiple of 3?
False
Let f = 49 + -19. Is f a multiple of 20?
False
Let s be 2*((-50)/4)/5. Is 5 a factor of (-2)/s + 265/25?
False
Let u(c) = 4*c**2 - 4*c + 6. Is 27 a factor of u(4)?
True
Let h = -19 + 38. Does 3 divide h?
False
Let t be (-194)/5 - 8/40. Let m = -3 + 5. Is m*t/6*-1 a multiple of 13?
True
Suppose 4*s - 2*x + 361 - 87 = 0, 4*x + 310 = -5*s. Let q = -33 - s. Does 7 divide q?
False
Let u(o) = -8*o - 8. Suppose -2 - 4 = c. Is u(c) a multiple of 20?
True
Let t(l) = -l**3 + l**2 + l + 103. Let k be t(0). Let p = -148 + k. Let b = -27 - p. Is 14 a factor of b?
False
Suppose -4*m - 45 = -2*m - 5*d, m + d + 33 = 0. Suppose -2*p - i = -6*i + 106, 0 = 4*p - i + 230. Let f = m - p. Is f a multiple of 14?
True
Suppose 2*f + 16 = -3*u, -1 - 4 = -5*u + 3*f. Let b be 43/3 - u/3. Let m = b - 10. Is m a multiple of 5?
True
Does 18 divide (0 + -39)*(56/6)/(-4)?
False
Let g = 33 + 189. Suppose y + 4*s - 30 = -s, 5*y = -s + g. Does 15 divide y?
True
Suppose -i + 5*l + 21 = 0, -l = -i - 3*i + 179. Let c = -31 + i. Is 4 a factor of c?
False
Let i(f) = -2*f + 2. Let z(m) = -5 - 2*m - 2 + 7*m. Let t(r) = 8*i(r) + 3*z(r). Is 2 a factor of t(-9)?
True
Suppose 5*z = x - 3*x + 55, 0 = 3*x + 3*z - 69. Does 10 divide x?
True
Suppose w = -7 - 0. Let k = w + 40. Suppose 2*q = k - 1. Is q a multiple of 8?
True
Let h = 4 - 4. Suppose 3*k + h = -2*n + 11, 2*n - k = 7. Is n a multiple of 4?
True
Suppose 14 = -s + 3*m, s = -0*s - 4*m + 14. Let d = s - -4. Is 18 a factor of d - -16 - (-2 - -2)?
True
Suppose 5*s = 15 + 90. Let p = s + 14. Is p a multiple of 9?
False
Is (-2 - -3)/((-12)/(-264)) a multiple of 3?
False
Let i = 11 + 24. Does 10 divide i?
False
Let c(m) = m + 2. Let y be c(6). Is -24*(2 - y/3) a multiple of 16?
True
Let l = -1 + 2. Let v be 2*(2 - (l + -2)). Is v + 1 + 0/2 a multiple of 7?
True
Suppose 4*v = -15 + 39. Let n = v + -7. Does 16 divide 3*n - (3 - 46)?
False
Suppose 3*w = 6*w - 129. Is w a multiple of 9?
False
Does 19 divide (4 - 5)*(-70 + -1)?
False
Suppose 0 = -5*m + 721 - 201. Is m a multiple of 16?
False
Let s(m) be the second derivative of m**4/4 + 2*m**3/3 - m**2/2 + 2*m. Is s(-3) a multiple of 4?
False
Let g be (9/(-27))/(1/(-15)). Suppose -68 = g*t - 6*t. Does 19 divide t?
False
Let s(y) = -y - 16. Let i be s(0). Let m = 6 - i. Does 22 divide m?
True
Suppose 0 = -3*x + 3 - 15. Let u = 26 + x. Does