-3
Let h(u) = u + 18. Let w be h(-16). Suppose 3*j - s = 17, s + 7 = w*j - j. Solve 3 = 3*o - 0*o - j*m, -3*o + 3*m - 3 = 0 for o.
-4
Let c = 113 - 108. Solve 2*v + 11 = -v + w, 45 = -5*v - c*w for v.
-5
Let b be (-4)/(-1)*(-1)/(-4). Let y be (-3)/(4 - b) + -1. Let p(m) = m + 2. Let a be p(y). Solve r + 5*u = -0*u - 17, a = 4*r - 5*u - 32 for r.
3
Suppose -41 = -4*l + 35. Suppose k + 4 + 15 = -5*a, -a - 4*k - l = 0. Let n be (0*3/(-6))/a. Solve n = 4*b + 6*o - 2*o, 2*o = -3*b for b.
0
Let q(k) = -k**3 + 4*k**2 + 9*k - 6. Let l(g) = g**2 - g + 1. Let c(j) = -2*l(j) - q(j). Let w be c(7). Solve -w*t - 3*o - 28 = 0, 0 = t - 3*o - 10 + 2 for t.
-4
Let v be (-15)/5*2*2. Let g = 16 + v. Solve 0 = -2*f + i - g, -3*f + 3*i - 6 = -3 for f.
-3
Suppose 4*b - 2*h - 17 = -3*h, 3 = 3*h. Solve -5*x + 7 + 15 = -4*q, b*x - q - 11 = 0 for x.
2
Suppose 2*s - s = 1, -3*i + 3*s = -54. Suppose -3*y + i - 7 = z, 5*z = 5*y - 20. Solve 4*g - x = y, -4*x = 5*g - 0*x - 26 for g.
2
Let u(d) = 2*d + 7. Let v be u(-7). Let z(p) = 2*p + 10. Let m be z(v). Let k be m/2 - (-56)/8. Solve 3*r - 13 = -i, -29 = -k*r + i + i for r.
5
Let k(y) = -y**3 + 8*y**2 + 9*y + 7. Suppose 5*u = 2*n - 15, 6*n + 3*u = 2*n + 17. Suppose n = -h + 14. Let v be k(h). Solve -2*g + 3 = v, 5 = -c - g for c.
-3
Let z = -21 - -29. Let j be z/(-2)*(3 + -4). Suppose -3*k - j = -13. Solve -4 = k*v - c, -2*v + 7*v = c - 6 for v.
-1
Let s(y) = 21*y**2 + y - 1. Suppose 5 = 3*a + 2. Let t(j) = j. Let m be t(a). Let i be s(m). Solve -o = l - 3, -8*l - 2*o + i = -3*l for l.
5
Suppose 4*u - 46 = -2*n, 2*n = u + 3*n - 13. Let v be (-8)/(-6) + u/15. Suppose -5*o + v + 3 = 5*f, -29 = -5*o + 3*f. Solve -28 + 8 = 4*c, -4*c - 8 = o*j for j.
3
Let g = 26 + -26. Solve -4*u = -g*u + 3*o - 18, 3*u - 7 = o for u.
3
Let p(a) = -3*a + 68. Let t be p(22). Suppose 4*k + 3 - 23 = 0. Solve -t*q = -6*u + u - 9, -k*u - 2*q - 1 = 0 for u.
-1
Suppose 4*v - 32 = -12. Suppose -t + d - 6 = -4*d, 0 = v*t - 2*d - 16. Solve 0 = 5*u - t*g - 10, -2*u - 3*g = -0*g + 19 for u.
-2
Let u(z) = -z**3 + 3*z**2 + 3. Let v be u(4). Let h = v - -14. Solve -t + h = -k, -5*t + 4 + 13 = -2*k for t.
5
Let y be 13/2 - (-2)/(-4). Suppose 0 = d - y - 1. Solve -3*m = -w - d, 2*m + 0*m = -4*w + 14 for m.
3
Suppose 3*c - 9 = 6. Suppose -2*i - 11 = -t, 0 = -5*t + c*i + 40 - 5. Solve 0 = -5*q + 4*r + 11 - 37, 4*q + 20 = t*r for q.
-2
Let b(p) = -p + 7. Let l = 17 - 12. Let i be b(l). Let n be 0 + 6/(i/1). Solve 0 = -5*t - j + 1, 4*t - j + n*j + 4 = 0 for t.
1
Suppose 0 = -3*a + 11 - 2. Suppose -13 = -d - 3*y, y - a = -d + 12. Solve -2*l + 3*k = 8, k - d = 4*l + 3*k for l.
-4
Let z be 14 - -2*(-1)/(-2). Let s = -3 - -8. Suppose -b + v = -2*v + z, 0 = s*b + 4*v - 20. Solve b = -m + 5*h - 6, 2*h - 6 = -h for m.
4
Let o(c) = -c. Let p(i) = 3*i - 1. Let g(z) = -7*o(z) - 2*p(z). Let v be g(0). Let x be 3*(30/9 - v). Solve 0 = -k - 5, -5*s + x*k + 11 + 4 = 0 for s.
-1
Suppose p = 6*p - 40. Let h be (p - -4)*(-6)/(-4). Solve -3*j - 2*o = -9, -h = -5*j - 4*o - 5 for j.
5
Let c = -10 + 15. Suppose 4*y - c*t = 5 + 44, 67 = 4*y + t. Solve -d + 6 = d, 5*z + 2*d - y = 0 for z.
2
Let y = -66 - -83. Solve 4*q = -a + 24, q + 7*a = 4*a + y for q.
5
Let n be -1*(-1 + 2) - -13. Suppose -4*x = -0*x + 3*s, 0 = -5*x - 3*s. Suppose x*v + v - 10 = 0. Solve 4*j - 28 + n = -p, p + 2*j = v for p.
4
Let j be (-9)/(-6) + 21/14. Solve 2*b - 4*o = 3 + 17, -5*o - 26 = -j*b for b.
2
Let r(o) = -o**3 + 3*o**2 + 5*o. Let x be r(4). Suppose -z + 0 + 2 = 3*n, -x = 2*n - 2*z. Solve n = p + 3*q - 0*q - 2, 4*p - q = -18 for p.
-4
Let y = -20 - -25. Solve y*j = -5*v + 30, -v + 2 = -1 for j.
3
Let b be 22/((-1 - -2) + 1). Suppose -g - 16 = -4*j, 3*j + 4*g + b = -g. Solve 3*z = -5*v - j, -2*v = 2*v + 3*z for v.
-3
Suppose 5*p + 13 = 4*x, -5*p - 3 = -18. Let c be 33/x + 4/14. Solve 2*u + 11 = -c*o, -5*o - 9 = 4*u - 2 for o.
-3
Suppose -3*x - 5*h = 34, 26 + 0 = -2*x - 4*h. Let m = -1 - x. Suppose 4 + m = 3*k. Solve -3*f = -0*b - b, k*f - 5*b = 0 for f.
0
Suppose 3*i = 7*i - 20. Solve 9*h - i*h + n + 21 = 0, 3*n = 4*h + 1 for h.
-4
Suppose 2*o + o + 3 = 0. Let y be (-2)/4 + (-2)/4. Let a = y - o. Solve -2*q - 2*b = a, 0*q - 4*q - b - 12 = 0 for q.
-4
Let a(u) = -u**2 + 2*u - 1. Let m be a(1). Let b = m - -5. Solve -12 = 4*s, 5*l + b*s = 9 - 34 for l.
-2
Let n(x) = x**3 - 7*x**2 - 8*x - 8. Let y be n(8). Let u = y - -13. Solve -3*o + u*j - 9 = -0*j, -3*o - 2*j = 9 for o.
-3
Suppose -4*k - 2*v = -4*v - 14, 5*k - 3*v - 19 = 0. Solve 2*q - s = -1, -k*q + 5 = 4*s - 9 for q.
1
Suppose -t + 3*g + 8 = 0, -2*t + 1 = 5*g + 7. Suppose -4*w = t*c - 18, -12 = -w - 0*w - 2*c. Solve w*y + 3 + 7 = -2*x, -2*y - 4 = -4*x for x.
-1
Let m(v) = -13 + 3*v**2 + 10*v - 4*v**2 + 0*v**2. Let r be m(8). Solve 2*d = -2*y - 10, -r*d - 20 = 5*y + 5 for y.
-5
Let f(t) = -t**3 - 7*t**2 - 7*t - 5. Let c be f(-6). Let y(v) = v**3 + 2*v**2 - 3*v + 4. Let k be y(-3). Solve -b = k*r + c, -2*b + 6 = -4*r - 4*b for r.
1
Let x = 1 + -1. Suppose x*h - 3*h = 0. Solve k - 4 - 1 = 2*j, h = j + 4 for k.
-3
Suppose 3*o + 3*y + 22 = 4, 4 = -4*y. Let q = o - -7. Let r be (-8)/2 + 1 + 11. Solve 0 = -3*x - 4*u + 2, 0 = -2*x - 0*x + q*u - r for x.
-2
Let w(k) = 2*k - 8. Let v be w(5). Solve 2*u - 2 = -v*g - 3*u, g - 6 = -5*u for g.
-4
Let x(t) = -t**2 + 9*t - 9. Let o be x(6). Suppose -4*z + o*z = 15. Solve 6*f = z*b + 2*f - 7, -20 = 5*f for b.
-3
Let p = -128 - -130. Solve p*n - 28 = 5*n + 4*w, 2*w = 2*n for n.
-4
Let s(a) = -a**3 + 4*a**2 + 6*a - 2. Let o be s(5). Let k = -8 - -2. Let n(l) = -l**2 - 7*l - 3. Let z be n(k). Solve -t + 7 - 2 = u, 0 = -o*t + z for u.
4
Suppose b = -3*a + 16, -2*a + 3*b - 3 - 1 = 0. Solve -j + 1 = 2*w, 0 = -a*j + w + 1 + 12 for j.
3
Suppose 6 = -0*f + 2*f. Solve -2*i + 3 + 1 = 2*h, -3*h = -f*i - 6 for h.
2
Let n(c) = -c**2 - 14*c + 8. Let b be n(-14). Solve -4*g - 2*u = -20, -3*g - b*u + 4*u = -25 for g.
3
Let n(p) = -p - 2. Let s be n(-5). Let c be (10/(-3))/((-2)/3). Solve -2*j - c*v + 23 = 0, -s*j + 9 = v - 2*v for j.
4
Let s(w) = w**3 - w**2 - w + 2. Let h be s(0). Solve 3*c + 11 = 2*x + 3*x, -h*c - 5*x = -1 for c.
-2
Let r be 4/10 - (-36)/10. Suppose -69 = -5*p - 4. Suppose 0 = -5*c + p + 7. Solve 0 = -4*n + 3*d - 17, -4*n + r = c*d - 0 for n.
-2
Let k(v) = v**3 - 7*v**2 - 9*v + 3. Let y be k(8). Let i be 14/(-35) - 2/y. Solve i = 3*t + z - 18, 5*t - t - 14 = 2*z for t.
5
Let o(x) = x - 1. Let s be o(6). Let v be 4/s + (-1)/(-5). Suppose v = 3*g - 5. Solve b + 7 = 4*w, 2*b + 2*w = 4 + g for b.
1
Let u = -32 + 44. Solve -4*g = -0*r + 3*r + u, 5*r + 3 = -g for r.
0
Let s = 11 + -8. Let d be 6*-5*4/s. Let l be (2/(-4))/(2/d). Solve -v = 5*u - 16, 0 = 5*u - 5*v - l - 0 for u.
3
Let j be (1 - -2)/(-3) + 29. Solve k - 2*r + j = 6*k, -3*r = -2*k - 4 for k.
4
Suppose 142 = 13*g + 12. Solve 2*q + g = 0, 0 = -4*f - 3*q + 1 for f.
4
Let l = -14 - -28. Solve 0 = -2*x - 2*p + l, 2*x + 2*p = -2*p + 22 for x.
3
Let b = -9 + 21. Let q be (-9)/b - 46/(-8). Solve -o + 16 = 3*m - 8*m, -q*m - 24 = o for m.
-4
Let v = 17 + -14. Solve -2*s - 5*w = -16, 2*s - 2*w - v = -1 for s.
3
Let r = 18 - 18. Solve -2*a - 6 = r, -a - 2*a = k + 6 for k.
3
Let l(c) = -c**3 - 5*c**2 + 7*c + 3. Let m be l(-6). Let j be -3 - (-5)/(-1)*-1. Let i be (m + -3)*j/(-4). Solve -i*q = -5*b - 6 + 2, 4*b + 2 = 3*q for q.
-2
Let f(k) = -k**3 - 2*k**2 + 3*k + 4. Suppose -2*b - 22 = 2. Let s be (-57)/18 + (-2)/b. Let a be f(s). Solve -o = 5*h + 8, -3*h + 1 = -a*o - 8 for o.
-3
Let h = -20 + 24. Solve f + 2 = -2*u, 2*f + 11 = -u + h*f for u.
-3
Let a(y) = y - 2. Suppose 0*f + 4*f = 16. Let g be a(f). Suppose 6*w - 2*w - 16 = 0. Solve -g*i - 2*o + 8 = -7*i, -5*i = w*o + 14 for i.
-2
Let s(i) = -i**3 + 8*i**2 + 4*i + 11. Let j be s(8). Let n = j + -23. Solve 2*h - 4*a = 2 - n, 5*h = -5*a + 30 for h.
1
Suppose -4*a - 1 = 3*z, 0 = -5*z + 4*a + a + 45. Solve -2*d + 4*v - 33 = -v, -z*v = 5*d - 5 for d.
-4
Suppose -l - 1 = -3. Solve -a - 2*a = 5*b + 27, 2*a - l*b = -2 for a.
-4
Suppose 5*r - r - 4 = 0. Solve -4*n + 25 - 8 = f, -n - r = -5*f for n.
4
Let i(s) = 2*s**3 - 13*s**2 + 7*s - 2. Let x be i(6). Solve 2*z = -4*o - 3 + 17, -32 = -4*o + x*z for o.
5
Let c(l) = 3*l + 3. Let p be c(-3). Let x = 8 + p. Suppose 0 = 5*m + 4*w - 4, 4*w = x*m - 13 - 11. Solve 0*f - m*o - 20 = 2*