ose -k = -5*i + 12, -6*k = -3*k - i - 6. Let v be (-5)/(-2)*2 - 2. Solve c + 18 = -2*l - v*c, k*c = -g*l - 10 for l.
1
Suppose 0 = -4*d + 3*d + 7. Let n be 2 - (2 + (0 - 0)). Suppose 3*w + r = -1, n = w + 2*r - 0 + d. Solve 2*k - 6 = 0, w + 2 = -3*g - 2*k for g.
-3
Let g be 4*(1/4)/1. Suppose -15 = -4*p + g. Solve 2*i = 6, w + 5*i - p*i = 0 for w.
-3
Suppose 0 = -4*f - 2 - 2. Let t(i) = -3*i - 1. Let y be t(f). Solve 2*p + 2*u = -2, -y*u + 4 = 5*p - 3 for p.
3
Let l(g) = 12*g**2 + 2*g - 5. Let i(m) = -11*m**2 - 2*m + 4. Let p(w) = -5*i(w) - 4*l(w). Let n be p(-2). Solve 5*b - 4*y = 5 - 1, n = b + 5*y for b.
4
Suppose 9*s = 43 + 173. Solve 4*n - m = s, 6*m - m = -n - 15 for n.
5
Let p(z) = -z**2 + 18*z - 36. Let s be p(15). Solve l - 2*d + 0*d + s = 0, l + d = -3 for l.
-5
Let p = -3 + 5. Suppose -s = -p*s + 2. Solve 5*q = -6*r + 3*r + 25, r - 1 = s*q for q.
2
Suppose -2*r - 49 = 5*o + r, 2*r - 4 = 0. Let n = o - -14. Solve 0 = -2*b - 3*g - 6, -2*b + b - n*g = 6 for b.
0
Suppose 4*b + 60 = 9*b. Solve -3 = 5*f + b, 0 = -5*v - f - 18 for v.
-3
Let w be -4*3/(-12)*(-72)/(-3). Solve -5*f - 4*i + w = -f, 4*f - 12 = -i for f.
2
Let l(t) = t**3 - 8*t**2 + 9*t - 9. Let x be l(7). Solve 4*k = 4*q - 24, k + q = x*k + 12 for k.
-2
Let k(m) = 2*m**2 - m - 1. Let f be k(-3). Suppose 0 = 4*c - 0*c - f. Suppose -b + 2*t = 3*b + 4, -4*t + 15 = -b. Solve -c*x + 2*x - 15 = 0, -b = 3*r - x for r.
-2
Suppose 0 = -5*x + 5*b - 14 + 54, -3*x - 6 = 3*b. Let w be (x - (6 + -2)) + 5. Solve w*j + 14 = 5*j + 3*m, j - 5*m + 26 = 0 for j.
-1
Let d(k) = k + 17. Let v be d(-12). Solve v*p = 5*b + 25, -4*b - 9 = -2*p + 1 for b.
0
Suppose 2*i - 11 = 1. Let f(l) = l**3 - 5*l**2 - 6*l + 2. Let y be f(i). Solve 3*u - v = 14, y - 4 = u + v for u.
3
Let f be 26/(-3) + 4/(-12). Let u = 4 + f. Let t = -2 - u. Solve -4 = 5*z + b + 1, 31 = -t*z + 5*b for z.
-2
Suppose 4*p - 4*z = 124, -3*z + 145 = 4*p - 0*z. Let c be 2 - (1 - p/2). Let r be -3 - (c*1)/(-1). Solve n = -4*n + r, 4*a = 5*n - 15 for a.
0
Suppose -x = -7 + 3. Suppose -x*o + 14 = i, -5*o + 0*i + 28 = -4*i. Let t = 1 + o. Solve -l - 5*s + 2 = 0, -3*l + t + 1 = -s for l.
2
Let a be 1314/(-45) + (-1)/(-5). Let v = -3 - a. Let w be (v/(-4))/(5/(-10)). Solve -3*p - w = 2*p + 2*x, -x = p + 2 for p.
-3
Let z(r) = -3*r + 3*r - 5 - 4 - r. Let a be z(-9). Solve a*m = -3*x + 4*m + 4, 4*x + 3*m + 28 = 0 for x.
-4
Let f = -2 + 10. Suppose -f*u + 3*u = 0. Solve -17 = g + 5*k - 2, u = -5*k - 20 for g.
5
Let m(c) = c**2 - 5*c + 5. Let a be m(6). Let p = a - 8. Solve -2*j - 1 = -p*r + 15, 4*r - 8 = 0 for j.
-5
Let h be (-1)/((0 + 2)*(-22)/176). Solve p + 14 = -h*k, -4 = 4*k + 3*p + 14 for k.
-3
Suppose -6 - 6 = 4*a. Let o be (a/(-6))/((-3)/(-18)). Solve 3*k = -2*y + 10, -3*y + o*k + 10 + 5 = 0 for y.
5
Let s be 0/((-3 - -2) + 2). Let r = -4 - -8. Solve -3*n - r = -b - 0*b, s = 2*n - 4*b + 6 for n.
-1
Suppose -3 = -4*t + 5. Suppose -t*q + 0*q = 0. Solve m - 2 = -3*c + 5, -3*c - 2*m + 2 = q for c.
4
Suppose -2*q = 2*b - 6*b + 10, 0 = -b - 2*q. Let c be 2/9 + (-68)/(-18). Solve -3*w + 3*p = -b*w + 4, -c*p = -w - 4 for w.
-4
Suppose -6*l = -25 + 13. Solve -4*o - 3 - 7 = -l*i, -3*i - 1 = -2*o for o.
-4
Let v(u) = u**2 - 11*u - 5. Let m be v(14). Let f = -28 + m. Solve -2*k + 3*k - f = -2*n, 2*n - 5*k + 9 = 0 for n.
3
Let k = 18 - 25. Let r be (2 - 12/3)*k. Solve 10 = -3*m + a - 0*a, -3*m - 5*a = -r for m.
-2
Suppose z + 6 = -z, 3*o = 2*z + 15. Solve -5*k = -4*j - 35, 2*k - j - 26 = o*j for k.
3
Let m(i) = 2*i**2 + 6*i + 4. Let r be m(-4). Solve v + w = -v - r, -8 = v + w for v.
-4
Let g be (8/(-3))/(26/(-39)). Solve i - 4*o = -9, -8 = g*i - o - o for i.
-1
Let f = -5 + 7. Let z(s) = -s**2 + 4*s - 1. Let h be z(f). Solve -h*n = 3*g - g + 1, -2*n + 8 = -3*g for n.
1
Let c be -2*1/(3 + -5). Let q be -1*(2 + c) + 6. Solve 3*v + 2*s = 0, 2*v + v - q*s = -15 for v.
-2
Let t = 29 + -26. Let a be 0/(-1 + (-6)/(-3)). Solve m + a*w = -4*w - 15, 0 = -m - w - t for m.
1
Suppose 5*d - 83 + 3 = 0. Solve -b - 3*x = 2, 0*b - d = 3*b - x for b.
-5
Let k be (5 - 9) + 18/2. Solve -6 = -k*g - u, g - u + 1 = u for g.
1
Let p(i) be the first derivative of 3*i**2/2 - i - 3. Let a be p(2). Solve -m + 7 + 3 = -a*n, -5*m + 10 = -5*n for n.
-2
Suppose -5*p = -p - 20. Suppose -10 = 2*g + 10. Let l(n) = -n - 10. Let a be l(g). Solve 0 = -4*v - p*t + 28, 12 = -a*t + 3*t for v.
2
Suppose 2*a - 4 = -0*a. Let r be (3/2)/(a/(-4)). Let u be (-3 + 3 + -1)*r. Solve s - 8 = c, -13 = -5*s - c + u for s.
4
Let w be (-1)/(-3) - 22/(-6). Suppose m = -w*m. Suppose 2 = f - m. Solve -3*u = -15, 4*y + f*u + u = 31 for y.
4
Suppose -q - 5*q = -18. Solve -5*m - 19 = 3*v, q*v - 6*m - 26 = -2*m for v.
2
Suppose 0 = -5*j - 0*j. Solve -2*t - 5*i = 8, j = -4*t - 3*i - 2 - 0 for t.
1
Let s be 1/(1/(-1 + 3)). Let a be 2 - -3*s/(-6). Let r be -2 + (1 - a) + 3. Solve 0 = -2*i + 3*f + 8, -i = 4*f - r + 19 for i.
-2
Suppose 5*w + 1 - 56 = -5*i, -69 = -5*i + 2*w. Suppose 5*x = 7 + i. Solve 2*l = 2*b, 4*b + 28 = -x*l + b for l.
-4
Let z = 5 + 1. Suppose 2*a = -4*o - 14, -a = 4*o - 1 + 18. Suppose 4*v = -m + 21 - 1, -a*v = 4*m - 67. Solve -4*l + r = m, -r - z - 18 = 4*l for l.
-5
Suppose 5 = 2*z - 11. Solve -b + z + 6 = 5*r, -5*b + 1 = 2*r for r.
3
Let y = -8 - -13. Suppose 9*t = y*t + 132. Solve 0 = -5*q + 4*u + t, 3*q - 5 = -6*u + u for q.
5
Suppose -17 = q - 2*q. Suppose i - q = u - 7, 0 = 4*u - 12. Solve -5*v - a = 13, v + 2*v = 2*a - i for v.
-3
Suppose 3*a = -v + 1, 0*a - v = 2*a. Suppose 0 = -h + a + 3. Solve 4*o + 20 = 4*q, 16 - 2 = h*q + 2*o for q.
4
Suppose 0 = x + z - 5, 5*z - 4 - 21 = 5*x. Solve -5*o = 5*q + 20, -25 = 4*q - x*q - 5*o for q.
-5
Let p = 4 - -4. Suppose 0*l + p = l. Let h be ((-14)/l)/((-4)/16). Solve -m + 4*k - 18 = 0, h*m + 4*k = 3*m + 8 for m.
-2
Suppose -3*n = 5 - 14. Solve -2*y = 3*z - 6, 8*z + 9 = n*z + 3*y for z.
0
Suppose 2*f - 141 + 597 = 0. Let a be f/(-20) + (-4)/10. Let c be a/3 + (-4)/(-12). Solve 3*z = -2*l - 5, -c*z + 5*z + 5 = -4*l for z.
-1
Let n(s) = s**3 - 9*s**2 + 9*s - 5. Let g be n(8). Let j(t) = 2*t**3 - 2*t - 1. Let v be j(-1). Let q = v - -2. Solve a + q = -3*y, g*a - 4*y = -0*a - 16 for a.
-4
Let l be (-2)/2 - 3*-1. Suppose 8 = 3*t - 19. Solve 5*d + 4 = 3*s - t, -l*d = -4*s + 8 for s.
1
Let l(x) = x**3 + 3*x**2 - x - 1. Let m be 6/(-4)*(1 + 1). Let v be l(m). Solve -3*i = 4*t - 22, -5*t + v*i + 16 + 0 = 0 for t.
4
Suppose -3*p - 2*a + 34 = 0, 27 = 4*p - a - 0. Suppose -p*s = -3*s - 15. Suppose -g + s = -0*g. Solve g*u = 3*j + 12, 10 + 5 = -5*j + 4*u for j.
1
Let v be 0 + 1 + (5 - 2). Let c be 4*2/v - 0. Suppose -c*r - 1 = u - 0*r, -2*u = 5*r + 5. Solve 11 = 4*p - u*l, 8*p - 2*l = 4*p + 14 for p.
4
Suppose -5*d = -73 - 27. Let n = d + -12. Solve 4*h - 3*v = -n - 0, -2 = h - 3*v for h.
-2
Let v be (14 - -1)*(-7)/(-21). Solve -3*q - 29 = -5*h, 6*h = v*q + h + 35 for q.
-3
Let f(u) = -2*u - 6. Let s be 1*(-1 - 1*-5). Let q = -3 - s. Let c be f(q). Solve -5*w + c = x, 2*x + 2*w + 6 = -3*x for x.
-2
Suppose 0 = 5*n + 2*w - 7, 0 = n - 3*n - w + 2. Suppose -3*s = n*f - 18, 2 - 15 = -3*s - 4*f. Let q = 2 - -10. Solve o - 4*o + 2*p = q, -5*p = 2*o - s for o.
-2
Let u(s) = 2*s + 4. Let r be u(8). Let k = r + -8. Solve 0 = 4*x - 0*x - 5*j + k, -2*x - 6 = 3*j for x.
-3
Let p(g) = 4*g + 33. Let x be p(-7). Solve z - 17 = x*n, 8 = -3*n - 5*z - 19 for n.
-4
Let a = -8 + 10. Solve -3*v + a*c = -4, -3*v + 3*c - 9 = -6*v for v.
2
Let v = 137 - 132. Solve 2*q + s + 14 = 0, -3*q - v*s - 28 = 7 for q.
-5
Suppose l = 5*l - 16. Solve 2*x + 5*y - y + 2 = 0, -l*x + 4*y = 4 for x.
-1
Suppose 0*g - 2*g - 3*s + 16 = 0, g = -5*s + 22. Solve 2*r + 10 = 2*o, -g*r - o = -2*o + 10 for r.
-5
Let u = 95 - 85. Solve 2*l + 5*g = 3*l - u, 2*g + 12 = 2*l for l.
5
Let w(f) = 2*f**2 - 8*f - 5. Suppose 11 + 1 = 2*c. Let i be w(c). Suppose -b + i = -3*j, -12 = 2*j - 6*j. Solve 4*a + 4*y - b = 0, 2*a - 2*y = -2*a + 16 for a.
5
Let z(q) = -q**2 - 6*q + 2. Suppose -61 - 17 = 5*v - 4*m, -m - 3 = 0. Let x = v + 12. Let w be z(x). Solve 4*s - 16 = -4*d, 4*s - 4 = w*d - 18 for s.
-1
Suppose -5*g = 21 + 9. Suppose -16 + 0 = 4*h - 3*d, 0 = -2*h - 2*d - 22. Let v = g - h. Solve 19 = -5*p + 4*s, 4*p = s - v - 12 for p.
-3
Suppose 4*k = -k + 100. Suppose -68 + k = -4*b. Solve 5*r - 3*j = -4*j + 20, 3*r - b 