 - 12/8. Solve l + 4 = 4*t for t.
5
Suppose -4*d + 3 = -5. Let h = 2 - d. Solve -3*a - 3 + 0 = h for a.
-1
Suppose 0 = 5*c + 2*w - w + 34, -2*w - 8 = 0. Let m be 2/c*(1 + -1). Solve -4*k + k = m for k.
0
Suppose -5 - 4 = -3*b. Solve 0 = b*s + 6 + 6 for s.
-4
Let o be (-4)/2 + 3 + -1. Suppose 3*g + 3 - 6 = o. Let l = g - -3. Solve 2*y = -0*y - l for y.
-2
Suppose -4*u + 4*n + 12 = 0, 0 = -2*u + 2*n - 3*n + 15. Solve u*q - 3*q = -3 for q.
-1
Suppose -2*m - 6 = m. Let i be -2*(2 + 8/m). Solve -9 = i*n - n for n.
-3
Let c be (-16 - -26)*1/2. Solve -5*h + c = -0*h for h.
1
Suppose 2*l = l + 5. Suppose w - l = -n - 0, 14 = w + 4*n. Solve a + 2 = -w for a.
-4
Suppose 0*c = c - 8. Let n = c + -3. Solve -n*l + 13 = -2 for l.
3
Let v = 6 + -6. Solve v = -5*m + m for m.
0
Let d(t) = -16*t + 8. Let c be d(-3). Let b be (-14)/c - (-154)/8. Solve -1 = 4*v + b for v.
-5
Let d be 5/2*(-8)/(-10). Let q be 57/21 - (-2)/7. Suppose -q*h = -3*f + 12, 4*h = 4*f + 3*h - 22. Solve -d*b = -f*b - 16 for b.
-4
Let q(l) = -l**3 - 12*l**2 + 5. Suppose -2*b + 5*b = -36. Let x be q(b). Solve 5*n = -10 - x for n.
-3
Suppose 4*n + 162 = 2*d + 44, -3*d + 96 = -3*n. Let u be 12/2*(-1 - 0). Let f be ((-2)/u)/((-3)/n). Solve -f = 3*j - 0 for j.
-1
Let r = 2 + 1. Suppose -l = -0*l - r. Suppose -4*t = -2*k - 16, 0*k = 2*t + l*k. Solve 2*v = t*v - 5 for v.
5
Let g = 4 + -1. Let f be (-21 + 1)*(-2)/(-4). Let s be (5/f)/(1/(-14)). Solve 0 = g*v - 4 + s for v.
-1
Let x(q) = 2*q - 8. Let k be -5 - -15 - (2 + 0). Let d be x(k). Solve -2*m + d = 2 for m.
3
Let s(g) = 2*g**2 - 2*g + 4. Let c(f) = f**2 + 2*f + 2. Let t be c(0). Let z be s(t). Solve 0 = -2*y - 2 - z for y.
-5
Let v = -8 + 9. Suppose 2 = p - v, -4*t - 12 = -4*p. Solve t*a + 2 = -2*a for a.
-1
Let n(h) = 6*h + 7*h - 8*h. Let x be n(1). Solve 3*m - 4 = x for m.
3
Let j = -1 - -1. Solve j = 3*u - 6*u + 15 for u.
5
Suppose 4*f + 2*z = 5 + 5, 0 = 5*f - 4*z - 19. Solve 2 = f*d + 5 for d.
-1
Suppose 3*z + 0*d - 5*d = 24, -2*z + 2*d = -12. Solve 0*n = z*n for n.
0
Let v = -72 - -74. Solve -5*x + v = 17 for x.
-3
Suppose u - 3*u + 5*g = 14, 4*u - 20 = -2*g. Solve -y = u*y + 8 for y.
-2
Let j = -2 - -8. Let z(f) = -f**2 + 7*f - 5. Let y be z(j). Solve y + 4 = -r for r.
-5
Suppose q = 3*d + 16, -q + 0*d + 26 = -5*d. Let k be q - (0 + -2)/(-2). Solve k = 4*y + 2 + 6 for y.
-2
Suppose q = -3*q + 16. Suppose -3*z - 3 = -q*z. Solve z*k = 1 - 16 for k.
-5
Let n be (-1 - -1)/(-6 + 8). Suppose -a + 2*a - 2 = n. Solve -2 = s + a for s.
-4
Suppose 2*j + 12 = 2*i, 0 = i + j - 2 + 4. Solve -7 = -i*t + 1 for t.
4
Suppose 0 = -41*m + 39*m + 18. Solve -4*g + m = -g for g.
3
Suppose 8*v = 3*v - 100. Let u be 2/8 - (-5)/v. Suppose u = -2*d + 13 - 1. Solve 0 = d*k - k - 10 for k.
2
Let t = 4 + -1. Let b be (t/(-1))/1 - -18. Solve b - 5 = -5*l for l.
-2
Let w(t) = t - 2. Let y be w(5). Let z be (0/(-1))/(-5 + y). Solve 5*q - 2 - 8 = z for q.
2
Let i = 6 - 6. Suppose 105 = 5*h - 0. Suppose 2 = -x, 5*j + 3*x - h = -2. Solve -j*a = -i + 15 for a.
-3
Let o(u) = -u - 11. Let y be o(-13). Solve p = y*p + 4 for p.
-4
Let y be 69/21 + -3 - 8/28. Solve y*h = -5*h for h.
0
Let o be 1/(1 + 1/(-2)). Let m(j) = j + 3. Let p be m(5). Solve o*l = 2 - p for l.
-3
Let a(j) be the third derivative of j**4/24 + 3*j**3/2 - 2*j**2. Let p be a(-7). Suppose 2*d + 5*i - 32 = 0, 5*d - 2*i + 4*i = 38. Solve d = p*l - 2 for l.
4
Let u be (-10)/35 - (-1 + 18/(-14)). Solve 0 = -3*a + u*a + 1 for a.
1
Suppose -6*k = -2*k - 3*d - 20, 5*k = 3*d + 28. Solve 0 = -u + k - 3 for u.
5
Suppose 5*f = -0*f + 5*k + 40, 5*f + 2*k - 5 = 0. Solve f*o + 4 = 7*o for o.
1
Let l be (-12)/(-16) + (-18)/(-8). Suppose -c + 3 = -0. Suppose -j = -l*q + 7, c*q + 1 - 10 = 3*j. Solve q*p + 1 = -9 for p.
-5
Suppose -19 + 52 = f + 5*m, 4*m = 3*f - 4. Solve -x + 5*x = -f for x.
-2
Suppose 2*s - 3 - 7 = 0. Suppose s*y - 25 = 3*c, -3*y + 15 = -0*c + 3*c. Solve c = -3*n - n for n.
0
Let y be (-4)/(-10) - (-13)/5. Let h be -1*(y + -2) + 7. Let w = 9 - h. Solve w*j = -0*j for j.
0
Suppose 10 = -5*u, 2*b + 4*u = -0*b - 2. Solve 0 = -b*p - p for p.
0
Let z = -5 + 8. Let q = -7 - -7. Suppose 2*c + q*a - 17 = -z*a, 5*c + 3*a = 47. Solve -35 = 5*u - c for u.
-5
Let m(u) = -2*u**3 - 19*u**2 + 9*u - 13. Let j(y) = y**3 + 9*y**2 - 4*y + 6. Let s(h) = 9*j(h) + 4*m(h). Let t be s(-5). Solve -p = t*p for p.
0
Suppose 0 = -2*x + 2. Let i be 0 + 0/x + 2. Suppose -2*s + i = -s. Solve -2*h + 2 = -s for h.
2
Suppose 0*f - 37 = -2*f - 3*l, f + 5*l - 1 = 0. Suppose 3*q - 2*k - 16 = 0, 3*q + 0*q - 4*k - f = 0. Solve q*m + 15 = 7*m for m.
3
Suppose 0 = f - 2*f - 4. Let z(i) = i**3 + 3*i**2 - 4*i + 4. Let m be z(f). Solve m*x + 15 = x for x.
-5
Suppose -s - 3*s = -4. Let t(o) = 8*o**3 - 2*o**2 + 2*o - 1. Let i be t(s). Let h be 10 - i - -1*1. Solve -n = h*n + 10 for n.
-2
Suppose h = 2*h - 4. Solve 4*z = 4 + h for z.
2
Let j = 19 + -1. Suppose 3*x = 6*x - j. Solve -3*w = -0*w + x for w.
-2
Suppose -3*s = -5*s. Solve s = -v - v - 4 for v.
-2
Let t = 3 - -1. Let n(a) = -t*a**2 - 2*a**3 + a**3 - 4 + 3*a - 5*a. Let q be n(-4). Solve 2*r - 6 = q*r for r.
-3
Suppose 3*d + 5*n = n + 2, 3*d + n = -4. Let q be 1 + (6 + d - 3). Solve -j - 1 = -q*j for j.
1
Let t be (2/2)/(2 + -1). Suppose -5*h - 8 = -2*i + t, -4*i = -4*h - 12. Solve 7*q - i*q - 5 = 0 for q.
1
Let a = 26 - 16. Suppose 4*w = a - 42. Let p be -1 - (3 + -2) - w. Solve 3*i - p = -21 for i.
-5
Suppose 3*h = -5*c - 2 - 2, -4*c = 8. Suppose -b = -2 - h. Solve -2 = -a - b for a.
-2
Let v = -2 + 4. Let n be (-7)/(35/2)*-5. Suppose 0 = -c + 3, -2*r = -4*r + n*c + 34. Solve r = 2*l + v*l for l.
5
Let z = -24 - -27. Solve -8 = -7*h + z*h for h.
2
Suppose b = -0*b + 5*t + 2, 66 = 3*b - 3*t. Suppose 0*q = 3*q + b. Let v be (-1)/(-2) - q/2. Solve 3*o - v - 4 = 0 for o.
3
Suppose -97*s + 95*s + 12 = 0. Solve -s*z = -z for z.
0
Let s(x) = -x**3 - 8*x**2 + 9*x + 4. Let t be s(-9). Let r(q) = -q**2 + 7*q - 9. Let b be r(6). Let n be -3*2/b + -2. Solve t*j - 5 + 1 = n for j.
1
Let j(o) = o**2 - 2*o - 1. Let g be j(3). Let q be -1 + g + 2 + -2. Solve -1 = u + q for u.
-2
Let k be 14*(-1 + 2)*-1. Let o = 1 - 5. Let a be o/k - 24/(-14). Solve 0*b + 8 = a*b for b.
4
Let o = -6 - -10. Let k be -1 + 0 + 3 - 2. Let d = 2 - k. Solve o*r - d*r + 10 = 0 for r.
-5
Suppose f - 2 = -2*k, 3*k + 6 - 22 = 5*f. Suppose -g + k*j - 1 = 1, -3*g + 14 = 4*j. Suppose 2*t - 14 - 10 = -x, -4*t = -g*x + 32. Solve x = -p + 5*p for p.
5
Suppose -4*b + 38 - 14 = 0. Solve -7*v + b*v = -5 for v.
5
Suppose 0 = -4*i - 5*n - 38, -4*i + 2*n - 52 = -0*n. Let x be (4/i)/((-1)/3). Solve 5 = 3*v - x for v.
2
Let p(y) = -4*y**3 - 3*y**2 - y - 2. Let x be p(-2). Solve -5*b + 0 = -x for b.
4
Let m be (-2)/3 + 18/27. Solve m = -2*n - 3*n - 5 for n.
-1
Let x(j) = j**3 + 6*j**2 - j - 6. Let g be x(-6). Let s be 9 + g - (-6 + 9). Solve 0 = 4*b - 2 - s for b.
2
Let s be (-145)/(-4) - (-2)/(-8). Let c be 4/(-6)*s/(-8). Suppose c*q - 10 = q. Solve -l = -q*l + 8 for l.
2
Let f = -5 - -7. Solve -4 + f = k for k.
-2
Let c = -55 - -55. Solve -i - 4 - 1 = c for i.
-5
Suppose -2*x - 136 = 2*x - 4*g, -40 = x - 4*g. Let t be (-1)/(2/x*2). Solve -t + 3 = -o for o.
5
Let k be (-4)/(-3 - 1) + 2. Let p be 4 - 1 - (-2)/(-2). Solve k = -m - p for m.
-5
Suppose -5*s - 18 = -2*b + 11, -b - 2*s + 1 = 0. Suppose -1 = -2*x + b. Solve 7*a = x*a + 12 for a.
4
Suppose 2*h + 12 = 4*r, -2*h = 3*h + 3*r - 22. Suppose -3*m + 41 = -2*v + 11, m = 2*v + 10. Solve h*q - m = -0*q for q.
5
Let h(b) = -b**2 + b + 3. Let d(n) = 3*n**3 + n**2 - n. Let o be d(1). Let k be h(o). Let w(u) = u**3 + 4*u**2 - 3. Let c be w(k). Solve c = -5*v - 4 for v.
-2
Suppose 0 = 4*p - 0*p + 12. Let q = -3 + p. Let m be 0/(q - -3 - -1). Solve 5*t = -m + 10 for t.
2
Let t be (4/10)/((-6)/(-30)). Solve -t*o - 2*o - 20 = 0 for o.
-5
Suppose c + 6 = 15. Solve -25 = 4*b - c for b.
-4
Let x(b) be the second derivative of b**4/12 - 2*b**3/3 - 3*b**2/2 - b. Let l be x(5). Let q = 4 - l. Solve -r = q*r - 3 for r.
1
Suppose 5*r + l = 31, 9 = r + 3*l - 0. Suppose -x + 3*x + 4*h = 8, 0 = x - 5*h - 4. Solve x = -5*d - r for d.
-2
Let d(k) = -k**3 - 6*k**2 - k. Let z be d(-6). Suppose 4*m = 8, -4*m + 6 = -2*v + 2. Solve a - z = -v*a for a.
2
Suppose 13 = -2*w - 3. Let d be -2 + (w + 2)/(-3). Solve -z + 3 + 2 = 