/x. Solve 4*n + 17 = -2*h + u*h, 2*n + 12 = 4*h for h.
1
Let w be (-5)/(1*(-3 - -2)). Solve 0 = -2*k - w*y - 6 - 16, -2*y = 2*k + 10 for k.
-1
Let w = 5 + -3. Solve -8 = 4*s, -4*s - 23 = l + w*l for l.
-5
Suppose -2*t + t = 3*i - 52, 2*i = -t + 33. Let b = 22 - i. Solve -b*c = 2*d + 10, 4*c + 2 = -d - 3 for d.
-5
Let o(h) = -5 - 8*h - 3 + h**2 + 0*h**2. Let v be o(8). Let a be 0*-2*2/v. Solve a = -3*l + 5*i + 6, -5*l - 19 + 1 = i for l.
-3
Let g = 73 + -70. Solve 0 = -0*x + x - 4*a + 17, 5*x - g*a + 34 = 0 for x.
-5
Let t(j) = 5*j**2 - j. Let f be t(1). Suppose 5*y + 6 = f*r - 5, 4*y - 24 = -5*r. Solve -10 = -u - 2*a, 5*a = -r*u + 6*a + 13 for u.
4
Let p(v) = v**2 + 1. Let a = 0 + 1. Let w be p(a). Let s(n) = n**2 - 6*n - 4. Let f be s(8). Solve 4*y - 8 = 2*t, -2*y = 3*t + w*y + f for t.
-4
Let a be 1*((-6)/2)/3. Let v = 6 + a. Solve -4*q - 6 = 5*w, -4*q = v*w - 8*q + 14 for w.
-2
Suppose 3*h - 3*o = 1 + 8, -5*h + 23 = 3*o. Suppose -3*j + 10 = d, 2*j + h*d + 10 = -0*j. Solve 1 = -3*v + 5*f + 5, -j*f = -5 for v.
3
Let k = 12 + -26. Let o be (-6)/(-21) + 102/k. Let a = -2 - o. Solve -3*m + 5 = a*p, 2*m + 3*p = 2*p + 1 for m.
0
Suppose -5*a + 12 = 2. Solve 2*j - 2*p = 14, 0 = 2*j - j + a*p + 8 for j.
2
Suppose 0*m + 4*m = -16. Let y be -1 - (m - -2) - -2. Let k = -138 - -143. Solve -k*j - 1 + 11 = 4*z, 3*j = y*z + 6 for z.
0
Suppose 3*y - 3*z = 0, 4*y - 2*z - z - 4 = 0. Suppose -p = -y*p - 30. Let f = p + 39. Solve -2*r + 2*h = 3*r + 30, 5*h - f = r for r.
-4
Let m be -6*(-4)/16*2 + 2. Solve o + 2 = -q, m*o = -q + 4*q + 14 for o.
1
Let u(h) = -h**2 + 2*h + h**3 - 2*h**3 + 8*h**3 - 1. Let n be u(1). Solve 16 = 2*i - 4*j, -n*i - 4 = -3*i + 4*j for i.
2
Let k = 7 - 2. Solve -5*p + 5*f + k = 0, 2 = -3*p + 2*f + 5 for p.
1
Let j be (-4)/(-10) - 9/(-15). Let f(i) = 8*i + 1. Let b be f(j). Solve -2*q - 2*q + 33 = -5*m, -3*q - 3*m - b = 0 for q.
2
Suppose -39 = 5*v - 14. Let q = v + 3. Let z = 2 - q. Solve 2*r - 12 = z*r - 2*w, 26 = -3*r + 5*w for r.
-2
Let z = 11 + -10. Suppose -2*f + 4*u = -16, -5*f - z = -u - 14. Solve l = f*w - 7, -4*w - 2*l - 6 + 0 = 0 for w.
1
Suppose -2*c + 0*c = -6. Solve j = -g + 8, c*j - 17 = -j + g for j.
5
Suppose -2*v + 0*q + 29 = -3*q, -2*q = -v + 17. Suppose -4*o + 12 = n, 5*n + 4*o - 24 = n. Solve 4*t = -v*i + 3*i + 12, 5*t = -n*i + 13 for i.
2
Let q be -1*(-116)/(-4) + 4. Let l = 27 + q. Solve -2*w - s = -5*w + 5, -l*s - 3 = w for w.
1
Suppose -d + 2*d = -2. Let u be d + -2 + -1 + 16. Solve 14 - 1 = 4*p - j, -3*p + j + u = 0 for p.
2
Let b be -1*40/12*3/(-2). Solve -25 = -5*f, -z + 27 = -3*z + b*f for z.
-1
Let s(i) = 3*i**2. Let w be s(-1). Suppose -z = -3*z + 4*y + 12, 4*z + w*y = -9. Solve z*r - r + 3 = -5*o, -r + 3 = 2*o for o.
0
Suppose 0 = 310*c - 309*c - 2. Solve -5*m = -m - 2*p - c, 0 = -5*p - 5 for m.
0
Let m be -4 + (-3)/(9/(-30)). Solve 3*p - m = h + p, -p + 3 = 2*h for h.
0
Let w(m) = m**3 - 5*m**2 + 7*m. Let v be w(3). Solve v = -3*c + 2*q - 3*q, -9 = -3*q for c.
-2
Let p(b) = -4*b - 53. Let t be p(-14). Solve h + 5*w + 4 + 6 = 0, -t*h + w = -18 for h.
5
Let n be (12/9 + -2)*-36. Solve 3*h = -h + 4*p - n, 4*h - p = -9 for h.
-1
Suppose -2*k = -4*c - 34 - 10, -5*c = 5*k - 125. Solve y = -3*w + 4*y + k, 2*y = -2*w for w.
4
Let k = 21 + -7. Let g = k + -8. Let s be 3/6 + g/4. Solve s*x + 4 = 2*h, -4*x + 6*x - 24 = -5*h for x.
2
Suppose 3*d - d - 8 = 0. Suppose -d*v + 7 = -9. Solve -v*m + 3*s + 1 + 1 = 0, -s = 5*m - 12 for m.
2
Let k = -1 + 3. Suppose f - k*f = 0. Solve f = t - 3*y - 6, 3*y - 2*y = -3*t - 12 for t.
-3
Let d(q) = -q**3 + 6*q**2 + 4*q - 3. Let t = -5 - -11. Let y be d(t). Suppose 1 = -5*j + y. Solve 29 = -j*f - c + 4*c, 12 = 4*c for f.
-5
Let x = 10 + -5. Let m be 54/x - (-1)/5. Solve 2*s + 18 = -2*s + 2*f, 3*s + f + m = 0 for s.
-4
Let l be (1 + (-6)/3)*-2. Suppose -q + l = -1. Solve 33 = -5*r - 4*o, q*r = -2*o - 13 - 6 for r.
-5
Let a(m) = -4 + 1 + m + 10. Let r be a(0). Solve 3*x + 1 = 3*p + r, -3*x = -p - 4 for x.
1
Let a = -135 + 145. Solve 4*v + 6 = 3*d, a - 4 = 3*d for v.
0
Suppose -2*x + 12 = x. Solve 4*b - 2*h - 11 - 3 = 0, x*b + h - 5 = 0 for b.
2
Suppose -6*h + 162 = -0*h. Solve 2*s = 4*j + 22 + 4, -3*j + 4*s = h for j.
-5
Suppose 2*f - 4*f = -10. Solve -9 = i + 4*i - 4*v, 4*i - f*v = 0 for i.
-5
Let m = 9 + -23. Let x be m/63 - 47/(-9). Solve -5*q = x*a - 25, -5*a - q + 13 + 8 = 0 for a.
4
Let d(h) = h**2 - 7*h - 8. Let v be d(8). Suppose -16 = -v*y - 4*y. Solve 5*g + b = 14, -y*b + b = 3 for g.
3
Suppose 3*q + 4*p - 32 = 0, 4 = 3*p - 2. Suppose -6*w = -2*w. Solve -2 = 3*j - 2*s - w*s, q = -4*s for j.
-2
Let r = -1 + 4. Solve o = r*b + 2, 4*b + 3*o + 24 = -o for b.
-2
Suppose 4*w = 2*w - 4*r - 6, 3 = -r. Let d be 123/(-9) - (-1)/(-3). Let i = 6 - d. Solve -w*z - i = -5*a, 5*a + 2*z - 20 = -0*a for a.
4
Let q(u) = -u**3 + 11*u**2 + 12*u + 2. Let m be q(12). Solve -5*r + 15 = -5*n, 5*r - m*n - 19 = -n for r.
4
Let h = 82 + -47. Suppose 15 = -6*y + 3*y, -5*r + h = 3*y. Solve v - 4 = 0, -n + 5*v - r = 15 for n.
-5
Let u = 192 + -190. Solve 4*b + u*y = -2*y + 32, -3*b + 5*y = 0 for b.
5
Let h be -3 - -3 - -7 - 2. Solve 0*i + 3*c = 2*i - 23, -c - 25 = -h*i for i.
4
Let k(a) = -2*a**3 - 4*a**2 - a + 3. Let j be k(-2). Solve -3*r + j*q + 17 = 0, r + 2 = -4*q - 15 for r.
-1
Suppose -10 = 2*b - 4*y, 6 = 5*y - 14. Suppose 2*s - 3 - b = 0. Solve -25 = -5*l, -s*g + 5*g - l = -3 for g.
1
Let y be (-20)/(-6)*3/2. Let u(j) = j**3 - 3*j**2 - 2*j - 8. Let n be u(4). Solve 3*q - 21 = -0*q + 4*l, n = -y*q - l + 12 for q.
3
Let d = -4 + 6. Solve c = 5*k + 18, -d*k + 2*c = -c + 2 for k.
-4
Let x(v) = -v**2 - 9*v + 13. Let u be x(-10). Solve u*r = -9, 4*r = -0*y + 4*y - 24 for y.
3
Let a(z) = z**2 - z + 3. Suppose 0 = 2*w - 2, 2*w + 5 = 2*k + 3*w. Suppose p = -k*p. Let g be a(p). Solve 5*h + 10 = g*n, -5*n = h + 7 + 23 for n.
-5
Suppose -4*k - l - 3*l = -20, -5*k - 3*l + 19 = 0. Suppose 3 = -k*g + 21. Solve i + 0*i - g = -4*h, 3*h + 17 = 4*i for h.
1
Suppose -4*v + 28 = 2*b, -3*b = -v - v - 2. Suppose -b*i = -29 - 19. Suppose 0*k + 2*k = i. Solve 5*z + 5*r - 35 = 0, -5*r - 9 = -5*z + k for z.
5
Let m(w) = w**3 + 9*w**2 + 14*w + 5. Let d be m(-7). Solve -2*o - 3*k + 4 = 0, -3*k - 2*k = -d*o - 40 for o.
-4
Suppose 3 = 4*i - 9. Let z be i*(1 - 0/3). Suppose 3*w - 2 = -4*h + 5*w, -4*w - 4 = z*h. Solve 4*v = -h*n - 3*n + 16, 4 = v for n.
0
Let n = 20 + -18. Solve -4*m - 16 = -4*u, n*u + 2 = -4*m - 2 for u.
2
Let q be 16/6 + 8/(-12). Let n be -3 + (11 - 3 - q). Suppose v = 2 + 3, n*s = 5*v - 13. Solve 0 = -b + d, s*b + 6*d - d - 45 = 0 for b.
5
Suppose 10 = -5*z - 5*i, 5*i - 4 = -29. Solve 15 = -3*x + 3*m, z*m - 5 = -2*m for x.
-4
Let v be (-2)/((-20)/12 + 1). Suppose w + v*w = 8. Solve -w*t + 0 = l + 1, 0 = 2*t - 2*l + 10 for t.
-2
Let x = 36 - 31. Suppose -5*h + 25 = 2*f, 2*h = 3*f + 6*h - 20. Solve -5*d - b - 18 = f, 4*d + 4*b + 18 = x*b for d.
-4
Let y be 6 - (2 - (-1 + -1)). Suppose -t - 5*r = 0, -3*t + 11 = -3*r - 25. Solve -2*d - 14 = -y*s - 7*d, -5*d = -t for s.
2
Let z be 0/((-2)/(-2))*(-2 - -3). Let k be (-20)/(-9) + (-2)/9. Let p(u) = u**2 - 2. Let o be p(k). Solve z = q + h + o*h - 8, -3*h = 4*q + 4 for q.
-4
Let f be 12/8*1*(1 + 1). Solve 0 = -f*v - 4*j - 9, -2*v = -4*v - 3*j - 7 for v.
1
Suppose 3*v - 5 - 7 = 0. Let z = 7 - v. Solve -h + 12 + 8 = z*u, -5*u + 20 = -h for u.
5
Let s be (-7 + 5)/2 - -1. Solve -5*r - 2*q = -s*q - 4, 3*r - 9 = q for r.
2
Suppose -2*j - 6 + 10 = 0. Solve 3*g - 19 = -j*p, 0 = p + 3*p - 20 for g.
3
Let n = -3 - -3. Suppose n = q + 2 + 2. Let o = -1 - q. Solve o*a = -4*l + 2*l - 1, -5 = -l + 4*a for l.
1
Let u = -12 + 14. Let r(t) = -t**3 + 4*t**2 - 2*t - 3. Let o = 4 + -1. Let v be r(o). Solve k + u*d - 7 = -d, -3*k + 2*d - 1 = v for k.
1
Let d(f) = -f**3 + 2*f**2 + 2*f - 1. Let l be d(3). Let z(o) = -2*o - 5. Let a be z(l). Suppose -8 = 3*x - 7*x. Solve -g - a*v = -6, -3*g - x*v = -v - 10 for g.
3
Suppose 1 + 1 = -2*t. Let x = 5 + t. Suppose 15 = x*i + i. Solve -i*k - 2*q = -1 - 3, 0 = -2*k - 4*q for k.
2
Suppose 20 = -4*m, -3*m - 2 = -4*x + 17. Let y be (-2)/6*(x - 10). Let o(v) = -v**3 + v**2 + v - 2. Let l be o(-2). Solve y*k - w = -0*w - l, -w = -k for k.
-4
Suppose -2*d - 10 - 14 = -2*g, 2*g + 3*d - 9 = 0. Solve w = -3*h - g, -3*w - 13 = 3*h - h for w.
-3
Suppose 