 -3*v = -s + 11 for s.
5
Suppose 2*u - 3*f + 67 = -2*f, 0 = 3*u + 3*f + 114. Suppose -4*j = -2*j - 110. Let z = u + j. Solve -i = -2*r - 5, 0*r + 2*r = -2*i - z for i.
-5
Suppose 2*d = 7*d - 105. Let w(v) = -v**2 + 5*v. Suppose 20 = -h + 6*h. Let b be w(h). Solve 0 = 3*j - n + 10, -b*n - d = j + 4 for j.
-5
Suppose -i = -0*i - 8. Solve 3*x + i = -0*x - 5*t, 3*t + 28 = 4*x for x.
4
Let z = 18 - -15. Suppose 5*r - 12 - z = 0. Solve 0 = 3*b - 0*b - r, -2*q + 3*b - 13 = 0 for q.
-2
Let h(k) = 7*k - 7. Let u(w) = -4*w + 3. Let m be 1 - (1*6 + -2). Let c(f) = m*h(f) - 5*u(f). Let a be c(5). Solve 0 = r - a, -3*n - 2*n + 18 = -2*r for n.
4
Let b = -7 - -11. Let p(t) = 4*t**2 + t. Let m be p(2). Suppose 0 = -i + 3*o - 0*o - 10, i = 5*o - m. Solve 4*k = -i*r, r + 2*k = -2*r - b for r.
-2
Suppose 2*q = -0*q + 24. Suppose v + 2*v - q = 0. Suppose -4*l + 14 + 10 = r, 0 = 4*r - 3*l - 1. Solve -v*p + 23 = 4*i + 7, 3*i = 5*p + r for p.
1
Let l(b) be the first derivative of -b**2 + b - 1. Let v be l(-1). Suppose 0 = -4*p + a + 29, -v*a - 45 + 7 = -5*p. Solve 13 = 5*y - 2*o, -p = -4*o - 3 for y.
3
Suppose 4 = -0*d + 2*d. Suppose 10 = d*q - 7*q. Let j be (q + 0)/(4/(-6)). Solve -6*s - 6 = -3*s + j*z, 0 = 5*s - 4*z + 1 for s.
-1
Suppose -m + 5 = -2*k + 2, -4*k = 5*m - 29. Suppose k = -3*q + 7. Solve q*l + l = 6, 14 = 5*c - 3*l for c.
4
Let u be 3 - (-4)/(-8)*2. Solve -25 = -2*j - 5*p, -u*j + 2 = -2*p - 2 for j.
5
Let a be 2 + (-3)/2 - 3/(-2). Solve m + a*y - 2 = -3, -m + 3*y - 6 = 0 for m.
-3
Let y(u) = u**2 + 4*u + 4. Let t be y(-4). Solve 11 = t*b - 5*a, 1 = -b + 3*a + 2 for b.
4
Let q(o) = -o + 20. Let a be q(8). Solve -2*p + a = 4*m - 7*p, 5*p - 6 = -2*m for m.
3
Suppose 6*a = 11*a + 2*r - 2, -2*r = -2. Solve 5 = -a*k - 2*k - b, 3*k + 6 = -3*b for k.
-3
Let i be 11/4 + 1/4. Suppose 0 = -i*j - j. Suppose -5*k + 7 + 43 = j. Solve -4*a + h + k = 2*h, a - h = 5 for a.
3
Let k = -3 + 6. Let z = 6 - k. Solve -5 - 9 = z*x + t, -x = -5*t - 6 for x.
-4
Suppose 4*x + 93 = 3*b, 0 = 2*x + b + 62 - 13. Let f = 65 + -25. Let i = f + x. Solve -5*s - z - 32 = -4, -2*z = 2*s + i for s.
-5
Suppose -120 = -4*r - 0*r. Let i be 6*(-3)/r*-5. Solve i*l - 12 = 4*g, -5 = -2*l + 4*g + 7 for l.
0
Suppose -2*b = 2*b - 16. Solve 1 - 15 = -2*t + 4*x, b*t = -4*x - 32 for t.
-3
Let u = -3 - -7. Let a(d) = 7*d**2 - 9. Let b(q) = 6*q**2 - 9. Let g(p) = 5*a(p) - 6*b(p). Let i be g(0). Solve k + v + 9 = -u*v, -k + 4*v + i = 0 for k.
1
Let m = -11 + 15. Suppose 0 = -5*o + 2 + 8. Suppose 3*c - 5*j - 26 = 0, j = 2*c + o*j. Solve -m*x = 5*i + 3, -1 = 2*i + i + c*x for i.
1
Suppose -3*m + 14 + 1 = 0. Let d = 6 + -3. Suppose 3*n = -d + 18. Solve -31 = -4*x + n*l, -m*l + 4*l = -x + 7 for x.
4
Let t be 6/21 + 24/14. Solve -6 = -t*i - x + 1, -5 = 5*x for i.
4
Let s(y) = 5*y**2 + 2*y + 1. Let k be s(2). Let n = -1 - -6. Solve -j + 10 = j - n*t, 5*j - k = 3*t for j.
5
Let h be -2*(-4)/4 - 2. Solve -c - c + 4*n = 14, -c + 3*n - 8 = h for c.
-5
Let b(r) = 25*r**3 - 4*r + 2. Let i be b(1). Solve 6*a + i = -x + a, -x + 5 = -2*a for x.
-3
Suppose 3*n = -5 + 17. Suppose -n*m + 7 + 9 = 0. Solve 2*l - m = 2*r + 4, 3*r = -3*l + 18 for l.
5
Let l(b) = -b**3 + 9*b**2 + 3. Let h be l(9). Solve -3*g = 3*f - h, -2*g + 5 = f + 3 for g.
1
Let v be 8/(-4) - 12/4. Let s be (-6)/(((-60)/(-8))/v). Solve -4*k = -3*h + h + 2, 5*h - 11 = s*k for k.
1
Suppose 5*y + 5*t = 50, -2*y + t + 2 = -3. Suppose -5*j + 90 = 5*o, j + 3 = 6. Let q = 15 - o. Solve -3*k - 18 = -0*k - 3*r, 5*k + y*r = q for k.
-3
Suppose -s - 3*h = -5*s - 1, -4*s - 3*h + 17 = 0. Solve s*r - 9 = -3*d, -3*d - 2*r = -3*r for d.
1
Let l = -5 + 9. Suppose l*u + 3 - 19 = 0. Solve 4 = o - 5*b, -4*o + 6*o + u*b = 8 for o.
4
Let x = 17 - 17. Solve -4*v = -5*u - 15, -v + 2*u + u + 9 = x for v.
0
Let v = -13 - -7. Let r(j) = j**2 + 9*j + 3. Let i be r(-6). Let m be (100/v)/(10/i). Solve -4*s - 6 = -5*c + 26, -3*s - m = -4*c for c.
4
Let j(p) = 3*p - 7. Let s be j(7). Solve -5*n - i = -s - 2, -i = -n + 8 for n.
4
Let n = 48 - 44. Solve -2*s - 5*d = -3*d + 6, -s = n*d + 9 for s.
-1
Let m be (-1)/1*(3 + -5). Solve 0 = -p + 2, -m - 7 = a - 3*p for a.
-3
Let y = 0 + 2. Suppose 0 = -4*f + 19 - 3, 2*k + f - 8 = 0. Suppose -k*d = -d - 3. Solve r - 16 = 5*r + c, -r - y*c = -d for r.
-5
Let v be (-16)/(0/(-3) - 1). Solve -3*l = 2*p - v, -5*l - 4*p = -29 + 1 for l.
4
Suppose -f = -5*h - 23 + 3, 0 = -2*f - 2*h + 4. Let y = -3 - -3. Let j = f - y. Solve 2*d - 19 = 2*r - d, 0 = 2*r + j*d - 5 for r.
-5
Let k = -2 - -2. Let b be k*(-2)/2*-1. Let j = 9 + -6. Solve b = 4*g - 3*x - 3, g + 3 = j*g - 3*x for g.
0
Suppose -2*s = -3*o + 46, 5*o - 2*s + 0*s - 74 = 0. Solve -2 - o = 4*n - 4*a, -4*a = 3*n - 16 for n.
0
Let z(u) = -u**2 + 10*u + 11. Let a be 9/(-6)*16/(-12). Suppose a*s = -s + 33. Let t be z(s). Solve 6*m + 12 = -4*l + 2*m, 2*l - 4*m - 18 = t for l.
1
Suppose 19 = -l - 4*a, -l + 6*l - a + 32 = 0. Let s = -5 - l. Solve -2*r + s = -2*q, 3 = r - 5*q + 3*q for r.
-1
Let z = -2 + 4. Suppose p - f + z = 4*p, 3*f + 14 = p. Solve 0 = 5*b + c + 24, 4*b - p*c - 24 = 8*b for b.
-4
Let t be 1*4/((-16)/(-4)). Let o(p) = 4*p**3 + 2*p**2 - 2*p + 1. Let z be o(t). Solve -c = 2*c + 3*s - 9, z*c + 4*s = 11 for c.
-1
Let v = 7 - 12. Let l(c) = 7*c + 15. Let z(y) = -4*y - 8. Let q(s) = v*z(s) - 3*l(s). Let f be q(-8). Solve m - 7 = f*x, 0 = -2*m - 3*x + 4 + 1 for m.
4
Suppose -3*w + 4 + 8 = 0. Let o be 2/1 - (3 - 1). Let b be o/((-7)/((-21)/(-6))). Solve 4*u - 2*r - w = b, 5*u - 5 = -6*r + 4*r for u.
1
Suppose -w = 2*w. Let t = 0 + w. Let j(d) = d**2 - d + 3. Let h be j(t). Solve 2*c = 3*m + 19, 3*m + h*c + 9 + 0 = 0 for m.
-5
Suppose 5*g = -5*t - 15, 5*g - 5*t = 19 - 4. Solve 2*f = 4*w + 18, 5*f - 3*w - 15 - 9 = g for f.
3
Suppose -6*m = -2*m. Solve -4*f = 2*v - 24, m = 3*f + v + 7 - 24 for f.
5
Let u = 7 - 4. Suppose 0 = 4*j + s - 3*s - 40, 2*j + 4*s = 20. Solve i + 0*i + j = -4*n, -u*n + 4*i = 17 for n.
-3
Suppose 0 = 5*z + 3*l + 11, -l + 3*l + 9 = -5*z. Let t(r) = 5*r**3 + r**2 + r + 1. Let m be t(z). Let u = -2 - m. Solve -2*a = -p - 2*p + u, 4*a = 8 for p.
2
Let u(o) = o**3 - 9*o**2 - 10*o - 1. Let r be u(10). Let p = r - -4. Solve 4*d - d = -p, -t + 6 = -3*d for t.
3
Suppose 0 = 3*q - 4*x - 33, 3*x - 2*x = 4*q - 31. Solve -4*r = -n + 21, -6*n + 4*n + r = -q for n.
1
Suppose 2*t + 0*t = -5*c + 17, -4*t = -5*c + 41. Let a = 5 + 1. Solve 5*m = 5*k - c, -a*k - 4*m = -2*k + 12 for k.
-1
Let j(p) = 4*p**2 - 56*p + 4. Let n be j(14). Let r(c) = 2*c - 2. Let w be r(2). Let x(k) = 4*k. Let z be x(w). Solve n*o - 8 = 4*v, 5*v + z = -4*o + v for o.
0
Suppose 5*b = -v - v + 20, 0 = -5*v + 2*b + 21. Suppose -8 = -4*x, -2*x + 5 = -3*q + 1. Solve -2*w = -4*t - 22, -4*w + q*t - v*t - 8 = 0 for w.
3
Suppose 2*g = -0*g - 54. Let h = 28 + g. Solve -3*p + 5*j - 7 = 0, 3*p + 3*j - h = -16 for p.
-4
Let b(q) = -q. Let l be b(-4). Suppose 0 = -5*a - 3*c + l*c + 55, 45 = 4*a - c. Let w be (-2)/(-1)*(-3)/(-2). Solve 5*o + 10 = -3*v, w*o + v = -2*o - a for o.
-2
Let f be ((-20)/(-25))/((-2)/(-10)). Suppose -4*j + o = -f, 2*j - 4*o - 12 = -o. Solve -i = 5*y - 11, j*i + 3*i = -y + 5 for y.
2
Let k be 22/6 - 4 - 76/(-3). Solve 3*a - w - 19 = 0, -6*w = -a - w + k for a.
5
Let p(b) = 4*b - 1. Let l be p(1). Solve 4*w - l*o - 19 = 0, -3*o + 2 = w + 1 for w.
4
Let t be (-5)/3*(14 + -17). Solve -5*l = -y - y, t*y - 4*l - 17 = 0 for y.
5
Let i(m) = m**3 - 2*m**2 - m - 3. Let p be i(3). Suppose 0 = -p*r + 2*r + 3. Solve -d - r*h = -1, -d + 5*h = 6*h + 1 for d.
-2
Let z(l) = l + 6. Let x be z(4). Solve c = -x*y + 5*y, 0 = 2*c + 4*y for c.
0
Let t be 6/((4 - 5) + 3). Solve -3*z - t*p = -z + 1, 0 = 3*z - 5*p + 30 for z.
-5
Let r be 2/5 - 72/(-20). Let q be r/(-18) + (-310)/(-18). Solve -b - q = -5*m, m = 5*b + 6*m - 5 for b.
-2
Let j be 3 - (3 - -1) - -3. Suppose j = o - 0*o. Suppose r + 3*x + 6 = 0, x - 3*x - 19 = -r. Solve 3 = -o*z - z + 5*l, -r = -3*z + l for z.
4
Let c be 2/((-8)/(-20)*5). Solve -c - 1 = 2*v, 5*g = 3*v - 12 for g.
-3
Let g(b) = b + 44. Let p be g(-25). Solve -4 = -2*r - 0*r + 2*w, -5*w - p = 4*r for r.
-1
Suppose 5*y + 8 = 3*y. Let x = y + 4. Suppose 2*r = -x*r + 10. Solve -5*o + 9 = -4*q, q - r = -4*o + 2*q for o.
1
Let m = -152 - -154. Solve m*i + 3*t = -0*i - 7, -i = 3*t + 11 for i.
4
Let p be (-10)/4*(