 -5*c + 7 = -k*w for w.
-1
Let s(l) = -l**3 + l**2 + l + 4. Let u be s(0). Solve -3*o + 37 = 2*o + 4*r, u*r - 12 = 0 for o.
5
Let m(s) = s + 9. Let a be m(-8). Let f be 1/((-6)/(-15))*2. Solve 2*q - 1 = -f*u + a, 5*q + 22 = u for u.
2
Let l(x) = -x + 4 + 3 - 6. Let u be l(-1). Let n be 2*(0 - 1)/(-1). Solve -y + d = u*d, -3*d = n*y - 4 for y.
-4
Suppose 4*q = 106 - 42. Solve 2*w + 0*v = -5*v + q, -4*v = -w - 5 for w.
3
Let b be 6/4*90/27. Solve 3*k - k + 5 = b*x, -3*x = 3 for k.
-5
Let y be (0 + -3)*(-15 + 14). Solve 0 = -4*l - y*u - 23, 0 = -u - 2*u - 15 for l.
-2
Let w = -12 - -16. Solve 0 = -w*k - 5*u + 30, 2*k - 6*k = u - 22 for k.
5
Suppose 4*o = -4*x + 2*o + 14, -4*o = 2*x - 16. Suppose 3*q + 14 = 5*d, 4*d + 3*q + x = -3. Solve -31 = 4*v + 5*s + 1, -d = -v + s for v.
-3
Suppose 4*w + 4*l + 32 = -16, -23 = 2*w + l. Let d = 15 + w. Solve -12 = -q + 2*y, -d*q + 4*y + 24 = -8 for q.
4
Let a(i) = -i - 3. Let h be a(-2). Let f be h/(1/(-5 - -2)). Solve 0 = -2*r + 5*b - 17, -r + f*r + 5*b = 13 for r.
-1
Suppose 2*w - 16 = l - 0*l, 3*w = 2*l + 26. Suppose -19 = -5*t - 4*y, w*t - 2*t + 2*y - 14 = 0. Solve c = -5*d - 0*c + 5, t = 3*d + c for d.
1
Let v = -1 + 2. Let j be 3*v*12/9. Suppose 0*w + 4*w + 16 = -p, -w = 5*p + 4. Solve 2*l - 6 = p, 1 = -j*g - 4*l + 21 for g.
2
Suppose -5*q - 4*v - 5 = v, -5*q = -3*v - 3. Solve y - 3*y - z - 11 = q, -2*y - 16 = 2*z for y.
-3
Let p be 1 + (-1 - -4) + 0 + -1. Solve -3 = r + 6*w - p*w, 4*r - w - 14 = 0 for r.
3
Let r(i) = -i**3 + 9*i**2 + 15*i - 10. Let x(o) = -o**2 + o + 1. Let c(a) = -r(a) + 2*x(a). Let z be c(12). Solve 3*n + z*g + 5*g + 3 = 0, -5*g = n + 1 for n.
-1
Let t be -1*2*10/(-2). Let g(b) = 4*b - 5. Let q(c) = 2*c - 3. Let f(l) = -4*g(l) + 9*q(l). Let x be f(5). Solve 2*y + 10 = 0, 2*s - x*s = -3*y - t for s.
-5
Suppose 3*n - 7 = 2. Let b be 0 - 2*(2 - n). Solve -3*h - r = 7, 2 = -0*h + 2*h + b*r for h.
-4
Let x(u) = u + 11. Let b be x(-6). Solve b*c - 31 = -2*d, 4 = 2*c - 2*d - 0*d for c.
5
Let v be 20/(-6)*(-6)/4. Let g = v - 8. Let l = 0 - g. Solve -1 = 2*s + 2*f - 13, -l*s - f = -12 for s.
3
Suppose -2 = -2*l - 0. Let b be (2 + -2)/(1/l). Let j = 1 + b. Solve 2*r - g + 4 = 0, -r - 2*g - j = 1 for r.
-2
Let w(m) = -2*m + 1. Let b be w(-2). Suppose 0 = b*g - 20. Suppose 0 = 4*x + x, -5*n = 3*x - 15. Solve -3*y + 0*u = -u - 5, n*y - 2*u - g = 0 for y.
2
Suppose 0 = -3*f - k + 6, -2 + 0 = -f + k. Suppose 0 = 2*g - 1 + 3. Let l = g - -1. Solve -f*h - 3*p = -13, -3*p + l + 11 = 4*h for h.
-1
Let a(x) = -x**3 + 9*x**2 - 7*x - 3. Suppose -5*q + 5*z = -25, -2*q - 5*z + 2*z = -25. Let s be a(q). Solve 0 = g + 3*r + 14, -g - 3*g - s = -5*r for g.
-5
Suppose -5*f + 0 = -20. Suppose -q - q = -f. Let i be (q/(-3))/(4/(-18)). Solve -3*l + 2*g - 31 = -3*g, -4*l = g + i for l.
-2
Let g(f) = 2*f**3 - 10*f**2 - f + 5. Let y be g(5). Solve -4 = p - y*p, -r - 3*p - 15 = 0 for r.
-3
Let s(j) = 2*j - 17. Let o be s(8). Let g be 1 + 2 - (o - -2). Solve 3*n = -u + 10, 4*u = n + 3 - g for u.
1
Let x(s) = -s**3 - 6*s**2 - 8*s - 4. Let f be x(-5). Solve -v - 4*l = 9, 5*l + 0*l + f = -v for v.
-1
Let f be 2/8 + 2/(-8). Let c be 0 - 12/(-4) - 0. Solve z + c = f, 4*a + 8 = -5*z - 7 for a.
0
Suppose -10*f + 3 = -9*f. Solve -f*p - 3*y + 14 = p, -4*y = 8 for p.
5
Let k(g) = g**2 + 4*g - 7. Let z be k(-5). Let b = 4 + z. Solve -2*u = -p, b*u = -p - 3*u for p.
0
Suppose 4*f - 20 = -f. Suppose 2*b - 56 = 244. Let m be (4/6)/(4/b). Solve -3*q = c + f*c - m, q = 5*c - 25 for c.
5
Let h be (-1)/(4/(-16*5)). Solve 10 = -2*q - 0*q - 2*l, 4*q + h = 2*l for q.
-5
Let u(h) be the first derivative of h**4/4 - h**3 + h**2/2 + 5*h + 4. Let d be u(3). Solve -z = n - 7, d + 8 = 4*z for n.
3
Let s be 1 - 1 - (-1 + -1). Let c = s + 0. Suppose -11 = -c*m + 3. Solve -m = d - 0*w + 4*w, -w = 3 for d.
5
Suppose 0 = -0*h + 2*h. Solve -2*a + 5*f - 2*f = 0, -a + 3*f = h for a.
0
Let j(u) = -2*u + 58. Let o be j(27). Let z = -2 + 4. Solve -o*h - i = 4*i + z, h = 3*i + 8 for h.
2
Let u(v) = -v**3 + 6*v**2 + 7*v + 3. Let g be u(6). Solve 5*f + 0*f = -5*a, 4*a - 5*f = -g for a.
-5
Let y = -17 - -26. Solve 2*k + r + y = 0, -4*k = k + 5*r + 25 for k.
-4
Let h(a) = 2*a - 6. Let m be h(5). Suppose 5*c + 12 = -y + 2, -m = 4*y + 2*c. Solve -3*k + s + 16 = y, -3*k - k - 3*s + 4 = 0 for k.
4
Suppose u - 2*q = 12, 5*u - u - q - 41 = 0. Suppose u = m + m. Suppose 79 + 31 = m*z. Solve -z + 3 = -5*o + 2*k, -o + 5 = -k for o.
3
Suppose 4*r - 35 = 5*c, c + c = -5*r - 14. Let a = 7 + c. Solve 4*y - 5*q = -a*q + 30, -4*q = -5*y + 33 for y.
5
Let p = 33 - 17. Let y be (-1 + 6/4)/((-34)/(-2448)). Let o = 1 + 2. Solve 3*s - 12 = -3*j - y, -p = 5*s - o*j for s.
-5
Suppose 0*a + a - 3 = 0. Suppose a*x = x + 8. Solve 2*s - 6*s = -x, 0 = -2*n - 4*s for n.
-2
Let s be 12*2/(-24)*-9. Solve 4*i + s = y, -2*y + 3 = -3*i - 0 for y.
-3
Let a(y) = 5*y - 5. Let r be a(3). Solve -3*k - r = 4*c, -4*k - c - 9 = -0*c for k.
-2
Suppose 7 + 9 = 3*i + j, -j + 11 = 2*i. Solve 2*p + 7 = -3*k - 3, -i = 5*k + p for k.
0
Suppose -3*z - 3*q = -12, -2 + 18 = 4*z - 3*q. Solve 0*x = -z*w + 2*x + 2, w = -2*x + 13 for w.
3
Suppose 0 = 4*y - 3 - 17. Solve s + 20 = -2*w + 3*s, 0 = 3*w + 2*s + y for w.
-5
Suppose 2*l = -4, -3*m - 2*l + 216 = 2*m. Solve -5*p = 2*s - 23, -s = -5*p + m - 18 for p.
5
Suppose 3*g - 51 = -3*l, 49 = 2*l - 0*g + 5*g. Solve -2*w + l = -4*i - 4*w, -8 = 3*i + w for i.
-2
Suppose 13 + 2 = 3*a. Let h be ((-3)/3)/(a/(-10)). Solve m = s + h*s, -m - 4*s = 7 for m.
-3
Let l be (-2)/(-5) - 18/(-5). Suppose -u = -0 - 5. Suppose 0 = 3*w - u*w + 6. Solve -4*z + 2 = -2*o, -2*z + l*z + 19 = -w*o for o.
-5
Let d be -6 - -9 - (3 + -1). Suppose -2*u + d = -5. Solve -z - 2*h - 3 = 0, 5 + 19 = u*z - 5*h for z.
3
Let q = 1 - -4. Let l be 3 - (-3 - -1)*(-1)/2. Solve 2*b = -3*x + 7*b + 10, -l*x + q*b + 15 = 0 for x.
-5
Suppose 5*r - 2*p + 14 = -4, -r - 14 = -3*p. Let y(x) = -x + 9. Let k be y(5). Let m = k + r. Solve 7*u = -3*d + m*u + 1, -4*d - 5*u = -3 for d.
2
Suppose 2*s = -8 + 2, 4*s + 37 = l. Solve -5*u = 2*p - 0*u + l, 3*p + u + 18 = 0 for p.
-5
Suppose r = 4*z - 18, 18 = -r + 5*r + 2*z. Suppose 0*v - r*v + 4 = 0. Solve 3*s + 3*b + 2 = -13, -5*s + 3 = -v*b for s.
-1
Suppose 2 - 8 = -5*m + 4*z, -8 = -2*m - 4*z. Solve -3*y + m = -4*y - l, 5*y + 4*l = -8 for y.
0
Suppose 3*i - 28 = -2*i + 2*q, -2*q = 2*i. Let p be i/14 - 52/(-14). Solve -p*t = -4*c - 16, 4 = 3*t - c - 0*c for t.
0
Let r be (0 + (-3)/1)*13. Let y be r/(-4) - 5/(-20). Let u = 27 - y. Solve 6*z = 4*n + z - u, -2*n - 5*z - 29 = 0 for n.
-2
Suppose 3*j - 39 = -5*v, -3*v - 7 + 32 = j. Suppose 3*k + 0*k = v. Solve p = 3*n - 4, 5*p + 0*n = -2*n - k for p.
-1
Suppose 4*z - 17 = 3. Suppose -5*u = -0*v + z*v, 0 = -5*v - u. Let t be -24*(v - (3 - 2)). Solve -3*n - 32 = 5*q, n + 4*q = -q - t for n.
-4
Suppose 0 = 10*s - 5*s + 4*i - 18, 0 = -s - 3*i + 8. Solve 2*y - s*d + 2 - 6 = 0, 3*y + d = 18 for y.
5
Let o(l) = l**2 - 6*l + 3. Let m be o(6). Suppose -2*s + g = -25, m*g + 61 = -0*s + 5*s. Solve -4*n + 2*n + s = 2*z, z - 11 = -3*n for z.
5
Let y be 56/4 + -1 + 4. Solve -5*q = 3*r - y, 0 = 3*r - r + 4*q - 14 for r.
-1
Let f be 6/5*40/6. Solve 0 = 3*b + 2*v - 13, 3*b + v - f = 3 for b.
3
Let o(t) = t - 1. Let q be o(1). Let a be 8*1 + q + -2. Suppose -2*u - 12 = -a*u. Solve 3*v = w - 5, 0 = u*w + 2*v + 2*v - 15 for w.
5
Suppose -5*k - 14 = m + m, 2*m - 5*k - 26 = 0. Let c be m*(-1 + 15/9). Solve c*z = 5*r + 31, 0 = -5*r + 7*z - 2*z - 40 for r.
-5
Suppose -n = -2*a - 0*a + 3, -2*n - 1 = -3*a. Solve b + n = -2*m, -m + 9 = b - 3*m for b.
1
Suppose -5*b + 15 - 5 = 0. Let h(t) = -5*t**b + t**3 - 5*t**2 + 4*t + 5*t**2 + 3. Let r be h(4). Solve 0*o - 15 = 3*o - 2*p, 3*p = -r*o - 15 for o.
-5
Let k(t) = 23*t + 62. Let z(c) = 8*c + 21. Let x(s) = -6*k(s) + 17*z(s). Let u be x(-10). Solve -10 = -u*n, -5*y + 3*n - 8*n = 0 for y.
-2
Let p be ((-138)/8)/((-21)/56). Suppose 6*o - 35 = o. Suppose -j - o = 4*l, -6*l - 27 = -3*j - 2*l. Solve 10 = 5*c - j*s, -5*s = 5*c + 6 - p for c.
5
Suppose -4*p + 17 - 5 = 0. Suppose 0 = -3*a + p + 3. Solve -3*r = -h - a*h + 6, r + 11 = -2*h for r.
-5
Let j(s) = -s**3 + 4*s**2 + 2*s - 5. Let z be j(4). Suppose -2*v + 5*x = 6, 5*v + 2 = z*v + 4*x. Solve -3*r = b - 12, v*b - 18 = 5*b - 4*r for b.
3
Let y be 4/(-14) - (-161