e 5*b + 20 = -s, -s = 2*s + 5*b + 10. Is s even?
False
Suppose 38*m + 165 = 41*m. Is m a multiple of 11?
True
Let t be 99/12 + 1/(-4). Suppose -i = -5*i + t. Is (-2 - i)*(-65)/10 a multiple of 15?
False
Let l(y) be the third derivative of 0*y + 1/30*y**5 + 0 + 1/4*y**4 + y**3 - 2*y**2. Is 12 a factor of l(-5)?
False
Let y be 3/(-6) + (-22)/4. Let l = y + 10. Does 3 divide l?
False
Let r = -102 - -156. Is 13 a factor of r?
False
Let b be (1/(-3))/(4/(-36)). Suppose g = b, -s + 14 + 1 = 2*g. Does 4 divide s?
False
Let z be (-1)/2 - (-25)/(-10). Is (40/15)/((-2)/z) a multiple of 3?
False
Let c be 8 + -6 + -3 + -1. Is (c - (0 + 1)) + 14 a multiple of 11?
True
Suppose -50 + 9 = 3*k - 2*l, -2*l = -8. Let a = -7 - k. Is 2 a factor of a?
True
Let u = -59 + 92. Suppose -4*y + 27 = -u. Does 4 divide y?
False
Let o(s) = -22*s + 4. Is 11 a factor of o(-1)?
False
Suppose 4*r - 43 = 197. Does 6 divide r?
True
Suppose 4*n - 3 - 41 = 0. Is n a multiple of 11?
True
Let u = 96 - 58. Is u a multiple of 27?
False
Let r = -3 - -9. Let j(v) = v**2 - 5*v + 1. Does 7 divide j(r)?
True
Let x(y) = y - 2. Let u be x(2). Suppose u = w + w. Suppose w = 3*m - 4*s - 52, m - 6 = -5*s + 5. Is m a multiple of 9?
False
Suppose -5*x = -5*u + 35, 0 = -5*u + u + 12. Let c(d) = -d**3 - 3*d**2. Is 16 a factor of c(x)?
True
Let q = -1 - 0. Let r(p) = p + 16. Let s be r(-11). Does 5 divide s/2*(q + 3)?
True
Let l(f) = 36*f. Let p be l(1). Let c = p + -15. Is 12 a factor of c?
False
Let i = 2 + -7. Let h be ((-18)/15)/(2/i). Suppose 0 = -3*g + 51 + h. Does 9 divide g?
True
Let w be 124/2 - (1 - 2). Suppose 9 = 3*a, 2*l - 4*l + w = 5*a. Is 8 a factor of l?
True
Let j(z) = z**3 - 16*z**2 - 24*z - 9. Is 23 a factor of j(18)?
True
Let l(f) = f**2 - 2*f + 1. Let r be l(3). Suppose -r*b + 164 = 5*j - j, -4*j = -20. Suppose 3*z - 15 = b. Is z a multiple of 9?
False
Suppose 3*a + 77 = -0*q + q, 2*q + 3*a = 145. Suppose 4*u - 136 = 4*o, -5*o + q = 4*u - 62. Is 7 a factor of u?
False
Let p be 7/((-14)/(-4)) - -60. Suppose -3*k + h = -113, 0 = -2*k + 4*k + 2*h - p. Does 18 divide k?
True
Let z(n) = n**2 + n + 4. Is z(4) a multiple of 12?
True
Let b = 102 - 28. Suppose b - 14 = 5*c. Does 10 divide (8/c)/(2/39)?
False
Let a = -22 - -27. Suppose -a*l + 235 = -245. Is 32 a factor of l?
True
Let q(a) = -4*a + 9. Let w(v) = 1. Let r(t) = q(t) - 3*w(t). Let m(b) = 7*b - 11. Let f(z) = -3*m(z) - 5*r(z). Is f(-9) a multiple of 12?
True
Let d be (373 + -5)*10/8. Suppose 5*p - d = -0*p. Does 23 divide p?
True
Let v be 10/(-4)*(-12)/10. Let n(f) be the second derivative of f**4/6 - 2*f**3/3 + f**2 - 2*f. Is n(v) a multiple of 4?
True
Is 8 a factor of 2/(-2) - (-27)/(-6)*-8?
False
Let p(i) = -44*i - 1. Let m be p(-2). Suppose 2*s - m = -r - 4*r, s = -2*r + 35. Does 17 divide r?
True
Let y(o) be the first derivative of o**5/20 - o**4/12 - o**3/6 + o**2 - 2*o + 2. Let p(m) be the first derivative of y(m). Is 4 a factor of p(2)?
True
Let m(a) = -22*a + 1. Let f be m(1). Let u = 65 - 52. Let n = u - f. Is n a multiple of 17?
True
Let t(a) = a + 1 - a - 13*a**3 + 4*a - 2*a. Is 6 a factor of t(-1)?
True
Suppose -2*o = -4*l - 34, o - 11 = -0*o + 5*l. Does 4 divide o?
False
Let u(i) = -2*i**3 - 7*i**2 - 3*i + 4. Let g be u(-4). Is 15 a factor of 1 - 6*g/(-12)?
False
Suppose -4*y = -2*j - 22, -4*y + j + 4 = -19. Does 5 divide y?
False
Let c(v) = -v**2 - 3*v - 4. Let p be c(-3). Let n = p + 6. Does 7 divide (27/6 - -1)*n?
False
Let b = -24 + 51. Let i = 42 - b. Suppose -i = 3*u - 6*u. Is u even?
False
Suppose q - 40 = -3*s - 11, -3*q - 4*s = -67. Let v = q + -10. Does 7 divide v?
True
Let f(i) = i**2 + 10*i + 10. Let t be f(-8). Let s be (-22)/(1*(-1)/t). Does 3 divide (-2)/7 - s/21?
True
Suppose -g = -3*y - 3*g + 228, 5*y - g - 367 = 0. Suppose -49 = -5*v + 3*o, -5*o = -5*v - 19 + y. Is 7 a factor of v?
False
Let k(c) = 3*c + 1. Let t be k(-2). Let g = -9 - t. Does 21 divide (-117)/g - (-5)/(-20)?
False
Suppose 3*b = -j + 14 - 2, -3 = -j. Suppose -4*c + b*c + 61 = 0. Let i = c + -29. Is 11 a factor of i?
False
Let q = 4 - 0. Let v(a) = a**3 - 4*a**2 + 4*a. Let n be v(3). Let g = n + q. Is g a multiple of 3?
False
Let c(i) = 8*i**2 - 3*i + 1. Does 8 divide c(3)?
True
Let n = 30 - 21. Does 2 divide n?
False
Suppose 4*b - 62 = -6. Suppose -4*l + 106 + b = 0. Suppose r - l = -4*r. Does 2 divide r?
True
Let p be ((-160)/(-25))/(4/10). Let t(o) = -6*o**3 - o**2 + o. Let l be t(1). Let n = p + l. Does 4 divide n?
False
Let w(p) = 2*p + 76. Is w(-19) a multiple of 2?
True
Suppose q - 9 + 30 = 0. Let w = -50 - -89. Is (-5)/(-2 - w/q) a multiple of 13?
False
Let g = 43 + 65. Does 36 divide g?
True
Let j(a) = a**3 + 6*a**2 + 4*a. Let l be j(-6). Suppose -32 = -2*y + 5*i, -5*y + 38 = -3*i - 4. Is y/l + (-114)/(-8) a multiple of 14?
True
Let z(k) be the first derivative of -k**5/60 - k**4/24 + 2*k**3 - 2*k**2 - 3. Let q(o) be the second derivative of z(o). Is q(0) a multiple of 6?
True
Suppose t = -t - 3*v + 13, t - 3*v - 11 = 0. Let a = t - 5. Is 3 a factor of a?
True
Suppose 2*u - 167 = 4*m - 15, 0 = 2*u - 5*m - 148. Suppose 5*a = -14 + u. Is 14 a factor of a?
True
Let c(y) be the first derivative of -y**2/2 - 4*y - 1. Let d be c(-6). Is 7 a factor of d/(2/14*2)?
True
Does 5 divide (9/18)/(2/32)?
False
Let b(x) = x**2 + 2*x + 16. Is 34 a factor of b(-12)?
True
Let s(z) be the third derivative of -z**6/120 + z**5/12 + z**4/24 + z**3/6 - 2*z**2. Let k be s(5). Let p(r) = 2*r - 7. Is 4 a factor of p(k)?
False
Suppose z - 4*z = -30. Is 3 a factor of z?
False
Let k be (-20)/(-16)*(-20)/(-1). Let c = k + -6. Is (c/(-2))/(1/(-4)) a multiple of 16?
False
Let o(j) = 9 - 1 + j + j**3 - 3. Is o(0) a multiple of 2?
False
Let q(n) = 23*n**2 - 2*n. Is 32 a factor of q(-2)?
True
Suppose -2*n = -3*i + n + 3, -2*n + 10 = 2*i. Let h(b) = -b + 5. Let p(s) = s - 4. Let u(f) = 4*h(f) + 5*p(f). Does 3 divide u(i)?
True
Suppose 2*p + 6 = 5*p, -54 = -2*h - p. Does 9 divide h?
False
Let w = 434 + -263. Does 19 divide w?
True
Let j = 165 - 66. Is 11 a factor of j?
True
Let j be -2*(-2)/8*0. Suppose d + 6 = -j. Let p = -4 - d. Is p a multiple of 2?
True
Let h = 20 + -4. Does 4 divide h?
True
Let i(u) = -u**3 + 6*u**2 + 2*u - 6. Let n be i(5). Let q = n - 1. Does 10 divide q?
False
Suppose 0 = g - 0*g - 5*n - 54, 4*g + n - 279 = 0. Suppose 2*m + 3*m - g = -2*i, -2*i - 35 = -3*m. Does 13 divide m?
True
Let u(x) = -x**3 - 3*x**2 + 5*x - 5. Let p(s) = -4*s**2 - 1. Let f be p(1). Is 13 a factor of u(f)?
False
Suppose -z - 6*q + 45 = -q, 0 = q. Let i(r) = -74*r. Let o be i(-1). Let u = o - z. Does 13 divide u?
False
Is 24 a factor of (-5590)/(-117) - 2/(-9)?
True
Let h(w) = w + 2. Let r(c) = -1. Let z(o) = 4*h(o) + 10*r(o). Suppose 3*t - 24 = -9. Does 9 divide z(t)?
True
Suppose 2*n + 3*x - 179 = 2*x, 5*x + 117 = n. Suppose -2*j + n = -10. Suppose -j = -5*s + 24. Is s a multiple of 10?
False
Let o(z) = -z**3 + 6*z**2 + 10*z - 7. Let l(t) = -2*t**3 + t**2 + t + 1. Let n be l(-1). Suppose 2*a = 5*a - n*r - 24, 0 = -a - 3*r. Does 20 divide o(a)?
False
Suppose 58 = 3*l - s, 0 = 2*l - 6*l + 4*s + 88. Is 6 a factor of l?
True
Let q(d) = d**2 - 2*d - 1. Suppose g - 7 = t, 0*g + g - 4*t = 16. Let z = g - 1. Does 2 divide q(z)?
True
Let f(i) = -i**3 - 5*i**2 + 4*i + 6. Let q be f(-6). Suppose 20 = -4*c, z - q = 3*c - 0. Suppose 4*a + z*b = 48, 4*a + 0*b - 40 = -b. Is 5 a factor of a?
False
Let n(j) = 3*j**3 - j**2 - j + 1. Let w be n(3). Let d = 50 - w. Is 11 a factor of (72/d)/((-6)/20)?
False
Suppose 0 = 2*o + 4*z + 42, 3*o + o - 2*z = -34. Is 10 a factor of (-6)/33 + (-552)/o?
True
Let h(k) = k**2 + 7*k - 3. Let g be h(-8). Suppose -g*j + 37 = -38. Does 11 divide j?
False
Let t be 12/10 - 2/10. Let s be t/(-4) + 42/8. Suppose 0 = -s*a - b + 115, 2*a + b - 39 = 2*b. Does 11 divide a?
True
Let w(m) = m**2 - 7*m - 16. Does 14 divide w(11)?
True
Let k be (-146)/6 + (-2)/(-6). Let f be (-1)/((-3)/k) - -2. Is 13 a factor of ((-78)/(-9))/((-2)/f)?
True
Let o(f) = f**3 + 9*f**2 + 3*f + 3. Let z be o(-9). Let l = z - -34. Is 4 a factor of l?
False
Suppose -5*y + 4 = 4*k, 2*k + k = -4*y + 3. Suppose 7*v - 42 = 4*v + 3*p, y = -v + 3*p + 4. Is v - (0 + 1)/(-1) a multiple of 10?
True
Suppose 7*q - 3 = 4*q, -2*q - 14 = -4*r. Suppose 2*z - 6 = -3*c, r*z + c + 3 = 5. Suppose z 