 s = -35 + 56. Is 15 a factor of s?
False
Does 31 divide 12/30 - (-2 - (-2694)/(-15))?
False
Let a(x) = -x**3 - 7*x**2 - 11*x - 5. Does 31 divide a(-7)?
False
Suppose -w - k + 2*k = -10, -3*k = 0. Is 5 a factor of w?
True
Does 3 divide 10/4*161/(-35)*-2?
False
Is 18 a factor of 38*4/(5 - 3)?
False
Suppose -4*c - 2*p = 0, 2*c - 3*p = -4 + 20. Suppose 4*d = -3*v + 126, -c*v - 4*d + 122 = 38. Does 11 divide v?
False
Suppose -3*k + k + 110 = 0. Suppose 0 = -4*l + 3*f + 1, l - 2*f + 6 + 0 = 0. Suppose -4*q = -4*j - 88, -19 = -l*q - 3*j + k. Is 10 a factor of q?
True
Let c(m) = -8*m - 6. Is 6 a factor of c(-4)?
False
Is 12 a factor of (-3)/9 - (-2020)/12?
True
Let u(a) = 25*a**2 - 3*a - 2. Is 29 a factor of u(-3)?
True
Let j(b) = 3*b - 3. Let y be j(3). Is 4 a factor of ((-10)/(-6) + -1)*y?
True
Let z(r) = 3*r**2 - 4*r + 2. Let b be z(2). Is 15 a factor of (b/(-7))/(3/(-105))?
True
Let q be (-20)/(-8)*(-18)/(-15). Suppose -4*r + 5*j = 8, -q*r = -2*j - 4 + 3. Let h(x) = -x**3 + 4*x**2 - x - 3. Does 2 divide h(r)?
False
Let q = 142 + -64. Let b = -156 + q. Let k = -53 - b. Does 16 divide k?
False
Is 19 a factor of 915/12 - 3/12?
True
Let b(l) = -4*l**2 + l + 1. Let z be b(-1). Let y(m) be the first derivative of -m**2/2 + 2*m + 2. Does 3 divide y(z)?
True
Is 19 a factor of (-336)/(-6) - (-2 - 1/(-1))?
True
Suppose q = 4*q + 18. Is 2/q - (-128)/6 a multiple of 10?
False
Let q = 18 + -13. Suppose -4*n + 3*v + 29 = 0, 3*v = n - q*n + 11. Suppose 2*l = -n*b + 56, 3*l - 13 - 16 = -2*b. Is 9 a factor of b?
False
Let x(i) = -i**3 + 6*i**2 + i - 3. Let z = 5 + -1. Suppose -6*u + u - z = g, 0 = -3*g - 4*u + 10. Is x(g) a multiple of 3?
True
Let y(d) = 18*d**2 + d - 7. Let m be y(3). Suppose -3*w + m = -28. Does 19 divide w?
False
Let i = 175 + -79. Is i a multiple of 17?
False
Suppose -h + 0 + 34 = 0. Suppose 2*i = -x + 29 + 4, 4*x + 72 = 4*i. Let r = h - i. Is 6 a factor of r?
False
Let x(a) = a**2 - 2*a - 2. Let f be 12/(-6)*1/2. Let k be (-2 - f)/((-1)/6). Does 22 divide x(k)?
True
Let l = 19 + 25. Let s = l + -11. Does 13 divide s?
False
Let v(x) = 2*x + 1. Let f be v(2). Suppose 0 = f*h - 5*s - 265, s + 2*s - 205 = -4*h. Is 22 a factor of h?
False
Let m = 3 - -5. Is 19 a factor of 604/m + (-2)/(-4)?
True
Suppose w + 6 = 7. Let h be w/(4 - (1 + 2)). Is 9 a factor of ((-10)/(-1))/(h/2)?
False
Let y = 54 - -66. Does 20 divide y?
True
Suppose -4*v - 87 = -v. Let d = v - -53. Does 16 divide (-12 + 0)/((-18)/d)?
True
Let f = -3 + 1. Is 4 a factor of 46/6 + f/(-6)?
True
Does 18 divide (8/20)/((-1)/(-80))?
False
Suppose 6*i - 8 = 2*i. Suppose a + 4 = i*a. Suppose -a*b + 79 = -0*y + 5*y, -b = -y + 14. Is y a multiple of 7?
False
Suppose 3*s = -s. Suppose s*n + 6 = 2*n. Suppose 5*b - 3*r - 21 = 49, n*b = 5*r + 26. Does 12 divide b?
False
Let s(w) = 12 - 2*w - 2*w**3 - 10 + 8*w**3 + 2*w**2. Let x be s(3). Suppose 3*m = -m + x. Does 25 divide m?
False
Suppose -r + 273 = 2*r. Does 19 divide r?
False
Let a be 4/2*1/(-2). Let p(m) = 51*m**2 - m. Let z be p(a). Suppose -4*o = o + 2*g - 86, -g = 3*o - z. Is o a multiple of 9?
True
Let g(w) = -w**3 - 6*w**2 + 9*w - 10. Suppose -4*k = -2*y, -3*y - 11 - 9 = -k. Is g(y) a multiple of 8?
False
Suppose 0 = 3*v + 189 - 633. Does 37 divide v?
True
Suppose 7*k - 13 = 218. Is k a multiple of 7?
False
Let z be (6/(-18))/((-1)/3). Suppose -z - 5 = -o. Is 4 a factor of o?
False
Let z(v) = 10*v. Let n be z(-1). Let o be (-45)/(-6)*(-36)/n. Suppose 4*k = -7*w + 5*w + 34, -2*w = 3*k - o. Does 7 divide k?
True
Suppose -210 = -2*m - t - 3*t, -5*t = 2*m - 205. Is m a multiple of 23?
True
Suppose 0 = 5*m - 3*m - 56. Is (-178)/(-14) + 8/m a multiple of 4?
False
Suppose 2*n + 3*b - 3 = 0, -5*n - 2*b = -0*b - 2. Suppose z + n*z = 11. Is z a multiple of 11?
True
Let z = 546 + -256. Is 58 a factor of z?
True
Let o(m) be the first derivative of 2 - 3/2*m**2 + 8*m. Does 13 divide o(-6)?
True
Suppose 535 = -4*u + 9*u. Is u a multiple of 9?
False
Let j = -197 - -128. Let l = -47 - j. Is 11 a factor of l?
True
Is (-26 - -39)*(0 - (-2 + 1)) a multiple of 13?
True
Let b(c) be the second derivative of -c**3/6 + 2*c. Is 5 a factor of b(-5)?
True
Let h(w) = -w**3 - w**2 - 3*w + 2. Is h(-3) a multiple of 5?
False
Suppose -n = n + 2, 4*n + 6 = -g. Let c be 11*2 + 4/g. Does 7 divide c/(-15)*15/(-2)?
False
Suppose f = 0, -4*b + 2*f = 7*f - 232. Is b a multiple of 21?
False
Suppose -l = -5*c + 5, -2*l + 3*c - 2*c - 1 = 0. Suppose 5*x - 5*s - 285 = -l*s, 0 = 4*x + 5*s - 228. Is 19 a factor of x?
True
Is 16 a factor of (-52)/(-2) - (1 + 0)?
False
Let h be 6/3 + (-58)/(-2). Let o be 1 - h/(-2)*2. Suppose 5*w - 88 = o. Is 13 a factor of w?
False
Let q(h) = 15*h**2 - 4*h + 2. Suppose t - 2 = -0. Is q(t) a multiple of 29?
False
Let q be 9 + (-2 - 15/(-3)). Let v be (-6 - 1) + (-1 - -1). Does 11 divide (-1 + q)/(v + 8)?
True
Let v(s) be the first derivative of -s**4/12 + 8*s**3/3 - 6*s**2 + s - 1. Let z(u) be the first derivative of v(u). Is 26 a factor of z(8)?
True
Suppose 0 = -3*u + 2*u - 4*j + 6, 5*u - 2*j = 96. Is 18 a factor of u?
True
Suppose 2*f - 5 = -17. Let v be -4*(0 - -1)*2. Let h = f - v. Is h even?
True
Let w(a) = -4*a**3 - 6*a. Does 14 divide w(-3)?
True
Let j = 389 + -225. Does 22 divide j?
False
Suppose 0 = -5*z - 11*p + 13*p + 2247, -20 = -5*p. Is 11 a factor of z?
True
Let t be 4/22 + 1030/22. Suppose b - t = -o - o, 0 = 5*b - 5. Does 11 divide o?
False
Is (-2)/7 - (-3704)/28 a multiple of 11?
True
Let x(l) = -l**3 + 8*l**2 - 6*l + 5. Suppose 14 = 2*c - 0*c. Is 6 a factor of x(c)?
True
Let c = 44 - 93. Let l = -20 - c. Is l a multiple of 24?
False
Suppose -5*n + 239 + 356 = 0. Is 30 a factor of n?
False
Let f(k) = 3*k + 1. Let c(q) = 4*q + 2. Let o(u) = -2*c(u) + 3*f(u). Let h be -2 + 5 + (-4)/(-2). Is o(h) a multiple of 2?
True
Is 11 a factor of (-2)/(-10) + 264/5?
False
Suppose 0 = -8*w + 2 + 350. Does 22 divide w?
True
Let i(o) = -o - 3. Is 3 a factor of i(-17)?
False
Suppose -5*l - a = 41 + 44, 0 = 3*l - 4*a + 74. Let x = 48 + l. Is x a multiple of 10?
True
Let s(h) = -5*h**3 - h**2 + 1. Let t be s(-1). Let z = 9 + t. Is z a multiple of 14?
True
Let n(y) = -y - 2 - 1 - 8 + 17. Let p = -12 + 6. Is 12 a factor of n(p)?
True
Let h = -24 - -42. Is 18 a factor of h?
True
Suppose -k - 14 = 2*w + 3*k, 0 = -5*w - 2*k + 5. Suppose -w*i = 2*i - 75. Suppose i = 3*x + 3. Is x even?
True
Suppose -3*w + 14 = -5*a, -5*a - w - 4*w = -10. Let t(i) = 4*i**2 + 2*i + 1. Let h be t(a). Suppose -2*c = -l - 11, 4*c - l = h*l + 12. Is c a multiple of 4?
True
Suppose -5*w = y + 17, 0 = 3*y + 4*w + 6 + 1. Suppose y*u = -0*h - 3*h + 237, 222 = 3*u - 2*h. Let p = -50 + u. Is 11 a factor of p?
False
Suppose 0 = -5*f + 5*b + 15, 3*b + 5 = -3*f - b. Let a = 7 - f. Is 15 a factor of (116/a)/((-2)/(-6))?
False
Let k(l) be the third derivative of 7*l**6/720 - l**5/20 + l**4/24 - 2*l**2. Let j(y) be the second derivative of k(y). Is j(4) a multiple of 11?
True
Let t be (16/(-10))/(2/10). Let j = t - -19. Is j a multiple of 3?
False
Is (1 + 371)*((-2)/(-4))/1 a multiple of 16?
False
Let j = 114 + -69. Is 13 a factor of j?
False
Suppose 22 + 18 = -4*s. Let m be (-26)/s + 14/35. Is -6*m/6 + 37 a multiple of 17?
True
Let a(t) = -2*t**3 - 5*t**2 - t + 4. Does 16 divide a(-4)?
False
Let q = 16 + -4. Suppose -8 = -4*h - o, 2*h - 8 = -2*h - 2*o. Let u = q - h. Does 8 divide u?
False
Let i(u) = 2*u + 7. Is i(10) a multiple of 9?
True
Let z be 2/(-2 - (-8)/5). Is 1/z + 191/5 a multiple of 17?
False
Suppose -4*u = 3*a - 181, a = -3*u + 6*u - 152. Is 10 a factor of u?
False
Suppose 2*f = 3*o + 20, 2*f = -o + 5 + 15. Suppose 3*u = u + f. Let g(i) = i**2 - 4*i. Is 5 a factor of g(u)?
True
Suppose -7*j + 541 + 1006 = 0. Is 13 a factor of j?
True
Let u(m) = m**2 - 7*m - 2. Let p be u(8). Let y(s) = -s - 3. Let b be y(-8). Suppose -z + 3*z = n - p, -5 = -b*z. Does 4 divide n?
True
Let n(b) = -6*b - 2. Let v be n(3). Let c = 32 + v. Is c a multiple of 6?
True
Suppose -10*w = -w - 1287. Does 9 divide w?
False
Let o = 46 - 14. Suppose 2*l - 6*l - o = 0. Let r(a) = -3*a - 3. Is r(l) a multiple of 13?
False
Suppose 3*d - 196 = 20. Let x = -32 + d. Let r = -29 + x. Is 11 a factor of r?
True
Let v be 113 + 1 + 1 + -1. Suppose v = -3*r + 267. Is 17 a factor of r?
True
Let u(a) = 85*a + 35. Suppose 