f, -f = 3*a + 7 for f.
2
Suppose 0 = -w + 2*w. Suppose -5 = -g + 2*g - 2*x, g + x - 10 = w. Solve -g*b - 5*d = 5, b = -4*d + d - 5 for b.
1
Suppose -3*t - 8 = -23. Suppose 2*v = -t*k + 75, 0*v = 2*k - v - 39. Solve -j = -y - 0*y + 1, y = -5*j - k for j.
-3
Let c = 25 + -5. Let l = 2 - -2. Solve -l*z = 2*m - 8, -m - z = -5*z + c for m.
-4
Suppose -5*w - 20 = -5*n + 10, 5*w = -4*n + 6. Solve 20 = -t - 5*x, 5*t - 3*x + 20 - n = 0 for t.
-5
Let f(t) = t**3 - 7*t**2 + 6*t + 6. Let i be f(6). Suppose i*y = y + 10. Solve 5*n = y*k + 23, 5 = 3*k + 2*k for n.
5
Let z be (38/3)/((-4)/(-6)). Solve 10 = w + 4*r, 0*w - 5*w = -3*r + z for w.
-2
Let u be ((-7)/(-1))/(1/(-3)). Let r be 3*(-2 - u/9). Let z be (3/(-2) + r)*0. Solve -5*a = -0*a - 3*v, 3*a + v = z for a.
0
Suppose -3*j - 5*a + 0*a = -8, -4*a = 2*j - 8. Let r = 9 + j. Let o = -6 + 8. Solve -20 = -5*c + 5*v - r, o*c + v + 9 = 0 for c.
-2
Suppose -5*t + 10 = -c - 2*c, -5*t + 30 = c. Solve c*r = -l + 4*r - 5, -4*r - 23 = 5*l for l.
-3
Let g(r) = r**2 - 7*r - 13. Let c be ((-3)/2)/(9/(-54)). Let s be g(c). Solve n + 3 = 0, -2*l - s*n = -l + 18 for l.
-3
Suppose -3*g + 3 = -6. Solve 0*w = -4*l + 2*w - 8, l = -g*w - 2 for l.
-2
Suppose -2*n + 4 = -4*s, -n + s + 7 = 3. Solve a + 0*g + 2*g = n, -a - 5*g = -12 for a.
2
Let j = -2 + 7. Solve 6*o = 4*o + 5*c - 14, -j*o - 5*c = -35 for o.
3
Let o = 2 + -18. Let a = -13 - o. Solve 3*y + 4*h = 10, 5*y - 5*h - a = y for y.
2
Let p = 52 + -49. Solve -4*x - 11 = p*m - 0*x, -5*m + 3*x + 30 = 0 for m.
3
Let r be (3 - (1 - 1)) + 3. Let c = 7 - r. Let o = 4 - c. Solve -2*u - 2*q - o*q = 10, 9 = 5*u + 4*q for u.
5
Let a(n) = n**2 - 3*n - 5. Let g be a(8). Solve -2*t + g = -5*h, -2*t = -2*h - 11 - 9 for t.
5
Let p(b) = b**3 - 4*b**2 + 4*b - 3. Let l(v) = 2*v - 1. Let z be l(2). Let c be p(z). Solve 0 = -5*x + 15, c*q + 18 = -4*q + 2*x for q.
-3
Suppose 0 = 2*z - 10 - 0. Solve -2*w = z*y - 12 - 18, -11 = w - 4*y for w.
5
Let y = -25 + 25. Solve 5*o - h = 13, y*o + 4*h = 3*o - 1 for o.
3
Let i = 3 - 1. Let b(x) = -x**2 + 3*x - 1. Let a be b(i). Suppose 3*r + 47 = 2*v, -3*r = 16 - a. Solve -4*q = 6*o - 5*o - 16, -5*o - v = -4*q for o.
0
Suppose -2*s + 8 = 5*p, 4*s - 12 = 2*p + s. Solve -5*g + 2*z - 2 + 28 = p, -3*g + 15 = -z for g.
4
Suppose 3*y + 5*m - 8 + 26 = 0, y + m = -4. Let o = y - -8. Solve 4*s - 17 - o = -4*d, 3*s = -d + 16 for d.
1
Let r = 24 + -9. Suppose -r + 5 = -y. Solve 2*s = -4*w + y, 0*w + s - 11 = -4*w for w.
3
Let m be (-1)/2*(0 - 6). Let v(s) = 4*s + 0*s**m - 3*s**2 + s**3 - 2*s. Let o be v(2). Solve 2*r + 0*r + 4*b = 2, -3*r - 3*b = o for r.
-1
Let h = 9 + -4. Suppose 2*d = -0*d + 4. Solve h*r - 5 = 5*b, -1 = -3*r + 4*b - d*b for r.
-1
Let b be 0*(-1)/(-2) + -12. Let l be ((-2)/(-4))/((-6)/b). Solve -l = -4*d - 2*z + 1, -3*d = -4*z + 15 for d.
-1
Let g be (4/(-8))/(2/(-4)). Let i(t) = 6*t - 1. Let n be i(g). Solve -v - 1 = f - 6, 0 = n*f + 2*v - 25 for f.
5
Let f = 0 - -5. Let q = 4 - 2. Suppose -2 - q = -x. Solve -x*a = 2*i + 10, -f*a + i + i = 17 for a.
-3
Let w(u) = 4*u - 21. Let z be w(10). Solve o - 4*p = -z, -4*o - 4*p = o - 1 for o.
-3
Let j be ((-2)/(-6))/((-10)/(-180)). Let h(p) = p**3 + 7*p**2 + 5*p - 1. Let v be h(-6). Solve -s + v*b = -4*s + 12, j = 2*b for s.
-1
Suppose -3*y - 2*y = 4*m + 19, 0 = 3*y + 4*m + 5. Let b = y - -15. Solve -13 = -2*l - 3*v, -5*v + 22 + b = 5*l for l.
5
Let p(t) = -7*t**3 - t**2 + 1. Let d be p(-1). Suppose -3*v = 2*w - d*v - 24, -w + 3*v + 17 = 0. Solve 4*y + 35 = 5*a, -3*a + 18 = -w*y - 1 for y.
-5
Let w(c) = -c**3 + 8*c**2 - 4*c - 8. Let i be w(7). Suppose 0 = 4*n - 3*n - x - 9, -5*x - 40 = -4*n. Solve -25 = -n*s, i = -2*g + 5*s - 14 for g.
-1
Suppose 5*i - 2*i - 2 = 2*f, 2*i = 3*f + 8. Let w be (-301)/(-14) - (-1)/i. Suppose 15 + w = 3*l. Solve -6 = 2*d + s, -5*d = 5*s - l + 37 for d.
-1
Let t = 17 + -15. Solve 3*k - 4*u - 20 = 9, -4*k = -t*u - 22 for k.
3
Let u(w) = -w**3 - 12*w**2 - 21*w - 5. Let p be u(-10). Solve -2*i + p*o + 15 = 0, 5*i - 3*o - 35 = -7 for i.
5
Let b(v) = 2*v - 3. Let x be b(4). Solve -11 = -n + 2*h, -3*n = 2*n - x*h - 40 for n.
5
Suppose -5*z - 8 - 12 = -4*j, 0 = j - 3*z - 5. Solve -4*g - 11 = j*i, 5*g + 22 = 4*i - 2 for g.
-4
Suppose 8 = -2*p, -32 + 104 = 2*l - 3*p. Solve 0 = 4*d - 2*n - l, 4*n + 0 = -3*d - 5 for d.
5
Suppose 0 = 5*g + 6*g - 11. Solve 2*d + d - g = 2*w, 3*w - 4*d = 0 for w.
4
Suppose 5*v + 1 = 3*g, 5*g + v - 47 = -2*v. Solve -4 = -4*q, 2*q - 5*q + g = o for o.
4
Let o(k) = k + 1. Let h be o(-4). Let z(y) = -4*y - 6. Let t be z(h). Solve 0 = 2*m + 4*l - 12, t*l = 3*m + l + 37 for m.
-4
Let p(w) = -w + 8. Let c be (-8 - -7)*12/(-2). Let i be p(c). Solve -4*b + i*q = 5*q + 15, -5*q - 25 = 0 for b.
0
Let d = 5 - 0. Suppose -3 = -d*r + 17. Suppose r*f - 25 = -f. Solve -s = f*h + 4*s + 20, -3*s = h + 8 for h.
-2
Suppose -2*o + 2*i + 8 = 0, -o + 5*o - i - 31 = 0. Suppose 2*g + g = o. Let u be -5*((-54)/(-15))/(-1). Solve -u = -l + 4*z - 7, -2*l - g*z = 0 for l.
3
Suppose 3*g - 2*k + 2 = 0, -4*k + 1 = -15. Suppose 5*m = -0*m + 10. Solve -2 = -m*l, -l = -2*f - f + g for f.
1
Let q be 2/(1/(1 - 2)). Let g be (q/(-3))/((-2)/(-21)). Let o be (6/g)/((-2)/(-14)). Solve -5*v - o = -4*a, 0 = 6*v - 5*v + 5*a - 22 for v.
2
Let u(t) = -t**2 + 4*t + 1. Let y be u(3). Let h = 11 - 2. Let j be h/(-3) + -1 + 4. Solve -3*x + y*n = 3, -4*x - 5*n = -j + 4 for x.
-1
Let z(m) = m**2 + 11*m + 5. Let c be z(-11). Solve c*d + 24 = 5*x - 6, -2*d = -5*x + 21 for x.
3
Let a be -1 + 2 + 0 + 3. Let v(c) = c**3 + 4*c**2 - 4. Let p be v(-4). Let g be 2 - p/(-1 - 1). Solve -4*l + a = -2*f + 4*f, -5*f - 5*l + 15 = g for f.
4
Suppose 0 = 4*s - 16 - 40. Let n = -9 + s. Solve n*f + 3*h + 8 = 3*f, -2*f - 4*h = 8 for f.
-4
Suppose 4*o - u + 8 - 50 = 0, 0 = 2*o - u - 20. Solve a + 3*z = o, -2*a + 1 = -z - 0*z for a.
2
Suppose q + q - 24 = 0. Let y(w) = w**3 - 3*w**2 + w. Let f be y(3). Suppose 12 = f*k + k. Solve 0 - 2 = 2*p, k*n - 3*p = q for n.
3
Suppose c - 13 = -2*m, -2*m + 5*c - 29 = -3*m. Suppose -3*n + 2*b = -34, 2*b = -m*n + 3*b + 37. Solve 5*z + 2*d - 1 = n, -z + 3*d + 12 = 0 for z.
3
Let n be 2 + (-1 - -1 - -2). Let y(c) = -8*c - n + 2 - 6 - c**2. Let i be y(-6). Solve 0*r = 4*t + 3*r + 10, i*t - 4*r = -24 for t.
-4
Suppose 2*k + 14 = i, -k - 4*i - 3 = 4. Let l = k - -7. Suppose l*v - 12 = -3*v. Solve -4*g = -v*j - 6*g - 22, 3*g + 21 = -2*j for j.
-3
Let b = 38 - 38. Solve -3*h - 3*g = -2*g + 1, -4*h + g - 13 = b for h.
-2
Suppose 0 = -4*c, 3*l - l - 6 = -5*c. Suppose z = 3*p - 46, l*z - z = -4*p + 48. Solve -20 = 4*n, -2*n + 4*n = 2*u - p for u.
2
Suppose 14 = 4*u - 6. Suppose 0 = 4*j + 11 + 1, -u*q + 3*j + 44 = 0. Suppose -10 = -q*v + 2*v. Solve 0 = 3*s + 4*a - 4, 3 = -v*a - 1 for s.
4
Let c(m) = 7 + 11*m**2 - 4*m - 3*m**2 - 9*m**2. Let w be c(-5). Solve -5 = -3*u - w*f, 4*f - 12 = f for u.
-1
Let r be -9*2/(-3) - (1 + 2). Solve -r*j + 8 = j, 5*j + 5 = 3*n for n.
5
Let z = 9 + -14. Let d(r) = -r**2 - 6*r - 3. Let h be d(z). Let f be 2 + 1/h*2. Solve -2*i - v + 4 = v, -f*v = -3*i - 12 for i.
-1
Suppose 4*j = 4*w + 24, 3*j = 5*w + 8 + 18. Let o(d) = -2*d + d**3 + 7*d**j + 6*d - d**2. Let f be o(-5). Solve -3*n = 5*k + 32, 13 = -2*n - f*k - 15 for n.
-4
Let u = 7 - 2. Solve u*p = 3*l, -19 = -3*p - 2*l - 0 for p.
3
Let q(k) = 4*k**3 - k - 1. Let u be q(-1). Let o be (-13)/u - 5/20. Solve 9 = 3*x - y + 2, 0 = -o*y + 15 for x.
4
Let z = 119 - 169. Let i be 4/18 - z/18. Suppose i*w - 57 = -12. Solve n - 4*g = -3, -5*n + 3*g - w = -g for n.
-3
Let v = 194 - 186. Solve -5*d = 25, d + 29 = -4*o + v for o.
-4
Let h(q) = q + 7. Let m be h(-5). Solve m*t - t = 2*i + 10, -4*i = t + 8 for t.
4
Suppose 4*j - 41 = -5*c, -c + 3*c - j = 6. Solve -o + 3*z + 8 = 0, -12 - c = -3*o + 2*z for o.
5
Suppose 4*x + 0*p + 5*p = 36, 0 = 4*p - 16. Solve 1 = 3*m - 2*v - 3, 2*v - x = m for m.
4
Let y be 5/((2 - -2) + -3). Suppose y*w - 14 = -5*b + 6, -3*b + 5*w = -44. Let q be (-18)/b*-2*6. Solve 0 = -5*j - 3*x + q, 5*j + 2*x - 29 = -6 for j.
3
Let v(r) = 4*r - 1 - 2*r + r. Let c be v(-3). Let j = -5 - c. Solve 2*d - j*s - 1 = 0, -9 = 4*d - 2*d + 5*s for d.
-2
Let s = -8 - -11. Suppose s*x = 5*x. Solve -2*r - 5*f = 37 - 7, x = -4*r + 3*f - 8 for r.
-5
Let n be 1 - (-1 - (0 - 2)). Suppose n = 2*p - p - 2. Solve -16 = -4*o, -9 = -5