et m = a + 1. Suppose -5*p - 8 = z - 5*z, m*z = 3*p + 23. Does 3 divide z?
False
Let m(u) = u**3 + 6. Let o be 2 - 2 - 0/(-2). Is 3 a factor of m(o)?
True
Does 8 divide 0 + (-180)/8*-2?
False
Is 12 a factor of 277/4 - 1/4?
False
Let d(o) = 4*o - 8. Let l(z) = -7*z + 16. Let k(b) = 5*d(b) + 3*l(b). Let u be k(6). Is (u/(-4))/((-3)/228) a multiple of 19?
True
Suppose i - 2 = -2*h + 4, 5*h = 2*i + 33. Is 2 a factor of -2 - (-2 - (h - 0))?
False
Let u(q) be the third derivative of -q**8/320 + q**7/2520 - q**4/6 + 4*q**2. Let i(g) be the second derivative of u(g). Is 11 a factor of i(-1)?
True
Suppose 2*x + 4*x = 126. Is x even?
False
Let x(n) = n + 8. Suppose -3*f - 3 = f - 3*i, -1 = 4*f - i. Does 8 divide x(f)?
True
Let h(p) = -8*p - 6. Let u be h(-6). Is ((-6)/9)/((-4)/u) a multiple of 7?
True
Is 10 a factor of (-357)/(-24) + 1/8?
False
Suppose 8*p - 20 = 4*p. Let s = p - 3. Is 7 a factor of s/((-18)/(-14) + -1)?
True
Let d(l) = -l**3 - 7*l**2 + 7*l - 9. Let k be d(-8). Let i be k - (9*2)/(-1). Suppose i = 2*y - 17. Does 8 divide y?
False
Let q be (-9 - -8) + (-5 - -1). Does 9 divide 3 + -2 - 85/q?
True
Suppose 0 = -4*m + 3*p + 101 - 13, -2*m + 54 = -4*p. Is 5 a factor of m?
False
Suppose 2*b = 10, -4*q + 0*b - 22 = -2*b. Let k = q - -5. Suppose d + 4*h - 8 = k*h, -5*h = -5*d + 55. Is d a multiple of 10?
True
Let u(y) be the second derivative of -y**3/6 + 3*y**2/2 + y. Let k = -11 - -6. Does 4 divide u(k)?
True
Suppose 0 = -k - 3 + 4. Let z = k + 2. Suppose -4*m = 0, 0 = q - 0*q - z*m - 20. Is 7 a factor of q?
False
Let c(q) be the second derivative of -q**4/6 - q**3/6 - 7*q**2/2 - 2*q. Let l be c(-5). Let s = 82 + l. Does 11 divide s?
False
Suppose 2*j + 3*j - 5 = 0, -4*c = 3*j + 9. Let b(q) = q**3 + 3*q**2 - 5*q - 2. Does 5 divide b(c)?
False
Let f be (-90)/(-8) + 3/(-12). Does 7 divide f + (-9)/(-3)*1?
True
Suppose 11 = g + 4*f, g + f = -3*g + 14. Suppose 0 = -0*j + j - g. Is j a multiple of 3?
True
Let u = 33 + -20. Let p = u - -10. Suppose -d + 4*a + 17 = 0, -2*d - 2*a + p = a. Is d a multiple of 13?
True
Let j be (-3)/1 + -5 + -1. Is 20 a factor of (-554)/(-14) + j/(-21)?
True
Is 12 a factor of (13/3)/((-1)/(-3))?
False
Suppose 4*l - 5*k - 100 = 0, -2*k + 17 + 8 = l. Let o = -9 + l. Is 8 a factor of o?
True
Suppose -4*w - 268 = -4*f, 2*f = -0*f + w + 133. Is f a multiple of 22?
True
Let v = -13 + 3. Let k = 16 + v. Is 2 a factor of k?
True
Let s(g) = 7*g - 4. Let o be s(6). Is 7 a factor of 4/6 + o/6?
True
Suppose -p - 6*q - 11 = -9*q, q = -p + 9. Does 4 divide p?
True
Let n = -47 - -89. Is n a multiple of 6?
True
Suppose f + 6 - 1 = -a, -5*f - 23 = 3*a. Is 4 a factor of (-3 + 1)/a + 5?
False
Suppose q - 7 = -5. Suppose -5*p - 143 = -q*g, -429 + 100 = -5*g + 3*p. Does 32 divide g?
True
Let m = 8 - -477. Suppose 5*w - 2*z - 842 = 0, 353 = 5*w - 3*z - m. Suppose -w = -10*j + 5*j. Is 17 a factor of j?
True
Let z(c) = -2*c - 8. Let r be z(8). Let u = r + 47. Is u a multiple of 9?
False
Let p(u) = -u**2 - 2*u + 2. Let c be p(-4). Let a be (3 + -1)*(-4 - c). Is 6 a factor of (-23)/(-2) + 2/a?
True
Let p(g) = -3*g - 16. Let f be p(-6). Suppose 3*w - 50 = -o - o, w - 14 = f*o. Is 16 a factor of w?
True
Let j(v) be the second derivative of v**3/3 + 2*v**2 + 8*v. Is j(12) a multiple of 9?
False
Let f be (-7)/(-2) + (-6)/4. Suppose -f*t + 60 = 2*t. Is t a multiple of 6?
False
Let s be (-20)/(1/(-3 + 0)). Suppose -p = -3*m - 30, -4*m = -0*p - 2*p + s. Does 22 divide p?
False
Suppose -o + 2*i + 20 = 0, 87 = 3*o + 2*o + 3*i. Is o a multiple of 8?
False
Let t be 3/((-3)/(-16)*2). Let x(g) = 3*g**2 + 0*g**2 + 9*g - 4*g**2 + 5. Is x(t) a multiple of 9?
False
Let u(d) = -9*d + 14. Is 20 a factor of u(-6)?
False
Let x = 617 - 389. Does 38 divide x?
True
Let o(f) = 108*f**2. Is 20 a factor of o(-1)?
False
Is 4 a factor of -29*((-12)/(-3) - 5)?
False
Suppose 3*x = 8*x - 440. Is 8 a factor of x?
True
Let l be -2*(1 - (-3 - -1)). Is 24 a factor of (48/(-15))/(l/135)?
True
Let l be ((-273)/9)/(2/(-6)). Suppose 0 = p + 11 - l. Suppose z = -4*z + p. Is z a multiple of 8?
True
Let i(s) = s + 3. Let q(c) = -1. Let m(x) = 3*i(x) + 5*q(x). Suppose 2*u + 6 = 5*y + 4, 0 = 2*u + 5*y - 18. Does 7 divide m(u)?
False
Suppose -4*j - 11 = 13. Let n be j*5/(15/(-2)). Suppose 16 = n*a, -6 = -3*p + p + 3*a. Is 9 a factor of p?
True
Let z(m) = 15*m + 14. Is z(4) a multiple of 11?
False
Suppose 0 = -n - 2*n + 12, 2*n + 64 = 4*d. Is 9 a factor of d?
True
Let n(r) = 7*r + 3. Is n(3) a multiple of 12?
True
Let d be 1/(3/(-18)*-3). Suppose -d*o + 11 = -81. Does 27 divide o?
False
Suppose -q + 6 = -3*q. Is 4 a factor of (q - (-7)/2)*22?
False
Let b = 37 - 24. Let c = b + 1. Does 8 divide c?
False
Let p(a) = -a**2 - 6*a - 3. Let i be p(-5). Let m(b) = -b**3 + 2*b**2 - 3*b + 1. Let j be m(i). Is (-1)/5 + (-81)/j a multiple of 7?
False
Let f = -5 + 77. Does 18 divide f?
True
Let u be ((-1 - -1) + -4)/2. Does 16 divide (624/3)/4 - u?
False
Suppose 4*o + 88 = 8*o. Suppose -2*z + 5*j + 9 = 0, 4*z - 4*j - 14 = -z. Suppose 2*s = -4*d + 90, 0 = 4*d - z*s - 116 + o. Is 10 a factor of d?
False
Let n(f) = 240*f**3 - f**2 + 1. Let s be n(1). Suppose 5*l + s = 9*l. Does 20 divide l?
True
Does 10 divide (-28)/112 - 45/(-4)?
False
Let u(k) = -k**3 + 7*k**2 - k + 4. Let f be u(6). Suppose -f = -2*n - 2*n + 3*c, -2 = -c. Is n a multiple of 6?
False
Let s = -21 - -13. Suppose 0 = -9*l + 78 + 75. Let b = s + l. Is 5 a factor of b?
False
Is 9/1 + -9 + 13 even?
False
Let x(r) = 4*r**2 + 19*r + 14. Is 7 a factor of x(-7)?
True
Let h(q) be the second derivative of q**4/6 + q**3/3 - q**2 - 3*q. Does 17 divide h(4)?
False
Let c(b) = b**2 + b + 2. Let j = 9 - 9. Let u be -4 + -2*(j - -1). Does 15 divide c(u)?
False
Let y = 1684 + -1003. Suppose 0 = -5*d + 109 + y. Suppose -18 + d = 5*t. Is 14 a factor of t?
True
Let k(i) be the second derivative of 0 - 3/2*i**2 + 2*i - 1/3*i**3. Does 5 divide k(-7)?
False
Let x(g) = 3*g**2 - g + 1. Let d be x(1). Suppose 0 = -3*w + d*b + 15, 5*w - 3*w - 30 = -3*b. Does 9 divide w?
True
Is 64/12*(3 - 0) a multiple of 4?
True
Suppose -2 - 13 = -5*n. Let x be n - -6*86/4. Does 8 divide x/16 + (-2)/8?
True
Let b(i) = -14*i - 1. Let l be b(1). Let k be (1/(-3))/((-5)/l). Let j(x) = -12*x + 1. Does 7 divide j(k)?
False
Suppose 4*d - 27 = d. Suppose 11*p - d*p - 166 = 0. Is 19 a factor of p?
False
Does 5 divide (1*-3)/(3 - 48/15)?
True
Let t(q) = q**3 - 15*q**2 - 11*q - 25. Does 26 divide t(16)?
False
Suppose -l - 12 = 4*t, 3*l + 0*t + 50 = -5*t. Is (l/(-8))/(1/6) a multiple of 9?
False
Let w(m) = -m**3 - 3*m**2 - m - 4. Let k be w(-3). Suppose 3*i + 0*v - 4 = 2*v, 5*v = 5*i - 10. Is 9 a factor of -3*k*3 - i?
True
Suppose 5*p = -0*p + 30. Let y(d) = -2*d + 1. Let f be y(p). Let n = f + 21. Is n a multiple of 5?
True
Let w(u) = -4*u**2 + 15*u - 6*u - 9 + u**2 + 2*u**2. Suppose 3*g - 4 = -j, 0 = -5*j + 2*j - 4*g + 17. Is w(j) a multiple of 2?
False
Let s(w) = w**3 + 6*w**2 - 8*w + 3. Does 10 divide s(-7)?
True
Let q(w) = 9*w**2 + 2. Let v be q(2). Let t = 53 - v. Is 12 a factor of t?
False
Let m be 4/6 + 574/21. Let g = m - 18. Let s = g - 5. Is 2 a factor of s?
False
Let c = 11 - 3. Suppose -5*j - 2*z = -0*z - 20, 2*z - c = j. Does 3 divide (-8)/(-1 + -1)*j?
False
Let y be -6 + 6 + 4 + -6. Let b = y + 17. Does 5 divide b?
True
Let j = -5 - -5. Let o be (-3 + j + 2)*0. Suppose o*c = 4*c - 100. Is c a multiple of 13?
False
Let f be 14/10 + (-6)/(-10). Let o(g) = g**3 + 1 + g**3 - 2 + 2*g**3 + 2*g + 2*g**2. Is 13 a factor of o(f)?
False
Suppose -9*c - 97 = -10*c. Does 22 divide c?
False
Let d(k) = k**3 - 8*k**2 + 11*k - 6. Let r be d(7). Suppose -4*h - 6 = -r. Suppose 0 = -4*s + 5*z + 33, h*s + 2*z = s - 4. Is s a multiple of 2?
True
Suppose 1 = -k - 2*c + 10, -24 = -2*k - c. Let b = k - -28. Is 9 a factor of b?
False
Let i(k) = k + 56. Let u be i(0). Suppose 2*n - u = 22. Is 8 a factor of n?
False
Suppose -i - r + 49 = 0, -2*r = 6*i - 3*i - 149. Is i a multiple of 17?
True
Let u(n) = 13*n. Suppose -5*h - 53 = 2. Let k be 2/h - 48/(-22). Does 11 divide u(k)?
False
Let z = -6 + 30. Is z a multiple of 6?
True
Let z(q) = q + 2. Let w be z(0). Is 15 a factor of 56/(6 + -2)*w?
False
Let m(o) be the third derivative of -o**7/5040 - o**6/120 + o**5/60 - 3*o**2. Let w(z) be the third derivativ