uppose 0*r = 2*r - 4. Suppose -2*a + 2 = -r. Let b(t) = -2*t - 5. Let p be b(-5). Solve 0 = 4*j - p*n - 26, j - a*n - 16 = -2*j for j.
4
Let a(b) = b**2 + 2*b. Let i be a(-3). Solve 0 = -5*m + t - 26, -t - 2 = -i for m.
-5
Let k be 8*-1*(-5)/(-4). Let l be 0/(-2)*(-10)/k. Solve 4*b - 5*i = -21, -5*b - 10 = -3*i - l for b.
1
Suppose -2*l - 10 - 4 = 2*z, 5*z + 39 = -3*l. Let n be (4/6)/(1/(-24)). Let d = z - n. Solve -d*s + r - 17 = -2*s, -s + 3*r - 9 = 0 for s.
-3
Let u = 30 + -27. Solve -u*r - 5*w = -8, w = -w + 8 for r.
-4
Let j(s) = -4*s**3 + s**2 - s + 1. Let q be j(1). Let y be (q + 0)/(3/(-6)). Solve 4*m = 4*a + 4, 4*m - 14 = 2*a - y for m.
3
Suppose 2*y = -3*y + 10. Solve -y*l = -6*l + 20, -3*l = 3*i - 15 for i.
0
Let c be 2 - (25/(-5) + 1). Solve -4*p - 2 + c = 0, 5*p - 17 = -3*w for w.
4
Let m = -104 + 104. Solve 4*s = 2*s + 4*k + 2, -s - 5*k + 15 = m for s.
5
Suppose 0 = 2*i + 5*i - 14. Solve -4*w - i*b = -14, 0*w - 4*b + 19 = -w for w.
1
Let k = -23 + 26. Solve h = -m, -24 = 4*m - k*h - 3 for m.
-3
Suppose 3*f = 5 + 7. Suppose n = f*n - 33. Solve n = -0*c - 3*c + 2*h, 5*h + 35 = -5*c for c.
-5
Let w(k) = -k + 10. Let r be w(7). Suppose -t = r*t. Solve 3 + t = 3*b, 2*a = -2*b + 4 for a.
1
Let b(s) = 4*s + 4. Let u be b(3). Suppose q = 6*q. Suppose -i = -q*i. Solve -o + 5*j - 1 = -u, o + j - 3 = i for o.
5
Suppose -c - a = -8, -4*c - 5*a = -6*a - 7. Solve 2*v - 6*v = -3*m, 0 = -v - c*m for v.
0
Suppose 2*g + 0 + 2 = 0. Let a = g + 2. Suppose -5*i = -20, -3*i + 43 = 5*t + 16. Solve 2*d + 3 + a = -t*l, -l + 12 = -2*d for d.
-5
Let l = -12 + 16. Solve -8 = -2*n - 5*d, n - l = d - 6*d for n.
4
Suppose -3*c = -3 - 18. Let z = 4 + -6. Let i = z - -5. Solve u + 5*m = 16, -c = 5*u - 5*m + i for u.
1
Let w be 3/5 + 2/5. Suppose 2 = 2*k - 0. Let d be k + w - (4 - 5). Solve -d*y = 3*v - 9, -v - 2*v + 9 = 2*y for y.
0
Let s be 1 + 5/((-10)/4). Let x be (5 + 1)/((-2)/s). Let m be 2/2*(x + 1). Solve 0*v = -4*c + v - 5, -m*c + 3*v - 15 = 0 for c.
0
Let y be 3 - (-11)/(-3) - 17/(-3). Suppose -2 + 27 = 5*u. Let h = u + 3. Solve 3*l - 10 + 1 = y*i, -4*i + 2*l - h = 0 for i.
-3
Suppose l - 2 = -3. Let x be (-1 + l + 4)*2. Solve x*z - k - 3 = 7, 5*z - 23 = -4*k for z.
3
Let a be (-1 + 1)/(-3 + 4). Solve -4*d = -4*r - 36, 0 = -r - a*d - d - 1 for r.
-5
Suppose -3*a + 35 = 4*l, 5*a + 0*l - 30 = -l. Suppose -a*h = -h - 8. Solve -3*j - h*j = -4*q - 9, 3*j + 5*q = -2 for j.
1
Let w(q) = 4*q - 1. Let t be w(1). Let n = t - 0. Solve 5*b + n*z + 16 = 0, 4*b - z = 2*z - 29 for b.
-5
Suppose 31 + 1 = 2*q. Solve n + 0 + 2 = -3*w, -4*n + q = 0 for w.
-2
Let a be 6 + 126/(-24) - 18/(-8). Solve -2*b = -b - 4*l + 7, 7 = -a*b + 5*l for b.
1
Let k be (-3)/(-9) + (-58)/(-6). Let u = 3 + -1. Suppose -u*v + k = 3*v. Solve -4*t - l - 1 = 0, 12 = v*t + 2*l - 4*l for t.
1
Suppose -v = 18 - 8. Let c be 2*3/(-15)*v. Let q(g) = g**3 - 5*g**2 - 1. Let a be q(6). Solve 5*b - 15 = c*y - 2*y, -4*b - 3*y = -a for b.
5
Let a be 1/(-1 + (-10)/(-12)). Let d(n) = -n**2 - 8*n - 8. Let z be d(a). Solve 0 = 5*b + z*i + 15 + 1, 3*b = 4*i - 16 for b.
-4
Suppose 0 = -9*g + 4*g + 85. Solve 0 = y + 4*f - f + g, 5*f = -3*y - 35 for y.
-5
Let b(p) = p**2 + 9*p - 3. Let n be b(-10). Let m = -8 + n. Let h(t) = -5*t. Let g be h(m). Solve 0*c + 5*a = -2*c - 17, 5*c + g*a = -20 for c.
-1
Suppose 19 = 4*y - 17. Suppose 3 - y = 3*n. Let t = n + 5. Solve -5*l + t*r - 2 = -1, -5*l + r - 7 = 0 for l.
-2
Let t(p) = -2*p - 6. Let d be t(-5). Solve -2*z - 2 = 4*o, 2*z = -d*o - 2*z + 4 for o.
-2
Suppose 0 = 5*s - 6 - 9. Solve -3*n + 9 - s = -3*f, -f - 3*n = 10 for f.
-4
Let r(g) = g**3 - 9*g**2 - 2*g + 18. Let f be r(9). Solve -t - 4 = -0*s + 2*s, f = -s - 1 for t.
-2
Suppose 4*y + 0*y = 4*l - 28, 2*y = -3*l - 4. Let g be 0 + (-1 + 2 - -1). Solve -2*v + 3*r = 0, v + v - l*r + g = 0 for v.
-3
Let i(z) = -9*z**3 - 2*z**2 + 1. Let u be i(-1). Let h = -37 + 52. Let f be (-3 - 0)/3 + h. Solve 4*c + f = -4*p - 2, -2*p = -4*c + u for p.
-4
Suppose -l = -5*l - 16. Let f be l/14 - 107/(-7). Suppose -x - 2*x + f = 0. Solve -2 + 14 = 2*i - 2*m, -3*i + 20 = -x*m for i.
5
Let f(k) = k**3 - k**2 - 2*k + 15. Let x be f(0). Solve -5*g + l - x = 0, 40 = -3*g - 2*g - 4*l for g.
-4
Let f(i) = -i**2 + 6*i - 2. Let d be f(5). Solve 0 = l + v - 3, 3*v - 2 = d*l + 7 for l.
0
Let l = -2 + 6. Let b be ((-12)/8)/((-3)/2). Suppose 0*i + 2*i = 4. Solve -l*z - b + 17 = -y, i*z = y + 8 for y.
0
Let z = -21 + 29. Let f be (-1 - z)*(-4)/6. Solve 4*t - 3 = -5*n - f, -2*t = n - 3 for t.
3
Let b be 9 + -2*(-25)/(-10). Solve -b*z = -4*r - 20, -3*z + 4*z - 5 = -2*r for z.
5
Let h be (2/1)/(2/8). Let o = -3 + h. Suppose 4*j - 5*d = -2 + 3, -5*d = o*j - 35. Solve 5*r + 5*l = -10, 0 = -4*r + j*l + 7 + 17 for r.
2
Let c = 23 - 5. Solve 0*k + k + 2*v + 6 = 0, -2*v = -5*k + c for k.
2
Let l(u) = -u**3 - u**2 + 2*u. Let y be l(-3). Solve 3*q = -0*o + 2*o - 2, 0 = -4*q + 5*o - y for q.
2
Let g = 21 + -19. Solve t - 1 + 3 = g*a, -10 = 5*t - a for t.
-2
Let z = 11 - 18. Let l = z + 11. Suppose l*p - 8 = 2*p. Solve -5*s + p*s = -4*d - 20, s = 0 for d.
-5
Suppose -3*i + 6 = 6. Solve 5*y + o - 17 = 0, -4*y - 5*o + i = -1 for y.
4
Let a(o) = 3*o - 1. Let y be a(2). Suppose -2*b = 3*s - 3 - 24, 39 = 3*s - 2*b. Solve h - 4*l = -10, y*l - 10 - s = -3*h for h.
2
Let n be 4/((1 + -5)/8). Let d be (n/10)/(4/(-10)). Solve 2*i - d*b = -2*i + 10, 14 = 2*i + 2*b for i.
4
Suppose j + 4*j - 25 = -4*r, -2*r + 3*j = -7. Let d(o) = -o**2 + 3*o**3 - 2*o**3 + o + r + 0. Let t be d(0). Solve -z - 1 = -2*z + s, -s + t = -4*z for z.
-2
Let s(i) = i**2 - 4*i - 8. Let q be s(6). Solve 0 = -5*b - f - 9, b = q*b - 4*f - 13 for b.
-1
Suppose 5*w - 8*w + 9 = 0. Solve 0 = -w*j + 4*k, -3*k + 5*k = -6 for j.
-4
Let s = -6 + 9. Solve 4*m = -q + 11 - 0, m + s*q = -11 for m.
4
Let q be 0 + (-1 - 0) + -3. Let s(a) = -a**2 - 4*a + 4. Let t be s(q). Solve 3*c - 7*c = t*n - 36, 3*n = 5*c - 13 for c.
5
Suppose -3*m - 4*g = -5*m + 58, -50 = -2*m + 2*g. Solve y = 4*y + 3*r - m, -4*r = 3*y - 25 for y.
3
Let i(a) = a - 1. Let t be i(2). Solve -7 = -2*w + t, 0 = -3*g - w + 4 for g.
0
Let n(j) = -j - 6. Let i be n(-8). Solve y = -i*y - 2*l + 20, 12 = 4*y - l for y.
4
Let p(j) = 0*j + 4*j - 2*j + 2*j. Let w be ((-4)/6)/(2/(-3)). Let u be p(w). Solve -4*n - u*s = -n + 23, -31 = 5*n + 3*s for n.
-5
Let x be (1*-2)/((-3)/6). Let h be (x - -1)*(3 - 2). Solve -2*o + 2 = 5*k, -3*o - o = h*k + 6 for k.
2
Let j(o) = 5*o - 3. Let n be j(3). Let x be 6/(-15) - 17/(-5). Let c = 0 + x. Solve -s - n = -5*s, 3*q + c = -4*s for q.
-5
Let v(o) = -o**2 + 8*o - 9. Let z be v(7). Let u = 1 - z. Solve -3*c = 3*d + 6, 0*d + 9 = -2*c - u*d for c.
3
Let f(j) = -j**2 + 14*j + 3. Let m be f(14). Solve 4*y = -c - 13, y + 13 + 4 = -m*c for c.
-5
Let o(c) be the second derivative of c**5/20 - c**4/4 - c**3/2 + c**2 - 2*c. Let n be o(4). Solve -4*g + 18 + n = -4*s, -s + 10 = 3*g for g.
4
Let h be (-40)/(-10) + 2 + -4. Solve -31 = -5*p + 3*r, -4*p + h*r + 15 = -9 for p.
5
Suppose -3*b = 34 + 11. Let k = -8 - b. Solve -2*n - 25 = -k*n + y, -3*n + y = -17 for n.
4
Suppose l + 0*l = s + 6, 0 = 4*l - 2*s - 32. Solve -2*n = -2*w + l, -n = -3*w + 6*w - 11 for n.
-1
Let x(z) = z**2 - 4*z - 2. Let o be x(5). Let c(w) = o - 6*w - 5 + 4 + w**2 + 0. Let d be c(6). Solve d*t = -5*r - 19 - 0, -4*t = r - 7 for r.
-5
Suppose 6*p - 2*f + 24 = 2*p, -p - 3*f = -8. Let c be -2 + 3 - (p + -1). Solve -c = -3*j, -3*i - 7*j + 2*j + 16 = 0 for i.
2
Let q = -15 + 21. Let u(k) = 2*k + 2. Let t be u(q). Solve -t = -2*c - 5*x, 5*c + 3*x + 4 = 20 for c.
2
Let m(l) = -l**2 - 5*l + 1. Suppose 4*v + 12 + 4 = 0. Let q be m(v). Solve 2*r = r + 2, -2 = 2*w - q*r for w.
4
Let m(n) = n**2 - 2*n + 3. Let z = -24 - -38. Suppose h = 3*c + z, 15 - 3 = 2*h - 2*c. Let b be m(h). Solve -4*k = -5*s - 35, b*s - 13 = -s - 5*k for s.
-3
Let g(h) be the first derivative of -h**3/3 - 6*h**2 - 7*h + 1. Let q be g(-11). Solve 0 = 3*w - q*k, -w - 8 = -6*k + 2*k for w.
4
Let i = 6 - 0. Solve 21 = 5*r - 4*q, 0 = -0*r + 2*r + 2*q + i for r.
1
Let p = -38 - -41. Solve -p*j = -4*r + 9, 4 = 3*j - 5*r + 13 for j.
-3
Let m(v) = 7*v - 7. Let t be m(1). Solve -p = -y, 2*y - y + 2*p + 3 = t for y.
-1
Let f(l) = -3*l - 9. Let u = -6 + 2. Let v be f(u). Solve 3*h = -4*t + 19, -2*h + 3*h + v*t = 