-4*x + 7 = -5*k for x.
-2
Let b be (-21)/28*(-8)/2. Let v = 7 + -4. Solve -9 = 3*d + v*y, -b*d - 4*y = -3*y + 11 for d.
-4
Suppose 10 = 3*m - 3*i + 5*i, 0 = 2*m + 5*i + 8. Let u be (9/m)/((-9)/(-84)). Solve -2*q = q - 15, o + 2*q - u = 0 for o.
4
Let z(o) = o + 1. Let t be z(-1). Suppose t = -3*g + c - 4, -4*g + 20 = -0*g + 5*c. Solve 3*j + 5 = -5*v, g = 2*v - 0*v + 8 for j.
5
Let u(w) = -5 + 6*w - 2*w - 2*w - 3*w. Let r be u(-9). Solve -r*g + 2*b - 16 = 0, 5*g + 20 = -6*b + 4*b for g.
-4
Let r be 3/1 - 0 - 22. Let n = -3 - r. Solve 3*s = u - 3 - n, -2*u + 13 = -s for u.
4
Let z(f) = -f + 10. Let n be z(7). Suppose 2*o - 7 = -j, -n*j = -4*o + 7*o - 15. Solve 0 = -u + b - o, 2*u - 4*b + 2 = -10 for u.
2
Let s be (-14)/(-10) + 24/40. Solve 3 = -4*p - 5*y, -3*y - 2 = -s*p - 9 for p.
-2
Let b be 30/20*4/2. Solve -5*t + 3*q = 4, -4*t + 6 = b*q - 7 for t.
1
Let p = -1 - -5. Suppose 0*a = 2*a - p. Solve -3*d - 5*f = -a*f - 21, 2*d = -5*f + 29 for d.
2
Let m = 4 + -4. Suppose 0 = 3*w - 6 - m. Solve -l + w = 4*x, -3*x - 2*l + 3 = -1 for x.
0
Let w(h) = h. Let o be w(3). Suppose 0*q = o*q - 6. Solve 4*c + q*l + 21 = 5, c - 3*l + 11 = 0 for c.
-5
Let g(f) be the first derivative of -f**3/3 - 5*f**2 + 2*f + 3. Let b be g(-10). Solve -4*h = 2*w - h + 5, 4*h = -b*w - 10 for w.
5
Suppose 0 = -4*x + 2*l + 6, 4*l - 14 = -4*x + 10. Solve 2*f - m = -10, 5*m - 15 = x*f + 2*m for f.
-5
Suppose 0 = 4*r + 16 + 16. Let z(q) = q**3 + 8*q**2 + q + 7. Let i be z(r). Let t be i - (6/(-3) + -1). Solve -2*n - 4*h = -3 + 21, 0 = -5*n - t*h - 13 for n.
-1
Let b(z) = -z**3 - 5*z**2 - 6*z + 4. Let w be b(-3). Solve -5*n - w*c = -8*c + 25, 15 = 3*c for n.
-1
Let p be 5 + 12 - (1 + -1). Let q = p - 11. Suppose 4*n - 5 = 19. Solve 5*t + 3*k + q = 2*k, t + 5*k = -n for t.
-1
Suppose -3 = -8*i + 13. Solve -d - i*f = 7, 2*d + 0*d = -f - 11 for d.
-5
Let c be (-1)/(-4) + (-2)/8. Let g = c - -2. Suppose -3*t + 4*t = 5. Solve -t*w = 3*y - g*w - 3, 5*w = 0 for y.
1
Let d = 65 + -61. Solve -4*a = -l - d*l - 12, l = -a - 6 for a.
-2
Let y(o) = o - 10. Let x be y(10). Solve 3*s + 5*h = 8*s + 25, -2*s + 3*h - 15 = x for s.
0
Suppose 37 = 4*t + h, 21 = 5*t - 3*t + h. Let d = 13 - t. Suppose 4*l - 2*s - 6 = l, -4*s = 2*l - 20. Solve 0 = -d*k + 25, l*p - k - k = 6 for p.
4
Suppose -5*f - 4*p + 0*p - 2 = 0, 9 = -3*f - 5*p. Suppose -6*q + 2*q - 16 = 0. Let v be (-9)/(-18) - 6/q. Solve 7*z - f*z - v*i + 29 = 0, 3*i + 4 = -2*z for z.
-5
Suppose -2*l = 2*l. Suppose l*u = u. Solve -t + 2*j = u, -6*t + 2*t = -3*j + 5 for t.
-2
Let d(l) = -l**3 + l + 5. Let v be d(0). Let m = 14 - v. Suppose 3*r - m = -3. Solve -3*h - 3 = -s, r*h - 4*h - 3*s = 2 for h.
-1
Suppose 0 = -4*t + 4*q + 12, -4*t + 3 + 4 = -3*q. Let m be (-52)/(-20) - t/5. Let y = 3 - 3. Solve -2*b = -4*w + 2*b + 28, y = -m*w - b + 1 for w.
2
Suppose 0 = -6*y + y - 2*q + 7, 4*y + q - 5 = 0. Solve 0 = 3*c + c + 5*d + 23, 5*c - 3*d = -y for c.
-2
Suppose u = 17 - 1. Suppose 0 = 3*x + 1 - u. Let q = -3 + x. Solve q = 2*r + t, 0 = 2*r - t + 2 - 4 for r.
1
Let t(y) = -1 - y - 4*y**2 + 4 - y**3 - y. Let f be t(-3). Solve -v + f*j + 10 = 3*j, 0 = -j + 4 for v.
-2
Suppose j - 6*j = -10. Suppose j*p = 4*p. Suppose 4*z + 12 = p, -4*h - 3*z = -1 + 10. Solve -5*k - 3*d = -10, h = 5*d - 2*d - 15 for k.
-1
Let f = 7 - 8. Let v = 2 + f. Let t be (v + -6)*6/(-15). Solve 0 = -5*h, m + 0*h = t*h - 2 for m.
-2
Suppose 0*l - 9 = 3*l + 3*x, -5*l - 14 = 4*x. Let j = 2 + l. Suppose 4*w - 20 = j, 3*w - 5 = -v + 12. Solve m + 2*t = -m, 5*t = v*m for m.
0
Let j(s) = 7*s - 1. Let m(v) = v**2 - 3*v + 1. Let k be m(3). Let u be j(k). Solve 3*b + u = -0*b, 0 = 4*h - 4*b - 28 for h.
5
Let f = -36 + 61. Suppose 0 = -5*j - 5*v - 0*v + 185, -2*j + 5*v + 95 = 0. Solve 0 = 5*h - 4*u - j, 0*u = -5*u - f for h.
4
Suppose -3 = -r - 1. Let w(i) = -i**3 + 72. Let n be w(0). Suppose 0*o = 5*x - 3*o - n, -2*o - 73 = -5*x. Solve -x = -3*c - l, 3*l + 15 = 3*c + r*l for c.
5
Let c = -2 - -6. Suppose 6*k - 10 = c*k. Solve -3*f = k*j + 10, 0 = -0*f + 5*f for j.
-2
Suppose -3*k - 4*d = -7 - 5, 5*d = k - 23. Suppose 6*a + k = 8*a. Solve -4 = -3*h - 4*z, -h + z = a*z + 2 for h.
4
Let w = 176 + -173. Solve 0 = -o + w*t - 12, 4*o + 0*o - 4*t = -8 for o.
3
Suppose -4 = 4*v - 16. Suppose 194 = 3*i + 3*w - 2*w, 2*i - 2*w = 132. Suppose o + 4*o = i. Solve -v*u + 3*x + o = -5*u, 4*u + 17 = 3*x for u.
-5
Let w = 9 + -6. Let s(a) = -3*a**3 - a**2 - 2*a. Let j be s(-1). Solve -w*h + j*h - 8 = 2*r, -r = -3*h + 9 for r.
-3
Let z(u) = -u**2 + 7*u + 22. Let j be z(9). Solve j*b - 4 + 2 = 2*f, 2*b - 2*f = 4 for b.
-1
Suppose -4*q + 15 = q - 5*f, -5*q = -4*f - 12. Solve w + 6*a + 8 = a, -w - a = q for w.
2
Suppose 64 - 48 = 4*l. Solve -4*m + 3*q - 2 = l, 10 = -5*q for m.
-3
Let j be 44/(-11)*(-9)/12. Solve -3*o - 4*a = a + 1, -3*a + j = 0 for o.
-2
Suppose 3*u - 32 = -4*x, -4*x + 4*u - 2*u = -52. Let b = 16 - x. Solve 0 = b*f + 2*r - 0*r + 4, -5*f + 2*r = -4 for f.
0
Suppose l = 4*w - 5, 5*w = l + 5 + 1. Let d be l + (0 - 2 - -8). Let t = -1 - -9. Solve s - d*f = -14 + 34, 2*s + t = -2*f for s.
0
Suppose -8*s = -3*s. Suppose s*h + 3*h = 6. Solve 2 + 0 = -2*f - h*r, -2*r + 1 = 3*f for f.
3
Let k be (9 - 6) + 4/((-12)/9). Solve 5*i - 17 = -l, 3*l + k*i - 3 = -3*i for l.
-3
Let j = 12 + -17. Let d be (j/15)/(1/(-12)). Solve -3*b - 8 = s, -1 = -d*b - 4*s - 17 for b.
-2
Let d be (-18)/4*4/(-6). Suppose -d*y - 10 = -8*y. Solve 3*p - 19 = -4*h, -5 = -y*p + 6*h - h for p.
5
Let p be (3/(-2))/(6/(-16)). Suppose -p*f = -0*m - 5*m + 48, -f = 2. Suppose -3*g + m = 2. Solve -g*y - 4*h - 2 = -5*h, -8 = 5*y - h for y.
-2
Suppose -3*j - 3*t - 8 = -53, -18 = -2*j + t. Solve s - j = 3*w + 2*s, -2*s + 2 = 0 for w.
-4
Let d = 97 - 93. Solve -4*k - 3*h = -24, d*h = 3*k - 2 + 9 for k.
3
Suppose 6*k - 2*k = 8, 2*x = -k + 2. Let y be x + 1 + 2/1. Solve y*b = j + 5 - 17, -3*b - 2*j = 12 for b.
-4
Let l be 3/(42/48*4/14). Solve 5*o - n = l, 4*o - 4 = 2*n + 8 for o.
2
Let d = 109 + -107. Solve 4*o = -5*p, -o = -3*p - d*o for p.
0
Suppose -4*d + 5*d + 5*i = -15, 9 = -5*d - 3*i. Suppose -5*o + d*o = 0. Let j be -3*((-8)/(-6) + -2). Solve h - 4*p + 22 = 0, -1 + o = -j*h - p for h.
-2
Let f(s) = s + 3. Let x be f(0). Suppose -2*n + x = -7. Solve 0 = 3*v + 2 - 11, 40 = -n*w + 5*v for w.
-5
Let j = 7 + -4. Suppose -h - 22 = -j*h. Let b = 16 - h. Solve 3*q - b*l + 19 = 0, 4*l - 10 = -l for q.
-3
Suppose 0 = 3*s + 23 - 8. Let v(u) = u**3 + 5*u**2 + 2. Let c be v(s). Solve -2*p + 3 = p, 2*f - c*p = -4 for f.
-1
Let w = -15 - -19. Solve -w*b + 2*n + 18 = 2, b - 3*n = 9 for b.
3
Let d = -50 + 52. Solve -2*l - d*q = 3*l + 21, 25 = -3*l + 5*q for l.
-5
Let w(r) = -r**3 - r**2. Let f be w(0). Suppose f = 5*m - 3*j - 6, 0*m + 3*j + 6 = -m. Solve 3*i = v - 2, m*i + 5*i = 5*v - 10 for v.
2
Let c = 14 + -10. Suppose -a = 5*k - 20, 5*a - 5*k - 25 = 105. Suppose c*h - 13 = -d, -a = -9*d + 4*d. Solve b - h*y = -4, 0 = -2*b - b + 2*y + 4 for b.
4
Suppose -4*v + 3 + 109 = 0. Solve 0 = -3*n - 5*g - v, g + 2*g + 10 = 5*n for n.
-1
Suppose 0 = 2*f - 0*f + 2, 4*f + 11 = t. Solve -5*m = 2*d + 8 - 1, -3*m = 4*d + t for m.
-1
Let a(f) = 2*f**3 - 8*f**2 + 10*f - 8. Let t be a(3). Solve -4*l + t*h = 0, -7*l + 2*h - 3 = -2*l for l.
-1
Let y = -9 - -12. Solve -2*g - 5*j + j = 16, y*j + 6 = 0 for g.
-4
Let v = 78 - 75. Let q = 1 + 4. Solve -4 + 44 = -5*c - v*h, 0 = 3*c - 2*h + q for c.
-5
Suppose 5*o - 3*k - 78 = 0, 3*k = -3*o - k + 70. Let q = o - 17. Let h be (-1)/4 + (-2)/(-8). Solve h = s - 0 - q, -5*d + 5*s = 5 for d.
0
Let r = -197 - -200. Solve z + 16 = 3*f, -2*f = 4*z - 3 - r for z.
-1
Let m(r) = -r**2 - 9*r - 11. Let d be m(-6). Let b(w) = 0*w**2 - 4*w - w**2 + 2 + 11*w. Let z be b(d). Solve z*c - 1 = 7*c - 3*q, 0 = -c + 2*q + 4 for c.
-2
Suppose -4*a + 2*v = -28, -2*a = a + 2*v - 28. Solve -a - 7 = 3*b + 3*f, 4*b + 3*f = -20 for b.
-5
Let o(z) = -z**2 + 7*z - 9. Let b be o(7). Let h(n) = -n**3 - 9*n**2 + 3. Let x be h(b). Solve 2*f + x*f + 9 = 3*y, f = 0 for y.
3
Let s(a) = 3*a**2 - 3*a. Let w be s(3). Solve 4*z - 5*v = -0*z + w, 2*v = 5*z - 14 for z.
2
Suppose -3*n - 2 = -y, -2*y + 12 = -n + 3*n. Solve -v = -0*v - 2*d + 7, 0 = y*v + 5*d - 10 for v.
-1
Let c(g) = -g**2 - 5*g + 4. Let t be c(-5). Let m = 4 - t. Solve m = l + 3, 14 = 3*i - 2*l - 7 for i.
5