 5*f - 15, 2*d = 5*f for d.
-5
Let j(a) = -a + 4. Let x = 6 - 13. Let z be j(x). Solve 0 = 3*l + 4*v + z, 3*l + v + 2 = -12 for l.
-5
Let b = -20 - -40. Solve q + 3*q + p + b = 0, 0 = -3*q + 4*p + 4 for q.
-4
Suppose -50 = w - 6*w. Let r = -40 + 83. Solve 2*l = 2*p - w, 0 = 5*l + 2*p - 18 + r for l.
-5
Suppose -5*o = -o - 12. Solve -p = p, o*h = 3*p for h.
0
Let q(w) be the first derivative of w**2/2 - w - 2. Let x be q(3). Suppose -3*s - x + 5 = 0. Solve 2*c - 5 = s, 2*c - 2 = -2*t for t.
-2
Let z(m) = -m**3 - 8*m**2 - 14*m - 10. Let v be z(-6). Let k = 3 - -7. Solve 0 = 4*y - 5*l + k, 4*l = v*y + 1 + 1 for y.
-5
Suppose w + 2 = 25. Let k(v) = v**2 - 18*v - 26. Let j be k(20). Let a = w - j. Solve a = -3*d + 3*r, -r = -d + 2*r - 3 for d.
-3
Suppose -12 = -4*f + f. Suppose -4*t - 30 = -2*v, -22 + 2 = f*t. Solve 5*g - 3 = 2*x, 10*x - v*x + 19 = g for g.
-1
Let c = 2 - 0. Suppose -2*i - 5*r + 10 = 0, r - 2 = -2*i + 8. Solve 25 = 5*m + i*b, 2*m = 2*b - 8 - c for m.
0
Let x be ((-105)/(-14))/((-14)/(-8) + -1). Solve 5*c + 5*y = -x, 0*y = -4*c + 5*y + 10 for c.
0
Let k(i) = -i**2 - 6*i - 2. Let o be k(-5). Let z be (1/o)/((-2)/(-30)). Solve 7 = -5*w + x - 0*x, -5*x = z*w + 25 for w.
-2
Let a be (-1 + 0)*(-1 - 1). Solve 0*z = 2*h + z - 6, -a*h + 5*z = -30 for h.
5
Let p(z) = -z**3 - 3*z**2 - 4*z - 2. Let j be p(-3). Let s(u) = u**2 - 9*u - 8. Let y be s(j). Solve -2*q - y = 4*k, -3*k - 7 - 5 = 5*q for k.
1
Suppose 3*x + v - 4 = 0, 4*v - 2*v = 3*x - 10. Solve -2*a = -3*m + 3*a - 2, -5*m - x*a = 24 for m.
-4
Let n(w) = 9*w + 11. Let o(i) = -5*i - 6. Let s(x) = 6*n(x) + 11*o(x). Let m be s(-5). Solve -4*v - m*b = 4, -v = 2*v - 5*b - 32 for v.
4
Suppose -2*h - 7*h = 0. Solve 5*p - 14 = 2*j, -2*j + 6 = -h*j for p.
4
Suppose 9 - 1 = 4*h. Suppose -2*c = -3*f - 0*f - 27, 22 = 2*c - h*f. Suppose i - c = -2. Solve -3*a = -i*v - 13, a = -0*a - 4*v - 1 for a.
3
Let g(t) = -t - 3. Let b be g(-6). Solve b*l + 2*q - 7 = 0, 2*l = 4*q - 0 + 26 for l.
5
Let b = -2 + -2. Let a be 2/b*4/(-1). Solve -5*w + h = 16, 4*w - a*w - h = -7 for w.
-3
Let o(y) = 4*y**2 - y. Let i be o(1). Suppose -15 = -3*g, -4*g + 26 = -3*h + i. Let z = h + 3. Solve z*d + 4*k + 45 = -3*d, d - 5*k - 20 = 0 for d.
-5
Let l = -2 - -6. Suppose 2*a - 3*a = 0. Solve l*z = v - z + 14, a = -4*z + 8 for v.
-4
Suppose -t = 5*l + 18, l + 12 = 4*t - 0*l. Let n be 3/(-2) + 3/t. Solve n = -3*d - 9, 0 = -4*q + 4*d + 15 + 9 for q.
3
Let x be 1/1 + 4 + 0. Suppose x*i = -0*i + 15. Suppose -c + 3 = 1. Solve -4 = i*y - v, 4*y + c = 2*v - 2 for y.
-2
Let j(s) = -6*s - 21. Let b be j(-5). Solve 3*i = -q - 7, 4*i + b + 1 = -q for i.
-3
Let b be (1/3)/(1/12). Suppose i - 16 = -0*z - 2*z, 4*i - b*z = 88. Let w be i/11 - 2/(-11). Solve -3*s + w*g = 14, -4*s + 2*g = 2 + 14 for s.
-2
Let f(i) = i + 5. Let v be f(5). Let n be (-2 + 21/9)*3. Let h = 4 - n. Solve -b - 4 = 2*o, 7*o + 3*b = h*o - v for o.
-1
Let w = -3 + 21. Suppose -20 = 4*f, -c = 3*c + 2*f - w. Solve c*n - 2*n + 2*b = 0, 5*b = -25 for n.
2
Let j(v) = -1 + 2 - v - v**2 + 1. Let w(k) = -k**3 - 3*k**2 - 2*k. Let f be w(-2). Let q be j(f). Solve z = q*z - 4*t - 12, -4*t - 12 = 5*z for z.
0
Let x be 1*(7 - -1) - 3. Solve -3*y - 7 = -4*b - 4, 3*b + x = -5*y for b.
0
Let l be 2/(-4) - 10/(-4). Suppose -a = -5*x + 11, -5*a - 3*x = -7*x - 8. Suppose -19 + a = -5*p. Solve p*g + o = -5, 5 = o - l*o for g.
0
Let c(y) = 5*y - 2. Suppose 9 = 5*n - 1. Let x be c(n). Suppose 5*m = l + 4*m - x, -5*m - 20 = 0. Solve -l*u + r = -u + 19, 13 = -5*u - 3*r for u.
-5
Let c(n) = n**2 - 15*n + 28. Let b be c(13). Solve 2*h - 1 = 2*p + 13, b*h + 4 = -4*p for p.
-3
Suppose -14*t + 60 = -2*t. Solve -t*a + d = 0, -4 = 3*a - 3*d - 16 for a.
-1
Suppose 3*k = 5*m - 5, -2*m - 3 = -3*k + 4. Let j be k + 3/6*0. Solve -5*d = -2*l + 10, -j*l = -3*d + 6 - 31 for l.
5
Suppose 5*c = -h + 15 + 8, 5*h = 3*c + 3. Suppose -c*v = -2*v. Solve -4*g + v*g = 4*x - 4, -5*x + 5 = -2*g for g.
0
Let x(z) = -z**3 - 7*z**2 - 7*z - 6. Let f be x(-6). Suppose 5 + 3 = 4*r. Solve f = r*t + t + 2*i - 13, -2*i + 10 = 0 for t.
1
Let d = 53 + -34. Solve -3*u = 5*o + d, -o + 2*u = -0*o + 9 for o.
-5
Let r(b) = b**3 - b**2 + b - 15. Let h be 0/(-3 + 6/3). Let o be r(h). Let l be -1*o/3*1. Solve l*p + 25 = 3*f, -20 = 4*p - 3*f - 0*f for p.
-5
Let n(w) = -w**2 - 4*w + 2. Let l be n(-5). Let a be 6*l/(-2) - 1. Suppose 5*m = -4*f - 4 - a, -2*f - 5*m = 16. Solve f*k - 4 = -v + 1, -k + v + 4 = 0 for k.
3
Let t be (0 - 1 - -1)*1. Let i be 5*(2 + (t - 1)). Suppose -5*o + 0*v + 6 = 3*v, 4 = -o + 2*v. Solve o = -i*r + 4*j + 2, 3*r - 4*j - 2 = -2*j for r.
2
Suppose -21*y + 19*y + 6 = 0. Solve i + y*w = -2*w + 8, 2*i = w - 6 for i.
-2
Let v = -78 - -93. Solve 2*r = s - v, s = r + 2*s for r.
-5
Suppose -a = -5*a - 60. Let g be (-4)/(-10) + (-39)/a. Solve -h + 4 = 3*v - 1, 7 = g*h + v for h.
2
Let f = -154 + 158. Solve 5*i = f*m + 6, 0 = -4*i + 2*m - 0*m for i.
-2
Let q(v) = -v + 10. Suppose 0 = -2*i + 9 + 1. Let w be q(i). Let z(x) = x**3 - 5*x**2 + x - 5. Let y be z(5). Solve -c + 3 = j - 4, 2*c + w*j - 23 = y for c.
4
Suppose 8*a = 2*w + 3*a + 25, -a - 61 = 4*w. Let r = w + 18. Solve -2*o = 3*b - 13, 2*b - 8 = r*o + 5 for b.
5
Suppose -277 = -3*b - 256. Solve 2*y + b = -g, 5*g - 3*g - y - 11 = 0 for g.
3
Let h be 1/3 - (-10)/6. Let k be (-1)/(-2) - 10/(-4). Let n be 2/k*(11 + -2). Solve h*u - i - n = 0, -5*i = -3*u - 0*i + 16 for u.
2
Let m(f) = -f**3 + 4*f + 3. Let h be m(0). Solve 4*p - c = 0, -4*c - 9 - h = -4*p for p.
-1
Let u be (18/15)/((-4)/(-70)). Solve -4*t - g = -3*t - 3, 0 = -2*t - 5*g + u for t.
-2
Let q = 184 - 183. Solve 4 + q = n, 5*i = -2*n - 10 for i.
-4
Suppose 2*w = -4*o + 24, 21 = -2*w + o + 4*o. Solve -5*k = -y - 0*y + 10, -y - w*k = 11 for y.
-5
Let m(o) = -o**2 + 3*o + 1. Let t be (9/(-15))/(2/(-10)). Let n be m(t). Let c be n/(3/(-135)*-3). Solve -4*f + c = -w, w - 2 = -5 for f.
3
Let v be -13*-2*2/4. Let f be (-15)/6*4/(-5). Let g(a) = a**2 + 5*a + 4. Let k be g(-4). Solve -2*h = -3*b + b - f, b - 5*h + v = k for b.
2
Let y = -63 + 90. Solve -3*t - 4*b + 0*b + y = 0, 0 = -2*t + 4*b - 2 for t.
5
Let p = 8 - 5. Solve 0 = z - 2*u - 10, 3*z - p*u + 7*u = 0 for z.
4
Let z(y) = 5*y + y - 2*y + 3*y - 4. Let g be z(4). Solve 5*p - c - g = 0, p - 3*c = -0*c + 16 for p.
4
Suppose -2*p + 6*p - 4*g - 16 = 0, -3*p + 19 = 4*g. Let c = p + -2. Solve 18 = a + 5*b, 3*a - c*b + b = 3 for a.
3
Suppose -3*g + 7 - 26 = -4*w, 19 = 5*w + g. Solve 3*j - w = s, 3*s - 1 = -5*j + 1 for j.
1
Let q(w) = w + 1. Let x be q(-10). Let a(v) = v**2 + 12*v + 9. Let u be a(x). Let t be u/(-8) + 4/(-16). Solve -t*f + 3*f + 4 = 4*j, -3*j + 3 = 3*f for j.
1
Let z be (-2)/(0 + 6/(-15)). Solve -21 = 5*t - 4*x, t - z*x + 10 = -10*x for t.
-5
Let p(h) = -3*h + 24. Let l be p(7). Let o(b) = -b**3 + 5*b**2 - 3*b - 2. Let a be o(4). Suppose 78 = 4*f - f. Solve -5*w - f = 4*n, -a*n - 20 = l*n for w.
-2
Let q(v) be the third derivative of v**6/120 - 7*v**5/60 - v**4/3 + 2*v**3/3 + v**2. Let f be q(8). Solve 2*w = -5*p - 2*w + 5, 0 = -f*w for p.
1
Let n = 1 - -1. Let i be (-38)/57 + 22/6. Solve j + 0*j = 3*a - i, n*j = -3*a + 12 for a.
2
Suppose 3*c = -q + 8, -q - c - 8 = -6*c. Solve q*b + 4*u + 0*u + 12 = 0, 3*b = 5*u + 26 for b.
2
Let i be (-3)/1 + 2 - -22. Suppose -2*r - 3*r + 5*x + 30 = 0, 2*r - 5*x = i. Let p = -22 - -31. Solve r*l - p = -2*m, m + 2*l - 6 = -m for m.
0
Let k = 0 + 1. Suppose 4*z + 3*x = x - 8, -5*x + 10 = 0. Let y be 0/(1/k) - z. Solve 2*w - 2*h + y*h = 0, w + h = 0 for w.
0
Let s(i) = 8*i**2 + i. Let o be s(-1). Let w be 9/o - 2/7. Let h be (1/(-3))/(w/(-6)). Solve n = -n + h*p + 6, -n - 2*p = 12 for n.
-2
Let t be -2 - (4 + -8)*(-1)/(-2). Solve 5*a - 2*u - 9 = t, -4*a + 12 = -4*u - 0*u for a.
1
Let b(y) = y**2 + 3*y - 7. Let v be b(-5). Suppose v*k + 30 = 5*m, 2*k - 6 - 24 = -5*m. Solve 2*f - a = 9, 3*a - m*a = 9 for f.
3
Let p be (-2)/3 + 4/(-3). Let y be 14 - (0/p)/1. Solve -4*j = -3*m + y, -2*j + j + 1 = -3*m for j.
-5
Suppose -2*l = -6*l. Let d(m) = 7*m - 12 + 7*m**3 - 9*m**2 + m**2 - 8*m**3. Let n be d(-9). Solve -3*f - g - 4 = 0, l = -2*f + n*f - g + 17 for f.
-3
Suppose 2 - 14 = 2*t. Let o(q) = q + 11. Let v be o(t). Suppose -v*p + 10 + 5 = 0. Solve 0 = -5*z - p*f - f - 40, -35 = 5*z + 3*f for z.
-4
Suppose 5*i - 21 - 2 = 