+ 14 = -j*z, -2*z - 4 = 0 for a.
2
Let f(s) = -s - 1. Let d(r) = -2*r - 1. Let n(t) = -4*d(t) + 6*f(t). Let h be n(3). Solve -2*g - 4*m = 3*g + 2, -4*g - h = 2*m for g.
-2
Let o = 2 + -2. Suppose -b + 26 = 5*a, -2*a + 0*b = b - 11. Solve 0 = -o*t - t - a*v - 20, -3*t = -4*v + 3 for t.
-5
Let q(x) = 4*x**2 + 1. Suppose 10 = f + 2*g, -2*g + 20 = f + f. Suppose 0*t + 5*t = -f. Let n be q(t). Solve -2*s = l + 2*l + 5, 0 = -3*s + 5*l - n for s.
-4
Let r(y) = y + 3. Let c be r(0). Solve -3*d = 4*j + 7, -2*d - 7 = 2*d + c*j for d.
-1
Let f = 136 - 135. Solve d + 1 = 0, -5*d - 6 = -2*l - f for l.
0
Let x = -15 + 21. Let o = x + 2. Solve -o = u + 2*h + 3, -20 = -5*u + 5*h for u.
-1
Let x be 10 + 0 + -2 + 3. Let d be 4/22 - 112/x. Let b be (-14)/d + 4/(-10). Solve 3*t - 2*l - 3 = 10, 0 = l - b for t.
5
Let g = -2 + 7. Suppose a - 3*d = 11, -a + 2*d = -0*d - 9. Solve -g*z = 5*m, m + a*z - 5 = -1 for m.
-1
Suppose p + 4*p = 5*u + 25, -p = -4*u - 5. Suppose 3*l - 4*l - 4 = u. Let m = -2 - l. Solve 3*r = -2*t + 3*t - m, -r + 8 = 4*t for r.
0
Let x be 2/1*(2 - (-6 + 6)). Solve -3*y = -4*r, x*y = -2*r + 2*y for r.
0
Let z(m) = 14*m**2 - 2*m - 1. Let a(j) = j**2 + 7*j + 2. Let x be a(-7). Let p = -3 + x. Let o be z(p). Solve 7 = 5*v + c + 23, 0 = -4*v - 3*c - o for v.
-3
Let t be (6 + -3)/(2 + -1). Solve h - a = t, 2*h + 21 = 6*h + 5*a for h.
4
Let n = 25 - 9. Let z be ((-6)/5)/(n/(-40)). Solve -t - 2*o = 9, 0 = 3*t - z*o + 2*o - 8 for t.
1
Suppose 0*a = -3*a. Let d(x) = -x**3 + x + 12. Let r be d(a). Suppose 3*p - 2*p - 16 = 0. Solve s + 4*c + r = 0, -3*s - 5*c = -3*c + p for s.
-4
Let w = -34 + 38. Solve 5*c + 3*p = 5*p + 24, -26 = -w*c + 5*p for c.
4
Suppose -4*n + 46 = 5*c, -4*c + 38 = 3*n - 2*c. Solve f + 33 = -4*f - 2*u, -2*f - u - n = 0 for f.
-5
Suppose 0 = -3*k - 4*g + 61, k - 5*g + 35 = 2*k. Solve 0 = 3*m - 3*l + k, m + l - 13 = 4*m for m.
-4
Let o(u) = -u**2 + 4*u + 18. Let b be o(0). Let s = 1 + -1. Suppose -5*r = -r + 5*w - 1, 4*r + 2*w = 10. Solve -c = 3, r*m + 5*c - 7 + b = s for m.
1
Let g be 10/(-35) - (-872)/14. Suppose 4*f - g = -14. Solve 0 = -4*y + 4*x - f, x = -4*y - 2*x + 23 for y.
2
Suppose q + 0*q = -2*c + 18, -10 = -2*c - 3*q. Solve w + 2*s + c = 6*w, -3*s = -w + 10 for w.
1
Let p be (-4)/(3*(-1)/(-3)). Let z be (-36)/(-21) - p/14. Let i = -1 - -7. Solve 4*j - 2*g = i, -j = z*j - 3*g + 3 for j.
4
Suppose 3*l = -l, 2*v - l - 18 = 0. Solve 32 = 4*p + 2*b - 6*b, 0 = 3*b + v for p.
5
Let a(h) = -2*h**2 + 37*h + 22. Let n be a(19). Solve 4*c - 6 = 3*s - 3, 5*s - 4*c = n for s.
3
Let f(z) = -2*z**2 + 3*z + 2. Let c be f(0). Let d = -1 - 0. Let q be 8 + d/(-1)*0. Solve 2*r - q = -c*s, -12 = s - 4*s + 2*r for s.
4
Suppose -2*c + 6 = -0*c. Let b = -31 - -33. Solve 3*x - 2*z + b = -c, -5*z - 45 = 4*x for x.
-5
Let y(o) = o**3 - 4*o + 2. Let m be y(2). Solve 4*b - 28 = -4*c, -3*c = -2*b - m*b for b.
3
Let f(d) = d**2 + 9*d - 8. Let m be f(-11). Let g be ((-16)/(-6))/((-4)/(-6)). Solve 4*w - q = m - 1, 4 = g*w - 4*q for w.
4
Let i(v) = v**2 + 7*v**2 - 4*v**2 + 1. Let t be i(-1). Solve o + 3*o = t*p + 16, -p = 0 for o.
4
Let x(q) = q**3 - 7*q**2 + 7*q - 2. Let z be x(6). Solve -y = -3*i + 8, z*y + i - 4*i = 4 for y.
4
Let c = 10 - 6. Suppose -2*v + 5 = -5. Suppose a = v*a - 8. Solve -a*f - 10 = -i, -c*f - i = 10 - 2 for f.
-3
Let l(v) = v + 2. Let i(h) = h - 9. Let q be i(7). Let t be l(q). Solve w - 8 = -2*s - w, 4*s - 5*w - 25 = t for s.
5
Suppose -8*m - 10 = -3*m, 2*m = -4*o + 8. Solve s - o*r - 8 = 2*s, 2*s = 4*r - 6 for s.
-5
Suppose 0 = 5*h - 0*h - 5. Solve -2*n - 27 = 4*i - h, 4*n - 3 = 3*i for i.
-5
Let j = -112 - -115. Solve -5*c + 4*t - 14 = -j, 2*t + 14 = -4*c for c.
-3
Let x = -1 + 2. Let k be -1 + 1 + 16/x. Solve 4*g = -k, 7*g + 15 = 5*a + 2*g for a.
-1
Let k(z) = z**3 - 4*z**2 + 4*z - 3. Suppose -4*u + 0*u + 12 = 0. Let m be k(u). Let o = -11 - -14. Solve -4*r + 25 = -m*r + 5*j, 0 = o*r + 5*j - 20 for r.
5
Let t(p) = p**2 + 7*p + 10. Let m be t(-6). Solve -11 = 2*q + 3*l, 18 = -m*q - 0*l - 2*l for q.
-4
Let k(w) = -w - 6. Let l be k(-14). Let r be -1 + (2 - 1/1). Let a(v) = v**2 - v - 2. Let q be a(2). Solve r = f - 5*s - l, 2*s - 4 = -2*f - q*s for f.
3
Let o be (-2 - -1)/((-2)/66). Let m = 30 - 50. Let y be 1/(-5) + (-424)/m. Solve 0 = -4*n + 5*r + o, 3*n + 4*r - 7 + y = 0 for n.
2
Let f(m) = m + 4. Let n be f(-4). Solve b + n*x - 4*x - 1 = 0, b = -2*x - 5 for b.
-3
Suppose -4*v - 3*j + 0*j = 0, 3*j = 2*v. Suppose v*y - 4*y = -20. Solve -4*b = -y*o - 22, o + 7 = b - o for b.
3
Let s(c) = -c**3 + 5*c**2 - 6*c + 8. Let y be s(4). Solve 4*u + 2 = t + t, y = -t + 5*u + 7 for t.
-3
Suppose 0 = -b + 20 + 2. Suppose 0 = -3*a, c + a - 5 = -4*a. Solve 3*s - c*v + 16 = 0, -v = -4*s - 3*v + b for s.
3
Suppose r - 7 = -0*r. Suppose -r - 2 = -3*h. Suppose 0 = -h*g - g. Solve g = 5*b + n - 16, 2*b + 6*n + 8 = 2*n for b.
4
Suppose -9*r + 56 = -r. Solve 3*j - r + 0 = g, -g - 15 = -5*j for g.
5
Suppose -3*y + 12 = -6. Let m(d) = 2*d - 8. Let t be m(y). Solve 2*i + 2*c = t + 8, -18 = -5*i - c for i.
3
Let w(d) = -1 + 0 + 12*d + 2. Let g be w(2). Suppose -4*c + 15 = 3*y - 7*c, -2*c = 5*y - g. Solve u + 15 = 3*x, -25 = -6*x + x + y*u for x.
5
Let y = 38 + -35. Solve -2*b - 14 = 4*x, b = -x - y*b - 21 for x.
-1
Suppose -6*v + 55 = -5. Suppose -24 = 4*r - v*r. Solve -4*b - 5*a - 3 = 6, -5*b = -r*a - 40 for b.
4
Suppose 0 = -3*s + 5*s - 2*h - 14, -s + 13 = -3*h. Suppose 5 + s = 3*q. Solve q*l + 29 = 5*g + l, -l + 3 = g for g.
5
Let k be 2/3 - 44/(-33). Solve k*w + 24 = -4*p, -w - 22 = -2*p + 6*p for w.
-2
Let r(f) = 14*f + 4. Let g be r(1). Solve -b = -4 - 0, 2*l - g = -3*b for l.
3
Let l = 4 - -1. Suppose 0 = -l*r + 3*r + 8. Solve -5*s + 32 = x + 4, -s + 3*x = r for s.
5
Let p be -1 - -4 - 6 - -17. Solve s = -0*s - 3*o - p, 8 = -2*o for s.
-2
Let n(g) = 2*g - 2*g + 11*g**3. Let y be n(1). Let h = 2 - -3. Solve -2*w - 6*d + d = -y, 15 = h*d for w.
-2
Let v(u) = u**3 - 3*u**2 + 2. Let r be v(3). Suppose 30 = 3*f - 3*l, -r*l = f + 4 + 1. Solve 0 = y + 1, f*p + 0*y = -3*y + 12 for p.
3
Let o(b) = 3*b + 13. Let g(s) = -s. Let i(z) = 4*g(z) + o(z). Let h be (-2 - 0 - -12)/1. Let k be i(h). Solve -15 = -3*u + 2*v, -5*u + 4*v - k*v = -18 for u.
3
Let z = 21 + -9. Suppose -q = q - z. Solve -3*f + 6 = -5*m - 14, -q = -f + m for f.
5
Suppose 38 = y + y. Suppose -y = -3*p - 7. Let v = 10 + -6. Solve -5*m + 19 = p*d - 21, -v*m + 26 = 2*d for m.
4
Let g = 8 + -3. Let s = 1 - g. Let l be (1 - 2)/(s/36). Solve -3*y - 9 = -2*d - d, 2*d - 3*y - l = 0 for d.
0
Suppose 2*w + 2 - 17 = -o, -3*o + 40 = 5*w. Solve -t = 2*n + 9, -3*t + o = -2*t - 5*n for t.
-5
Suppose -4*m + 10*m - 6 = 0. Solve 3*a + 4*h - 14 = 0, 4*a = 3*h + m + 1 for a.
2
Let l(z) = -z**2 - 4*z - 1. Suppose 5*f - 2*f - 2*x + 17 = 0, -4*f - 2*x - 4 = 0. Let j be l(f). Solve 2*s = 4, 2*s + j*s = q + 11 for q.
-3
Let m be 0 + 2 - 2 - -5. Suppose -75 = 2*v - m*v. Solve 5*c - v = -5*a, 0*c = 2*a - 2*c - 10 for a.
5
Suppose -5*f = x - 3*x - 7, 4 = -x + 3*f. Let s be 19 + (-1 - x) + 1. Suppose -5*o = 0, -2*o = 4*d - o - s. Solve 3*b + 13 = d*j, -j - 2*j = 5*b - 1 for b.
-1
Let m be (-2)/5 + (-141)/(-15). Let a = m + -6. Let d = 2 + -2. Solve 5*s + 21 = -4*q, a*q - 2*s = -10 - d for q.
-4
Let o be (-36)/(-27) + 4/6. Solve 5*w - 3*l - 3 = o*w, -w + 2 = -2*l for w.
0
Suppose -10 = r - 3*r. Solve -3*z - r*h = 28, -4*h = -4*z + 2*z + 18 for z.
-1
Let p(w) be the first derivative of -w**2/2 + 10*w - 3. Suppose 3*m = -0*m. Let h be p(m). Solve -5*a = 3*o + h, 2*a + 1 = -3 for o.
0
Let o(b) = -b**3 - 9*b**2 - 6. Let h be o(-9). Let x(r) = -4*r. Let a be x(h). Solve -g + 5*w = a, -2 = -3*g - 2*w - 6 for g.
-4
Let w = -17 - -20. Solve t + h = -w, 4 = 3*h - h for t.
-5
Let a be (-1)/(-2)*(10 + -8). Solve 3*z + 3*b + 0 = -15, 3*z - 5*b - a = 0 for z.
-3
Let b be 19/(-7) - (-4)/(-14). Let h = 7 + b. Let o(a) = -a + 6. Let p be o(4). Solve -4*n = -4*r + h, 8 = -2*n - p*r - 2 for n.
-3
Suppose -2*j - 12 = -3*c, 3*c + 3 = -j + 15. Suppose 0 = h + c*h - 15. Solve 5*b + 7 = -13, 2*g - 8 = h*b for g.
-2
Suppose 1 + 7 = 4*i. Let f be -2 - (2 + (-14)/i). Solve a = -a - 3*g + 20, -5*a = -f*g - 8 for a.
4
Let n(w) = -w**2 + 7*w. Let p be n(6). Suppose -4*c = o + 2 + p, 5*c + 10 = 5*o. Solve -2*r - 5 = -v, 4*r + v + o*v = 5 for r.
0
L