-2*x + 8 = 4*h, 3*h - 21 = f*x + 7 for x.
-4
Suppose -3*k = 5*g - 7*k - 40, -4*g = k - 11. Solve 8 = -9*t + 4*t - 2*s, -4*s + g = 0 for t.
-2
Suppose -11 = -3*r - 2. Solve 4*p - 5*v + 20 = 0, -r*p + 4*v - 9 = 6 for p.
-5
Suppose -3*c - 2*v - 1 = 0, 2*c - 3*c = 3*v + 12. Solve -c*m - m = w + 15, m + w = 0 for m.
-5
Let g = -6 + 11. Let k = g + 0. Solve 2*v + 4*o - 9 + 27 = 0, -3*v + k*o = 5 for v.
-5
Suppose 2*i = -5 - 11. Let q(o) = -3*o. Let n be q(i). Solve f = 6*m - 2*m + 1, -4*m - 4*f = -n for m.
1
Suppose 0 = b - 0*b - 4. Solve 0 = 2*o - b*t + 16 + 2, -3*t = 2*o - 17 for o.
1
Let k(m) = -m - 2. Suppose 4 = -4*x + 3*x. Let c be k(x). Let p be 30/9 + (-1)/3. Solve -p*t = z - 0*z, -c*z - 1 = 5*t for z.
-3
Let r(o) = o - 4. Suppose 4*f - l - 7 = 21, 5*f - 5*l = 50. Let u be r(f). Suppose -4 + 38 = u*k. Solve -4*v = q - 0*q + k, 5*v + 16 = 4*q for q.
-1
Suppose -37*q + 35*q + 8 = 0. Solve -q*p - 2*u + 29 = 7, -4*p + 4 = -4*u for p.
4
Let a(u) = 3*u - 13. Let b be a(6). Let r = 10 - b. Solve 0 = 2*f - 0*f + k - 15, -20 = f - r*k for f.
5
Let w(v) = 5 + v + v**3 - v**2 + 8*v**2 + 2. Let b be 26/(-4) - 1/2. Let g be w(b). Solve -2*q - 12 = 2*d, -5*d - q - 12 + 2 = g for d.
-1
Let a(p) = p + 9. Let j be a(-5). Solve -j*b = -4*w - 28, 0*b = -b - 3*w - 5 for b.
4
Suppose -g + 0*g = -2. Suppose 50 = 7*s - g*s. Solve 3*b - 1 = -3*d - s, -3*d - 2*b - 6 = 0 for d.
0
Let w be (-2)/(-4)*(-2)/(-1). Suppose -8 - 12 = 5*h. Let m be 1 - h - 2*w. Solve b + b - 3*x - 3 = 0, -m*x = 9 for b.
-3
Let w be (-7)/(-2) - 4/8. Suppose 18 = -3*a + 39. Let s = a - w. Solve 2*g + 0*g = -s*n - 14, 1 = 4*n - g for n.
-1
Let m be (-112)/(-12)*(-3)/(-2). Let v(k) = -k**3 + 5*k**2 + 6. Let h be v(5). Let w = h - 4. Solve g = -t + w, 4*g + g = -t + m for g.
3
Suppose -4*x - 8 = -b + 12, -2*b = 4*x + 20. Solve 0 = 2*c + 5*i - 9 - 5, b = 4*c - 4*i + 28 for c.
-3
Let x = 36 + -34. Solve x*p = 2*w - 0*p - 8, -2*p = -4*w + 12 for w.
2
Suppose -6*g = -4*g - 14. Let c = -5 + g. Solve -3*l + 7 = c*v, -5*v + 2*v - 18 = -5*l for v.
-1
Let h = -23 + 25. Solve -h*j + 2*b = -4, 5*b + 13 = 3*j + 3 for j.
0
Let q(h) = h**2 - 6*h + 1. Let d be q(7). Suppose -5*u + 2*u + 9 = 0. Suppose 4 = 4*v, -4*g - u*v + 2 = -1. Solve 2*j - 2 = l, 2*l - 3*j + d*j - 23 = g for l.
4
Suppose 0 = 2*a - 0*a - 20. Solve -3*d - 2*d + 7 = -3*o, -5*d = -a for o.
1
Suppose -3*b = -c + 3*c - 16, -3*c - 3*b = -18. Suppose c*z + 60 = 7*z. Solve -j + 5 = 3*g + z, 5*j = -4*g - 13 for g.
-2
Suppose -v = -2*y - 2 - 17, 0 = 5*v + 3*y - 108. Suppose -5*n + 30 = 4*o, -7*o = -4*o - 15. Solve -v - 3 = -4*p + n*x, x - 3 = -p for p.
5
Suppose -o - 17 = 4*g, 2*g + 9 = 3*o - 4*o. Let l be (-8)/(-6)*(-18)/g. Let j be (-38)/(-9) - l/27. Solve j*s + 5*y - 4 = 0, -5*s - 4*y + 6 = 1 for s.
1
Suppose -4*z + 12 = d, 4*d - 8*d + 12 = 4*z. Solve d = 2*a, -2*w - 2*a = -3*a + 8 for w.
-4
Let p = 8 + -3. Let f be p/((-2 + 6)/4). Solve 0 = -w + f*r - 0*r - 24, 5*w = -4*r - 4 for w.
-4
Suppose 18 = 3*a - 3*z, -2*a = a + 4*z - 4. Let u be -6*(-2)/a*1. Let s = u + -1. Solve 2*t - 25 = -5*l, -3*l - s*l - 4*t = -35 for l.
3
Let d(b) = b**3 - 8*b**2 - b + 9. Let c be d(8). Let k be 1*(c + 1)/(-2). Let u be 8*k*(-2)/4. Solve 4*a = -5*g + 15 + 14, -2*a - 18 = -u*g for a.
1
Suppose -v + 2*f + 2 = 0, v - f + 5*f = 2. Solve v*d + 8 = 4*o, -2*o = -o - 2 for d.
0
Let g(i) = -i**2 - 4*i. Let j be g(-3). Suppose -19 = c - 23. Solve -31 = -3*v + c*y, -j*v + 0*y - y + 11 = 0 for v.
5
Suppose -3*s - 3 = 6. Suppose -3*q = 16 - 1. Let m = s - q. Solve m*o = -4*g - 8, o + 12 + 1 = -5*g for g.
-3
Suppose 1 = 2*u - 3. Let a(l) = l**2 + 11*l + 14. Let c be a(-10). Suppose y - 2*y - 5 = 0, 2*k - 20 = -c*y. Solve -12 = -2*g - 2*t + u, 5*g + 2*t = k for g.
2
Let a be 1 + -3 - 1/1. Let r(o) = o**2 + 3*o. Let q be r(a). Solve 5*b - 21 = -4*v - 3, q = -b - 4*v + 10 for b.
2
Let q = 50 - 36. Solve 0 = -j - y - 3*y + 11, -y = -2*j - q for j.
-5
Let g(i) = -2*i - 4. Let p be g(-5). Solve 4*x - v = -0*v + 12, 0 = -x + v + p for x.
2
Suppose -3*z - 20 = -7*z. Solve -2*m - z*h = -4, 3*m + 0*m - 6 = h for m.
2
Suppose 140 = -3*t - t. Let c be (-1 - -3)*t/(-14). Solve -3*w = -s - 6*w, 0 = s - 2*w + c for s.
-3
Let d be (4/6)/(2/6). Let k(u) = 4*u + 2. Let w be k(d). Let m be (-20)/50*-5*1. Solve m*b + 9 = -5*l, -1 = l - 5*b - w for l.
-1
Let a be 69/2*2/3. Suppose w + 3*g - a = -3*w, -11 = -3*w + 4*g. Solve -5*h - 3*k - 2*k = 5, -w*k - 3 = 3*h for h.
-1
Suppose 7 = 4*d - 9. Let g(z) = 6*z**3 + z**2. Let v be g(1). Let j be 1/1 + v + -5. Solve -j*a = -d*h + 7, 4*h - 2*a - 22 = -4*a for h.
4
Suppose -a - 12 = -2*a. Suppose 3*c = -5*m + 37, 0 = 2*c - 3*m - 5 + a. Let l = 7 - c. Solve -27 = 4*z + 5*g, -5*g = l*z + 2*z + 30 for z.
-3
Let f be 1/((8 - 4) + -3). Solve -d + 2*i = 11, -2*i = 4*d - d + f for d.
-3
Let h be 3/9 + 2/(-6). Suppose 4*t = 8*t - 8. Suppose t*b - 4 = -h*b. Solve 3*l + x = l - 10, -b*l = -x + 6 for l.
-4
Suppose -13 = 3*a + 14. Let g = a - -11. Solve g*b - 3 + 1 = -w, -2*b = -2 for w.
0
Let f be (-14)/(-4) + 1/(-2). Solve -5*b - r - 13 = -1, r + 6 = -f*b for b.
-3
Let c(s) = s**3 - 6*s**2 - 6*s - 3. Let o be c(7). Solve -4*j + 1 - 14 = t, 0 = -4*t - o*j - 28 for t.
-5
Let r be (-68)/(-11) + (-4)/22. Let z(v) = v**3 - 7*v**2 + 6*v + 3. Let w be z(r). Solve h - 5*s = -5, 3*s - 4 = -w*h - s for h.
0
Let r = -20 + 20. Let g(u) = -u + 3. Let y be g(0). Solve -2*a + 4*a - 3*q + 5 = r, 3*a + y*q = 30 for a.
5
Let m = 31 - 13. Solve 0 = 3*o + 4*u - 4, -5*o + 0*u - u = -m for o.
4
Let v = -160 - -163. Solve 4*m - 9 = -v*z + 13, 0 = -2*z + 2*m - 4 for z.
2
Let y be (3/2)/(15/(-100)). Let h be y/6*(-5 + 2). Solve 0 = w + h*t - 2*t + 19, 0 = w - t - 1 for w.
-4
Suppose 9*i - 8*i - 10 = 0. Suppose -i = -3*h - 1. Solve -5*z - b - 2 = h, 4*b - 20 = 0 for z.
-2
Let w be (4 - (-1 + 0)) + -3. Suppose v + w*v - 4*x = 0, -v + 4*x = 8. Solve -v*n - 2*k = 2, k = 4*k - 3 for n.
-1
Suppose 2*u + 3*k = 5*u + 6, -u + 2*k - 5 = 0. Suppose -6*h + 2*h - 44 = 0. Let g be h/(-3) - 4/6. Solve -4*r = m - g, 5*m + r = -3 - u for m.
-1
Let n = 22 + -22. Let y(h) = -7 - 6*h - 3*h - h**2 + h. Let v be y(-6). Solve 4*r = 16, -5*p = v*r - n*r - 35 for p.
3
Suppose 2*d = 20 + 20. Suppose 3*a - d = -a. Suppose -2*t - a = -3*t. Solve 12 = 5*n - 4*m, t*n + m = 2*m + 18 for n.
4
Let d(m) = -m**3 - 6*m**2 + 7*m + 2. Let y be d(-7). Solve -4*f = -4*i + 8, -10 = 3*f + y*i + 11 for f.
-5
Let v be 4/6*15/2. Suppose s = -i - 4*s - 25, -v*i = 4*s + 41. Let y be (0/(-3))/(i - -3). Solve -2*q - 4 = -y*o - o, -5*q = 4*o + 23 for q.
-3
Let w(u) = -3*u - 18. Let z be w(-6). Solve -4*l + 8 = 4*i - z, -5*i + 10 = 0 for l.
0
Let z = -2 - 15. Suppose 20 = -7*x + 5*x. Let w = x - z. Solve -5*r + w*r + 20 = 5*o, -r - 20 = -5*o for o.
4
Let u = 86 + -68. Solve -t = 2*b - 0*b + 8, 4*t - 2*b = u for t.
2
Let w(x) = -2*x - 7. Let o be w(-4). Solve -5*i = 3*c + 3, -c + 4*i + 0 = o for c.
-1
Let c(a) = 4*a - 5*a - 3*a**2 + 4*a + 3 + a**3 - 2. Let f be c(3). Suppose 3*b - f = 2. Solve -3*g + 7*g = 4*s - b, 3*s = -5*g - 37 for g.
-5
Suppose 2*t + 0*t = 0. Let g = -18 + 22. Solve 3*n - g*i = t, 5*n + i - 3 = 20 for n.
4
Let t be 3/(-18) - (-124)/24. Solve -3*o - 2*r + 1 = -2*o, -3*o = -t*r - 25 for o.
5
Let f(n) = 2*n**2 - 3. Let d be f(4). Suppose -4*t + 55 = -d. Solve -q = -5*z + t, z + 3*z = -3*q + 32 for q.
4
Let v(g) = -g + 5. Let c be v(4). Suppose -4*j - 4*n = -8*j + 92, 0 = -5*j - 3*n + 99. Suppose j*h = 18*h + 18. Solve 5*k = t - h, -3*t + 5*t + k - c = 0 for t.
1
Suppose 0 = -4*r - 0*r + 16. Let h(j) = 16*j**2. Let y = -4 - -3. Let w be h(y). Solve 0 = -l + 3*t + 11, -l + w = -r*t for l.
-4
Let x(b) = 14*b - 1. Let q be x(1). Solve -q = -l + 6*l - 2*y, 2*l = 5*y - 22 for l.
-1
Suppose -4 = -2*j + 4. Solve -j*t - 20 = -4*r, 4*r + t - 8 = -t for r.
3
Suppose 4*t = 3*t + 4. Suppose t*q - 69 = -1. Suppose -q - 3 = -2*a. Solve -2*f - z + a = 2, f - 2*z = 4 for f.
4
Let j = -108 + 110. Solve -j*k = -l, 4*k - 2*k - 16 = -3*l for l.
4
Let w(o) = 6*o - 1. Let r be w(1). Let g be (r - 3)*6/4. Suppose 4*z + 8 = g*i, -4*z + 7 + 1 = i. Solve i*v = 3*c - 7, 0 = -2*c + 2*v - v + 3 for c.
1
Suppose -6 = 4*y + 14. Let g(q) = q + 10. Let x be g(y). Solve 0 = 4*b + 3*z + 26, -x*b = z + 11 + 16 for b.
-5
Suppose 8*x = 5*x + 9. Solve 0 = -8*s +