*u - 22 = 0, 4*u = -12 for v.
5
Let d be (-2 - -7) + 1*-1. Let s = -27 - -57. Let n = 36 - s. Solve -d*g - n = -y, 2*y + 5 = 1 for g.
-2
Let h = -2 + 7. Solve 4*v - 6 = y, -5*v + 0*y - 5 = h*y for v.
1
Let r be ((-2)/(-6))/(1/6). Suppose -g - 5 = -r*g. Solve -4*y + 3*o + 21 = 1, y + 3*o = g for y.
5
Suppose v - 1 = 4*c, -c + 4 = 4*v + c. Solve -5*f = -4*g - 9, 2*g - 9 = -v for f.
5
Let v be 9/5 + (-1)/(-5). Let a be -15 - (-2 - -1*v). Let t = a + 23. Solve p + 3*d = 2*d + t, 4*d - 12 = p for p.
4
Let k be 3/27 - (-130)/45. Solve -r + 12 = -3*o, k*o + o = r - 17 for o.
-5
Let y be -1 + 7 - (1 - -2). Solve -2*n + 2 = y*s, 3*s + 5 = -4*n - 3 for n.
-5
Suppose -3*w + 8 = n, -3*w - 2*n = -0*w - 10. Let k = -7 - -11. Suppose 0*o + 2*c = w*o - 4, 16 = k*o + 4*c. Solve 2*h - 3*h - 5 = -o*z, 4*h + 12 = 4*z for h.
-2
Let u be 2/(-5) - 12/(-5). Suppose 2*m - 6 = u. Solve p + 2*h + 7 = m*h, 2*p - 3*h = -11 for p.
-1
Let p(u) = u**2 - 5*u - 4. Let a be p(5). Let y be ((-8)/12)/(a/18). Solve -v = -y*s + 14, -2*v - 3 = -s + 10 for v.
-5
Suppose 0 = 5*v - 13 + 3. Solve -4*p + 5*n + 35 = -7*p, 6 = -v*p + n for p.
-5
Let q(j) be the first derivative of -2 - j - 1/2*j**2. Let b be q(-6). Solve -4*n - o - 13 = 0, -5*n + 3*n - 23 = -b*o for n.
-4
Let j = -17 + 19. Solve -j*a + 12 = 4*z - 2*z, 0 = -a + z for a.
3
Let n be ((-7)/(-2) - 3)*0. Let j = 2 + 1. Let r be -5*(-2 - (2 - j)). Solve n = -5*h - r*x, 0*x = 5*h - x - 30 for h.
5
Suppose -2*n + 3*p + 1 = -0*n, -4 = 2*n + 2*p. Let j be 0/((n + -1)/2). Suppose 0 = -k - j*k. Solve k = s - 4*r + 4, 5*s + 4*r = -3 + 31 for s.
4
Let j(f) = f**2 + 5*f + 7. Let d be j(-3). Solve 2*n + d = -1, -2*y - 3*n = -3 for y.
3
Let o = 35 - 23. Suppose 5*t - o = 3. Solve -26 = 2*q + 4*r, -t*q + r - 11 = -0*r for q.
-5
Let x(f) = -f**3 + 4*f**2 + 2. Let v be x(4). Suppose v*y = -3*y. Suppose -5*h = 0, -g + 2*g + h = y. Solve 5*j + 4*b = -g*j + 33, b = 5*j - 23 for j.
5
Suppose 2*m + 52 = 3*v, 4*v - 2*m = -0*v + 72. Suppose t = 3*u - 12, -2*t - 3*t - 5*u + v = 0. Let r = -12 - -18. Solve -2*k - 4*i = 0, t*k + k = i + r for k.
4
Let z be (5/(-3))/(1/(-3)). Solve -3*b = -2*h - 2*h - 12, z*b + 3*h = -9 for b.
0
Let c(k) = 3*k - 2. Let y be (1 + 4)*(-2)/(-5). Let v be c(y). Solve 0 = 8*q - 4*q + v*g - 28, 5*g = 2*q + 7 for q.
4
Let u(o) = 11*o + 4. Let x(q) = -45*q - 15. Let f(d) = 15*u(d) + 4*x(d). Let j be f(-2). Solve -4*m - m = 2*w - j, 4*w = 2*m + 12 for w.
5
Suppose -5*u + 25 - 5 = 0. Solve -s - 5*w + 14 = 2*s, -s = w - u for s.
3
Suppose 0 = 2*z + 4 - 8. Solve -5*t = 2*u + 33, z*u + 10 = -t - 3 for u.
-4
Suppose 0*y + 14 = 4*y + m, m + 6 = y. Suppose -4*p + 0*p = y. Let t be p/((-2)/18) + 2. Solve -4*k - j + 9 = 0, 7*k = 2*k - j + t for k.
2
Suppose 0 = 5*h + 5 - 15. Let l be (-96)/(-18) + (-3)/9. Suppose 3*m + l*z = 10, 7*m - 2*m - 27 = 2*z. Solve -4*t - 5*r = -h*t, -m*t = 5*r for t.
0
Suppose 8 = i - 4. Suppose 5*o = -0*p + 2*p + 10, 4*p = -2*o + 28. Solve -2*n = 2*c - c + i, -3*c - p*n - 32 = 0 for c.
-4
Suppose -6 = 3*f - 6*f. Solve 4*c + 4*h = 2*c + f, 5*c + 21 = 3*h for c.
-3
Suppose -6 = -c - 4. Let z = -7 - -16. Suppose 0 = -0*o - 3*o + z. Solve -2 = 2*p + c*g - 0, 3*g = -2*p - o for p.
0
Let q be (-1 - 1) + 17 + -1. Suppose -q - 6 = -5*p. Solve -5*c - 18 = -z + 5*z, -5*c - 2 = -p*z for z.
-2
Let y = -9 + 12. Suppose -4*a - 6 = y*b - 26, -12 = -3*b. Solve 0 = -3*n - 2*j + 5, -a*n = 2*j for n.
5
Suppose -5*y - 3 = -4*c, 0*y = -4*y + 4. Suppose -4*h = -c - 10. Solve 4*n = 2*b - 0*b - 6, -4*b + 17 = -h*n for b.
5
Let y be 1/(-1) - (2 - 5). Solve -5*p = -w + 16, 1 = -y*p - 4*w - 1 for p.
-3
Let u(j) = j**3 + 2*j**2 - j - 2. Let v be u(-2). Let m be (-64)/(-3) - 1/3. Let a = m - 13. Solve -4*d + 3*i + a = v, 2*d = 4*i - 9 + 3 for d.
5
Let d = -15 + 23. Solve z - 9 = -2*l + 3, -z - d = -3*l for z.
4
Let i(y) = 3*y**2 + 4*y + 3. Let j be i(-3). Let v be j/4 - (-2)/4. Let z be -1 + (1 - 1) - -4. Solve -z*x = -v*h - 5 - 5, 2*x = 4*h + 8 for h.
-2
Suppose 0 = 2*n + n, -4*n = -5*o + 35. Let r(l) = l + 15. Let d be r(-13). Solve 4*p - o = 4*q + 13, -p = d*q + 4 for q.
-3
Let m be (-26)/(-8) - (-1)/(-4). Solve 3*a + 3*u = -m - 0, -3*a + 3*u + 15 = 0 for a.
2
Let x = -14 - -14. Solve x = 3*i - 4*d + 11, -i - 3*d = 2*d + 10 for i.
-5
Suppose -5*r - 25 = 0, 24 - 65 = -4*s + 5*r. Solve -7 = -2*y + s*y + h, y - 4*h = -8 for y.
-4
Suppose 6*t + 2*x = t + 13, -3*t - 3*x + 6 = 0. Suppose -t*o - o = -4. Suppose 0 = d - 4 - o. Solve -5*w + d = -2*a + a, -w + 25 = -5*a for w.
0
Suppose -2*m - 2*w - w + 36 = 0, -2*m - 5*w + 44 = 0. Solve 2*p - m = -5*g, -g + 0 = 4*p - 6 for g.
2
Suppose 4*z = 2*z. Suppose z = -4*j - 12, 8 - 32 = -3*l + 4*j. Solve 6 = -3*k, -2*f - 7*k - l = -3*k for f.
2
Let q = -17 + 24. Solve -5*n + p + 2 = 0, -2*n + q*n - 4*p = -7 for n.
1
Let z = -2 + 7. Let f = 16 - 10. Let q be (-4)/f*36/(-8). Solve z*n - 4*o - 9 = -q*o, -n + 1 = -o for n.
2
Let t be (-8 - -3 - -3) + 8. Suppose 0 = -p + t*p. Solve 4*q - 2 = -5*c - 4, 4*q + 3*c - 2 = p for q.
2
Let x = 32 - 32. Solve -4*h + 2 = v, 0 = 2*h - x*v + 5*v + 8 for h.
1
Let m(t) = -t**3 + 17*t**2 - 17*t + 20. Let q be m(16). Suppose q*c - 20 = 2*c. Solve 4*f - 3 = -5*h + c, -h + f = -8 for h.
5
Let a be 1 - -1*(0 - -1). Let w(i) = -5 + 0 + 9*i + i**a - i. Let f be w(-9). Solve p + h - 20 = f*h, 5*p - 2*h = 35 for p.
5
Suppose 0 = 4*m + 7 - 23. Let u = 6 - m. Solve 2*g - 3*n = -u*g + 19, 3*g + 5*n = -22 for g.
1
Suppose -4*v + 14 = -2*q - 9*v, 2*q = 5*v + 26. Let p = 1 + q. Solve -6 = 2*h + g - p*g, -5*g + 6 = -2*h for h.
-3
Let y be (9/3)/1 + 0. Solve -3*h + y*a + 27 = -2*a, 5*a = -15 for h.
4
Let n(i) = i + 9. Let l be n(-4). Suppose -z + 16 = 4*h, -2*z - 4*h + 16 = -0*h. Solve -l*r = z, -3*y - r - 10 = 2*y for y.
-2
Let w = -2 + 5. Let a(t) = -t**3 + 5*t**2 - 2*t - 1. Let y be a(2). Solve -4*g = -r - 4, 3*g - y*g + 12 = -w*r for r.
-4
Let x(z) = -2*z. Let i be x(-2). Let w = i - 0. Suppose r = -f + 5*r - 16, 4*f = 2*r + 6. Solve -5 = -5*n + 5*y - w*y, -4*y = -4*n + f for n.
1
Suppose -3*l + 7*l - 4 = j, -j = -4. Suppose l*w - 6 = -0. Let p be (-2)/w - 17/(-3). Solve 2*k - 3 = -s, 3*k - p*s = -s + 21 for k.
3
Suppose -3*f = -5*f. Suppose f = g - 2*g + 5. Let r be 1 - g/(5/(-4)). Solve 2*d + 5*u = r*d + 34, d = -5*u + 22 for d.
-3
Let s(x) = x**3 - 2*x**2 - x - 4. Let y be s(3). Suppose -4*o = -p + 3, -5*p + y*o - 3 = -36. Let r = p + -4. Solve 2*m = -d - 0*d, -5 = -r*d - m for d.
2
Suppose i - 3*i + 8 = 0. Let f = -2 + i. Solve 3*x - f*d + 16 = 0, 0*x + 3*d = 5*x + 25 for x.
-2
Let w(a) = a**2 + 4*a + 3. Let n be w(-3). Solve 5*s + n*u - 3*u - 5 = 0, 3*u + 2 = 2*s for s.
1
Let o be 17 - (5 - 1) - 2. Solve 10 = -r - 2*t, t - 3 + o = -2*r for r.
-2
Suppose 2*k - 6*k + 16 = 0. Solve 6 = -3*c + 2*c + 2*t, -3*c = -k*t + 10 for c.
2
Let m = 36 - 6. Solve 0 = 2*l + 2*c, -5*l - m = -10*l + c for l.
5
Let l = -10 - -13. Suppose -9 - 6 = -l*d. Suppose -2*q + 4*k = -4 + 16, -k = -3*q + 7. Solve -q*t = 2*n + 9 + 13, t = -d for n.
-1
Suppose 4*h - 20 = -0*h. Solve v + 12 = 2*s, -4*s = h*v + s for v.
-4
Let j = -104 + 111. Solve -4*u - 2*b = 14, b = 4*u - 2 + j for u.
-2
Suppose 5*c = -0*c + 120. Let n be (9/(-6))/((-9)/c). Suppose 0 = -o + n - 1. Solve -2*a + o*a - 4*s = 6, -a + 4 = -3*s for a.
-2
Suppose 1 = -2*z - 7. Let m be (6/(-4))/(z/8). Let j(r) = -r. Let i be j(-6). Solve 16 = -4*y - l, -i*y = -m*y + 2*l + 12 for y.
-4
Let u be (4 - -2) + 4 + -6. Solve 0 = -3*l - w + 3*w + 4, u*w + 30 = -5*l for l.
-2
Let x(t) = -t**3 - 10*t**2 - 11*t - 18. Let h be x(-9). Solve -2*m + 3*a - 13 = h, -2*m = 2*a + 10 - 2 for m.
-5
Let c(p) = -p**3 + p - 2. Let a be c(-3). Suppose -8 + a = i. Solve -3*v - i = -n - 4*n, v - 4*n + 7 = 0 for v.
-3
Suppose -3*c - 4 = 5*f + 29, 0 = -f. Let k = c - -17. Solve -2*l - 4*m - k = 0, 4*m + 3 = -1 for l.
-1
Suppose 4*a = -0*n + 3*n + 9, -1 = a - 4*n. Solve 5*t + a - 8 = z, 2*t + 3*z - 2 = 0 for t.
1
Let j(v) = v - 5. Let d be j(5). Let i be (-1 - -1)/(d - -3). Solve i = q - g - 3*g, -g - 3 = -q for q.
4
Suppose 10*a = -3*a + 169. Solve o + 5*v - a = 0, -6*v + 3*v + 17 = -4*o for o.
-2
Let z(s) = 2*s - 7. Let x be z(5). Suppose 8 = x*k + 2. Suppose o = 1 + k. Solve -4*i + 16 = 0, 0 = -4*f - 3*i - o - 5 for f.
-5
Let b be 6/(-15) - 277/(-5). Suppose 0*f = 2*f - 4*a 