, 6 = -l - 4*j for l.
-2
Let f = 24 + -32. Let o be ((-32)/24)/(f/18). Solve -o*h = 3*b - b + 1, b + 6 = 4*h for h.
1
Suppose 0*k - 5*k = -35. Solve -2*n - 5*q - 10 - k = 0, 2 = -2*n - 2*q for n.
4
Suppose 0 + 15 = -5*b. Let g = 13 + b. Solve -2*o - 3*o + 10 = -2*y, o - g = 2*y for y.
-5
Suppose 0 = -0*j + j - 3*p - 6, p = j - 4. Solve 5*t + 17 = 4*w, 2*w = j*w + 3*t for w.
3
Suppose 0 = -3*t - 1 + 4. Solve -p + 2 = -c, 6 = 4*c + p - t for c.
1
Let g = 79 + -74. Solve 2*m = -g*d + 1, 2*m - 3 = m - 5*d for m.
-2
Let u = 70 - 66. Solve 4*a + 3 = 2*p - 1, 0 = 5*a + u*p - 21 for a.
1
Let b(y) = y**3 - 8*y**2 - 8*y - 4. Let l be b(9). Let a = 1 + l. Solve -2*x - 3 = 3*u, -5 = a*u - u + 5*x for u.
-1
Suppose -5*d + 20 - 5 = 0. Suppose 0 = -d*x - 0*x + 6. Suppose -o = -x*o + 14. Solve -o = 2*l + 2*u, -4*l - 2*u = -0*l + 24 for l.
-5
Let p = -20 - -23. Solve -v - 5*n = 10, 2*n + 0*n = -p*v - 17 for v.
-5
Let f(u) = u**3 + 9*u**2 + 7*u - 6. Let l = -5 + -3. Let z be f(l). Solve -3*c + 8 + z = -t, -2*c + 10 = 0 for t.
5
Suppose 0 = 10*m - 7*m - 9. Solve m*n + 4*t + 1 = 3, -2*n = -2*t + 8 for n.
-2
Let h = 1 - -3. Solve 0 = -5*w - h*l - 19, -w - 4*l - 9 = -2 for w.
-3
Suppose 24*p = 22*p + 14. Solve a - p = -2*s, 0 = 2*a + 3*s - 1 - 11 for a.
3
Suppose 2*r - 13 = 11. Suppose 5*g - 2*g = r. Suppose 37 = 5*p + b, -2*p - 2*b = -g*p + 22. Solve 0 = -3*h - 3*z, -5*h + z = -4*h - p for h.
4
Let w(c) = -3 - 4*c + 5 - 5*c**2 + 6*c**2. Let t be w(4). Solve -6*y - 5*u = -y + 40, -31 = t*y + 5*u for y.
-3
Suppose -105 = -4*b - 45. Let c = b + 0. Solve -w - 2*v - c = -4*w, 2*v = 4*w - 18 for w.
3
Let y(f) = -f**3 + 4*f**2 + 4*f - 9. Let c be y(4). Solve -5*q + 8 = -5*t - c, -5*t - 4*q = 24 for t.
-4
Let z be (1 + 21/(-9))/(12/(-18)). Solve 2*a - 3*g + 7 = 0, z*g + 2 = -2*a - 0*g for a.
-2
Suppose -4*t = -6*t - 4. Let w(u) = -7*u - 2. Let o be w(t). Let c be (24/(-20))/(12/(-40)). Solve d = -f - 5 + o, f = c*d - 8 for f.
4
Let s = 32 - 28. Solve 0 = 3*l, -l = 2*b + s*l + 6 for b.
-3
Suppose -3*y + 10 = -5. Suppose -4*t + 5 + 3 = 0. Suppose -m + 5 = 2*m + t*f, -y*m + f = -30. Solve -46 + 6 = m*q + 5*k, 2*k = -8 for q.
-4
Suppose 2*n = -5*c - 15, 4*n - 2 - 3 = -3*c. Let h = c + 8. Solve 0 = t + 5*d - 11, -h*t + 2*d = d + 15 for t.
-4
Let p(l) = 0*l**2 - l**2 + 2 + 0*l**2. Let w be p(0). Suppose 4*a - 66 = -18. Solve 4*n - 4*q = -9*q - 36, -w*n + 5*q + a = 0 for n.
-4
Suppose 2*o - 11 - 29 = 0. Suppose -16 = 4*x, 2*f - f - 11 = -x. Let i be (-26)/(-16) + f/40. Solve -3*b + i*a - 10 = -2*b, 4*b - 4*a = -o for b.
0
Let t be 2/(-6)*(-162)/3. Solve -3*g = 3*c + t, -5*c - 4*g - 31 = -3 for c.
-4
Let u = -16 - -10. Suppose 2*y - 5*a - 4 = 0, 0 = -0*y - 3*y + 4*a - 8. Let j = u - y. Solve 0 = -j*p + h - 3, 0*h + 9 = -p + 2*h for p.
1
Let r be 12/((-12)/(-3)) - -2. Solve 5*q - 3*l = -7, 3*q + 3*l + r = 2*q for q.
-2
Let y be 8*1/((-1)/(-2)). Suppose y = 6*m - 2*m. Suppose -5*f = c - 50 + 20, 0 = -2*f - m*c + 30. Solve 3*t - 3*a + 7 + 2 = 0, -2*t - 6 = f*a for t.
-3
Suppose 0 = -2*o + 2 - 14. Let j be 24/(o/(-16)*4). Solve u + 8 = -x, 5*u + j = x + 2*x for x.
-3
Suppose -3*k + 2*o + 13 = 0, k + o = 4*o + 9. Let d be 46/12 + k/18. Solve -4*t = c + d*c - 13, 0 = 5*c - 25 for t.
-3
Let m(u) = u**3 + u**2 - u + 4. Let s be m(0). Suppose -s*c + 0 = -12. Solve 30 = -5*x + 4*b + b, 12 = c*x + 3*b for x.
-1
Let x be 90/(-8) - 4/(-16). Let f be 2/x - 1958/(-121). Solve 0 = -y + 2*v - 14, f = -3*y + v - 1 for y.
-4
Let f(m) = m**3 - 8*m**2 + 15*m - 14. Let r be f(6). Solve 10 = 4*w + 3*o, 5*w - r*w = -3*o + 7 for w.
1
Suppose 4*l - 226 = -5*t + 204, -2*t + 2*l + 154 = 0. Let c = t + -58. Solve -y - 1 = -z, 5*y = -4*z + c + 7 for z.
4
Let z(q) = -q + 2. Let f be z(3). Let d be (f - 15 - 0)*1. Let t be (5/4)/((-1)/d). Solve 2*p - 6*p - 4*y = t, -p + 11 = -3*y for p.
-1
Let j be 4 + (-2 + 0 - (-5 + 1)). Solve -j + 2 = y + 5*n, 3*n = -4*y + 1 for y.
1
Suppose -16 = 3*d - 7*d. Suppose -9 = -d*m - 1. Solve 2*v + m*v - 16 = -4*b, 4*v - 16 = 3*b for v.
4
Suppose 3*g - 15 = 5*r + 2, 0 = g + 4*r. Let h = 0 + 3. Suppose h*y = -0*y + 6. Solve -g*z = 2*b - y*z - 2, 0 = b - 5*z + 17 for b.
-2
Suppose y + 2*q = -4, -2*y - 5*q + 1 - 12 = 0. Solve -2*c - 6 = -y*l, -2*c + 30 = 4*l + 3*c for l.
5
Let f = -5 + 14. Let p = f + -7. Solve -2*b + 2*v + p = 0, 4*b + 4*v - 12 = 8 for b.
3
Suppose 3*j = -u - 1 + 13, 12 = -4*u + 3*j. Solve 2*h = 6*h + 5*o + 17, u = -3*o - 15 for h.
2
Let v(u) = u**3 - 2*u**2 + 2*u + 2. Let x be v(2). Suppose 3*k = 5*k - x. Solve k*r = -s - 13, -8 - 10 = 2*r + 3*s for r.
-3
Let m = -11 - -15. Suppose -y + 16 = 3*i, -i + 6*i - m*y = 21. Suppose z = 2*z. Solve -5*d + 3*c - 10 = z, i*c - 24 = -d + 2*d for d.
1
Let p be 5/((-150)/(-4)) - (-326)/30. Solve -5*l - p = -2*z, l + 1 = 4*l - 5*z for l.
-3
Suppose m = 3 + 1. Let c = 6 - m. Let r be c/(-2) - (3 + -6). Solve -s - 10 = -3*z + 2*z, -r*z + s = -15 for z.
5
Let c be (0 + 1)/((-5)/(-40)). Let i(y) = -y + 8. Let w be i(c). Solve w = -2*x - 10, 2*v + 20 = 7*v - 3*x for v.
1
Let f = 18 + -14. Solve -5*z + z = f*x - 24, -4*z - x = -15 for z.
3
Let t = 47 - 22. Suppose 5*q - 2*g - 25 = -7*g, -2*q - 5*g + t = 0. Suppose q*o + 16 = 4*o. Solve w = o*c + 20, w + 15 = -3*c + 3*w for c.
-5
Suppose 16 = -2*h + 5*f + 44, -5*h + 32 = -3*f. Suppose -h*q + 17 = v + 2, 0 = v - 3. Solve -2*a - 40 = 3*y + 3*a, -q*a - 20 = y for y.
-5
Suppose 0 = 4*o + 11 + 9. Let v be 12/o*(-2 + -3). Solve 0*k + v = 3*k + 4*w, 9 = 5*k + 3*w for k.
0
Let t(f) be the second derivative of f**4/2 + f**3/3 + f**2/2 + 4*f. Let w be t(-1). Solve 2 + 4 = 2*i, -w*i + 30 = -5*a for a.
-3
Let s(t) = t**3 - 6*t**2 + 2*t - 5. Let v be s(6). Suppose 0*r = r - v. Solve -13 = -x - 4*z, -x - x = -3*z + r for x.
1
Let p(q) = q**3 - 9*q**2 + 7*q + 10. Let n be p(8). Let c be 2*9/12*n. Solve 0 = 2*b + 2*r - 2, b + c*b - 2 = -2*r for b.
0
Let t be (-10)/(-25)*5 + 0/(-2). Solve 4*g + 12 = t*q, 0 = -0*q - 3*q - 2*g + 10 for q.
4
Let s = 85 + -72. Solve 4*q + 5 = -5*p + q, -s = -4*p + q for p.
2
Let b(p) = -p - 2. Let c be b(-5). Let y be ((-7)/(14/12))/(-2). Suppose y = 4*o - 1. Solve 3*s - 2*i - c = -o, -4*i - 4 = 0 for s.
0
Let u(m) = m. Let z(d) = 26*d**2 + 4*d. Let p(i) = -4*u(i) + z(i). Let a be p(1). Let n = 1 + 4. Solve -a = -2*t - 4*g, -t + 2*g = 2 + n for t.
3
Suppose -m = -3*m. Suppose -p - 4*p + 5 = m. Solve -d = -1, d - p = i + 2*d for i.
-2
Let r(p) be the first derivative of -p**2/2 + p - 2. Let u be r(-4). Suppose 3*t - 6 = 0, 5*f = -4*t + t + 16. Solve -12 = -4*q - f*z, -z + 9 = u*q + 3*z for q.
5
Let q(a) = -a**2 + 2*a + 4. Let x be q(2). Solve 0 = -4*w + x*m - 8, -2 = -0*w - 2*w + 4*m for w.
-5
Let o be (1*0/2)/2. Let i(u) = u**2 - 3*u - 6. Let m be i(6). Solve -g - d - 7 = -4*d, -3*d + m = o for g.
5
Suppose 2*n = 4*n - 8. Solve 0 = -3*y - r + 1, 0 = 5*y - 0*r - n*r - 30 for y.
2
Suppose -4*j - 5*y + 121 = 0, 8*j + 4*y = 3*j + 140. Solve -2*c - 4*o = -16, 2*c = -4*o + 8*o - j for c.
-2
Suppose -5*x - 14 = -7*x. Suppose 4*a - x*a = -15. Solve -4*o - a*g + 2*g + 12 = 0, -3*o - 2*g + 8 = 0 for o.
0
Let d(u) = -u**2 - 8*u - 6. Let j be (-2)/(((-6)/15)/(-1)). Let q be d(j). Solve -4*l = -q*l - 5*n - 20, -2*l + 4*n = -22 for l.
1
Let b(u) = -u**3 + 5*u**2 - 3*u - 3. Let i be b(3). Let h = i - 2. Let l = 18 - 10. Solve -c = h*a + l, -5*a + a - 2*c - 4 = 0 for a.
-3
Let x = -16 + 31. Let a = -10 + x. Solve 5*d = -24 + 4, -a = g + 2*d for g.
3
Let q(t) = 8*t - 2. Let h be q(2). Let o = -12 + h. Solve -4*m = -2*z - z - o, -5*m - 9 = 2*z for m.
-1
Suppose 0 = -4*b + 5 + 35. Let a = -7 + b. Solve -a*r + 4*j = -14, 3*j + 23 - 2 = -3*r for r.
-2
Let t(h) = h**3 + 2*h**2 - 6*h - 6. Let q be t(-3). Solve -4*j = -3*m - 9, 4*j - m - q = 7*j for j.
0
Suppose 27 = 2*s - 5*k, -3*k = -5*s - 4*k + 27. Suppose -s = -j - 0*j. Solve u - q = j - 4, 0 = -5*u - 4*q + 10 for u.
2
Let v(k) = k**3 + 3*k**2 + 3*k + 3. Let g be v(-3). Let n be (3 - (1 - g))/(-1). Solve 5*a + 17 = 4*x, 0 = n*a - 3*x + 4 + 9 for a.
-1
Let u(v) = v**3 - 5*v**2 - 6*v. Let l be u(6). Suppose l = k - 31 - 2. Suppose -k = -5*p + 27. Solve -4*d + 10 = x, -4*x - 3*d = -x - p for x.
2
Suppose 3*w - j = 11, 3*j - j - 6 = -w. Let g be (-2)/8*2*-16. Let q = g + -6. Solve 0 = -4*t - q*m + 24, -t + w*m - 13 = -2*t for t.
5
Suppose 6 =