= d*g - 2*t + 8, 0 = -2*g - t for g.
-1
Suppose 0 = 14*b - 11*b - 30. Solve -3*l - 4*z + 3 = b, 2*l + 5*z = -14 for l.
3
Suppose 0 = 86*a - 89*a + 54. Solve -k = -3*y + 10 + 4, -3*k = -y + a for y.
3
Suppose -3*b = -1 - 5. Suppose 0 = b*q - 6*q + 8. Solve 0 = -j - q*o + o, 0 = -5*j - o + 20 for j.
5
Let o be (-10 + 9)*(0 + -5). Solve 29 = -3*n - g + o*g, -4*g = -2*n - 26 for n.
-3
Suppose 2*l = r - 4, -3 = 2*l + 1. Let d be 2 - (r - (1 - -4)). Solve 4*c = -3*y + 26, y - c = -2*c + d for y.
2
Suppose 0*q - 2*q = -6*q. Solve -3*h + q*j + 14 = -j, 0 = 4*j + 20 for h.
3
Let a be (-4)/(-2 + 0/1). Let z = 0 + a. Solve 4*s - z*x = 2, 0*s - 2*x = -5*s + 1 for s.
-1
Let z(v) = v**3 + 21*v**2 - 21*v + 25. Let n be z(-22). Solve -u - n*h - 5 = 2, -u + h + 1 = 0 for u.
-1
Let a = 18 + -14. Let s = a - 1. Let b be (-2)/(-8) - 30/(-8). Solve -s*x - c = 15, -b*x = c + c + 20 for x.
-5
Suppose 18*n = 33*n - 30. Let a(p) be the first derivative of p**4/4 + p**3/3 - p + 1. Let z be a(1). Solve 3*h = 4*g, -5*g + n = -4*h + z for h.
-4
Let m(x) = -x**3 + 4*x**2 + 3*x + 3. Let j be m(3). Let y = -4 - -4. Let u = y - -4. Solve -2*z + a = u*a + 17, -z - 4*a = j for z.
-1
Suppose -v = 4*o - 10 + 1, -5*o + v = -18. Suppose 0 = -0*u + u. Suppose l + 2*l - 15 = u. Solve o*c + 28 = -5*b, 2*c = 4*b + l*c + 23 for b.
-5
Let g be -14 - -15 - (1 - 0/(-1)). Solve 19 = -0*w + 5*w - 3*k, 3*w - 3*k - 9 = g for w.
5
Suppose 0 = 2*n - 5*n + 15. Suppose 3*b = -n*o + 38, b - 2*o - 22 = -4*b. Suppose b*d - 7*d + 2 = 0. Solve -5*i = -20, 4*l + 7*i = d*i + 8 for l.
-3
Suppose 2*r - 3*l - 4 = -7, 4*r = 4*l + 4. Suppose -r*o = -4*o - 16. Let t = 3 + o. Solve 2*j + 5*c - t = 3*j, -2*j + c = -5 for j.
4
Let r(w) = w**2 + 2*w + 2. Let l be (-36)/(-8)*(-2)/3. Let d be r(l). Solve p = -5*o - 17, 0*o - 4*o - d*p = 1 for o.
-4
Let d(u) = u - 5. Let a be d(5). Suppose z - 6 + 3 = a. Solve -z*x - 6 = -2*n, -6*x + 3*x = 2*n + 18 for n.
-3
Let a(d) = d**2 + d + 5. Let o be a(0). Solve -5*y = r - o*r - 12, y = -2*r + 8 for r.
2
Suppose 2 - 6 = u. Let k be 17/(-4) + (-1)/u. Let s = 5 + k. Solve -3*p + 2*i = 12, -s = p + p + i for p.
-2
Suppose 9*g - g - 160 = 0. Solve -c + 3*z + 15 = -6*c, -4*z - g = 4*c for c.
0
Suppose -5*o = -3*o - 40. Solve 0 = -4*j - 4*f - f - o, -4*j + 3*f = 20 for j.
-5
Let s(c) = -c**3 - 6*c**2 + 4. Let l be s(-6). Solve -5*q = m + l, 0*q = -3*m + q + 4 for m.
1
Let h be (-12)/10*((-25)/3)/5. Solve -5*z + 15 = -5*l, -h*z = z - 9 for l.
0
Let x be 2*2 - 10/5. Suppose 0 = x*l + l + n - 13, 2*l - 5*n = 3. Solve 5*k + 15 = -l*p, -3*p + 2*k - 7*k = 15 for p.
0
Let o(r) = -r**2 + 15*r - 12. Let u be o(13). Solve 4*d - u = -2*l, l + 7 = 4*d - 16 for d.
5
Let t = -14 - -14. Solve 2*z = -t*l + 2*l - 16, -3*l = 2*z - 9 for z.
-3
Suppose -8 = 4*s - 3*k - 2*k, 13 = -s + 4*k. Solve -y = -5*l + 2, s = 3*y - 6 for l.
1
Suppose -2*l = -2*x, -3*x = -0*x - 4*l. Let g = 15 - x. Solve 2*v = -0*v - 5*k - g, 0 = -v + 4*k + 12 for v.
0
Suppose -2*n + 13 = 5. Solve 5*f + n*y - 3*y = 2, 3*y = f + 6 for f.
0
Let i(u) = -u + 15. Suppose o - 3 = 0, -4*o + 19 + 26 = 3*a. Let d be i(a). Suppose 5*n = 4*n + 15. Solve -3*g = -n, 17 = -4*x + g + d*g for x.
2
Let s be (0/(-3) + 2)*1. Suppose s*p - 10 = -3*p. Solve 0*d + 4 = -p*d, a - 3*d = 1 for a.
-5
Let r(u) = 4*u**2 - 1. Let p be r(-1). Suppose -5*o = 4*m, 6*m = p*o + 2*m. Solve o = -4*v - 2*t - 10, -5*v + 0*v = -t - 5 for v.
0
Let f(x) = x**2 - 12 + 9*x - 5*x**2 + 3*x**2. Let k be f(6). Let j = 6 - k. Solve s - 2 = -j*p + p, 4*p + 13 = 5*s for p.
3
Let y = 1 + 1. Suppose 0 = y*a - 6 - 2. Let f(i) = -i**3 - 9*i**2 - 13*i - 10. Let u be f(-8). Solve -3*b + 7 = -a*t + u, 0 = 3*b + 3 for t.
5
Let l(o) = -o**3 - 8*o**2 + 7*o - 13. Let p be l(-9). Solve -p*b = 2*w + 2, -2*w - b + 0 = -6 for w.
4
Suppose 3*t + k = 16, -3*t = -2*k - 5 + 1. Let m(x) = -3*x - 4. Let i be m(-3). Suppose 0 = -v + i - 1. Solve -v*l = 4*c - 16, 8 = -l + 3*l - t*c for l.
4
Let o be 4/6 + (-32)/(-6). Let p be (-2 - (-10)/o)*-12. Solve p*z - 5*u + 0 = -13, -4*z - u - 7 = 0 for z.
-2
Let x be 1/((-1)/(-3)) + 2. Suppose -13 = -c - x. Solve 0 = -2*d - 3*v + 2, 21 = -5*d + v - c for d.
-5
Suppose 2*u + 0*h = 2*h + 6, -u - 1 = -2*h. Let q = u - 5. Solve -6*g + 2*g = -s - 6, -5*s = q*g + 8 for s.
-2
Suppose 0 = -t, 3*y + 2*y = 2*t. Suppose y = 3*z - 8*z + 10. Suppose 2*i = -2*i + z*l, l = -5*i. Solve 2*d + i*d - 3*v - 6 = 0, -d + v = -1 for d.
-3
Let o = 41 + -29. Let d = o - 7. Solve -3*p = 4*i + 13, -i + d*p = -2*i + 1 for i.
-4
Let x = 0 + 3. Suppose -x*l = -4*o - 2, 5 = -2*o + 1. Let y be (-9)/(-3) - (-1 - l). Solve 12 = 5*p - d - 0, -2 = -3*p - y*d for p.
2
Let y be (-8)/(-2) - (-6 + 8). Let c be -1 - (3 - 4 - y). Suppose -4*t + 3*h + 6 = 0, -c*t + 14 = 2*t + h. Solve 0 = -4*a + 4*v, 8*v - t*v = 4*a for a.
0
Suppose -1 = 4*m - z - 13, 4*z = 5*m - 4. Let o(y) = -y**3 - 8*y**2 - 4*y - 2. Let t be o(-8). Let l = t - 5. Solve -5*f - l = 5*a, -a + 24 = -m*f - 6*a for f.
-1
Let v = -3 + 6. Suppose 3 = -v*l - 3, -4*z - 3*l = 6. Solve -1 = -z*j - 2*j + q, 4*j = -5*q + 23 for j.
2
Suppose -4*a - 4*s - 4 = 0, -3 = -2*a - s - 0. Suppose 0*t = -a*t. Solve -5*z - 15 = -m, t*m + 2*z + 6 = -3*m for m.
0
Let z = 10 + -9. Suppose -5*y - 25 = a + a, -a - 2*y - 10 = 0. Let w be 3*z + (-1 - a). Solve 4*l = -w*q, -q + l + l = 0 for q.
0
Let d be (0/(-1))/(-3 + 1). Suppose v = -d*v. Solve 4*q - 2*r - r - 5 = v, -2*q - 3*r - 11 = 0 for q.
-1
Suppose 2*v + 4*s + 9 = -13, s = 4*v + 44. Let o = 17 + v. Suppose 2*n = n + 4. Solve 3*a = 5*y - 9, -y - n*a - 12 = -o*y for y.
0
Let g = 24 - 11. Suppose -5*u = -10*u + 25. Let c = g - u. Solve 3*a + c = 4*r, 2*r = 3*a - r + 3 for a.
4
Suppose 5*p - 22 = d + 3, 3*p + 153 = -5*d. Let q be ((-6)/(-18))/((-2)/d). Solve 0*z + 2*v = -q*z + 16, 3*z - 4*v - 20 = 0 for z.
4
Let x(g) = -g**2 + 3*g + 8. Let p be x(6). Let y(z) = z**3 + 10*z**2 - z - 6. Let k be y(p). Solve -2*r - 2*l = -k, -l = l - 4 for r.
0
Suppose 0 = -2*x - 2*h, 0 = -3*h - 2 - 7. Let o = 6 - x. Suppose 5*d + o*p - 2*p = 18, 4*d = -4*p + 8. Solve d*j + 26 = -5*c, 10 = 2*c - 3*c - 2*j for c.
-2
Let a = -40 + 45. Solve o + 4*f - 10 = 0, o - 5*f + 3 + a = 0 for o.
2
Suppose -3*t - 8 = -t. Let v be (-4)/(-16) + (-19)/t. Solve 5*j + 2*s - 2 = -0, -v*j - 5*s - 10 = 0 for j.
2
Suppose -6*y + 60 = -y. Let u = 14 - y. Solve u*p - 5*q = 25, -24 = 2*p - 5*p + 3*q for p.
5
Let g(i) = 3*i - 3. Let j(v) = -2*v + 4. Let h(p) = -5*g(p) - 6*j(p). Let q be h(-4). Solve 5*d - q*z = 26 + 9, -4*d + 6 = 2*z for d.
4
Let w = 34 - 33. Solve -h = -4*d + 9, 0 = -h - 3*d - 1 - w for h.
-5
Let h = -11 + 26. Let x = 0 - -4. Solve -15 = 5*r + v + x*v, 0 = 5*v + h for r.
0
Let m be 1 + -3 + 1 + 5. Solve 0 = 4*t - 0*p - p, -p = m*t for t.
0
Let r(w) = -w**3 - w**2 - w + 1. Let l be r(1). Let z be l/(-7) + 10/(-35). Solve -s + 3 - 1 = 2*g, 3*s - 3*g - 15 = z for s.
4
Suppose -2*l - 4*w = -4*l + 16, 0 = -5*l + 4*w + 40. Solve -2*s = 2*s + u + l, 2*s + 5*u = -4 for s.
-2
Let o = 38 - 18. Suppose v - o = -0*v. Suppose -5*q = -q + v, 4*z - q = 65. Solve j + 3*p = -0*j - z, -5*p = -4*j + 25 for j.
0
Suppose 2*d = 72 - 26. Suppose -4*k + d = 7. Solve -2*x + 10 = k*j, 5*j = -3*x + x + 12 for x.
1
Let k be 5/((-15)/(-6)) + 3. Let t(n) = n. Let u be t(k). Solve -u*c = -5*d + 2*d - 12, 5*d = 4*c - 7 for d.
1
Let n be (-3 - 0)/(6/(-10)). Solve n*l - 3*x - 8 = 0, -23 + 7 = -4*x for l.
4
Let t = 11 + -9. Solve t*u = -u - c - 1, -5*c - 5 = 3*u for u.
0
Suppose -5*l = -5*i + 20, 5*l + 3*i = -26 + 6. Let x = 14 + l. Solve 2*y + x = -4*f, 2*f + 15 = -2*f + 3*y for f.
-3
Suppose -19 + 3 = -16*b. Solve 6 = w - c, -3*w - 3*c + 11 = -b for w.
5
Let q = 23 - 17. Let b(z) = z**2 - z + 3. Let c be b(0). Solve 0*g - c = -g, -3*f + 2*g = -q for f.
4
Let m = 25 + -20. Solve -m*w + i + 8 = 0, -4*w - 10 = w + 5*i for w.
1
Let y = -2 + 7. Solve m - y*m = -3*g + 18, -2*m = g + 4 for m.
-3
Suppose 5*h - k - 126 = 0, 3 + 0 = -3*k. Let x = -49 + 13. Let u = x + 61. Solve -u = -5*l, -2*r - 2*l = 3*l - h for r.
0
Suppose 0 = -b + 4*b + 5*h + 5, -2*b - h - 1 = 0. Let s be 1 + -1*(b + 0). Suppose -s - 14 = -3*q. Solve 3*m + 24 = -4*o, q = -m + o + 4 for m.
-4
Suppose -3 = -7*o - 3. Solve -i + 3 = -l - 4, -2*i + 4 = o for l.
-5
Let u = 17 - 12. Suppose -b = -u*r + 2, 4*r = -0*r 