 8, z = -s + 2*p + 1 for s.
5
Let u(g) = -g - 3. Let d be u(-5). Suppose 0 = d*w + 3*w. Suppose w = 2*x - 9 - 9. Solve t = 3*b - 4*b + 6, x = 5*t - 2*b for t.
3
Suppose -23*l = -12*l - 88. Solve 0*q + l = 2*q - x, -5*x - 30 = -5*q for q.
2
Let n(k) = -k**2 - 4*k + 1. Let r(d) = -2*d**2 - 2*d + 1. Let l be r(-2). Let p be n(l). Solve p*q - x - 15 = 0, -12 + 28 = 3*q + 4*x for q.
4
Let z be (-3)/(-6)*0 + 8. Suppose 3*h + 13 = -z. Let w = h + 7. Solve 0 = -5*d + 4*i - 3, w*d = -2*d + 3*i + 3 for d.
-3
Let v be (1*2 + 1)*(-32)/(-48). Solve i - v*x - 6 = -x, 2*x + 16 = 3*i for i.
4
Suppose 0 = 3*f - 2*k - 52, -3*k + 72 = -0*f + 3*f. Suppose 9 = -5*p - 5*z + 2*z, -12 = 5*p + 4*z. Solve 4*x - 5*i - 7 - 38 = p, 5*x = -i + f for x.
5
Let f(b) = b + 14. Let z be f(-9). Let j be 27/3 + (-3 - 1). Solve 0 = -j*w + 5*i - 4*i - 6, -3*w + 14 = -z*i for w.
-2
Suppose -d + 14 = -3*d. Let u be 6/14 + 3/d. Solve m - 2*j = 3*m + 20, u = 4*j + 20 for m.
-5
Let g be 4/(-18) + (-8)/(-36). Let w = 0 - g. Solve q = -2*f + 3, w = -8*q + 4*q - 4*f for q.
-3
Suppose 0 = -0*t - 3*t + 54. Solve -3*l = 3*n - 21, -n + 0*l = -4*l + t for n.
2
Suppose -5*h = 32 + 28. Let f = h - -17. Solve -2*u = -3*a - 12, 2*u = -f*a - 2*u - 20 for a.
-4
Suppose 0 = -5*x - 3*t, 5*t = 3*x - 5*x - 19. Solve x*i = a - 9, 3*a = 3*i - 6*i + 3 for a.
3
Suppose -14*z = -2*z - 60. Solve 5*j + 6 = -2*b, 5*j = 2*j - z*b - 15 for j.
0
Let j = -2 - 1. Let n = 3 + j. Solve -3*h - 5*l = 18 - 6, n = -5*h + l + 8 for h.
1
Let s be 4/(-16) - 42/(-8). Suppose -4*u + 8 = 4*t, -t - 3*u = -u. Solve t*w - 2*c + 18 = 2*w, 0 = -s*w + c - 25 for w.
-4
Suppose -2*l + l = -5. Solve -p + 18 = -3*y, l = 5*p + 3*y - y for p.
3
Let s = -18 + 21. Solve 6*b = 5*p + s*b - 5, 2*b = 3*p - 4 for p.
-2
Let v(j) = -j. Let r be v(-5). Solve w - r*g = -g, 6 = 2*w - 2*g for w.
4
Let f = -84 - -86. Solve 2*a = -4*c - 15 + 5, -f*c = 2 for a.
-3
Suppose 4 + 1 = a. Suppose -2*t - t + 48 = 0. Suppose -a*x + t = -x. Solve 5*c + 0*m - x*m - 21 = 0, -2*m = -5*c + 23 for c.
5
Suppose s = 4*s - 12. Suppose s*h - 20 = -3*c, -4*h + 0*h - 4*c + 24 = 0. Solve 0 = 4*b + 4*x, -h = 2*x + 4 for b.
3
Let m be 2/(-1 - 3/(-2)). Let g be (0/(-2))/(0 - 1). Suppose g = -3*f + 5*f - 4. Solve -m*w = 12, 3*t - w = -f*w for t.
1
Suppose 2*f + 2*o - 2 = 12, 0 = f - 3*o - 15. Solve 0 = 4*t - 2*g + 1 - f, 5*t - 5*g = 10 for t.
2
Suppose -6 - 15 = -7*c. Solve k - c*d + 5 = 0, -3*k + 0*d - 2*d = -18 for k.
4
Let w = -9 - -11. Solve -3*x = w*x + 5*f, 2*f - 6 = -4*x for x.
3
Let o = -3 + 6. Solve 3 = o*c - n + 5*n, -c = n - 1 for c.
1
Let b = -1 + 4. Suppose 10 = -5*p - 0. Let j be ((-4)/p)/((-2)/(-11)). Solve -b*h - 7 = -3*y - 19, y - j = -4*h for h.
3
Let y(r) = 2*r - 7. Let n be y(5). Let m be ((-1)/(-3))/(2/42). Let o = 12 + 0. Solve 5*g - 13 = -c + m, n*g = c + o for g.
4
Suppose -77 = -3*s + g + 14, -3*g - 33 = -s. Let d be (s/6)/(0 - -1). Solve -3*y + d*n + 4 = -0, 0 = 2*y + 5*n - 11 for y.
3
Let w = -3 + -7. Let l be 2/w + (-1)/(-5). Suppose l*g = 2*u - 3*g - 3, -2*u + 9 = 3*g. Solve 4*z - 5*a = 3 + 4, -4*z + 9 = -u*a for z.
3
Let b = -3 - -3. Let w(q) = -q**2 + 6*q + 4. Suppose -3 = -3*f + 15. Let k be w(f). Solve -o + 3*g + 26 = k*o, o + 2*g = b for o.
4
Suppose -5*k = 3*z - 20, -2*z = -3*k - z + 12. Solve o + 3*a + 1 = 0, k*a - 2 = -2*o - 4 for o.
-1
Let v(z) = -z**3 + 10*z**2 + z - 4. Suppose -3*w = -0 - 3, 0 = 2*s + 2*w - 22. Let a be v(s). Solve o + 4*r - a = 2, r = -5*o + 2 for o.
0
Let h = 0 + 10. Solve -2*z + 3*m - 10 = -m, -h = 2*z + 5*m for z.
-5
Let i be ((-15)/15)/((-1)/1). Solve -q + 7 = 4*q + 2*m, -i = -2*q + m for q.
1
Suppose -4*s = -3*h + 31, -s + 5*h = s + 5. Let b = 12 + s. Solve 2*l = c + 8, 3*c - b*l + 0 = -8 for c.
0
Suppose 3*j = -3*k - 3, 3*j + 6 = j - 3*k. Suppose -5*d = -15, 2*c + j*d - 14 = 7. Let h be 10/(-2)*(-4)/10. Solve -3*x + 9 = 4*g, 0 = 3*g + x + h*x - c for g.
3
Suppose 23 = z - 16. Suppose q + 0*f = 2*f + 6, 4*q - z = 5*f. Solve -5*g - 5*p = -42 + 12, q = 2*g + 4*p for g.
4
Let f = -13 + -7. Let x = f - -47. Let p be 2*((-2)/1 - -3). Solve 5*s + p*h - x + 10 = 0, -s = h - 1 for s.
5
Suppose 0 + 1 = o. Solve 2*t - b + o = 0, 2*t + b + 6 + 1 = 0 for t.
-2
Let j(c) = -2*c - 7. Let d be 8*(1 - (-14)/(-8)). Let y be j(d). Suppose 4*z + y*g - 57 = 2*g, -z + 18 = 2*g. Solve 0*m = -2*f - 3*m - 4, -5*f - 2*m = -z for f.
4
Suppose 0 = k + 2*s - 9, 3*k + 1 = 4*s - 22. Let b = k - -1. Solve 4*p + 0*r - 20 = 2*r, b = -3*r - 12 for p.
3
Suppose 5*h - 1 = -3*b, 2*b + 19 = 5*h - b. Solve -4*r + 2 = 2*l, -6*r - 2*l = -4*r + h for r.
2
Let h be (3 + 3)/3 + -54. Let l be h/(-20) - 6/10. Solve 4*o + 5*z = 3*z + 20, l = -o + 3*z for o.
4
Suppose 4*r - 12 = 0, 2*r - 3*r = -2*s + 23. Let a = s + -8. Let t(q) = q**3 - q**2 - q. Let p be t(3). Solve a*o = 3*c - 13, -6 = -c - o - p for c.
-4
Suppose -w - 15 = 4*w. Let h be (1 - -2)*w/9. Let t be (6/(-3) - h)*-10. Solve -3*z = -2*q + t, 0 = 4*z - q + 8 + 2 for z.
-2
Let q(u) = 2*u. Let m be q(-5). Let x be (5 - 3)/((-4)/m). Solve 0 = 4*c - 2*g - 1 + 5, 0 = -x*g + 10 for c.
0
Let d = -8 + 13. Let i = -101 + 105. Suppose d = i*o - 3*o. Solve 2*l = -8, 0 = -o*f + 2*l + l - 8 for f.
-4
Let o(f) = f + 5. Suppose -3*x = -0*x - 39. Let i be o(x). Solve i = -3*n - 3*g, g + 18 = -2*n - 4*g for n.
-4
Let v be 11/(-11)*(-3)/1. Solve -v*f + 5*c = 6 - 4, 2*c = -4 for f.
-4
Suppose 2*b + 15 = -b. Let h = b + 5. Let q be (-1 - 1 - h)*-1. Solve 9 = 2*z - z - q*t, -30 = -5*z + 5*t for z.
3
Suppose -4*h + 15 = -5*h. Let g be h/(-3) + (1 - 2). Suppose g*q = 12 + 8. Solve -15 = 3*m + 4*n, q*n = -2*m + 6*n - 10 for m.
-5
Let d(z) = -z**2 + 13*z. Let n be d(13). Solve i - 3*c = 9, n = -i + 2*c + 5 + 2 for i.
3
Let y be 3/5*80/24. Solve 5*r + 30 = -5*d, -4*r - 3*d + y*d = 9 for r.
-1
Suppose -43 = -5*g + 2*j, -2*g + 8 = -4*j - 6. Solve t + 1 - 4 = 5*i, -g = -i + 5*t for i.
-1
Let f be (-5)/(-3)*(-24)/(-20). Solve -3*g - 2*v = 7 - f, -4*v = 4 for g.
-1
Let d be ((-12)/(-15))/((-2)/(-5)). Let o = 2 + 0. Solve -5*c = d*p - 15, 5*p + 2*c + o*c = 29 for p.
5
Let n = 5 - 3. Suppose -4*x + 8 = -n*w, 5*x - x - 16 = 0. Let j(b) = -b**2 + b + 9. Let c be j(0). Solve 2*v - 2*z = -7*z + c, 0 = w*z - 12 for v.
-3
Let x = 0 - -24. Solve 5*l + 8*p = 3*p, -4*l + 4*p = x for l.
-3
Let k(g) = 2 - 3 - 2*g - 1 + 3*g. Let o be k(7). Solve -w = 4*w + y - 20, 5*y = -o*w for w.
5
Suppose -3*y = 3*h - y - 14, -8 = 4*h - 4*y. Solve -3*n - 12 = h*b + 8, 0 = -2*n - 8 for b.
-4
Let r be 22/8 + (-8)/(-32). Solve z - 4*n - 6 = 0, 2*z - 6*z = r*n - 5 for z.
2
Suppose -4*b - 3*f = -7*f, -5*b - 2*f + 14 = 0. Suppose -5*q + 12 = 4*j + 1, -q = 4*j + 1. Let p = b + j. Solve -4*t + p - 29 = 4*u, -4*u - 7 = -3*t for u.
-4
Let h(u) = -u - 2. Let v be h(-2). Suppose v = -4*q + w + 92, -w - 3*w + 64 = 2*q. Solve q = 4*i - k + 5*k, 4 = -4*i + 3*k for i.
2
Let p(a) be the first derivative of a**4/4 - a**2/2 - a - 3. Let g be p(2). Suppose -g*c + 17 = -83. Solve 2*h - c = -3*h, -h = d - 5 for d.
1
Suppose -96 = -3*y - y. Solve 4*h - 4*w + y = 0, -10 = -h - 5*w + 14 for h.
-1
Let q = 7 - 3. Let f be (6/q)/(4/8). Solve 0 = -5*g + 4*o - f, -g + o = g + 3 for g.
-3
Let k(n) = n**3 + 9*n**2 - 10*n - 2. Let z be k(-10). Let b be -2 - z - (-1 - 11). Solve -5*x + 2*x - y = b, y = 4*x + 9 for x.
-3
Suppose 2*k = 6*k + 56. Let v = 10 + k. Let u be (-1 + v)*2/(-5). Solve u*c = -4*d - 16, -2*d - 18 = 3*d + 2*c for d.
-2
Suppose -3*b = -3*z - 60, z - 100 = -3*b - b. Let w = -33 - -48. Suppose -2*h - h + w = 0. Solve 5 = 4*i + h*l, -3*i + 6*i - b = 3*l for i.
5
Suppose -3*z = z + 5*d - 109, -3*z + 2*d = -76. Suppose -u = m - 11, 0 = -2*m + 3*u + z - 4. Solve 2*b + 8 + 2 = 2*o, -m = o + 3*b for o.
1
Let g be 0 + -4 + (3 - 3). Let a be (6/(-3))/(2/g). Let b be (-36)/(-10) - a/(-10). Solve 3*q + 0*q = b*n - 4, 2*q + 10 = -n for q.
-4
Suppose 2*m - 5*m + 15 = 0. Suppose -m = -2*d - 1. Suppose -21 = -d*f - 3. Solve 2*w - 8 = 4*c, -3*w - c + 0 = f for w.
-2
Suppose 0 = 4*a - 7*a + 87. Solve -25 = -5*r, 4*r - 16 = 5*w + a for w.
-5
Let z be 1 - 2 - (-1 - -1). Let b(f) = 13*f**2 - f - 1. Let k be b(z). Solve -2*h - 3 = 2*g - 9, -5*h = 4*g - k for g.
2
Let m(c) = 6*c**2 + 2*c - 2. Let g be m(-1). Solve -3*n = -4*b + 2 + 15, g = 4*b + 2*n for b.
2
Suppose -f + 3*f - 4 = 0. Let o(n) = 2