5*s - 11 for s.
1
Suppose -k = -2*k - 4*v - 1, 4*k + 2*v = 10. Suppose -5*a = -k*a - 46. Solve 0 = 4*y - 3*p + a, 5*y = 2*p - 0*p - 27 for y.
-5
Let y(m) = m**2 - 8*m + 3. Let f be y(9). Let c = 12 - f. Let l = 19 + -13. Solve -z + 4*o - 13 = c, -3*z - 5*o + l = -23 for z.
3
Let z be 2/(-4)*10*-1. Suppose -221 + 66 = -z*q. Suppose -3*p + 3*t = -t - q, 5*t = 4*p - 41. Solve -4*j + p*j = n + 25, -2*j - 2*n + 10 = 0 for j.
5
Suppose -3*s - 6*l + 29 = -2*l, 3*s - 4*l = -11. Solve 0 = -2*c + 5*c + 2*r + 16, -r = -s*c - 10 for c.
-4
Suppose 0 = 106*m - 112*m. Let v(x) = -x**2 - 6*x - 3. Let b be v(-5). Suppose -3 = -b*k + 1. Solve h + k*o = 4, m = 4*o + o - 15 for h.
-2
Let a(y) = 2*y. Let v be a(-3). Let g = v + 8. Solve 2 = -g*n - 2*b, 3*b + 8 = 4*n + 4*b for n.
3
Suppose 4*y + 4 = 4*v - 0, 0 = 2*y + 3*v - 23. Let k = y + -1. Solve k*f = 2*u + 13, -u + 4*f - 17 = -f for u.
-2
Let j(g) = g**2 - 3*g - 8. Let o be j(5). Solve 10 = -o*x, -x + 15 = 2*d - 4*x for d.
0
Let q = 4 - 2. Let m(z) = -z**3 - 11*z**2 - z - 8. Let o be m(-11). Let h be (6 - 2)*(3 + -1). Solve -f + 5*f - 16 = o*n, q*f + 2*n - h = 0 for f.
4
Let j(l) = 3*l**3 + l**2 + 2*l - 2. Let b be j(1). Solve 4*i = -b*s + 28, i - 3*s + 25 = 6*i for i.
2
Let p(k) = k**3 + 10*k**2 - k - 6. Let n(i) = -i**3 - 7*i**2 - 10. Let o be n(-7). Let m be p(o). Solve -m*h - 20 = 0, -5*d + 4*h = h for d.
-3
Let v(s) = 2*s**2 + 11*s - 6. Let r be v(-5). Let c = -9 - r. Solve 0 = 2*k - d, -4*k + d = -2*d - c for k.
-1
Let w(d) = 0*d - 3*d + 5*d + d. Let r be w(1). Solve 0*p + 2*s + 9 = 3*p, 12 = r*p - s for p.
5
Let x = -2 + -9. Suppose 0*j = j + 15. Let c = x - j. Solve -4*s + 7 = -2*d - s, -4*s + 4 = -c*d for d.
4
Suppose -4*p + 5*y + 89 = 0, 5*p = y - 0*y + 85. Solve -z - z - 4*a = 0, -5*z - 2*a = p for z.
-4
Let k = 7 + -3. Suppose 2*w = g - 3, 0*w + k*w = 5*g - 15. Suppose n = 2*n - g. Solve -b + 4*l - 21 = 0, 0 = -n*l - l + 16 for b.
-5
Let z(g) = -2*g + 2. Let w be z(-2). Suppose f + 2 = w. Solve 4*h + 12 = 4*a, 0 = -h + 2*a - 2 - f for h.
0
Let t = 16 + -18. Suppose -5*c + 3 = -12. Let f be (-2 + c)*-2*t. Solve 5*j + 0 = -h + 11, -f*j = h - 8 for h.
-4
Let u be (0 - 1) + 3*1. Let x(v) = -v**3 + 16*v**2 - 13*v - 14. Let z be x(15). Suppose u*l = -2*l + z. Solve 0 = m + g - 1, 0 = l*m - 2*g - 16 for m.
3
Let c be 12/(-8)*(-16 - -6). Solve -m = -4*n + c, -n - 4*m = -5*n for n.
5
Let x = 4 + -1. Suppose 11 = x*u - 10. Solve -2*n - 5*j - u = -0, 0 = -n + 2*j + 1 for n.
-1
Suppose -2*a - 3*p = -4*a - 6, 0 = -a - p + 7. Let x = a - 1. Solve 4 = -g + 2*c, -3*g - 2*c + x = -10 for g.
2
Let x be 1/4 + (-44)/(-16). Suppose 0 = f - x*f. Solve -3*h - 5*k + 3 = -14, f = -2*h - 5*k + 18 for h.
-1
Suppose -4 = 5*g - 24. Solve -3*p = -g*j + 2, -p = 4*j + 2*p + 10 for j.
-1
Let c be (-3)/(-12) + 182/8. Let f = c - 14. Solve -2*o + 5*k = f, 7*k - 18 = -2*o + 3*k for o.
3
Let y = 4 + 1. Suppose q + 4*w - 26 = 0, -3*q - 2*w + 38 + 50 = 0. Suppose q = y*g - 5. Solve 5*k - b + g = 0, -2*k + 0*k = 5*b + 19 for k.
-2
Let n = 38 + -28. Solve 4*j - 2*c - c - 14 = 0, 3*c = 2*j - n for j.
2
Let i be 9/(-6) + 14/4. Let y be 12/8 - 1/i. Solve -2*d = v + y + 2, 4*v - 1 = 5*d for d.
-1
Suppose -5*u + 5 = 3*g, 0*u - 45 = -5*u + 5*g. Solve -6*d + u*z = -5*d - 2, -2*d + 4 = 5*z for d.
2
Let j be (-10)/4*-2*1. Suppose 2*g - q + j*q - 56 = 0, 3*q = -2*g + 55. Solve 0 = 5*a + 3*z - g, -2*z + 3*z - 18 = -4*a for a.
4
Let w = 14 - 7. Let z = 10 - w. Let b be (z + 3)/(1 - -1). Solve -3*c + b*y = 11 - 29, y = 2*c - 9 for c.
3
Let h = 29 + -15. Suppose h = 2*r + 4*f, -2*r + 5*f = -10 - 22. Suppose -4*k = -4*d + 3*d - 8, r = -3*k + 5*d. Solve 2*n + 18 = -5*p, -3*n - k - 9 = 0 for p.
-2
Suppose 0*w = 3*w. Let f be -17*(-3)/(-3 + w). Let q = f - -26. Solve 5*c - 9 = -5*x - 4, 3*c - x = -q for c.
-2
Suppose -3*y = 6 - 30. Solve -3*v - 2*a - y - 15 = 0, v - 3*a = 7 for v.
-5
Suppose -5*r + 76 = -4*w, -2*w - 16 - 4 = -r. Let f = -8 + r. Solve -5*a - 2 - 5 = -4*m, -3*a = f*m + 17 for a.
-3
Let l be (-2 - -11 - 2)/1. Let m = l + -3. Solve -3*c - 5*o = 35, c - m*o = -0*o + 11 for c.
-5
Suppose -2 = m - 0. Let c(p) = 6*p + 1. Let s be c(m). Let g = s - -15. Solve k = 2*n + 5*k, 0 = g*n - 4*k + 24 for n.
-4
Suppose 25 = 3*h + 2*h. Let o = -1 + h. Solve 0 = 2*t - 7*t - p + 2, o*t = 3*p - 6 for t.
0
Let u(a) = a**2 + 13*a + 1. Let c be u(-12). Let n = 15 + c. Solve -4*o - 5*f - 25 = 0, 0 = n*o - 2*o + f + 5 for o.
0
Suppose 7*f - 12*f = 30. Let r be -4 - (f + -5 + 2). Solve -k + 5*h = 3*h + 7, -5*k + r*h - 30 = 0 for k.
-5
Suppose -3 - 7 = 5*u. Let x be 4/(0 + -2) - u. Solve -z = -2*t - 2*t - 8, x = t + 2 for z.
0
Let a = 5 + -3. Let d be (-6)/5*(-5)/a. Solve 0 = -5*k - d*o + 13, -6 = -3*k - 2*o + 1 for k.
5
Suppose 100 - 26 = 2*z. Let w be 4/(-14) - z/(-7). Let k = w - 3. Solve 0 = 3*y - 6*y - k*d - 5, 0 = -3*y - 4*d + 5 for y.
-5
Let x be 37/7 + 4/(-14). Suppose x*k - 190 = -0*k. Suppose -2*r + 8 = -0*r, -t - 5*r + k = 0. Solve 4*j + 3*g = -3, -j + 0*j - t = -5*g for j.
-3
Let v be (-4 - -4)/(2*1). Solve z + b = 0, -4*z + 2*b + 0*b = v for z.
0
Suppose -7*t + 24 = t. Solve -3*h + t*r + 10 = 2*r, -4*h + 17 = -5*r for h.
3
Suppose -5*d + 3 + 17 = 0. Suppose -d*i + 82 - 2 = 0. Let m(s) = s + 4. Let j be m(0). Solve 2*q + 2 + 22 = -j*y, 0 = 4*y + i for q.
-2
Let b(r) = 2*r - 10. Let z be b(7). Let g be 6/z*(-20)/(-6). Solve 9 = -3*x - 0*m + g*m, -2*x + 19 = 5*m for x.
2
Suppose 0 + 2 = 2*b. Solve -f - 2 = 5*g + b, 2*f - 2*g - 6 = 0 for f.
2
Let z = 4 - 4. Let u be (z + 1)/1*0. Let f be (-4)/10*(-5 + u). Solve 3*x = f*r + 11, 5*r = -4*x + 11 - 4 for x.
3
Suppose -2*n - 3 = -n. Let t be (-2 - -20)/2 + n. Solve 4*j - 2 = 2*y, 18 - t = -5*y + 3*j for y.
-3
Let d(a) = -a**2 - 14*a + 2. Let w be d(-14). Solve 3*v + p - 5 = -3*p, 4*v = -3*p + w for v.
-1
Suppose -4*l + 4*g + 2 = -10, 0 = 5*l + 3*g + 9. Solve 10 = -2*w + 2*d, -3*w + l*d - 3*d - 15 = 0 for w.
-5
Suppose -4*k + 26 = -2. Let i be 7/k + (3 - 1). Solve -i*b - 5*y = -0*y + 5, -2*b - 2 = 4*y for b.
-5
Let a(v) = v**2 + 11*v + 9. Let y be a(-8). Let i = y - -20. Solve 5*o = i*l - 40, 5*l - 16 = o - 2*o for o.
-4
Suppose -5*j = -14 - 1. Solve -j*w + 18 = 2*m, 4*m - 21 + 1 = -2*w for w.
4
Suppose -4 = -b - 1. Solve -b*h - 12 = -3*v, -3*v - 4*h = h + 28 for v.
-1
Let f(c) = 2*c**2 - 5*c - 4. Let k be f(4). Let x(w) = -6*w - 2 - w**2 - w + 2*w**2. Let m be x(k). Solve 3*h - 4*n - 2 = m, 0 = 2*h - 3*n - 7 for h.
-4
Let y = 55 + -33. Suppose -y - 2 = -6*j. Solve d - 4*d = 5*p + 22, 3*p + 11 = -j*d for d.
1
Let r be (-1 - 15/(-3))*1. Suppose -4*x - 8 = -20. Solve 4*s - 4 = -v - 3*v, r*v - 1 = -x*s for v.
-2
Let k = 14 - 10. Let f = 0 + k. Solve 0 = f*b + 2*i - 10, 19 = 5*b - 5*i + i for b.
3
Let l(o) = o - 3. Let x(a) = -1. Let k(f) = 2*l(f) - 6*x(f). Let n be k(1). Let m(v) = 6*v + 1. Let g be m(3). Solve c + g = n*c + 5*j, -j = -5*c + 17 for c.
4
Let d(l) = -l**2 - 6*l - 5. Let p be d(-5). Suppose p = -4*g + 2*g + 10. Solve -1 = -b - 2*y, -2*b - 4 = -4*b - g*y for b.
-3
Let o = -11 + 18. Let g = o + -3. Solve -4*z - 10 = -9*z, -26 = -g*h - 5*z for h.
4
Let w(m) be the first derivative of -m**2/2 + 8*m - 2. Let g be w(5). Solve -5*t - 20 = 5*n + 5, 0 = -g*n + t + 5 for n.
0
Let j = 7 + -4. Suppose h + 0 = j. Suppose h - 18 = -5*m. Solve -m*r = -5*b + 24, 4*b - 4*r - 12 = 12 for b.
3
Suppose 0 = 2*w - 4*s + 8, w + s - 17 = -4*s. Solve 4*j + 3*r - 15 = 0, -2*r - w = -12 for j.
0
Suppose 0 = h - 0 - 13. Let g be 11/h - (-2)/13. Let q be (-1 - 1 - -5) + g. Solve -5 = 4*x + i + 9, -q = 2*i for x.
-3
Let m(o) be the third derivative of o**4/24 - o**3 + 2*o**2. Let y be m(11). Solve 3*b = 8*b - y*t + 25, 4*b - 5*t + 21 = 0 for b.
-4
Let z be 12/18 - (-13)/3. Solve -z*l = -4*s + 13, -6*l + l - 28 = s for l.
-5
Let y(x) = 2*x + 7. Let h be y(-6). Suppose 2*g = 2 + 8. Let p = h + g. Solve -z - 4*f = -2*z + 8, -z - 3*f + 1 = p for z.
4
Let a(t) = t**2 + 4*t - 2. Let g be a(-5). Solve 1 = o + 2, 0 = g*x - 2*o + 10 for x.
-4
Suppose 9 = 4*f + 1. Suppose 2*l + 8 - 24 = 0. Solve -3*w - f*w + 20 = 5*t, 2*w - l = -5*t for w.
4
Let n(t) = 4*t - 15. Let z be n(5). Solve 26 = -2*m + 4*m + 5*o, 0 = -z*m + o + 11 for m.
3
Let z be 3*(-3)/((-15)/5). Let d be (-12)/10*(-30)/9. Solve -5*c + b = d*b - 14, -10 = -c - z*b for c.
1
Sup