+ 14, 5*s = -l + 17 for s.
4
Suppose 5*c = -5, 2*c = 2*j - 2*c - 8. Solve 0*h + j*h = 3*y - 4, 4*h + 8 = -2*y for h.
-2
Suppose -10 = -3*y + y. Suppose 2*k - 5*u + 10 = 0, -u - y + 34 = 5*k. Suppose 0 = -2*b + k + 5. Solve 5 + 1 = -3*h - 2*m, -b*h - 8 = 4*m for h.
-4
Suppose 0 = 4*m - 3*t + 5 - 31, 2*m = 2*t + 14. Suppose m*g + 61 = 4*n, 0*n - 3*g = 2*n - 25. Let k = 6 + -4. Solve -3*f + n = f - k*w, 3*f = -w + 3 for f.
2
Suppose u + 3*h = 6*u - 12, 4*h = -3*u + 13. Solve u*k + 1 = 2*b - 2, -3*k + b = 6 for k.
-3
Let y = 54 - 44. Solve -3*t + 3*c = 8*c - y, -5*t = 5*c for t.
-5
Suppose 13 = -2*o + 3*o. Suppose o*n - 7*n = 24. Solve 2 = 2*x - 2*a - 0*a, -12 = -n*a for x.
4
Suppose -4*z + 8*z - 48 = 0. Let k = 0 - 0. Suppose 52 = 2*h - k*h. Solve 6 = -5*s + 5*r + h, 3*s = -4*r + z for s.
4
Let x(f) = -5*f + 2. Let s be x(-3). Let i = 11 - 6. Suppose -3*g + i*b + 9 - 2 = 0, 5*b - s = -3*g. Solve 3*m + 27 = 3*h, -m - 26 = m - g*h for m.
-5
Suppose -g - 1 = 3*o, 12 = 3*g - 3*o - 9. Solve -g*c = 5*f, c + 2*c = -f for c.
0
Let c = -7 - -9. Let g(p) = -p**3 - 7*p**2 - 8*p - 9. Let m be g(-6). Suppose 2*v + m*t + 5 = 1, -c*t = 2*v. Solve 12 = 4*q + v*h, 2*q - 3*h = q - 5 for q.
1
Suppose 19 = 3*b - 2. Solve 2*q - 6*q - 10 = -3*t, 0 = -q + 3*t - b for q.
-1
Let b(t) = -t**3 - 3*t**2 + 4*t + 4. Let d be b(-4). Suppose -2 = -4*s + 6. Suppose d*g = 2*g + s. Solve l - 5*p = g, -4 = -4*l - p - p for l.
1
Let d = 7 - -1. Let k = d - -2. Solve 0 = -5*b + v - k, 4*b + 2*v + 5 = -3 for b.
-2
Let i(j) = -j**3 - j**2 - 3*j - 3. Let w be i(-2). Let u = -19 + 31. Solve -w*f + u = 4*p - 3*f, -f + 3 = -3*p for p.
0
Let x(s) = -4*s**3 + s**2 + s + 1. Let b be x(-1). Solve -3*g + 2*t - 5*t = 0, -b*t - 2 = 3*g for g.
1
Let n(l) = l**3 - 5*l**2 + 6*l - 4. Let q be n(4). Suppose -3*r - 2*r = 2*b - 23, b - q*r + 8 = 0. Solve -4*i = -x + 6, b*x - 13 = -i + 6*i for i.
-1
Let b be (-1)/(2/8) + 27/3. Solve b*f - 2*l = 1 - 2, 8 = -f + 3*l for f.
1
Suppose 3*o + 2*p + 14 = 7*o, -2*o - 2*p = 2. Let x(n) = -8*n - 56. Let j be x(-7). Solve -o*v + h + 8 = j, 0 = -5*v + 5*h + 13 + 12 for v.
3
Let b = -2 - -2. Suppose b*f = -f. Solve 3*v = -3*p, 5*p - 2*v - 3*v + 10 = f for p.
-1
Suppose 0 = 17*k - 4*k - 13. Solve -2*g + 8 = -5*r - g, k = 5*r + 2*g for r.
-1
Suppose 4*a + 20 + 0 = 0, 4*a + 20 = q. Solve 3*y - 12 = -2*w, w + 0*w - 5*y + 20 = q for w.
0
Suppose v - 9 = -5*p, -v + 5*p - 2 + 1 = 0. Solve 5*l = -4*j - 41, 6 = -v*j - 10 for l.
-5
Suppose -2*j + 0 + 12 = 0. Let p = j + -4. Let o be ((-4)/12*-15)/1. Solve o*w = -f - p*f + 17, 0 = -w - 4*f for w.
4
Let i(k) = 2*k. Let y be i(1). Suppose y*u = 5*u - 12. Solve -a = -3*c - 10, -c - c - u = -2*a for a.
-2
Let k = 18 + -16. Solve 5*z - 3*f - 19 = -k*f, -18 = -4*z - 2*f for z.
4
Let z(c) be the third derivative of c**5/30 - c**4/24 - c**3/2 + c**2. Let v be z(3). Let b be (v/9)/(2/3). Solve 0 = -5*s - 2*k + 3*k + 5, 10 = -b*k for s.
0
Let k = 28 + -14. Solve -2*j - 5*n = 2*j + 24, 3*n = -2*j - k for j.
-1
Suppose -4*i = -3*o - 12, 2*i - 4*o = -i + 9. Suppose 2*l - i*l = -3. Solve 2*z - 13 = 5*b, 0 = l*z - 5*z - 3*b - 11 for z.
-1
Let p(i) = 9*i**2 - 4 + 2*i - 4*i**2 - i**3 + 10*i - 5*i. Let v be p(6). Solve 0 = -v*m - 5*a - 10, 5*m + 4*a = 2*m - 1 for m.
5
Let h(q) = -q**2 - 8*q - 7. Let i be h(-7). Suppose i = 4*v - 16 - 32. Solve -13 = 5*m - f + v, 4*m = f - 21 for m.
-4
Let u = -8 + 8. Solve g = 2*b + 2*b - 2, u = -4*g + b - 8 for g.
-2
Let f = 73 - 43. Solve 3*l = -5*s, -l - 2*l + f = -5*s for s.
-3
Suppose 0 = i + 3*i. Let u be (-1)/((-2)/4) + 0. Let t = 6 + -2. Solve -u = -b, -b + 10 = -t*c - i*b for c.
-2
Let g be (-48)/(-6) + (0 + -1)*1. Solve 0 = -2*i + g*i, 4*r - 2*i = -16 for r.
-4
Let y(t) = -t**2 + 5*t - 1. Let g(u) = -1. Let k(w) = -g(w) - y(w). Let r be k(5). Suppose 0*q = 4*q - 16. Solve -2*c + r*p - 2 = 4*p, q*p + 4 = -c for c.
0
Suppose -3*w + 2*w - 3 = 0. Let t be (-67)/w - (-6)/9. Solve -t = -r + 8*h - 3*h, h = r - 3 for r.
-2
Suppose -4*u + 6 = -u. Let m be 3/9*0 + 15. Suppose -f = u*h + 4*f + m, 3*f = 3*h - 30. Solve -4*k - 16 = 4*s - 3*k, -35 = h*s + 5*k for s.
-3
Let j(p) = -p - 3. Let n be j(-3). Let g(l) = -2*l**3 + l**2 + l - 1. Let s be g(1). Let u = 6 + s. Solve -k = -5, 0*t + t + 2*k - u = n for t.
-5
Suppose 3*n - 4*y + 1 = 0, 5*n = 6*y - 4*y + 17. Solve -b + 3*z = -1 - 6, 22 = n*b - 2*z for b.
4
Let z be -8 - -6 - 2*10/(-4). Solve -2*w = z*g - 5*g + 2, 0 = -5*w + 4*g - 9 for w.
-5
Suppose 5*w - 1 = 9. Solve 5*m + 4*i = 3 - w, 5*m + 23 = 2*i for m.
-3
Suppose -4*h = -h - 3*s + 6, -h - 5*s = -10. Solve w - 19 = 4*n, h*w + 5 = 3*w + n for w.
3
Suppose c - 2*c = -5. Solve 4*l + 5*h - 22 = 0, -c*l + 3*l - 4 = -5*h for l.
3
Suppose 2*p + p - 4*p = 0. Solve -2*x = 5*u - 17, 3*x - 2*u - 2*u + 9 = p for x.
1
Let g(n) = 2*n**2 - 6*n + n**2 - 6 - 3*n**2 + 3*n**2 + n**3. Let z be g(-4). Solve -u = 4, 0*f - 2*u - 6 = z*f for f.
1
Let g(v) = 2*v - 2. Let j be g(3). Suppose q - 3 = 1. Solve 3*r - j*r - 5*m = -25, -q*m = -r - 20 for r.
0
Suppose 0 = 2*n - 4. Suppose 7*j = n*j. Suppose -q = 3*q - 16. Solve j = -y + 2*y + 2*o + q, 5*o = y - 3 for y.
-2
Let k be 1*1/(-3)*-9. Suppose 3*n - 6 = 0, -6*v = -k*v + 4*n - 8. Solve 2*t + 5*m - 21 = 0, t - 7*m + 2*m + 12 = v for t.
3
Suppose y - 4*u + 2 = -5, 0 = 2*u - 6. Suppose 0 = h + k - 7, -11 = -y*h + 3*k. Solve -5*t - h*l = -14 + 4, -3*l + 10 = 5*t for t.
2
Suppose 3 = -2*j + q + 2*q, 0 = -4*j + 3*q + 3. Let h be 8 + -12 - (2 - 14). Solve -3*d - j*t - h = -t, 16 = -5*d - 2*t for d.
-4
Let f = 16 - 9. Solve -2*u = 3*v - 18, -4*v - 4*u + 35 - f = 0 for v.
4
Suppose -2*a + 4*t = 2*t - 10, -5*a - 2*t = -18. Solve a*w - 8 = 4*s, 5*s + 25 = -0*s for w.
-3
Suppose 0 = g + g + 2*z - 24, g - 2*z = 21. Solve 3*r = -5*q - 37, -g = 5*r + 5 for q.
-5
Suppose 2*s + 52 = -2*s. Let d be 2 - (s + -2 + 0). Solve g + d = -4*b, -4*b + 0*g + 4*g - 32 = 0 for b.
-5
Let q be (1 + -1 - -1) + 2. Suppose -2*w - 4 + 0 = 0. Let z = w - -5. Solve 15 = -z*g - 3*y, 0 = 2*g - 0*y + q*y + 12 for g.
-3
Suppose 5*l - 30 = -4*m, -3*m - 3*l + 31 = 7. Suppose 0 = 2*w - 6 - 2. Solve y + 3*d = -5, -w*y + 2*d - m = 4*d for y.
-2
Suppose 92 + 84 = 4*s. Suppose 4 = -2*m + s. Solve 5*r - m = 3*f - 2, -5*r + 10 = 5*f for f.
-1
Let j be -3*2/(-9)*3. Let m(y) = y**3 + 4*y**2 - 4. Let n be m(-3). Solve 0 = -n*d - a + 24, 3*d + j*a - 12 = 1 for d.
5
Suppose -2*q + b + b = 2, 5*q - 35 = -3*b. Solve 2*y + 2 = -2*o, -3*o = -5*y - q*o + 11 for y.
3
Let c(w) = w**2 + 6*w + 7. Let j be c(-5). Solve 3*t - 5 = j*f - 1, -2*t - f = 2 for t.
0
Let b be (-7)/(-14) + 5/2. Solve -4*z + 13 = -b*t, 5*z - 3 = -2*t - 4 for t.
-3
Let l(k) = -2 + 1 - 4 + 0 - 3*k. Let w be l(-5). Solve 5*y + q = -w + 2, 2*y - 3*q = -10 for y.
-2
Suppose 0 = 8*k - 4*k - 80. Solve 0 = 3*t - 4*r + k, -4*t - 2*r = -5*t - 8 for t.
-4
Suppose -4*w - 3*p = -0*w - 19, 2*w - 9 = -p. Solve 3*c - 14 = 2*t - 0*c, w*t = -5*c - 6 for t.
-4
Suppose -2*j + 6 = 2. Solve 5*x - 2*m + 24 = -5*m, j*x = -5*m - 21 for x.
-3
Let m be (-18)/(-8)*(-4)/1. Let k be 5 + m/3 - -2. Solve 4*r - k*w - 2 = 2*r, -4*w - 4 = 0 for r.
-1
Suppose -9*i = -7*i - 10. Solve 0 = -5*f + u - 25, 0*u + 3*u = f + i for f.
-5
Let b(g) = g**2 - 6*g - 2 + 7*g + g**3 - 8*g**2 + 2*g**2. Let s be b(5). Solve 3*v = a + s, 4*a = v - 3 + 2 for v.
1
Suppose -10*g + 51 = 21. Solve -2*y - g*p = -p + 8, 12 = 4*y - 3*p for y.
0
Let z(d) = d**3 + 3*d**2 - 4*d - 5. Let o be z(4). Suppose -4*s + 41 = 3*y, -5*y + o + 0 = s. Solve -3*j + 9 = 0, j - 7 + y = -5*h for h.
-3
Suppose 4*y - 10 + 2 = 0. Let d be ((-5)/5)/(y/(-10)). Suppose n + 14 - 31 = -3*k, 0 = 4*k - n - 11. Solve -d*p + k*a = -a - 10, 4 = 4*a for p.
3
Let q = -2 + 4. Let a be -4 + q + (15 - 4). Suppose 12 = -3*k, 2*p - a = 4*k + 17. Solve -2*v + 0 = -p*b + 10, 6 = 2*v - b for v.
5
Suppose 0 = -v + 2*v + 2. Let s = v - -5. Suppose 12 = 4*h - s*f, -13 = -4*f + 3. Solve -4*m + 5*x + h = 0, 0 = 5*m - 2*x - 3*x - 5 for m.
-1
Suppose -5 + 17 = 4*v. Suppose 5*u + 2 = 2*a + 3*u, -5 = -a - v*u. Suppose -4*c - 10 = 3*x, -5*c = a*x - 2*c + 8. Solve -2 = o + x*j, 4*o + 5 - 18 = -j for o.
4
Let j(k) = 7*k - 1. Suppose 16 - 2 = 2*o. Let u be j(o). Suppose 3*f = 3*r - 28 - 8, f - u = -4*r. Solve l + r = 2*z, -1 = -z - l + 2 for z.
5
Let b(p) = p**3 - 8*p**2 + 6*p. Let d 