 f.
-2
Suppose 3*z = z + 20. Solve -2*t - 6 = 2*u, -2*t = u - 3*u + z for u.
1
Let d(a) = -a + 8. Let i be d(4). Suppose -i*g = -0 - 8. Solve -s + 4*u = g + 3, s + 3*u = 2 for s.
-1
Let i = 2 - 4. Let s be ((-1)/i)/((-3)/6). Let u = s - -1. Solve u = 2*p - y + 5, -2*p + 2*y = p + 7 for p.
-3
Let h = -6 + 11. Suppose 6*k + 31 = 4*f + k, -h*k - 35 = -5*f. Solve -3*s = -q - 4 + 3, -5*q = -f*s - 6 for q.
2
Suppose 5*j - 16 = 3*t + 16, -3*t - 16 = -j. Suppose 0 = -k + 7 - 6. Solve -2*c - 5*b - 13 = c, -j*c + k = 3*b for c.
4
Let f = -88 + 92. Solve -f*a + 20 = -7*a + r, -2*r = 5*a + 15 for a.
-5
Let s(k) = k - 8. Let x be s(0). Let c = x - -20. Let f(v) = -v**2 + v + 3. Let y be f(0). Solve y*b + 27 = 3*q, -5*q + 3 + c = b for b.
-5
Let h = 80 - 77. Solve -c = -4*z + 14, 16 = -8*c + h*c + 2*z for c.
-2
Let g = 49 - 47. Solve -5 = -3*t + 4*r - g*r, 4*t + 3*r = -16 for t.
-1
Let u be 8/(-20) - (-4)/10. Let g(w) = 3*w + 22. Let m be g(0). Suppose -2*i + i + m = u. Solve -2*j = 4*v - 0 - 2, 5*j + i = -v for v.
3
Let d(p) = -2 + 2*p + 1 - 6. Let t be (-1)/4 + (-50)/(-8). Let n be d(t). Solve 4*j = -h + 10, 0*h - h + 13 = n*j for j.
3
Let q(o) = o**2 + 17*o + 13. Let f be q(-16). Let c be f/(-4) - (-26)/8. Solve 0 = -4*j - 4, c*n + j = -2*j + 5 for n.
2
Suppose 0 = -s + 5 + 1. Solve -2*p = 5*j - s, 10*j + 3 = p + 5*j for p.
3
Let u be 0/3*(-3 - -2). Solve u = -4*d - 16, 5*b - d + 2 = d for b.
-2
Suppose -2*y + 1 = -2*g + 7, 4*y + 15 = 5*g. Let a be (y/4)/(-1 + 0). Let r = a + 2. Solve 5*m + v + 1 = -r*v, -4*m + 2*v + 8 = 0 for m.
1
Let b(w) = 4*w**2 - 2. Let o be b(-2). Let c = 23 - o. Solve f + 2*v + 1 = 0, 0*v + 4*v = 5*f - c for f.
1
Let r = 233 + -50. Suppose -c = 2*v + 58, -2*c + 3*v = c + r. Let m be ((-16)/(-40))/((-2)/c). Solve -b - 3*b + 4*a = -m, -1 = -3*b - a for b.
1
Suppose 2*z + 2*l = -0*z + 6, -l = -1. Suppose 2*o + z - 26 = 0. Solve -o = -2*c - 2*r, 2*r = 5*c - 14 - 2 for c.
4
Let n = -9 + 11. Suppose 0 = 2*w - n*x - 8, w + 2*x = 7 + 3. Solve 4*y - 2*q + 18 = 0, w = -0*q + 2*q for y.
-3
Suppose 0*f - f = -42. Let w = f + -26. Solve j - 3*j - 12 = -2*v, -2*j - 5*v + w = 0 for j.
-2
Let s = -3 + 10. Suppose 0 = -3*u + s*u - 16. Solve 3 = r + 5*i, -5*i = 3*r - u*i + 5 for r.
-2
Suppose -4*p + 5*m = -0*m - 20, -2*p + 5*m + 20 = 0. Let r be 1 + p - (2 - 5). Let q be (3 - 6) + r - -2. Solve -5*k + 16 = -4*a, -5*a - 8 = 3*k - q*a for k.
0
Let b be -2 + 6 - (3 - 3). Let m be (-10)/b*(-24)/15. Suppose 2*u = -5*n + 28, -m*u - n = -u - 16. Solve 3*a + 15 = -2*p + u*p, 4*a = 2*p - 20 for a.
-5
Let h = 2 + 0. Solve 0 = 4*t + g - 15, 3*g - 6 = h*t - t for t.
3
Suppose -4*a + 6*n = n - 31, -13 = -4*a - n. Suppose -x - 2*d + a*d = -17, 5*d = -5. Solve -4*t = q + x, 0*t + 4*t + 11 = -5*q for q.
1
Let q be (-352)/(-44) - (4 - -1). Suppose -3*j = -j + 12. Let m = 13 + j. Solve q*l - m*y + 2*y - 23 = 0, 0 = l + y + 3 for l.
1
Suppose -i + 41 = -4*r, 0 = -3*r + 5*r + 3*i + 31. Let q = r + 15. Solve 3*p = -0*p - q*x + 31, 0 = -4*p - 2*x + 28 for p.
5
Suppose -18*p = -21 - 15. Let o(l) = 6*l. Let d be o(1). Solve t - d*b + 13 = -b, -p*b = t - 1 for t.
-3
Suppose 0 = -0*l + 2*l + 4. Let s be 1/(2*l/(-20)). Let d = 36 + -33. Solve -5*a + d*h = 9, s*h - 16 = 3*a - 1 for a.
0
Let d = -88 - -93. Solve -d*b + 3 = -4*z, -4*b = -3*z - 3*b - 5 for z.
-2
Suppose 4*y + 5*h = -3, 21 = 4*y + y - 2*h. Let x(z) = z + 5. Let n be x(-6). Let j = n + y. Solve -5*b = t + 4*t + 35, -1 = t - j*b for t.
-5
Suppose 2*n = -3*v + 17 + 3, 3*n - 20 = -2*v. Solve -3*z = -v*w - 19, 3*z - 10 = w - 3 for w.
-4
Let l = -12 - -26. Suppose l = 5*x - 1. Solve 2*p = -2*p - 4*s, -5*s - 8 = x*p for p.
4
Suppose 1 - 26 = -5*z. Solve 5*s - g = -14, -z*s - 5*g = -g - 6 for s.
-2
Suppose -10*b = 24 - 74. Solve -4*j + 24 = b*k, -4*j + 2*j = 5*k - 22 for j.
1
Let u be (2*5/(-2))/1. Let x = u - -5. Solve -w = -4*j + 16, j + 4*w + 15 - 2 = x for j.
3
Let q(i) = i**2 + 14*i + 13. Let p be q(-9). Let k = -23 - p. Solve -3*n - m + 3*m = k, n + 5*m + 20 = 0 for n.
-5
Let p be (-1 - -2)/(-3 + 4). Suppose 2*g = 10, 0 = 5*k + g - 6 + p. Let r = k - 0. Solve -3*a = 2*q - 17, -4*q - 2*a = -r*q - 22 for q.
4
Suppose 5*b - 12 = 2*b. Solve 3*q + b = q + d, -d = 5*q - 4 for q.
0
Let l = 10 - 16. Let m be 4/l + (-2)/(-3). Solve 0 = 2*o - 3*o + t - 4, -3*o - t - 16 = m for o.
-5
Suppose 0 = x - 2*h - 11 - 9, -24 = -x + h. Solve 3*v = -2*v - 3*m + x, -5*m + 30 = 5*v for v.
5
Let r be -3 - 184/(-56) - (-66)/14. Solve 3*p + r*a - 26 = -0*p, 5*p = -a + 14 for p.
2
Suppose -n = -5*d + d + 28, 5*d = -5*n - 190. Let w be (-1)/(-5) - n/20. Solve 5*f - 34 = 3*r - 0, -w*r = 6 for f.
5
Let g(h) = 2*h**2 + 5*h. Let a be g(-4). Let p = a + -3. Solve 5 = d - 3*n, -1 - p = -4*d + 2*n for d.
2
Let k = -12 - -16. Solve 4*v + 5*g - 45 = 0, k*v - 35 = -3*g - 0*g for v.
5
Let t(o) = -o**2 + 4*o - 1. Let r be t(3). Let j(m) = m**2 + 17*m + 21. Let v be j(-16). Solve 0 = -v*z - 4*i + 32, 0 = -2*z - r*i + i + 11 for z.
4
Let v = -1 - 14. Let l be ((-10)/v)/(2/9). Solve 11 + 8 = -w + l*t, -w = -5*t + 29 for w.
-4
Suppose -r + 2*r = 12. Suppose -4*p = -r - 32. Let n = p + -6. Solve -4*l - n*z - 18 = 0, 0*z + 4*z = -8 for l.
-2
Let c(u) = u**3 - 6*u**2 - 7*u + 2. Let p be c(7). Solve -3*x - 4 = -5*y - 0, p*x = 3*y - 2 for x.
2
Let h be (-60)/18*9/(-6). Solve -t = -3*t - 4*p + 6, -h*p + 12 = -2*t for t.
-1
Suppose -3*l - 3*k + 23 = -1, -4 = 2*l - 2*k. Solve -l*w + 4*v = 9 + 10, -3*w - 11 = -2*v for w.
-1
Let c(v) = v**2 + 4. Suppose -4*a = -3*t + 4*t, -2*a = -4*t. Let w be c(a). Solve w*u = -5*o - 6, -5*o + 5*u = -0*o + 15 for o.
-2
Let x be (-4)/(-3) + (-4)/(-6). Let f = 6 + x. Solve f*q - 37 = -4*c + 3*q, -2*q = -c - 7 for c.
3
Let m(z) = z**3 - 7*z**2 - z + 9. Let w(h) = h - 4. Let u be w(11). Let s be m(u). Solve -p - s*f + 4 = 13, 4*p - 24 = 4*f for p.
1
Let x = -467 + 470. Suppose 0 = 5*i - 2*n - 20, 1 = 3*i + n - 0. Solve x*h - s = -4*s + 18, i*h + 3 = 3*s for h.
3
Let u(w) = 2*w**2 - 6. Let h be u(-2). Solve c - 3*y - 6 = 5*c, -h*c = 4*y - 2 for c.
-3
Suppose -4*v + 2 + 6 = 0. Let t = 14 - -15. Solve 4*n - 4*r = -28, n + v*r - t = 6*n for n.
-5
Let w(y) = -y**2 - 19*y - 29. Let p be w(-17). Solve -13 = 4*v - 6*s + p*s, -3*v + 4*s = 26 for v.
-2
Suppose -4 + 1 = -i - p, -4*i + 30 = -5*p. Solve 5*y = i*c - 3 - 12, 3*y + 5*c = 31 for y.
2
Let b be 1/(-3 - (-48)/15). Let w(v) = -2*v + v**2 + 7 + v - 5*v. Let p be w(b). Solve 0 = -4*l - 3*z - 20, l + 0 = -p*z - 5 for l.
-5
Let r(s) = s**2 + 3*s. Let y be r(-3). Suppose -8 = -y*q + 2*q, -3*k = 4*q + 4. Solve k*o + 11 = -3*j, -4*o + j = -0*j + 7 for o.
-2
Let a(r) = -r**2 + 5*r - 4. Let f be a(3). Solve 5*g = -2*u - 2*u + 27, -f*u + 12 = 2*g for u.
3
Suppose -3*z = 4*g - 209, -4*g - 91 = -z - 0*g. Suppose -20 = -5*m + z. Solve -4*y = 5*w - 2*y - 19, 0 = 3*w + 5*y - m for w.
3
Suppose 0*w + 4*w - 16 = 0. Suppose -3*b + 31 = 2*f, -3*f - w*b = f - 60. Solve -f + 2 = 4*z, -6 = 5*i - 3*z for i.
-3
Let f(x) = 7*x**3 + 2*x - 1. Suppose 0 = 2*s - s - 1. Let w be f(s). Solve 4*o + t - 20 = 0, -w*o - 2*t + 25 = -3*o for o.
5
Suppose 5*s = 6 + 9. Suppose -r = -3*v + 7 - s, -2 = 2*v - 3*r. Let g = -28 - -50. Solve -5*k + 24 = v*z, -4*z = 3*k + z - g for k.
4
Let h(c) = -9*c**3 - c**2. Let u be h(-1). Let j = 10 - u. Solve 4*t = -j*o + 10, 4*t - 14 = -o - 5 for o.
1
Let j(x) = -x**2 + 41. Let l be j(6). Solve 3*d + g = 5*g, -l*d = 2*g - 26 for d.
4
Suppose 4*x + 3 = 5*x. Suppose -3*y + 39 = x*f, -2*f + 0*f + 2 = 0. Suppose 4*w - 4 - y = 0. Solve 0 = w*k, 0 = h + k + 2 - 1 for h.
-1
Let w(n) = n**2 - n - 1. Let q be w(-1). Let r be (-3)/6*(q + 3). Let g be r/1 - (-4 - -2). Solve z + 0*z + 2*o + 1 = g, -2 = o for z.
3
Let u(f) = f**2 + f - 5. Let q(w) = -2*w**2 - 3*w + 14. Let g(k) = 6*q(k) + 17*u(k). Let a be g(-1). Solve -4*j - 2*x = -18, -a*x + 4 = -1 for j.
4
Let q = 32 + -29. Solve -5*m - 8 = h - q*h, 4*m + h = -9 for m.
-2
Let p(q) be the first derivative of 7*q**2/2 + q - 7. Let f be p(1). Suppose 3*x + 0*x = 45. Solve h - x = -4*v + f*v, 3*h = -v + 6 for v.
-3
Let i(x) = 4*x - 1. Let b be i(1). Suppose 0 = -3*w - 3*o, 3*o - b = -4*w + 1. Solve 0 = -5*n + 13 + 12, -w*n + 18 = 2*c for c.
-1
Let u be (-1 - 0 - 0)*1. Let s be u/3 + 286/39. Solve 0*r + r - 5*q - 9 = 0, -s = -r + 3*q for r.
4
Let w(a) = 