 -h for h.
2
Let v be 154/(-35)*((-2)/4 - 2). Solve 2*d - 4*z = -8*z + 18, d = -3*z + v for d.
5
Let r(b) = b**3 - 4*b**2 + 3*b + 2. Let z be r(3). Solve 2*q - 12 = 5*y, -z*y = 2*q + 3*q + 28 for q.
-4
Let q = -4 + 11. Suppose 2*s - 5 - q = 0. Solve 20 = -4*u, -4*m + 4*u = s*u + 10 for m.
0
Suppose -5 = 5*w - 2*p + 1, -w - 5*p + 15 = 0. Solve -4 = 4*l + 2*b - w, 2*b = -2*l for l.
-2
Let r be 1/((-1 + 0)/3). Let p = r - -3. Suppose p = j + j - 4. Solve -j*x - 12 = k, -6*x = -x - 5*k for x.
-4
Let p(q) = 0*q - 4*q + 5*q**3 - 3*q**2 + 5*q + 2*q**2. Let l be p(1). Solve -5 - 2 = -2*g + l*z, g + 3*z + 13 = 0 for g.
-4
Let v(w) = w**3 + 5*w**2 - 12*w - 32. Let i be v(-6). Solve -i*a + k + 6 = 0, 2*k = 4*a + 4*k for a.
1
Suppose 24 = 4*r - 0*r. Let p be ((-40)/(-15))/(4/r). Solve -2*g + 2 = -a - 3, -p*g = 4*a - 16 for g.
3
Let b = -3 + 1. Suppose i = 1 + 1. Let z = i + b. Solve -5*g = -s - 15, 4*g - 12 = -z*g + 3*s for g.
3
Let f(j) = j**2 - 5*j + 1. Let h be f(4). Let y = 5 + h. Suppose 2*p + 38 = 4*p + 2*o, 3*o - 39 = -2*p. Solve -4*t + p = t - v, 3*t = 5*v + y for t.
4
Let f = 23 - 23. Solve 2*s - 5*t + 2*t + 3 = 0, f = 5*s - 4*t + 4 for s.
0
Let l be (-2)/(-5) + (-65)/(-25). Let d be 1 - 1/(-1)*2. Suppose d*f + 12 = 4*f. Solve -4*y = -n + 16, -n - l*y - f + 0 = 0 for n.
0
Let b(d) = d - 2. Suppose 7*k = 4*k + 6. Let g be b(k). Let f = 18 + -16. Solve g = 2*p - 0*t - 5*t - 18, 0 = 2*p - f*t - 6 for p.
-1
Suppose 2*g + 2*g - 28 = 0. Suppose 4*l - 9 - g = 0. Suppose 20 = 4*b + b, 3*r + l*b - 64 = 0. Solve 2*n = -8, -5*n - r = 5*s + 24 for s.
-4
Suppose -10 = c - 4*j - 30, 5 = -j. Suppose c = 2*o - 5*o + 6. Let y = o - 2. Solve 2*q + 6 = y, -k + q = 5 - 7 for k.
-1
Suppose -10*i - 16 = -6*i. Let c be (4/(-6))/(i/18). Solve 2*x - 2*j - 14 = 0, 4*x + c*j + 5 = -x for x.
2
Let s be (-10)/15*(-9)/6. Let r be (-14)/(-6) + s/(-3). Solve -18 = 5*z + g, 5*z = -r*g + 3*g - 22 for z.
-4
Let f = -5 + 2. Let w = f - -3. Let y = -2 + 4. Solve k + 5*o - 3 = w, 0 = y*k - 6*k - 3*o - 5 for k.
-2
Let l(f) = f**2 + 5*f - 2. Let v be l(-6). Suppose -v*k = -165 + 29. Suppose x = -3*x + 20. Solve -3*g = x*w - k, 4*w - 18 = -3*g + 11 for g.
3
Let r = 27 - 25. Solve 19 = -v - 4*j, 4*v - 4*j + r - 26 = 0 for v.
1
Suppose -5*o = -4*j, -j = -2*o - 3*j. Suppose o = -4*a + 173 + 91. Let y be 4/(-6) + a/18. Solve -y*z - 20 = -h - 3*h, -4*h + 8 = 0 for z.
-4
Let a = -72 + 77. Solve -4*i - 20 = -4*k, a*k - 4*i - 5 = 6*k for k.
3
Let x(o) = o**3 + o - 9. Let c be x(0). Let z = c - -17. Solve 29 = -b + z*p - 3*p, 0 = b - 2*p + 14 for b.
-4
Suppose -4*g + 7*g = -6. Let k be -8*(0 + 5/g). Solve -2*i + k = 2*p + 3*i, 4 = 2*p + i for p.
0
Let s be -4 + 11/(-4)*-4. Solve 0 = -2*v + 3*u - s - 2, 14 = 3*v + u for v.
3
Let g = -1 - -4. Suppose 0 = -c + 3*p + 28, 3*c + p - 47 = -c. Solve 4*s = 20, w + g*w - s = -c for w.
-2
Let k(c) = -2 + 3 + c**2 - 3 - 4*c + 1. Let y be k(5). Suppose -y*o = 3*x - 7*x - 16, 5*o + 5*x = 0. Solve a = -5, -b + o*a + 19 = -a for b.
4
Let t(x) = 2*x - 4. Let u be t(-6). Let s = 7 + u. Let r be (-4)/(-8)*(-1 - s). Solve 2*o + 2*z + r = 0, -3*o + 2*z - z = 2 for o.
-1
Let r = 86 - 82. Solve -5*u + 3 = -r*s + 6, -5*s = 5*u + 30 for s.
-3
Let v(x) = x**2 + 7*x - 15. Let i be v(-9). Suppose -i*j - 37 = -5*z, 4*z = 2*j + 17 + 11. Solve -14 = -3*a + 4*s - 1, -2*a + z = s for a.
3
Suppose -9*i + 33 = -10*i. Let d be (0 + -3)*22/i. Solve 0 = -5*m - g - 9, -2*g - 8 = d*m - 6*g for m.
-2
Let b = -74 + 106. Solve -b = -2*g + 4*s - 14, -g = -3*s - 12 for g.
3
Let g = 3 + -1. Solve -q + 3*b - 2 - 3 = 0, 10 = -g*q + 5*b for q.
-5
Let l = 14 + -9. Solve l*q = -a - 14, 3*a + 3*q = -a - 22 for a.
-4
Suppose -15 = -2*z - z. Suppose 2*p = z + 3. Solve 2*x + 2*x = 4*j + 32, -4*j - p*x = 0 for j.
-4
Let i(r) = 2*r + 3. Let v be i(-2). Let s be (0 + v + 0)*-6. Let h be (-6)/7*28/(-6). Solve -h = l - 2*o + 2, -o - s = -5*l for l.
2
Suppose 12 = 4*w + 4. Let j be (-7)/((-7)/w) + 1. Solve -y - 2*y = -j*h - 27, 5*y - 4*h = 40 for y.
4
Let p(c) = 4*c**2 + 2*c - 2. Let k be p(1). Solve 0 = -f + k, 4 = -4*y + f - 3*f for y.
-3
Let r(k) = k**3 - 9*k**2 + 10*k - 7. Let v be r(8). Suppose v + 5 = 2*p. Solve -p = 4*h - 3*x, 5 + 5 = -5*h + 5*x for h.
-1
Let i be -1 + (3 - (0 - 2)). Solve -2*u + 4*u + 8 = 2*h, i*u = -3*h - 16 for h.
0
Suppose -2*g - 4 + 10 = 0. Solve 0 = 4*b + 2*k + 10, g*k - 25 = 5*b + 8*k for b.
0
Let f = 48 + -46. Solve -3*v = 3*s + 21, 0 = -f*s - 2*s + 5*v + 17 for s.
-2
Let z(m) = m - 1. Let v be z(5). Solve -3*i + 19 = -3*x - i, v*x + 28 = 4*i for x.
-5
Let l be 5/(-3) - 4/12. Let s be 0/(l + 0/(-2)). Let v = 3 + -3. Solve x + y - 2*y + 1 = s, v = y - 2 for x.
1
Let q(o) = o + 5. Let g be q(9). Solve 5*l - 10 = z + g, 0 = -5*l - z + 16 for l.
4
Suppose 5 = -3*v - 4. Let r be (9/(-6))/v*4. Let f be 4/18 - (-187)/9. Solve -n - 4 = -3*u, 2 = -r*n - 3*u + f for n.
5
Let p = 2 - 3. Let z be (-6)/12*(p - -1). Let w = 2 + z. Solve 0 = 2*s - 2*y - w + 4, -3*s - 3*y - 21 = 0 for s.
-4
Let d = 15 + -13. Let n = 5 - d. Solve x + 4*w - 8 = 0, 0*x + n*x = -5*w + 10 for x.
0
Suppose 0 = 2*h - 4*h. Solve h = 4*q, 3*r + 2*q + 1 = -8 for r.
-3
Suppose 0 = -3*h + 4*m + 1, 0 = -4*m - 3 + 11. Solve -2 = 4*a - 2*k, 2*k = -h*a - 1 + 17 for a.
2
Suppose z + 15 = -69. Let s = -56 - z. Suppose -4*m = -0*m - s. Solve 0 = 3*t - 0*n + 2*n + 1, 0 = -t + n - m for t.
-3
Suppose -10 = -4*l + 6. Suppose -5*y + 2*d = -13, 0*y = -y - d + 4. Suppose -y*f + 15 = -0. Solve -l*r = -16, m - f*r = 6*m - 40 for m.
4
Suppose -1 = -3*v - 5*m - 4, 0 = v + m - 1. Solve -5*y - 18 = 2*c, -18 + 3 = v*y + c for y.
-4
Let s = 21 - 15. Solve 5*h = 15, -4*t - h = -s - 17 for t.
5
Suppose p - 8 = -p. Solve -m + 22 = -0*m - 5*j, -4*j - 32 = p*m for m.
-3
Let l(z) = z**3 + 8*z**2 + 5. Let d be l(-8). Solve d*x - 7 = r, -x = -3*r + 9 - 2 for x.
2
Suppose -8 = 5*d - 7*d. Solve -2*b + 0*n - 18 = -3*n, -d*b - 32 = -5*n for b.
-3
Let b = -41 - -43. Solve -5*d + b*d - 15 = -g, -5 = -3*g - d for g.
3
Let f(z) = z**3 - 4*z**2 + 5*z - 3. Let i be f(3). Let b(c) = c**3 - 2*c**2 + 4*c - 3. Let h be b(2). Solve -h*l + 5*a + 10 = 30, 18 = -i*l - 3*a for l.
-5
Suppose 5*d = 10, 4*i - d + 5*d - 4 = 0. Let k be (12/(-18))/(i/6). Solve 5 = -5*z - 5*a, k*z = 6*a - a - 40 for z.
-5
Suppose 5*t - 15 + 0 = 0. Suppose 38 - 11 = t*v. Solve -3*m = 3*w + v, -4*m - 3*w - 1 = -5*m for m.
-2
Let j = 32 + -32. Solve -z + 3*z = -5*t + 10, j = 5*z - 25 for t.
0
Let m be (-3 + 2)*(1 + -1). Suppose o = -m*o + 4. Solve h - 3 = o*u + 11, 0 = -u + 4*h - 11 for u.
-3
Let o = -4 + 14. Let d(s) = -s**3 + 9*s**2 + 9*s + 10. Let z be d(o). Solve z = 3*b + 12, 5*l = -b - 3 - 1 for l.
0
Let b be ((-20)/5)/(1/1). Let m be 1/b - (-303)/12. Solve 5*n = -5*d + m, 2*n - 21 = -5*d - 5 for n.
3
Let p = 60 + -60. Solve -n = -2*t - 0*n - 2, -2*t + 5*n - 10 = p for t.
0
Suppose 5*m = 2*j + 3*j, -m + 3 = -4*j. Let i = j - -4. Let n be (-35)/(-15) + 2/i. Solve -2*b + 5*t = 10, 0*t + n*t - 17 = -b for b.
5
Suppose 3*b + 12 = 7*b. Suppose -3*a = 37 - 52. Solve -a*c + 6 = -b*n + 23, 0 = -2*n + 4*c + 14 for n.
-1
Let b be (-76)/20 + 4 + (-4)/(-5). Solve -y - b + 0 = q, y + 3*q = -5 for y.
1
Let y(t) = -t**2 - 6*t + 5. Let g be y(-6). Suppose 2*h + 4 = 4*w - 2, 0 = -5*h + g. Solve 5*n + x + 4 = 0, -2*x = -2*n - w*n - 6 for n.
-1
Let w be (8/(-12))/((-1)/219). Suppose 4*b - 146 = -x - 46, -4*x = -5*b + w. Solve 12 = 2*c + 4*f, 4*f - b = 2*c + 3*c for c.
-2
Let l be 3*-2*((-280)/(-30))/(-14). Solve b - 2 = x + 4, 8 = -l*x for b.
4
Let f be 11/3 - 2/(-6). Suppose -f = -5*l + 4*k + 12, 3*k + 12 = 0. Suppose -c + l + 4 = 0. Solve 4*a = d - 7, a + c*a - 3*d + 7 = 0 for a.
-2
Suppose 5 = -4*r + 3*n + 17, 4*n = 0. Suppose 3 = r*a - 2*a. Solve 5*f = -3*b - 25, a*f = -5*b - 22 + 7 for b.
0
Let x = -7 + 11. Suppose 3*h - x*h = -4. Solve z = 3*l - h, 2*z + 3*l + 2 - 3 = 0 for z.
-1
Let t be 0/17 - (1 + -1). Solve -a + 3*g = a - 4, t = -2*a + 2*g + 6 for a.
5
Suppose 0*u - 2*u - 19 = 5*o, u - 10 = 4*o. Let d = o + 5. Solve -4*m + 3*l = 4, -3*m + 4*l - d = 1 for m.
-1
Let u be -3 + (1/(4/(-8)) - -9). Solve y - 1 = 0, 3*i - u*y = -1 - 3 for i.
0
Suppose 0*o = -4*o. Suppose 0 = -5*v + 4*y - 40, 3*y = 4*v - 2*y + 41. Let i be ((-2)/v)/(2/16). Solve -x = i*s - 3*x - 24, o = -4*s + 5*x + 36 for s.
4
S