*z = l + 9 for l.
-1
Let k be (5/5 - -3) + 0. Solve 2 = -h - b, k*h - b = b - 8 for h.
-2
Let u = -1 + 4. Suppose 3 = g + 1. Suppose -5*r = -g*i - 35, -r + 2*i + 15 = -0*r. Solve 11 = 5*k - 2*m - u, 5*k + r*m = 0 for k.
2
Let x(g) = -g**3 - 7*g**2 + 8*g + 3. Let w be x(-8). Suppose q - v + w = 0, 4*v = 2*q + 8 + 4. Solve q*b + b = -2*l + 11, 4*b - 23 = -l for l.
3
Let u(w) = 5*w**2 - 1. Let r be u(-1). Let c be (2/r)/(2/4). Let l(x) = -x**3 + 3*x**2 + 3*x - 1. Let f be l(3). Solve -h + c = -2*v - 0, 3*h + f = -5*v for h.
-1
Let o(h) = 6*h**2 - 5*h**2 - 2*h**2 - 1 - 5*h. Let k be o(-2). Solve 0*x = c - k*x + 25, 3*x = c + 17 for c.
-5
Let y(h) = -3*h - 1. Let f be y(-1). Solve c = f*w + 9, 4*w + 6 = 4*c - 14 for c.
1
Let u(y) = -y**3 + 14*y**2 + 13*y + 34. Let g be u(15). Solve -3*c = -0*b + 5*b + 15, -2*b + g*c + 20 = 0 for b.
0
Let l be (-1)/(15/(-7) - -2). Let j = 11 - l. Let s be -2*1/((-2)/j). Solve -11 = 3*i + s*n - 5*n, -i + 18 = 4*n for i.
-2
Let o(v) = v**3 - 2*v**2 - 3*v - 1. Suppose 0 = 4*h - 3 - 9. Let d be o(h). Let j be (-4 - (-2 - -3))/d. Solve -j*i + l = -8, 5*l = 8 + 2 for i.
2
Let v be (1/2)/((-6)/12). Let l be (-7)/v - (0 + 1). Solve -5*d + n + l = 0, 3*d - d - n - 3 = 0 for d.
1
Suppose 4*x = 6*x - w - 4, -3*x + 4 = -2*w. Let i(u) = -u**3 + u. Let o be i(1). Solve -3*b + t - x = o, 0 = b - 0*t - 2*t - 2 for b.
-2
Let l(t) = 2*t + 1. Let a be l(-1). Let i = 2 - a. Let f be 50/(-20)*(-12)/10. Solve -f*k + i*z + 12 = -z, -5*z = -k + 4 for k.
4
Let i(l) be the third derivative of -l**5/60 - l**4/4 - l**3 + 7*l**2. Let q be i(-3). Solve 4*m - 33 = -5*x, -q*x = -3*m + 5*m - 19 for m.
2
Let y = -1 + 5. Let v(x) = -x**3 + 4*x**2 + 7*x + 1. Let l be v(5). Suppose -j = -2*p - 3, -5 = -p - 2. Solve -j = h + y*s - 2, -2*s = -h + l for h.
5
Let g(b) = b**2 + 6*b + 5. Let l be g(-6). Solve -5*f - 5 = 3*w, 0 = l*w - 5*f - 2 - 3 for w.
0
Suppose -5*u = -c + 2*c - 11, -17 = -3*u + 2*c. Suppose u*k - 2 = 1. Solve -o = k + 2, -t + 10 = -4*o for t.
-2
Suppose 4*a = 4*p + 1 - 25, 0 = -5*p - 5*a + 20. Let i(s) = s**3. Let l be i(2). Suppose 3*j - l = 1. Solve -5*m = -3*z - 7, p*z + j = 7*m - 3*m for m.
2
Suppose 0 = p + 4*p - 5*g, -4*p = 4*g. Let y(c) = -c**2 - 8*c - 3. Let i be y(-5). Solve z = -3*z - b - i, p = -2*b for z.
-3
Suppose 2*o + 0 + 11 = 3*l, -8 = -4*o. Solve -l*h - 20 = 0, -4*h = 2*c - 6*c + 8 for c.
-2
Suppose 3*o + 45 = -51. Let g = -7 - o. Let n be 4/(-18) - (-4)/18. Solve n*h = 5*h + 5*f + 30, 0 = -5*f - g for h.
-1
Suppose 2*x = 4*l + 5*x - 57, 5*l - 51 = 3*x. Let b be (l/16)/(1/4). Solve -2*w = -3*q - 13, 0*w = -5*q - b*w - 28 for q.
-5
Let q(u) = u**2 + 2*u. Let c be q(0). Solve 3*t + 5*j = 21 - 4, 2*j - 2 = c for t.
4
Let c(x) = -x**3 - x**2 - x - 4. Let n be c(0). Let p be ((-6)/n)/(21/28). Solve d - 2 = -3*d + 3*a, -3*d + 4*a - p = 0 for d.
2
Suppose -7*o = -6*o + 3. Let h = o - -5. Suppose -2*c = -h, 19 = 2*a + c - 14. Solve 2*v + 4*m - a = -v, -m = -3*v - 4 for v.
0
Let q(y) = -y - 6. Let n be q(-8). Let j = n - 0. Suppose 4 = -4*k - 5*p, -3*k - j*k = 5*p. Solve -20 = k*g, 3*i + 2*g = 7*g + 31 for i.
2
Suppose -5*p + 3*p = -10. Solve 4*z - 16 = -0, -6 = -p*w + z for w.
2
Suppose 4*d - 5*o = 2, -2*d - 3*d + 4*o = -7. Let h = 12 - 7. Solve h*g = 4*i - 0*i, -d*g = 4*i + 32 for i.
-5
Suppose u + 3*q + q = 13, 2*u + 2*q - 20 = 0. Let b = 11 - u. Solve -2*g + 2*v = -2*v + 20, b*v - 8 = 0 for g.
-2
Let v(w) = -w**2 + 11*w + 11. Let q be v(8). Solve 0 = 4*l - 4*r, -3*l + 0*l - q = 4*r for l.
-5
Let i be (-3 - -2)*(-18)/2. Let v = -12 - -18. Suppose -1 + v = h. Solve 2*t + i = 4*t + q, 33 = 4*t + h*q for t.
2
Let r = -6 - -5. Let g be -2 - (-2 + -4) - r. Solve 2*u = g*z - 14 - 11, 4*u = 0 for z.
5
Let z(u) = u + 8. Let x be z(-6). Let n(f) = f**2 - 4*f - 3. Let w be n(5). Let b be (-44)/(-16) - (-3)/12. Solve 2*j + 3 - 7 = b*r, 2*r = w*j - x for j.
-1
Let j be 0 - -1 - (-2 + -1). Let i(v) = -v**3 - v + 1. Let g be i(-2). Solve -5*n + 4*u + 11 = -j, 4*n - g = 3*u for n.
-1
Suppose -s + 23 = 4*k - 2*s, 2*k - s = 13. Suppose -b - 29 = 2*m, 2*m - k*b - 12 = -59. Let p = 37 + m. Solve 4*u + 13 = a, 0 = -u - u - 5*a + p for u.
-2
Let b be ((-1)/2)/(3/(-12)). Suppose -b = -5*m + 8. Solve -5*n - 2*s = -5, m*n + 0*n = 3*s + 21 for n.
3
Let d be -2 - ((4 - 0) + -10). Suppose 5*b = d*n - 15, 2*b + 2*n + 18 = 6*n. Solve -2*l = l + 4*i + b, -4 = -4*l - 4*i for l.
5
Let f be 153/12 - 3/(-12). Suppose 4*q - 4*g - 72 = 0, 2*q + 4*g = f + 11. Let r be (2 + -2)*(-1)/2. Solve r = -t - 2*w + 1 + 3, 4*t - q = -w for t.
4
Let a = -12 - -16. Suppose 0 = -u - 4*o + 22, a*u + 2*o - 23 + 5 = 0. Solve 6*v = -4*z + u*v, 3*v + 15 = 0 for z.
5
Let p = 11 + -8. Solve -2*t - p*x - 7 = 2*t, -2*x + 2 = -4*t for t.
-1
Let i = 11 + -7. Solve -25 = b + 2*b - 4*w, i*b = 2*w - 20 for b.
-3
Let x(a) = -a**3 - 10*a**2 + 13*a + 4. Let r be x(-11). Let d be 8/36 + (-32)/r. Solve -3*c + t - 8 = 0, -4 = -d*c + 3*t - 0*t for c.
-4
Let s = -19 + 22. Solve s = -5*f - c + 2, -5 = f - c for f.
-1
Suppose 1 = c - 3*h, 11 = 5*c - h - 8. Solve -f = c*x - 7 - 4, 2*f - 4*x = -2 for f.
3
Let m(p) be the first derivative of -p**2/2 + 2. Let f be m(1). Let q be (-24)/(21/(-12) - f). Solve 5*x = 3*s + q, x - 3 = 2*s + 9 for x.
4
Let h(b) = 2*b**2 - 2*b + 4. Let r be h(0). Solve -m + r*m + 4*j + 28 = 0, 2*m + 2*j + 16 = 0 for m.
-4
Suppose 8 = -y + 5*y. Suppose 0 = -4*q + 2*q + 10. Suppose s - 2 = 2. Solve q*u - 5 = 5*f, s*f + 2 + y = 5*u for f.
-1
Suppose 4*m + 0 - 8 = 0. Solve -12 = q - 4*y, -4*q - 4*y = 6 + m for q.
-4
Suppose 3*j + 2 + 9 = -5*z, -14 = -2*j + 2*z. Let f be 26/6 - (-2)/3. Solve 5*w + 3*q - 17 = 0, j*w + f = 2*q - 0*q for w.
1
Suppose -4*t - t = -20. Let d be (-2)/(-7) - 10/35. Solve 3*x = -d*x - 3*f, t*x = -5*f - 2 for x.
2
Suppose 4*z - z = 6. Let v be -2 - (-4*1 + z). Suppose v = -2*f + 5*t + 5, 0*f - 3*f + t + 14 = 0. Solve b - 5*q = -3*q + f, -30 = b + 5*q for b.
-5
Let b(y) be the second derivative of y**4/12 + 5*y**3/6 + 5*y**2/2 + 2*y. Let a be b(-5). Let q = 22 + -18. Solve 2*z - 3 = q*g - a, 20 = z + 5*g for z.
5
Let s(f) = -f. Let d(o) = -5*o - 1. Let l(m) = -d(m) + 6*s(m). Let w be l(1). Solve 5*i + 2 = 4*u - 24, w = 3*u - 12 for i.
-2
Suppose -2*b - 12 = 2*b. Let k = b + 11. Solve 3*v + f = k, 2*v - v - 16 = -3*f for v.
1
Let t(z) = 6*z + 20. Let g be t(-3). Solve -7*y - g*i + 2 = -3*y, i - 1 = y for y.
0
Suppose 0 = 2*z - 4*h - 26 - 34, -64 = -2*z + 2*h. Suppose 5*w - 46 = z. Solve -2*a + 3*f = -5 - 9, w = 5*a + 2*f for a.
4
Suppose 0 = -3*m + 6*u - 2*u + 36, 4*u = 0. Solve -2*l = 2*l - m, -s + 3 = 2*l for s.
-3
Let x = -4 + 7. Let n(r) = r - 1. Let g be n(x). Suppose -y + 9 = g*y. Solve 4*a = 3*i + 11, 7*i - y*i - 4*a = -8 for i.
3
Let s be (-3)/(-7) - (-615)/35. Solve 2*v - 23 = -w + 4*w, -2*w - s = -2*v for v.
4
Let o be 0 - (3 + -3 - -6). Let i = 10 + o. Solve 2*f - i*n + 2 = -0, 2 = -n for f.
-5
Suppose -t + 0*s + 4*s = 2, 0 = 4*s. Let w be 3/t - 10/(-4). Let c = 6 + -1. Solve -4*n + 3 = 4*k - w, 4*k - 40 = c*n for k.
5
Let x(g) be the first derivative of 5*g**2 + 2*g + 2. Let q be x(4). Let a = 68 - q. Solve -5*d = s + s - 14, -2*s = -5*d + a for d.
4
Let x be (2/(-4))/(7/(-28)). Solve 22 = 4*f - n, 5*f - x*n + 15 = 44 for f.
5
Let l = 6 + -2. Suppose 0*d = -l*d + 12. Solve 0 = -3*p - 0*s - 4*s - d, 0 = 4*s for p.
-1
Let k = 5 - 2. Suppose 2*m + 1 - 9 = -4*d, 3 = 3*d + k*m. Let y = 0 + d. Solve 0*h - h - z - 10 = 0, h = -y*z - 20 for h.
-5
Let o be (1/(-2))/(2/(-44)). Suppose o = 3*f - 7. Suppose 2*d - 7 = 3, -f = 3*r - 3*d. Solve r*t - v = 5, 5*t - 4*v - 8 = -2 for t.
2
Suppose 4*t + i - 5*i = 4, -2*t = 2*i - 6. Suppose r + t + 2 = 0. Let p = -4 - r. Solve 0 = -2*a - u + 14, a + 7 = -p*u + 3*u for a.
5
Let u = 21 - 11. Suppose 3*k - u = k. Solve p + 7 = -3*z, -5*p - 4*z + k = z for p.
5
Suppose 0 = -d - 1 + 8. Suppose 3*q - d = 8. Let l = 5 - q. Solve l = -4*o + 5*r - 25, -4*r + 19 = 4*o - 1 for o.
0
Let l(o) = o**2 + 8*o. Let s be l(-4). Let r(w) = -w**3 - 15*w**2 + 15*w - 11. Let c be r(s). Solve 0 = -c*q + 3*p + 2 - 6, -4*q + 2*p = 2 for q.
1
Let w = -16 - -20. Solve 0 = -3*d + w*j + 19, 2*j + 15 = 3*d - j for d.
1
Let t(j) = 7*j**2 + 15*j + 2. Let y(n) = -6*n**2 - 14*n - 1. Let h(m) = 5*t(m) + 6*y(m). Let r be h(-9). Solve -f + r*p = -4, p +