 - (12/o + -4).  Solve -5*m - 1 = 5*p + 19, -a*m - 15 = 0 for p.
-1
Suppose -8*m = -0*m - 32.  Solve 0*k = -5*t - m*k, 2*t = 3*k for t.
0
Let p be 1 + (4/(-8) + 1)*-2.  Let k(d) = -d**2 + 6*d - 2.  Let n be k(4).  Let g = 26 + -14.  Solve -y + m = -n, -y - 3*y + m + g = p for y.
2
Let d(s) = 2*s + 14.  Let f be d(-6).  Let k be (3/(-9))/(1/(-6)).  Solve 2*a + k*a - 3 = -3*q, -q - f*a + 1 = 0 for q.
1
Let k = -9 + 10.  Let q = 9 - 4.  Solve -j - 1 = c, -6*c - q*j - k = -5*c for c.
-1
Suppose 0*g + 3*g = 9.  Let d = 76 + -52.  Solve -3*t - 10 = -y + 2*t, 3*t = -g*y - d for y.
-5
Suppose -2 - 6 = -2*n.  Solve -2*b + m - 7 = 0, -n*m - 1 = 3*b + 4 for b.
-3
Let z = -52 - -36.  Let u be (12/z)/(2/(-8)).  Let v = u - 3.  Solve v = -r - 1, 2 - 6 = -2*h - 2*r for h.
3
Let m(g) = 7*g**3 + g. Let w = 4 - 3.  Let a be (w - 2)*(-1)/1.  Let l be m(a).  Solve 2*p = -x + l, 5*x + 3*p + 0*p = 12 for x.
0
Let c = -3 - -3.  Suppose -2*v + 4*b = -0*b - 28, v + b + 1 = c. Solve 3*g - 6*g + 29 = -v*y, -2*g - 5*y - 19 = 0 for g.
3
Suppose -t - 7*v + 3*v - 7 = 0, 5*t - 3*v + 104 = 0.  Let o = t - -20.  Solve 5*q + 0*d - o = -d, 0 = -4*q + 5*d + 24 for q.
1
Suppose 0 = -17*w + 24*w - 28.  Solve -2*n = -4*q + 24 - 2, w*q - 17 = -3*n for n.
-1
Let a(s) = -s - 2.  Let m be a(0).  Let b = 5 + m. Solve -5*d + 0*r + 24 = -2*r, -b*r = 2*d - 2 for d.
4
Let u(v) = 5*v**2 + 7*v + 7.  Let j be u(-1).  Solve -9 = 4*i - m, 17 = -3*i - j*m - 7 for i.
-3
Let v(j) = j**2 - 4*j - 4.  Let h be v(5).  Suppose 0 = -0*l + 2*l.  Suppose l = -0*g - 2*g + 20.  Solve 5*y = 5*w - g, 0 = -2*w + 5*y + h for w.
3
Let a = -78 - -83.  Solve 2*o = 2*p, 0*o + 2*o = a*p + 6 for o.
-2
Let b(y) = -y - 19.  Let k be b(-24).  Solve -3*m - 16 = -q, 5*m + k*q - 13 + 33 = 0 for m.
-5
Suppose 0*d - 6 = -3*d.  Suppose 4*u + 2 = -2*j, d*u = 5*j - 3*j - 16.  Let k be (u/(-4))/((-2)/(-8)).  Solve -4*z = -3*x + 20, 3*x - k - 7 = -z for z.
-2
Let m(h) = h**2 + 3.  Let x be m(0).  Let j(l) = l + 9.  Let q be j(-7).  Suppose -3*v = -5*n - 5 + q, -2*n - v = -1.  Solve n*w + 14 = -5*a + w, a - x*w = 0 for a.
-3
Let s(m) = m**3 + 19*m**2 + 16*m - 22.  Let x be s(-18).  Solve 4*q + 0*z + 2*z = 0, 0 = -3*q - 5*z + x for q.
-2
Let u be 4 - (22/(-18) - 4/(-18)).  Solve -4*i = -8, 0 = -4*b + 2*b - u*i + 14 for b.
2
Let v(r) = -r**2 - 2*r + 6.  Let h be v(0).  Let g(i) = 2*i**2 - 10*i - 3.  Let x be g(h).  Solve -f - x = -3*a, -5*f = 4*a + 5 + 2 for a.
2
Let h = -6 - -9.  Suppose -h*t + 9 + 0 = 0.  Solve 4*v + 5*k = 32, 8*v - 3*v = t*k + 3 for v.
3
Let a = -146 - -150.  Let k be ((-6)/15)/((-1)/5).  Solve -2*n = -3*r + k, -2*r - a*n = -r - 10 for r.
2
Let i(l) = 2*l + 7.  Let c be i(-3).  Solve -p - c = -4*v - 2*p, 15 = 3*v - 4*p for v.
1
Suppose -4*f + f = -4*t - 17, 14 = 2*f - 4*t.  Let j(h) = h**2 - 2*h - 1.  Let i be j(-1).  Solve 10 = 6*q - 4*q - i*p, -p + 15 = f*q for q.
5
Let s(n) = n**2 + 3*n - 8.  Let u be s(-6).  Suppose 3*g + 4*h = -7, -2*g - 4*h - u = -0*g.  Solve 0 = -3*j - 15, 0*v + 4*j + 32 = -g*v for v.
-4
Suppose -3*d - 15 = -0*o + 3*o, 14 = -2*d + 2*o.  Suppose 109*y = 112*y + 27.  Let j be -1 + 2/(d/y).  Solve -u - 4*x = 6 + j, -6 = -u + 3*x for u.
0
Suppose 14*q = 25*q.  Solve q*o + 18 = -2*y + 5*o, 3*o - 6 = 0 for y.
-4
Let z(h) = -7*h**2 - 19*h - 13.  Let k(v) = 3*v**2 + 9*v + 6.  Let t(x) = -13*k(x) - 6*z(x).  Let n be t(2).  Solve 2*m - 4*p = -0*p + 6, -n = -2*m + p for m.
3
Suppose q = 5, -6*f + 2*f - 49 = -q.  Let t = f - -8.  Let s be 2/(-1) - (t + -1).  Solve c - s*c - 7 = 3*l, 5*c = -3*l + 1 for c.
2
Let y = 1 + -1.  Let c = 7 + 0.  Suppose -3*u - 56 = -c*u.  Solve -a + 10 = 2*n, y*a + u = a + 3*n for a.
2
Suppose -4*k - 4*a + 18 = -2*k, -k - 6 = -a.  Let d = 3 + k. Suppose 0 = -4*p + 2*p.  Solve -2*m + 4*z - 14 = p, 0 = 3*m - d*z - 3 + 12 for m.
-1
Let l = -5 - -33.  Suppose 0*p = -3*p + k + 18, l = 5*p - k. Solve 3*j + 2*q + 33 = 8*j, -q = -p*j + 29 for j.
5
Let d(r) = -r**3 + 4*r**2 + 6*r - 2.  Suppose 0 = 5*m - 14 - 11.  Let u be d(m).  Solve 14 = u*g + 4*s, -3*s = -5*g - 7*s + 18 for g.
2
Let h = 9 - 7.  Suppose -h*b - 3*s = -1, -5*s = 5*b - 17 + 2.  Suppose b = -2*d, -3*d = -2*t - 2*t + 24.  Solve 0 = -q - t*x + 17 + 2, -2*x = -10 for q.
4
Suppose 3*b + 2 = 4*b.  Solve -4*u + 2 = 2*r - 2*u, -b*u = r + 1 for r.
3
Let n(w) = 0 - 6 + 4*w + 2 + 1.  Let c be n(4).  Let i = 37 - c. Solve 4*l + 4*x + x - 3 = 0, -4*l - i = -4*x for l.
-3
Suppose 3*n - 6 = -3*t - 0*n, -2*n = 2.  Suppose -u = -5*c - 29, 0 = t*u + 4*c - 1 + 9.  Solve 1 = -2*p + 3*v + 4, 5*v + 3 = u*p for p.
-3
Let c = -96 + 101.  Solve -j + c*a = -4, -4*j + 5*j - 4 = -3*a for j.
4
Let d(b) = -b**2 + 8*b + 5.  Suppose -40 = -5*w - 2*h, 3*w + 2 = -4*h + 26.  Let s be d(w).  Let j = -1 + s. Solve -z - 16 = -4*q + 3*z, 0 = z + j for q.
0
Let l be (-5 - -2)/(1 - 2).  Suppose -4*c + w + 29 = 0, 29 = 2*c - 5*w + 10.  Suppose 3 = 5*j - c. Solve 4*k = j*m + 12, -l*k + 2*k + 12 = 4*m for k.
4
Suppose -17 = -5*v + 3.  Suppose -2*f + v = 0, 2*o = -o + f + 73.  Solve -o = 2*j - 5*n, -2*j + 6*j - 5*n = -25 for j.
0
Suppose -37*l + 35*l = -4.  Solve 5*g - 20 = 4*k, 0*g + 10 = -2*k - l*g for k.
-5
Let x be (-4 + 3)/(2 - 1).  Let i = 3 - x. Suppose -i*u - 10 = 2*y, 4*y - y - 12 = 3*u.  Solve 3*r - 5*c = y, 2*r - c - 5 = -2*c for r.
2
Let n = 63 + -58.  Suppose -3*m + 0 = 4*u + 1, 3*m = -9.  Solve -3*v + u*s = -25, -2*v + 3*s - n*s = 0 for v.
5
Let g be (-32)/(-14) + 6/(-21).  Suppose 0 = -g*m + m + 4.  Solve 3*v + 0*v - 1 = -2*y, 0 = m*y - 2*v + 22 for y.
-4
Let q(s) = 5*s + 3.  Let r be q(0).  Solve 2 = r*f + 5, 0 = i - 5*f - 10 for i.
5
Suppose 8*p = 6*p.  Suppose p = -5*r + 15.  Solve -5*y + 3*c = 24, r*c = y - 0*c + 12 for y.
-3
Let s be ((-240)/25)/(2/10).  Let g be 3/(-1) - s/6.  Solve k + c = 2*k, g*k + 5*c + 10 = 0 for k.
-1
Let z(m) = -m**2 - 9*m - 8.  Let d be z(-7).  Let g be (-4)/(-6) - (-20)/d.  Solve -8 = 4*b + l, -g*b + 8 = -l - 2*l for b.
-1
Let z(l) be the first derivative of l**2/2 - 5*l - 1.  Let h be z(7).  Let a be (-2)/3*(2 - 8).  Solve a*o + 5 = 3*v, 2*v + h*o = 9 - 1 for v.
3
Suppose -3*m = -m - 5*z - 22, -5*m - 5*z - 15 = 0.  Let g = 3 - m. Solve g*a - 3*a + 2*i - 15 = 0, i - 20 = 3*a for a.
-5
Let p be (-2 - (2 + -7))*-6.  Let t = -11 - p. Suppose -4*n - 3*g + t = 0, 5*n - 4*g = -2*g + 3.  Solve -4*z + 3*m + n = 0, -2*z + 2*m = 3*m - 3 for z.
1
Let p = 69 - 49.  Solve h = 5*h - 3*m + 28, -2*h + 3*m = p for h.
-4
Let l be 9/((-1)/(-1)) - 0.  Solve -i - l = 5*s - 0*i, 0 = -2*i + 2 for s.
-2
Let x = -26 + 47.  Solve x = 5*t + 2*i, 2*t - i + 18 = 6*t for t.
5
Let r be (-55)/25 + 3 - (-86)/5.  Solve 4*l + w - r = 0, -5*w + 4*w - 6 = -2*l for l.
4
Let q = 49 - 29.  Suppose 2*v + 4 = 2*b - 8, 2*b = 4*v + q. Solve 0 = -b*l - 0*p + p + 2, 2*l = 2*p + 6 for l.
-1
Let d = -25 - -9.  Let s = d - -31.  Let q be (-4)/(-2) - (-1 - 0).  Solve -4*k - q*f - s = 0, 2 + 8 = -3*k - 2*f for k.
0
Let c = 15 + -5.  Let k be ((-24)/c)/((-2)/10).  Let v be k/7 - 6/(-21).  Solve 3 = -3*t - 4*a, 2*t = 5*t + v*a + 3 for t.
-1
Let w be (-1)/(2/(-3 + -3)).  Let c = -4 + 6.  Solve -a - 3*n - 5 = 0, w*a - n + 3 = c*n for a.
-2
Suppose -3*q + 7*q - p = 6, 0 = 5*q - 5*p.  Solve 11 = a - 3*u, -q*a = u - 4*u - 7 for a.
-4
Let q = -38 + 52.  Solve a = y - 2, q = -5*a + 2*a + 5*y for a.
2
Let y(z) = z**2 - 3*z - 7.  Let x be y(5).  Solve x*d + 9 = -o - 2*o, -3*d = 5*o + 11 for o.
-1
Suppose 0 = -8*o + 30 + 2.  Solve 4*z + 18 = -2*q, 0*q = -4*z - o*q - 20 for z.
-4
Let n(u) = 3*u + 3.  Let j be n(-1).  Solve 3*l + q = -19, -4*l + 0*q - q - 24 = j for l.
-5
Let p(g) = g**2 - 18*g + 14.  Let j be p(18).  Solve 3*v - 19 = v - 5*b, 3*v = b - j for v.
-3
Let i(l) = 3*l**2 - 20*l - 2.  Let r be i(7).  Let f(u) = 10*u**2.  Let h be f(1).  Solve -h - 12 = 3*j + r*y, -y - 6 = -j for j.
1
Let n be (-279)/39 + 2/13.  Let g = n - -7.  Solve 0 = -2*t - 2*y + 6, g = -4*t - t - 4*y + 10 for t.
-2
Suppose 0 = 3*u - 0*u - 12.  Let i be (4/5)/((-2)/(-10)).  Solve -14 = -5*j + i*f, u*f = -j - j for j.
2
Suppose 2 = 3*m - m. Suppose -b + 16 = -m.  Solve 2*c - f = 2*f + b, 5*c + f = 0 for c.
1
Let a(y) = y**2 + 2*y - 3.  Let p(x) = -x**2 + 3*x + 5.  Let r be p(5).  Let s be a(r).  Solve -3*i + 6*i = 9, 2*o + 2*i - s = 0 for o.
3
Suppose -4 = u - 8.  Solve -3*s + 2*g + 2 = -u, 5*s = -g + 10 for s.
2
Let x(i) = 5*i + 2.  Let p be x(-2).  Let t be 6/10*(-40)/p.  Let u be 29/4 + t/4.  Solve -3 = 4*z - v - 7, 2*v = 4*z - u for z.
0
Let q(h) = 