et s(c) = 66*c - 2. Let n be s(-1). Let w = n + 116. Does 16 divide w?
True
Suppose -m = 3*v - 110, 2*m + 3*v = -0*v + 232. Is m a multiple of 18?
False
Let s(o) be the second derivative of o**4/12 - o**3/6 - 3*o**2 + 8*o. Is s(5) a multiple of 6?
False
Let g(r) = r**3 - 6*r**2 - 7*r + 5. Let f be g(7). Suppose 5*o - 18 = 3*h + 178, 2*h + 199 = f*o. Does 27 divide o?
False
Let r(p) = 7*p - 7. Let m be r(12). Let y = 111 - m. Is y a multiple of 15?
False
Let r(f) = 23*f**2 + 2*f - 3. Let t be r(2). Is 5 a factor of (-10)/35 - t/(-7)?
False
Let l be 92/28 - 4/14. Let t be (1/2)/(l/(-24)). Let d = 16 + t. Is d a multiple of 11?
False
Suppose 2*z - 4*z = -26. Suppose -n + z + 9 = 0. Does 19 divide n?
False
Let p(x) = -x**3 - 2*x**2 + x + 4. Let f(d) = d**2 + 5*d - 3. Let y be f(-5). Let c be p(y). Let i = c - 1. Does 4 divide i?
False
Let w = 81 - 54. Is 27 a factor of w?
True
Suppose -o + 12 = -27. Does 14 divide o?
False
Let x(u) = 10*u**2 - 1 - 3 + 5. Is x(-1) a multiple of 4?
False
Let v = -1 + 3. Suppose x + 2*f - 2 = 0, 4 = 2*x + f + v*f. Suppose -4 + 14 = x*g. Is 2 a factor of g?
False
Suppose -p - 3*d + 18 = 0, -4*d + 23 = p - 0*d. Is 2 a factor of p?
False
Let b(g) = g**2 - 8*g - 7. Let q be b(9). Suppose 110 = o + q*o - 2*w, w - 143 = -4*o. Is 18 a factor of o?
True
Suppose 5*f = 5*l - 0*l, 24 = 3*l + 3*f. Suppose 0 = l*n + n - 135. Is n a multiple of 9?
True
Suppose -n - 2 = 0, -5*y + 0*n = 4*n - 67. Is (-6)/(-15) + 624/y a multiple of 21?
True
Let p(h) = -27*h + 22. Let n = -1 + -4. Let m(k) = 18*k - 15. Let w(g) = n*p(g) - 7*m(g). Is w(4) a multiple of 15?
False
Suppose -d = d. Suppose d = -2*i + 8. Is 2 a factor of i?
True
Suppose -p = -5*p + 16. Suppose -5*u - p*n = -72 - 60, 0 = 3*u + n - 75. Is 12 a factor of u?
True
Let s = -6 - -12. Suppose 3*z = s*z + 9. Let k(r) = -r**2 - 5*r + 1. Is k(z) a multiple of 6?
False
Let g(x) = 6*x + 1. Is 12 a factor of g(6)?
False
Let v(c) = 2*c**3 - 5*c**2. Let l(p) = p**3 - p**2. Let u(x) = -20*l(x) + 4*v(x). Suppose 2*d = 4*d + 2. Is 8 a factor of u(d)?
False
Let u(m) = -3*m**3 - 7*m**2 - 3*m - 6. Is 4 a factor of u(-3)?
False
Let r = -17 + 6. Let m = 15 + r. Is 4 a factor of m?
True
Let y = -3 - -1. Is 12 a factor of 2*6 + 0/y?
True
Suppose 0 = l, 0 = 2*r + 7*l - 8*l - 652. Does 52 divide r?
False
Let w be (-1840)/44 + 4/(-22). Let n = 104 + w. Is 16 a factor of n?
False
Suppose t + g = 150, 582 = 4*t + 2*g - 4*g. Suppose -8*l = -3*l. Suppose 5*a - t - 3 = l. Is 15 a factor of a?
True
Suppose 5*v = v - 196. Let u = 91 + v. Is u a multiple of 7?
True
Let s(g) = 6*g + 3. Is 8 a factor of s(4)?
False
Let z(r) = 5*r + 6. Let f(u) = -3*u - 3. Let p(g) = -9*f(g) - 4*z(g). Does 31 divide p(4)?
True
Let a = 3 - 1. Let s(b) = -1 + 28*b**a + b + 2 + 0. Does 14 divide s(-1)?
True
Let h(m) = -5*m - 6. Let v = 3 + -3. Let q be (v - -6)/((-12)/8). Is h(q) a multiple of 14?
True
Suppose m - 10 = -2*v, v - 4*m = -3*v + 8. Let w(b) = b**3 - 5*b**2 - 6*b - 11. Let o be w(8). Suppose l + 4*u = 36, -4*l - u + o = v*u. Is 13 a factor of l?
False
Suppose 0*m + 2*m = 58. Does 9 divide m?
False
Let t be 240/39 + (-2)/13. Let u(f) = -f**3 + 7*f**2 + f - 7. Is 21 a factor of u(t)?
False
Let q = 21 + 0. Is 7 a factor of q?
True
Let q be 1 - -2 - (-12)/6. Suppose -4*c = -q*m - 83, c = -3*m + 7*m + 18. Let z = c + -12. Is 10 a factor of z?
True
Let g(m) = 4*m**2 + 3*m + 4. Let j be g(-4). Suppose 15 = -3*c, 2*q + 4*c - j - 8 = 0. Suppose 0 = 4*b - 0*b - 16, -3*o - 3*b + q = 0. Does 10 divide o?
True
Suppose -3 = 2*l - 3*l. Let f = 107 + -25. Suppose -l*a + a = -f. Is a a multiple of 17?
False
Let p(v) = -v - 8. Let f be p(-6). Let n = 14 + -19. Is 8 a factor of f/n + (-106)/(-10)?
False
Let g = -104 + 150. Suppose 0*r - 5*r = c + 45, 2*c - 4*r = -48. Let b = g + c. Is 16 a factor of b?
True
Suppose 0 = -u - p + 13, p = u + 4*u - 41. Suppose 4*q + 10 = 30. Suppose -q*m + s + 212 = 29, -3*s = u. Is 18 a factor of m?
True
Suppose 13 = -4*d + 21. Suppose -b - 55 = -d*b. Is 30 a factor of b?
False
Let u(b) = -2*b**3 - 2*b**2 + 3*b. Let f be u(-3). Suppose 4*r = -v + 3*v + 6, 3*r = -3*v + f. Is v even?
False
Let y be (0/((-2)/1))/(-2). Let w(p) = -p**3 + p**2 + 38. Is w(y) a multiple of 17?
False
Let j(f) = f**3 + 3*f**2 - 6*f - 3. Let q be j(-4). Is 11 a factor of (14 - (-2 + q)) + 1?
False
Let l(y) = y**3 + y**2 - y + 24. Let s be (0/(-3))/((-6)/(-3)). Is l(s) a multiple of 13?
False
Let q(j) be the third derivative of j**4/12 - j**3/3 - 2*j**2. Let s = -3 - -8. Does 8 divide q(s)?
True
Let q be (2 - 2/1) + 0. Let p(b) = -7*b**2 + 7*b - 25. Let g(s) = -6*s**2 + 6*s - 24. Let k(n) = -6*g(n) + 5*p(n). Is 19 a factor of k(q)?
True
Let m = -19 + 19. Suppose 2*n = -m*n + 30. Is 5 a factor of n?
True
Suppose -8*d + 5*d = 135. Let g = 2 - d. Is g a multiple of 9?
False
Suppose -3*o + 232 = o. Suppose 0 = 2*g - 8, 3*k + g - 42 - o = 0. Is k a multiple of 13?
False
Let o(u) = u**2 + 10*u + 13. Let z be o(-9). Suppose -z*g - 19 = -3*q, 0 = q + 2*g - 5*g + 2. Is 13 a factor of q?
True
Suppose 0*t = -4*t + 5*v + 8, 6 = 3*t - 4*v. Suppose -f - 30 = -t*f. Is 6 a factor of f?
True
Let f(k) = -11*k + 18*k**2 - 12*k**2 + 4 - 7*k**2. Is 16 a factor of f(-7)?
True
Let s = -105 + 164. Does 13 divide s?
False
Let g be (8/5)/(1/20). Suppose b - 8 = g. Does 11 divide b?
False
Suppose 18*n = 30*n - 1152. Is 6 a factor of n?
True
Let a be -5*(8/10 - 2). Suppose 2*o - a - 48 = 0. Is 12 a factor of o?
False
Let w be 0/(((-4)/2)/(-1)). Suppose w = -4*d - 3*o - 3, 5*o + 60 = 4*d + 23. Suppose -d*t = -2*t - 38. Is t a multiple of 14?
False
Suppose 0 = -0*k + 4*k, 0 = -y - 4*k - 4. Let t be (-119)/y - 4/(-16). Let d = -11 + t. Is d a multiple of 7?
False
Let b = -6 + 8. Let h(u) = 2*u**3 - 3*u - u**3 + 2*u**2 - u**b + 1 + 3*u**2. Does 13 divide h(-4)?
True
Let z(l) = 2*l**2 + 2*l - 36. Does 10 divide z(8)?
False
Suppose 0 = -3*m + p + 17, 5*m = p + 20 + 11. Suppose -4*d + 19 = -57. Let x = d + m. Is x a multiple of 11?
False
Suppose 2*l - 2*v = 3*v + 41, 0 = 2*l - v - 53. Is 14 a factor of l?
True
Suppose u - 1 = 12. Suppose -2 + u = i. Is i a multiple of 11?
True
Let g(h) = -h**3 - 2*h**2 + h - 5. Let j be g(-4). Let p be (-44)/2*(-1)/2. Let c = j - p. Does 12 divide c?
True
Let p(d) = -13*d - 54. Is 14 a factor of p(-13)?
False
Let f be 26/10 + 8/20. Suppose 5*r + a + 0 = 2, -f*a = r - 6. Suppose r = -2*b + 41 + 9. Does 9 divide b?
False
Let w be 71 - (-1 + 1)/2. Suppose 0 = -4*o - 2*g + w + 43, 0 = 2*o + 4*g - 42. Does 14 divide o?
False
Does 18 divide 2/5 - 0 - (-815)/25?
False
Suppose -4 + 24 = 2*u. Is u a multiple of 10?
True
Let b = -12 - -39. Does 27 divide b?
True
Suppose -54 = -5*t + 171. Suppose 2*p - 35 = -2*p + 5*y, -5*p + 5*y = -t. Does 10 divide p?
True
Suppose -i + 6 = r, -8*i + 3*r = -3*i - 38. Is i even?
False
Suppose 0 = -2*i - i + 84. Suppose -i = -q - 0*q. Let t = q + -16. Is 6 a factor of t?
True
Let y be ((-21)/(-5))/(2/(-10)). Let t(z) = -4*z**2 - z - 1. Let s be t(-1). Let w = s - y. Does 8 divide w?
False
Let b(c) = -c**2 + 5*c - 7. Let k(i) = -i**2 + 6*i - 7. Let j(t) = -2*b(t) + 3*k(t). Let d be j(7). Is (-2)/4*d + 5 a multiple of 3?
False
Let g(i) be the third derivative of -i**6/60 - i**5/60 - i**4/24 - 2*i**3/3 + 10*i**2. Is g(-3) a multiple of 10?
False
Let i(c) be the third derivative of c**5/60 + c**4/12 - 7*c**3/6 - c**2. Is i(-6) a multiple of 4?
False
Let g(y) = -8*y - 8. Is 16 a factor of g(-5)?
True
Suppose 5*q - 66 + 11 = 0. Is q a multiple of 9?
False
Let d(m) = 7*m**3 - 2*m + 1. Let p be d(1). Suppose 2*n - p*n + 72 = 0. Is 5 a factor of n?
False
Let v = 3 + -2. Let n be (-363)/(-15) + v/(-5). Is (3*n/9)/2 a multiple of 3?
False
Suppose 3*r = 56 + 139. Is r a multiple of 13?
True
Let x(v) = -2*v**3 + 2*v**2 - 3*v - 3. Let w(l) = -2*l - 10. Let f be w(-7). Suppose f*r + 11 = 2*t + r, -2*t - 3*r = 19. Is 19 a factor of x(t)?
False
Does 5 divide 2/(4/(-6)) - -17?
False
Let w be 12/(-3)*(-5)/(-4). Let d = 10 + w. Is 2 a factor of d?
False
Suppose -5*x = d - 115, -4*d - 111 = -4*x - d. Let l be 108/x*16/6. Is (-87)/(-12) - (-9)/l a multiple of 4?
True
Suppose -5*y + 6*i + 23 = 3*i, 0 = y - 5*i - 9. Suppose u + y*g = -u - 64, 3*u + 2*g = -92. Let r = 50 + u. Does 9 divide r?
False
Let b(k) = k**3 - 10*k**2 + 8*k + 1