 2*x = -24. Solve -5*l = -15, v + 2*l - x = -2*v for v.
2
Let c(w) be the first derivative of -w**3/3 - 5*w**2/2 - 4. Let t be c(-5). Solve -3*s + 11 = 4*l, 5*s = -t*s + 25 for l.
-1
Let d be 11/(-33)*(-12 + 0). Solve 0 = -2*p + 2*c, -d*c = 5*p - 3*p + 18 for p.
-3
Let f be 9/4 - 2/8. Solve f*d + 3*h - 11 = 0, 0 = -d + 3*h + h for d.
4
Let x be 10/(-1)*(-2)/(-4). Let i be x*(-2 - 1)/3. Solve -2*h + 1 = -z, -5*z + 3*z = -i*h + 2 for h.
0
Let h(n) = -n**2 - 11*n - 8. Let c be h(-10). Suppose -2*k - 6 - c = 0. Let f = k - -8. Solve -w - 16 = 5*l, -f*w - 7 = -l + 2*l for w.
-1
Suppose -3*j + 4*o - 3 = 0, -3*j + o + 1 = -5. Suppose j*v - 8 = 4. Suppose v*d = 3*d. Solve -3*t = 2*t + g - 2, -3*t + g - 2 = d for t.
0
Let r(m) = -m**2 + 3*m - 2. Let h be r(2). Suppose c - 3*v + 1 = 0, 0 = -2*c + v + 7 + 1. Solve c*l + 15 = -d, 0 = -h*d + 4*d + 3*l + 26 for d.
-5
Let t(d) = d**3 + d**2 - 3*d - 1. Let u be t(-1). Solve 5*k - 35 = 4*w, u*k - 4*w - 23 - 3 = 0 for k.
3
Suppose 4 + 0 = 2*b. Suppose 0 = b*d + 2*d. Suppose -4*a + 16 = 4*k, -5*k = -0*k - 4*a - 29. Solve k*y - 2*l + 0 - 25 = d, -y - l = -5 for y.
5
Let x(p) = -1 + 4*p**2 - 5*p**2 + 4*p**2. Let t be x(-1). Suppose t*f = 5*o + 31, 0 = f - o - 6 - 2. Solve -f*r - 3*v = -12, 0*r - v + 7 = 2*r for r.
3
Let m(g) = 2*g - 9. Let o be m(8). Suppose -o*v = -2*v - 40. Let n = v + 1. Solve x - 15 = -5*w, -w - 5*x = -4*w + n for w.
3
Let u = 1 + -1. Suppose 0 = -w + 2 - u. Solve 5*a = 2*r + 11, 4*r + w*a - 19 = -5 for r.
2
Let r = 3 + 0. Solve -d - 2*s + 9 = 0, s - 1 = r*d + 7 for d.
-1
Let v be ((-18)/(-4))/((-15)/(-20)). Suppose v*j = 2*j. Let x = 0 - j. Solve 4*a + 12 = 4*l, 2*l = -x*l - 4 for a.
-5
Let w = -2 + 4. Suppose -q = 3*q - 12. Let f = q + -1. Solve 5*y - 14 = -s, s = f + w for y.
2
Suppose 3*c - 2*c = g + 6, -g = -3*c + 18. Let y = -6 + c. Solve -j - i = -3*j + 9, y = 4*i + 4 for j.
4
Let b(z) = -z**2 + 3*z + 4. Let x be b(3). Let s be (29 - 30)/((-1)/5). Solve -4*i = -0*i - x*y - 4, 0 = s*i + 4*y - 23 for i.
3
Suppose 25*l - 12 = 19*l. Solve -3*k - 11 = l*d - 3*d, -3*d - 6 = 4*k for k.
-3
Suppose 2 = u, -x = -3*x + 5*u + 6. Solve -z - 3*z = x, -4 = -s + 2*z for s.
0
Let h = -51 + 89. Suppose -3*i + 5*p = -h, 2*i + 4 = -4*p + 22. Solve -2*l - i = 3*z + 2, 3*l = -z - 16 for z.
-1
Let o = -60 + 84. Let n be ((-12)/16)/((-9)/o). Solve j + n*d + 6 = 0, -j + 2*d = j for j.
-2
Suppose 4 = 5*k + 4*m + 3, -1 = -2*k - m. Suppose 6 = 4*f + 2*d, 0 = 2*f - d + k - 10. Suppose -n = f*n. Solve -2*j + 2 = 4*g - 12, n = 5*g - 3*j + 10 for g.
1
Let t be (4/(-6))/((-8)/36). Suppose 2*i = t*i. Suppose 0 = -2*x - 3*z + 2 - 1, 0 = x - 4*z - 17. Solve -2*c - 3*r - 2 = -5*r, -x*r - 20 = i for c.
-5
Let g be 3 - (0 + (-2)/(-2)). Let d(s) = -s + 1. Let i be d(-2). Solve 2*a + g*a - j - 5 = 0, -4*a + 15 = -i*j for a.
0
Suppose -3*o - w + 4 = -10, o + 2*w = 13. Suppose 48 = 5*x + o*y, -3*x + 4*y + 0 + 23 = 0. Solve s + 2 = -1, -3*l + x = s for l.
4
Let y(z) = z**3 - 7*z**2 - 7*z - 3. Let o be y(8). Solve -o*t - s + 6 = 0, t + 3*t + 1 = 5*s for t.
1
Let o = -16 + 24. Let r = o - 5. Let t = -4 - -10. Solve -t = h + r*p, -3*p + 6 = -3*h - 0*h for h.
-3
Suppose 4*u - 3*z = 0, z + 4*z = -5*u. Let w be 4 + (0 - (-3 - -1)). Suppose 4*g - l = g + w, -21 = -5*g - 2*l. Solve 22 = -r - g*b + 5, 5*r + b + 29 = u for r.
-5
Suppose -2*r = -6 - 6. Solve y + 2 = 0, r*v + 3*y + 12 = 4*v for v.
-3
Let d(l) = -l**2 + 25. Let r be d(0). Solve -5*s - r = 0, -3*o - 19 = -0*o + 2*s for o.
-3
Let y(m) = -m**2 + 37*m - 249. Let o be y(28). Suppose 5*n + 14 = 2*v, -n = -2*v + 3*v. Solve -3*k + 6 = o*w, 3*k = 3*w + 4*k + v for w.
-2
Let h = -5 + 14. Let w = h + -6. Solve w*q - 9 = -4*k, -3 = q + 2*q for k.
3
Let i(a) = -a. Let j(h) = -6*h - 1. Let f(r) = -5*i(r) + j(r). Let y be f(-1). Solve -4*q + 3*p - 4*p - 23 = 0, y = -4*q + 5*p - 5 for q.
-5
Let n = -82 + 137. Let q be (1 - 3)/((-22)/n). Solve 0 = -4*c + 3*h + 20, 4*c + q*h = 2*c - 16 for c.
2
Suppose -22 + 85 = 9*f. Solve -3*l - l - 4 = 0, -5*l + f = 4*k for k.
3
Suppose -5*n + 9*n = 8. Let o be 12/n*(-2)/(-6). Solve -u + 2*g = u + 10, 5*u = o*g - 13 for u.
-1
Let t(j) = 7*j**2 - 6*j**2 - j**3 + 4*j**2 - 5*j + 3. Let m be t(3). Suppose 10*k - 9 = 7*k. Solve -x + 2 = a, -m*x - 14 = -k*a - x for a.
3
Suppose 0 = -2*v - v + 12. Suppose -v*t + 9 + 3 = -2*y, -2*y = 5*t - 33. Solve 0 = -5*i - m - 6, t*i + 4*m - 1 - 5 = 0 for i.
-2
Suppose -83 + 453 = 10*k. Solve 3*x - k = -5*d, -4*d = -0*d - 20 for x.
4
Let i = -1 - 1. Let n(h) = -3*h**3 - h**2 + h - 2. Let z be n(i). Solve 0 = -4*m - 2*w - 3 - 1, -4*m = -w + z for m.
-3
Suppose -5*m - 95 = -0*m. Let t = m - -21. Solve 2*i + 4 = -t*s, -s - 2*i + 7 = -4*i for s.
1
Let x(i) = -i - 9. Let a be x(-7). Let p = 1 - a. Suppose -5*c + 33 = 8. Solve 5*m + 5*z = c - 0, 0 = m + p*z - 1 for m.
1
Suppose 46 = 7*d + 18. Solve -x = -d, 2*x = 2*r + r + 14 for r.
-2
Suppose -3*m + 8*m - 80 = 0. Let z be 0 + (-2)/2 - -4. Solve -q + z*q - 3*t + 4 = 0, -2*q = 3*t + m for q.
-5
Let d be (-6)/(-1) - (0 + 0). Let z be 9/12 - 38/8. Let w be z/(-8) + d/4. Solve w*c = -3*r - 22, 3*r - c - 17 = 6*r for r.
-4
Let i = 0 + -7. Let l(t) = -2*t - 9. Let p be l(i). Let z(q) = 3*q**3 + q**2 - 2*q + 1. Let u be z(1). Solve 5*g = 3*r + 30, 0*r - p*r - u*g - 16 = 0 for r.
-5
Let f(u) = u**2 + u. Let l be f(-3). Suppose -l*m = -m - 20. Solve 16 = 5*x + c, -x - 2*c = -m*c - 12 for x.
4
Let r = -1 + 1. Let y(u) = 6 + 2 + 6 + u. Let p be y(r). Solve s - p = 4*k - 2*s, 3*k - 2*s = -11 for k.
-5
Let b be (7 + -15)*4/(2/(-2)). Solve 0 = 5*y - 2*f - 2*f + b, y - f = -7 for y.
-4
Suppose 2*z = 3*z - 4. Suppose -3*y + 23 = z*h, h - 19 = -5*y + 4*h. Solve -12 = 3*m - 4*k + 3, m = -y*k + 14 for m.
-1
Suppose 2 = -3*w - 13. Let i be 2*(-1 - (-2)/4). Let g = i - w. Solve -1 = f + z, -g - 6 = 5*z for f.
1
Let y = 2 - -2. Let m(b) = b**3 + 2*b + 1. Let q be m(-1). Let x be (q - -2) + 6/2. Solve y*j + 16 = 2*g, j - 3*g - 8 = x*j for j.
-4
Let l be (6/(-5))/((-9)/30). Let x be 1*4 - (5 + -7). Solve 0 = -p + l*t + t + x, 2*t - 4 = 2*p for p.
-4
Let h(l) = 2*l**2 + 5*l + 2. Let s be h(-3). Suppose s*c - 164 + 59 = 0. Solve 3*u - w + 17 = 6*u, 5*u - 2*w = c for u.
5
Suppose 0 = 2*m + 2*m - 36. Let r = -12 - -19. Let s = m + r. Solve 3*y = 9, s = -5*d - y - 2*y for d.
-5
Let c be ((1 - 3) + 2)*-1. Suppose c = -2*n - 2*n. Solve -2*x + 4*a - 10 = -n*x, -20 = -x - 3*a for x.
5
Suppose -5*a - 30 = -115. Let v be (2/(-2) + 1)/1. Let y = a + v. Solve -4*z + 4*k + 31 = 11, -z + 4*k = -y for z.
1
Let o = -111 - -116. Solve 4*q + a = 1, 2*a + 2 = -o*q + q for q.
1
Let z = -137 - -137. Solve -h + 0*h - 5*l - 19 = z, 5*l = h - 21 for h.
1
Suppose 3*i - 8*i = -95. Solve -2*f - 2*q = -6*f + 2, 2*f - 5*q + i = 0 for f.
3
Let f(i) = -2*i + 2*i**3 + 5*i - 2*i**2 - i**3 + 4 - 6*i**2. Let t be f(8). Solve 4 = -5*s - 4*p, s + 4*p - t = 4*s for s.
-4
Let t be 2/(-7) + 15/(-21). Let q be (-1)/t*1 - -1. Suppose 4*u - 48 = q*u. Solve 3*w - x + u = -w, 3*w + 11 = -x for w.
-5
Let l(h) = 3*h + 2*h + 0*h - 4*h + 2. Let k be l(5). Suppose -3 + k = 2*r. Solve -3*m = -r*m - 5*b + 4, 2*m + 2*b - 4 = 0 for m.
1
Suppose -5*q = -2*m - 9, -2*q + 2 + 4 = 0. Solve -o = -2*g + m, -2*g - 5*o + 7 = -2*o for g.
2
Suppose -6*g = -8*g + 34. Solve i + 5 = -p + 4*i, 0 = -2*p - 3*i + g for p.
4
Let u = 18 + -15. Suppose u*n = 4*n. Solve -5*g = 4*y - g - 28, -2*y - g + 12 = n for y.
5
Let b be 4/(-6)*(-14 - 1). Suppose b + 12 = 2*u. Solve i + 2*s - 2 = u, -i = 4*s - 23 for i.
3
Suppose 4*p - 24 = 2*p. Suppose -3*f - 3*h = -7*f - 20, 2*h - p = 2*f. Let b be 4 + f + (-2)/(-2). Solve 0 = -2*c - b*q + 6, 12 = 5*c + 3*q - 3 for c.
3
Let d be 3*1*(-2 - -3). Solve -d*t + 21 = -3*o, -5*t - 6 = 5*o + 9 for t.
2
Suppose 15*o = 19*o. Solve 5*u + o*u - 2*r + 2 = 0, -10 = -5*u + 5*r for u.
-2
Suppose -4*d + 0*d - 3*f + 69 = 0, 4*d - f = 73. Solve 0 = 5*s + q + d, 2*q = -4*s + q - 14 for s.
-4
Let k be -1*(0 - -2) - 23. Let r = 39 + k. Solve 0 = -5*m + 5*l - 45, -3*l = -2*m - 2*l - r for m.
-5
Suppose g = 17 - 5. Let r be 3/4 + 3/g. Solve 0 = v + r, 4*q = 3*v + 2*v + 21 for q.
4
Let c = -5 - -7. Suppose 22 = 2*o + 4*u, c*o - 2*u - 2*u = 6. Solve -2*q = 3*g - o*g - 2, 0 = -2*g - q - 7 for g.
-2
Suppose -j = -2*p + 34, -p = -0*p + 4*j - 35. Solve l = -4*s + s -