*k = -5*f - 3, 24 - 3 = 4*k + p*f for k.
4
Let t = -7 - -12. Solve 3*k - l + 4*l = 12, 3*k = -t*l + 14 for k.
3
Let i(a) = -a**2 - 5*a - 4. Let w be i(-3). Suppose 0*s - 10 = -w*s. Suppose -2*q = -4*z - 10, z + 25 = -z + s*q. Solve 2*l - 2*n = -1 - 1, z = -n - 4 for l.
-5
Suppose 29 + 4 = 3*j. Solve 3*p + 3 - 14 = 4*z, -5*z - j = -p for p.
1
Let z(t) = -3*t - 7. Let v be z(-4). Solve -5*m - 3*a = -20, -2*m = -0*m - v*a - 8 for m.
4
Suppose 4*m + 3*f = 44, 2*f - 4*f = 3*m - 33. Solve 3*w + 3*z - m = w, -w = -z - 3 for w.
4
Let u(c) = -c**3 + 4*c**2 - 3*c. Let j be u(2). Solve 4*n + 23 = 3*p, -4*p = -j*n - 2*n - 28 for n.
-2
Suppose -31 = 7*d - 31. Solve k + 5 = -d*p + 3*p, -5*p - k = -19 for p.
3
Let o be 4 - (5 + -2 + 4/(-4)). Solve -y - p = -0*y, 0 = 4*y + o*p for y.
0
Suppose 0 = y + v - 2*v - 1, -4*v + 24 = 3*y. Suppose -64*k + 69*k - 15 = 0. Let s(c) = c + 12. Let i be s(0). Solve -k = 3*l + 4*x + 9, 5*l + y*x = -i for l.
0
Let b(r) = r - 5. Let p be b(5). Let t = p + 1. Let y be 0/(1 - (0 + -1)). Solve y = 4*z + 3*k - 19, -8 = -2*z - k + t for z.
4
Suppose 4*h - h - 194 = x, -124 = -2*h - 2*x. Suppose -5*b - 19 = -h. Let l = b - 6. Solve 4*w + 0*w + l*y = -11, -w + 4*y = -21 for w.
1
Let t = 30 - 25. Suppose -3*l = 3*h - 13 - 41, l + 6 = 5*h. Let v = 10 + -7. Solve v*y - a - l = 0, -5*a = -t*y - a + 35 for y.
3
Let j be (-1)/(-2) + (-1)/2. Let n be (12/(-2) - -3)/(6/(-6)). Solve j = 5*z + a - 12, 2*z - n*a - 3 + 5 = 0 for z.
2
Let f(q) = 3*q + 6. Let c be f(4). Let x = c - 0. Suppose -3*r - 7 = -19. Solve -r*o = -3*p - 1, -2*o + 4*p + x = -5*o for o.
-2
Suppose -9 = -6*m + 9. Suppose -v + 7*f - 2*f = 10, 4*v - 4*f - 8 = 0. Suppose 0 = v*b - 26 + 6. Solve -o + 4*p - 28 = m*o, -b*p + 4 = 2*o for o.
-4
Let c = -11 + 23. Let n = 16 - c. Solve 3*f - 8*f = -n*m + 2, -f - 1 = -m for f.
2
Suppose -4*t = -4, 2*t + 12 = 4*v - 2. Let q(f) = -2*f - 11. Let l be q(-8). Let r be l*2/v*2. Solve -2*i = -5*b + 2*i + 36, -4*b + r*i = -36 for b.
4
Let m be 1 + 1 + 0 - 7. Let q(c) = c + 12. Let y be q(m). Suppose 3*x + 1 = y. Solve 4*t + x - 3 = 3*l, -5 = -4*t - l for t.
1
Let z = 26 - 23. Solve z*j - 16 = -b, -3*j + 0*b - 5*b + 20 = 0 for j.
5
Let m(d) = -d**2 - 8*d - 5. Let y be (-2)/5 + (-33)/5. Let g be m(y). Let o = -303 - -317. Solve -g*x - 7 = -w + 2*w, x = 3*w + o for x.
-1
Suppose -2*r = -3*r - 2*f + 14, 0 = -4*f - 4. Solve 5*g = -2*q - 0*q - r, -2*q + g + 8 = 0 for q.
2
Let p(x) = x - 8. Let v be p(7). Let o be ((-2)/(-4)*0)/v. Suppose 3*t - 67 + 19 = 0. Solve o = -s + r - 5*r - t, -3*s + 17 = -r for s.
4
Let l(y) = 4*y**2 - y. Let g(t) = t**3 + 11*t**2 + 10*t - 1. Let a be g(-10). Let p be l(a). Solve s + 5*u + 6 = 0, -4*s = -p*s + 3*u + 10 for s.
4
Let n(c) be the first derivative of c**4/4 + 2*c**3 + 2*c**2 - 3*c + 2. Let i be n(-5). Solve -p - 5*d = -9, 2 = i*d - d for p.
-1
Let m be (-1 + 2)/((-4)/(-80)). Solve 4*f - 4*s - m = 0, 2*f = f - s - 1 for f.
2
Suppose 4*x + 15 = -5*l - 1, -2*x - 8 = 4*l. Suppose l = -0*z - 2*z + 8. Solve 3*q + u = 6, 0*q = -z*q - u + 7 for q.
1
Let f(k) = -3*k - 11. Let j be f(-6). Suppose 5*i = -5*z + 20, -2*z + 20 = 5*i - j*z. Solve 2*m - 4 = -5*c, -i*c + 19 + 4 = -5*m for m.
-3
Suppose -3 = 4*o - 27. Let x(n) = n - 4. Let m be x(o). Let s = 2 - m. Solve s*i = -4*d - 3*i, 5*i = -4*d - 8 for d.
3
Suppose 7*l - 8*l = -5*l. Solve 3*t + l*t = 5*n - 22, -8 = -2*n + 2*t for n.
5
Let r be 1/2 - 39/6. Let v = 9 + r. Solve 4*k - 12 = -j, 0*k - 8 = -v*j - 5*k for j.
-4
Let q(d) = 12*d + 73. Let t be q(-6). Solve -t - 3 = 2*o, -3*p + 8 = 2*o for p.
4
Let f(y) = y**3 - 3*y**2 - 4*y - 5. Let x be f(4). Let h = 11 + x. Solve -4*t = -a - 12, -3*t + t = -a - h for a.
0
Let f(s) = -s**2 + 4*s - 4. Let w be f(5). Let z be -2 - (-3)/(w/(-6)). Suppose z = 3*o - 6*o + 3. Solve -g + 2*j + o = -6*g, 3*g + j = -1 for g.
-1
Let d(i) = -i - 11. Let t be d(-5). Let u be (-9)/t*(-8)/(-4). Solve u*r = q - 0*q - 11, 0 = -3*r - 5*q - 17 for r.
-4
Let y = -50 - -22. Let q = -25 - y. Solve -4*i - 8 = -l + 13, -7 = 2*i + q*l for i.
-5
Let j(s) = -2*s - 22. Let g be j(-12). Solve 5*b - 6 = t - 0, -6 = -4*b + g*t for b.
1
Let r = 5 + -3. Suppose 5*y + 3*v - 4*v = 19, r*v = 2. Suppose -3*n + 2*b = -14, -b = -y*n - 0*b + 17. Solve -4*l - 4*m + 16 = -m, -n*m = -l - 15 for l.
1
Let m be 0/1*(2 + -1). Solve -r + b = 3, 2*r + r + 2*b - 16 = m for r.
2
Suppose 2*h - 4 = -0*h. Let y(w) = -w**3 + 9*w**2 - 2*w + 13. Let n be y(9). Let k = n + 9. Solve -3*g - k*m = -4, -2*g - h*m = -0*m for g.
-4
Let g be 2*(-1)/(1/2). Let w(r) = -r**2 - 7*r - 6. Let m be w(g). Solve 2*h + a = -9, 2*a + 0*a = -m for h.
-3
Let j(a) = -17*a + 2. Let y be j(-2). Suppose -i - 3*x + y = x, -4*x + 60 = 2*i. Solve 0 = 4*c - h + i, -5*c + 0*h - 37 = -3*h for c.
-5
Let v be (44/(-6))/(6/(-18)). Solve -3*o + 5*a - 1 = 0, 4*o - v = -7*a + 2*a for o.
3
Let p = 5 + -2. Let b(g) = 3*g**3 + 3*g - 2. Let x be b(1). Solve -2 = -u + t - 1, 10 = -x*u - p*t for u.
-1
Suppose 4*b - 9*b = -15. Solve -5*z + 27 - 4 = -b*l, l + 5*z - 19 = 0 for l.
-1
Let l = 10 + -5. Solve -4*d + 2 = 2*w, 3*d = -l*w - 2*d + 15 for w.
5
Suppose -4*g - 30 = -7*g. Let j = -6 + g. Solve j*m - c + 2*c - 1 = 0, 2*m + 5*c = 23 for m.
-1
Let f = -1 + 6. Suppose 3 = f*z - 7. Suppose -2*g + 65 = 4*y + g, z*y = -2*g + 30. Solve -5*r + y = -c, 4*r - 22 = 5*c - 3*c for r.
3
Suppose 0 = 4*f - 2*f - 6. Let u be (0 + f)*(-35)/(-21). Solve -2*t = g - 3*t - 2, 0 = -u*g + 3*t + 6 for g.
0
Let s = 17 - 28. Let i = -18 - s. Let x be (-4 - i)*4/6. Solve -x*a - 5*r - 10 = 0, -r - 2 = 4*a - 0 for a.
0
Suppose 3*b + 6 = 6*b. Suppose 0*l = -2*l + 3*a + 18, 3*a = -4*l. Solve 5*t = l*g - 4, -3*t + 3*g = -b*t - 4 for t.
-2
Suppose -1 = 4*f - 5. Solve 0 = -j - 2*d - f, -3*j - 2*d - 4 = -j for j.
-3
Let p = 8 + -13. Let v = p - -10. Suppose -r - 4 = -5*r + 4*x, -x = -1. Solve -r*b - 4*y = 18, -v*y - 19 - 11 = 4*b for b.
-5
Suppose -6*x + 4*x = 5*a - 19, -2*x - 8 = -4*a. Solve -3 = p + 3*y, p - y - x*y = -3 for p.
-3
Let u(f) = -f + 7. Let z be u(3). Solve l - z*y + 3*y = 3, 0 = l + y - 1 for l.
2
Suppose s + a = 5 - 1, 0 = -5*s + 5*a + 10. Solve s*t + 7 = t + i, -15 = -3*i for t.
-1
Suppose 0 = -4*q - 193 - 151. Let c = -60 - q. Solve 2*v - c = 4*j, 25 = -5*j + 5*v - 20 for j.
-4
Let w be 6 - (-3 + 0)/1. Let k = -5 + w. Solve -2*o + v = -v - k, 2*v + 16 = -2*o for o.
-3
Suppose z - 6*z = -70. Solve -4*y + 30 = 5*k, -k = -4*k + 4*y - z for k.
2
Let o = 157 - 155. Solve 2*u - 3*a - 15 = 0, -1 - 9 = -3*u + o*a for u.
0
Let r = 0 + 3. Suppose r*k - 25 = -2*k. Solve 25 = k*a + 5*y, 2*a - 8 = -a + 4*y for a.
4
Suppose 0 = 3*z + 3. Let k be 1/(((-1)/z)/(-6)). Let s = k - -10. Solve -12 = u - 0*u - 3*x, -s*x + 20 = 0 for u.
3
Suppose 2*p + 0 - 6 = 0. Solve -8 = 5*k - 2*w, 2*k - w - p*w = 0 for k.
-2
Let h(t) = -t**2 - t - 1. Let k(i) = -7*i**2 - 15*i - 17. Let s(g) = -6*h(g) + k(g). Let o be s(-7). Solve -3*n = -0*n, 4*n + 3 = -o*b for b.
-1
Let s be (-11)/(-66) - 2/12. Solve 20 = 5*n - a, s = -3*n - 2*a - 1 - 0 for n.
3
Let r(k) = -k**3 + 10*k**2 - 12*k + 1. Let o be r(8). Let g = 0 + o. Solve 4*m + 16 = y, 5*m + 4*y = -8 - g for m.
-5
Suppose 4*u + 0*v - 28 = -4*v, 3*v = 12. Solve 0 = -u*x - 2*x + 3*h + 15, -h - 5 = -x for x.
0
Suppose -2*l = 2*a - 3*a - 5, -a + 7 = l. Solve 0*c = -4*c + 5*w + 16, l*c - 16 = 2*w for c.
4
Let y(v) = -v**3 + 9*v**2 - 10*v + 19. Let w be y(8). Solve -4 = s + w*s, -q + 4 = -5*s for q.
-1
Let w = -25 + 27. Solve 0 = i + 2*i + 6, -4*i = -w*o for o.
-4
Let g = 15 - 5. Suppose 0 = -9*p + g*p - 2. Solve -2 = 3*k + z, k - p*z + 3 = -0*z for k.
-1
Let z(a) = -6*a**3 + 5*a**3 + 6 + 3*a**3 - 4*a**2 - 2*a - a**3. Let y be z(4). Let t be -5*1/(y - -1). Solve 2*j - b - 10 = 0, 0*j - j - 17 = t*b for j.
3
Suppose 0 = -3*z + 2*z + 6. Suppose -x = -4*x. Let k be (-24)/16*(-4)/3. Solve -12 = -5*p - 4*i, 3*p - k*i + 0*i + z = x for p.
0
Suppose -3*a = -a - 2. Solve 3*p + a = -4*j, -3*p = -1 - 2 for j.
-1
Let k = -5 - -8. Solve 3*l = -g + 7 - k, -3*l + 2 = 2*g for g.
-2
Let l be 1 + (-3)/(-9)*0. Let m be l*-6*(-1 - 0). Solve -20 = 5*s, 5*a - m*s + s = 5 for a.
-3
Suppose -4*o = -0*o - 16. Solve -j + o*g - 21 = 0, -5*j + 0*g - 17 = 2*g for j.
-5
Let d = 49 + -44. Solve 3*b - 15 = d*c, 5*b - c - 11 = 14 for b.
5
Let m be 2/(2/3*1). Solve 2