 for h.
1
Let l be 388/(-36) + 2/(-9). Let c = 32 - l. Let g = c + -35. Solve b - 7 = 4*h, 3*h - g*h = -b + 10 for b.
-5
Suppose -4*u - 2 + 3 = -5*v, 2*u + 3*v - 17 = 0. Solve h - 4 + 5 = u*c, -2 = 2*h - 4*c for h.
-1
Suppose 0 = -3*i - 3*o + 60 - 9, -i + 5*o + 23 = 0. Let n = i - 21. Let u be 1/n + 70/30. Solve -4*w - 8 = u*p + 14, -w = p + 8 for w.
-3
Suppose 0 = -2*q - 3*q - 3*y + 50, 0 = -q + 4*y + 33. Let u = 75 + -84. Let b = 13 + u. Solve -4*a = 5*h - a - q, -b*h = 2*a - 12 for h.
5
Let b = 160 - 159. Solve -q - 4*r = -3 + b, -q + 2 = r for q.
2
Let y = 64 - 61. Suppose 0 = -5*p - 5*o + 80, y*o - 2*o = p - 8. Solve -p = 4*b + 4*t, 5*b - 5*t = -6 + 1 for b.
-2
Let t(q) = -q**2 + q + 1. Let k be t(0). Let g = 13 + k. Solve -1 + g = 5*b + 4*l, -2*b + 22 = -4*l for b.
5
Suppose 0 = 2*m + 2, -4*m = -o - 7*m - 1. Solve o*g = -u + 4, 2*u + 5*g = -3*u + 5 for u.
-2
Let y be -8 + 8 - -16*(-2 + 3). Solve -3*b - 2*g = -4*g + y, 0 = -b - 2*g for b.
-4
Suppose -6 = -0*p - 3*p. Let z(b) = -6*b**3 - b**2 + b + 2. Let i be z(-1). Suppose -m - i = -10. Solve 2*h - m = -3*n + n, n = -p*h for h.
-2
Suppose 2*j = -f + 4, 76*f = -4*j + 72*f + 16. Solve l = 0, j = k + 2*k - 3*l - 12 for k.
4
Let w be (-2*(4 - 5) + -4)*-1. Solve -4*m - u + w = 0, -5*u + 10 = -2*m - 2*m for m.
0
Let q be 2/(9/(-6) - -2). Solve -20 = -5*f + f + q*h, 3*h + 13 = 2*f for f.
2
Suppose -5*n + 3*z = -0*z - 46, -n + 12 = -2*z. Solve 0 = -5*m - s + 24, 3*m - n = 2*m - s for m.
4
Let i be (-2*2)/2 - -69. Let p = i + -7. Let v = -31 + p. Solve 0*g + g = 3*t + 4, -3*t - 4*g = v for t.
-3
Suppose 0 = -2*i - 4*r + 5*r - 72, 5*i + r + 194 = 0. Let q = -38 - i. Solve -3*d = q, -d - d - 3 = 3*g for g.
-1
Let d be (-1)/(0 + -1 + 9/12). Let f(l) = -1 + 3*l**2 + l**3 - l - 1 + 5*l**2 - 4*l**2. Let b be f(-3). Solve t - 13 = 2*z + 3*z, d*z = t - b for z.
-3
Let j = 205 + -201. Solve v - j*y = -21, 0*v + 7 = -2*v + y for v.
-1
Suppose -c + 3*h - 13 = 0, 5*c = 2*c + 3*h - 9. Suppose -45 = -4*q - 3*x, 0 = 2*q - 0*x + c*x - 22. Solve -3*k + 0*m + 3*m = -q, 4*k - 2*m = 16 for k.
4
Suppose -42 + 17 = -5*o. Suppose 0 = -0*v - o*v + 25. Suppose -5 + 11 = 3*c. Solve 0 = -7*a + 3*a + c*z - 18, -4*a - v*z = -3 for a.
-3
Let s = -5 + 1. Let i be 3*(-1)/(-3) - s. Suppose 5*o - z = -0*z, 0 = 4*o + 3*z. Solve 21 = 5*q - q - i*y, o = 4*q + 2*y - 14 for q.
4
Let l(z) = 2. Let b(m) = m + 21. Let n(d) = 2*b(d) - 22*l(d). Let h be n(1). Let s = 4 - h. Solve 3*y + 21 = -3*u, -3*y - s = -y for u.
-5
Let w(f) = 3*f**2 + f - 3. Let h be w(0). Let b be (5 - 4/(6/h)) + 2. Solve -d = -5*u - b, 4*u = -5*d + 2*u + 18 for d.
4
Suppose 64 = 2*z + 2*a, a - 36 = -2*z + 6*a. Suppose -4*c + 5*u = -24, -5*u = 4*c - 9*u - z. Solve -2*o - 3*o - c = -m, 5*o + 31 = -4*m for m.
-4
Let m = 131 + -131. Solve m = 3*r + 5*n + 16, -2*r - 3*r = 4*n + 5 for r.
3
Let g be (6/9)/(2/15). Suppose 0 = 3*y - 5*z - 7, -y - g*z = -3*y + 8. Let t be y/(-5)*4*10. Solve -4 = 4*i + c + c, -4*c = t for i.
0
Let l(v) = v**2 + 3. Let j be l(3). Let y = j + -10. Suppose -y*t - 3*t + 70 = 0. Solve -z + 4 = -3*s + t, 3*z = 4*s - 5 for s.
5
Let c(p) = 4*p + 7. Let n be c(-3). Let s(l) = -l**2 - 6*l - 2. Let x be s(n). Solve -6 = -x*k + t - 21, 2*t = 4*k + 20 for k.
-5
Let z(i) = i**2 - 33*i + 62. Let k be z(31). Solve 0 = -s - v - 3, -s = -5*v - k*v - 3 for s.
-2
Let b be 11*36/198 + 10/1. Let z(w) = -w**2 - w + 3. Let y be z(0). Let n be (-1 - 1)/(4/(-22)). Solve 3*g = -3*s + b, n = y*g - s + 3*s for g.
3
Let f be -32 - -3 - (-9)/3. Let v = f - -29. Solve 5*q = 5*c, 3*q - 24 = -0*c - v*c for q.
4
Let v be ((-9)/12 - -3)*4. Let w be (-7)/42 - (-2)/12. Let c be (1 - (w + 2)) + 4. Solve -v = j + 2*j + m, j + 4*m = -c for j.
-3
Let w be 3/1 - (0 - 2) - 5. Solve -2*g + 4*c = -16, w*g + 2*g - c = 10 for g.
4
Let h be 8/1 - (126 + -118). Solve 2*u - 2*o = 6, -5*u + h*o + 1 = 2*o for u.
1
Suppose 2*a - 3*p = -2*a - 21, -5*p + 30 = -5*a. Let j be (2 + a)*(-16 - -4). Let t = j + -8. Solve o = v + 2, 2*o + v = -v + t for o.
2
Suppose 4*d = 7*d. Suppose -6*w = -4*w + 10. Let a = d - w. Solve -n + 2*n + 7 = -a*r, 4*n + r - 10 = 0 for n.
3
Suppose 0 = 8*r - 74 + 58. Solve -r*a + 8 = 4*c, 0 = 5*a - c - 12 + 3 for a.
2
Let q(a) = -a**3 - 4*a**2 + 6*a - 5. Let f be q(-5). Let s = -9 - f. Let m be (s/(-4))/((-5)/40). Solve m*g + h + 2 = 6, g = 3*h + 2 for g.
2
Let x(f) = -f**2 - 18*f - 52. Let u(t) = -t - 5. Let y be u(9). Let n be x(y). Solve -2*l = -4*g, -2*l - 8 = 2*l - n*g for l.
-4
Suppose 3*k - 3*t - 115 = -5*t, 3*k = 5*t + 143. Suppose 6*b - 5*r - 37 = 3*b, 4*b - 5*r = k. Solve -b = -p + u - 2*u, -3*u + 12 = 0 for p.
0
Let q = -2 - 0. Let c be (0/q)/((-12)/6). Solve p - 5*z = 3, 0 = 3*p - c*p - 3*z + 3 for p.
-2
Suppose 3*k + 3*j + 0*j = 0, -k = 2*j - 1. Let b be 13 - 9 - 1/k. Solve 0 = 3*i - 5*t + 8, 0*t = -5*i + b*t for i.
4
Let a(i) = i**2 - 21*i + 40. Let z be a(19). Solve 3*g = u - 9, -7*u = -z*u - 2*g - 19 for u.
3
Let z be (-4)/(-8) + (-5)/(-2). Suppose -b - 22 = -3*d - 9, -z*d = -2*b - 11. Let o be 61/d - 6/30. Solve -2*f - 4*s + 6 + o = 0, -9 = 2*f - 5*s for f.
3
Let n(w) = -17*w + 73. Let l be n(4). Solve l*x + 10 = g - 0*x, 4*x = g - 8 for g.
0
Suppose -4*t - 12 = -2*c, -1 = -t - 4. Let m be (-1 + 1)*(1 - c). Solve m = -y - 0 + 2, -3*n = -3*y - 3 for n.
3
Let h(i) = -i + 1. Let k be h(-2). Suppose n - 2*g = 4, k*g + 7 = -3*n + 1. Suppose q - 5 = -n. Solve -2*j - 9 = 3*d - 25, -18 = -2*d - q*j for d.
4
Let o(j) = -2*j**2 + 26*j - 22. Let i be o(12). Suppose -4*z - v = -14 - i, 3*v + 12 = 0. Solve 2*t - z*x = -21 - 6, -t - 5*x = -24 for t.
-1
Let n = 555 - 530. Solve 4*g - n = s, 5*s = -g - 17 - 3 for s.
-5
Let j(s) = -3*s - 5. Let g be j(0). Let i be (-5)/(-10) + g/(-2). Solve 0 = -o - i*u + 1 - 9, -o + 2*u = -7 for o.
1
Let m(v) = v**2 - 8*v - 5. Let k be (-53)/(-6) + (-4)/(-24). Let x be m(k). Let p be 6/x + (-28)/(-8). Solve 0 = 4*s + 5*z + 16, p*z = s + s + 8 for s.
-4
Let c = -211 - -218. Solve -4*x + s + 21 = -0*s, 2*s + c = x for x.
5
Let g = 121 + -97. Suppose g*u = 22*u + 4. Solve u*d - 8 = 2*k, 2*k - d - 4*d = -8 for k.
-4
Suppose 3*b - 53 = -44. Let m(x) = -x**3 + 4*x**2 - 3*x + 2. Let y be m(b). Solve -5*c = -5*o - c + 41, 4*o = -y*c + 12 for o.
5
Let o(z) = z**2 + 7*z - 8 + 6*z**2 - 8*z**2. Let g be o(5). Solve g - 3 = -i + l, 4*l = -5*i - 4 for i.
0
Let o be 3*(1 + (-10)/(-15)). Suppose 2*l - 3 = -5*i + 5, 0 = -o*i - 4*l + 6. Suppose -i = -h + 2. Solve 2*n = -j + 1, 3*n + 2*n + h*j = 7 for n.
-1
Suppose 13*v = 104 - 78. Solve 0 = -3*h - v*h + 2*t + 25, -2*t = 0 for h.
5
Let k = 129 + -127. Solve 0*c - k*a - 2 = -4*c, -5*c + 2*a = -5 for c.
3
Suppose 3*j - 2*j + 4*i - 6 = 0, j - 5*i = -3. Solve -j*w = -5*w + 2*f - 8, 18 = -4*w - f for w.
-4
Let z be (12/(-27))/(8/(-36)) - 2. Solve -2*n - 2*p + 2 = -z, p - 9 = 3*n for n.
-2
Let n(z) = -12*z - 42. Let k be n(-4). Solve -4*a + 4 = -k*b + 2*b, 4*b = 2*a - 8 for a.
-2
Suppose -7*u + 50 = 3*u. Suppose -h - u = -9. Solve 3*j + 12 = -d, -d - j - h = d for d.
0
Let r = 518 - 516. Solve 0 = -7*l + 4*l, r*l = 2*v - 8 for v.
4
Suppose -5*w + 56 = -0*w - 4*t, 3*w - 44 = 5*t. Suppose 4*b - 6*b = -w. Solve 2*n = 5*c - 2*n + 13, c + b*n + 17 = 0 for c.
-5
Let p(k) = -k**3 - 16*k**2 + 16*k - 13. Let g be p(-17). Solve 2*h = y + 8, 3*y - 12 = -2*h + g for y.
2
Let t = -199 + 215. Solve 5 = -3*z - n, -3*n + 1 = -2*z + t for z.
0
Suppose -3 = o + 2, -3*o - 23 = -4*x. Let c(f) = 11*f - 187. Let a be c(17). Solve -x*d = 3*q - 18, 0 = -a*q + q - 2*d + 2 for q.
4
Let j(c) = -c - 3. Let t be j(-6). Suppose 0*h - 6*h - 156 = 0. Let p = -23 - h. Solve p*s = 3*u + 9, 0*u + u = t*s + 1 for s.
-2
Let x = -31 + 7. Let n be x/(-8)*2/3. Solve -y + 3 + n = 0, 2*t + 3*y = 7 for t.
-4
Let n = -479 - -485. Solve n + 7 = -v + 5*z, v + 3*z = 3 for v.
-3
Let d be (-2 + 4)/(-7 + 296/40). Solve -3*o - 4*q = 17, d*o + 5*q + 10 = -10 for o.
1
Let m(l) = l**3 - 3*l**2 - 2*l - 5. Let u be m(4). Suppose -30 = 2*g - 7*g. Let q = g - u. Solve -4*k + 2*z = -2, -q*k + 6 = 5*z + 37 for k.
-2
Suppose 0 = -0*f - 14*f + 84. Let i be f/21 - 165/(-35). Solve 4*d - 4 = -q, 5*q - 5*d + i = -0*q for q.
0
Let l be -3 + 3*15/5. Let d = -6 + l. Let g(p) = p - 5. Let r be g(6). Solve d = -4*o - 2*z + 2, 3*o + 1 = 2*z - r for o.
0
Let a = -5 + 9. Suppose -a =