5*f = -3*f - 3*x - 7 for f.
-1
Let v(i) = i**2 - 5*i - 8. Let r be v(7). Solve 16 = -3*m - m, m = 2*w - r for w.
1
Suppose g - 80 = -7*g. Solve -5*z + 6 = 2*s, -4*z - g = -5*s + 5 for s.
3
Let r = -8 - -11. Suppose r*q = 7*q - 16. Solve q*a = 0, a + 8 = 2*f - 3*a for f.
4
Suppose -c + 5*c - 12 = 0, -4*t - c + 11 = 0. Solve -2*j = t*d - 6, -4*j + d - 4 = -1 for j.
0
Let t(z) = z**3 + 3*z**2 + 2*z + 4. Let c be t(-2). Solve 4*v = 4*n - 0*n - 40, v + c*n = 15 for v.
-5
Suppose 9*c - 71 - 19 = 0. Solve n - 10 = -4*a, 1 = -3*a + c for n.
-2
Let b(v) = v + 13. Let g be b(-12). Solve -3*i = 5*c - 21, 11 = 2*c + 2*i + g for c.
3
Let c = -10 - -11. Solve -3*i + 7 = -4*w, 2*w - c = -0*w - 3*i for w.
-1
Let n be -2*1*(-1 + 0). Suppose -3*w - n*w - 180 = 0. Let m = w + 52. Solve -b - 18 - 2 = 5*h, -4*h = 3*b + m for h.
-4
Let c(u) = -6*u + 3. Let t be c(2). Let q = t - -18. Solve 2*g = p - 6, -4*p + 2*g = -q + 3 for p.
0
Suppose 0 = c + c. Suppose c*v = -4*v + 20. Solve 5*p = f - 10 - 18, 5*f + 2*p = v for f.
3
Let m(a) = -4*a + 2. Let s be m(-3). Let x(b) = -5*b**3 - 3*b**2 - 2*b. Let h be x(-1). Solve 2*f - 5*r = 8, 0*f - 5*r = h*f + s for f.
-1
Suppose 0 = 7*s - 37 - 5. Solve f - 4*o = 13, 1 = f - o - s for f.
5
Let m(d) = d. Suppose -q - 3 = -4. Let n(v) = -10*v - 1. Let r(a) = q*n(a) + 6*m(a). Let x be r(-1). Solve 0 = 2*g + 4*u - 18, 0*g - u = x*g - 7 for g.
1
Let s(f) = f**3 + 6*f**2 - f - 2. Let h be s(-6). Suppose 9*t - 10 = h*t. Let w = t - 0. Solve -10 = -5*m + 5*d, -4*m + w*d = 6*d - 32 for m.
5
Let r = 3 + -2. Let i = r + -5. Let w(n) = -2*n - 4. Let x be w(i). Solve x*y = 4*h, 2*y + 4 + 0 = 4*h for h.
2
Suppose f + 5 = -c - 0*c, -25 = -c + 5*f. Solve 3*k = -c + 6, 12 = -3*n + 3*k for n.
-2
Suppose 0 = -2*x - j - j + 24, -2*x + 4*j = -24. Let q be (30/4)/((-3)/4). Let a be q/x*-3*10. Solve 5*c = 4*z + a, 3*c = -4*z - c + 20 for z.
0
Let s = -2 - -3. Let b be (-1 + s)/(-3 + 0). Suppose a = -c + 15, a = -b*a - 5*c - 1. Solve q + 3*g = -g - 16, q + 5*g + a = 0 for q.
-4
Suppose -2*y - 41 = -5*f, -2*y - 2*f = -f + 11. Let k = -5 - y. Suppose k*w = -w. Solve j + 2 = g + 12, 4*j - 20 = w for g.
-5
Suppose 0 = -3*v + v. Let i = -3 + 23. Solve 0 = 4*y - 5*m + m + i, 5*m - 10 = v for y.
-3
Suppose 5*g = -5*i + 10, 2*i + 2 = 3*g + 1. Suppose -20 = -5*j, j = s - 2*j + 13. Let d be (s + 1)/(i/1). Solve 5*u - 3*q - 17 = d, 2*q - 13 = -3*u + 1 for u.
4
Suppose -4*v - 5*q = 7, -3*q = -3*v + 7*v + 1. Suppose 0 = 5*h - v*h - 36. Solve 0 = 3*k - r - 4, -2*k = k - 3*r - h for k.
0
Suppose -5*k - 2 + 15 = g, 0 = 4*g + 3*k - 18. Suppose -3 = -y, -g*s = -0*y + 3*y - 18. Solve -s*m + 13 = -l - m, m + 6 = -2*l for l.
-5
Let r(o) = -o**3 - 6*o**2 + 2. Let c be r(-6). Let s = 13 - c. Suppose 5*p - 4*q - 20 = s, -13 = p + 4*q. Solve -4*d - 3 = -p*d, 24 = 3*a - 4*d for a.
4
Suppose -16 = -5*m - 1. Solve l - m = -3*l - 3*i, -3*l + 1 = i for l.
0
Suppose -3*t + 3*t - 3*t = 0. Let s be (0 + 8)*(-6)/(-4). Solve 0 = -g + 4*f - s, t*f + 2*f + 8 = -3*g for g.
-4
Let b(r) = -r**2 + 5*r + 2. Let v = 7 - 2. Let n be b(v). Solve -4*d - 3*m - 35 = 0, n*d + 2*m = m - 15 for d.
-5
Let i be -1*(1 - -1) + -4. Let m = 11 + i. Solve 2*g + 2*w = -0*w, m*w = -g - 8 for g.
2
Suppose -3 = -3*a + r + 5, 2 = 4*a + 3*r. Solve -2 = -4*q + a*k + 8, -5*q - 3*k = -40 for q.
5
Let x be (-1 - -14) + 1 + -2. Suppose 5*b = 5*g + 1 - 6, 2*b = -5*g + x. Let z(j) = 9*j**2 - j. Let r be z(b). Solve -2*s = n + 3*n - r, -s - 2 = -4*n for s.
2
Let x be (11/(-22))/((-1)/70). Solve -4*v - 3*w + 13 = -11, -x = -5*v - 5*w for v.
3
Let z(g) = 2*g**2 - 2*g. Let c be (-1 + 0)/(2/(-4)). Let q be z(c). Solve -f + 15 = -5*k, -f + q*k - 6*k = 6 for f.
0
Let x(j) = -j**3 - j**2 + j + 8. Let i be x(0). Let m = -10 + i. Let a be 1/((0 + m)/(-6)). Solve 4*f - 5*l - 29 = 0, l + 0 = -a*f - 2 for f.
1
Suppose 5*y - 4 = 2*b, -3*b = 3*y + 2 + 4. Let x be y/2 + 2*2. Solve -v + 2 = 4*d - 3*v, 3*d = -x*v + 29 for d.
3
Let k = -24 + 43. Let r = k - -4. Solve -2*s = l - 0*l + 11, 5*s = 2*l - r for l.
-1
Suppose 11 - 31 = -4*p. Solve c - 13 = -5*i, 3*i + 0*i = -p*c + 21 for i.
2
Suppose -o + 10 = -0*y - 2*y, -2*o = -3*y - 16. Suppose -o*j = -j - 2. Solve -t - j*m - 8 = 0, 0 = -0*m - 2*m - 10 for t.
2
Let r be (-4)/(-8) + (-7)/2. Let h be 4/(-6) - 2/r. Solve 0 = 2*y - h*y + b + 8, 3*y + 5*b = -26 for y.
-2
Suppose 6*z - 3*z = -6. Let g(a) = 5*a**2 - a - 1. Let h be g(z). Solve -r + h = -i - 4*i, -4*r = -4 for i.
-4
Let p(a) = -5 + 3*a**2 + 1 + 2 + 4*a**2. Let h be p(-2). Solve -d + 2 = 3*d + 2*k, 3*d = 4*k - h for d.
-2
Let l(v) = -9*v - 24. Let s(n) = 5*n + 12. Let m(i) = 6*l(i) + 11*s(i). Let x be m(17). Solve -4*p + 2*y - 13 = -y, 0 = x*p + 4*y + 24 for p.
-4
Let l be (20/(-25))/((-2)/10). Solve 0*n + n + 13 = -2*m, -37 = 5*m + l*n for m.
-5
Let n be 4/(16/(-6))*(-48)/18. Solve y + 6 = u, u = -n*y - 8 - 11 for u.
1
Suppose 2*v - 5*i = -i + 16, 0 = -2*v - 2*i + 16. Suppose v = 3*w - w. Solve 4 = -y - c, w*y - 3*c + 21 = -2*c for y.
-5
Let h = -8 + 13. Solve 7*r - i + 19 = 2*r, -h*r - 4*i = -1 for r.
-3
Let n be -4 + 7 - (-1 + 4). Solve 0 = -a - n*a + 5*q - 14, -3*q - 6 = 3*a for a.
-4
Suppose -s + 2 = -0*s. Suppose h + s*h = 0. Let k be 11 + -4 - (h - -2). Solve -4*x = 3*d, -k*x - d = -6*d for x.
0
Let m = -167 - -171. Solve 6 = m*j - 2*s, -3*j + 5*s = 2*j - 5 for j.
2
Suppose 0*a + 7 = -a - 4*f, -2*a + 3*f = -19. Solve -4*w + 32 = a*y, 4*y = 2*w - 5*w + 25 for w.
3
Let s(w) = -w**3 - 4*w**2 + 4*w - 3. Let f be s(-5). Let c be (-43 - -5)*f/(-4). Solve 2*g + 5*y = c + 6, 4*g + 15 = 3*y for g.
0
Let m(j) = -j**2 + 8*j + 23. Let i be m(9). Solve -3*f + 4*c - 5 - 2 = 0, -3*c + i = -4*f for f.
-5
Let t be ((0 - 0)/1)/(-3). Suppose 0 = -4*g - i + 12, t*i + 3*i = 0. Solve 5*h = -g*b + 16, -h + 2*h + 8 = 5*b for h.
2
Let r = 4 + -5. Let c be (57/6)/(r/(-2)). Solve 3*x - x = -5*l + 33, x + 3*l - c = 0 for x.
4
Suppose 5*s = s + 16. Suppose -3*o - 1 = -4*a - 15, s*a - 26 = -o. Suppose -g = g - 4. Solve 3*n - o = i, g*n - 5*i = 6*n + 12 for n.
2
Suppose -5*o + 4*o + 3 = v, 4*v + o - 3 = 0. Let p(d) = -d + 4. Let q be p(v). Solve 19 = 5*c - 3*j + q*j, -3*c = 5*j - 7 for c.
4
Suppose -15 = 5*m + 2*n + 6, -m = 3*n + 12. Let o = -23 + 16. Let f = m - o. Solve -3*c - 3*z + 5*z + 4 = 0, f*c - 28 = -3*z for c.
4
Let n be (-69)/(-21) + 6/(-21). Solve 3*d - 2 + n = k, -5*k + 5 = -d for k.
1
Suppose 4*g = 4*r + 35 - 11, 3*r - 2*g + 17 = 0. Let j be (2 + -1)*(-5)/(-1). Let c = r + j. Solve -15 = 5*k + w, k - 6*k - 5*w - 35 = c for k.
-2
Let j(q) = 10*q - 12. Let l be j(3). Solve -y + 3 = 2*r + 12, -4*y - 2*r = l for y.
-3
Suppose -1 = -l, 5*t = -4*l + 6 + 13. Let y(o) = -o**3 + 3*o**2 + 3*o + 1. Let u be y(-1). Solve r + 12 = u*b, -4*r = t*b - 2*b + 3 for b.
5
Let x = -1 + 11. Solve 0 = 4*y + a - x, 3*a + 2*a - 2 = -4*y for y.
3
Let j be ((-8)/3)/(4/12). Let a be (j/(-12))/((-2)/(-6)). Solve 0 = z - d + a, -z = -5*z + 5*d - 7 for z.
-3
Suppose 0*v - 5 = -v. Solve 0*r = -4*r + n + 9, -r + v*n - 12 = 0 for r.
3
Let z(a) = -a**3 + 6*a**2 + a - 4. Let d be 3/((-3)/6*-1). Let f be z(d). Suppose 4*u = f*u + 4. Solve 6*s - 7 = u*r + 3*s, 0 = -r - 2*s - 7 for r.
-5
Suppose -4*v - 2 = -22. Solve o + 10 = -2*t, -o - v*t = 2 + 20 for o.
-2
Let l = 36 + -22. Solve 3*c = 2*z - 11, 0 = -5*z + 4*c - c + l for z.
1
Suppose -8*l + 8 = -16. Solve l*b - 19 = -0*s - s, -s + 9 = b for b.
5
Let d = 27 + -14. Suppose -4*w + 40 = 4*u, 0 = w + 3*u + d - 33. Solve q = -0 + 4, 5*q - 45 = w*k for k.
-5
Suppose 0*g - 2*g + 10 = 0. Solve 2*j = -g*v - 2, 0*v - 4*v = -j + 12 for v.
-2
Suppose j + 64 = 9*j. Solve b - 5*q = -2*b - j, 0 = -5*q + 5 for b.
-1
Let g be 2/(-2)*1 + 4. Let y be (-2)/(-7) - (-99)/21. Solve -2*p + y*b = -8, 4*b + 1 = g*p - 4 for p.
-1
Let p be (6/4)/(5/(-170)). Let a = -24 - p. Solve 2*k - 5*n + a = 0, k = -0*k + n - 6 for k.
-1
Suppose -t + 24 = 3*t. Suppose 3*c = -4*q + t, 0 = 2*q - 5*q. Suppose -6*v + c*v = -48. Solve k + 15 = 5*o, -k - 4*o = -8*o + v for k.
0
Suppose 0 = -4*a + 3*j + 19, -9 = -3*a + 2*a + 5*j. Solve -35 = -a*v + 5*z, -4*v + 2 = 3*z - 9 for v.
5
Suppose -33 = -5*z - 8. Let k be (-11 - -11)*(1 - 2). Solve 2*j + 4*a - 6 = 0, k = j - a + 4*a - z for j.
-1
Suppose -5*t + 20 = 0, k + 3*t = -2*k + 63. Solve -w - w + k = -5*g, -g - 1 = -w for w.
