n + 2. Let y be x(3). Suppose 5*b - 199 = -y. Does 6 divide b?
False
Let j = 26 + -7. Let i = j - -1. Is i a multiple of 10?
True
Let a = 263 - 208. Is a a multiple of 13?
False
Suppose -4*l = l - 425. Is 17 a factor of l?
True
Let z(y) = -y**2 + 4. Let m be z(0). Suppose 4*q - 67 = 3*i, 2*q - 1 - 45 = m*i. Is q a multiple of 5?
False
Let v be (-6)/4*(34 + 6). Let m = v + 86. Is m a multiple of 15?
False
Suppose -2*x + 3 = -3. Suppose -2*n - x*i - 34 + 160 = 0, 0 = n + 5*i - 56. Does 14 divide n?
False
Suppose 20 = 6*s - 2*s. Suppose -3*u = -s*a - 11 + 171, -3*a + 2*u + 96 = 0. Is a a multiple of 11?
False
Let q be (-2 - (0 - 1)) + 7. Suppose q*i - 3*i + 63 = 0. Let g = 34 + i. Does 13 divide g?
True
Suppose 5 = 4*u + 1. Let n = 1 - u. Suppose n = 3*l + 2*f - 97, 4*f - 3*f + 53 = 2*l. Is l a multiple of 10?
False
Let u(w) = -w. Let z be u(-4). Suppose 4*a - 165 = -5*c, 212 = 5*a + 3*c - 4. Suppose z*r - 3*r - a = 0. Is 23 a factor of r?
False
Let k(v) = -v**3 + 6*v**2 + 9*v - 1. Let j be k(7). Suppose 0 = -5*r + n - 50, 7*n = 4*n. Let c = j - r. Is c a multiple of 11?
False
Suppose 0 = -7*k + 5*k + 16. Let y = -5 + k. Suppose -y*v + 4*v = 28. Is 14 a factor of v?
True
Let b(w) be the third derivative of w**5/60 + 7*w**4/24 - 4*w**3/3 + 3*w**2. Is b(-9) a multiple of 3?
False
Let x = 31 + -27. Is x a multiple of 4?
True
Does 13 divide 6/(-3)*(-117)/6?
True
Does 3 divide 2 + -1 - 55/(-5)?
True
Let f be (-1)/(-2) + (-365)/(-10). Let l = 73 - f. Is 18 a factor of l?
True
Let v = 15 - 6. Let y = v + -6. Suppose -4*k = -0*p - 3*p + 146, 0 = y*p - k - 158. Does 18 divide p?
True
Let h be -3 + ((-6)/(-2) - 1). Suppose 4*o - 20 = -4. Let b = h + o. Is b a multiple of 3?
True
Suppose 8*d - 4*d = 2*h + 386, d - 84 = 3*h. Suppose 2*q + 2*m - 1 + 5 = 0, 0 = 2*q - 4*m - 20. Suppose j - d = -q*j. Is 11 a factor of j?
True
Suppose -5 = q - 1. Let j = q + 16. Does 19 divide (8/j)/(1/69)?
False
Does 6 divide (1 - -11) + -4 + (2 - -3)?
False
Let m(v) = -v**2 - 4*v - 2. Let k be m(-2). Let i(n) = 2*n - 2. Is i(k) even?
True
Is 38 a factor of (-125)/10*-4*38/10?
True
Let d(f) = 11*f**3 - f**2 + 3*f + 3. Let u(o) = o**3 - o - 1. Let g(n) = d(n) + 3*u(n). Is g(1) a multiple of 13?
True
Let l = -69 - -125. Suppose -i + 3*z + 29 = -2*z, -2*z = 10. Suppose i*m = 176 + l. Is m a multiple of 24?
False
Suppose 0 = 4*k - 2*c - 282, -k + 4*c = -5*k + 300. Is 12 a factor of k?
True
Let c = 59 + -41. Suppose 0 = 3*k + 4*j - 17, 4*j - 2*j + 23 = 3*k. Let z = c - k. Is z a multiple of 5?
False
Suppose 0*z + 4*l + 17 = z, 3*l + 9 = 0. Suppose 104 = 4*r + 2*t, -5*t - 52 = 2*r - z*r. Does 12 divide r?
True
Let q(s) = -3*s**2 + 3*s**2 + 3 + s**2. Let m(d) = -3*d + 14. Let g be m(6). Does 13 divide q(g)?
False
Let k(a) be the second derivative of a**8/6720 - a**7/280 + a**6/720 - a**5/24 - a**4/4 + 3*a. Let l(y) be the third derivative of k(y). Is l(9) even?
True
Suppose -4*p = -5*x - 10, -4*x + 2*p = -7*x - 6. Let b be x/(4*3/(-18)). Does 11 divide b/(-15) + (-56)/(-5)?
True
Suppose -q + 1 = -4, 3*k - 5*q = 68. Is k a multiple of 25?
False
Is (128/(-12))/1*-3 a multiple of 7?
False
Suppose -15*u + 166 + 434 = 0. Is 20 a factor of u?
True
Suppose -16 = 4*b - 0. Let w be b/2 + 1 + -4. Let x = 4 - w. Is x a multiple of 6?
False
Suppose 0 = -d + 8 + 9. Is d a multiple of 5?
False
Let p(t) = -t**3 + t**2 - 7*t + 2. Let k be p(-5). Let h = -114 + k. Does 13 divide h?
False
Let h be ((-7)/(-14))/(2/(-24)). Let l = 13 - 4. Does 13 divide h/l*-48 + -2?
False
Let u(m) = m**3 + 5*m**2 - 7*m. Let o be u(-6). Let t(n) = n**2 + n + 6. Does 17 divide t(o)?
False
Suppose 5*z + 2*g = -10, 5*z - 4*z - g = 5. Let a(v) = -v**3 - v + 1. Let p(r) = 2*r**3 - r**2 + 3*r. Let c(m) = 3*a(m) + p(m). Is 2 a factor of c(z)?
False
Suppose -5*j - 5 - 5 = 0. Is 432/84 + j/14 a multiple of 5?
True
Suppose -3*k = -2*i + 2*k + 165, 0 = 4*k + 12. Let w = i - -2. Suppose q = -5, -2*x + 4*q + w = x. Does 16 divide x?
False
Let p = -95 - -137. Is p a multiple of 9?
False
Suppose -5*j - 5*t = -70, 2*j = -0*t + t + 13. Does 3 divide j?
True
Let h be 36/(-16)*(-160)/6. Suppose h - 20 = 2*m. Does 9 divide m?
False
Let n(h) be the first derivative of -h**4/4 - 4*h**3/3 - 5*h**2/2 + 4*h - 1. Let v be n(-5). Let d = -36 + v. Does 9 divide d?
True
Let b(c) = -c**2 - 9*c + 3. Let n be b(-9). Suppose -n*d - 2*i + 25 = -0*i, 26 = 4*d - i. Let p = 3 + d. Is p a multiple of 8?
False
Suppose -b = -d + 7, -2*b - b = -5*d + 27. Suppose 2*j = 4*k - d*k - 57, 5*k = 4*j + 105. Let f = 47 + j. Is 17 a factor of f?
True
Suppose 0 = 5*k + 151 + 79. Let n = 14 - k. Is 20 a factor of n?
True
Let a(u) = -u**3 - u**2 + 22. Let n be 0 + (-3 + 3)/1. Is a(n) a multiple of 6?
False
Is (-20 - -18)*103/2*-1 a multiple of 8?
False
Does 5 divide (1 - -8)/(30/80)?
False
Let i(w) = w**3 + 3*w**2 - 3*w + 1. Is 15 a factor of i(3)?
False
Suppose -53*w + 999 = -44*w. Is w a multiple of 8?
False
Let a(m) = -3 - 2 - 3*m + 1 - 6*m**2 + m**3. Does 6 divide a(7)?
True
Let s(o) = 2*o**2 + 6*o + 2. Is s(-6) a multiple of 19?
True
Suppose 2*p + 4 = 2*w, -3*w + 5*p = -5 + 1. Suppose -12 = -z - 5*i + i, z - 12 = w*i. Is z a multiple of 3?
True
Let n be 6/14 + (-25)/(-7). Suppose -2*p - 8 = -2*s, -s = s + n*p + 10. Suppose 7 = o + w, 5*w + 14 = -s. Is 8 a factor of o?
False
Let h = -3 + 4. Suppose 0 = -n + 1 + h. Does 7 divide 21/(3 - (n - 0))?
True
Let n = -34 + 51. Suppose 0*p = p - n. Does 7 divide p - 0 - (5 + -3)?
False
Let d be ((-44)/12 + -3)*12. Let x = -51 - d. Does 10 divide x?
False
Suppose -5*q + 149 - 14 = 0. Suppose q = -h + 71. Does 18 divide h?
False
Let q = 164 - 40. Is q a multiple of 25?
False
Let o = -81 - -165. Is 26 a factor of o?
False
Suppose 208 = -x + 5*x. Suppose 0 = 2*l - 3*d - 54, 2*l + 0*d = 2*d + x. Suppose 0 = m - 3*n - l, 18 + 2 = m - 2*n. Is m a multiple of 12?
True
Let z = 60 + 5. Does 9 divide z?
False
Suppose -4 = 8*r + 20. Let h(b) = -5*b**3 - 11*b**2 + 11*b - 15. Let m(n) = -n**3 - 2*n**2 + 2*n - 3. Let i(f) = -2*h(f) + 11*m(f). Is 10 a factor of i(r)?
False
Suppose 0*t - 2*t = 0. Suppose -u + 57 + 1 = t. Is u a multiple of 10?
False
Let m = -19 - -40. Is m a multiple of 7?
True
Is (5 + 0)*(-36)/(-10) a multiple of 9?
True
Suppose -d + 26 = -0*g - 3*g, g = -d + 6. Is d a multiple of 2?
False
Let z(n) = n - 8. Let h be z(8). Let o(b) = b**2 + 7. Does 7 divide o(h)?
True
Let l be (-45)/(-2) - (-5)/10. Suppose 0 + l = a. Let t = a - -5. Is 10 a factor of t?
False
Suppose -3*y - 3*z + 11 = -16, -3*y + 2 = -2*z. Suppose -a - 1 = -5*g + 3*a, 4 = 2*g + 2*a. Does 10 divide g/y - (-234)/24?
True
Let v(l) = -l + 1. Let o(y) = y**2 - 2*y - 8. Let h(z) = o(z) - v(z). Does 7 divide h(6)?
True
Let d(h) = 7*h**2 - 2*h - 9. Is 19 a factor of d(4)?
True
Suppose 6*d - 60 = 3*d. Is d a multiple of 10?
True
Let f(i) = -i**2 - 2*i. Let d be f(-2). Let v = 3 + d. Suppose 4 - 28 = -v*x. Is 4 a factor of x?
True
Suppose -168 = -5*a + 332. Suppose u = 6*u - a. Is u a multiple of 4?
True
Let o be -2 + 6 - (-1 + 4). Let l(t) = 3*t + 1. Is 2 a factor of l(o)?
True
Suppose 0 = 2*z - b + 5, -3*b = 1 + 8. Let u(y) = -2*y**3 - 7*y**2 - 6*y - 5. Let q be u(z). Is 4/(-14) + 325/q a multiple of 8?
False
Let p be 3/(-12)*(-2 + -2). Let v be 0 - 24/(3 - p). Let b = v - -27. Is b a multiple of 15?
True
Suppose 4*z = -2*b + 14 + 10, -5*b - 5*z + 60 = 0. Suppose 0 = 2*w - 0*w + b. Let i(d) = -d**3 - 6*d**2 - d - 4. Is 2 a factor of i(w)?
True
Suppose 2*y - 604 = -5*q, -2*y - 138 = -3*q + 234. Is 20 a factor of q?
False
Suppose -12 = 2*r - 0. Let n = r + 3. Let w(x) = x**2 - 3*x + 4. Is w(n) a multiple of 8?
False
Let n = -12 - -19. Suppose j + 12 = 5*h, -2*h - 5*j + n + 14 = 0. Is 4 a factor of (h/(-6))/(1/(-16))?
True
Suppose 3*j - 6 = 60. Does 13 divide j?
False
Is 12 a factor of 7*(120/35)/(0 - -1)?
True
Let m(u) be the first derivative of 9/2*u**2 + 3 - 1/3*u**3 + 3*u. Is 17 a factor of m(7)?
True
Suppose 14 = 3*a - r, 2*r + 9 = 4*a - 13. Suppose 5*q - 7 = a. Suppose -18 = q*l - 3*l. Does 15 divide l?
False
Let x(k) = -k**3 - 6*k**2 + 11*k + 3. Suppose 3*i = u + 3*u - 27, 5*i - 5*u + 45 = 0. Let z be x(i). Suppose -5*b + 18 + z = 0. Is b a multiple of 11?
True
Let w(q) = 5*q - 7. Does 11 divide w(8)?
True
Suppose 106 = x + 5*t, 0 = 5*x + 3*t - 149 - 293. Suppos