-a*z for z.
2
Let z = 940 + -940.  Solve -21*a + 23*a + 6 = z for a.
-3
Suppose 9*o - 359 + 251 = 0.  Solve o*l = 8*l - 8 for l.
-2
Let l(r) = r**3 + 7*r**2 + 3*r - 4.  Let v be l(-5).  Let a = v - 26.  Suppose a*z - 5*m + 10 = 0, 6*z - z - 2 = -m.  Solve -g = 5 - z for g.
-5
Let l be 39/15 - 8/(-20).  Suppose 0 = 6*h - l*h - 18.  Solve h = -5*s - 9 for s.
-3
Let f be -2*2/(-16) - 22/88.  Suppose f = -u - 10 + 20.  Solve -4*o = -9*o - u for o.
-2
Let g(v) = 7*v + 8.  Let h be g(-3).  Let p = 28 + h. Solve -m + p = 4*m for m.
3
Suppose 6*b = -2*b + 6*b.  Solve 0 = 6*s - b*s + 24 for s.
-4
Let d(j) = -2*j + 20.  Let g(z) = -3*z + 19.  Let i(n) = 6*d(n) - 5*g(n).  Let m be i(-5).  Solve -q = q + m for q.
-5
Let v be (-9)/(-21) + -22*(-3)/42.  Solve 28 = -v*o + 9*o for o.
4
Let z(m) = m**2 + 11*m - 22.  Let h be z(-12).  Let k be 1*(-5)/10*h.  Suppose -5*a + 2*t + 2 = -6, -16 = k*a + 4*t.  Solve j + 1 + 4 = a for j.
-5
Let x be (-3 + 4)/(1/68 + 0).  Let i = x + -68.  Solve i + 12 = -4*w for w.
-3
Let d = 118 + -168.  Let u = d - -51.  Solve -4 = i + u for i.
-5
Suppose 5*w - y - 53 = 0, -126*w = -127*w - 4*y + 19.  Solve 0 = 12*p - w*p + 2 for p.
-2
Suppose -10*o + 8*o + 24 = 0.  Let y = o - 9.  Suppose y*z + 12 = 21.  Solve -z*a = 3 + 9 for a.
-4
Let v(b) = -7*b**3 + 13*b**2 + 5*b + 3.  Let j(p) = -3*p**3 + 6*p**2 + 3*p + 2.  Let c(u) = 5*j(u) - 2*v(u).  Let y be c(5).  Solve -3*w + y*w = -2 for w.
-2
Let v be (1 + -4)/((-21)/14).  Suppose 5*f + 2*b + 16 = 0, 0*f - f - 5 = b. Let i be f/(-5) - (-14)/(-35).  Solve 3*t - v*t = i for t.
0
Suppose 3*m + 5*t = 51 - 20, -2 = 4*m - 2*t.  Suppose -3*s - 2*s + 31 = m*z, 5*s = 5*z + 10.  Solve -z*x - x = 0 for x.
0
Let m = -76 - -81.  Solve -m*h + 4 = -3*h for h.
2
Suppose -4*m + 2*m + 8 = 0.  Let k be 7*4/m*2.  Let t be 4/k - 60/(-35).  Solve -2*g = -t + 8 for g.
-3
Let c = -189 - -192.  Solve -c*d - 27 = -21 for d.
-2
Suppose -5*u = -11*u - 360.  Let p = u - -62.  Let g(y) = -y**2 - 7*y + 2.  Let n be g(-6).  Solve p*d + n = 6*d for d.
2
Let g(v) = 4*v**2 + 2*v + 3.  Let w be g(-2).  Suppose 8*n - 3*n - 11 = 3*m, -3*n = m - w. Suppose -d + 35 = 5*b - 0*b, m*b = -d + 23.  Solve 3*j - 3 = b for j.
3
Suppose -8*a + 42 = 6*a.  Solve a*u - u + 8 = 0 for u.
-4
Suppose -4*r = 263 - 263.  Solve r*w = 3*w for w.
0
Suppose -5*t = -3*u - 6 + 13, -3*u = -t + 1.  Let y(r) = 33*r + 1 - 11*r - 15*r - 8*r.  Let x be y(u).  Solve -x = 3*s + 7 for s.
-3
Let r(t) be the third derivative of -t**6/60 + t**5/60 + t**4/12 + t**3/6 + 4*t**2.  Let a = 0 + -1.  Let b be r(a).  Solve 2*w - 12 = -b for w.
5
Suppose k = -4*o + 3, 0 = -2*k + 3*k + 3*o - 7.  Solve k*p - 14 = 12*p for p.
2
Suppose 709*c - 16 = 705*c.  Solve -8 = c*j - 8*j for j.
2
Suppose 2*p + 3*p = -n + 51, 2*n + p - 57 = 0.  Solve 8 = 6*v + n for v.
-3
Let f be 7*(1*4 - (-100)/(-140)).  Solve -3*y + f - 35 = 0 for y.
-4
Suppose -h - 2*a = -8, -5*h + 12 = -2*h + 3*a.  Solve h = 4*r - 25 + 5 for r.
5
Let j(o) = -7*o**3 - 31*o**2 - 39*o + 47.  Let a(s) = -3*s**3 - 16*s**2 - 19*s + 23.  Let v(l) = 5*a(l) - 2*j(l).  Let d be v(-17).  Solve 1 = 5*q + d for q.
-4
Suppose 0 = -5*x - 36 + 231.  Let b = x + -55.  Let m = -16 - b. Solve -3*g = -12 - m for g.
4
Let y be (2/5)/(2/30).  Solve 0 = y*v - 7*v - 5 for v.
-5
Let c be (-3)/21 + (-6882)/434.  Let a(z) = 11*z + 1.  Let b be a(1).  Let u be (-1)/(1 + c/b).  Solve 0 = u*v + v for v.
0
Let q(k) be the second derivative of -k**5/20 + 2*k**4/3 + 7*k**3/2 - 4*k**2 - 16*k.  Let a be q(10).  Solve 0 = -3*t + a - 14 for t.
-4
Let v be (-6)/(-5*9/30).  Solve 6*z = -v*z + 30 for z.
3
Suppose 2*s - 20 + 18 = 0.  Let o be ((-19)/38)/(s/(-20)).  Solve -q - q - o = 0 for q.
-5
Let t = 24 + -32.  Let b(i) = 2*i - 5.  Let p be b(t).  Let o = -18 - p. Solve 2 = 4*h - o*h for h.
2
Let t(x) = -x**3 + 10*x**2 + 24*x.  Let u be t(12).  Solve -3*o + 4*o = u for o.
0
Suppose 27*f + 160 = 457.  Solve f = -3*t - 4 for t.
-5
Suppose 7*y + 6 = 10*y.  Let a be (3 - 1)*(3/(-2) + y).  Solve 3 = 4*g - a for g.
1
Let r(p) = -5*p + 4.  Let o be r(2).  Let x(a) = 47*a - 4.  Let v be x(o).  Let s be v/(-65) - 4/10.  Solve -10 = s*f + 10 for f.
-5
Suppose -3 - 22 = -x.  Solve 6*z - x + 1 = 0 for z.
4
Suppose 12 = 5*r - 8.  Suppose m - r = x, -4 - 4 = -2*m - x. Let l = m + -3.  Solve 2 = o + l for o.
1
Let u be (1 - -1)/(18/27).  Let q be (-144)/(-4)*u/9.  Let y(x) = x**2 + 3*x + 2.  Let w be y(-3).  Solve q = -5*g + w for g.
-2
Suppose 84*p - 90*p + 690 = 0.  Solve 117 - p = l for l.
2
Let t be (-106)/(-9) + (-2)/(-9).  Suppose l - 4*g = -t, 0 = -g - g. Let j be (6/4)/((-6)/l).  Solve -2*q = j*q for q.
0
Suppose -2*q = -2 - 16.  Let s(v) = 124*v**3 - 8*v**2 - 8*v - 4 - 5 - 123*v**3 + 2.  Let y be s(q).  Solve -y*i = i for i.
0
Let n(s) = -s**2 + 14*s + 23.  Let t be n(15).  Let g be ((-2)/t)/(5 - (-84)/(-16)).  Suppose 15*y = 18*y.  Solve y = 4*v - g - 19 for v.
5
Let n = -83 - -99.  Suppose -b = 5*h + n, 0 = 5*h + 8 + 12.  Solve b = -0*d - 2*d for d.
-2
Suppose 0 = 6*v - 8*v.  Solve 5*d - 7*d = v for d.
0
Suppose -5*i - 38 = -68.  Solve 3*k - i + 3 = 0 for k.
1
Suppose 0 = -21*v + 99 + 27.  Suppose v = 7*x - 5*x.  Solve -m - x*m + 4 = 0 for m.
1
Let b = 46 - 40.  Solve -23*d - b = 86 for d.
-4
Let g = -142 - -164.  Solve 0 = -27*j + g*j - 25 for j.
-5
Let q = 20 + -11.  Suppose -q*z + 8*z = z. Solve -k + z*k = -4 for k.
4
Suppose -14*p + 55 = -13*p.  Let t = 63 - p. Solve t = -0*o + 2*o for o.
4
Let q be (-3)/(-9 - 0) - 8/(-3).  Suppose 11 = q*h - 2*k, h - 2*h + 8 = -5*k.  Let s = 6 - 1.  Solve 0 = h*n - s - 1 for n.
2
Let p(m) = m**2 + 8*m - 11.  Let s be p(-10).  Let c = 7 + -3.  Suppose c*q = q. Solve q = d + 2*d - s for d.
3
Let p be (-22)/(-6) - 14/(-42).  Suppose -p*d + 63 - 18 = v, -3*d + 15 = 0.  Solve -2*x - 3*x - v = 0 for x.
-5
Let s = 1205 + -1200.  Solve -s = -9*u + 22 for u.
3
Suppose -b - 2 = 5*r, 2*b + 12 - 8 = r. Solve -8*q - 63 + 47 = r for q.
-2
Suppose 3*t = 3*q - 0*t - 18, 4*t = 2*q - 18.  Solve 8 = -q*i - i for i.
-2
Suppose 2664*k - 2649*k = 510.  Solve k = -7*o + 48 for o.
2
Let n(m) = -2 + m + 4*m + 3*m - 2*m - m**2.  Let v be n(5).  Solve v*z = -2*z + 25 for z.
5
Suppose 0 = -4*i - 4, 6 = 2*c - i - 83.  Suppose t + 4*d = 6*t - 34, d = -4*t + c. Let b = 14 - t. Solve -n + b = 1 for n.
3
Suppose -r = 3*y - 8, 4*r + y - 4 - 6 = 0.  Let d(z) = 43*z - 299.  Let p be d(7).  Suppose m - 5 = -2*w - r, -26 = -4*w + p*m.  Solve 3*i = 4*i + w for i.
-4
Suppose 0 = 4*q - 0*q - 136.  Let y = q + -32.  Suppose y*r + 18 = 4*r.  Solve j = -2*j - r for j.
-3
Suppose 69*g - 70*g = -49.  Solve -19 = -6*l - g for l.
-5
Let c(l) = 6*l + 94.  Let g be c(-15).  Let t(r) = 3*r - 4.  Let m(k) = -k + 1.  Let d(q) = 8*m(q) + 3*t(q).  Let o be d(g).  Solve o = -z - 2 - 3 for z.
-5
Suppose 4*q = 2*p + 24, 17 = -3*p - 3*q - 1.  Let z = 6 - p. Solve 0 = 5*r - z + 39 for r.
-5
Suppose 0 = 14*l + 4*l - 36.  Solve -l*d - 17 = -9 for d.
-4
Let i(t) be the third derivative of -t**5/20 + t**4/24 - 21*t**2.  Let w be i(0).  Solve -c - c = w for c.
0
Let l(t) = t + 1.  Let j be l(2).  Let x be j/(2/12*2).  Let c be 1 - 16/(-80)*5.  Solve x = 5*g - c*g for g.
3
Let o(u) = 10*u**2 + 5*u - 5.  Let k be o(-1).  Let i(g) = -g**2 + 7*g + 4.  Let n be i(7).  Solve k = n*z - 0*z for z.
0
Suppose 124 = 4*s + 4*m, -4*m + 3 = -9.  Solve s*z = 27*z + 2 for z.
2
Let n be (-4)/(-8) - (-3)/(-6).  Suppose 4*c + 4*c - 24 = 0.  Solve c*k + 5 + 4 = n for k.
-3
Suppose 24 = -0*n + 3*n.  Suppose -n = -2*x, 69 = 3*a + 4*x + 26.  Solve 1 = -5*h - a for h.
-2
Suppose -3*z = w - 26, 5*z + 9*w - 70 = 14*w.  Solve 3*h + z*h = -26 for h.
-2
Let k = 248 - 243.  Solve 3*t + 10 + k = 0 for t.
-5
Let n = 238 - 235.  Solve 0 = -4*g - n - 1 for g.
-1
Let b = 2197 + -2108.  Solve 0 = -92*c + b*c - 6 for c.
-2
Suppose 3*n - n = 0.  Let b(m) = m**2 + 2.  Let t be b(2).  Suppose 3*u = -6*y + 2*y + 21, -y - u + t = 0.  Solve g - y*g = n for g.
0
Let u(b) = -b**2 + 4*b + 1.  Let k be u(3).  Let j be (25 + -1)/k + -4 + 2.  Solve -10 = j*t - 2*t for t.
-5
Let m = -6 - -28.  Suppose -19*n + 188 = 28*n.  Solve m = n*i + 6 for i.
4
Suppose 26*y = 32*y.  Solve -v + y*v = -6*v for v.
0
Let x(w) = -w**2 + 10*w + 8.  Let u be x(7).  Let q = u - 22.  Solve 0 = -5*m + 3 + q for m.
2
Suppose -3*l - 3*n + 22 = -7*n, -5*l = 5*n - 60.  Solve l*x = 33*x + 23 for x.
-1
Let o = 43 - 31.  Suppose -2*g - 2 = -o.  Let s(x) = x**3 + 6*x**2 - 2*x - 6.  Let k be s(-3).  Solve 2 = g*q + k for q.
-5
Let i be 1 