3*f + 3, 0 = -h*d + 3*f + 9 for d.
1
Let h(o) = -o**3 - 2*o**2 - o. Suppose -1 = 3*g + 5. Let i be h(g). Solve 3*r = l + 4, -i*r + 0*r = -4*l + 4 for l.
2
Let m be (3 + -2 + 1)*2. Solve -m*z + 3*d - 5 = 0, -3*d = -2*z - 7*d + 14 for z.
1
Let h be (-1 + 1 + 0)*-1. Suppose -2*z + h*z + 12 = 0. Let l = -10 - -14. Solve 0 = -2*r - l*v + z, 0 = -5*r + 2*r + 3*v - 27 for r.
-5
Let d = 12 + -9. Solve -i + d*n = -7, -4*i + 5*n = -3*i - 11 for i.
1
Suppose -5*n + 36 = 7*n. Solve c + 0*c - 3*h + 3 = 0, n*c + 5*h - 5 = 0 for c.
0
Suppose 115 = 5*d - 0. Let b = -3 + d. Let r(o) = -o**3 - 6*o**2 - 7*o - 6. Let c be r(-5). Solve -2*w + u = -3*w + c, -5*u = 4*w - b for w.
0
Suppose h - 12 = -2*h. Suppose 6*p = p + 30. Let n be 20/(-6)*(-15)/10. Solve -h*w + 15 = -n*r, -p*w - 2*r = -w + 6 for w.
0
Let z(x) = -x**3 - 2*x**2 + 3*x - 2. Let l be z(-3). Let v be (-3)/2*16/12. Let f = l - v. Solve 3*h + 3 = 4*s - f*h, 2*s + 6 = 4*h for s.
3
Let z(b) = -b**3 - 21*b**2 + 21*b - 16. Let i be z(-22). Solve i = -g - 5*r + 3, -3*g - 9 = 5*r for g.
-3
Let x(j) = j**2 - 6*j - 13. Let f be x(8). Solve -4*h = 2*c + 16, -f*h + 1 = -2*c - 3*c for c.
-2
Suppose -5*j + 0*j = -45. Solve 2*i = b + j, -4*i + 2 = b - 13 for b.
-1
Let b(h) be the first derivative of -h**4/4 + 4*h**3/3 + 3*h**2 - 3*h - 2. Let x be b(5). Suppose -x*i = i. Solve i = 8*j - 4*j + 5*f, j = f for j.
0
Let r = 1 - -1. Let f = 3 - -2. Solve -5*i = r*x + 7, -f*x + 32 = -3*i - i for i.
-3
Let z(a) = -a**3 - 4*a**2 - 4*a - 3. Let v be z(-3). Suppose -4 = 2*f - 16. Let n = v + f. Solve -3*x - 3 = 3*t, 2*t - 3*x = n + 2 for t.
1
Let r = -5 + -2. Let t = r + 7. Solve -2*f - 4*w - 4 = t, 3*f - 3*w = -f + 14 for f.
2
Let x(y) = -8*y - 2. Let p be x(-7). Suppose -4*j + 56 + 2 = 3*g, -3*g + p = 3*j. Solve g - 2 = h + 5*z, -2*z + 14 = 5*h for h.
2
Suppose -3*x - 2*p + 14 = 0, x + 20 = -5*p + 3. Let q be (x/(-5))/(8/(-20)). Let c = q + 0. Solve -c*j + 23 = -4*y + 3, -2*j = y - 7 for y.
-1
Let y = -3 + 24. Solve 7*q - 4*h = 3*q - 24, 4*q + y = h for q.
-5
Let x = 0 + 0. Let w = x - -3. Let r(c) = 2*c**2 - 8*c + 2. Let u be r(4). Solve -u*f - w*f - 3*p - 10 = 0, 25 = -5*p for f.
1
Let d be (-1 + 4 + -7)*1/(-2). Solve j + b + 4 = 7, d*j - 3*b + 19 = 0 for j.
-2
Let z = 16 - 38. Let t = -15 - z. Solve 4*u + k - 20 = 0, -2*u + 3*k = t - 17 for u.
5
Let z(y) = y + 16. Let r be (0*(1 + 0))/(-2). Let c be z(r). Suppose 5*i - c = -0*i + m, 2*m = 5*i - 17. Solve -2*g - i*v + 7 = -4*g, 4*v = -2*g for g.
-2
Let m = 58 - 53. Solve 2*g + 16 = -p - 3*p, -p - 5*g + m = 0 for p.
-5
Let j(q) = 3*q - 5*q + 3*q. Let c be j(6). Let t be ((-6)/2)/((-2)/c). Solve 5*m = 2*m + y + 7, m + 3*y = t for m.
3
Suppose -8*u + 90 = 10*u. Solve u*t - 3*t - 12 = 4*r, -4*t - 2*r + 4 = 0 for t.
2
Let u(s) = 2*s + 10. Let d be u(-3). Suppose h = -p + 16, d*h - 2*h - 3*p = 17. Solve 5 = -y + 2*o, 5*o - h - 6 = -4*y for y.
1
Suppose 0*r = 5*r - 10. Solve -7*i + r*i = -2*q + 7, 0 = -4*i - 3*q - 1 for i.
-1
Let n = -73 - -78. Solve 6*k - k = -4*g + 18, -g - n*k = -12 for g.
2
Suppose b + 1 = -2*x, 5 = -3*x - 10*b + 5*b. Solve -2*s - 6 - 4 = 4*m, -4*m - s - 13 = x for m.
-4
Let q be (-8)/28 + (-313)/7. Let b be (-395)/q - 4/(-18). Solve -2*g + 2 = -4*u, 3*g - 4*u + b*u = 3 for g.
1
Suppose -3*c = -5*l - 42, l - 3*l + 4*c - 14 = 0. Let q be (-6)/l + (-8)/(-6). Let v be 5 + (0 + q)*-1. Solve 2*n + j = -6, -4*n - 2*j - 6 = v*j for n.
-4
Suppose 6*n = 16*n - 20. Solve 0 = 2*u - 2*h - n, -h - 10 = -2*u - 5 for u.
4
Let w = 41 - 37. Solve -1 = c - 4*n, 2*n = -4*c - 2*n - w for c.
-1
Let b(p) = p**2 + p + 2. Let t be b(0). Let g(a) = 7*a**2 - 2*a**t + 1 - 2. Let z be g(-1). Solve -v - 5*c + 16 = 0, -3*v + z*c - 8 = v for v.
1
Let q be (15/(-4))/(33/(-88)). Solve -w - 3*r = -6*w - q, -4*r = 2*w + 4 for w.
-2
Suppose -2*c = -4*c - 4, -4*j - 5*c = -50. Suppose j = 5*b + 5. Suppose 5*s = 6*s - 5*g - 25, 3*g + 15 = b*s. Solve -3*r + p + 9 = s, 0*p + 5*p = -r - 13 for r.
2
Let t be (0 + 16/4)/2. Suppose 2*b = -4*a + 16, -b + 2 - 10 = -t*a. Solve -5*s - f - f = -12, 5*f - 5 = b for s.
2
Let j be 340/55 - (-2)/(-11). Solve 3*d + 3*r + 0*r = j, 5*r - 6 = -d for d.
1
Let u(p) = p**2 - 3*p - 1. Let t be u(4). Let x = 8 - 3. Solve t*n + 4*b = 7 - 29, -x*n - 2 = -2*b for n.
-2
Let g(n) = -7*n**3 - n**2. Let r be g(-1). Suppose -p - j = 3*j - 2, 3*p = -3*j + 6. Let d = 50 - 47. Solve u - r = t, d*t + p*t = -5*u for t.
-3
Suppose -n = 2*o + o, 2*o = 5*n. Suppose 4*m + 27 - 91 = n. Solve -3*v + x = m, 0*v + 18 = -3*v + 3*x for v.
-5
Suppose 2*n + 20 = 7*n. Solve -3*j + 8 = -5*h - n*j, -3*h + 3*j = 12 for h.
-2
Let a(o) = 3*o - 40. Let z be a(15). Solve -g + 3 = 5*n + 18, -z*g = 4*n + 33 for g.
-5
Suppose 3*j - 3 = -3*n + 3, -4*n + 2*j = -14. Suppose 3*m = -12, 4*b = 2*b + 5*m + 22. Solve h = -f - b, -2*h + n*h + 2*f + 2 = 0 for h.
0
Let b = 17 - 12. Suppose -5*i = t - 0*i - 3, -t + b*i = -3. Suppose 58 = t*r - 35. Solve -5*x + 0*x = 4*n + r, -5*n = -x + 17 for x.
-3
Let l be 22/(-8) + 18/24. Let x = l + 4. Solve -4*i = x*d - 0 - 2, -4*i - 28 = -4*d for i.
-2
Suppose 4*m - 1 = 7. Solve -22 = -4*y - h, y + m*h = 13 - 4 for y.
5
Let b(i) = -2*i + 2. Let g be b(3). Let z be 6/g*-4 + 0. Let u(d) = -d + 8. Let l be u(z). Solve 4*m + l*k - 16 = 0, -2*k - 2 = -k for m.
5
Let r(j) = 2*j**3 - j**2 + 2*j. Let y be r(2). Let c = y - 7. Solve -2*t = -5*t - 5*b + 15, -2*t = -3*b + c for t.
0
Let s be (14/(-6))/(3/9). Let f be (-23)/s + 10/(-35). Solve k + f*k = -5*u + 1, -u = 5*k + 4 for k.
-1
Suppose 3*o - 6 = o. Solve 0 = u - 3*u - o*c - 5, 5*u + 8 = -3*c for u.
-1
Suppose 2*s + 3*i = -0*i + 2, -20 = -4*s + 2*i. Let y(k) = k**2 - k + 5. Let v be y(0). Solve -8 = 3*b + s, -4*q = v*b + 4 for q.
4
Suppose -z = 3*z. Suppose z*y = -3*n + 2*y + 45, -26 = -n - 3*y. Let t = -7 + n. Solve 0 = -3*h + 5*o + 29 - t, -o = 2 for h.
3
Let s be (2/(-6) + -1)*-6. Suppose 5*i - 4*h - 29 = -s, 13 = 2*i + 3*h. Solve k = -4*u + i, -3*u + 2*k = -3*k - 21 for u.
2
Suppose -b - 4 = -6. Solve 0 = 4*j + b*m + 28 - 6, 9 = -3*m for j.
-4
Let z(u) = 2*u**2 - 25*u - 8. Let d be z(13). Let a(x) = -x**3 - 3*x**2 - 5*x. Let c be a(-4). Solve 3*r = -r + 5*j + c, -d*r = j - 16 for r.
4
Suppose -5*j = -2*r - 0*r, -2*r - 5*j = -20. Solve -3*a + a - 5 = -5*o, -r*a + 4*o - 4 = 0 for a.
0
Suppose 0 = 6*j - 2*j - 32. Let k(v) = -v**2 + 9*v - 3. Let z be k(j). Let t = 5 - z. Solve -6 = -2*q - 0*q, t = -g + 2*q - 3 for g.
3
Let d = 2 + 10. Solve -m - m + 12 = 2*x, -5*m + x + d = 0 for m.
3
Suppose -5*g + 2*g + 3 = 0. Solve -3*n - 3*o = n - g, -3*o = 3 for n.
1
Suppose 0 = 3*o - 18 + 12. Solve -4*r = -3*p + 32, o*p = -r - p + 7 for r.
-5
Suppose 3*a + 2 = 3*z + 8, -4*z = -a + 23. Let u(f) = f**2 + 5*f - 6. Let n be u(z). Suppose -4*i - 6 + 54 = 0. Solve r + n = 2*d, i = 2*d - 0*r + r for d.
5
Let m(r) = -r - 5. Let y(k) = k - 3. Let u be y(6). Suppose n = 0, -u*c - 14 = -c - n. Let d be m(c). Solve 3*g + 2*g = 15, h = -2*g + d for h.
-4
Suppose 23 = 4*r - 1. Suppose f - r*f = -10. Solve -1 - 6 = -k + f*p, -3*k = p for k.
1
Let f = 6 + -7. Let o be (11/f)/(0 + -1). Solve -4*a = l + o + 1, a - 5*l = -24 for a.
-4
Suppose -3*i + c + 3 = 0, 5*i - 14 = 4*i - 4*c. Solve 5*z - 2*a - 23 = 0, -4*z + 2*a + i*a = -16 for z.
5
Let x = 19 - 16. Suppose 0 = -4*i + 5*f + 11, 0 = -i + 4*f + f - 1. Suppose 2*w - x*w + i = 0. Solve -w*o + 27 = -s + 9, -5*s = o + 6 for o.
4
Let c = 97 - 95. Solve -2*y - 2 - 3 = r, c*y - 4*r = 10 for y.
-1
Let k(w) = -w**3 - 12*w**2 + 11*w - 22. Let r be k(-13). Solve 4*t + 5*y = 5*t - 2, 0 = 2*t + r*y + 10 for t.
-3
Suppose -7 = 2*g + 1, y - 4*g - 23 = 0. Suppose -2*x = -y*x - 10. Let v be 0/(6/2 + x). Solve -z = -0*z + 1, -5*n + 2*z + 27 = v for n.
5
Let n = -1 + 2. Let b(f) = f**2 - 2*f + 1. Let d be b(2). Let i be n/(((-1)/(-9))/d). Solve -i = -0*a - 2*a + v, -a - v = -6 for a.
5
Let r(h) = -21*h. Let d be r(-1). Suppose -4*x = -k - d, 4*k + 29 = 5*x - 0*k. Suppose x*f - 8 = f. Solve o = 5*m + 10 - 2, -2*o - 4*m + f = 0 for o.
3
Let o(d) = -d**2 - 13*d + 5. Let j be o(-13). Solve j*b + y - 22 = -3*y, 5*y = 15 for b.
2
Suppose -4*n = 5*i - 16, 4*n = 3*i + i + 16. Let z(a) = a**2 - 4*a + 2. Let m be z(n). Suppose m = k - 2. Solve 1 = 2*x - x - k*t, -4*t - 4 = -4*x for x.
1
Let k(r) = -r**2 - 9*r - 9. Let n be k(-7). So