7 + -5. Suppose -3*d = 4*a - 64, -a = -p + 1. Suppose 5*n = 4*n + 5*v + d, 5*n - 4*v - 37 = 0. Does 2 divide n?
False
Let k(r) = -4*r - 4. Suppose 0*i = i - 3. Suppose 0 = b - 0*b + i. Is k(b) a multiple of 4?
True
Suppose -5*o + 6 = -4*o - i, -3*i - 4 = 4*o. Suppose y + 0 = o*z - 9, 27 = 4*z - 5*y. Let g(p) = 2*p**2 + 4*p - 3. Is 10 a factor of g(z)?
False
Suppose -z = 3*z - 312. Is 26 a factor of z?
True
Let r(o) = -o**3 - o**2 - o + 1. Suppose h = -2*h. Let j be r(h). Is 3/(-2*j/(-10)) a multiple of 15?
True
Suppose -x - 2 = -73. Let g = 54 + -92. Let s = g + x. Is 11 a factor of s?
True
Let f be 2/(-4)*(1 + -5). Suppose 7 = 5*c + f. Is 5 a factor of 5*2*c/2?
True
Let d be (3/((-3)/4))/(-2). Suppose -68 = d*b + y + y, 2*b + 58 = -4*y. Let t = -23 - b. Is 8 a factor of t?
True
Let x = -9 + 4. Let d = 4 + x. Is 15 a factor of 30 - (1 + d)/(-3)?
True
Suppose 2*z - 78 = -3*a - z, 0 = a + 4*z - 32. Does 24 divide a?
True
Let i(w) = -10*w**2 - 1. Let a be i(1). Let y = 20 + a. Does 9 divide y?
True
Let y(f) = 3*f**2 + 3*f + 3. Is 8 a factor of y(-2)?
False
Suppose -2*d + 5 + 5 = 0. Let z(h) = -11*h**3 + 7*h**2 - 21*h - 2. Let s(c) = -4*c**3 + 2*c**2 - 7*c - 1. Let f(w) = 8*s(w) - 3*z(w). Is f(d) a multiple of 11?
True
Let r = -36 - -66. Does 8 divide r?
False
Let r(o) be the first derivative of o**2/2 + 12*o - 3. Does 12 divide r(0)?
True
Let i(f) = 2*f - 22. Does 4 divide i(13)?
True
Let x = -6 - -9. Does 11 divide 1/x*-2*-33?
True
Suppose 4*n + n + 4*t = 70, -5*n - t + 85 = 0. Is 5 a factor of (-2)/(n/75)*-3?
True
Let s = 9 - 5. Suppose -s*t - 11 = -u, t - 9 = 4*u + 7. Is (-303)/(-12) - (-1)/t a multiple of 9?
False
Suppose 4*d - 4*c - 20 = -d, 0 = -3*d + 5*c + 12. Suppose -h - 3 - 2 = 0, 29 = z - d*h. Is z a multiple of 9?
True
Let p(n) = 2*n**3 - 14*n**2 + 13*n + 3. Does 3 divide p(6)?
True
Suppose -u + 4*y = 23, -4*y = 4*u + y + 8. Let f(c) = -3*c - 9. Does 12 divide f(u)?
True
Suppose 4*x = -x + 5*w + 80, 3*w = -x + 16. Is x a multiple of 4?
True
Let n(f) = 49*f - 1. Let t be n(1). Suppose -112 = -4*z + t. Let w = z - 17. Is w a multiple of 10?
False
Let u = 5 - 3. Let k = 1 + -1. Is 4 a factor of (k - (-18)/3) + u?
True
Let r(g) = 6*g + 1. Let d be r(4). Suppose -4*t + 2*u + 17 = -25, -5*u = d. Is 4 a factor of t?
True
Suppose -88 = -2*a + 3*s, -4*s = 2*a + s - 88. Is 11 a factor of a?
True
Suppose z = 5*z + 20. Let q(u) = u**2 + 5*u. Let t be q(z). Does 14 divide 0 + 2 + 12 - t?
True
Let m = -5 + 10. Suppose u - 187 = -3*f + m*u, 3*u = -f + 45. Suppose 6 = -3*t + f. Is t a multiple of 8?
False
Let i(p) = -p**3 + 6*p**2 - 4*p - 4. Let y be i(4). Let d = 26 - y. Does 13 divide d?
False
Suppose 3*t = 6*t - 3. Is 8 - (1 + 0 - t) a multiple of 7?
False
Let r be 1/((-1)/(15 - 0)). Let v = r + 19. Is v a multiple of 4?
True
Suppose 0*n = -n - 3. Let t = -3 - -7. Does 9 divide 109/t + n/12?
True
Suppose 2*u = -0*u + 20. Let q be (-3 - u/4)*-6. Suppose n - 34 = -5*s, s + 2*n - q = -4*s. Is s a multiple of 7?
True
Is (-1)/3 + 635/15 a multiple of 14?
True
Does 7 divide (-310)/(-34) - (-22)/(-187)?
False
Let a(q) = 2*q - 13*q**2 - 1 - 3*q**3 + 1 + 8*q**3 - 2. Let x(s) = 6*s**3 - 14*s**2 + 3*s - 2. Let p(f) = -7*a(f) + 6*x(f). Is p(-6) a multiple of 14?
True
Let o(c) = -6 - c + 23 + 15. Is o(0) a multiple of 12?
False
Suppose -4*f + 11 = u, 0 = -3*f + 2*f - 4. Is 6 a factor of u?
False
Does 12 divide (3 - 4) + 2 + 56?
False
Let o be 28/16 + 3/12. Suppose 2*c - 14 = -3*m, 3*m = o*c + 2*c - 64. Suppose -4*v - c + 1 = 0, h = 3*v + 16. Is h a multiple of 2?
False
Let q(u) = -u**2 - 6*u - 5. Let o be q(-5). Suppose a = -o + 2. Suppose -4*n = -a*n - 48. Is 8 a factor of n?
True
Suppose 64 = 7*z - 3*z. Is z a multiple of 3?
False
Suppose -2*q + 3 = 13. Let l = 0 - q. Suppose -3*p + 13 = -2*p - 3*j, -p - l*j + 45 = 0. Is 12 a factor of p?
False
Suppose -l = -3*n - 22, -130 = -9*l + 4*l + 5*n. Is l a multiple of 7?
True
Let k(y) = y**3 - 13*y**2 + 6*y - 15. Let s be k(12). Let w = -61 - s. Is w a multiple of 13?
True
Let a be ((-3)/2)/(4/(-96)). Does 24 divide (a/7)/((-6)/(-56))?
True
Let u = 154 - -266. Is u a multiple of 42?
True
Is -1 - (-4)/(16/148) a multiple of 24?
False
Let h(q) = -q**3 - 5*q - 2*q**2 + 6*q**2 + 3 + q. Let o be h(2). Suppose -2 = -o*t + 1, v - 6 = 3*t. Is 9 a factor of v?
True
Let l(t) = -7*t - 7. Let z(h) be the third derivative of -7*h**4/8 - 7*h**3/2 + 2*h**2. Let q(j) = -17*l(j) + 6*z(j). Is 14 a factor of q(-5)?
True
Let s(m) = 8*m**2 - m + 2 - 7*m**2 + 0*m. Suppose -h - 6 = -3*h. Is 4 a factor of s(h)?
True
Let b(v) = -v - 4. Let p be b(-4). Suppose p = 3*o - 2*q - 89, -4*o + 3*q = q - 116. Is 10 a factor of o?
False
Let a(g) = 9*g**2 - g + 1. Let z be a(1). Let d = 26 - z. Is d a multiple of 11?
False
Let a(f) = -f**2 - 8*f - 8. Let o be a(-6). Is 8 a factor of (4/(-3))/(o/(-24))?
True
Let u(l) = l + 6. Let s be u(-4). Suppose -s*b = d - 11, 0*d + b = d - 17. Is d a multiple of 5?
True
Let f(l) = -4 + 0 - l**2 - 1 - 16*l - 5. Let j = -22 - -10. Is 19 a factor of f(j)?
True
Let v = 5 - 5. Let y = -29 + v. Let q = -17 - y. Is q a multiple of 12?
True
Let f = 0 + 1. Let i be 2*(5 - (0 + f)). Does 9 divide 2/i + 301/28?
False
Let w(u) be the second derivative of u**7/1260 - u**6/120 + u**5/120 + u**4/4 - 3*u. Let m(i) be the third derivative of w(i). Does 9 divide m(4)?
True
Suppose -z + 408 = 2*z. Does 17 divide z?
True
Let k(t) = t**3 - 5*t - 3. Let r be k(5). Let n = 162 - r. Let f = n - 27. Does 19 divide f?
True
Does 24 divide 3/18 + 491/6?
False
Suppose 50 + 82 = 2*t. Is 11 a factor of t?
True
Let h = -4 - -4. Let x be (-6 + h)*5/5. Let i(n) = -n**3 - 7*n**2 - 7*n. Is i(x) a multiple of 2?
True
Suppose -4*z + 4*g + 412 = 0, -2*z + 8 = -g - 201. Is 25 a factor of z?
False
Let c(v) = -22*v + 7. Let l be c(-7). Suppose -l + 41 = -5*t. Does 12 divide t?
True
Let g be 1*2/(-3)*-3. Let d be -3 + (0 - (-83 + g)). Suppose 3*y - 42 = d. Is y a multiple of 20?
True
Let v(w) be the first derivative of 2*w**3/3 + 2*w**2 + w - 3. Does 7 divide v(-3)?
True
Suppose -392 = -4*o + 3*b, 3*o = 2*b - 4*b + 277. Suppose -5*g - o = -8*d + 3*d, -4*d + 2*g = -66. Is 4 a factor of d?
False
Suppose -z + 22 = -10. Is 5 a factor of z?
False
Let x(z) = z**3 - 8*z**2 - 7*z + 8. Is 9 a factor of x(9)?
False
Let q = 29 - -8. Is 12 a factor of q?
False
Suppose 0 = 2*c - 3*v - 74, -2*c + 94 = 4*v - 2*v. Is c a multiple of 33?
False
Let w(m) = m**2 + 7*m + 4. Let c be w(-5). Let v be (-53)/(-2) + c/(-4). Suppose 2*z = 4*p - 84, -4*p + v = -3*p + 3*z. Does 11 divide p?
True
Let j(t) = 4*t - 5 + 2*t**3 - 2*t**2 + 0*t**3 + 10*t**2. Let g be j(-5). Is 9 a factor of 1/(g/39 - -2)?
False
Let o(s) = s**2 + 3*s - 11. Let v be o(-8). Let a = -10 + v. Does 19 divide a?
True
Is 6/(-18) - 224/(-6) a multiple of 21?
False
Suppose 10 = 4*d - 10. Is ((-3)/d)/((-6)/330) a multiple of 14?
False
Let n(c) = 2*c**3 + 2*c**2 - 3*c - 2. Is n(2) a multiple of 3?
False
Suppose 12 = q + 3*q. Suppose 0*s + q*s - 72 = 0. Does 15 divide s?
False
Let q be (2 + -54)*(-1 - 0). Suppose 12*n - 6*n - 18 = 0. Suppose n*s - q = 44. Is 19 a factor of s?
False
Let g = 13 - 9. Let q(a) = -a**3 + 6*a**2 - a. Does 10 divide q(g)?
False
Let w(g) = -4*g**3 - 2*g - 1. Let z be w(-1). Suppose -11 = -4*x + z. Let l = -1 + x. Is 3 a factor of l?
True
Suppose 2*j + 173 = m, 2*m - 2*j + 503 = 5*m. Is m a multiple of 13?
True
Does 6 divide 190/8 - 2/(-16)*2?
True
Let b be 57/11 - (-18)/(-99). Suppose -2*d - 99 = -b*d. Does 11 divide d?
True
Suppose 0 = -4*q + 5*b + 159, 0 = 3*b - 3 - 0. Is 10 a factor of q?
False
Suppose -4*w = -11*w + 672. Does 24 divide w?
True
Let r = 45 + -19. Is r a multiple of 2?
True
Suppose -4*c + 264 = -0*c. Does 19 divide c?
False
Suppose -40 = -3*z - 5*t, -2*z = 2*t + t - 25. Suppose -2*i = z*u - 5*i - 256, u + 3*i = 62. Let x = u + -35. Is x a multiple of 9?
True
Does 10 divide -6*((1 - 0) + 69/(-9))?
True
Let u be (4/6)/((-4)/12). Let a be (-8)/(-4)*(-2)/u. Suppose a*c + 0 = 32. Does 10 divide c?
False
Suppose -2*g - g + 9 = 0. Suppose -g*d + 3*o + 30 = 9, -4*d = 4*o - 4. Does 3 divide d?
False
Let w = 1263 + -569. Let j = w + -493. Suppose 3*y + 75 - j = 0. Is y a multiple of 14?
True
Suppose r = 5*r - 424. Let g = r + -73. Is 9 a factor of g?
False
Suppose 0 = -3*q + 2*z + 