*o, f = -5*x - 0*o + o for x.
-1
Let d = -2 + 16. Solve 5*a = 2*g + d, 4*g - a + 3 = -7 for g.
-2
Let v(a) = -a - 4. Let j be v(-4). Solve j = 2*m - 0*m - 2*h, 0 = -5*m + 3*h + 8 for m.
4
Let x = 7 + -4. Let m = x + -1. Solve 0*u - 3*u - 11 = -m*o, -4*o + 18 = -2*u for u.
-1
Let k = -20 - 5. Let a = k + 25. Solve 0 = -h + 4*o + 12, -5*h + a*o = 2*o + 6 for h.
0
Let i(y) be the second derivative of -y**3/6 + 9*y**2/2 + 3*y. Let g be i(9). Suppose 0 = 2*t + t. Solve -5*c + t*l - 4*l + 1 = 0, g = l - 4 for c.
-3
Suppose 0 = 2*o + n, 1 = -2*o - 2*n - 3. Solve -3*p = -3, -x - 3*p = -2*p + o for x.
-3
Let j = -9 + 11. Suppose -2*h + 4*l = 4, -j*l = -5*h - 5*l + 42. Solve -3*b - 3*g = -h, -2*b + 5*g - 11 = 2*g for b.
-1
Let h be 58/7 + (-4)/14. Let p = -3 + h. Solve 4 = -3*m - s - 5, -p*m + 5*s - 35 = 0 for m.
-4
Suppose 3*f - 5 = -f + 3*r, 1 = r. Solve 0*j - 2*x - 1 = j, -3*x = f*j for j.
3
Let n(y) = y**2 + 2*y - 4. Let l be n(-4). Solve 5*i + 6 = 4*t, 9 = t - 2*t - l*i for t.
-1
Suppose q = -3*o - q + 10, 0 = o - q. Suppose -2*j + 3*g - 1 = 0, 0*j - 41 = -3*j - 4*g. Solve -o*r = f - 8, -4*f - f = -r - j for f.
2
Let x be (0*(-1)/2)/(-2 - -3). Solve 5*l - 15 = -4*p - p, x = 5*p for l.
3
Let z(f) = -f**3 - 6*f**2 - 3*f - 15. Let c be z(-6). Solve 3*k + 20 = -c*j + k, -3*j - 4*k = 28 for j.
-4
Let u = -6 - -11. Solve 2*y + u*i - 8 = 13, 4*y = -4*i + 24 for y.
3
Let m be (8/(-8))/(2/(-4)). Suppose -5*d + 6*d - 5 = 0. Solve 0 = d*l - 4*x - 19, l + 5*x = -0*l - m for l.
3
Let c(i) = 2*i**2 - 2*i. Let k be c(-2). Solve -2*f - k = -3*j, -4*j + 3*f - 1 = 6*f for j.
2
Suppose r - 5 = 3*p, 0 = 2*r + 3*r + p - 9. Solve -l - 5*v - 3 = r, 13 = l - 4*v for l.
5
Let z = 16 - 17. Let n = 3 + z. Solve 2*f - 2*x = -14, 4 = n*f + 2*x - 2 for f.
-2
Suppose 4*z - 13 + 1 = 0. Solve 9 = -3*d, 6 = v - 4*v + z*d for v.
-5
Let z be (-4)/(-14) + (-220)/(-14). Let v be -3*(-2 + z/6). Let x be v/(-7) + 24/14. Solve 5*l - 2*u = -2, 0 = -4*l - x*u - 0*u + 2 for l.
0
Let f = -18 + 20. Let d be 2 + 1 + -1 + 1. Solve 5*g - 10 = d*s - 5, 0 = f*g - 4*s - 16 for g.
-2
Suppose -2*a - 2*a + 8 = 0. Solve -2*x + 5*f = x - 23, -a*f - 11 = -3*x for x.
1
Let r = 5 - 3. Let x be ((-6)/(-5))/((-3)/(-10)). Suppose x*w = -w + 125. Solve 0 = 3*t + 2*h + 4, -r*h = -5*t + w - 5 for t.
2
Suppose -5*z = -s - 19, -s = -0*s + 4. Solve d = z*c - 14, 0 = -4*c + 5*d - 4 + 19 for c.
5
Let f = -9 - -17. Let x = -6 + f. Suppose -2 = -x*a + a. Solve -19 = q - 4*b, -q + a*b - 6 = 3 for q.
1
Let x = 6 + -4. Suppose -4*i - 5 = -0*i - y, 10 = -i + x*y. Suppose 3*b = 2*t + 2*b - 7, -4*b = -3*t + 18. Solve i = -4*r + 2*h + h + 19, t*h = 2*r - 12 for r.
1
Let j(y) = -y**2 - 9*y. Let p be j(-8). Suppose 2 = -5*m - 3*v, 2*v = 3*m - 1 - 13. Solve u - 16 = l - 3*u, -5*l + m*u - p = 0 for l.
0
Suppose 4*b = 5 + 15. Suppose 0*n + 20 = b*n. Solve 2*g = n*j + 6*g, 4*g = -5*j - 4 for j.
-4
Let s(j) be the first derivative of j**2/2 + 3. Let c be s(5). Suppose -2 = k - c. Solve -2*m + 1 = k*h, -5*m - 2 = h - 24 for h.
-3
Suppose 4*q + 17 = 37. Solve -q*a = 4*m - 23, 4*m + 4*a - 3*a - 11 = 0 for m.
2
Suppose 5*i + 4*q = -q, 0 = i + 3*q + 2. Let l be (-5 + -3)/((-2)/i). Solve -2*o + 1 = z, -l*z + 6 = -6*z for o.
2
Let o be 0/(3 + -3 + -2). Suppose o = 2*b - 8 - 20. Solve -b = -4*y + 2*v, 2*y - 5*v - 1 = -6 for y.
5
Let w be (0 + 5)/((-1)/(-2)). Let u be (-12)/18 - w/(-6). Solve -5 = -y + 2*z, -3*z - u = 3*y - z for y.
1
Suppose 0 = 4*q + 5*g + 1 + 3, 3*g + 12 = 0. Let s = q + -2. Suppose 0 = 5*y - 5. Solve 2*d - s*a - a = -1, -a = y for d.
-2
Let r(u) = -7*u - 1. Let x be r(-1). Let f be 5 + (-2 + 3)/(-1). Solve -3*k - 9 = d, -2*d + f = x*k - 11*k for k.
-2
Suppose -3*l - 1 = -16. Solve -5 = t + l*i, -3*i = -5*t + 2*i - 25 for t.
-5
Suppose g = 4*s + 13 + 5, 0 = 5*g - 3*s - 22. Solve -4*f = -0*f + g*t + 8, 5*f + 3*t = -8 for f.
-4
Let n be (-8)/(-20) + (-6)/15. Let a(k) = 3*k - 1. Let w be a(1). Solve 3*x + 2*p + 4 = -n*x, -p - 2 = -w*x for x.
0
Let q(b) = b**2 + 7*b + 4. Let y be q(-7). Solve -1 = y*o + i, -2*i + 5*i + 3 = -o for o.
0
Let z(u) = -u**2 + 6*u + 3. Let n be z(6). Suppose 5*c - 7 = n. Solve -3*h = -6, 4*h - 6 = -k + c*k for k.
2
Let k(l) = l**2 - 8*l + 4. Let n be k(8). Suppose t - 2*f = -6, t - n*t = 5*f - 26. Solve -t = a, -2*w = w + 4*a + 5 for w.
1
Let v(m) = -m**3 - 10*m**2 + 10*m - 7. Let c be (1 - -10)*(2 - 3). Let o be v(c). Solve -5 = o*p + n, 6 = -4*p - 4*n + 2*n for p.
-1
Let y be -1 - -2*3/(-6). Let k be 5 + y + 6/3. Suppose -c = u - 7, k*c - 2*u = -u + 23. Solve -c*f - 5*a = -20, 0*f = -4*f - 5*a + 19 for f.
1
Suppose 2*v - 28 = -2*v. Let b be ((-6)/10)/((-1)/5). Let i = v - b. Solve 14 + 8 = 5*z - i*d, -4*d - 12 = 0 for z.
2
Let j be 28 + 4/12*3. Suppose 0 = 5*l - 4*b + 5, -j = -6*l + 3*l - 4*b. Solve -12 = 5*t - l*t - 2*m, 0 = 5*m - 15 for t.
-3
Let f(i) = 0*i - 8 - i + 2*i. Let u(c) = -c**2 - 22*c + 10. Let b be u(-22). Let h be f(b). Solve -6*q - s + 13 = -2*q, -h*s = -4*q + 22 for q.
4
Suppose -2*q = i + 6, 7*i - 2*i + 2 = -3*q. Let c = 18 - 15. Solve 0 = j - o - i - 2, c*o = -2*j - 2 for j.
2
Let h be 4/(-22) + 1698/22. Let j = h - 39. Suppose -j = -5*t - 13. Solve t*o = -2*m + 10 + 6, -2*m + 2 = -2*o for o.
2
Let h = -28 + 41. Suppose -5*d = -2 - h. Let p be ((-9)/d + 3)/1. Solve 2*l - 1 = -u - p*u, 0 = -5*l - u - 2 for l.
-1
Let q(t) = t**2 + 7*t + 8. Suppose 0 = 2*j + 1 + 11. Let w be q(j). Suppose 0 = -4*m - m. Solve -4*i + 5*v + m*v = 20, -w*v = 0 for i.
-5
Let c be (-13 + 9)/(4/(-2)). Let y be c - (-1 + (4 - 3)). Solve -3*j + y = -0*j - 5*r, 3*j = -r + 14 for j.
4
Let i(t) = 2 - 4 + 1 + t + 2. Let n be i(4). Suppose -k + 8 = 3*f, 0 = -n*f - k - 4*k + 20. Solve -5*v + 20 = 0, x + 16 - 6 = f*v for x.
-2
Let g = 2 - -1. Solve 8 = 5*v + 5*x + 3, -1 = -5*v - g*x for v.
-1
Suppose -4*a + 76 = -0. Solve 0 = -4*k - 2*m - 8, 0 = -4*k + 5*m - 3 - a for k.
-3
Let d(j) = -4*j - 3. Let y be d(-3). Let a be 13*1 + -4 + 7. Let o be a/9 - (-2)/y. Solve 0 = -2*q - 8 - o, -5*z - q + 10 = 0 for z.
3
Let l be 7 + (1 - 0)/((-1)/3). Solve -b + s = -6*b, -l*b + s = 9 for b.
-1
Let q = 18 + -5. Suppose -5*m + 52 = 2*f + 5, -q = -f + m. Solve -4*n + 16 = x, -3*n + f = 4*x + n for x.
0
Suppose -12*j = 4*j - 64. Solve 0 = -g - 2*i - 13, 0*g - j*g + 3*i + 3 = 0 for g.
-3
Suppose -2*y + 10 = 3*y. Let g = 130 + -127. Solve 4*i - 2*a = -4, -3*i - g*a - y*a - 16 = 0 for i.
-2
Let u = -39 + 41. Let z = 4 - 2. Solve -2*s + 2 = j, u*j - 3 = -3*s + z for j.
4
Let j(k) = k - 1. Let v be j(6). Suppose 5*r + v = -2*l, 4*l - 5*l + 3*r = -14. Let c = -12 - -23. Solve -5*x - 6 - c = 2*d, 2*d = l*x + 13 for x.
-3
Let v = -13 - -11. Let g be (3 - 13)*v/5. Solve -2*n = -g*l - 4*n + 6, 0 = -5*l - n for l.
-1
Let o = 18 - 26. Let d(f) = -f**3 - 8*f**2 + 4. Let v be d(o). Solve 3*s + 5 = 2*h, 2*s + 2*h + 14 = v for s.
-3
Let q(u) = -u**3 + 11*u**2 - 9*u - 7. Suppose -2*v - 2*v + 40 = 0. Let a be q(v). Solve -3*x - 4 = -j + a*j, -2*x - 5 = -j for x.
-2
Let c be (-1)/2*-2 + 1. Let s be 30/4*12/18. Let d = s - 5. Solve 2 = 4*q + 4*u + 6, d = -c*q + u - 14 for q.
-5
Let m(r) = -r**3 + r**2 - r - 1. Let u be m(-1). Let c be 1 - (-8 - (-4 - 0)). Solve 4*b - c = 3*l + 16, l - u*b + 9 = 0 for l.
-3
Let m = 5 - 1. Suppose 2*g + 2*t - 2 = 2, 4*t - m = -3*g. Solve 0 = -2*f - c + 7, 0 = g*f - 7*c + 2*c - 7 for f.
3
Let h(a) = -a**3 + 11*a**2 + 4. Let f be h(11). Solve s = -f*x + 4, -3*s = 3*x - 5*x - 12 for x.
0
Let n(b) be the first derivative of -b**4/4 + 5*b**3/3 + b**2/2 + b - 3. Let l be n(5). Solve -l = -2*r, -d = -6*d + r + 12 for d.
3
Let w(a) = -a**3 - 2*a**2 - a. Let f be w(-2). Suppose -x + f*x = 0. Solve 2*h + 3*y - 3 = x, -4*y = h + 2*h - 3 for h.
-3
Let s(c) = c**2 - c. Let z be s(2). Let i(x) = -x + 4. Let g be i(z). Solve 6 = 4*b + g*v - 8, -4*b = -v - 17 for b.
4
Suppose 0 = -2*v + 6*v. Suppose -5*h + d + 32 = 9, v = -3*h + 5*d + 5. Solve 3*l + 2*p = -2*p - 15, 4*l - h*p = -20 for l.
-5
Let p = -118 - -138. Solve -12 = 3*l - y, -8*l + 3*l = -5*y + p for l.
-4
Let v(r) = 2*r**2 - 23*r + 14. Let y be v(11). Solve 3*p + y*q - 3 = 0, -3*p + 2 - 1 = q for p.
0
Let g(r) = -r**3 - 5*r**2 - 6*r. Let b be g(-3). Solve 2*h + 0*l + 6 = -3*l, b = h - 2*l - 11 for h.
3
Let m = -77 - -88. Let x be (-1)/(1 + (-1 - 1)). Solve -p - p - 3*y = m