 4 for z.
2
Suppose -3*t + 8 = 5*t. Solve s + 5 = t for s.
-4
Suppose -3*y - y + 8 = 0. Let j = 22 + -15. Suppose 5*h = 2*s - 27, 28 = 2*s + s - 5*h. Solve -y*w + j = -s for w.
4
Suppose -2*a - 4 = -4*a. Let x be 1/(0 + a)*0. Let r(u) = 21*u**2 - 1. Let d be r(-1). Solve x*h = -4*h + d for h.
5
Let b be 8/4 + 1/1. Suppose -b*v + 4*a + 12 = 0, -4*v + 5*a = a - 12. Solve v = 5*x - 3*x - 2 for x.
1
Let s = 2 + -2. Suppose x - 3*u - 8 = -s*x, -5*u = 10. Solve -h = -x*h for h.
0
Suppose 3*o = 3*s - 6, 0 = -2*s - 3*o - 0*o + 14. Suppose -z = -s*z. Solve z = w - 5*w - 4 for w.
-1
Suppose -3*r = -3*m + 15, 0 = -5*r - 2*m - 6 - 33. Let z = -5 - r. Solve 3*b + z = -10 for b.
-4
Let k be 0 + 5 - (0 - 3). Let d = 10 - k. Solve -2*p - d = 2 for p.
-2
Let v(t) = t**2 - 2*t + 3. Let g be v(4). Suppose 4 + g = 3*c. Suppose -a - 3*z = c, -a - 4 - 4 = 4*z. Solve -o + a - 6 = 0 for o.
-2
Suppose -d + 4 = 0, 2 = -q + 2*d - 6. Let b be (-1 + 0)/(1/(-2)). Solve q = b*a + a for a.
0
Let q be 0/(5 - 9/3). Suppose q = -s - s. Suppose 0 = 2*z + 14 - 38. Solve -3*x + s*x + z = 0 for x.
4
Let f(a) = a**2 - 2*a - 3. Let c be f(3). Solve c*i = 3*i for i.
0
Let l be (-2 + 2)*(1 + 0) + 5. Solve -l*o + 2 = 7 for o.
-1
Suppose 0 - 1 = d. Let s be 6 + d + (2 - 3). Solve -4*h = -0*h + s for h.
-1
Let a be ((-8)/12)/((-2)/(-21)). Let q = -5 - a. Suppose i - 10 = -q*i + 5*x, 2*x = 3*i - 4. Solve i*h + 3*h = 12 for h.
4
Let z(h) = h**2 + 7*h. Let a be z(-7). Solve a = -4*g + 6 + 2 for g.
2
Suppose 8*l = 13*l + 10. Let s(w) = 2*w**2 + 3*w + 2. Let i(o) = -2*o**2 - 4*o - 3. Let q(m) = 4*i(m) + 5*s(m). Let d be q(l). Solve 0 = 3*n - d*n - 10 for n.
-2
Let y be ((-2)/1)/((-4)/(-18)). Let x be 3/(-2)*18/y. Suppose 4*m - x*m = 3. Solve -m*q - 10 = 5 for q.
-5
Let s(a) = -a**2 - 23*a + 12. Let b be s(-23). Solve 0 = -4*n - 0*n + b for n.
3
Let j be (-2)/(-3)*-1*-15. Solve -4*y + 2*y = j for y.
-5
Suppose -7 = -3*a + 2*a. Let u = a + -5. Solve -3*v = -5*v + u for v.
1
Let a(k) = k**2 + 10*k + 16. Let m be a(-8). Solve m = 4*o + 1 + 11 for o.
-3
Let c be ((-56)/21)/((-4)/(-6)). Let b = 7 + c. Solve -n - 1 = -b for n.
2
Suppose -2*d + 6*d = s + 14, 2*d - 22 = -2*s. Let l = -15 + 15. Suppose l = -2*y - 3*y. Solve -3*b + s = -y*b for b.
2
Let o(f) be the second derivative of f**4/12 + f**3 - 3*f**2 - 8*f. Suppose 0 = -2*j - 5 - 9. Let t be o(j). Solve -t = 2*b - 3*b for b.
1
Let h = 27 - 14. Suppose -h - 77 = 5*p - n, -4*n = 4*p + 72. Let g be ((-1)/3)/(3/p). Solve -x = -2*x - g for x.
-2
Let q(i) = 5*i - 2. Let s be q(2). Solve 0 = 3*k - k + s for k.
-4
Suppose -4 = u, -3*l + 0*u + 8 = u. Suppose l*x - 4 = -4*f, x = f - 0*f - 1. Solve -4*s - f = 3 for s.
-1
Suppose 6*n = 10*n - 152. Suppose o + t = 3, 0 = -2*o + 5*t + 3 + n. Solve -o*r + 15 = -3*r for r.
3
Let j be (-1)/(-1) + (-4 - -3). Solve -x + 2*x = j for x.
0
Let j be 178/12 + 1/6. Solve s = 6*s - j for s.
3
Suppose 0 = -3*n - 1 + 7. Solve n*u + 0 + 2 = 0 for u.
-1
Let s(q) = -2*q. Let x be s(-1). Suppose -7*t = -x*t. Let r = 2 + 1. Solve -r*a - 5 - 10 = t for a.
-5
Let k(q) = q + 9. Let s(n) = -4*n + 3. Let d(h) = h**2 - 2*h - 1. Let w be d(-1). Let r be s(w). Let m be k(r). Solve -m*g = -0*g for g.
0
Suppose -2*i + 84 = -5*i. Let y be i/(-5) - 4/(-10). Solve -2*j = -y*j - 20 for j.
-5
Let m = 8 + -5. Let f(g) = g**2 - 2*g - 3. Let o be f(m). Suppose 3*n = -o*n + 6. Solve -7 = -n*h + 3 for h.
5
Suppose 9*c = -2*c + 44. Solve 0*g - g - c = 0 for g.
-4
Let w(b) = b**3 + 5*b**2 - b - 4. Suppose 7*d = 11*d + 20. Let x be w(d). Solve 0 = -j - 3 + x for j.
-2
Let u(j) = -j**3 - 5*j**2 + 6*j + 7. Let f be u(-6). Suppose f*b - 3*b = 0. Solve 15 = 5*q - b*q for q.
3
Let w = -85 + 93. Solve 4*t = -8 - w for t.
-4
Let w = 2 + -8. Suppose -h + 11 = 3*l, 5*h - 4*l + 40 = -0*l. Let z = h - w. Solve -z*t + 1 = 5 for t.
-2
Let l(a) = 2*a - 8. Let c be l(6). Suppose c*k - 10 = -k. Solve -1 = -k*u + 3 for u.
2
Suppose 8*p - 216 = -16. Solve -k + 6*k - p = 0 for k.
5
Let w = 9 + -2. Solve -8 = -3*h + w for h.
5
Let u be 10/35 - (-3 - 5/7). Solve -l = -0 - u for l.
4
Suppose -8 = -2*h + 2, 2*f + 10 = 2*h. Solve -3*p + 18 - 3 = f for p.
5
Let h = -131 - -134. Solve -h + 6 = -3*a for a.
-1
Let d be (-2)/(-8) - (-19)/4. Suppose 5*f - 2*p - 3*p - 40 = 0, -2*f - d*p = 5. Solve 4*q - f = 5*q for q.
-5
Let n be (-2)/(-8) - 22/(-8). Suppose 5*g + 10 = -s - 5, -12 = -n*s + 4*g. Solve s = x - 2*x for x.
0
Let y be 18/117 + 4/(-26). Solve y = -p + 3*p - 6 for p.
3
Let v(n) = n**3 - 4*n**2 - 5*n + 7. Let x be v(5). Let w be (-1 - 0)*(0 - x). Let j = 13 - w. Solve -3*t - j = 3 for t.
-3
Let c(n) = -2*n + 10. Let m be c(7). Let l be (-62)/m + 3/(-6). Suppose -5*o + 40 = l. Solve -2*p - 1 = o for p.
-3
Suppose 2*x - 2*a = 0, a - 20 = -2*x - a. Solve 9 = x*f - 11 for f.
4
Suppose 3 = x - 7. Suppose 0 = 5*c + k + 3, -2*c = -c + 3*k + 9. Solve c = -2*g - x for g.
-5
Suppose -2*d = 3*d. Let b(z) be the third derivative of z**4/24 + 5*z**3/6 - z**2. Let a be b(d). Solve c + a = 2*c for c.
5
Suppose -m + 5*j - 7 = 0, 3*j - 15 = -3*m + 6*j. Let a = m - 4. Solve a*q = 6*q - 2 for q.
1
Suppose -h + 4*h + 6 = 0. Let l = 3 + h. Let z be (-3 - -4) + l*2. Solve -12 = -5*k + z for k.
3
Let c(o) = o**3 + 8*o**2 + 5*o - 12. Let f be c(-7). Solve -f*i - 12 = -6*i for i.
3
Suppose 0 = 2*q - q - 6. Let b be 36/(-8)*(-8)/q. Solve 0 = b*m - 2*m for m.
0
Let r be (0 - 0)/((-8)/4). Solve -5*s + 4*s = r for s.
0
Let q(u) = u + 5. Suppose 2*m - 7*m = 0. Let d be q(m). Solve -d = -y - 1 for y.
4
Suppose 3 = -3*r + 57. Let h = r - 15. Solve -h*a - 3 = -6 for a.
1
Suppose -9 = -3*j - 0. Suppose -3*g - 2*g + 5 = 0, 0 = j*u - 2*g - 22. Let r = 14 - u. Solve m = -m - r for m.
-3
Let a(k) = -k**2 - 5*k - 4. Let n = 1 + -5. Let i be a(n). Solve i*b = b - 3 for b.
3
Let z be (-40)/6*(-171)/95. Solve -2*t + z = t for t.
4
Let p(x) = 6*x**3 + x - 1. Let l = 2 + -1. Let w be p(l). Solve t - w*t = -5 for t.
1
Let l = -69 + 72. Solve 0*s + l = s for s.
3
Let t(r) = -2*r**2 + 12*r - 6. Let p = 3 + 2. Let l be t(p). Solve -l*q = -2*q - 8 for q.
4
Suppose 11 = 3*j + 2. Let d(l) = -7*l**3. Let n be d(-1). Solve -4*b + j = n for b.
-1
Let v(o) = -o + 10. Let q be v(8). Let b be 5 + (1 - q) + -2. Solve -b*c + 12 = c for c.
4
Let c = 174 + -168. Solve -5*r = -c - 9 for r.
3
Suppose -k + 5*c - 15 = -4*k, -5*k + 3*c + 25 = 0. Solve 4*b - k + 9 = 0 for b.
-1
Suppose 0 = -2*s - 0*s + 14. Let o be (2 - 4) + 3 + -1. Suppose -i - 2*k - 6 = o, -2*k - 20 = -4*i + k. Solve s*u - i*u = -25 for u.
-5
Let l(k) = -k**3 - 3*k**2 + 3*k - 1. Let d be l(-4). Solve -d*v - 9 = 3 for v.
-4
Let l(z) = -z**2 - 5*z - 2. Let t be l(-3). Suppose 0*o = o - t. Solve 0 = o*d + 29 - 9 for d.
-5
Let v(n) = -n**3 + 5*n**2 + 4*n + 2. Let t be v(5). Suppose -4*d + 6 = t. Let j = d - -4. Solve 0 = -2*p + 4 - j for p.
2
Suppose -m + 3*l = -17, 3*l + 23 = -0*m + 4*m. Solve -m*y + 4 = -4*y for y.
-2
Let i(l) = 5 - 8 - 6*l - 8 + l**2. Suppose 0 = 4*j - 4*w - 16, -5*j + 2*w + 36 = 4. Let g be i(j). Solve -7 = g*c + 13 for c.
-4
Let u = -74 + 75. Let b be (26/2)/(1 - 0). Solve 0 = 4*n + b - u for n.
-3
Let w = 0 - -2. Let y = 223 + -223. Solve y = 2*u + w*u - 20 for u.
5
Let x be 238/42 - 2/3. Solve 3 = x*b + 23 for b.
-4
Let k be 8/1 - (2 - -2). Solve 8 = k*d - 4 for d.
3
Suppose -120*d = -122*d + 14. Solve -1 - d = 4*q for q.
-2
Suppose -w = -4*q - 12, 0 = -3*w + 2*q + 42 + 4. Let n = w + -14. Solve 0 = -2*r - n*r - 16 for r.
-4
Let w = -1 + 1. Suppose -2*d + 3 = -3*u, 1 = -d - 0*d + u. Let p(a) = a**3 + 7*a**2 + 7*a + 6. Let h be p(d). Solve w = 2*k - h*k for k.
0
Let u be (1 - -3)*(-6)/8. Let a be u/(-1 + 4)*1. Let i = a + 1. Solve -3*k + k + 2 = i for k.
1
Let c(u) = u**2 - u. Let k be c(5). Solve -5*t + 0*t - k = 0 for t.
-4
Let v = -21 - -34. Suppose -3*s + 4 = -4*s - 2*y, -3*s - 9 = 5*y. Suppose 2*l - v = -2*j + 11, -32 = -3*j - s*l. Solve j + 17 = -5*m for m.
-5
Suppose -5*a = -144 + 44. Let q be ((20/12)/(-5))/((-1)/18). Solve -q*b = -b - a for b.
4
Suppose a + 11 = -0*a. Let n = -6 - a. Let d be n/(1 - (-4)/(-6)). Solve 2*p + p + d = 0 for p.
-5
Let a = -96 + 102. Solve -4*d = -2 + a for d.
-1
Let d(l) = -l. Let p(m) = -m**2 + 6*m. Let y be p(6). Let t be d(y). Solve t*o = 5*o for o.
0
Suppose 51 + 21 = 4*j. Solve 3 = -3*n + j for n.
5
Sup