 + 1. Let k be t(n). Suppose 3*l = k*l - 145. Is 16 a factor of l?
False
Let w(l) = l**3 - 15*l**2 - 2*l + 30. Let u be w(15). Let a be (-409)/4 + 3/12. Does 20 divide (-1)/(u - (-2)/a)?
False
Suppose -22 - 24 = -2*z. Let n = -16 + z. Suppose -i = -3*q + 8*q - 37, -n = -2*q - 3*i. Is q a multiple of 4?
True
Suppose -24 = -d + 5*r + 98, 4*d - 5*r = 533. Is d a multiple of 30?
False
Let l(y) = -3*y - 4. Let d be l(-4). Suppose 7 = 3*p - d. Suppose -2*h + 2 = -p*u, -h - 4*u + 12 = -2. Is 3 a factor of h?
True
Suppose 0 = -4*r - 35 + 179. Does 12 divide r?
True
Suppose -2*l = 5 - 11, l = -5*p + 18. Suppose -p*v - v + 20 = 0. Suppose -7 = -k - 5*t + 16, 0 = 3*k - t - v. Does 3 divide k?
True
Suppose 62 + 1 = 7*c. Is c a multiple of 3?
True
Suppose -2*w - 3*w + 25 = 0. Suppose 5*f - w = 0, -16 = -2*s - f + 53. Is 24 a factor of s?
False
Let o = 4 + -1. Suppose f - 8 = -2*r + 2*f, 0 = 5*r - o*f - 19. Suppose r*m - 88 = m. Is m a multiple of 8?
False
Let w(j) = j**3 - 11*j**2 + 6*j + 18. Does 27 divide w(12)?
False
Let m = 135 + -80. Suppose 15 = -3*k, 3*i - 4*i + m = -4*k. Is 10 a factor of i?
False
Suppose 5*l + k - 616 - 479 = 0, 657 = 3*l + 4*k. Is 27 a factor of l?
False
Let d(r) be the third derivative of r**6/120 - 2*r**5/15 + 3*r**4/8 - r**3/3 + 2*r**2. Let q be d(7). Suppose q - 53 = -y. Does 12 divide y?
False
Let i = -10 + 15. Let q(l) = 6*l + 6. Is q(i) a multiple of 16?
False
Suppose -50 = 4*m - 194. Does 10 divide m?
False
Suppose 2*c = x + 31, 0*x - 79 = -5*c + 2*x. Is c a multiple of 4?
False
Let l be 0*(-1 + -1 + 1). Suppose l*g + g = 1. Let o(j) = 21*j**3 - 2*j**2 + 1. Does 14 divide o(g)?
False
Suppose 5*k - 3*t = -2, 3*k + 2*t = -k + 16. Is 4 a factor of k/(-5) + (-22)/(-5)?
True
Let u(c) = 14*c + 1. Let t be u(1). Does 10 divide (-3 - (-2 - -1)) + t?
False
Let j be -2*14/4*-1. Let f(t) = -t**3 + 7*t**2 + 4*t - 8. Let l be f(j). Suppose -a + l = 4*a. Is a a multiple of 4?
True
Let m(f) = 25*f**3 - 3*f**2 - 8*f. Let p(t) = -8*t**3 + t**2 + 3*t. Let j(h) = -3*m(h) - 8*p(h). Is j(-1) a multiple of 10?
False
Suppose 0 = 4*k - 4*l + 16, 2*k - 2 = 4*k + l. Is (-1)/((k/(-1))/(-98)) a multiple of 19?
False
Let b be (44/(-16) - -2)*16. Let t = 19 + b. Does 7 divide t?
True
Suppose 0*l = -5*l + 125. Suppose -i + 18 = 3*o - 5, 0 = -5*o + i + l. Does 6 divide o?
True
Let n = 76 + 15. Suppose 2*m + 1 = n. Is m a multiple of 14?
False
Let u be 1/(-1*(-1)/25). Suppose 0 = -5*m + u, -5*m = 5*w - 3*m - 65. Does 8 divide w?
False
Suppose -o = -5*o + 20, 3*o - 8 = y. Let w = y + -19. Let r(b) = -b**2 - 13*b + 3. Is r(w) a multiple of 10?
False
Let s = -95 + 122. Is 2 a factor of s?
False
Suppose -g + f + 58 = 0, -f = -3*g - 6*f + 150. Is g a multiple of 5?
True
Let r be -100*(-1)/(10/4). Suppose -v = -t + v + 26, -t = 5*v - r. Is 10 a factor of t?
True
Let u = 3 + -1. Suppose -2 = u*c - 78. Does 17 divide 2/(-2)*(1 - c)?
False
Let d be 23/(-5) - (-21)/35. Does 10 divide d/4 + 1 - -18?
False
Let w(h) = -4*h - 4. Let g(l) = -l**3 + 4*l**2 - l - 2. Let x be g(4). Let r be w(x). Let t = r + -5. Is 15 a factor of t?
True
Is 15*(-16)/(-4) + -1 a multiple of 8?
False
Let t(b) = b**2 - 4*b + 3. Let j = -13 + 19. Is 5 a factor of t(j)?
True
Let y(r) = -39*r. Let g be y(-1). Let m be 302/(-18) - (-2)/(-9). Let o = m + g. Does 11 divide o?
True
Let h(l) = -l**3 + 4*l**2 - 4*l + 3. Let d be h(3). Is -2*(-3 + (1 - d)) even?
True
Let j = 7 - 6. Let a = j + -8. Does 5 divide 8/28 - 68/a?
True
Suppose x + 2*x = 15. Is 16 a factor of x*((-96)/5)/(-3)?
True
Suppose 4*y + 18 = 3*r - r, -4*y = -4*r + 28. Suppose 3*t = 4*n + r*t - 60, -n + 9 = -t. Is 10 a factor of n?
False
Let k be 1 + (9/3)/(-3). Suppose -p + 10 + 9 = k. Is 9 a factor of p?
False
Let x(a) = 4*a**2 + 1. Suppose -3*w + 5*h = 17, 6 = -3*w + 2*h + 1. Let c be x(w). Suppose c*i - k - 118 = -0*k, 5*i - 2*k = 116. Is i a multiple of 12?
True
Suppose 0 = 3*c - 4*q - 66, 5*c + 2*q - 121 = 5*q. Suppose -v = -0 - c. Is 8 a factor of v?
False
Suppose -s - 5*l - 2 = 3, -l + 25 = -5*s. Let y(h) = -11*h - 4. Does 18 divide y(s)?
False
Suppose -38*y + 36*y = -56. Is 2 a factor of y?
True
Suppose -2*n - 4*a = -312, 3*n - 4*n + a + 168 = 0. Let j = -10 + 23. Suppose -j - 2 = -3*u, -4*u = -4*z + n. Does 16 divide z?
False
Let q be (3 + -2)/(-2)*-8. Suppose -40 = -q*v + 2*g, -g = g + 8. Does 8 divide v?
True
Let o(p) = -2*p - 9. Let j be o(-6). Suppose 44 = j*x - 13. Suppose -2*i - x = -3*i. Is 19 a factor of i?
True
Let u(c) = 11*c**2 - 2*c - 3. Is u(-1) a multiple of 4?
False
Suppose -321 = -f - 69. Is f a multiple of 42?
True
Suppose 7*m + 3 = 8*m. Is 2 a factor of m?
False
Is 17 a factor of 3/7 + 4956/98?
True
Suppose 6*c - 44 = 5*c. Is c a multiple of 11?
True
Let z(s) be the second derivative of -2*s**3/3 + 3*s**2/2 - 5*s. Let m = 4 + -8. Does 11 divide z(m)?
False
Let d(c) = 14*c**2 + c. Does 13 divide d(-1)?
True
Let w = -7 - -22. Let s = 39 - w. Suppose -12 - s = -2*o. Is 9 a factor of o?
True
Suppose -39*x - 220 = -44*x. Is x a multiple of 17?
False
Suppose -2*x + 175 = -91. Let i = -79 + x. Is i a multiple of 27?
True
Let u = 78 + -60. Is u a multiple of 6?
True
Let w be (-237)/(-15) - (-2)/10. Suppose -3*v - w + 52 = i, -5*v = 5*i - 180. Is 18 a factor of i?
True
Suppose 4*q - 173 = 5*y - 40, 0 = -q + 3*y + 35. Is 16 a factor of q?
True
Suppose u - 5*h + 6 = -3*h, -4*u + 15 = 5*h. Suppose u = 4*d - 16, 5*c = -0*d - d + 154. Is 14 a factor of c?
False
Suppose -5*u + 376 = -814. Is u a multiple of 17?
True
Suppose -a + 15 = -4*g - 3, 2*g - 4*a + 16 = 0. Let u(i) be the third derivative of -i**4/24 - i**3/3 - i**2. Is u(g) even?
True
Let f(m) = m**2 + 2*m + 3. Let b be f(-3). Is 10 a factor of ((-26)/b)/((-6)/18)?
False
Let u = -1 - -2. Let r = 4 - u. Is r even?
False
Suppose 5*h - 44 = h. Is h a multiple of 11?
True
Let c = -2 - -8. Let i(h) = h - 2. Let s be i(c). Suppose s*p + 0*d - 42 = -d, 0 = 4*p - d - 38. Is 10 a factor of p?
True
Let t(j) = j**2 - 6*j - 1. Does 15 divide t(13)?
True
Let v be 5/(0 - (1 - 0)). Let h(f) = -f. Is h(v) even?
False
Suppose -l = 3*l - 272. Does 17 divide l?
True
Let n = -10 - -28. Is n a multiple of 6?
True
Let f = 0 + 28. Is 7 a factor of f?
True
Suppose -5*k + 8*k - 96 = 0. Let x = k + -18. Is x a multiple of 13?
False
Let c be (-3 - -2) + 1*3. Let b be (-15)/c*(-10)/15. Suppose -b*m - 4*q + q = -89, 76 = 4*m + 4*q. Is 8 a factor of m?
True
Let i(u) = u - 7. Let r be i(10). Suppose -4*z = m + 193, 67 + 80 = -r*z - 3*m. Is z/(-5) - (-2)/5 a multiple of 10?
True
Let u(o) = -9*o - 19. Is 10 a factor of u(-11)?
True
Suppose -4*i = b - 512, 0*i - 4*b = -5*i + 640. Let t = i + -86. Is t a multiple of 18?
False
Let v be -1 - 5/(10/(-144)). Suppose -5*s - 255 = 5*y, s - 4*s + 2*y - 143 = 0. Let i = v + s. Does 10 divide i?
False
Let l(q) = -q - 2. Let b be l(-4). Suppose -3*x + 294 = -d - d, -5*x = b*d - 506. Suppose -9*m = -5*m - x. Does 15 divide m?
False
Let x(i) be the second derivative of -2*i**3/3 + i**2 + 3*i. Does 15 divide x(-7)?
True
Let t be 3/(2 - 0 - 1). Suppose -g = -t*g + 74. Suppose -17 - g = -3*n. Is 18 a factor of n?
True
Let d be 16/(-6) - (-1)/(-3). Let u = 7 + d. Suppose -6*v + 40 = -u*v. Is 7 a factor of v?
False
Let o = 7 + -3. Suppose 0 = 3*j - 2*j - o. Suppose j*a - 53 - 3 = 0. Is 14 a factor of a?
True
Suppose 4 = x + 2. Suppose x*c = 4*c - 4. Is 12 a factor of (-219)/(-9) + c/(-6)?
True
Suppose 2*n + 5*j - 286 = 0, -n - j = -6*n + 769. Is 15 a factor of n?
False
Is 6 a factor of (0 - (-4 - -5))*-53?
False
Let v = 60 + -13. Is v a multiple of 6?
False
Does 15 divide 60/(-45)*270/(-4)?
True
Suppose 0 = -j - 5*y - 10 + 91, -2*y + 10 = 0. Is j a multiple of 14?
True
Suppose a - s - 64 = 0, 5*a = -6*s + 4*s + 292. Is 4 a factor of a?
True
Let v = 90 - 39. Suppose 2*l + l = 0. Suppose 3*z - v = -l*z. Is 9 a factor of z?
False
Suppose 2*p + 332 = 4*p. Suppose -5*b + 97 = -3*s, -4*s - s = -4*b + p. Let f = 57 + s. Does 11 divide f?
False
Let y(h) = h**3 + 5*h**2 + 1. Let q be y(-5). Suppose 2*p - q - 31 = 4*s, p = 5*s + 16. Does 8 divide p?
True
Suppose -3*m = -3*i - 6, -3*m = -i + m - 8. Suppose 4*r = x - 18, 3*x = -i*x + 4*r + 38. Is 4 a factor of x?
False
Let i(l) be the first derivative of -2 + 1/2*l**2 - 4*l. Is 5 a factor of i(9)?
True
Let g(f) = f**3 - f