m, 2*l + 11 = -5*h for l.
-3
Let j be (6 - -2) + 2 + -6. Let g = -52 - -57. Solve 0*l - g*l + j*h = 2, -3*l + 3*h = 0 for l.
-2
Let k(l) = l**3 + 19*l**2 + 23*l + 23. Let t be k(-18). Let v = -39 - t. Suppose d = 5*d - v. Solve -1 + 5 = -2*u - x, u - 4*x - d = 0 for u.
-1
Suppose 2*s + 3*y = 6*s, 12 = 3*y. Suppose -5*v + 2 = -2*z, -2*z - s*v + 14 = -0*v. Solve -2*a - 32 = 4*o - 6*a, 4*a = -5*o - z for o.
-4
Let v(l) = -2*l + 10. Let f be v(4). Let x(m) = m**3 + 2*m**2 - 4*m + 2. Let u be x(f). Solve -p = -3*a + p - u, -p = a for a.
-2
Let b = -23 - -49. Suppose 6*s - b = 40. Solve -h - s = 3*k + 9, 3*h = 4*k + 5 for h.
-5
Suppose z + 26 = -2*c, -2*z + 2*c - 74 = 2*z. Let n = z - -26. Suppose 4*b - b - n = 0. Solve -s = 2*s + 5*w - 37, -26 = -4*s - b*w for s.
4
Let h be 1/((63/42)/((-30)/(-4))). Let i = -4 - -6. Suppose -p - 3*t = 0, -i*t = p - 2*p. Solve -2*s + p*s = -2*g - 12, -g = h*s - 18 for s.
4
Let k(y) = 2*y**2 + 840 - 835 + y**3 + 13*y**2 - 16*y. Suppose -2 = -z, -4*f - z = f + 78. Let s be k(f). Solve 0 = -3*h - 4*w + 1, 7*h - 6*h + s = -4*w for h.
3
Let k(s) = -s**3 - 8*s**2 - 2*s - 5. Let x be k(-8). Suppose 24*y = x*y. Solve 3*q + 16 = 4*p - 5, y = 3*q - 5*p + 24 for q.
-3
Suppose -2*h + 3*o - 12 = h, -h = 4*o + 19. Let k = h - -9. Let b be k + (-1 - 2 - -5). Solve -g + 5 = -b*d, -5*d - 4*g - 11 = -31 for d.
0
Suppose 3*t = 4 - 10. Let c be (-5 - -15)*(-1)/t. Solve 2*p = -c*x + 31, 13 = 2*x - 0*x + p for x.
5
Suppose -5*g - p + 20 = 0, 0 = 4*g - 3*p + p - 16. Suppose -n = -g*m + 22, -7*n + 2*n + 16 = m. Solve 0 = 5*u + 2*f + 14, -5*f - 3 = 3*u - m for u.
-4
Let c be 4*(-4)/(-16)*5. Solve -c*f + s + 5 = 30, f = -4*s - 5 for f.
-5
Let m = -9 - -15. Suppose 3*c = 5*l - 19, l - 21 = 2*c + m*l. Let w = 8 + c. Solve 4*h + w*h = -8, 0 = -2*r + 2*h for r.
-2
Suppose 2*p = -33 + 37. Solve p + 4 = -2*x - 2*z, -5*z = -2*x - 20 for x.
-5
Let m = 7 + -4. Suppose 69 + 66 = -5*n. Let a be (265/(-180) + (-6)/n)*-4. Solve 2*f + 20 = -3*f, -a*h = m*f + 37 for h.
-5
Let o be (7 - 2)/(0 + 1). Let g(w) = w + 7. Suppose 0*s + 3*u = 3*s + 12, -u - 11 = 2*s. Let d be g(s). Solve -5*q + 5*j = o, -7*q = -2*q + d*j + 5 for q.
-1
Suppose 3*m + 13 = -r, 3*r - 2*m + 9 = -m. Let c be (2/3)/((64/(-72))/r). Solve -3*s = 4*x - 3, c*x = -2*s + 6*x + 2 for s.
1
Let g = -580 - -583. Solve 4*n + 4 = g*a, 0*n - 2 = 2*n for a.
0
Let n be (2 - (-14)/(-2)*1)*-3. Solve -5*z = 3*i - n, -5*i + 2 = z - 1 for i.
0
Suppose -2*k + 0 = -6. Solve 5*t + 2*h = 4*h - 6, -12 = 3*t + k*h for t.
-2
Suppose -5*n + k + 9 + 10 = 0, 3 = 3*k. Suppose 20 - n = 4*g. Solve -g*p + 12 = -5*q, -4*q - 12 = -p - 3*p for p.
3
Let g = 52 - 46. Suppose -5*q = -q - 32. Suppose l = 2*i - q, 0 = 5*i - l + 3*l - 38. Solve 0 = i*p - 3*p + o + 14, -2*p = -o + g for p.
-4
Let q be 0/((-12)/(-4) + -2). Suppose 3*s + 3*t = 27, q = 2*s + t - 28 + 9. Let f = -93 - -95. Solve 28 - s = -b - 4*g, 0 = -f*b + 4*g + 24 for b.
2
Suppose 0 = -5*f + 10*f + 4*j - 26, -4*f - 2*j = -16. Solve -b + f*h - 1 = 0, -3*b + 1 = 2*h + 12 for b.
-3
Let l be (-7)/14 - -7*(-3)/(-6). Let x be 5 + 0/(-1) - l. Solve 2*f + x*r - 7 + 3 = 0, 3*f = -5*r for f.
5
Let k = 32 + -38. Let y be (-2)/(k/4 + 1). Solve 6*q = q + y*j + 23, 22 = 4*q - 5*j for q.
3
Let w(z) = -z**3 - 5*z**2 + 4*z - 12. Let a be (-12)/(-36) - 19*1/3. Let o be w(a). Solve 3*h + 5*y = -o*h - 11, -y = h + 1 for h.
3
Let o = 2 - 0. Suppose -1 + 7 = o*g. Let r be (1 - (7 - 1))*(-252)/420. Solve -4*s + r*h + 14 = h, g*s = 3*h + 18 for s.
1
Suppose -31 + 75 = -11*w. Let y = 0 - w. Solve y*l + 14 = -3*f - 0, -l - 2*f - 6 = 0 for l.
-2
Let g = 510 + -510. Solve g = 3*n + 5*a + 4, 4 = -0*n - 2*n - 2*a for n.
-3
Suppose -2*q = -2*v + 3*q, 0 = -3*v - 4*q + 46. Suppose -3 = 2*n + 17. Let t = v + n. Solve o - 3*f = -12, -3*f + t*f + 27 = 4*o for o.
3
Let l = -34 + -20. Let y = 57 + l. Solve 4*g + 2*z + 11 = 3*z, -5*z = -y*g - 4 for g.
-3
Let j = 212 + -209. Let c = 2 + -1. Solve -2*g - u = c, j*u - 1 = -4*g - 2*u for g.
-1
Let a be (-2)/(-5) + 40/(-100). Solve 4*x + 2*d = 14, a = 3*d - 0 + 9 for x.
5
Let b(i) = -17*i + 598. Let p be b(35). Solve -p = 4*w - 7, -3*s = -5*w + 20 for s.
-5
Let o be (204/10)/((-3)/(-15)). Let v = o - 100. Solve -5*g + p + 1 = 0, 2*g - p - v*p + 10 = 0 for g.
1
Let f = 583 - 578. Solve 4*p - 4*n = 4, -6*n - 13 = 3*p - f*n for p.
-3
Suppose 4*x - 50 = -30. Solve 3*o = x*h + 9, h + 2*o = -3*h - 16 for h.
-3
Let v be (-4)/(-3)*3/1. Let z be 10/8 + 132/48. Suppose 4*n = -5*s + 32, z*s - 11 = -3*n + 14. Solve 4*o + u - 20 = 0, 3*u + 19 = n*o + v for o.
5
Suppose 5*f = -r - 31 + 11, -8 = r + 2*f. Let d(j) = j**3 - 2*j**2 + 3. Let h be d(3). Let v = h + -8. Solve 0 = 4*a - r*a - 2*o, -4*a - 8 = -v*o for a.
2
Suppose 0 = -4*b + 13 - 5. Suppose -4*i - 20 = z, -10 = z - 4*z + b*i. Let t = 11 + -6. Solve -2*m + 5 = -x, z*m + t*m - 35 = -2*x for m.
5
Let r(d) = 20*d - 4. Let u(i) = -7*i + 1. Let z(j) = 4*r(j) + 11*u(j). Let w be z(3). Solve y = -4*n + 11, -19 = -n - 4*n + w*y for n.
3
Let f be (-3)/(2/1 - 3). Suppose 0 = 4*h - 3*h - 4*u + 13, h + 5*u = 5. Let z = h + 9. Solve z*v + f*o + 11 = 0, 2*o - 20 = 5*v + 11 for v.
-5
Suppose 1 = 2*u - 3. Suppose -u*n + 7 - 3 = b, -3*b + 2*n + 36 = 0. Solve i - j = 3 + 1, 4*i - j - b = 0 for i.
2
Let m(f) be the third derivative of f**5/60 + f**3/6 + 39*f**2. Let j be m(2). Let n be 8/6 - 4/(-6). Solve 27 = b + j*y, -4*y + 18 = -n for b.
2
Let j = -518 + 521. Solve j*t - 9 = -2*n + 7, -n = -3*t + 10 for n.
2
Let a(q) = -q**3 - 7*q**2 - 6*q. Let w be a(-6). Suppose -j + 10 - 5 = w. Solve 0 = -5*h + 4*z - j, -z + 8 - 3 = 0 for h.
3
Let w(t) = -t**3 + 30*t**2 + t - 27. Let i be w(30). Solve 0 = -4*u + 20, 3 = i*b + 5*u - 22 for b.
0
Let j be (-58)/319*11*-1. Solve j*i = 3*m + 25, -7 - 3 = -3*i - m for i.
5
Let x be 3 + -1 + -4 + 18. Suppose u = -3*u + x. Suppose 3*f = j + 7, -j - u*f + 26 = j. Solve 22 = -5*d - q, 4*d + j*q = q - 24 for d.
-4
Let y = -545 + 545. Solve 4*a - b = -2, y*a + 9 = -a - 4*b for a.
-1
Let s be 3*(4 + -3 - 0). Suppose -3*x - 5*i = 1, -4*x + 50 = -3*i + s. Solve -2*d + 10 = 2*q, 0 = -5*q - 4*d + 15 + x for q.
3
Let w(v) = v**2 - 11*v + 4. Let l be w(11). Suppose -16 = -l*n - 0*n. Suppose 4*b = 3*b + n. Solve -2*q + 3*p = -4, 4*q - 6*q + p + b = 0 for q.
2
Suppose n = 3*a - 98 + 3, -3*n - 21 = -a. Solve 4*q - 13 = 5*o, 4*o + 5*q = -a - 2 for o.
-5
Let z be (-120)/(-25) - (-1)/5. Suppose -9*w + 16 = -z*w. Solve n + 10 = -w*b + 3*n, 6 = -2*n for b.
-4
Suppose 6 = 2*q - 4. Suppose 0 = 3*p + 4*c + 35, -4*p = -2*p - 3*c - q. Let n = p + 7. Solve -3*j + n + 4 = 3*g, 5*g = 4*j - 35 for g.
-3
Let i(r) = -r**3 + 3*r**2 - 4. Let g be i(2). Suppose 2*q + g*q - 6 = 0. Solve 5*p + 5 = 0, q*a = -3*p + 4*p + 10 for a.
3
Suppose -6*s + 30 = -3*s. Solve 4*i + s = 2*v, -i - 5*v + 7 = -7 for i.
-1
Let z be 8*((-15)/(-6) + -2). Suppose -2*u - 6 = 5*k + 2*u, 5*k + u = 6. Let j be 12 - (k - 1 - -1). Solve 2*b = 6, -3*l = -z*l - 3*b + j for l.
1
Suppose 29*r - 62 = -2*r. Solve r*x - 16 = 4*s, -2*x - 2*s + 13 = -5*s for x.
2
Let x = 218 + -193. Let y(o) = o + 5. Let w be y(0). Suppose k + 2 = 0, -4*t + t + w*k + x = 0. Solve -6*q - 21 = -2*n - q, 3*q + 24 = t*n for n.
3
Let d be -14 + (-1057)/(-35) + (-4)/(-5). Solve 5*q = -m + d, -3*q - m = -4*m - 3 for q.
3
Let f = -13 + 20. Suppose 62 = f*x + 6. Solve 0*w - x = 4*w + 2*g, 3*g = 2*w - 12 for w.
0
Suppose 5*b = -0 - 5. Suppose -5*r - 6 = j, -2*j + r = -0 + 1. Let g be 3*b/(j/1). Solve -g*d = -d - 6, -3*s = -3*d + 12 for s.
-1
Let t(v) = -2*v + 16. Let d be t(-18). Let n = 52 - d. Solve 4*r + 4 + 8 = n, -r + 13 = -4*p for p.
-4
Let k(q) = -2*q - 12. Let a be k(-5). Let t be (-3*27)/(-3) - a. Suppose 20 = x + 3*x. Solve 2*p + 6 = -x*s - 13, -4*s - t = -3*p for p.
3
Suppose -3*s - 90 = -13*s. Suppose 2*r + 2 = 2*v + 8, 3*r - s = 5*v. Solve 5*g - j + 24 + 0 = v, -4*g - j = 12 for g.
-4
Let o(t) = -t**2 - 31*t + 171. Let u be o(-35). Solve -33 = -2*i + 5*s, -3*i + 3*s + u = i for i.
4
Let q = 7 + -5. Suppose x = 2 + q. Let l(v) = -v + 58. Let h be l(46). Solve x*b = c - 15, -c + 2 = b + h for c.
-5
Let h be 0 + (-57)/(-30) - 14/(-140). Solve 4*f + 2*b = -6, 6 - 1 = -5*f - h*b for f.
1
Let p(h) = -3*h**3 - 5*h**2 - 8*h + 1. Let f be p(-1). Solve -2*q - q = 4*d + f, q - d + 7 = 0 for q