= 2*w + 3*k - y + 3, 5*w + 5*k - 20 = 0 for w.
3
Suppose 0 = 2*s + 68 - 78. Solve -2*f + 8 = -5*y, 2 = f - s*y - 2 for f.
4
Let p(f) = 2*f**2 - f - 3. Let y be p(2). Solve 4*o - t + 15 = 0, -7*t = -2*o - y*t - 4 for o.
-4
Let t be (-3)/(-1 - 2/4). Solve 5*i - t*j = j - 5, -4*j = 0 for i.
-1
Let h = 62 - 58. Solve 3*v = -4*r + h*v + 5, 4 = -4*v for r.
1
Let d be 4/(-10) - 24/(-10). Suppose -u + 4 = -d*u. Let h be 1/u + 45/20. Solve -k = h*k - 2*f - 8, 0 = -3*f + 6 for k.
4
Let o(t) = 5 + 4*t**2 - t - 3*t**2 + 30 + 2*t. Let b be o(0). Let g(z) = -z**2 + 6*z + 9. Let s be g(7). Solve c + s*c - 5*a = -b, -a = 4*c + 16 for c.
-5
Suppose 5*k - b = 1, 5*k - 2*b + 4 = 1. Solve -4*r + 4*f + k = -11, -2*r - 2*f - 14 = 0 for r.
-2
Let b = 17 - 12. Suppose -b*g + 110 = -2*y, 0*y + 63 = 2*g + 3*y. Solve 3*i + 5*o = g, -28 = -3*i - 4*o - 7 for i.
3
Let i be 1/4 + (-196)/16. Let f be (124/6)/((-8)/i). Suppose -t + 8 = 2*d, 4*d = -0*t - t + 16. Solve t = 5*s + b + 5 - 30, -4*s - 3*b = -f for s.
4
Suppose 0*q = -3*q + 3. Let z be -5*q/((-10)/(-12)). Let j be z/4*(-4)/3. Solve -1 = -2*d - n, d + 1 = -j*n + 3*n for d.
0
Let w be -1*92/(-20) + (-6)/10. Solve 2*v + 5 = z - 0, 11 = 3*z - w*v for z.
1
Suppose -5*q + 83 = 3. Suppose 2*r = 5*v + 3*r - q, 4*r + 16 = 0. Solve -3*m - 10 = -0*h + 2*h, v*h = -3*m - 14 for m.
-2
Suppose -2*w - 9 = -3*p + 6, -w - 3*p + 15 = 0. Suppose w = s - 6*s + 5. Let u = s + 2. Solve -u*l = 2*r + 3, 0 = 4*l - 3*l - 5*r + 18 for l.
-3
Suppose -9 = -3*q - 0. Suppose 4*j = q*j. Solve 3*l + 2 + 4 = j, 3*l + 2 = 4*a for a.
-1
Suppose m = 3*y - 30, 2 = -2*m + 8. Suppose s - 3 + 0 = 0. Suppose 4 = -f, 4*f + 20 = 2*u - 0*f. Solve -t - 2*g = -s*t - u, g + y = 5*t for t.
3
Let b be (0 - 31/(-2))*-2. Let k = -21 - b. Solve -h - 5*z + 5 = 0, 0 = -2*z + 7*z - k for h.
-5
Suppose 0 = 2*w, -w + 4 = 2*b + w. Let n be ((-9)/6 - -1)*0. Solve -s + b*g + 7 = -n, g = -3 for s.
1
Let f(y) = -y - 1. Let p be f(-2). Let o(c) = 1 - 2 + 2*c + 2. Let r be o(p). Solve r*j = -3, i + 4 = -3*i + 4*j for i.
-2
Let v(m) = -2*m**2 + 0*m**2 + 2 + 7*m + 7 - 3*m**2 - m**3. Suppose -1 = -p - 7. Let d be v(p). Solve -3*w = 5*r - 29, -6*w = -2*w - d*r for w.
3
Let v be ((-54)/10 - (-8)/20)*-1. Solve 0 = d - 3*s - 9, -v*d = -2*s + 4 - 10 for d.
0
Suppose -2*n - 34 = -3*u - 9, u - 4*n = 25. Suppose 0 = t - u*t + 8. Solve 2*g + 7 = b, t*b - 5*b - 3*g = 15 for b.
-1
Let i be (-2 - -4)*-4 + -1. Let g = -6 - i. Solve g*f + 26 + 1 = -5*w, 3 = -w for f.
-4
Let v = -83 - -88. Solve d = -4*d + v*u - 5, 0 = -2*d + 3*u - 5 for d.
2
Suppose 3*y = y - r - 1, 5*y = 3*r - 8. Let v be (y - 2/(-4))*-44. Solve 3*s + a + 8 = 0, -3*a = -3*s - v - 2 for s.
-4
Let q = -4 - -6. Suppose -t = -5*l + 5 + 7, -q*l + 3 = -t. Suppose -3*r - r = -8. Solve 0 = z - 2*x - l*x - 19, r*x + 3 = 5*z for z.
-1
Let b = -17 - -20. Solve 0 = -b*f + 5*f - 3*g - 11, -5*f + 4*g + 24 = 0 for f.
4
Let w = -42 - -45. Solve -w = 3*h, -5*v - h = -0*h + 21 for v.
-4
Let c = -10 - -14. Let z(p) = -p**2 + 7*p - 5. Let w be z(c). Suppose r - 16 = -4*v, r - 5*v + w = -r. Solve 4*s + 2*o + o = 23, 0 = -r*s + 4*o + 16 for s.
5
Suppose 2*b = 6*b. Let j(w) = -w + 10. Let n be j(b). Let a be 48/30 + 4/n. Solve k - 6*k = -3*g - 28, -a*g + 4*k = 22 for g.
-1
Let u(j) = -j**2 + 6*j - 2. Let m be u(5). Solve 3*h - 2*s = 12, 2*h + m*s + 6 = 1 for h.
2
Let y = -10 - -27. Let t = y + -13. Solve 0 = -5*p - 5*f + 50, -t*p - 4*f + 10 = -6*f for p.
5
Let z(r) = 2*r + 10. Let t be z(-5). Solve -4*j = -2*y + 14, 0*j - j + 5*y + 10 = t for j.
-5
Suppose 3*w = 12 - 0. Suppose w*s = -0*s + 8. Solve u + 4 = j + 8, -s*u = -5*j - 8 for j.
0
Suppose -4*s = -3*s - 16. Let t = s - -2. Solve -3*g + 40 - t = 5*y, 0 = y - 4*g + 14 for y.
2
Let h be (7/3 - -1)*(-9)/(-6). Let p = 2 - 2. Solve p*w - h*v - 26 = w, 0 = -v - 5 for w.
-1
Suppose -2 - 6 = -4*h. Solve -3 - 3 = 2*k + 2*b, -k - h*b - 4 = 0 for k.
-2
Suppose 3*x - 8 = 7*x. Let d = 3 - 6. Let s be (4 + d)/(x/(-6)). Solve -f + 5*c = 3*c + 11, 0 = -s*f + 3*c - 21 for f.
-3
Suppose 5*a + 8 = 23. Suppose 0 = 4*o + 2*w - 5 - 7, o - 3 = w. Solve -a*p = -2*p + i - 2, -o*p + 4*i = 15 for p.
-1
Let i(p) = -p - 6. Let o = 4 + -1. Suppose -o*r + 7*r + 24 = 0. Let g be i(r). Solve g*y = -4*y - w - 22, -y - 9 = 2*w for y.
-5
Suppose 0 = 2*m - 5*g - 5 - 2, -2*m + 4 = -2*g. Solve 0 = -5*s + 5*h - 25, -3*s + 6*s = -5*h + m for s.
-3
Let z be (1*-3)/(7/7). Let y(o) = -o**3 - 2*o**2 + o - 3. Let m be y(z). Solve -2*u - 16 = a + a, 4*u + 4 = m*a for a.
-4
Suppose 2*k + 5*b = 21, -3*k - 5*b = -b - 21. Solve -l + 2*j - 1 = 4, -2*l + k*j = 5 for l.
5
Suppose 1 = -4*y + 9. Suppose -y*b = b. Solve -4*j + 2*w = -8 - 8, b = -2*j + 3*w + 4 for j.
5
Let g be (-62)/(-4) - 1/2. Solve -4*p + l - 3*l = 6, -5*p - l = g for p.
-4
Let i be (-10)/(-5) + (-1 - -69). Let u be 158/14 - 20/i. Solve -a - d = 2*d - 9, a + 4*d - u = 0 for a.
3
Let f(x) = -x**3 + 9*x**2 - 9*x + 6. Let t be f(8). Let b(q) = -q - 2. Let y be b(-3). Let m = y - t. Solve -5*i = -r - 2, m*r + 2 = -i - 4 for i.
0
Let z be 1 + 2 - -1 - 0. Solve -n = 2*n - b, -z*b = 4*n - 16 for n.
1
Let u(t) = -t**2 + 2*t + 6. Let l be u(3). Solve -3*m - l*o = 9, 0 = -5*o - 6 + 1 for m.
-2
Let k(p) = -2*p - 1. Suppose -44 = 3*d + 1. Let y be d/(0 + 3) + -1. Let h be k(y). Solve -2 - h = -5*q - 4*o, -q = -o - 8 for q.
5
Suppose 8*i = 13*i - 15. Suppose 4*u + 1 + 19 = 5*m, -5*u + 20 = 5*m. Solve -w = 3*h - i, -h - 5*w + 0 + 1 = u for h.
1
Let y(u) = u**3 - u**2 + 2*u + 3. Let r be y(0). Solve r*d = -m - 4, 4*d = -3*m - 2*m + 13 for d.
-3
Suppose -4*s - 192 - 440 = 0. Let j be 12/(-42) + s/(-14). Let v = j + -8. Solve -o = -4*x + 5, -o + v*o - 2*x = -4 for o.
-1
Suppose -5*f + 11 = 4*p, 7 = 3*p + 5*f - 0. Suppose 5*t - 20 = 0, 3*o + t = -4*t + 29. Solve 1 + 4 = 3*g - 5*i, o = -p*g - 3*i for g.
0
Let g be 2 + (-1 - -6) - 1. Suppose 3*k + 6 = 0, -g*k - 10 = -3*x - k. Suppose -s = -x - 2. Solve 0 = u - 4*c - 14, s = -2*u - c - c for u.
2
Let u(f) = -f**3 + 2*f**2 + 3*f + 2. Let i be u(3). Let z be -1*(i - 4 - -2). Let x = -14 + 16. Solve -5*o = 3*s + x*s, 2*o - 4*s + 6 = z for o.
-1
Suppose -3*p = -4*n - 204 + 35, 5*p - 280 = 5*n. Suppose 2*u - 5*o = 7*u + 180, -u = 5*o + 32. Let t = u + p. Solve 2*q = -4*b - t, 2*q = -q + 4*b + 3 for q.
-3
Let k be 4 - (-1 + 2/1). Let w(p) = p + 1. Let i be w(k). Solve 2*m + 0*m + 5*u - 1 = 0, i = 2*m + 2*u for m.
3
Suppose 0 = -3*p - 4*k + 41, 4*p - k - 11 = 31. Solve -2*n = 3*n + 5*b + 20, n = 4*b + p for n.
-1
Suppose 25 = 13*y - 27. Solve d - 10 = -y*t, -3*t + 0 + 12 = 3*d for t.
2
Let o be (1 - (-8)/4) + 2. Solve o*u = -3*a + 6, 2*u + a + 4 = 3*a for u.
0
Let g = 294 + -290. Let p = 7 - -1. Let l be (0 - -1) + 6 + -1. Solve -g*o + 6 + p = -3*t, l = 2*o - t for o.
2
Let z = 12 - 8. Let m(q) = 4*q + 1. Let l be m(1). Solve z*f = -u + 13, 0*f - u + 15 = l*f for f.
2
Suppose 4 = -2*g - 2*g. Let h = g + 46. Suppose h = 6*p - p. Solve -y + 3*t - 20 = 0, -p - 1 = -2*t for y.
-5
Let x(q) = -q + 1. Suppose 0 = n - 3 - 1, -5*j - 4*n + 116 = 0. Let g be (-8)/j + 7/5. Let p be x(g). Solve p = -4*y + 2*k - 4, y + 3*k + 18 = -y for y.
-3
Let l(g) = 8*g + 6. Let r be l(5). Let k = 78 - r. Solve 5*i + x - 8 - 9 = 0, 0 = -5*i + 4*x + k for i.
4
Let c(w) = 3 - 3*w + 3 - 4. Let u be c(6). Let b = -9 - u. Solve y - 5 = 4*o, -3*y - 4*o - b = -22 for y.
5
Let y be (-2)/(-2)*(-5)/(-1). Solve -5*w - 20 = y*n, -2*w + 4*n = -w - 21 for w.
1
Let n(y) be the first derivative of y**2/2 + 9*y - 6. Let w be n(-7). Solve 4 = -0*c - w*c, -2*t - 6 = 3*c for t.
0
Let i(g) = 2*g - 11. Let h be (0 + 2)*15/6. Suppose 0 = -h*t + 12 + 28. Let q be i(t). Solve a + 3 = -2*n - 2*a, -q*a - 21 = -2*n for n.
3
Let x = -30 + 34. Solve -3*q - 20 = -7*q + 4*t, x*q = 5*t + 23 for q.
2
Let x(q) = q. Let i be x(4). Suppose -o + 1 = 4*w - 23, -20 = -i*w. Solve k = g - 6, 4*k + o*g + 15 = -1 for k.
-5
Let b = -12 + 22. Suppose -u - 2*u = -3*q, 3*u - b = -2*q. Let z be (7 - 3) + 0/q. Solve 0 = -g - z*w - 10, -6*g = -2*g - 4*w - 20 for g.
2
Suppose -5*x + 3*n = -92, 4*n - 4 = -0*n. Let s = x + -17. Solve -p = o + 2 - 3, -s*p = 3*o - 1 for o.
-1
Let i be (-6)/(-9) - 6/9. Solve -3*j + 2*g + 10 = i, -5*j + 3*g = 8*g + 25 for j.
0
Suppose -10 = r - 3*r. Let m(l) = -l**3 + 6*l**2 + 2*l - 9. Let w be m(6). Solve