 -3*o - 5*f = -25. Let r be (2/4)/((-2)/(-12)). Let m = o + r. Is 9 a factor of m?
True
Suppose -4*l + 168 - 16 = 0. Is l a multiple of 8?
False
Suppose -3*i - i = -4. Suppose -37 = 3*s - i. Let k = s + 28. Is k a multiple of 13?
False
Let m = 0 + 8. Suppose -c = -3*c + m. Does 9 divide 24/(-20)*(-30)/c?
True
Let z = 20 + -14. Let q(r) = -r**3 + 7*r**2 - 9*r + 9. Let j be q(z). Let l = 13 + j. Is l a multiple of 2?
True
Let m = -9 - -6. Let r be (-444)/9 + 2/m. Let p = -30 - r. Is 7 a factor of p?
False
Let p = -9 + 11. Suppose 5 = -5*x, 3*x = -p*b + x + 162. Is 24 a factor of b?
False
Suppose 4*r = -3*t - 6, -2*r + 5*t + 10 = 3*r. Suppose -2*s + 14 + 48 = r. Suppose -3*g + s + 23 = 0. Is 12 a factor of g?
False
Let t(v) = -1 + 11*v + 9*v**3 - 11*v. Is t(1) a multiple of 3?
False
Let c(o) = 3*o - 1. Let y be (0/3*1)/1. Let l be 4 + (2 - y - 1). Is c(l) a multiple of 14?
True
Suppose 2*r - 4 = -0. Suppose -r*p + 5 + 1 = 0. Is 3 a factor of p?
True
Suppose 4*c + 4*w = 36, 4*c - 2*w - 56 + 2 = 0. Is c a multiple of 12?
True
Let z be 2/(-6) + 40/12. Suppose z*o = -5*g + 32, -3*g - 28 = -2*o - 8*g. Does 2 divide o?
True
Let i(h) be the first derivative of -9*h**2/2 - 7*h + 5. Is 19 a factor of i(-5)?
True
Let z(t) = t**2 + 6*t + 10. Is z(-11) a multiple of 13?
True
Let o(p) = 26*p**3 + 3*p**2 - p - 3. Does 31 divide o(2)?
False
Suppose 3*y - 146 = -4*k, -5*k - 17 = -y - 0*k. Does 6 divide y?
True
Let k = 209 + -88. Is k a multiple of 11?
True
Let q = 26 + -14. Suppose -x + q = 3*x. Suppose -x*r - r = -132. Does 13 divide r?
False
Let h be (66/8)/(1/4). Suppose -2*d + 11 = -h. Is d a multiple of 22?
True
Let j(u) = u**3 + 7*u + 33. Let h(s) = s. Let q(t) = -6*h(t) + j(t). Does 13 divide q(0)?
False
Is 64/(-12)*(-3 - 0) a multiple of 16?
True
Let t(p) be the second derivative of 25*p**4/6 - p**3/6 + p**2/2 - 4*p. Is t(1) a multiple of 25?
True
Let w(v) = v - 12. Let s(q) = 9*q - 120. Let d(u) = -2*s(u) + 21*w(u). Is d(9) a multiple of 5?
True
Suppose 3*b = 5*x - 419, -5*b = -9 + 24. Is 7 a factor of x?
False
Let p = 16 - -248. Is 33 a factor of p?
True
Let d(a) = -a**2 - 3*a. Let g be d(-2). Suppose -g*k = -3*k + 4*m + 6, 5*k - 87 = m. Does 18 divide k?
True
Let g = -11 + 15. Suppose 5 - g = -t. Let v = 4 - t. Does 5 divide v?
True
Let y(f) be the third derivative of -7*f**4/24 - 7*f**3/6 - 2*f**2. Does 17 divide y(-5)?
False
Let n = 63 + 128. Is 27 a factor of n?
False
Let o = -297 - -527. Is 21 a factor of ((-2)/4)/((-5)/o)?
False
Let g(r) = 3*r - 11. Let n(q) = -q**3 + 5*q**2 - 3*q + 4. Let d be n(4). Is g(d) a multiple of 5?
False
Let j = 4 + -4. Suppose j = 3*h + h + 8, -m = -3*h - 62. Is m a multiple of 28?
True
Suppose k - 292 = 76. Does 18 divide 6/(-15) - k/(-20)?
True
Suppose 3*z = -0*z. Suppose -i + 116 = 4*y - 3*i, 5*i + 20 = z. Is 5 a factor of y?
False
Let z = -54 + 118. Is z a multiple of 4?
True
Let c(s) be the first derivative of s**3/3 - s**2/2 + 4*s + 1. Let u be c(0). Suppose -3*f - j = f - 63, 0 = -u*j + 12. Is 15 a factor of f?
True
Let c be -1 + 3 - 7 - -2. Let s(b) = -b**3 - 4*b**2 - 3*b + 3. Let u be s(c). Is u/12 + 71/4 a multiple of 6?
True
Is 13 a factor of 49 + (3 - 9)*2/(-4)?
True
Suppose 0 = 4*w - 0*w - 24. Does 21 divide 8/w*57 + 1?
False
Let w(g) = -g + 8. Let o be w(6). Suppose -11 = 2*n + q, o*n + 26 = -0*n - 4*q. Does 7 divide 6/(-18) - 31/n?
False
Let c(v) = v**3 + 14*v**2 - 19*v - 6. Is 27 a factor of c(-15)?
True
Let v be (32 - -4)*(-7)/3. Let n = -15 - v. Is 1/(2 - n/36) a multiple of 9?
False
Let y(o) = o**3 - 11*o**2 + 6*o + 18. Does 7 divide y(11)?
True
Suppose 0*h - 5*h - 2*r + 256 = 0, 0 = -4*h - r + 203. Does 13 divide h?
False
Let t(k) = 52*k**3 - k**2 + 5*k + 3. Let d(g) = 78*g**3 - 2*g**2 + 8*g + 5. Let f(a) = -5*d(a) + 8*t(a). Is 9 a factor of f(1)?
True
Suppose -3*k + 11 = -1. Suppose 2*v - 50 = -2*a - a, -a = -k*v + 2. Is a a multiple of 10?
False
Let v(m) be the first derivative of m**4/4 + 2*m**3/3 - m + 2. Let z be v(-1). Suppose z = -0*c + 2*c - 12. Is c a multiple of 6?
True
Suppose 5*m = -3*k + 12 + 13, -5*m - 4*k + 20 = 0. Let l(f) = f + 3. Let d be l(m). Suppose -s + 19 = -d. Does 10 divide s?
True
Let o(t) = t**3 - 8*t**2 - 7. Is o(9) a multiple of 10?
False
Let j(g) = -5*g**2 - 6 + 3 - 1 + 6*g**2. Let z be j(4). Let v = z - 6. Is v a multiple of 6?
True
Suppose -259 = -5*a - r + 24, 2*r - 6 = 0. Is a a multiple of 28?
True
Let h(r) = -r**3 + 2*r**2 + 10*r. Let n(s) = -s**3 + 3*s**2 + 9*s + 1. Let z(k) = -2*h(k) + 3*n(k). Suppose -37 - 29 = -11*x. Is z(x) a multiple of 7?
False
Let s(u) = u**2 - 2*u - 7. Let t be s(4). Let a(c) = 10*c**3 - c**2 + 1. Is 10 a factor of a(t)?
True
Let x = -53 + -3. Let z(y) = 5*y**2 + 5*y + 4. Let c be z(-5). Let k = c + x. Does 16 divide k?
True
Let a = -5 + 8. Suppose 3 = a*u - 3. Let w = u - -22. Is w a multiple of 10?
False
Let u(s) = 6*s**2 + 2*s + 2. Let l be u(-2). Let n = 118 + -46. Suppose -5*t + n - l = 0. Is 10 a factor of t?
True
Let a(k) = -k + 17. Let z be a(13). Suppose 0 = -z*g - 3*c + 223, -5*g + 2*c + 88 = -162. Is g a multiple of 26?
True
Let m be (-36)/6*1/(-2). Suppose -m*o - 24 = -5*o. Is 6 a factor of o?
True
Let f(m) = -m**3 + 4*m**2 + 3*m + 1. Is f(3) even?
False
Let t(j) = 2*j + 29. Is 17 a factor of t(12)?
False
Let c be -2 + 3 + 1 - -79. Suppose -3*r + 69 = r - k, 0 = 4*r + 3*k - c. Is 18 a factor of r?
True
Let n = -44 - -49. Is n a multiple of 2?
False
Let u = 67 - -39. Suppose 66 = -2*a - u. Is 7 a factor of a/(-6) - (-1)/(-3)?
True
Suppose -3*l + 6*l - 450 = 0. Suppose -3*d + 2*d = 2*n - 69, -4*n + 2*d = -l. Does 18 divide n?
True
Let r(h) = 3*h**2 - h. Let g be r(-1). Suppose 0*y - 3*y + t + 10 = 0, 4*y - 8 = g*t. Suppose 2*u - 2*c = 80, -160 - 76 = -5*u - y*c. Is 24 a factor of u?
False
Suppose 2*h + 3*d - 323 = -0*h, h = 3*d + 157. Is h a multiple of 38?
False
Suppose 0 = -o + 5*u - u + 81, 3*o = -2*u + 187. Suppose 0 = 5*m + 2*b - 158 - 162, 5*b = 3*m - 192. Suppose 3*h = o + m. Is h a multiple of 16?
False
Suppose -5*g + 47 = 2*j + 9, -4*g + 2*j + 34 = 0. Is 7 a factor of g?
False
Let k(i) be the first derivative of i**4/4 + 4*i**3/3 - 5*i**2/2 - 1. Let c be k(-5). Is 20 a factor of (-8 + c)/((-1)/5)?
True
Let y = 207 - 147. Suppose 4*n - 240 = -2*k, -k - y = -n - 2*k. Suppose -n = -3*x - 0. Does 10 divide x?
True
Let k(w) = -5*w - 2 + 2 + 0. Let t(f) = -2*f - 2. Let y be t(2). Is k(y) a multiple of 10?
True
Let t(c) = 19*c + 16. Let j(u) = -6*u - 5. Let r(k) = 7*j(k) + 2*t(k). Let w be r(-2). Suppose 90 = w*i + 25. Is i a multiple of 4?
False
Let h be (-2)/(-8)*(5 + -1). Suppose 0 = -2*m + 10, m + 0 = 2*y - h. Is y a multiple of 3?
True
Suppose -2*l = 10, -3*w - 2*w + 3*l + 15 = 0. Suppose 2*q - 6 - 8 = w. Let v(o) = -o**3 + 8*o**2 - 4*o - 9. Is 6 a factor of v(q)?
True
Let o = -16 - -38. Is o a multiple of 5?
False
Suppose 0*i - 144 = -2*i. Is i a multiple of 18?
True
Suppose 4*f - 812 = u, 5*f - 4*f = 4*u + 188. Is 12 a factor of f?
True
Let j = -19 + 43. Is 4 a factor of (-6)/j - (-33)/4?
True
Let r(l) = 20*l - 1. Let o be r(2). Suppose 3*y - 9 = -3*g - o, 5 = -5*y. Let a = 1 - g. Is 5 a factor of a?
True
Let q(i) = -34*i. Let f = 6 - 7. Is 16 a factor of q(f)?
False
Let w(n) = -n**3 - 3*n**2 - 4*n + 8. Is w(-6) a multiple of 35?
True
Let a(l) = 8*l. Let h = -4 - -5. Does 4 divide a(h)?
True
Let p(o) = 2*o - 5. Let n be p(6). Suppose 3*s - n*s = -72. Does 9 divide s?
True
Let g(b) = b**2 + 2*b - 7. Suppose -4*j = -6*q + 3*q - 16, -2*j + q + 6 = 0. Suppose -2*y = 9 + j. Does 8 divide g(y)?
True
Suppose -5*x - k + 97 = 29, 3 = k. Is x a multiple of 13?
True
Let s(o) = -o + 12. Let h be s(6). Suppose -9 = -4*m + m. Suppose h*y = m*y + 42. Is 7 a factor of y?
True
Let x = 18 - 20. Let b(g) be the third derivative of g**5/30 - g**4/12 - g**3/6 - g**2. Is 5 a factor of b(x)?
False
Let c be (12 - 13)/((-1)/(-15)). Let a = c - -32. Is a a multiple of 7?
False
Let k(m) = 6*m - 3 + m**2 + 0 + 0. Is k(-7) a multiple of 4?
True
Let z(x) = -x**3 + 2*x**2 + 6*x - 7. Let m be z(3). Suppose 4*d = d + 255. Suppose d = -m*r + 7*r. Does 9 divide r?
False
Suppose c - 124 = -3*g, -35 = -g - 5*c + 11. Does 8 divide g?
False
Suppose -4*k - 117 = -5*b, -5*k = 3*b - 2*b - 35. Suppose -5*q = -95 - b. Is q a multiple of 12?
True
Let z(j) = j