h - o - 8 = -6*o for h.
-4
Let b be 5*(0 + (-2 - -4)*-1). Let k be 56/(-35) + 4 - (-4)/b. Solve 4*v - k*l + 4 = 0, 4*l = -4*v - 0*l - 28 for v.
-3
Let p(b) = b**3 + 5*b**2 + 6*b + 4. Let x be p(-4). Let s = x + -4. Let v be 1*20/s*-2. Solve -v*a = -4*g - 19, 0*g + g - 5 = -2*a for a.
3
Suppose 8*i + 229 = 21. Let k = i - -30. Solve 3*v = k*a, 7*a - 2*a - 4*v - 1 = 0 for a.
-3
Suppose 0 = 4*s + 116 - 132, -30 = -2*j + 5*s. Solve -4*y = -x - 5, -12*x + 3*y = -7*x + j for x.
-5
Let q be (-2)/(-1) + (1 - -1). Solve -3*y = 2*y + 3*j - q, -y + j - 4 = 0 for y.
-1
Let m = 343 - 342. Solve -3*n - 32 = 4*x, -2*n + x - m - 2 = 0 for n.
-4
Let b be (10/25)/(8/20) + 1. Solve -3*l - 9 = b*h, -4*l + 0*l - 19 = 5*h for l.
-1
Let i be ((-22)/6 - -2)/(170/(-204)). Suppose 7*c - 16 = 3*c. Solve -3*b = -m + 7, -b = -4*b - i*m - c for b.
-2
Let u(d) = -d**2 + 13*d - 7. Let g be u(12). Suppose 113 + 17 = g*m. Suppose 3*y = t + 3*t + 121, -4*t = 16. Solve 0 = 2*i + 5*a + y, -5*a - m = 3*i + 14 for i.
-5
Let t = -1 - 5. Let f be 2 + t - (-2 + -8). Suppose -3 = -2*a - a + o, -2*o = -5*a + f. Solve y = 2*q + 2, 2*y - q + 5*q + 12 = a for y.
-2
Let f = 10 + -9. Let y be f - (14 - (1 - 1)). Let i = -8 - y. Solve -l = -i*s - 2 - 6, 2*l - 11 = 5*s for l.
3
Suppose 4*d - 8*z - 7 = -3*z, 0 = -d - z - 5. Let p be 10/(-3)*-3 + d. Let u be 48/9*(-12)/(-8) + -6. Solve 0 = w - 4*t - 11, -2*w + 0*w - u*t = p for w.
-1
Let x = 750 - 745. Solve -x*y - 7 = -8*y + p, y - 2*p = 4 for y.
2
Suppose 0 = -4*j + 4*u + 48, -u + 2 - 24 = -2*j. Solve -5*k + 4*k + 2*p = j, 16 = -k + 4*p for k.
-4
Let n = -551 + 554. Solve -n*o + 6 = -3*r, 6 = -4*r + 2*r + 4*o for r.
-1
Let z(s) = -s**3 + 5*s**2 + 10*s - 27. Let c be z(6). Let x = 6 + c. Solve 3*a - 7 = -w, w - x = 3*a - 2 for w.
4
Suppose -12 = -4*m, 0 = -0*o + 4*o - m + 3. Solve 2*r = 8, -5 = 3*n - 2*r - o for n.
1
Let j(z) = -z**3 - 12*z**2 + 12*z - 9. Let b be j(-13). Let d(q) = b*q - 3*q + 2 - 2. Let k be d(5). Solve -5*y + 4*p = 7, y + k*p = -y + 17 for y.
1
Let g = 1536 + -1536. Solve g = 5*h - 3*v - 19, -18 + 3 = -5*h + 5*v for h.
5
Let c(n) = -14*n + 73. Let q be c(5). Solve 5*f + q*b = -1 + 17, 5*b - 10 = 0 for f.
2
Let u = -157 + 162. Solve b + 3*p + 2 = 2*b, 0 = -b + u*p for b.
5
Let s(f) = f**3 - 6*f**2 - 19*f + 103. Let l be s(7). Solve 3*h + 5*n = 10*n + l, 4*h + 4*n = 4 for h.
3
Let h(b) = 4*b - 14. Let m be h(6). Let z(y) = -y**2 + 12*y - 20. Let k be z(m). Solve -2*c - 3*v + 12 = k, 3*v - 20 = 4*c - 2*v for c.
0
Suppose 0 = -2*k + 10 - 4. Let n be (7 + -11)*k/6. Let q be ((-5)/4)/(n/8). Solve -3*h - 3 = 2*f, 5*h = 5*f - 0*h - q for f.
0
Let n be ((-8)/5)/((-12)/10)*3. Solve 4*r + 8 = -n*w, 0*r - r + 5*w - 20 = 0 for r.
-5
Let d = -61 - -90. Let n = -66 - -68. Solve -3*o + d = 5*i, n*i - 2*o = 6*i - 22 for i.
4
Let s(v) = -v**3 + 9*v**2 + 2*v - 15. Let a be s(9). Solve -a*l + 3*b + 0*b - 18 = 0, -15 = 2*l - 5*b for l.
-5
Let p = 18 + -3. Suppose -s = -2*i + 6*i - p, 5*s = 2*i + 9. Suppose -n - 2 = -i. Solve b = -n, 2*m - 9 = b + 2 for m.
5
Let n be 0*(-4 - 99/(-22)). Solve 4*q - 4*a = n, 4*q = -5*a + 3*a for q.
0
Suppose -74 + 76 = m. Solve -m*b + 2 - 20 = 4*q, q = -b - 4 for b.
1
Let h(o) = 2*o**3 - 9*o**2 + 12*o - 10. Let q be h(5). Let r = q - 73. Solve -2*f + 18 = -r*d + 6, 4*f - 8 = 0 for d.
-4
Suppose 2 - 14 = -6*z. Solve 2*l = -2*h, 3*h = z*l + 27 - 12 for h.
3
Let n(v) = 7 + 7*v - 9*v + 3*v. Let p be n(-3). Solve -b + 4*f + 7 + 14 = 0, 0 = -3*b + p*f + 31 for b.
5
Suppose 0 = -5*w - 2*f + 53, 7*w - 20 = 3*w + 4*f. Let b be (-81)/(-4) - w/36. Let m = 23 - b. Solve -3 = -3*v, -m*v + 7 = -3*p - 8 for p.
-4
Suppose -310*j + 321*j - 110 = 0. Solve -5*b + 5*l = j - 5, -2*l = 4 for b.
-3
Suppose -62*j - 28 = -76*j. Solve -14 = j*z - 2*p - 3*p, -2*p = 2*z - 14 for z.
3
Suppose -4*r - 32 = -4*o, 0 = -o - 4*o - 3*r + 16. Let i = 13 - 10. Solve -2*g = -i*f + 5, 0 = -2*g - 0*g - o*f + 35 for g.
5
Let g be (-1)/(-4) - 57/(-12). Solve 0 = k - m + 5*m + 15, -m = -k + g for k.
1
Suppose -8 = 449*r - 451*r. Solve r = w + 9, -3*w = 2*z + 11 for z.
2
Let u = 20 - 15. Suppose u*a + 14 - 41 = 3*v, 2*a - 26 = 5*v. Let l be 7 + 2*(-4)/8. Solve 2*p = 3*p - 1, 3*p + l = -a*z for z.
-3
Let l(c) = c**3 - 2*c**2 - c + 9. Let j be l(0). Let x(u) = u**3 - 8*u**2 - 3*u - 18. Let w be x(j). Solve -z - 6 = -2*b, -b + w = 3*b + 4*z for b.
5
Let h be 88/20 - (-2)/(-5). Suppose -y + 3*y - 4*m - 8 = 0, -m - 16 = -4*y. Let d be (2/5)/(y/40). Solve 0 = -3*f + d*s - 1, -4*f - 12 - 8 = h*s for f.
-3
Let i = 2346 + -2341. Solve p + 3 = -3*s - 0*s, -i*s + 3*p - 19 = 0 for s.
-2
Let n = 134 - 57. Let r = n - 52. Solve -1 = -2*q + q - 3*c, -5*c = -5*q + r for q.
4
Let u = 345 - 340. Solve -r = -3*m - 11, -2*r = u*m - m - 2 for m.
-2
Suppose 5*p + 27*q = 31*q + 1, 2*p - q = 1. Let m be 15*3*(-1)/(-9). Solve -p = f - b, m*b = -0*f - 2*f + 12 for f.
1
Let g(t) = 15*t + 122. Let r be g(-8). Solve p + 23 = -5*m, 2*m - r*p = -7*p - 23 for m.
-4
Let r = -2960 - -2965. Solve -2*a + 5 = g - 8, 20 = r*a for g.
5
Let c be (-14)/2*7/14*-2. Solve -g + 23 = 2*w - c*w, -2*g = -w - 10 for w.
-4
Let q be 52/(-234) - (-38)/9. Suppose 4*n + 0*x - 34 = 3*x, -4*x + 58 = 5*n. Solve -2*g + n = g + q*i, 3 = 3*i for g.
2
Suppose 286 + 86 = -6*l. Let d = l - -66. Solve a + 11 = -a - 5*i, -2*a = d*i + 8 for a.
2
Suppose 0 = -2*w + 5*k + 19, 3*w = -4*k - 7 + 1. Solve w*i + 2 = i + 5*x, -4*x = i + 2 for i.
-2
Let w(v) = -v**3 - 4*v**2 + 2*v + 8. Let r(d) = -d - 7. Let z be r(-3). Let o be w(z). Solve u - 4*b - 19 = 0, o*u - b - 8 = 3*u for u.
-1
Let o = 46 + -43. Let p be (-5 - -7)/(2/o). Solve -3*a = 5*j + 11, -4*j = a + p + 10 for a.
3
Let a = -7 - -7. Suppose 13*v - 8*v - 80 = a. Suppose q - v = -0*q. Solve 2*t - 5*b - q = 0, 20 = b - 6*b for t.
-2
Let w = -1 + 9. Suppose -11*a + 9*a + w = 0. Solve 24 = -5*o + 2*m, a*o + 5*m = -6 - 0 for o.
-4
Suppose 8 - 40 = -2*m. Suppose 0*l = -4*l + m. Solve 4*s - 8 = -5*t - 3, l*s - t + 25 = 0 for s.
-5
Suppose 6 = 5*n + 5*g - 14, n = -4*g + 16. Let r(t) = t**2 + 3*t + 5. Let f be r(n). Solve -5*p = 15, -40 = 5*s - 0*s + f*p for s.
-5
Suppose 4*g + 267 = -5*j, -4*j - 133 = 2*g - j. Let a = 70 + g. Solve -5*p - a*v + 4 = 0, -2*p = 2*p - 5*v + 10 for p.
0
Let l be 1/(-1 + 1*(-15)/(-10)). Solve 2*j - 2*w + 12 = 0, -4*j = -j + w + l for j.
-2
Suppose 321 = 7*n + 111. Let q = 42 - n. Solve 3*h - q = 3*l, -4 = 5*l - 2*h + 4 for l.
0
Suppose 14*v + 3 = 17*v - 4*d, 0 = -3*v - 3*d + 24. Solve -p + z = -0*z + 6, -5*z = v*p for p.
-3
Let a be ((-18)/12)/(2/(-4)). Solve 3*k - 2*p = -0*k - a, -2*p + 8 = 2*k for k.
1
Let z(v) = -7*v - 2. Let q be z(-1). Suppose 2*f = 3 + 3. Let n = f - 3. Solve n = -q*w - 4*s - 29, -4*w + 4*s - 15 = 1 for w.
-5
Suppose 3*x + 5*f - 23 = 2*x, -2*f + 17 = 3*x. Suppose -x*w = -7*w. Suppose 0*r - 3*r + 15 = w. Solve 3*b = -j - 7, -b - r + 6 = 2*j for b.
-3
Let z = -257 + 261. Solve -j = b - 0*b + 1, z*j + b - 8 = 0 for j.
3
Suppose -3*g - 75 = -4*i, -3*i = -3*g - 6 - 66. Let t(y) = y**3 + 20*y**2 - 20*y + 26. Let p be t(g). Solve -b - 12 = 2*b - p*c, -c + 8 = 5*b for b.
1
Let g be (-5 - -2)*(1 - 24/18). Solve -a - 26 = -5*s + g, -4*a + 12 = 4*s for a.
-2
Let g be 10/(-6)*12/16*-4. Suppose -3*r + 5*h = -24, 0*h + 3 = g*r + 4*h. Solve -3*l + r*d = 2*l + 7, 2*d - 7 = l for l.
1
Suppose -132 = 13*l - 158. Solve w + 3*n - 4 = 0, -n = 3*w - l*n + 18 for w.
-5
Let b be (-2)/3 + 140/30. Let f be (-2 + -2)*-1 - -23. Solve -1 = -3*d - b*q - 8, -5*d + 3*q = -f for d.
3
Let a(m) = -m**3 - 3*m**2 + 4*m + 2. Let b be a(-4). Suppose -8 + 4 = -b*p. Let z be 0 - (0 - p - 2). Solve -2*y = z*h + 16, -4*y = 2*h - 4*h - 18 for y.
2
Let g = 302 + -299. Solve 0 = 2*t - 4 + 14, g*t + 21 = 3*f for f.
2
Let y(u) = u - 4. Let s be y(10). Let l(a) = 2*a - 11. Let n be l(s). Let c be n/1 + 1 + 0. Solve -c*r = -5*g - 13, 5*r + 20 = -5*g - 0*r for g.
-3
Suppose 2*t = t + 92. Let q be t/12 + 1/3. Suppose 0*f = -5*f + 15. Solve r - 5*i + q = 2, -f*r - 2*i = -16 for r.
4
Suppose -2*k - 12 = -m, 0 = 4*k + 5 + 7. Solve -c - m*l + 6 = -2*l, 0 = 2*c - 5*l + 14 for c.
-2
Suppose -2*l - 20 = -6*l. Let b be 316/(-395) + (-29)/(-5). Solve b*t + d = 2*t + 1, -5*t = -l*d - 15 for t.
1
Suppose 16*o + 10*o = 0. Solve 12 = 4*j - j - 3*n, -2*j + n + 7 = o for j.
3
Let y(g) = g**