-14*i + x. Is i even?
True
Let b(l) = -51*l - 4. Let m be b(-1). Is (-8 - -11)*m*1 a multiple of 7?
False
Let r(h) be the second derivative of -37*h**3/6 - h**2/2 - h. Let m(n) = -2*n - 7. Let u be m(-3). Is r(u) a multiple of 16?
False
Suppose -2567 = -5*n - 737. Is n a multiple of 8?
False
Let m = -40 + 44. Let s = 3 + m. Is s a multiple of 5?
False
Let u = 502 - 281. Is 13 a factor of u?
True
Suppose -4*p - 125 = 3*m - 1176, 0 = -4*m + 4*p + 1364. Is 23 a factor of m?
True
Let k(b) = -33*b - 1. Suppose 4*d - 2*n + 4*n + 30 = 0, -2*n - 35 = 5*d. Let c be k(d). Is 22 a factor of ((-4)/8)/((-2)/c)?
False
Let f = -69 + 77. Let k(h) = 2*h - 2. Let v be k(3). Let c = f - v. Does 3 divide c?
False
Is (1 + -4 - 1)/((-508)/81153) a multiple of 2?
False
Suppose 3*u = -u - 44. Let x = u + 2. Let w(t) = -3*t - 10. Does 9 divide w(x)?
False
Suppose -3*q - 16 = -4*l - 5, q = l - 2. Suppose q*u = -a + 2*a - 59, 0 = 3*a - 4*u - 152. Does 3 divide a?
False
Suppose -3*p + 11 = 56. Let w be (-1750)/p + 2/(-3). Suppose 0 = 5*x + w - 386. Is 23 a factor of x?
False
Let b(m) = 1409*m**2 + 8*m - 3. Is b(1) a multiple of 101?
True
Let m(q) = -7*q**3 - q**2. Let d be ((-1)/(-3))/(4/12). Let k be m(d). Is -4*(-2)/(k/(-6)) a multiple of 3?
True
Suppose -3 = -3*r, 0 = 3*d + 3*r - r - 8. Suppose -3*o - d*m + 15 = -0*m, -2*m - 6 = 0. Is o a multiple of 7?
True
Suppose 4*m + 2*p = 10, -3*m + 10 = -3*p + 25. Suppose -85 = -m*h - h. Is h a multiple of 22?
False
Suppose 841 = 4*h - 5*u, 995 = -30*h + 35*h + 5*u. Does 13 divide h?
False
Let w be 7 + -403 - (-6)/(-2). Let s = -233 - w. Is s a multiple of 18?
False
Let u(r) = r**2 + 4*r - 1. Let i be u(-5). Is 12 + -2 - (i - 1) a multiple of 2?
False
Does 22 divide (-389 + -5)*3/(-3)?
False
Let u = 371 + -179. Is u a multiple of 8?
True
Suppose 0 = -3*w + 5*i + 1876, 7*w - 6*w - 612 = -i. Does 51 divide w?
False
Suppose 595*n - 589*n - 2346 = 0. Does 53 divide n?
False
Suppose 2*y = -5*z + 1017, -3*z = -5*y + 924 + 1665. Does 78 divide y?
False
Let y(o) be the third derivative of -5*o**4/8 - 5*o**3 - 33*o**2. Is 5 a factor of y(-7)?
True
Let v = 23 - -56. Is v a multiple of 6?
False
Is (-42)/39*-1831 + (-26)/(-169) a multiple of 12?
False
Let u(f) = -f**2 - 46*f + 20. Does 14 divide u(-38)?
False
Let t be ((3 - 1) + -1)*466. Suppose -4*f = h - 177, t = 3*h + 2*f - 3*f. Suppose 4*n = -3*w + h, n - 2*n = -3*w + 167. Does 22 divide w?
False
Suppose 6 = 5*l - 9. Let u(a) = 13*a - 1. Let p be u(l). Let h = p - -44. Does 13 divide h?
False
Let c = 0 + -2. Let d(z) = 3*z**2 + 1. Let u be d(1). Is 18 a factor of u/8*c + 33?
False
Suppose c + 54 = -2*o, 4*c + 2*o = 6*o - 192. Let r = -14 - c. Is r a multiple of 9?
True
Suppose 0 = -16*y + 9*y + 4060. Is y a multiple of 24?
False
Let a = -1 + 6. Let m be (-92)/(-3) + a/15. Is 15 a factor of -1 + m + 1 - 1?
True
Is 106 a factor of (-3192)/210*265/(-2)?
True
Suppose 5*x + 0*a + 2*a = 2839, 2*x + 4*a - 1126 = 0. Does 44 divide x?
False
Let i be (-2)/(-10) - (-2922)/15. Suppose 5*s - 159 = -3*v, -2*v - 2*v - s + i = 0. Is 23 a factor of 8/(2 + v/(-25))?
False
Suppose 0 = -4*b - 3*n, b - 3*n = -4*b - 27. Let j(m) = 7*m**2 + m + 1. Does 10 divide j(b)?
False
Let t(u) = u**3 + 19*u**2 - u - 17. Let z be t(-19). Is (z/(-4))/(4/(-416)) a multiple of 13?
True
Suppose -2*o + 6 = 2*m, -2*m + 5*o = -0*m - 6. Suppose -5*y - 40 = m*b, 4*b - 8*b = -2*y + 10. Let p(a) = a**3 + 4*a**2 - 8*a - 4. Is p(y) a multiple of 3?
False
Suppose -3*a + 1200 = 3*c, 2*a + 27*c - 32*c = 793. Is a a multiple of 8?
False
Suppose 47*s - 42*s = -170. Let g = s - -60. Is 13 a factor of g?
True
Let q be 3/2 - 18072/16. Is 22 a factor of q/(-48) + (-3)/2?
True
Let g(y) = -2*y - 8. Let h be g(-6). Let d(v) = v**3 - 3*v**2 - 3*v - 1. Let q be d(h). Suppose q*o + 4*f = 52, 0*f + 31 = 2*o - f. Does 16 divide o?
True
Suppose 6*s - 27 + 3 = 0. Suppose 274 = s*l - 374. Is 18 a factor of l?
True
Let y be 33/(-22)*(15/9 + -1). Does 13 divide (-3)/(-6)*y*-142?
False
Let n = -171 + 117. Let a be 44/10 - n/90. Suppose 0 = a*p + 4*l - 66, 0*p - 3*p + 18 = -3*l. Does 3 divide p?
False
Let d(c) = c**3 + 15*c**2 + 5*c - 3. Let q be d(-13). Let y = -191 + q. Is 14 a factor of y?
False
Let m(d) = -d**3 + 11*d**2 + 5*d - 13. Let j(t) = -5*t. Let h be j(-1). Suppose -h*y = 3*s - 40, -3*y = -s - 0*s - 38. Does 21 divide m(y)?
True
Let m be 4/(-16) - 17/(-4). Suppose 188 = m*c - 4*g - 20, 184 = 3*c + 4*g. Is 28 a factor of c?
True
Let z = -5 - 2. Let a(p) = p**2 + 7*p + 2. Let x be a(z). Suppose -4*u + 165 = x*j + j, -2*u - j + 81 = 0. Is u a multiple of 11?
False
Let q(i) be the third derivative of -1/15*i**5 - 1/2*i**3 - 1/12*i**4 - 1/60*i**6 + 0*i + 0 + 2*i**2. Is q(-3) a multiple of 21?
True
Suppose 3*b + 5*z - 4631 = 0, -4666 = -3*b + 62*z - 60*z. Is b a multiple of 8?
True
Suppose 3*u - 278 = -67*l + 62*l, 0 = 5*l + 25. Is 6 a factor of u?
False
Suppose 0 = 37*i - 22147 - 11893. Does 8 divide i?
True
Let z(u) be the second derivative of -u**5/20 + 7*u**4/6 + 5*u**3/6 + u**2 + u. Is z(14) a multiple of 8?
True
Suppose 1056*b - 30189 = 1027*b. Is b a multiple of 3?
True
Let g(p) = 3*p**3 + p + 4. Let q be g(-3). Let f = q + 139. Is 12 a factor of f?
False
Suppose 3*g - 80 = -29. Suppose -21*k = -g*k + 48. Is (-2)/(0 + 3/k) a multiple of 8?
True
Let a be (70/(-3))/(3/(-9)). Suppose z - 4*u = a, 259 = -2*z + 6*z + 5*u. Does 15 divide z?
False
Suppose v + 185 = -3*g - 4*v, 3*g = 2*v - 220. Let o be (-2 + 1)/(2/g). Is 11 a factor of 850/o - (-4)/(-14)?
False
Let u = -100 + 148. Suppose 3*x + 292 = 2*z + 3*z, u = z + 2*x. Is z a multiple of 15?
False
Let n(w) = -33*w + 75. Does 9 divide n(-14)?
False
Let a be (1 + (-114)/3)/(-4 + 3). Let c = 43 - a. Is c a multiple of 6?
True
Let i(z) = z**2 + 19*z + 83. Is 4 a factor of i(-5)?
False
Let j = -123 + 87. Let q be (10/3)/(j/(-54)). Suppose -q*l + 125 = 20. Does 21 divide l?
True
Let k = 7 - -125. Is k a multiple of 3?
True
Let w(a) = 6*a**2 - a + 12. Let j be w(-4). Is j - 0 - 32/(-8) a multiple of 12?
False
Is (-836)/(-30) - (-2)/15 a multiple of 2?
True
Suppose -26*y + 32*y = 1896. Does 13 divide y?
False
Let j(f) = 6*f. Let l(a) = -6*a**2 - 10*a + 13. Let i(c) = -c**2. Let v(m) = -5*i(m) + l(m). Let p be v(-11). Is 6 a factor of j(p)?
True
Does 44 divide ((-44)/(-6))/((-2)/(-72))?
True
Let i = 401 + -241. Is 5 a factor of i?
True
Does 18 divide (-240051)/(-210) + (-5)/50?
False
Suppose -16 = 4*z, -3*m + z + 0 + 1 = 0. Is 22 a factor of (-19)/m - (-1 - 2)?
True
Let v(p) = p**2 + 21*p - 10. Let z be v(-8). Let k = 304 + z. Is k a multiple of 19?
True
Let d be (-5)/(-2) - (-2)/(-4). Suppose 0 = 2*q - 4 - 8. Suppose -i = d*m - 19, m = 2*i - 29 + q. Does 7 divide i?
False
Let d(o) = o**3 - 3*o**2 - 11*o + 5. Let q be d(5). Suppose r + 3*l - 14 = -q*l, 5*l - 30 = -5*r. Is 29 a factor of 3/(5 - r)*29?
True
Suppose -1636 + 4876 = 6*d. Is d a multiple of 30?
True
Let v be -2 - -4 - 1 - 2*3. Let l = v - -20. Is l a multiple of 3?
True
Suppose 0 = 4*v - 8*v + 3*w - 29, 4 = -4*w. Let u = v - -13. Suppose u*p - 76 = -s + 15, 0 = -4*p - 20. Is 30 a factor of s?
False
Let g be 6/3 + (3 - 3). Suppose -2*z - z = -3*f - 636, -g*z = -3*f - 427. Suppose -5*h - 29 + z = 0. Does 30 divide h?
False
Let f = 273 + 497. Suppose f = q + 9*q. Is q a multiple of 8?
False
Let i(y) = -y**3 - 11*y**2 - 11*y - 6. Let r = 13 - 15. Let c be (-13)/(r + 3) - -3. Is i(c) a multiple of 3?
False
Suppose 372 = -38*g + 9416. Is g a multiple of 3?
False
Let r be 16/(-10) + (-24)/60. Let v be (0 - 0)/(-4 - r). Suppose v = -4*c + 194 + 54. Is c a multiple of 41?
False
Suppose 4*k - 36*k = -20736. Is 58 a factor of k?
False
Suppose 0 = -4*b + 2111 + 161. Suppose 0 = -2*f - 8, 0*f - 4*f = -4*d + b. Is 46 a factor of d?
True
Suppose 0 = -5*w + 10*w - 3185. Does 13 divide w?
True
Let s(c) = c**2 - c. Let z(o) = -o**3 + 20*o**2 + 9*o + 4. Let r(d) = 5*s(d) + z(d). Does 44 divide r(25)?
False
Let x be (-2)/(-13) + (-5173)/(-91). Suppose -5*v - 84 = -3*l, 5*l = 7*l - 3*v - x. Does 7 divide l?
False
Suppose 23 - 31 = x. Let h = x - -177. Does 30 divide h?
False
Let q(d) be the second derivative of -d**4/12 + 7*d**3/6 - d**2/2 + 3*d. Let a = 0 - -5. Does 3 divide q(a)?
True
Let k = 83 - -1. Let m = 154 - k. Is m a multiple of 12?
False
Let o(u) =