 for h.
-2
Let h(s) = s**3 - 7*s**2 + s - 5. Let z be h(7). Suppose 0 = -z*p + p + 4. Let v = 1 + p. Solve -v = 4*x - 21 for x.
4
Suppose -40 = -4*q + 2*g - 7*g, 0 = 2*q - 3*g + 2. Solve -4*z + q*z = 0 for z.
0
Let k(c) = 6*c - 28. Let j be k(5). Solve j*w + 0 - 8 = 0 for w.
4
Let t(j) = -2*j - 4. Let p be t(-3). Suppose p*w - 5*w + 9 = 0. Solve -3*g = 15 - w for g.
-4
Let m be (-8)/((-4)/2) - 2. Suppose -1 = m*b - 7. Let q(u) = -u + 8. Let t be q(6). Solve t*n - b - 1 = 0 for n.
2
Suppose 0 = -5*o + 3*y - 7, 3*o + 18 = o + 5*y. Let r be (o/3)/((-7)/(-21)). Solve 3*v = 2*v + r for v.
1
Suppose 4*a + 8 = -4*g, 4*g + 10 = -0*g - 5*a. Suppose 4*t - 5*t = 0. Suppose t = -o - g*o + 8. Solve -5*u = -u + o for u.
-2
Let r be (9/(-3) - 1) + 8. Solve -r*n + 7 + 5 = 0 for n.
3
Let b be 1/(2/4) - -2. Suppose -b*d - 11 = 1. Let l be (1*-3)/3 - d. Solve -w = -l*w + 4 for w.
4
Let x be ((-2)/(-3))/(1206/297 + -4). Solve 5*q + x = 1 for q.
-2
Let y = -36 + 59. Solve -5*z = 3 - y for z.
4
Suppose 2*k - 15 + 1 = 0. Suppose -2 + k = a. Solve -3*d - 2*d - a = 0 for d.
-1
Suppose -16*c = -15*c - 14. Suppose -k - l = 2*l - c, 5*k = 4*l - 6. Solve -k*n = -7*n - 15 for n.
-3
Suppose 0 = -0*o - 2*o + 8. Solve -k = 1 + o for k.
-5
Let u = 5 + 0. Let j = 8 - u. Solve j*g + 6 = g for g.
-3
Let i = 30 - 23. Let p be i/(-28) + 1/4. Solve -3*a + a + 8 = p for a.
4
Let d = -5 + 13. Let w = 14 - d. Let h be 3*(-4)/12*-1. Solve r = -w + h for r.
-5
Let g = 6 + 4. Suppose 0*o - 15 = -3*o. Suppose 5*v - o - g = 0. Solve -4*z = 19 - v for z.
-4
Let p = 80 - 78. Solve -s = -p*s - 1 for s.
-1
Suppose 3 + 0 = h. Suppose 0*g = -h*g. Let a be g + (-3)/1*-1. Solve t = a*t for t.
0
Let d = 13 - 1. Let t be 1 - (d/(-3) - -3). Solve -4*j - 6 = -t for j.
-1
Let m(y) = -14*y - 3. Let u(a) = -a. Let l(g) = m(g) - 6*u(g). Let v be l(-2). Suppose -4*z - 4*d - 22 = -66, z - v = -3*d. Solve -4*p - z = p for p.
-2
Let t be -34*(15/(-6) - -2). Suppose -2*f + t + 25 = 0. Suppose -5*c - a = 2*a - f, 4*c - 10 = a. Solve 6 = -c*g + 18 for g.
4
Suppose -4*p + 11 = 3. Suppose p*v + 2*v = 12. Solve 0 = -5*u + v*u for u.
0
Let j be (4/6)/((-3)/27). Let q be (j/9)/((-2)/12). Let a be 2/q*(-18)/(-3). Solve -a*v + 2 = 17 for v.
-5
Let p = -22 + 24. Solve -p*z - z = 0 for z.
0
Let t = -99 - -107. Solve 0 = 3*h - 7*h + t for h.
2
Let i(j) = 7*j + 3 - 3*j**2 + 2*j**2 + 9 - 4. Let v be i(8). Solve 0 = -v*t - 3*t for t.
0
Let n(t) = t**3 + 12*t**2 + 10*t - 7. Let w = 1 - 12. Let g be n(w). Solve 2*l - g = 3*l for l.
-4
Let v = -4 - -4. Suppose k = 4, -3*k + 21 = 4*s - 7. Suppose 3*z + s = 4*z. Solve 5*q - 3*q + z = v for q.
-2
Let o = -16 - -18. Solve 0 = o*u - u + 4 for u.
-4
Let s(p) = 8 - p**3 + p - 2 + p**2 - 7*p**2. Let t be s(-6). Solve t*l = 3*l + 6 for l.
-2
Let f(c) = -c - 8. Let g(t) = 4*t + 31. Let j(u) = -9*f(u) - 2*g(u). Let v be j(-10). Suppose -s + 9 - 1 = v. Solve s = -4*p - 0 for p.
-2
Let w(i) = -i**2 - 7*i - 4. Let a be (-6)/(-21) - (-88)/(-14). Let n be w(a). Solve 3*h - 3 = n*h for h.
3
Let l = 7 - 1. Let u be (-4)/7*(-21)/l. Solve -u*r = 3 + 5 for r.
-4
Suppose -5*s + 0*s + 15 = 0. Suppose 0 = -u - s*u. Let p = u - -2. Solve 2*x + 12 = -p*x for x.
-3
Let u(s) = s + 1. Let b be u(-1). Suppose 14 = -b*m + 2*m. Solve 1 = 2*p + m for p.
-3
Let o = 113 - 73. Suppose -c - o = -3*c. Solve 0*b + 5*b = c for b.
4
Let i(v) = -v**2 - 7*v + 21. Let o be i(-9). Solve o = -3*j - 0 for j.
-1
Let j(l) = 2*l**2 - 11*l - 1. Let y be j(6). Solve v = 3 - y for v.
-2
Let a(p) = p + 15. Let z be a(-7). Let d be (4/3)/((-2)/9). Let t = d + z. Solve -i = -t*i for i.
0
Suppose -5*n + 15 = 5*i, 4*i + i = -n + 23. Suppose 5 = -5*y + 5*x, 0*y - 2*y = i*x - 19. Solve 0 = -y*g - 0 + 2 for g.
1
Suppose -b - 23 = -23. Solve -d = -b + 2 for d.
-2
Let r(d) = -d**3 - 11*d**2 + 11*d - 9. Let i be r(-12). Solve 2*f - i*f = 4 for f.
-4
Suppose 2 = 6*a - 5*a. Solve 3 = o - a*o for o.
-3
Suppose -3*i - 44 = -8*i + 4*p, 0 = -2*p + 8. Solve -2 + i = -5*f for f.
-2
Suppose 0 = 5*r - 19 - 1. Suppose 2*d - 5*n = -8*n + 21, -n = d - 9. Let o be 2/(-3*4/(-30)). Solve 0 = -o*y + r + d for y.
2
Let i be (4 - 3)*-3 - -3. Solve i = 2*b - b for b.
0
Let b = 12 - -4. Let l be b/10 - 24/(-60). Let n(j) = -j. Let q be n(-3). Solve -l = -5*r + q for r.
1
Suppose 2*f + 50 = 54. Solve f*x = -3*x + 5 for x.
1
Let a = 29 - 29. Solve a = d - 4*d for d.
0
Let s be (-70)/(-22) + 14/(-77). Suppose -v = 0, t + 4*t - 10 = -s*v. Solve t = m + m for m.
1
Let a(s) = -s**2 - 4*s + 15. Let v(d) = -d - 1. Let y(n) = a(n) + 4*v(n). Suppose 0 = 2*k + 6 + 12. Let r be y(k). Solve -q = -r - 1 for q.
3
Let t = 16 - 25. Let n = t + 21. Solve -4*k = n + 4 for k.
-4
Let m(b) = -b**2 + b + 1. Let f(g) = -g - 3. Let d(y) = f(y) + 2*m(y). Let c be d(1). Let i = c - -6. Solve z = 3*z + i for z.
-2
Suppose 7 = -2*r + 7. Solve r*m + m = -2 for m.
-2
Suppose 6*o - 5*l - 15 = 3*o, 0 = o - 3*l - 9. Suppose o = -t + 2*t. Suppose -g - 3*g + 64 = t. Solve y - g = -3*y for y.
4
Let k be 45/6 + (-2)/(-4). Let g = -15 + 9. Let r = g + k. Solve -r*u = -14 + 6 for u.
4
Let j = -2 - -8. Suppose 0*w + 3*w - j = 0. Solve 7 - 1 = -w*b for b.
-3
Suppose 4*w + 3 = -1. Let j = w + 4. Solve -j*m = -m for m.
0
Let a = -4 - -7. Suppose -5*p - q - 4*q = 10, -24 = -3*p + a*q. Suppose p*t = -0*t + 6. Solve 0 = t*y + 3 + 7 for y.
-5
Suppose -2*k = -0*k + 3*i - 11, -5*i + 25 = 4*k. Solve 2 = -4*h - k for h.
-3
Let d = 140 - 131. Solve -l = 2*l + d for l.
-3
Let z be 1 - (1 + -3) - 0. Let i = -103 + 103. Let p be (3/2)/1*2. Solve -p*l = -i*l + z for l.
-1
Let k(j) = -j**3 + 7*j**2 - 10*j. Let s be k(5). Solve -2*f + 1 + 9 = s for f.
5
Suppose -4*k = -3 - 1. Suppose -f + k = -11. Suppose f = 6*b - 4*b. Solve -2*h + b*h = 8 for h.
2
Let n(q) = 4*q - 6. Let t be n(4). Let s be t/3*(-6)/(-5). Solve -k = s*k + 25 for k.
-5
Let l(b) = b**3 + 7*b**2 + 6*b + 5. Suppose 7*r = -0*r - 42. Let t be l(r). Solve t*p - 8 + 3 = 0 for p.
1
Suppose -5*s + 60 = 5*t, 0 = -3*s + s + 8. Suppose 2*n - n = t. Solve v = -v - n for v.
-4
Suppose -j = 3*c - 14 + 1, -j + 5*c - 11 = 0. Solve 4 = 2*u - j for u.
4
Let i(o) = -o**2 - 5*o - 3. Let h be i(-3). Let l be -2 - 4 - 1*h. Let x = -6 - l. Solve 2*q = -x*q - 10 for q.
-2
Let z(r) = 3*r**2 - 16*r + 7. Let h be z(5). Solve h*u - 2 = 8 for u.
5
Suppose -11 = -3*u + w, u - 4*w - 5 = 6. Solve u*p - 5 - 7 = 0 for p.
4
Suppose -2*p - 3*p + 20 = 0. Let w = 9 - p. Solve w*f + 7 = -8 for f.
-3
Let g be 2/3 - (-182)/42. Suppose 16 = g*q + k, k + 1 = -q + 5*k. Solve q*o + 6 + 0 = 0 for o.
-2
Let j(u) = u**2 - u + 17. Let x be j(0). Let l = -17 + x. Solve -5*o = -l*o for o.
0
Suppose 3*n - 4 = -1. Let t be n + (13 - 2) + -2. Solve -t = 5*o - 0*o for o.
-2
Suppose -p + 35 = -13. Let g be p*(9/(-3))/(-6). Suppose 4*h - 20 = i, 8*h - g = 4*h + 2*i. Solve -h = -w - 3 for w.
1
Suppose 2*x + 9 = 3. Let q be ((-3)/3)/(x/30). Solve -5*n = -3*n - q for n.
5
Let a(p) = 15*p**3 - 9*p**3 - 3*p + p**2 - 2 - 5*p**3. Let y be a(-2). Solve 12 = 3*r - y*r for r.
4
Suppose 0 = 2*a + 4*w - 16, 3*a + 3*w + 2 = 14. Solve -3*h + 9 = -a*h for h.
3
Let v = 614 - -117. Let u = v + -395. Let l be u/54 + (-2)/9. Solve -3*a + a = l for a.
-3
Let d = -74 - -111. Let s be d/7 - 4/14. Solve 3*k + 8 = s*k for k.
4
Let r(x) = -x + 1. Let z be r(1). Suppose 3*v + 0 - 6 = z. Solve -y - 5 + v = 0 for y.
-3
Let h(i) = -i**2 - 10*i + 4. Let f be h(-10). Solve u = f*u for u.
0
Suppose 3*u = 4*o - 35, 4*o = 3*u + 5*o + 10. Let i(h) = 7*h + 7. Let w(t) = -4*t - 4. Let q(f) = u*w(f) - 3*i(f). Let m be q(-4). Solve 20 = -m*p - p for p.
-5
Let t = 77 + -73. Solve 7*s - t*s = -9 for s.
-3
Let y(l) = -8*l + 1. Let u be 6/39 + (-30)/26. Let m be y(u). Solve 3*v - m = 6*v for v.
-3
Let u(r) = 44*r - 87. Let v be u(2). Let b(c) = -c**3 - 4*c**2 - 5*c - 4. Let s be b(-3). Solve -v = -s*z + 9 for z.
5
Suppose 2*h - 13 = -4*j + 1, 3*j + h - 13 = 0. Let o(z) = -z + 13. Let u be o(j). Let q = u + -7. Solve 4*a - 3*a + 4 = q for a.
-4
Let i = 4 - -1. Let j be -2*(-1)/3*3. Solve j*y = i*y for y.
0
Suppose -s - 4*s = 3*h + 18, 5*h + 5*s + 20 = 0. Let k = h - -3. Suppose -o + k*o = 0. Solve o = -4*d + 10 - 2 for d.
2
Let z be (-3)/(((-45)/(-12))/(-5)). Suppose z*h = 4*l - 4, 0 = -l + 3*l + h - 11. Solve 9*m = l*m + 5 for m.
1
Let o(q) = 2*q