 2*z + 12 for z.
-5
Let a be 2/(2/(-3)) + 7.  Solve -a*v + 3*k + 4 = -2*v, -3 = 5*v - k for v.
-1
Suppose -b - 1 + 3 = 0.  Suppose -3*a = b - 11.  Solve -5*z = -w + 12, a*w = -z + w - 9 for z.
-3
Suppose 10 = 4*o - 2*q, -5*o + 1 = -4*q - 19.  Suppose o = 4*w - 2*w.  Suppose 0 = b + 2*b - 9.  Solve b*f - 4*z + 13 = 0, w*f - z + 7 = 3*f for f.
1
Let x be -18 + 15 + 7*1.  Suppose x*c - 2*c - 26 = 3*f, 4*f + 18 = c. Solve l = -g - 10, 2*l + 0*l + c = 0 for g.
-5
Let y(k) = -9*k - 5.  Let v be y(-4).  Let i be (-12)/(-9)*3/2.  Solve -i*z + v = 5*a, -5*z + 5*a - 10 = -0*z for z.
3
Suppose -2*r + r + 6 = 4*s, 0 = 5*r + 5*s - 15.  Solve -2*f + 9 = r*f + l, -l - 9 = -5*f for f.
2
Suppose 3*z - 14 = -5*h, 0 = -0*h + 2*h - 2.  Let x be 1/z + 1/(-3).  Let g be ((-190)/40)/(1/(-4)).  Solve -11 = 4*b + 5*n, -g = -x*b + 4*b - 3*n for b.
-4
Let s(p) = 2*p - 8.  Let i be s(6).  Let r = 6 - i. Let k be 10*3/6 + -1.  Solve r*w + 22 = 3*l, -k*w = l - 0*l + 16 for w.
-5
Let l = 60 + -35.  Suppose 4*t - 16 = -3*j, 0*j - l = -5*j - 5*t.  Solve 0 = -0*x + 3*x + 2*h - 6, 2*x = 3*h + j for x.
2
Let x = -8 + 20.  Suppose 4*k = 5*d - 25, 0*k - 5*k + d - 5 = 0.  Suppose k = n + 5*q + x, -32 = 4*n - 6*n + 4*q.  Solve -n = -3*o + 4, 5*v - 4*o = -36 for v.
-4
Let n be (4/8)/((-2)/(-20)).  Solve -2*i - i = 3*h - 15, -25 = -n*h for i.
0
Let t(o) = 4*o + 10 + 9*o + o**2 - 5*o + 1.  Let k be t(-7).  Solve k*l - 3 = -3*p - 2*p, p = l - 3 for l.
2
Suppose 2*f - 6 = -2*z - 0, 2*f + 4*z - 6 = 0.  Let v(b) = b**2 + 6*b - 10.  Let p be v(-9).  Suppose y + 0 = 1.  Solve 4*r + p = 3*t - r, f*t - r - y = 0 for t.
-1
Suppose -42 = -3*o - 0*o.  Suppose 2*j - 5*h = 25, 3 = 4*j + h - o. Suppose 4*a + 12 = 4*q, a = 5*q - a - 12.  Solve 2*s - b = -q*s - 3, -3*s + 2 = -j*b for s.
-1
Let v = 6 + -13.  Let j be (-2)/(-4) - v/2.  Suppose -j*c + 9 = -51.  Solve -10 = 2*m - 4*r, -3*m + 5 = r - c for m.
5
Let n(c) = c**3 + 4*c**2 - 2*c - 4.  Let f be n(-4).  Suppose 0 = 3*j - 6*j + 4*q + 3, 5*q = 0.  Solve -j - 5 = 2*w - 4*z, 0 = -3*w + z - f for w.
-1
Suppose -205 + 70 = 5*i.  Let l be i/(-5) + (-4)/10.  Suppose -4*g + 4*t = -4, -g = -3*g - l*t + 16.  Solve -2*h - 14 = 3*f, -g*f + 19 = -7*f - 3*h for f.
-4
Let o(v) = -v**2 + 5*v - 6.  Let p be o(6).  Let k = p - -5.  Let a(b) = -b**2 - 10*b - 2.  Let u be a(k).  Solve -f + 0*f = -3, 4*n = -f + u for n.
4
Suppose c + 2*c = -18.  Let j be c/(-9)*(0 + 9).  Solve g + 2 = 1, 5*g + j = p for p.
1
Let n be 0 - 2/(-1 - 0).  Suppose -4*w + 5 + 15 = 0.  Let d = w + -2.  Solve 0 = n*b - 10, 3*b + d = 2*v + 20 for v.
-1
Let p be 9 - (7 + -11)*2/4.  Solve 10*m + 27 = 5*m + 3*t, 3*m - p = -5*t for m.
-3
Suppose -5*f - 35 = -4*c, 0 = -c - 5*f + 4 - 14.  Let g be 0 + 0 + 30/c. Solve -3*n + g*n + 4*z = 19, 2*n = -z + 11 for n.
5
Let c be 2/(2*1/4).  Suppose 0*b - 5*b = 0.  Let v = b - -5.  Solve 0 = -4*y + c*m + 8, 2*y - 3*m + v = 12 for y.
-1
Let r be (2 + 6/(-3))/(2/1).  Solve -2*s + m + m = r, -8 = 3*s + 5*m for s.
-1
Let c be (12/7)/((-2)/(-14)).  Suppose -k - c = -3*k.  Let q be (2 - 2) + (k - 4).  Solve -1 = 5*y + q*z + 5, -3*y = -5*z + 16 for y.
-2
Let w = 9 - 5.  Suppose -3*q = w*r - 2*q - 2, 0 = 4*r - 4*q + 8.  Solve -5*d = -r*l - 2*l - 4, -5*d = l + 2 for d.
0
Let i be 1/4 + 6/(-24).  Suppose i = 3*n + 2*r - 41, -5*n + r + 79 = -r.  Solve 5*v + n = -q - 8, -3*v + 3 = -5*q for v.
-4
Let k = -43 - -73.  Let j = k - 20.  Solve 0 = -4*a - o - 0*o - j, 2*a - 4 = -5*o for a.
-3
Suppose 0 = -5*z - 0*t + 2*t + 23, -z - 2*t - 5 = 0.  Suppose -10*m = -6*m.  Solve -2*r - k = m, r + 4*k - 2*k - z = 0 for r.
-1
Let r(w) = -w**3 + 6*w**2 + 2*w.  Suppose 2*h + 1 = 13.  Let t be r(h).  Solve -3*m = 4*s - 24, t = 2*m + 4 for s.
3
Let c(x) = -x**3 + 5*x**2 + 6*x + 5.  Let l be c(6).  Solve 3*s + 2 - 1 = -u, 5*u = s - l for u.
-1
Suppose 0 = 2*g + 3 - 9.  Suppose -5*n - 15 = 5.  Let z = 16 + n. Solve g*l = 5*x - 27, -x - z - 5 = 5*l for x.
3
Let j be (-2)/(-8)*-4*(0 - 5).  Solve -3*p + 14 = j*r - 10, 0 = -2*p + 2*r for p.
3
Suppose -y - 7 = 5*q - 19, -2*y = 4*q - 12.  Let x be (-2)/8 - 1/(-4).  Let m be (1 - x)/(-1 + 2).  Solve -5*o - 10 = -q*a, 2*o + 2 = a - m for o.
-4
Let m(l) = l**3 + 7*l**2 + l - 27.  Let g be m(-6).  Let a(r) = 3*r - 1.  Let n be a(1).  Suppose 16 = n*p - 26.  Solve 4*h = -y + p + 4, -g*y + 35 = 4*h for h.
5
Let i be (8/2)/(-2)*1.  Let u be -5*(i - 48/(-15)).  Let r be 4/u*36/(-8).  Solve h + r*g - 8*g - 7 = 0, -h + 3*g = -5 for h.
2
Suppose 5*o - 19 = 56.  Solve -m + 2*t = -0*t + 7, 5*t - o = 5*m for m.
1
Suppose 0*y + 5*r = -2*y + 25, -17 = -2*y + 3*r.  Let l be ((-4)/10)/((-2)/y).  Solve 0 = -g - 2*g + 3*j + 27, 0 = l*g + j - 6 for g.
5
Suppose 0 = n - s - 16, 4*n + 3*s - 70 = s. Let g = n - 16.  Solve -3*i - 2*d - 2 = 0, 2*d - g - 1 = -5*i for i.
2
Suppose 3*b - 2 = 4*y + b, 3*b - 9 = 3*y.  Suppose 3*d - 111 = 3*f, 74 = 2*d - 6*f + y*f.  Solve 2*g + 3*x = 9, 0*g - d = 4*g - 5*x for g.
-3
Let v = 5 + -8.  Let r be (0 - v)/(-1)*-1.  Solve t - 15 = -5*q, 3*q + 0*q = -r*t + 21 for q.
2
Let u = 11 + -9.  Suppose -u*o = o - 4*i - 26, -o = i - 4.  Solve -3*n = -4*d - 18, 3*n - 6*n - 4*d - o = 0 for n.
2
Let i(r) = r + 14.  Let f be i(-10).  Suppose -f*a = -2*d + 8, -3*a - 4*d + 5 + 11 = 0.  Solve 4*t + 4 = -4*k, -3*t - 4*k - 1 - 2 = a for t.
-1
Suppose -9*m - m + 20 = 0.  Solve 4 = -w - 5*s - m, -5*w = -4*s + 1 for w.
-1
Let k(d) = -2*d - 10.  Let l be k(-6).  Suppose 0 = l*x - 3*x + 5.  Solve 0 = -v - 2*c - 10, x*v - 2*c = -14 for v.
-4
Let l be (2/5)/((-1)/(-25)).  Let y be (36/(-30))/((-4)/l).  Solve -y*t - 2 = -8, -1 = 5*j + 2*t for j.
-1
Let o = -14 - -15.  Let t be o + 64/4 - 2.  Solve 5 = -z, 5*z = -0*l + 5*l - t for l.
-2
Let o(z) be the second derivative of z**3/6 - z. Let p be o(-2).  Let b be -1*2*(1 + p).  Solve -b*m = l - 9, 5*l - 27 = -3*m + 2*m for l.
5
Let s = -4 + 5.  Let y be 2/(s - (1 + -1)).  Let a be ((-8)/6)/((-3)/9).  Solve y*n - 1 = 4*w + 9, n + a*w = -19 for n.
-3
Let a(b) = -b**2 - 14*b - 40.  Let u be a(-10).  Solve u = 4*i - 5*p + 10, -i + 6 = 4*p - 2 for i.
0
Suppose 4*y = -0*d + 2*d + 2, 2*y = 5*d - 11.  Let p(a) = 6*a - 4.  Let t be p(d).  Suppose -t - 1 = -3*f.  Solve -2*g = -f*r - 2, -r - 5*g + 5 = -2*r for r.
0
Let q be 69/9 + (-4)/6.  Suppose -4*o = -5*d + 14, -5*o - 2 = 5*d - q. Solve -4*x = x + d*v - 5, -v = -x + 8 for x.
3
Let h(m) = 3*m**2 + m + 1.  Let f be (0 + 3/(-6))*2.  Let o be h(f).  Suppose o*i - 25 = 2*i.  Solve -3*g - i = 2*g, -25 = -2*t + 3*g for t.
5
Let t = -9 + 9.  Solve -4*v + t*v - 8 = 4*g, 2*v + 7 = -3*g for g.
-3
Suppose -3*h + 9 = -9.  Suppose h = -5*o + 31.  Solve -3*c + 4*z = -7, 5*z - 2*z = -o*c - 27 for c.
-3
Let k(t) be the second derivative of t**4/3 - t**3/6 + t**2/2 + t. Let d be k(1).  Let r be 2/3*30/d. Solve -4*m + 12 = x, 3*m - m - 28 = r*x for x.
-4
Let l(s) be the third derivative of -s**6/120 - s**5/10 - 7*s**4/24 - 7*s**3/6 + 4*s**2.  Let u be l(-5).  Solve 5*z + 28 = -u*i, 2*i = -3 + 1 for z.
-5
Let b be 76/18 + 4/(-18).  Suppose y - 8 = b. Solve 24 = -a - 5*q, a - 3*a - q - y = 0 for a.
-4
Suppose 5 = 3*f - 2*f.  Solve 0 = f*i - 5*h - 5 - 0, -3*i - 5*h + 3 = 0 for i.
1
Suppose -16*h = -12*h - 12.  Solve 3*o - h*b + 4*b = 1, -b = -4*o + 13 for o.
2
Suppose -3*q = -4*q.  Let u be q + 0 - (-1 - -1).  Let b be (-2)/(-4)*u/2.  Solve 2*n - 4*n + 5*s = 21, b = -2*n - 5*s + 29 for n.
2
Let k = -35 - -40.  Solve -x - 2*x + 34 = k*r, -8 = -r - x for r.
5
Suppose -49*c = -47*c - 4.  Solve -5*f = -2*p + 6 - 3, 0 = -2*f - c for p.
-1
Suppose 0*k - 2*k = 0.  Solve 3*p + 2*r + k = 20, 0 = p - r for p.
4
Suppose -69 = -4*s - 9.  Solve -2*u - 3*y - 1 = -0, y + s = 3*u for u.
4
Suppose 28 = 5*y - v, 2*y - 5*v + 5 = -10*v.  Solve y*h - 30 = -5*k, 4*k - 17 = -3*h + 4 for k.
3
Suppose -3*r + 7*r - 40 = 0.  Let u be ((-12)/(-8))/(6/(-8)).  Let t be u/(-4) + 1/(-2).  Solve 4*h + 5*l + r - 31 = t, -4*h = -3*l - 13 for h.
4
Let l be (24/78)/(2/13).  Solve 3*t + 5 = -5*i, -3*i - t + l*t = -11 for i.
2
Let j = -3 + 6.  Suppose -2*h = -12 + 2.  Solve 3*i + 8 = -x, -h*x = -j*i + 2*i + 24 for x.
-5
Let v be ((-16)/28)/(8/(-28)).  Let h(s) = -s**2 + 3*s.  Let i be h(3).  Let k = i + v. Solve q + 9 = 4*j - 4*q, q = -k*j + 1 for j.
1
Let b(p) = -p**3 - 4*p**2 - 4*p.  Let o be ((-3)/(-6) - -1)*-2.  Let c be b(o).  Let n = -3 - -7.  Solve 6 = c*k + 2*l - 5, 1 = -k + n*l for k.
3
Let o be 1/(-1 + 2)*2.  Suppose 2 = o*p - 8.  Suppose 0 = p*z + 8 - 18.  Solve -5*k =