ve -h = 3, b + q*h + 5 = -c for b.
5
Suppose 4*j + 4 = 3*r - 14, 4*r = -5*j - 38. Let v = -34 + 17. Let f = j - v. Solve -k + f = -3*o + 3*k, -4*k + 10 = -2*o for o.
-1
Let v = 107 + -105. Solve 2*f + 11 = -5*i, 10 + v = -5*f + 3*i for f.
-3
Let h be (55/(-22))/(2/(-4)). Solve -2*j = -z + 2, 2*j = -3*z - h - 5 for j.
-2
Let w(t) = -t**2 + 7*t + 2. Let a(s) = s**2 - 8*s - 1. Let k(f) = 3*a(f) + 4*w(f). Let b be k(4). Solve b*g + 5*h - 3 = 4*h, 3*g - h + 3 = 0 for g.
0
Let o = 131 + -80. Suppose 0*u + 140 = 5*v + 5*u, -u = 2*v - o. Suppose a + 2*g - 9 = -g, 5*a + 2*g - 19 = 0. Solve -4*k + 19 = -3*m, a*k - 3*m = m + v for k.
1
Let l = 22 + -16. Let a be (8/l)/(2/6). Solve -4*s - 32 = -a*y, -3*y + 4 = -2*y for s.
-4
Let z(k) = -k**2 + 5*k + 5. Let x be z(5). Let g = x + 5. Solve -2*d = -4*a - a - g, 0 = 2*a + 3*d + 4 for a.
-2
Suppose 2*y - 5*s + 37 = 0, -3*y - 2*s = -3 + 11. Let v be (10/2)/((-6)/y). Solve 0 = -4*z + 3*k - v, z + 5*k + 2 + 5 = 0 for z.
-2
Let w be 0 - (-6 - 0 - -2). Suppose 2*r + 11 = w*g + 5*r, -3*g - r = -12. Solve -4*n + 8 = g*l + 22, 4*l + 7 = n for l.
-2
Let g = 145 + -145. Solve r - 3*m = 0, 3*r + 2*m - 3*m = g for r.
0
Suppose -5*o = -27 + 2. Solve -4*c = -4*m - 4 - 8, c = -m + o for m.
1
Let q = -12 - -17. Let c be 3/(-18) + q/(-6). Let l = 4 + c. Solve 4*a - 4*t = 4, -5*a - 5*t = -l*t - 26 for a.
4
Let w(x) = x**2 - 3*x + 4. Let q be w(3). Solve -q*c + 15 = -j, 5*c - 15 = -0*c + 5*j for c.
4
Suppose 2*d = 3*d - 21. Solve 6*k + i = k - d, 5*k - 4*i + 41 = 0 for k.
-5
Suppose -16 = -8*s + 4*s. Suppose 2*a = s*k - 14, 5*k + 3 = -3*a + 26. Suppose -q - 4 = -j, -k*j + 16 = 2*q + 2*q. Solve 0 = -l + 2, u + 12 = -j*u + l for u.
-2
Let w = 76 + -79. Let p(j) = -4*j - 4*j - 3 - j**2 + 3*j. Let l be p(w). Solve 10 = -5*h + l*o - 8*o, -2*h - 5*o - 19 = 0 for h.
3
Suppose t + 3*t = 4*b, 2*t = 4*b + 10. Let y be (-39)/13*b/3. Solve -2*m + 2*i = 16, 0 = m + m - y*i + 31 for m.
-3
Suppose g = -4 + 6. Solve -6 = -g*p + 4*s, -2*p + 5*s - 2 + 11 = 0 for p.
-3
Suppose 2*o - 72 = -4*o. Solve 5*g + 5*f - 20 = 20, -f - o = -4*g for g.
4
Suppose 4 = m - k, 5*m - 3*k - 28 = -2*k. Solve -2*j - 4*o = -12, -3*o - m = 4*j - o for j.
-4
Let z = 3 + 2. Solve -z*g = -t + 3, -g + t - 7 = 4*t for g.
-1
Let s be (-2)/(-1 + 21/23). Suppose 10 = -4*c + 3*n + 31, -3*c = 5*n - s. Suppose c*f = f + 30. Solve -a - 3 = -2*k, -f = -2*k - 2 for a.
1
Suppose -f + 2 - 5 = 0, -4*a = f - 5. Solve 2 = -4*k + a*d, -k + 15 = 4*d - 7 for k.
2
Let p(b) = -b**2 - b - 2. Let j be p(0). Let z = j + 2. Suppose z = 3*g + g. Solve -3*c + 25 = 2*c, h - 4*c + 23 = g for h.
-3
Suppose 2*w - 16 = -2*w. Suppose -x - w*x + 25 = 0. Let j be (6/12)/(2/32 - 0). Solve f + 2*o + j = 0, x*o + 5 + 5 = 0 for f.
-4
Let p = 16 - 2. Suppose -5*d = -2*o - d - 6, 2*o + d = p. Solve 3*k + 5*g = 19, 0*g - o*g = 2*k - 21 for k.
-2
Let m = 398 + -188. Let p be m/8 - 2/8. Solve -25 = -k - 5*w, 2*k - p = -0*k - 4*w for k.
5
Suppose 0 = 5*k - 3*k - 22. Let h = -8 + k. Solve -4 = -2*g + h*a, 5*a + 14 = -4*g - 0*a for g.
-1
Let o be (-3 - 1)/(-2) + 7 + -3. Solve 0 = -5*m - 4*h + 31, 3*h = o*h - 12 for m.
3
Suppose 0 = 5*m - 2*m. Let v = m - -9. Solve 4*h - 5*s - 27 = 0, -4*h = 2*s - s - v for h.
3
Suppose 3*l + 25 - 13 = 0. Let u be (-14)/(-14)*l/(-1). Solve -d = 4*d + u*p + 11, 0 = 4*d - 2*p - 12 for d.
1
Let s(a) = -a**3 - 5*a**2 - 3*a + 9. Let c be s(-4). Solve z + 3*y = -2*y - 20, -c = 4*z - 5*y for z.
-5
Suppose 0 = -2*z + 6*z + 40. Let g = -3 - z. Suppose -2*n = 5*v - g*n, 4*v = -4*n + 16. Solve 0 = 4*o - s + 15, -3*s - 1 + 6 = -v*o for o.
-4
Suppose -2*m - 4*a = 3*m + 7, 0 = -4*m + 2*a + 10. Let c be (2*1)/(m + 0). Let t be (-28)/(2 + -3 - 1). Solve -p + 6 = -h - c*p, 5*h = -p - t for h.
-2
Suppose -3*x + 7 + 2 = 0. Solve 2*z - 5*g - 10 = -g, 2*g + 1 = -x*z for z.
1
Let k(n) = -2*n. Let g be k(-1). Suppose 2*t - 3 + 16 = b, -t = -4*b + 17. Suppose -v + 5 + b = 0. Solve 5*h - 5*y = -5 - 20, -g*y + v = 0 for h.
-1
Suppose 2*v = -5*l + 23 + 5, 2*v - 4*l = -8. Suppose h + 56 = 5*h - 4*k, v*h = -4*k + 16. Let r = -7 + 12. Solve -g = 2*c - 0*g + h, 0 = -r*g - 25 for c.
-2
Let g be 7*((-28)/294)/((-1)/45). Solve 35 = -0*f + 4*f - 3*h, h + g = 5*f for f.
5
Let y = -5 - -2. Let x be 3/3*(-3 - 1). Let u be ((-6)/(-4))/(y/x). Solve -3*m = 4*l + 7, -l + u = -0 for m.
-5
Suppose 0 = 4*z - 10*t + 5*t - 121, 0 = 2*z + 3*t - 33. Let d = z - 13. Let h be -1*2 + (-2)/(-1). Solve 2*w + 4*l = -w - d, w + 3*l + 7 = h for w.
-1
Let w be (-1 - -53) + 2*-1. Suppose -5*n = -5*s - w, 3*s + s = -20. Solve -2*j - 2*c - 6 = 2*c, 2*c - 1 = -n*j for j.
1
Suppose 10*m - 52 + 2 = 0. Solve 8 = 4*g, 5*f - m*g - 7 = -g for f.
3
Let g = -77 - -80. Solve -2*p + 5*c + 22 = 0, -c - 16 = g*c for p.
1
Suppose 0 = -2*v + 3*k + 19, 0 = -v - 3*v + 4*k + 28. Solve -4*w + 2*g = 26, -v*g - 2*g = -20 for w.
-4
Let q = -2 - -28. Suppose -t + 3*t = q. Solve 3*p - t = s, -3*p + 10 = -4*s - 15 for p.
3
Suppose -i + 4 - 1 = 0. Suppose 2 + 1 = -4*m - i*p, 10 = -5*m - 5*p. Let g be 18/(-4)*(-8)/m. Solve -5*x - 32 = 3*j, -x + 3*x = 5*j + g for j.
-4
Suppose 2*s = -2*p + 8, 4*s = 2*p - 3 + 1. Let r be (-52)/(-16) + (-3)/12. Solve -13 = -4*h - y - 4*y, -p*h = r*y - 6 for h.
-3
Suppose 5 = 2*q - 1. Suppose 5*s = -2*x - 0*s + 25, -5 = q*x - s. Solve x = -5*r, 5*y + 3*r - 6 = -31 for y.
-5
Let d(r) = r**3 + 4*r**2 - 7*r - 1. Let p be d(-5). Let b = -5 + p. Suppose -b*a + 10 = a. Solve i = a*i + u + 5, 3*u + 10 = 2*i for i.
-1
Suppose 5*r = 2*r + 42. Suppose b + r = -5*t, -2*b - 4*t - 8 = 2*b. Solve -2*p + 3*h + 4 = 0, -p + 0*h + 2*h + b = 0 for p.
5
Let l(r) = 2*r**2 + 2*r - 1. Let b(a) = -a - 2. Let z be b(-3). Let j be l(z). Solve 3*x - x + 13 = j*w, 4*w = x + 14 for w.
3
Let i = -11 + 16. Suppose 0 = -g - i - 7. Let o be (g/(-14))/(-3)*-7. Solve -a + 10 = o*d, -a - d + 1 = -6 for a.
4
Let k(b) = -b**3 - 2*b**2 + 3*b + 3. Let p(i) = -i**3 + 6*i**2 - 7*i + 7. Let l be p(5). Let x be k(l). Solve 2*n = x*s + 1, -n + 7 = -0*n + 5*s for n.
2
Suppose -2*d + 4*l = -2, 5*d + 2*l = 4*d + 5. Suppose 5*j = -0*j. Suppose -d*u = -j*u - 15. Solve 5*s - 3*g - 5 = 0, -s + u*s - 4 = 4*g for s.
1
Let s(l) = -l**3 + 3*l**2 + 5*l - 3. Let n be s(4). Let f = n - -3. Solve -f = -0*k + 4*k, 3*z = k - 14 for z.
-5
Let f = 11 - 7. Solve 22 = f*a - 3*t, -4*a - 2*t + t = -14 for a.
4
Let g = -13 + 5. Let r(o) = 2*o + 16. Let j be r(g). Solve -u = l + 2, j = 2*u + l + 2*l + 1 for u.
-5
Let j(i) = i**2 + 3*i - 1. Let c be j(-7). Let p be 2*(-2 - c/(-6)). Let g = 54 - 34. Solve -3*d + 0*d = -l - g, p*l = -5*d for l.
-5
Let t be 482/14 - (-3)/(-7). Solve 4*n + 13 = -l + t, l = 1 for n.
5
Let c = -78 - -82. Solve b + 9 = c*l - 10, 3*l = -3*b + 18 for b.
1
Let z(f) = -f + 3. Let c be z(-7). Suppose l - 5*l = 2*b - 12, 5*b = c. Suppose -l*w + 0*w = -6. Solve 3*t - 3 = 3*x, -w*x = 3*t - 24 + 9 for t.
3
Let s(p) = 5*p**2. Let v be s(1). Solve 0*w = -v*t + 4*w - 7, 5*t + w - 8 = 0 for t.
1
Suppose -2*q - 2*k = 70, 2*q - k + 40 = 3*k. Suppose 2*u + 45 = 3*m, -4*m = -3*u - 7*m - 30. Let x = u - q. Solve 0 = b - 2*v - 9, 2*b - 4*v = b + x for b.
3
Let s = 5 - 5. Suppose 3*z + 0 - 6 = s. Solve 0*w = z*w - 3*m - 8, -2*m - 2 = -3*w for w.
-2
Suppose -10*a + 8*a = -6. Solve 0 = -w + 4, -a*w + 7*w - 24 = 4*o for o.
-2
Suppose -g + 2*g + 5*w = 7, -4*w = g - 6. Let y = 117 + -70. Suppose s = g*q + 29, 4*s + 2*q = s + y. Solve 0 = l - j + 5, 6*l - 2*j + s = l for l.
-3
Let k be (-14)/(-35) - (-16)/10. Suppose -3*z = -3*i - 9, 5*z = k*i + 14 + 1. Solve 2*v - 14 = 2*p, -z*p - 20 = 2*p - 2*v for p.
-2
Suppose -c + 0 = 3*k - 7, -4*k + 5*c + 41 = 0. Let h be -3 + k - (1 + -5). Solve -4*y + h = 5*u - 2*y, -1 = -u + 5*y for u.
1
Let b be (-1 - 2) + 0 - -36. Suppose -3*h - 10 = -3*p - 1, -5*p = 4*h - b. Let s be (-22)/(-4)*(h + 0). Solve 2*x - c = 5, -3*x + s = -2*c + 3 for x.
2
Suppose 2 + 13 = 5*p. Solve 3*u + 6 = 0, -p*o = 2*u - 4*u + 11 for o.
-5
Let d = 4 + 8. Suppose 3*p = -9 + d. Solve j - 6*s + s - p = 0, -s = 0 for j.
1
Let s be 1/(6/3 + -3). Let p be (s + 0)*(-3 + 1). Solve 7 = -5*i - j + 5*j, 0 = p*i - 4*j - 2 for i.
-3
Suppose -u - 56 = 3*u. Let y = 14 + u. Solve 5*x - 3*z - 16 = y, 0 = -5*x + z - 3*z + 31 for x.
5
Suppose c + 3*w + 5 = 0, 2*w = -5*c + w + 3. Let l be 0*(c - 0/2). Solve l = 2*v