 + 0*m = l, -2*m = -4*c - 2 for c.
2
Let p be 0/(-5)*(2 - 1). Solve -4*n = 0, p*n + 3 = -w + 2*n for w.
-3
Suppose -4*i = 2*v - 14, -2*v = 5*i + 3 - 22. Solve 0*h = -2*l - i*h + 25, 25 = -l + 5*h for l.
0
Suppose 3*t + 4*g + 36 = 0, 2*t - 4*t = 3*g + 25. Let i(y) = -2*y - 1. Let k be i(t). Solve d - 5*x + 25 = -3*d, 3*x - k = -5*d for d.
0
Let k(c) = 2*c - 17. Let p = -9 - -18. Let r be k(p). Solve 13 = -3*q + 4*u, q + 0*q + r = -2*u for q.
-3
Let n be -1 - -2 - (-40)/10. Solve w + n*j = -27 + 3, -5*w + 10 = -j for w.
1
Let c be (-2)/4 + 10/(-4). Let m = 6 + c. Suppose -m*q + 4*q - 3 = 0. Solve -2*i - 2*x - 3 + 13 = 0, -2*i = -q*x for i.
3
Let u(b) = b**2 - 6*b + 4. Suppose 0 = 3*f - 3*g - 3, -3*f - 5*g = -4*f - 19. Let h be u(f). Solve h*i = 4*o - 32, -5*o + 28 = -i - i for i.
-4
Let t(g) = g**2 - 5*g. Let b be t(5). Suppose 4 = -3*s - 2. Let a be s*3/6*-3. Solve 0*q - 4*q = -4*h - 16, b = -a*h + 2*q - 8 for h.
0
Suppose 2*w + 80 = 7*w. Suppose -r = 3*r - w. Suppose 0 = -4*z + 14 + 2. Solve -b = z*o - 0 - 6, 3*o + 5 = r*b for b.
2
Suppose 23 = 5*j + 3. Solve 0 = 2*b - 3*y + 5, 3*b - j*y - 9 = -5*y for b.
2
Let d(t) = -9 - 3 + 4 + 8*t - t**2. Let p be d(6). Solve p*r + 14 = -2*x - 8, 4*r = 5*x - 1 for x.
-3
Suppose 3*l + l = 5*s - 22, -3*s + 18 = -4*l. Suppose -3*v - 20 = 5*j, -3*v + j + 4 = -s*v. Solve -3*r = v, 8 = -0*f + 4*f + 3*r for f.
2
Let s be 16*(-6)/144*-6. Solve -2*f + 4 = -s*o + 2*o, -5 = -3*f + 2*o for f.
1
Let k(a) = a**2 + 6*a. Let w be k(-6). Suppose 4*z - 35 = -3*g, 0 = 3*z - 5*g + 2*g. Let p = 56 - 21. Solve 0*d - z*d - 4*m - 31 = w, -p = 5*d + 5*m for d.
-3
Let h = 11 - 11. Solve -4*p - 4 = -m, 2*m - 3*p - 1 + 3 = h for m.
-4
Let s = 70 - 67. Solve 2*k = s*k, -y - 3 = -4*k for y.
-3
Suppose 3*s - 1 = -o + 13, 31 = 5*o + 2*s. Solve 0*n = o*x + 2*n + 22, 0 = x - 4*n for x.
-4
Suppose 5*s - s = 4. Let k = -1 + s. Suppose 5*x + 15 = 5*u, -3*x + 3 - 9 = 0. Solve k = -r - 2*c + 2 + u, -c - 6 = -2*r for r.
3
Let d be (-1)/3*(-3 - 63). Solve -2*t = -h - 6, 2*t + 0*h = -3*h + d for t.
5
Suppose 20 = 3*s - 1. Let j(n) = -n - 5. Let i be j(-7). Suppose -i*t - 4 = 0, 2*d - 15 = 2*t - s. Solve -h = g - 1, d*g - 2*h - 8 = -2 for g.
2
Let t = -13 + 18. Let u be (-2 + -3 + t)*1. Suppose 75 = 4*a + a. Solve -y - 3*m + 9 = u, -a = -8*y + 3*y - 5*m for y.
0
Let q be 8/(-2) + (27 + -9)/2. Solve 5*j - 23 = 2*o, q*o + 5*j + 11 = 2*j for o.
-4
Let h = -1 + 5. Suppose 0*g = -g - 3*y + 9, -h*y = 5*g - 67. Solve -5*a = 4*q - g, -3 + 20 = -2*a + 3*q for a.
-1
Let d(l) = -l**2 - 4*l. Let m be d(-4). Suppose 0 = z + 4*n + 20, 4*n + 20 = 4*z - m. Suppose 16 = 4*j - z. Solve 0 = -y - 4*k - 21, -2*k = -j*k - 10 for y.
-1
Suppose -2*r = -3*z - 3, 4*r - 7 = 3*z + 2*z. Solve -5*m + 35 = 5*t, 5*t - r*m = 2*t + 3 for t.
4
Let h be 12 - ((2 - 1) + -1). Suppose h = -m + 5*m. Let s(w) = w**3 - 4*w**2 + 3*w + 2. Let l be s(m). Solve -5*j + 25 = 4*u, l*j - 4*u - 4 = -22 for j.
1
Let i(t) = -t - 4. Suppose 0 = -4*x + 2*x - 12. Let b be i(x). Solve 4*s - b*r = 14, 4*s - 4*r = r + 5 for s.
5
Let q(b) = -b**3 + 4*b**2 + 3. Let j(i) = -i**2 + 2. Let l be j(2). Let k be (-8 + 2)*l/3. Let o be q(k). Solve f = -1, o*m = 7*m - f + 7 for m.
-2
Suppose -13 = -v - 9. Let l be 99/v - 2/(-8). Solve -w = -5*a + l, 2*a + 7 = -2*w - w for w.
-5
Let g(f) = 9*f + 2*f - f**2 - 2 + 3 - 13. Let i be g(8). Solve 5*o = -2*u + i + 3, 17 = 4*u - 3*o for u.
5
Suppose -3*o + 5 = 5*u, o = -4*u - 2 - 1. Solve -6 = 3*r, 3*x + 19 = -0*x - o*r for x.
-3
Suppose -5*b = 13 - 63. Solve 4*m = -2*w + 6*m + b, 2*w - 16 = 5*m for w.
3
Let z = -19 + 38. Solve -f - 2*f - z = -5*a, 0 = -5*f - 4*a - 7 for f.
-3
Let v(s) = s**3 - 4*s**2 - 7*s + 4. Let l be v(5). Let t = -3 - l. Solve w - t = 0, -2*y + 0*w - 2*w + 8 = 0 for y.
1
Suppose 3*f - 24 = -3*t, -11 = 5*t - 5*f - 91. Let x be ((-16)/24)/((-2)/t). Solve 9 = 5*g + l - 6, x*g + 3*l = 1 for g.
4
Let b = -8 + 9. Let h = 6 - b. Let i be (2/6 - 2)*-3. Solve x - 6 = v - 3, -i*v = -x - h for v.
2
Let q(i) = -i**3 + 4*i**2 + 4*i + 10. Let m be q(5). Solve -r + 1 = s - 2*s, -m*s - 13 = -r for s.
-3
Let c be -3*6/(36/(-10)). Solve 0 = -3*z - 4*q, 2*z - c*q = z for z.
0
Let b = 22 - 4. Suppose i - b = 3*v, 2*v + 0 - 2 = -4*i. Solve -i*c = 5*h - 29, 3 = 2*c - 3 for h.
4
Suppose 4*z - 34 = -w, 0 = -4*w - 0*z + 2*z + 82. Solve 0*j - 5*h - w = 4*j, 0 = -4*j - h - 14 for j.
-3
Let m(z) = -z - 2. Let j be m(-3). Let c be 7 - (j + -5)/2. Suppose 5*n - 1 = -4*f, -4*f + 11 = 2*n + 1. Solve 2*o = -f*r - 5 - 1, 0 = -3*o - 2*r - c for o.
-3
Let i be 3/((-24)/10)*-24. Let p be 12/i - (-58)/5. Solve -2*t + p = 4*d - 14, 16 = 4*t - d for t.
5
Suppose 3*a - 2*w = -7*w - 40, -4*a + 4*w - 32 = 0. Let l be (-84)/(-15) - 4/a. Let f = l + 0. Solve -o + r + f = -3*o, 5*o = 4*r - 28 for o.
-4
Let x(i) = i**2 + 9*i - 10. Let b be x(-10). Solve -u + d = -1 - b, d = -3*u + 11 for u.
3
Suppose 3*d = -d - k + 77, -5*d - k + 95 = 0. Let s = d - 18. Solve -5*l + 3*u + 16 = -s*l, 0 = -3*l + u + 12 for l.
5
Let a(y) = -y**3 - 5*y**2 - y - 3. Let x be a(-5). Solve 4*z - 11 = -5*j + 24, 4*j - 22 = -x*z for z.
5
Let v = 1 + 4. Solve v*y - 5*d + 10*d + 20 = 0, y = 2*d + 2 for y.
-2
Let m(d) = -d**2 + 3*d + 6. Let b be m(-4). Let k = -4 - b. Solve 7 = -3*q - 5*a, -3*q + k = -5*a + 5 for q.
1
Let h(r) = 2*r - 1. Let x be h(3). Let y(k) = k**3 - 6*k**2 + 4*k + 7. Let a be y(x). Solve -a*f - z + 6*z = 30, -3*z = 2*f - 2 for f.
-5
Let c = -11 + 15. Suppose -4*i - 5*q = -22 - 13, -5*i + 13 = -c*q. Solve -g = -4*v - 8, 0 = g - i*v - 0*v - 10 for g.
0
Let p = -13 + 8. Let k = 9 + p. Solve 0 = -t - 2*j - 8, 2 = -4*t + k*j - 6 for t.
-4
Let y be 2/7 - 89/(-7). Suppose -5*f + y + 7 = 0. Let o be (2/4)/(2/8). Solve 8*i + 5 = -f*u + 3*i, -o*u + 2 = -2*i for u.
0
Suppose -13 = -4*j - 1. Solve -j*x + h = 16, 5*x + 6*h + 22 = 3*h for x.
-5
Suppose 4*j = -7 - 13. Let u = j + 9. Suppose g - 20 = -5*p, 5*p = 2*g + 3*g + 50. Solve -2*n - 3 = -u*k + n, -k + p = -5*n for k.
0
Let x be ((-22)/33)/((-2)/6). Solve -3*q = -5*f + 9, -f - x*q = -6*f + 6 for f.
0
Suppose -4 = 2*b - 0, -5*a + 4*b + 83 = 0. Suppose -5*k = -0*k - 25. Solve -q + 5*u = -0*q + a, 25 = q + k*u for q.
5
Let w(c) = -c + 3. Let l be w(3). Let s = -6 + 16. Let g = s + l. Solve 0 = 5*f - 5*j + g, 3*f - j = -f - 2 for f.
0
Suppose 5*z = z + 12. Let f be (z/2)/(1/2). Solve -4*u + k + f*k - 24 = 0, -5*u + 3*k = 22 for u.
-2
Let h(o) be the first derivative of o**4/2 - o**3 - o**2/2 + 2*o - 1. Let v be h(2). Solve -v*x + 3*x - 20 = -4*f, x = -4 for f.
4
Let i(g) = g**3 - 18*g**2 + 16*g + 18. Let u be i(17). Solve 3*c + 3*j - u = 2, -4*c - 5*j + 6 = 0 for c.
-1
Suppose -2*q = -2*w + 28, 3 = -3*w - 2*q + 35. Suppose 3*x = -3*s + w, 3*s - 2*s = 1. Solve -5*b - m - 3*m - x = 0, -5*b + 3*m - 24 = 0 for b.
-3
Suppose -3*n - 2 = 4*h, 5*n + 1 = h + 13. Solve -3*k + 15 = 0, w - 5*k + 13 = -n*w for w.
4
Let d(l) = 2*l + 1. Let s(t) = t**3 + t**2 + t + 3. Let y be s(0). Suppose v + 0 = y. Let r be d(v). Solve -4*f - 2 - r = 3*w, 0 = -3*f for w.
-3
Suppose 3*y - 36 = -3*q, 5*y = -4*q + 4*y + 54. Suppose -11 = -5*f + q. Solve 5*b = f*x, 2*x + 10 = -b + x for b.
-5
Let n(u) = u**3 + 2*u**2 - 3*u - 3. Let h be n(-2). Suppose 0 = 2*l - 5*d + 8, h*d + 3 = -3*l + 33. Solve 5*m + 2*p = 17, 2*m + 2 = -l*p + 3*p for m.
5
Let z(l) = -l**2 - 2*l. Let n be z(-3). Let o = -1 - n. Suppose h + 12 = 3*b - 1, 2*h = -o*b + 14. Solve -g = 5*s + 18, s + 16 = -2*s + h*g for s.
-4
Suppose 5*w = 4*b + 10, 10 - 4 = 3*w + 4*b. Solve -10 = -3*x - 2*o, 2*x + w = o + 2*o for x.
2
Suppose 18 = 8*w - 2*w. Solve -w*z - 11 = -4*x + 12, -21 = 3*z - 3*x for z.
-5
Let r(b) = b + 12. Let h be r(-10). Suppose 0 = -3*j + h*j. Solve 2*p = 3*k + 8, 7*k - 2*k - 3*p + 14 = j for k.
-4
Let t(n) = 2*n**2 - 2*n + 1. Let l be t(1). Let y be (-1 + 3)*2/l. Let r = y - 2. Solve 2*o = -2, r*b - 4*o = -2*b + 24 for b.
5
Let f(b) = b**3 + 7*b**2 + 5*b - 6. Let n be f(-6). Solve -o - 5 = 3*l, n = 3*o - 9 - 3 for l.
-3
Let v be ((-9)/(-6))/(3/8). Let r be (-2)/8 + 33/v. Solve 4*j - 2*l + 36 = r, 0 = 5*l - 20 for j.
-5
Let r be (-416)/(-28) - (-4)/(2 - -26). Solve 4*d - 3*n + 20 = -0, -3*d - 5*n = r for d.
-5
Let m = -23 - -27. Suppose m*b - b = 0. Solve 3*d - 4*v - 4 = b, 2*d - 4*d = -3*v - 4 for d.
-4
Let v = 12 - 18. Le