 -16 for h.
1
Suppose 0 = -3*w + 2*w. Suppose w = -3*q + 4 + 5. Solve 5*i - 2*i - 3*l = q, 0 = 4*i - 2*l + 2 for i.
-2
Let b be 1/3 + (-6)/(-9). Let z be (-3 + b + 2)/(-2). Solve -5*j - 2*x + 9 + 6 = z, -12 = -4*j + x for j.
3
Let d(z) = z + 3. Let h be d(6). Let k(s) = s**2 - 10*s + 9. Let m be k(h). Solve -2*i - 2*b = 14, -2*b - 6 = -2*i - m*b for i.
-2
Let v be (-6)/(-4) - 1/(-2). Suppose 0*z = -2*z - 12. Let w be 33/5 + z/(-15). Solve 4*r - 1 = -v*d + w, -6 = d - 3*r for d.
0
Suppose 2*p + t - 1 = 3*p, 0 = 2*t + 8. Let j = p - -8. Suppose -2*x + y - 1 = 0, 0*x - 31 = -3*x - 5*y. Solve a + 2 = -x*z - a, -2*z = j*a + 2 for z.
-1
Let t be (-2)/5 - (-520)/50. Solve -3*w + 3*r - 4 = -2*w, 0 = -w + 5*r - t for w.
5
Let g = 21 + -18. Solve -4*q - 3*p - 17 = 0, -g*p - 1 - 2 = -3*q for q.
-2
Let s = 2 - -2. Suppose -4*u - 4 = -6*u. Solve -s*m + 29 - 3 = u*t, m - 14 = -2*t for t.
5
Suppose -4*l - 4 = l - 3*w, 3*w + 4 = l. Let y be (4 - 5)/(l/6). Let x be 1 - y*2/(-2). Solve 0 = 2*m + 3*i + 18, x*m + 0*m = i - 8 for m.
-3
Suppose -9*j + 10*j = 4. Solve -3*i - 12 = 4*s, 3*i + 2*s + 6 = j*i for i.
0
Let g be -1 + 0 + (3 - 2). Suppose a + 2*a - 12 = g. Suppose a*x = 4*h - 64, 16 = h - 2*x - 3*x. Solve -3*u = u - w, 4*w = -h for u.
-1
Suppose -f = -2*h + 4, -5*h + 40 = 4*f + f. Solve -3*x + 0*x - 5 = -5*u, f*u + 13 = -x for u.
-2
Suppose -c - 6 = -0*m - m, -5*c - m - 12 = 0. Let y = c + 3. Solve 2*u + y*u = 8, 0 = 3*f + 2*u - 11 for f.
1
Let n be 0 + 4/8*4. Solve 2*r + 10 = n*x, -5*x + 5 = 5*r - 20 for r.
0
Let q(y) = -9*y**2 + 0*y**3 + 0*y**3 + 3*y - y**3 - 4*y - 1. Let o be q(-9). Solve -a + 2 = 4*p, 0*a + 4*a = -5*p + o for a.
2
Let q = 37 + -21. Suppose -q = -5*h - 6. Solve -m - 4 = 0, 6*m = -5*f + h*m - 31 for f.
-3
Let m(a) = a**2 + 2*a - 1. Let k = 2 - -1. Suppose 0*r = r + k. Let f be m(r). Solve -5*d + i = -1, 3*d - 5 = f*i - 3 for d.
0
Suppose -320 = -4*h + v, -2*h - 3*h + 400 = 5*v. Let s be (4/(-10))/((-8)/h). Solve -5*c + s*a + 13 = 1, -2*a = -3*c + 8 for c.
4
Let g = 5 + -5. Let x(o) = o**2 + 3*o + 4. Suppose -2*h = -0*h + 6. Let v be x(h). Solve 2*f - 3*a = -0 + 1, g = 2*f - v*a - 4 for f.
-4
Let x = 4 - -13. Suppose 2*h = 8 + 2. Solve 0 = -h*z + b - x - 12, 4*z = b - 24 for z.
-5
Suppose 50 - 2 = 4*x. Suppose 2 = -5*d + x. Solve -3*u - 2*a = 2*a + 31, 2 = d*u - 3*a for u.
-5
Let r = -2 - -7. Suppose -1 - 24 = -r*l. Let s(w) = w - 5. Let d be s(8). Solve d*z = -2*g - l, 3 = -0*g - 2*g - z for g.
-1
Let p(l) = -l - 3. Let v be p(-6). Let d(o) = 3*o - 4. Let g be d(v). Solve 4 = 3*a + g*m, -2 = -3*m + 2*m for a.
-2
Let x = 6 - 3. Solve 0 = z + 4*z + x*n + 16, 0 = z + n + 2 for z.
-5
Let a = 10 - 18. Let y be (-28)/a + 1/(-2). Let x(h) = 4*h**2 + 1. Let g be x(-1). Solve 0 = -b + 5*b + g*f - 11, y*b + f = 0 for b.
-1
Let x = 5 + -15. Let t = x + 16. Suppose 16 - t = 5*k. Solve k*c - 4 = -2*d, 3 = -4*c + d - 4 for c.
-1
Let r = -67 - -72. Solve l - 5*m = -27, -l = -4*l + r*m - 31 for l.
-2
Let x be (-1 + -1)/((-10)/(-25)). Let d be (-13)/x - (-2)/5. Solve d*m - 5 = 3*h - 4*h, -3*m + 1 = 2*h for h.
-4
Let f(l) = 2*l - 5. Suppose 2*z + 32 = 3*b, -6*b + 2*z + 22 = -4*b. Let t be f(b). Suppose 3*a - t = -6. Solve 0 = -2*d + 8, k + 5 + 2 = a*d for k.
5
Let v(p) = -4*p**3 - 2*p**2 - 2*p. Let s be v(-1). Let l = -2 + 5. Solve -s*g + 3*a - l = -13, 4*a = 8 for g.
4
Suppose 5*y - y = 0. Solve -5*q - u + 8 - 3 = y, 2*q - u = 2 for q.
1
Suppose -i + 6 - 2 = 0. Solve 3*f - 5*f = -5*b + 20, -f - 13 = -i*b for f.
-5
Suppose -2*w - b = w - 22, 0 = 5*w - 2*b - 22. Let m be 6/w + 0 + 1. Suppose f = -4*z - 3*f, -m*f = 3*z. Solve -l = 2*l - 3*x - 12, -2*x - 4 = z for l.
2
Suppose 0 = -4*b + 4*m + 16, -3*b + 5*b - 10 = m. Suppose 3*x = 2*w - 26, b*x = w + 2*x - 23. Solve 4*u + 10 = -d, 5*d + 2*u = w*u for d.
-2
Suppose 5*h = 15, c + 4*h + h - 30 = 0. Suppose 4*i - 9*i + 5*x - 15 = 0, 3*i = -5*x + c. Solve -k + 4*k + 13 = -2*a, 2*k - 4*a - 2 = i for k.
-3
Suppose 0 = 2*m - 2*b - 10, m + 3*m - 14 = -2*b. Solve -3*y + 5 = m*a, a - 4*y + 17 = -4*a for a.
-1
Suppose 2*f = 5*f + 21. Let n = 9 + f. Solve 4*b = -5*j + 2 + 13, -n*b = j - 9 for b.
5
Let q be (-51)/(-12) + 2/(-8). Let d = q - 5. Let u(z) = -6*z**3 + 2*z + 1. Let a be u(d). Solve 5*x + 12 = 2*l - 3*l, -a*l = x + 12 for x.
-2
Suppose 5*d + 2*t - 29 = t, -5*d + t = -21. Let m = -10 - -11. Let p = -2 + 5. Solve p*y - y + d = 5*g, -g + m = 2*y for y.
0
Let q = -41 - -67. Solve 5*b + c = -q, -2*b - 3*b + 3*c = 22 for b.
-5
Suppose 3*x = 6*x - 3*m - 18, -x - 4*m + 1 = 0. Solve 3*a = b - 2*b + 5, -x*a + b = 5 for a.
0
Let w(c) be the first derivative of c**3/3 + 3*c**2 - 12*c + 4. Let d be w(-8). Solve -4*a - 3*o + 15 + 3 = 0, 0 = -4*a + d*o + 4 for a.
3
Let a = -161 - -161. Suppose -5*x + 2*z + 16 = 0, -5*z + 3*z = -4. Solve 5*n + x*d + 1 = a, d = -5*n - 3 - 1 for n.
-1
Let w(k) = k - 3. Let q be w(4). Let i = 7 + -1. Let v = i - q. Solve 9*t + v*o - 15 = 4*t, 5 = 3*t + 2*o for t.
-1
Let d be -3*-3*4/12. Solve 0 = 2*j + 2*j - 3*c - 8, c = -d*j + 19 for j.
5
Let a be 2 + (6*-1 - -4). Solve 34 = -a*p - 5*p + 3*y, 0 = 2*p - 5*y + 25 for p.
-5
Let v = -24 - -31. Solve 2*m = -p + v*m - 28, -5*p - 2*m - 5 = 0 for p.
-3
Let x(m) = 2*m. Suppose 3*w + 0*w + 3 = 0. Let r be x(w). Let k be 35/10 + r/4. Solve 5*g = -q + 10, 6*q - q + k*g = 28 for q.
5
Suppose -2*r + 7*r + 2*o - 26 = 0, 3*r = 4*o. Solve -z = r*l + l - 12, 4*z - 2 = 3*l for z.
2
Suppose 2*o - 6 = -4*a, 0 = -4*o + o - 5*a + 6. Let u = 0 - o. Suppose 0 = -2*n - u + 11. Solve -3*x + 23 = -0*d - 4*d, n*d = -x - 19 for d.
-5
Let r be 1/10*5*10. Let l = 7 + 15. Suppose 5*h - h - 3*v = l, -r*v - 22 = -3*h. Solve 4*x + 20 = 0, -h*c - x + 3 = -0*x for c.
2
Suppose 0*d = 2*d. Suppose d = -2*s - 3*s. Solve z = s, -3*z - 12 = -3*w - z for w.
4
Let y be (-3)/(-9) - (-10)/6. Suppose 5*g - y*f + 4 = 0, -3*g + 2*f = -0*f + 4. Solve -4*h = g, 0 = -2*q + 5*q - 3*h + 3 for q.
-1
Let l = -13 - 33. Let a be l/(-3) - (-6)/9. Suppose 5*u + 17 = -2*c - 3, -a = 2*c + 4*u. Solve -2*k - 3*s - 5 = c, s - 4*s = k + 1 for k.
-4
Suppose 3*u = -12 + 45. Let n = -22 + u. Let x(d) = d**2 + 10*d - 11. Let s be x(n). Solve -5 = 2*p + 3*m, p + s*m = m - 5 for p.
-4
Let f(g) = 2*g - 6. Let k be f(6). Solve 5*t - k*l = -l + 45, -5*l - 20 = 0 for t.
5
Let q(h) = h**2 + 9*h + 16. Let s be q(-7). Solve -4*c = s*i + 14, -5 - 3 = 3*c - i for c.
-3
Let p be -2*(3 - (-27)/(-6)). Solve 5*w = -3*h - 15, -4*h - p*w + 6*w - 20 = 0 for h.
-5
Let f(b) = -2*b + 15. Let c(n) = -n + 7. Let j(p) = -7*c(p) + 3*f(p). Suppose -5 = -2*t + 9. Let o be j(t). Solve 3*i = 9, 0 = -v + 2*v - o*i + 9 for v.
0
Let p be 3 - (-3 + (2 - -1)). Solve p*o - 2*s - 17 = 0, o = 2*s + 3 + 8 for o.
3
Suppose -3*p + 0*p + 17 = -2*m, m - 14 = -3*p. Let q = -22 + 57. Solve -2*b + 4*w = -7*b - 1, -5*w = -p*b + q for b.
3
Let o = -3 + 5. Suppose -3*y + 5*y = 6. Let u be (y*6/9)/1. Solve 3*x + 13 = 2*p + u*p, o*x = p - 2 for x.
1
Let f(q) = -3*q**3 - q**2 - 3*q - 1. Let h be f(-2). Suppose 5*u - h + 5 = 0. Solve -u*x - 2*j - j = 0, 0 = -2*x + 2*j + 14 for x.
3
Let z be 16/3 + 2/(-6). Solve -2*x + l + 10 = 6*l, -x + 10 = z*l for x.
0
Let r(f) = -4*f**2 - 9*f**2 - 2*f + 0*f - 1. Let t be r(-1). Let z be (t/(-16))/(1/8). Solve 3*a - 20 = -4*q - 6, 5*q - 2*a = z for q.
2
Let p = 1 - 4. Let i = p - -6. Suppose -2*l + 28 = 3*z, -5*z + 2*l + 18 = -2. Solve -i*h - h = 5*n, n - z = -2*h for n.
-4
Let a(u) = -3*u**2 - 21*u - 15. Let c be a(-6). Let x = 2 + -2. Solve x = -0*l + 4*l - 4, -13 = -c*w - l for w.
4
Suppose -h - 4*h = 0. Suppose -v + 3*d - 3 = h, 0*v + 2*v + 4*d = 14. Solve -3*m + 5*j + 22 = -5, -5*m + 29 = -v*j for m.
4
Suppose 4*c - 2*x = -c + 3, 1 = -c + 2*x. Let r(z) = c + 1 + 0*z + 2 + z. Let s be r(-4). Solve s = -5*p + 5*l, -7*l + 3*l = -2*p + 6 for p.
-3
Let d = 5 + -2. Solve -d = 2*r - 9, -5*o = 2*r + 4 for o.
-2
Let n = -21 - -14. Let l = n - -9. Solve -10 = -l*k + 2*g + 2, -g = 4 for k.
2
Let l(q) = q**2 + 14*q. Let f be l(-14). Solve f = -5*w - 10, -2*y - 4 + 0 = 3*w for y.
1
Let s(l) = -l**2 + 3*l. Let i be s(3). Suppose 3*f = -i*f + 6. Solve 3*k + 2*b - 13 = 0, f*k - 4*b - b + 23 = 0 for k.
1
Let d be 1/(-3) - (-77)/33. Solve -c + 3*y = 6, -c = 3*c - y + d for c.
0
Suppose -w = q - 1, -2*q - w - 1 = -5. Solve 3*a - 6 = -q*u, 