 + m = 2*o - l for o.
5
Let h be ((-5)/(-2))/((-2)/(-4)). Suppose h*c = -2*q + q + 10, -q + 2 = c. Solve -3*b - 5*m + 6 = 0, q*m = 5*b + 5*m - 10 for b.
2
Let c = -3 - -5. Let j(v) = -v**3 + 7*v**2 + 7*v + 11. Let h = -8 + 16. Let a be j(h). Solve -2*s + 3*l + a = -0, 2*s = 2*l + c for s.
0
Let i(s) = s + 10. Let m be i(-8). Solve -b + 4*a + 4 = m, 2*b - a + 3 = 0 for b.
-2
Let w = -14 - -36. Suppose -3 = -v + 1. Solve -4*o + v*n = o + 26, -4*n + w = -3*o for o.
-2
Let t be 1 + 2 + -2 - (8 + -10). Solve 2*b = b + 3, -6 = -3*o - t*b for o.
-1
Let l(u) = -u**3 - u + 1. Let a be l(1). Let t be a - 1*(-3 + -1). Suppose 1 = -3*g + 7. Solve 23 = -t*j + 5*w, j - 4 = -g*w + 3 for j.
-1
Suppose 0 = 3*f - f. Suppose 0*h - 112 = -2*h + 4*q, 0 = 2*q + 8. Suppose f = a + a - h. Solve 0 = -2*j - 5*u + a, -j + 2*u - 10 = -u for j.
2
Let f(u) = 6 - 6*u**2 - 7*u**2 + 5*u**2 + u**3. Let w be f(8). Suppose n + v - 4 = 0, -4*v + w = -v. Solve -q - 6 = g, -n*g - 3 - 8 = q for g.
-5
Suppose 3*z = -0 + 3. Let y be 1/1*(1 - z). Solve y = 5*s - 5*p + 6 + 9, -5*s - 3*p - 7 = 0 for s.
-2
Suppose 9*r = 4*r + 25. Suppose 2*k = 4*f - f + 35, -f + 45 = r*k. Solve 0 = 3*j - 0*c + c - k, 0 = j - c - 6 for j.
4
Suppose -4*v = -16, 5*y + 4*v - 5 = 81. Let d = y + 0. Solve -4*b + 3 = -3*k, -b = 5*k + d + 14 for b.
-3
Suppose -o = p, o + o - 3*p = 0. Solve -12 = -4*l + 4*g, -4*l - 5*g + o*g + 3 = 0 for l.
2
Suppose 33 = 5*l + v, 8 = -4*v - 0*v. Solve -5*p = -l*z + 3*z - 33, 2*z + p - 1 = 0 for z.
-2
Let y(w) = 2*w - 6. Let n be y(4). Let k = n + 3. Solve k*a - 10 = -4*g + 8, 0 = -3*a + 4*g - 2 for a.
2
Suppose -4 = -k - 2. Suppose 0 = 5*q - k*q. Suppose q = -0*j - 4*j. Solve 0 = -4*b + 4*t - 4, -2*b + 0*b + 3*t = j for b.
-3
Let p be -2 + -3 + 28 - 3. Suppose -c + 5*c = p. Solve 4*g - 5 = 3*i - 0, 2*g - i = c for g.
5
Let p(w) = -4*w**3 - 2*w**2 - w. Let a be 0 - 2 - 0 - -1. Let x be p(a). Solve -o + 2 = -2*g, -x*o + o + 7 = -5*g for g.
-3
Let u = 5 + -2. Let j = 14 + -12. Solve u*t = 6*t, -4*v = -j*t - 12 for v.
3
Let c = -15 - -10. Let s = c + 6. Suppose -s = -3*p - 16, 4*a - 3*p = 27. Solve 10 = -a*f + 5*f, -g = -5*f + 23 for g.
2
Suppose a = 5*a. Suppose 5 = p - a. Solve 20 = p*d, -23 = -2*n - n - 5*d for n.
1
Let h(p) = p**3 - 4*p**2 + p - 3. Let t be h(4). Let d = t + 1. Let q be 1*d*(-8)/(-4). Solve -24 = 4*l - 8*m + 3*m, -m + q = 0 for l.
-1
Let p(s) = -3*s - 3. Let q be p(-2). Let h(l) = l**2 - 4*l - 3. Let u be h(6). Let f = -4 + u. Solve 0 = f*n, -t + q*n = -2*n - 3 for t.
3
Let w = 1 - -5. Suppose -11*a + w*a + 10 = 0. Solve a*s + 1 = -3*x, -6*s - 8 = -s + 2*x for s.
-2
Suppose -3*n + 5 + 10 = 0. Let m(w) = w**3 - 5*w**2 + w + 7. Let f be m(n). Let t be (f*(-1)/(-2))/2. Solve -z - 3 = -v, t*v - 3*z = -v + 9 for v.
0
Let a(g) = g**2 - g - 14. Let n be a(5). Solve 2*c = -5*w + 6, 2*w + 0 + n = -5*c for c.
-2
Let t = -26 - -26. Solve -5*f + 4*q + 21 = 0, -4*f + t*f + 2*q + 12 = 0 for f.
1
Suppose -19 = -5*h + 4*i, 4*h - 17 = 3*i - 2. Let f be 45/21 - (-3)/(-21). Suppose 0 = -f*t + 3 + 13. Solve 3*v + 13 = 2*a, -v + 2*a - t = -h*v for v.
-1
Let p(w) = w**3 - 7*w**2 + 5*w + 8. Let j be p(6). Let c = j - 0. Solve -2*o + 2 = -2*m, -3*o + c*o + 7 = -4*m for m.
-2
Suppose -4*h = -7*h + 9. Solve -13 = -h*k + d, 6*k + 3*d = 2*k + 26 for k.
5
Let w be (18/2)/(12/4 - 2). Let p be (0 + 1 - 0)*3. Let l be 1*34*(-2)/(-4). Solve -i - f = -w, -p*i + l = f - 0*f for i.
4
Suppose y - 3*d + 2 = 2*y, 4*y = -d - 3. Let f(b) = -2*b**3 - b - 1. Let g be f(y). Solve -5*x - 10 = -4*j - 31, 5*j = g*x - 5 for x.
5
Suppose -3*m + 6 = -0. Solve -a = -m, -3*b + 5*a + 1 = a for b.
3
Let k be 1/(-1)*68/(-4). Let y be 0 + -3 + k + 2. Suppose 0 = 2*z - 1 + 7, 2*v = 4*z + y. Solve -2 = v*f - 2*c, 4*f + 0 - 12 = -4*c for f.
1
Let u be 95/15 - (-1 - (-4)/(-6)). Solve 2*d = -4*l + u, -5*d + 17 = 2*l + 5 for d.
2
Suppose 2*f - 17 = -3*z, -f + 3*z + 16 = 3. Solve 4*b - 7 = -m + f, 4*b - 32 = -4*m for m.
5
Let c = -9 + 4. Let j be (10/c)/(2/(-11)). Solve -k = 2*w - j, 3*k + w + 12 = 4*w for k.
1
Let r(m) = 23*m**3 + 2*m - 2. Let a be r(1). Solve 2*n + a = -3*n - l, -5*n = -5*l + 35 for n.
-5
Let i(o) = -5*o**2 - 2*o + 1. Let l be i(1). Let h(x) = -2*x - 8. Let c be h(l). Suppose 3*q = c + 11. Solve -5*y = q*d - y + 7, 3*d - 2*y = -13 for d.
-3
Suppose 2*b - 1 = 5*y - 0, 0 = -2*y + 2. Let g = -3 + b. Suppose -4*i + g*i + 12 = 0. Solve -2*o - 4*w = 0, 5*o + 7*w - i*w = -6 for o.
-2
Let r = 23 - 14. Let d be (3/r)/(1/3). Suppose c = 3 - d. Solve 15 - 7 = -2*b - 4*q, 2*b - c*q = 4 for b.
0
Let g be (-2)/(-4) + 74/4. Solve -4*l - l - 25 = 0, -4*y + g = -3*l for y.
1
Let q(z) = -z**3 + 6*z**2 + 9*z - 10. Let a be q(7). Solve 3*u = a*i + 7*u, 0 = -5*u + 5 for i.
-1
Let j(o) = o**3 - 6*o**2 - 4. Let w be j(6). Let a(b) = -4*b - 3. Let p be a(w). Let i = -5 + p. Solve -z - 3*l - i = -6*l, 4*l = 5*z + 18 for z.
-2
Let g = 14 - 8. Suppose -w + g = 4. Suppose 0 = -4*y + 6*y - 5*m - 14, w*y = 4*m + 12. Solve 3*r + 3*n = -21, -r = y*n - 4*n - 5 for r.
-3
Let o be 0/((-1)/(2/(-4))). Suppose 5*d - 20 = 2*u, -2*d + o*u + u = -7. Solve -3*s - d = -2*z - 0, 4*s - 3*z + 7 = 0 for s.
-4
Suppose 0 = f - 2, 4*l - 19 = -f + 3. Suppose 0 = 5*g + l, 0*g - 4*g - 4 = -r. Suppose k + 50 = 11*k. Solve 5*m + 0 + 5 = 5*q, -2*m - k*q - 16 = r for m.
-3
Let n(a) = a. Let h be n(3). Suppose 0 = -d + 2 + h. Solve -d*f + r = -23, 3*f + 0*f - 3*r - 21 = 0 for f.
4
Suppose p = m - p, 3*m + 5*p - 22 = 0. Solve -3*h = 5*o + 10, -m*o + 2*o - 4 = -5*h for h.
0
Suppose 4 = -2*b, 0 = 2*c - c + 2*b - 7. Let h = c + -7. Suppose n + h*n = 2*x + 23, 0 = -5*n + 25. Solve q - 2*g - x = -0*g, -3*q + 2*g - 1 = 0 for q.
-1
Suppose -3*v + 7 = 4*g, 2*v - 2 = -g + v. Let s be 4/g - (-2 - -2). Solve -4*i + y = -25, -5*i = s*y - 2 - 3 for i.
5
Let w = -18 + 25. Let a = w + -5. Suppose g + 9 = t + a*g, -4*g = -t - 16. Solve 3*p + 5 = 2*n + 2*p, -t*n + 5*p = 5 for n.
5
Let p = -5 - -45. Suppose 1 = -u + 24. Solve 2*m - 4*m - 3*y + u = 0, 5*m + 4*y - p = 0 for m.
4
Suppose -5*q + 40 = -4*j, -2*q + 4*q - 28 = 4*j. Suppose 3*r - 2*r = q. Suppose l + 0*l = r. Solve -2*a - 3*d + 2*d = -12, -a = l*d - 13 for a.
5
Suppose -33*q = -28*q. Solve -14 + q = -4*x - 3*c, 0 = 2*x + 3*c - 10 for x.
2
Suppose 0 = 2*l + l + 27. Let w be 5*(-3)/l*3. Let x = 9 - w. Solve -5*k - 4*q = -4, 5*k + 5*q = k - x for k.
4
Suppose -9 = -u + 10. Suppose -5*s + c + u = -36, 35 = 3*s - c. Solve 0 = -0*a - 2*a - 4*w - s, -5*w = -4*a + 6 for a.
-1
Suppose -w + 2*w = -3*v + 9, -13 = -3*w - 2*v. Solve 0*j - 16 = -w*j - 5*p, -2*j = 4*p - 14 for j.
-3
Let g be 0 - 1*-7*1. Suppose 3*r - g = 5. Suppose 0 = -r*y - 6*a + 2*a + 20, 0 = 5*y + 2*a - 10. Solve -d + 2*b - 7 = -y*b, -3*d - 4*b = -29 for d.
3
Let g be 1*(-4)/(-1) + -2. Solve 0 = -4*p + 5*l - 2*l + 5, -5*l + 15 = -g*p for p.
5
Let k(q) = -q + 6. Let b(s) = -1. Let n(j) = -3*b(j) - k(j). Let a be n(3). Solve 8 = 4*w - z - a*z, 5*w = -z + 19 for w.
3
Suppose -5*f - 7 = -17. Solve 2*p - s = -f, -2*p + 10 = -4*s - 0*s for p.
-3
Let i(z) = -z**2 - 7*z - 2. Let w be i(-7). Let n be -1 - 1 - w*2. Solve -2*m - 3*d = 14, 4*m + d = n*d for m.
-1
Let q = 9 + -6. Let h(j) be the first derivative of j**2/2 + 2*j - 4. Let o be h(0). Solve -2*w = 3*d + q, o*w + 4 = d - 3 for d.
1
Let k(j) = 6*j**2 - 5*j - 10. Let h(q) = -7*q**2 + 6*q + 11. Let z(u) = -5*h(u) - 6*k(u). Let m be z(0). Solve 2*f - 3*g = g + 10, 12 = 3*f - m*g for f.
-1
Let n be 1*3 + -2 + 1. Suppose n*o - 3 = -o. Suppose -4*x = -5*w, -2*w + x + 3 = -0. Solve o + 1 = f - t, 0 = -2*f + 4*t + w for f.
2
Suppose -2*w = -3*w + 3. Suppose 0 = -d + 5*y - 9 + 39, 2*d - 30 = 4*y. Solve 5*n = -w*c, -53 = -3*c + d*n - 23 for c.
5
Let a(h) = -h**3 - 4*h**2 - 4*h + 7. Let m be a(-4). Let t be (-1)/(2/(-8)) + 1. Solve -t*p = 20, 5*c - m - 17 = 5*p for c.
4
Let d(b) = -2*b + 8. Let g(c) = 5*c - 25. Let p(t) = -8*d(t) - 3*g(t). Let v be p(-6). Solve -8*y - 5*h = -4*y + 21, -v*h - 22 = 3*y for y.
1
Let p = -118 + 118. Solve 2*n - 2*d = 3*d + 16, p = 3*n + d - 7 for n.
3
Let o = 1 - -2. Let d be (3/(21/10))/((-15)/(-105)). Solve 0*l = 5*l - 5*k + d, 5*k = o*l for l.
-5
Let c = 7 + -4. Suppose -1 - 2 = -c*m. Suppose 4*t = 15 + m. Solve -t*n = 3*l + 11, 0 = -4*l + n + 4*n + 37 for l.
3
Let r be (-2)/6 + (-64)/(-12). S