olve 3*s - 3*o + 15 = -0, 4*s - 3*o + 17 = m for s.
-2
Let r be 2*3/(-6)*-16. Solve 4*c = -r, 4*o - 6 = 2*c - 2 for o.
-1
Let s(v) = -v**2 + 4*v + 4. Let x be s(4). Suppose i = -i - x*f + 20, -4*i = 5*f - 43. Solve 4*b = -4*g - i, -2*b + 3*g = -16 + 2 for b.
1
Let r(v) be the third derivative of -v**5/60 + v**4/8 + 4*v**2. Let a be r(3). Solve -2*q = -4*q + 5*j + 23, 4*j + 20 = a for q.
-1
Let f(q) = -5 - 1 + 3*q - 4*q. Let t be f(-6). Solve t = 5*s + 25, -4*z + 32 - 7 = -5*s for z.
0
Let r be 1 + -3 - -1*18. Let y = r + -10. Let a = y - 2. Solve -a*u + 3*o + 1 = -3*u, 4 = 4*o for u.
4
Suppose 5*q - 2*p - 6 = 0, 2*q + p = -0*p + 6. Let i be ((-8)/10)/((-6)/15). Let w be 1/(-2)*-2*3. Solve -w*o = -y - 8, q*y - 17 = -i*o + 5*y for o.
1
Let g(n) = 23*n + 8. Let o(u) = 8*u + 3. Let w(v) = 4*g(v) - 11*o(v). Let m be w(5). Solve -5*s = 2*b - 0*s - 15, -s = -4*b + m for b.
5
Let j(k) = -k**3 + 6*k**2 - 5*k - 4. Let z(x) = x**2 + x + 4. Let n be z(0). Let o be j(n). Suppose t - o = -t. Solve -u = t*v - 12, 5*u = 6*v - v + 10 for u.
4
Suppose -189 = -4*b - 5*f, 169 = b + 3*b + f. Solve -j + 6*j - b = -4*y, 18 = 2*y + 2*j for y.
4
Let a(b) = -b**2 - 10*b - 9. Suppose -3*n = -2*n + 9. Let j be a(n). Solve -z + 5*k = 8, 2*z + j*z - 3*k = -9 for z.
-3
Suppose 5*i + 0*j - 4*j = 8, -5*i = 2*j + 4. Let c = -3 - -3. Solve 3*x + 2*s - 5 = c, x - 3*s - 4 - 16 = i for x.
5
Let s = 13 - 4. Let x = s + -4. Solve -b = x*o + 4*b + 35, 2*o + 8 = b for o.
-5
Suppose k + 1 - 2 = 0. Solve 5*s - 3 = 2*s + r, -s = 2*r - k for s.
1
Let y(q) = -3 - 10 - 3*q - 3*q + q**2 + 1. Let l be y(9). Solve -2*i - 1 = 5*w - 7, 0 = 4*w - 5*i + l for w.
0
Let x(d) = d**3 - 12*d**2 - 27*d - 11. Let o be x(14). Solve -y + o*a - 6 = 0, y - 5*a + 3 = -3*y for y.
3
Let b be 2*(-1 + (-1 - -1)). Let n be (-3)/(-9)*0 - b. Let x(g) = -g - 3. Let q be x(-5). Solve 5*j - n = q*h, -3*h - 4*j + 4 = -16 for h.
4
Suppose -3*f + 4 = -2*f. Suppose t - 18 = -15. Solve -b = 4*z + 18, -t*z - 3*b - 5 - f = 0 for z.
-5
Let r = 7 - 3. Suppose r*f + 0*f + 3*n = 95, 4*n = -3*f + 80. Solve -5*a + 3*h = -f, -4*a = -2*h + 8 - 22 for a.
1
Let c be (-57)/(-5) - (-10)/(-25). Let x = c + -7. Solve 6*v + x = 3*g + 5*v, -g + v = -2 for g.
1
Suppose 5*n - j - 59 = 0, 35 = 3*n - j - 0*j. Solve -m - 3*m + p = 3, -4*p + n = 0 for m.
0
Let p be 1 - (-1 - 4/(-4)). Solve -l - 2*z + p = 0, 0*l + 11 = -l + 2*z for l.
-5
Suppose -2*q = -0*v + 3*v + 7, -3*v = 3*q + 9. Let a be (-6)/q + (-1 - -2). Solve 0 = -4*b + b - 4*r - 9, r = a*b + 12 for b.
-3
Let u = 147 - 135. Solve -3*p = -3*r + u, 2*p - 6*r + 2*r = -8 for p.
-4
Let n(q) = -q**2 - 6*q - 5. Let r be n(-4). Let j = -106 + 111. Solve 0*d + 4*d + 12 = r*l, j*l - 20 = -3*d for l.
4
Suppose 3*u + k = 5*k + 25, -u + 11 = -2*k. Solve -u*c + 2 - 17 = 3*r, 3*c + 15 = -r for r.
0
Let z(m) = -m**2 + 5*m + 2. Let v be z(5). Suppose -68 = -4*j - 0*j. Let f = -5 - -9. Solve -3*w - f*y - 33 = v*w, -y = 3*w + j for w.
-5
Let w(t) = -4*t**2 - 3*t**2 - 3 + 3*t + 4*t**2. Let k be w(2). Let h = k - -16. Solve 2*n = 5*g + 13, 1 = 2*g - h*g - n for g.
-1
Suppose -2*o + 2*y = -0 - 2, 0 = -o + 2*y. Suppose -40 + 12 = -o*u. Solve d = 6*d - 15, 0 = 5*k + 2*d + u for k.
-4
Let n = -7 - -13. Let d(r) = -r**3 + 5*r**2 + 7*r - 2. Let a be d(n). Solve -6 - a = -2*k - h, -2*k + 5*h = 2 for k.
4
Let g = -29 + 32. Solve w + g*a = -16, -3*a - 2 = 10 for w.
-4
Suppose b + 4*a = 8, 3*b + 4 = 2*a + 14. Solve -5*v = b*w + 31, v - 6*w = -w + 17 for v.
-3
Let c be 1 - (3 + -1 + -3). Solve -3*s + 3*a = -c*a + 27, 2*s + a = -5 for s.
-4
Let u = -7 + 11. Suppose -5*k = -u*r - 8, -r + 5*k - 17 + 0 = 0. Solve -r*j + 4 = 4*b, -2*j - 3 = -0*j - 3*b for j.
0
Suppose -q = -5*v - 3, -4*q + 2 = 5*v - 10. Let h(o) = o**3 + 6*o**2 - 2*o - 8. Let y be h(-6). Solve -4*c = -16, 9*n - y*n + c - 4 = v for n.
0
Let v(p) = p**3 - 28*p**2 + 29*p - 42. Let l be v(27). Solve -2*u = -2*z + l, -3*z - 7*u = -3*u - 4 for z.
4
Let u(d) = d**3 + 6*d**2 - 6*d + 7. Let t be u(-7). Solve -4*k - 36 = -4*y, -y + 3*y - 10 = t for k.
-4
Suppose l - 10 = -2*w, 8*w - 18 = -l + 4*w. Solve -13 = 3*z - 2*i, -l*z - 5*i = -3*z - 26 for z.
-1
Suppose -h + 20 = y, -y + h = -3*h. Solve 2*c + 4*k = -k + 2, 5*c = -2*k - y for c.
-4
Let b be 2*(-3)/18*-9. Let d be 0 + b/(-3) + 3. Solve -2*g = 3*f - 7*g - 14, f - d = -g for f.
3
Let l be (-2 - 1) + (10 - 1). Let r be (-4)/((-8)/l) - 13. Let f = r + 18. Solve -3*s + f*s - 5*v - 5 = 0, 3*v = -2*s + 12 for s.
3
Suppose 11*h = 2*h + 27. Solve -3*u - 2*u - c = 0, -h*c - 14 = u for u.
1
Suppose 0 = -y + 5*y - 4*v - 4, 2*v - 1 = y. Solve -3*c + 6 = y*q - q, q - c + 7 = 0 for q.
-3
Suppose -p - 4*q = 12, -2*q - 8 + 2 = p. Suppose 6*a - 3*a - 45 = p. Solve -4*m - n = -13, -a = -3*m + 4*n + 9 for m.
4
Suppose 18 + 2 = 4*w. Suppose 5*f = -0*f + 10. Let g = 3 + 2. Solve g*y - f + 19 = v, -v = -y - w for y.
-3
Let o = -22 + 24. Suppose 0*n = -4*n + s + 35, -3*n + 20 = -2*s. Suppose -6*t + t + n = 0. Solve -2*j + 4*z = t, o*j - 2*z + 7 = -3*z for j.
-3
Suppose -4*q + 17 = -3*v, -4*q - 10 = -v - 29. Let j be ((-16)/2 + -1)*v. Let f be (-115)/(-9) + (-2)/j. Solve 3*l - 3 = k + f, 0 = -k + 4*l - 21 for k.
-1
Suppose -3*n = -4*n - 3. Suppose 7*i = 4*i + 12. Let f = i + n. Solve -4*a = 2*w + w - 27, -w = -2*a + f for a.
3
Suppose 2*m + 3*s + 8 = 3*m, -2*m + 5*s = -15. Solve 4*j - 4 = -2*b, -m*j + 3*b = 4*b - 8 for j.
2
Let l be 4/(2/(13 + -1)). Suppose 3*y + l = 5*y. Suppose 2*g = -3*g + 5. Solve 3*b = 3*z + y, -2*z - g = -3*z - 4*b for z.
-3
Let w = -17 + 21. Solve -4 + 13 = 3*h - 3*z, w*h + 3*z = -2 for h.
1
Let i(h) = -h**2 + 6*h + 2. Let d be i(5). Solve -4*j + d = -3*x, -x = 3*j + x + 16 for j.
-2
Suppose 0 = 7*v - 9 - 19. Solve 0 = -3*j - 3*q + 21, j + 18 = -0*j + v*q for j.
2
Let m(x) = x**3 + 9*x**2 - 10*x + 2. Let k be m(-10). Solve -f - 7 - k = 5*j, -4*j - 8 = 0 for f.
1
Suppose 5*u - u + 12 = 0. Let a = 5 + u. Suppose 5 = 3*o - a*z, 0*o + 3*z = o + 3. Solve 17 = o*b - 5*t, b + 2*t = -3*t - 1 for b.
4
Suppose -3*t = -11 - 4. Let g = t + -2. Solve -3*q = -4*r - 6*q, -5*q = -g*r for r.
0
Let d be (-10)/(-55) - (-31)/11. Solve -5*i - w - 20 = 0, -d*i + 4*w - 40 = i for i.
-5
Let n be -2 - (-24)/(4 + 0). Suppose 3*u - 16 = -n. Solve -3*a = -3*v + 4*v, 5*a = u*v - 17 for a.
-1
Suppose 0*x + 6 = 3*h - 3*x, -5*h + 17 = 2*x. Solve 5*r + h = i - 2, 2*i = -5*r + 10 for r.
0
Let q be 1*((-18)/(-3) + -3). Let z be (-64)/24 + 2/(-6). Let m be 2 - (z - -6)/(-3). Solve j - 9 - q = -5*b, -j = m*b - 6 for b.
3
Suppose 4*n + 9 = 4*t - 7, -3*n - 3*t = -12. Solve 0 = -2*r - 2*r - 3*q + 6, n = r - q - 5 for r.
3
Let p be (6/(-4))/((-21)/28). Suppose 3*k - 21 = -p*k + 4*y, 0 = -2*k - y + 11. Let f be (-2*k)/(2 - 4). Solve -f*s + 4*a = -3, -5*s + 3 = -2*s - 2*a for s.
3
Let k = 11 + 16. Let t = k + -22. Solve s + t*g + 2 = 30, -3*s = -4*g + 11 for s.
3
Let s be (26/(-4) + -1)*8/(-12). Solve 2*a - 2*l + 3 - 1 = 0, 0 = -3*a + 5*l - s for a.
0
Suppose 24 = 4*z - 0*z. Suppose 0 = -2*m + z + 2. Solve -3 = 3*a - 4*k, -4*a + 7*k - 3*k = m for a.
-1
Suppose 5*i = -4 - 1. Let t = 4 + i. Solve -w - 3*b = 9, t*b + 7 + 2 = 3*w for w.
0
Suppose 4*p + 9 = 25. Suppose 6*q - q - 3 = -2*n, -5*q - 3*n = -2. Solve 5*h = -j + q - 0, -p*h = j for h.
1
Let n(s) = -s**2 - 5*s - 4. Let l be n(-3). Suppose k - l*k = 0. Let p(v) = v**2 - 14*v - 17. Let r be p(16). Solve k = -5*y - 5*q + r, y = 4*q - 4 - 8 for y.
0
Suppose 0*n = -4*n - 5*q - 17, 4*n + 4*q + 12 = 0. Solve w + 2*f + 5 = n, -2*w - 3*f = 4 for w.
1
Let g(s) = s**3 - 4*s**2 - 12*s + 4. Let k be g(6). Suppose k*l = l + 9. Solve l*u + 3*n + 21 = 0, -4*u + 7 = -n + 20 for u.
-4
Let p be (-2)/(-7) + (-96)/(-56). Let g = -2 - -2. Let q = p - g. Solve -5*o + 10*o - 7 = -d, -4*o - q = -3*d for o.
1
Let h = 6 + -3. Suppose 5*y = h + 7. Solve -y*p = 4*v + 24, -4*p - 3 = -v - 0 for p.
-2
Let o = 22 + -14. Let m be ((-12)/o)/((-1)/2). Suppose 0 = -5*k - 5, 2 - 6 = -2*c - 2*k. Solve 3*v + 0*d + m*d + 12 = 0, -5*d - 20 = c*v for v.
0
Suppose 0 = 3*q + 2*b - 34, -4*q + 64 - 14 = 5*b. Suppose -4*u + 14 = 2*r + r, 0 = r + 4*u - q. Solve -4*a = 4*w + 8, -r*a - 5 = 5*w - 1 for w.
0
Suppose -2*v = -7 + 1, -4*v = -3*u - 3. Let x = u - 0. Solve 5 = -l - x*d, 0 = -d - 2*d - 6 for l.
1
Let s be (2/4)/(3/18). Solve -1 = 4*t - q, 