0 + 1/60*a**5 - 1/12*a**4 - 2*a**2. Is n(2) even?
True
Let d(h) = -2*h + 5. Suppose 4*j + 4*b = 4, j - 3*b - 11 = b. Suppose -5*p - j*k = 32, -3*k - 11 = 1. Is d(p) a multiple of 13?
True
Suppose 0 = 4*c - r - 188, -74 - 20 = -2*c + 5*r. Is c a multiple of 14?
False
Let b = 14 - 20. Let w = -2 - b. Suppose -8 - w = -v. Is 5 a factor of v?
False
Suppose -r = -2*r + 3*c + 6, 4*r + c - 89 = 0. Does 7 divide r?
True
Suppose k - 2 = 3*r, -2*r - 4 = -4*k + 3*k. Is k a multiple of 6?
False
Let y(k) be the second derivative of 3*k**3 - 5*k**2/2 + k. Let q be y(4). Suppose -5*u + 3*c + q = 0, -2*u + 0*c = c - 29. Does 4 divide u?
False
Is 12 a factor of 2/(-4) - (-3514)/28?
False
Let c(o) = -5*o + 6. Does 18 divide c(-6)?
True
Let v be 40 + -3 - (4 + -1). Suppose -4*h = -v + 10. Does 5 divide h?
False
Suppose -n = 4*n + 10. Let r(c) = -13*c - 3. Is 23 a factor of r(n)?
True
Let c(g) = -2*g + 16 - 3*g + 2*g - g. Is 16 a factor of c(-12)?
True
Let c(q) be the second derivative of q**3/6 - 4*q. Let f be c(-1). Is 2 a factor of f/(-4) - 54/(-8)?
False
Let n(a) = -a**3 - 7*a**2 - a + 1. Let c be n(-7). Let v = c + -15. Let d = 7 - v. Is d a multiple of 14?
True
Suppose 3*w = 5*w - 3*z - 53, -w + 24 = -z. Does 5 divide w?
False
Suppose -7 = 5*a - 2. Let y = 11 - 12. Is 3 a factor of 7 - (a + 1 - y)?
True
Suppose -4*k + 6*c - 2*c = -20, 2*k + 5*c + 18 = 0. Is k*7/(14/36) a multiple of 18?
True
Suppose 5*b - 26 = -6. Is b a multiple of 3?
False
Suppose 0*x + 4*x = -4*a + 80, -64 = -4*a + 4*x. Is a a multiple of 18?
True
Is 5 a factor of 1 + (-3 + 1 - -8)?
False
Suppose -4*v + x + 987 = 2*x, 5*v - 1233 = -2*x. Is 19 a factor of v?
True
Suppose 0*q - 100 = -4*z - 3*q, 0 = -3*z - 3*q + 75. Suppose 4*g - z = -g. Is 2 a factor of g?
False
Does 35 divide 144/2 + (-6)/(-12)*-4?
True
Suppose m + 0*m - 3 = 0. Suppose -m*k = f + 13, -f + 3*f + 5*k + 22 = 0. Does 11 divide (-20)/2*f + 1?
True
Suppose 3*s - 58 = 2*t - 5, 0 = -t - s - 14. Let i = t - -40. Suppose i = 4*z - 39. Does 12 divide z?
False
Let x be 13 + (2 - -2) + -8. Let p = 6 + x. Does 4 divide p?
False
Let f(b) = b + 3. Let r be f(-5). Let v(m) = 3*m**3 + m**2 + 2*m + 1. Let l be v(r). Let p = l + 54. Is p a multiple of 9?
False
Is 16 - (0 + (0/(-3) - -2)) a multiple of 7?
True
Suppose -16 = -5*d + 3*d. Suppose -4*j = d, 6*j - 3*j - 4 = -5*b. Is 13 a factor of -1 - (-33 - (0 - b))?
False
Suppose -5*u - 5 = 0, 0 = -2*s + 5*u + 62 - 1. Does 6 divide s?
False
Let c be (-1)/((-2)/(-4)*2). Let j = 10 + c. Is 9 a factor of j?
True
Let l(k) = -k**3 + 9*k**2 - 6*k - 2. Suppose -15 = o - 4*o. Suppose 35 = o*b + g, -b + 17 = -3*g - 6. Does 7 divide l(b)?
True
Let p = 1 - -34. Is 35 a factor of p?
True
Let c be ((-2)/(-3))/((-4)/(-18)). Is c/2 + (-36)/(-8) a multiple of 3?
True
Suppose 2*n + 37 + 55 = 3*x, n + 94 = 3*x. Is x a multiple of 16?
True
Let i = -5 - -9. Suppose 0 = 5*o + i*h - 239, 2*o + 3*o - 231 = 4*h. Suppose -4*u + o = 3. Is 11 a factor of u?
True
Suppose 2 + 2 = -4*c. Is 46 + c + (-4 - -2) a multiple of 18?
False
Let p = 9 - 5. Suppose 5*f + 4*c = 30, -5*f - 20 + 5 = -5*c. Suppose -4*u = p*v - 12, -f*u + 2*v = u - 34. Is 4 a factor of u?
True
Let i be ((-32)/12)/((-4)/6). Suppose i*k - 120 = -k. Is 12 a factor of k?
True
Suppose -5*v - 58 = -378. Suppose 3*s = -3*k + 42, 5*s + 5*k - v = 3*k. Is s a multiple of 10?
False
Let m(t) = t**2 + 11*t + 39. Does 14 divide m(-14)?
False
Suppose 5*u - 7*u = -48. Is 6 a factor of u?
True
Suppose 30 = 4*v + 4*q - 246, -3*q = 5*v - 339. Does 11 divide v?
True
Suppose -2*l + 5*l = 18. Is 19 a factor of (209/33)/(1/l)?
True
Suppose -3*o - 8 = 1. Let j(l) = -2*l**3 - 5*l**2 - 4*l - 4. Does 8 divide j(o)?
False
Suppose 2*j = -3*l + 17, -5*l + j = 2*j - 26. Suppose -l*k - 61 = 3*w - 241, 0 = w + k - 60. Does 22 divide w?
False
Let r = -60 - -112. Does 11 divide r?
False
Let w = 292 - 196. Is 16 a factor of w?
True
Suppose 0 = -2*t - 10 + 212. Let h = 150 - t. Is 15 a factor of h?
False
Let p be -1*(2 - 24) - 0. Suppose 3*s + 2*s = -2*l + p, 113 = 5*l - 2*s. Let r = 38 - l. Is 12 a factor of r?
False
Let b(q) = -4*q**3 + q. Let g be b(1). Let j = g - -7. Suppose -3*u - 5*o + 25 = 0, -5*u + 71 = j*o - 3*o. Does 15 divide u?
True
Is 790/20 - 5/(-2) a multiple of 3?
True
Is (-240)/(-2) - (-13 + 9) a multiple of 31?
True
Let t be (5/(-10))/(2/(-180)). Is 15 a factor of 272/9 - 10/t?
True
Let c be 4/(-10) - (-22)/5. Let w = -2 + c. Is 13 a factor of (w/(-4))/(3/(-84))?
False
Let c = -65 - -211. Let p = c - 97. Suppose 8*r - 3*r = -2*o + 125, 0 = o - 2*r - p. Is o a multiple of 22?
False
Let r be 6 + -6 + 3*1. Let z = r + -1. Is 4 a factor of 0 - (-9 - (z - 0))?
False
Let v = 19 - 34. Let a be (-3)/v - 1/5. Suppose a = 2*c + l - 21, -2*c - 6*l + 2*l = -18. Is 3 a factor of c?
False
Let x be -1 + -6 + (1 - 3). Is 11 a factor of (44/6)/((-3)/x)?
True
Suppose 0 = -h + 4 + 1. Suppose -2*m + 2 = 0, 4*m - 2*m + 28 = h*c. Does 3 divide c?
True
Suppose -3*o + 204 - 25 = -5*m, -4*o + 5*m = -232. Does 18 divide o?
False
Suppose 0 = -h + 5*h - 180. Does 15 divide h?
True
Let o = -7 - -27. Is 10 a factor of o?
True
Let b = 15 - 13. Suppose 3*r - 27 = p, -9 = -b*r + r + 5*p. Is r a multiple of 4?
False
Let d(j) = -2*j**3 - 2*j**2 - 2*j - 17. Does 31 divide d(-5)?
False
Let v(g) = 24*g**2 + 1. Let r be v(-1). Let y = 43 - r. Let w = y + -10. Is 4 a factor of w?
True
Suppose -2*o = 2*o. Let w(c) = c + o*c - c**2 + 6*c**2 - 1. Is 15 a factor of w(2)?
False
Does 7 divide 642/24 + 2/8?
False
Let i be -9*-1*(-3)/(-9). Is 108/30*70/i a multiple of 21?
True
Let m = -69 - -110. Suppose n = -4*y + 87, -52 = -4*y + 5*n + m. Is 11 a factor of y?
True
Let z be 75/(-6) - 2/4. Does 7 divide z/(-2) - 1/(-2)?
True
Let l(x) = 33 - 66*x + x**2 + 66*x - x**3. Is l(0) a multiple of 11?
True
Let d(w) = -w - 6. Let m be d(-8). Is 11 a factor of m/17 - (-3564)/51?
False
Let p = 16 - 4. Does 6 divide p?
True
Suppose -2*h - 10 = -8. Let c = h + 24. Is 23 a factor of c?
True
Let z(t) = 2*t + 1. Suppose -2*r = 2*a - 12, 5*r + a - 31 - 3 = 0. Is z(r) a multiple of 5?
True
Suppose 0 = -5*u + 24 + 1. Is u a multiple of 2?
False
Suppose -900 = -17*h + 5*h. Is 18 a factor of h?
False
Let v = 6 + -2. Let x be v - (-4*1)/(-2). Suppose x*t = -4*n + 3*n + 8, 0 = -n - 4*t + 8. Is 4 a factor of n?
True
Suppose 5*h - 2*h + b = 45, -3*h - 4*b = -54. Let a = 22 - h. Let y = 14 - a. Does 5 divide y?
False
Does 6 divide (30 - (1 + -4)) + -3 + 0?
True
Let o = 14 - 6. Let y = 23 - o. Does 13 divide y?
False
Let p = 48 - 21. Suppose -o + p - 4 = 0. Is 12 a factor of o?
False
Suppose -96 = -u - 3*u. Is 4 a factor of u?
True
Let y = 79 - 21. Does 29 divide y?
True
Suppose 2*n - 7 = -5*o, 0 + 4 = 5*n - o. Let m(q) = 0 + 2 + 6*q - n - q. Is m(1) a multiple of 5?
False
Let x(v) = 2*v**2 - v - 8. Is x(4) a multiple of 5?
True
Let f(r) = -r**2 - 5*r - 4. Let t be f(-5). Is 6 a factor of (-5 - t)/((-2)/16)?
False
Let s(w) = -w**3 - 23*w**2 - 42*w + 21. Is s(-21) a multiple of 7?
True
Let r(j) = -9*j**3 + j**2 + 4*j + 5. Does 28 divide r(-2)?
False
Suppose -4*d - 6 + 2 = 0. Is (-5 - -7) + (41 - d) a multiple of 16?
False
Let t(m) = 3*m**3 - 5*m**2 + 5*m - 4. Does 13 divide t(3)?
False
Suppose 4*d = -2 + 18. Is d even?
True
Let h(k) = k**3 - k**2 - k + 48. Does 14 divide h(0)?
False
Let s = 1 + -6. Let a(w) = w**2 - 7*w - 6. Is 27 a factor of a(s)?
True
Let z = 1 + 4. Suppose 4*f - 8 = 0, -z*l + 3*f + 98 = -76. Does 9 divide l?
True
Let g = -8 + 4. Let p = g - -2. Let s(x) = -8*x. Does 13 divide s(p)?
False
Suppose -24*y - 134 = -22*y. Suppose -k + 105 = -3*n, -k = -4*n - 74 - 26. Let r = k + y. Does 15 divide r?
False
Let n(v) = 3*v**2 - 14*v - 30. Does 41 divide n(-9)?
False
Let z(h) = -h**2 + 11*h + 16. Let y = 27 + -15. Let j be z(y). Suppose -j*t + 11 = -93. Is t a multiple of 13?
True
Let j be (-3)/(-1 - 0/(-2)). Suppose 0*l = 2*l + 4. Does 4 divide (-19)/l + j/(-6)?
False
Does 11 divide (-143)/13*(1 - 2)?
True
Let h = 2 - -4. Let u = h + 3. Is u a multiple of 9?
True
Let i(q) = q**3 - 4*q**2 - 6*q + 2. Suppose -7 = -2*p + 2*c - c, 4*p + 2*c - 18 = 0. Suppose 2 = a - 5*l - p, 0 = 3*a + 5*l - 18. Does 12 divide i(a)?
False
Let s(x) = x**2 + 3*x - 6. Let g be s(8). Suppose -5*r - 67 = -5*u + 33, -g = -4*u + 5*r. Is u a multiple of 18?
True