 s = 2*m - 3 for m.
-1
Suppose 3*o - 8 = -2*h + 7*o, -3*h + o = -7. Solve 0 = 3*w - 4*x - 2, -h*w - 7 = -5*w - x for w.
2
Let z be 2*3*7/14. Let o = 3 - z. Let n be o - ((1 - 3) + -1). Solve 0 = -5*s - n*x + 29, x - 5 = -s + 2 for s.
4
Let g(d) = d + 15. Let k be (-2 - -3) + -13 - -1. Let u be g(k). Suppose n = -u*n. Solve -l + 5*x = -18, 4*l - 7*x + 3*x - 8 = n for l.
-2
Let t = 14 + -12. Suppose 3*d - d + 12 = t*l, 2*d + 4 = 4*l. Let i = 14 + d. Solve -m + 5*m + i = 0, -3*m + 2 = -b for b.
-5
Suppose 0 = 3*b - s + 7, 6 + 2 = 2*s. Let l be b/4 - 51/(-12). Solve -5*m + 31 = 3*r, 0 = -l*m - 4*r + 38 - 10 for m.
5
Let x = -21 - -28. Let r(d) = 0*d**3 - 3*d - x*d**2 - 4*d**3 + 9*d - 11 + 3*d**3. Let z be r(-8). Solve -5*o = -3*l - 34, z*l + 13 + 12 = 2*o for o.
5
Let a(q) = q**3 + 13*q**2 - 8*q + 86. Let o be a(-14). Solve 2*j - j - o*g + 10 = 0, 3*g = -3*j + 15 for j.
0
Let q(c) = 23*c + 13. Let j be q(0). Solve -5*s + 35 = -5*g, -4*s = -5*g - 18 - j for s.
4
Let v be -1*(0/3 - 25). Let f = v + -23. Solve 5 = -0*a + a, f*l + 5*a = 33 for l.
4
Let a(b) = b + 36. Let c(o) = 1. Let i(q) = a(q) - 2*c(q). Let d be i(-16). Solve 3*s = -k - d + 5, -5*k - s - 23 = 0 for k.
-4
Suppose 64*p = 41*p + 460. Solve -3*s = 2*x - p, 5 = -3*s - 3*x + 29 for s.
4
Let c(i) = 2*i - 13. Let b be c(9). Solve -z + 16 = -b*t + 2, -4*z + 18 = -t for z.
4
Let k be (4 - 1)*(-16)/(-24). Suppose -70 = -12*a + k. Solve -3*l + 10 = 4*g, g = l - 0*g + a for l.
-2
Let g(n) = -n**3 + 24*n**2 - 35*n - 194. Let v be g(22). Solve 0 = -3*z - r - 10, -v*z + 3*r - 15 - 7 = 0 for z.
-4
Let s(i) = 4*i**2 - 4*i - 6. Let j be s(-1). Solve -4 = j*d, 4*d = -3*o + 7*o + 12 for o.
-5
Let n be -2 - (-2 - (-1 + 20)). Suppose 7*k - 3482 = -3468. Solve -c - x + n = 3*x, -k*c + 14 = 2*x for c.
3
Let r be 6/3 + (-9)/(-3). Suppose -40 = -r*j - 0. Solve 4*d - 3*i - j = 0, 0 = -2*d - 5*i + 16 + 14 for d.
5
Suppose w = 5*i - 0*i + 3, -3 = -w - i. Suppose 2*s + 2*s - 14 = 2*q, w*q = -4*s + 29. Suppose -2*u = -0*u. Solve u = b + 1, -2*f + 5*b - s = 2*b for f.
-4
Let k(u) = -3*u**2 + 24*u - 30. Let n be k(5). Solve 0 = -5*s + n, 4*a + 0*s - 17 = s for a.
5
Suppose -3*f - 54 = 3*o, -2*f - 2*f + 2*o - 96 = 0. Let i = -20 - f. Suppose -25 = -5*y, i*y - 9 = -x + 5. Solve w - l = 2*w - x, 5*l + 20 = 3*w for w.
5
Suppose -7*r = -5*r - 140. Let n be (-20)/r + (-93)/(-7). Suppose 0*m + 8 = 2*m. Solve m*x + n = -i, -x - 17 = -3*i + x for i.
3
Let x(i) = 5*i - 11. Let w be x(4). Suppose w*h - 14 = 22. Solve 2*g - h = 2*y, -y + 3*g = -g + 5 for y.
-1
Suppose g - x - 5 = 0, -4*x - 3 = 5*g - 1. Solve h = -4*h - v - 25, -g*v = 4*h + 20 for h.
-5
Let z(i) = -i**3 + 5*i**2 - 4*i + 2. Let c be z(4). Suppose -53*t + 29 + 448 = 0. Solve -4 = c*v, 5*l + t = -v - v for l.
-1
Let w = -2023 - -2026. Solve 0 = -5*g + 3*n - 1 - 1, -g = 2*n + w for g.
-1
Let g(c) = c - 4. Let v(b) = -b + 1. Let x(y) = 2*g(y) + 4*v(y). Let h be x(-9). Let k be h/(-1 - 21/(-15)). Solve 4*z - 3 = t + 12, -3*t + k = 4*z for z.
5
Let g(u) = 3*u + 2. Let n be g(2). Suppose -z + n*z - 14 = 0. Solve z*r - 19 = -3*m + 7*r, 5*m - 4*r = 23 for m.
3
Let i = 19 + -29. Let p be i/2*9/(-15). Suppose -3 = -p*q + 2*d, d - 6 = -3*q + 2*d. Solve -2 = -g + l + q, 3*g = -5*l + 7 for g.
4
Let x(z) = z**3 - 5*z**2 - 4*z + 5. Let f be x(5). Suppose -21*k = -22*k - 25. Let w = f - k. Solve 5*j + 5*g - w = 10, -5*j + 20 = -3*g for j.
4
Suppose 21*h = 16*h + 20. Suppose w - 5*c + 5 = h, 0 = 2*w + 3*c - 11. Solve 4*p - 5*n - 1 = 0, 2*p = -2*n + 6*n - w for p.
4
Suppose 0*u - 22 = -3*z + 4*u, 3*z + 2*u = 52. Suppose 4*t - z + 2 = 0. Suppose t*k - 16 = k. Solve 0 = -2*c - 3*c - 10, -4*v = -4*c + k for v.
-4
Let f be ((-3)/(-4))/(2/8). Let x = 32952 + -32948. Solve z + 9 = -f*n - 8, n = x*z + 16 for z.
-5
Let w = -11 + 7. Let o(c) = c**2 + 9*c - 33. Let x be o(3). Let u be 4 - (x - 4/w). Solve -4*p + 0*j = -2*j, -4*p - 2*j - 8 = u for p.
-1
Let l(n) = -n + 3. Let p be l(2). Suppose -5*u - p = -x, -4*u - 2 = -4*x + 2*x. Solve -3*b = -i - 8, 2*b - 3*i = -u*b + 3 for b.
3
Let z(p) = -3*p**2 - 5*p - 3. Let g be z(-2). Let o be 6 + -8*g/(-10). Solve 0 = 2*r - 4*f - 6, -4*r = -o*r - 2*f - 8 for r.
5
Let y = -34 - -44. Suppose 5*n = y - 0. Solve n*x - 21 = j - 2*x, 3*j - 5*x + 28 = 0 for j.
-1
Let o be 21/(7 + -2 - (-25 + 29)). Solve -2*u = 2*b + 3*b - o, 2*u - 3*b = -3 for u.
3
Suppose -10 = 4*o - 22, -4*j + 3*o - 1 = 0. Solve -j*t - 3 = 3*m, 0*t = -5*t for m.
-1
Let v(w) = 3*w**3 - w**2 + w - 1. Let g be v(1). Suppose -3*s = g*j - 11, 6*s = 5*j + 2*s - 16. Solve -5*r = 5*q, j*q - r + 4*r = 4 for q.
4
Let b be (2 - 1) + -23 + 26 + 0. Solve -4*o = -4*t - 20, -o - 3*t - b = -1 for o.
3
Suppose 2*j - 4*p - 12 = -p, 0 = -5*j + p + 4. Suppose j = -2*d - 3*d - 80. Let m = 19 + d. Solve 0 = u - 3*a + m, -u = -4*u - 2*a + 13 for u.
3
Suppose -10 = -3*b - 2*u + 5, -4*b + 3*u = -3. Suppose -b*h + 40 = 2*h. Suppose 4*g = h*g. Solve 5*v + 4*i - 18 = g, 5*i - 1 = 4*v + 1 for v.
2
Let h(k) = -41*k - 202. Let t be h(-5). Solve 0 = 5*u - 2*v - 4 + t, -3*v + 1 = -5*u for u.
1
Let c(m) be the first derivative of 25/3*m**3 - m + m**2 - 3. Let d be c(1). Solve 2*l + 5*j = 0, -5*j + d = -4*l - 2*j for l.
-5
Let x be (3 + -2)*4*(-35)/(-10). Suppose x = 3*y - 1. Solve -12 = -3*d + y*h, -2*d - 5*h - 17 = -0*h for d.
-1
Let z = -10 - -12. Suppose -3*f - 2*v + 4 = 0, z*f + v = f + 1. Solve 16 = -4*m - 4*y, -f*m + y = 4 + 7 for m.
-5
Let i(s) be the third derivative of -s**3/6 - s**2. Let k(l) = 20*l + 2. Let q(w) = 4*i(w) + k(w). Let t be q(1). Solve -1 = a + 5*b, 2*a = 7*a + 2*b - t for a.
4
Suppose 5*m = -4*n + 512, 2*m - 339 + 83 = -2*n. Suppose 48 = -8*z + n. Solve 3*d + z = -2*t - 3, 5*t = 2*d - 23 for t.
-5
Suppose -9 = -21*l + 96. Solve -n - l - 12 = 4*c, 0 = -c - 5*n - 9 for c.
-4
Let j(z) = z**2 + 5*z**2 + 2 + z**2 - 4*z**2 - 4*z. Let h be j(2). Suppose -h*l + 2*l + 12 = 0. Solve -18 = 4*o - 2*v + l*v, -5*o + 4*v = 33 for o.
-5
Let l = 0 - -8. Let c(u) = 2*u**2 - 11*u + 2. Let t be c(l). Let w = t - 29. Solve 0 = -3*n + 2*q - w, 4*q - 13 - 11 = 4*n for n.
-1
Let l = 2 + 3. Suppose 5*v = -3*g + 31, l*v + 4*g - 7 = 26. Solve -p + 10 = 3*r - 0, -25 = -v*r for p.
-5
Let t be 3/18 + 3/(-18). Suppose 0*f - 2 = -f, t = 2*q + 5*f - 18. Solve -q*j = -5*d, -2*j - 3*j = 3*d for d.
0
Let k(y) = -y**3 - 4*y**2 - 4*y - 3. Let z be k(-3). Suppose 5*f = z, 2*f = -l - 1 + 6. Solve -3*h = -4*v - l, -v - 10 = -4*h + v for h.
3
Let d(t) = -t - 6. Let r be d(-6). Let p(l) = 7 - l + r*l + 0*l. Let w be p(3). Solve 0 = -w*z - 7 + 23, 3*s = -z + 13 for s.
3
Let c(g) = -g**3 + 4*g**2 - 2*g - 1. Let s be c(2). Let k = -135 + 72. Let p be -2*3/24 - k/12. Solve s*f = f - u + 5, p = 4*f + u for f.
0
Let f be (-3)/(1/2 + -2). Let r be (f/(-6))/(1/(-9)). Solve r*a - 3*x = 18, x = -2*a + 5 + 4 for a.
5
Let y(c) = -3*c + 26. Let x = -23 + 30. Let v be y(x). Solve v*j + 2*l = 29, -j + 7 = l - 0 for j.
5
Let x be 3*((-16)/6 + 1). Let b(g) be the second derivative of g**3/3 + 6*g**2 - 6*g. Let q be b(x). Solve -3*m - 5*w - 3 = 0, -q*w = -2*m + 4*m + 2 for m.
-1
Let k(t) = 28*t + 1. Let s be k(1). Suppose 3*y - 1 = s. Let h be y/4*(-12)/(-10). Solve 0*f + 2*f - 4 = h*x, -18 = x - 4*f for x.
2
Suppose -17 + 13 = -2*z - 2*v, 0 = z + 3*v - 2. Suppose 2*w + 3*d = 4*d + 19, 4*d = 3*w - 16. Let t = w - 8. Solve -t*i + z = 4*p + 6, 0 = -2*i - p + 1 for i.
2
Let d(m) = m**3 + 15*m**2 + 3*m + 22. Let h be d(-15). Let o = h - -27. Solve 0 = 5*g + 3*n - 18, o*n = 3*g - 2*g + 1 for g.
3
Let d(t) = 34*t**3 + 4*t**2 - 63*t**3 + 30*t**3 + 2 + 4*t. Let g be d(-2). Solve 5*y - g*b = -1, -y + 12 = -3*y - 5*b for y.
-1
Suppose -10*p - 4 = -34. Suppose -2*c + 21 = p*i, -c = -2*c - 2*i + 9. Solve -18 = 4*s - 2*t, 0*t + c = 5*s + 5*t for s.
-2
Let d = -267 + 267. Solve 0 = -2*j + 5*q - 11, d = -2*j - 2*j + 2*q - 14 for j.
-3
Let f(v) = -v**2 - 2*v - 1. Let s be f(-1). Let m = 105 - 97. Solve -2*a = l - 7, -4*a - 3*l + 7 + m = s for a.
3
Let h be (-40)/(-14) - (-3)/21. Solve 4*b - 5 = -1, h*b - 8 = 5*k for k.
-1
Let c(q) = -q**3 - 5*q**2 - 6*q - 5. Let y(f) = -4*f**3 + f**2 + 2*f - 3. Let k be y(1). Let s be c(k). Solve -3*p + 8 = 2*a - 8, 0 = a + s*p - 11 for a.
5
Suppose 0 = 2*u, 5*n = 5*u + 5 + 10. Let s(b) = n*b + 2*b**2 + 3 - 11*b - 8*b. Let j be s(8