2 for z.
2
Let h be (72/42)/1*((-174)/(-12) - -3).  Let p be 0 + 3/(6/10).  Suppose 0 = 4*l - 3*g - 24, -3*g + 2*g + h = p*l.  Solve 0 = -l*q + q + 5 for q.
1
Let o(f) = 2*f**2 - 4*f + 2.  Let y be o(2).  Suppose 21 = 3*g + 3*v, g + 5*v - 5 = y*g.  Solve g*k + 15 = -5 for k.
-4
Let b(x) = -104*x + 1523.  Let h be b(14).  Solve h*w = 117*w - 150 for w.
3
Let v(y) = 14*y**2 - 2*y.  Let a be v(-1).  Suppose a + 9 = -5*p.  Let b be ((-55)/(-75)*6)/((-1)/p).  Solve -b = -5*i - 7 for i.
3
Let f(q) = -2*q**3 + q**2 + 5.  Let a(d) = d**2 + 7*d + 6.  Let h be a(-6).  Let s be f(h).  Solve -1 - s = 2*c for c.
-3
Let a(m) = -2*m - 9.  Let n be a(-6).  Let x(u) = u**2 + u. Let o be x(n).  Suppose 0 = -192*w + 193*w.  Solve w*z = -4*z - o for z.
-3
Suppose 3*j - 357 = -3*r, 15*r - 20*r = 2*j - 610.  Solve -76 = -8*x - r for x.
-6
Let y = -277 + 377.  Let c = y - 95.  Solve w = c*w for w.
0
Suppose 76 = 2*j + 3*d, 0 = 2*j - 21*d + 22*d - 80.  Solve -j*x = 282 - 241 for x.
-1
Let q be 32/(-24) + 3 - (-10)/(-6).  Suppose q = 6*c + 10*c.  Solve c = 8*g - 11 + 27 for g.
-2
Let p(i) = -4*i + 8.  Let k be p(-12).  Suppose -63*w + k*w + 14 = 0.  Solve a = w*a for a.
0
Let v be 5*((-6)/24 - 10/(-8)).  Let b(n) = 6*n - 48.  Let f(i) = 2*i - 16.  Let j(c) = 2*b(c) - 7*f(c).  Let t be j(8).  Solve 4*d - v*d + 2 = t for d.
2
Let t(x) = -123*x - 607.  Let i be t(-5).  Solve 0*g = 2*g - i*g for g.
0
Suppose 3*h = -2*i, -3*h + 2*h - 2 = 0.  Suppose i*w = 5*w - 0*w.  Let f be (-2 + 2)/((-9)/3) + w. Solve f = -4*g - 0*g - 20 for g.
-5
Let h(d) = 6*d**2 - 7*d**2 - d**2 - 4 - 3*d**2 - 4*d.  Let p be h(-3).  Let c = p + 49.  Solve t = 4*t - c for t.
4
Let u(v) = -18*v - 551.  Let l be u(-32).  Solve -l - 5 = -6*i for i.
5
Suppose -5*a + 80 = 2*q, 5*a + 36 = -5*q + 101.  Solve -16*v - 4 = -a*v for v.
2
Suppose 0 = -3*x - 5*l + 57, -3*x - l = -x - 24.  Solve 8*j + x + 47 = 0 for j.
-7
Suppose 5*m - 20 = -y, -4*m + 16 = 96*y - 90*y.  Solve -m + 16 = 6*d for d.
2
Let u(s) = s**3 + 13*s**2 + s + 13.  Let z be (-2)/((-304)/52 + 6).  Let q be u(z).  Solve -6 = -2*l - q for l.
3
Suppose -5*x - 204 = -5*j - 2*x, -2*j - x = -75.  Suppose j*w = 41*w - 42.  Solve -6*v = v - w for v.
3
Let k be 66/(10 - -1) - (-275 + -4).  Solve 0 = -22*q + k - 219 for q.
3
Let s be (-25 - 8) + (-1 - -4).  Let x be (-24)/(-18)*4/((-16)/s).  Let u = 14 - x. Solve 2*o + 10 = u*o for o.
5
Let o(m) = m**3 - 2*m**2 - 4*m + 4.  Let g be o(3).  Let x(c) = 9*c + 229.  Let p be x(-26).  Let j(l) = -l**2 - 12*l - 32.  Let t be j(p).  Solve t*i - g = 5 for i.
2
Let q be 5 + 204 + 3 + -2.  Let r be 120/q + 0 + 17/7.  Solve -r*x = -4*x - 3 for x.
-3
Suppose -y + 4*y - 5*u - 37 = 0, -3*y + 3*u = -27.  Suppose 3*m - y*k - 51 = -k, 79 = 5*m + k. Solve -8*p + 4*p - m = 0 for p.
-4
Let t = 54 - 52.  Let g be t/(-8) - 441/(-36).  Suppose 5*r - 4 = 3*r.  Solve j = -r*j - g for j.
-4
Let t(n) = -4*n - 12.  Let z be t(-4).  Suppose -z*r = -2*i - 2*i + 28, -19 = -3*i + 2*r.  Suppose 75 = 7*f - 3*f - i*q, 0 = 2*q - 10.  Solve -u = -6*u - f for u.
-5
Let x be 184/(-30) - (-1 - 5) - (-4692)/90.  Solve 29 + x = -27*l for l.
-3
Suppose 97*q - 732 = -150.  Solve -q*d + 1 = 13 for d.
-2
Let s(w) = 2*w**3 + 22*w**2 - 2*w - 12.  Let x(m) = 4*m + 65.  Let z be x(-19).  Let k be s(z).  Suppose -13*q = -8*q - k. Solve q*b = -2*b + 4 for b.
1
Let l(v) = 12*v**2 - v - 8.  Let d be l(-2).  Suppose 0 = 2*a - 3*p - 54, 0 = -2*a - p - 2*p + d. Suppose 18*c = a*c - 6.  Solve -c = -2*k + 3 for k.
2
Suppose -m - 72*g + 71*g + 34 = 0, -m + 2*g + 28 = 0.  Solve -m = 11*q + 21*q for q.
-1
Let w(y) = -3*y**2 - 37*y + 460.  Let c be w(-20).  Solve c = 30*n + 23*n - 265 for n.
5
Let u be (-1 - -6)*8/(-10).  Let y be u/(-3)*(-1 + 20/8).  Solve y = -b + 3 for b.
1
Let p be (63/(-84))/(8/36 - (-3891)/(-17388)).  Solve 0 = 513*k - p*k - 60 for k.
2
Let s be 2 - (0/(-1) - 9).  Let u(n) = 138*n - 127*n - 43 - s. Let b be u(5).  Solve -b = -x + 3 for x.
4
Suppose -13*c + 0*c + 3185 = 0.  Suppose 5*h = -30*h + c. Solve 11*o + 20 = h*o for o.
-5
Suppose 0 = 16*a + 211 + 269.  Let t be (1/(-1))/(6/a).  Solve -t*k + 7 = -3 for k.
2
Suppose 3 = -2*z + 11.  Suppose -1017 - 849 = -552*i - 210.  Solve i*v - z - 2 = 0 for v.
2
Let x(d) = d**2 + 4*d - 8.  Let z be x(-6).  Let i be (2/z)/(1/20).  Suppose 0 = 2*c + 3*l + 1, -c = -l - 54 + 37.  Solve -i*y - c = -12*y for y.
5
Suppose -a = -10*g + 11*g - 27, 4*g = 4*a + 60.  Solve -25*i + 24 = -g*i for i.
6
Suppose -218*j + 10140 = -61*j - 5246.  Solve -16*d = -j + 82 for d.
1
Let x(b) = 36*b + 309.  Let h(a) = -12*a - 101.  Let w(k) = 11*h(k) + 4*x(k).  Let i be w(-10).  Solve -7 - i = 3*u for u.
-4
Suppose -50 = 47*t - 49*t.  Suppose 3*l + t = -2*l, 2*i - 4*l = 28.  Solve -i*f = -2 + 14 for f.
-3
Suppose -68 = g - 3*g.  Let b = -11 + g. Let p = -15 + b. Solve o = 3*o - p for o.
4
Let y(i) = 78*i + 470.  Let n be y(-6).  Solve -759*v + 760*v = n for v.
2
Let p be 4/(-2) + (-84 - -412).  Let x = 328 - p. Solve -15 = -x*h - 3*h for h.
3
Let j(z) = -z**2 - 4*z + 2.  Suppose g + 0*g = 4*l + 13, 4*l = -4*g - 8.  Let f be j(l).  Solve -4*y + f = -3 for y.
2
Let k(j) = 5*j**2 + 16*j + 3.  Let g be k(-3).  Suppose c + 11 = 5*t + 2*c, 0 = -3*c + 3.  Suppose 2*b + 4*y - 9 = -21, t*b - 5*y - 24 = g. Solve -u - u = b for u.
-1
Suppose -q - 3304 = 7*q.  Let f = -413 - q. Solve f*b - 4 = -b for b.
4
Suppose -54 = 8*h - 94.  Suppose 11 = h*w - 2*m, 3*w = 4*w - 2*m + 1.  Solve -w = u - 0 for u.
-3
Let a = 4498 + -4410.  Solve -93*k + a*k = -30 for k.
6
Let f(b) = -3*b**2 + 39*b + 3.  Let l = -124 - -137.  Let v be f(l).  Solve v = -3*k - 3 for k.
-2
Let f = -61 - -120.  Suppose -f*a + 64*a - 25 = 0.  Solve 7*l = a*l - 2 for l.
-1
Let g(m) = -3 - 18*m**2 + 9*m**2 - m**3 + 8*m**2.  Let a be -5 + 10/(5/1).  Let u be g(a).  Solve 6*s + u = 3*s for s.
-5
Suppose -28*y + 414 = 34*y - 16*y.  Solve -y = 2*f - 1 for f.
-4
Let f = -50 + 252.  Let d = -197 + f. Solve d*h + 4 + 11 = 0 for h.
-3
Suppose -3*w + 3*i + 2 = -4, -w = 3*i - 14.  Suppose -3*j - 5*f = -j - 16, 23 = w*j + 4*f.  Suppose 3*m - 34 = -2*m - j*h, 5*h - 35 = -4*m.  Solve -m*z = -z for z.
0
Let k be -6 + 7 + -138 + -2.  Let b = k - -144.  Solve j - 12 = b*j for j.
-3
Let f be (-336)/30*-1*15/6.  Let g be f + -8 + 6 + -8.  Solve 2*l + 7*l = g for l.
2
Suppose -5*y = -38*l + 36*l + 3010, -5*l - 4*y = -7426.  Solve 4*g - 1510 = -l for g.
5
Let y be 23 - ((7 - 0) + -12).  Let i be 4/14 - (1 + (-1000)/y).  Solve i = -4*o - 3*o for o.
-5
Let x(l) = -18*l - 168.  Let y be x(-10).  Solve -36 = -y*r + 36 for r.
6
Let n = 6773 - 6722.  Solve -n = 5*g - 46 for g.
-1
Suppose 5 = -i + 14.  Suppose -70 + 80 = 5*x.  Solve -x*s = s - i for s.
3
Suppose -2*y + 35 = 5*z, 3*y + 3*z + 126 = 201.  Solve 2*i + y = -4*i for i.
-5
Suppose -3*x - 234 = -3*b, 114 = 2*b - x + 6*x.  Solve 8*z + 10*z = -b for z.
-4
Suppose -14*w + 276 = 9*w.  Suppose -2*f + 0 = 8.  Let n be -1 + f + w + -3 + 2.  Solve 0*l + n = -3*l for l.
-2
Suppose -3*q - 3 = -0.  Let m(j) = -5*j**3 - 3*j**2 - 2*j + 4.  Let w(n) = -n**3 - n + 1.  Let d(t) = q*m(t) + 6*w(t).  Let v be d(1).  Solve v*r + 3 = -r for r.
-3
Suppose h - 2*h + 3*p = -17, 0 = 2*p + 6.  Solve -19*c - 46 = -h for c.
-2
Let p(z) = -z**3 - 5*z**2 + 1228*z + 7379.  Let m be p(-6).  Solve -m*s + 8*s + 117 = 0 for s.
3
Suppose 21*x - 1558 = 2*x.  Suppose x = 11*q + 16.  Solve -3*b = 21 - q for b.
-5
Let a(o) be the first derivative of -2*o**2 + 27*o - 7.  Let t be a(4).  Let k(j) = -j**3 + 12*j**2 - 12*j + 13.  Let m be k(t).  Solve 0 = -m*v - 0*v for v.
0
Let g(z) = -z**3 - 12*z**2 + 27*z - 7.  Let n be g(-14).  Suppose 7*d - 8 = 20.  Let r be (-42)/(-9) - d - n/(-3).  Solve 0 = -r*v - 0*v + 15 for v.
5
Suppose -n = -0*n - 9.  Suppose 13 + 9 = -3*c + 5*t, -5*c - 5*t - 50 = 0.  Let r be (6/c*-3)/(0 - -2).  Solve -n = -2*f + r for f.
5
Suppose 0 = -2*x + l + 68, 7*x + 5*l - 34 = 6*x.  Solve -15*d + 41 = -x for d.
5
Let p(t) = 30*t - 4495.  Let v be p(151).  Solve -v = -63*i + 58*i for i.
7
Suppose -12*l + 40*l - 960 = -4*l.  Solve l*o - 73 = 47 for o.
4
Suppose -3*b - 25 = -22.  Let q be (10 - 108/12)/(b/(-25)).  Solve q = -8*l + 3*l for l.
-5
Let l be 18/(15/5) + -1*2.  Suppose -i + 3*p + 9 = 2*i, 2*i - l*p = 0.  Solve o - i = 4*o for o.
-2
Let j(q) be the first derivative of q**3/3 - 9*q**2 + 19*q + 3.  Suppose 2 = 2*v, -3*v - 99 + 17 = -5*a.  Let h be j(a).  Solve -2*d - h = -0*d for d.
-1
Let r(y) = -2*y**3 - 2*y**2 - 4*y - 3.  Suppose 3*a - 3*d 