-4 = h - w for h.
-2
Let u be ((-5)/(-15))/(1/6). Let p be ((-84)/6)/(0 - u). Suppose -p = -z + y + 6, z + 3*y + 7 = 0. Solve -3*j = -z*j + 10 for j.
2
Let z be (-2)/(-9) - (0 - (-34)/(-9)). Solve z*x = 7*x + 12 for x.
-4
Suppose -3*t + 10 = 2*t. Suppose l - 8 = z - t*z, z + 12 = 3*l. Solve -i + z = -0 for i.
3
Let y(d) = d**3 - 7*d**2 - 7*d - 8. Let u be y(8). Solve -n - 3 - 1 = u for n.
-4
Let c = -43 - -46. Solve -c*d = -7*d + 20 for d.
5
Let t(m) = m**3 - 7*m**2 + 6*m - 3. Let w be t(6). Let a be 2/w + 80/12. Suppose b = -4*p - 8, -4*p - a = -2*p. Solve -11 = -b*g - 31 for g.
-5
Let w be (0 - 30)*4/(-8). Solve 0 = j + 2*j + w for j.
-5
Suppose 15 = -3*o + 3*c, o + 2*c - 19 = -3*c. Let i be (o/3)/(5/(-15)). Solve -1 = 2*n + i for n.
-1
Suppose -3*c + 13 = 4. Let p = 1 + c. Solve -v = 3*v - p for v.
1
Suppose -y - y = -10. Let a = y - 1. Solve -a = t + t for t.
-2
Let u = -21 + 35. Let z = -10 + u. Solve -z*h = -h + 6 for h.
-2
Let f(k) = -2*k - 5. Let g be f(-3). Let n be 2 + -2 + 4 + g. Solve 25 = -0*a - n*a for a.
-5
Suppose 0 = -3*g + 8 + 4. Suppose -2*t + 6 = -4*z + 2*z, g*t + 6 = -2*z. Let b(p) = p**3 - 3*p**2 - 4*p + 3. Let h be b(4). Solve -h*w + 4 + 11 = t for w.
5
Let d(r) = r**2 + 8*r + 10. Let i be d(-7). Let y(p) = 2*p**3 - 4*p**2 + p - 1. Let j be y(3). Solve -k - i*k = j for k.
-5
Suppose -3*f = f. Suppose 3*k = 4*k - 4. Solve f = k*r - 0 - 4 for r.
1
Let y(n) = -n**3 + 8*n**2 - 12*n + 37. Let f be y(7). Solve -2*a - f = -3*a for a.
2
Suppose 7*w = 8 + 20. Solve o + 15 = w*o for o.
5
Let m = 172 + -169. Let w(n) = -n**3 + 4*n**2 + 4*n + 7. Let k be w(5). Let y = -2 + k. Solve y = -m*u + 8*u for u.
0
Let j be (5/(-4))/(2/(-8)). Suppose -3*v + 2*v = -b + 1, -2*v + 2 = 0. Solve b*s - 1 = j for s.
3
Suppose 0 = 3*s - 9, 0 = r - 2*s + 1 + 6. Let z = r + 7. Suppose a - z*a = -30. Solve g = 3*g - a for g.
3
Suppose -u = 3*u. Solve 0 = -u*h + h for h.
0
Suppose 4*d - 12 = -2*d. Solve d*u + 1 = -7 for u.
-4
Let u be 10/3 + (-2)/(-3). Suppose 7*w - 30 = u*w. Solve -7*d = -2*d + w for d.
-2
Let b(d) = -d**3 - 6*d**2 - 3. Let l be b(-6). Let w(j) = j**3 - 7*j**2 - 6*j - 7. Let t be w(8). Let r = l + t. Solve 5*k - r = 4 for k.
2
Let a(k) = k**2 - 5*k - 2. Let g be a(6). Suppose 0 = -2*n + 4*n - g. Solve -2*i - n = -i for i.
-2
Let c(k) = 2*k + 1. Let j be c(3). Suppose -4*s + 3*q + 15 = -0*s, -s = -4*q - j. Solve s*y = 8*y - 15 for y.
3
Suppose -39 = -2*l - 3*h, -5*l - 4*h + 126 = -6*h. Solve 2*j = 8*j - l for j.
4
Let k = -6 + 13. Let c(g) = g**3 - 8*g**2 + 7*g + 6. Let x be c(k). Solve -x = 4*h - 2 for h.
-1
Let p(q) = -q + 1. Let c(m) = -m - 10. Let t be c(-7). Let l be p(t). Solve -f = l*f for f.
0
Let p be 30/8 + (-4)/(-16). Let o be 6/4*p/3. Suppose 6*l = o*n + 2*l - 8, 3*l = 5*n - 13. Solve n*u = 4*u for u.
0
Suppose n - 15 = 4*n. Let r = 1 - n. Solve -r + 2 = -2*q for q.
2
Suppose 0 = -3*u + 5*g - 4, u + 6*g = g + 12. Suppose 6 - 2 = 2*p. Suppose -p*t - 24 = -4*t. Solve 5*x = -u + t for x.
2
Let k = -27 - -35. Solve -5*v + v + k = 0 for v.
2
Let j(z) = 10*z**2 + 31*z + 22. Let t(o) = 7*o**2 + 21*o + 15. Let a(m) = -5*j(m) + 7*t(m). Let d be a(-7). Suppose 6*v = d*v. Solve v = -g + 3 - 0 for g.
3
Let f be (-6)/9 + 56/3. Let o be 0 + f + (17 - 15). Solve 3*g = -g + o for g.
5
Let p(u) = -8 + 3*u - 2*u**2 + 3*u + 5*u + u**2. Let f be p(10). Solve 5*x - 3 = f for x.
1
Let h = -3 - -23. Solve 0*j = 5*j - h for j.
4
Let a(r) = r + 10. Let n be a(-6). Suppose 6 = b + n*i, 2*b - b - 5*i + 3 = 0. Let g = 3 - b. Solve z + 2 = g for z.
-1
Suppose 0 = -2*r - n + 196, r = -4*n + 62 + 29. Suppose -2*f + r - 13 = 0. Let k = 63 - f. Solve -7*h + 3*h = k for h.
-5
Let v be 2/4*(2 - -8). Let a be (2/3)/(4/(-24)). Let t(h) = 2*h**2 + 3*h + 6. Let x be t(a). Solve x = v*m + 1 for m.
5
Let g = 122 - 121. Solve g = -2*l - 1 for l.
-1
Suppose -d - 3*n + 6 = -2*n, 19 = 3*d + 4*n. Let i = -11 - -16. Suppose 0 = c - i*c - 16, 4*l = d*c + 40. Solve -2*m = -l*m for m.
0
Let m = -37 - -42. Solve -7 + 22 = -m*x for x.
-3
Let q(z) = z**3 + 4*z**2 - z. Let p be q(-4). Solve 0*c - p*c - 20 = 0 for c.
-5
Let g = -21 + 30. Suppose -4*y = -g*y + 5. Let p be 0*((-1)/y)/1. Solve p = 4*v + v for v.
0
Let r(p) = -3*p**3 + p**2 - 3*p + 7. Let o(c) = 4*c**3 - c**2 + 3*c - 8. Let s(m) = 5*o(m) + 6*r(m). Let q be s(2). Solve 0*n - 4*n = q for n.
-4
Suppose 3*u = 9 + 9. Let t be u/(-21) + 4/14. Suppose 0 = -t*g + 5*g - 10. Solve 3*i + g = 5 for i.
1
Let k = 0 - 5. Let c = 10 + k. Let q = -3 - -7. Solve c = -q*j - 15 for j.
-5
Let o = 13 - 8. Suppose q + 30 = o*j, 6 = -4*q - 2*j - 4. Let n(p) = -p - 1. Let m be n(q). Solve -m*t = -2*t + 4 for t.
-2
Suppose -5*c = -4*j - 65, 2*j = 3*j + 5*c - 15. Let r(l) = l**3 + 11*l**2 + 9*l - 9. Let b be r(j). Solve 2*w - w + b = 0 for w.
-1
Let p be (-28)/(-3)*(-21)/(-28). Solve 0 = -8*z + p*z + 4 for z.
4
Suppose 30*v - 25*v = 0. Solve v = -r + 6*r + 20 for r.
-4
Suppose 1 = -z - m, 3*m + 22 = 2*z + 4. Suppose q = -z*q. Solve -n = -q - 2 for n.
2
Let h = -10 - -16. Let n(w) = w**2 - 5*w - 5. Let y be n(h). Solve -3 = -4*q + y for q.
1
Let x = -8 - -8. Suppose -5*f + 9 = -11. Suppose f*i = -x*i. Solve i*c = 2*c for c.
0
Let b = 8 + -11. Let u be 2*-1*(-3)/2. Let r = u + b. Solve r = -3*z + z - 10 for z.
-5
Let j(h) = h**3 + 2*h**2 - 3*h. Let q be j(2). Let g be (-2)/q - 4/5. Let v be 2 + 0 + 2 + g. Solve v*u + 2 = u for u.
-1
Let m be 18/(-8)*128/(-24). Solve 0*p - m = -4*p for p.
3
Let q be 10/30 - 5/(-3). Let c be 6 + 1 + (-4)/2. Solve h - q = -c for h.
-3
Suppose 0*x - 2*x + 22 = 3*k, 3*x = -k - 2. Let v = -84 - -112. Let d = v - k. Solve -5*g = 2 + d for g.
-4
Let h(k) = 3*k**2 + k. Let z be h(-2). Let w(f) = -2*f - 3. Let l be w(-4). Solve 0*s - z = l*s for s.
-2
Let j = 7 + -6. Let c = j + 5. Suppose c = a + a. Solve 0 = -2*y - a*y for y.
0
Let f be 5/(-2)*84/(-70). Solve -3 = -2*m + f for m.
3
Suppose 2*w - 4*w + 6 = 0. Let v = 17 + -10. Solve b + v = w for b.
-4
Let i = -3 - -5. Let l(v) = 2*v**2 - 5*v + 3*v - 2*v + i*v. Let c be l(2). Solve -c*b + 1 = 9 for b.
-2
Let m be (2*-1 - -3) + 3. Suppose -10 = -4*a + 2*q, q + 11 + m = 4*a. Solve 0*p = -a*p for p.
0
Let b = -2 - 6. Let x = -6 - b. Suppose d + x*d = 0. Solve 0*i - 2*i + 2 = d for i.
1
Suppose 3*a - 4 = 2*a. Suppose -a*w = -3*w. Solve -3*m + 17 - 2 = w for m.
5
Let p = 2 + 2. Let q(u) = -14*u - 163. Let b be q(-12). Solve -p*w + 21 = b for w.
4
Let g = -6 + 2. Let d be (-2)/g + (-3)/6. Solve w = -d*w - 5 for w.
-5
Suppose 0 = -5*f - 5*k + 115, 0 = k - 2 + 3. Solve -4*y - f = -4 for y.
-5
Let c = -2 - 0. Let x be 85 + -3 - c/(-1). Suppose -5*a - 54 - 26 = -4*y, 5*a = -4*y + x. Solve -2*f + y = -7*f for f.
-4
Let b = -1 + 6. Let q = -28 + 38. Let k be (-1)/(-1*1/3). Solve -k*u = q + b for u.
-5
Let a = -8 - -12. Solve -a*d - d + 25 = 0 for d.
5
Let m be (-1)/(1 + (-12)/10). Suppose 22 = 3*q + 4*u + 1, 0 = 2*q - 4*u + 6. Solve q = m*r - 2 for r.
1
Let n(b) = -b**2 - 10*b + 8. Let v be n(-9). Suppose r = v - 2. Solve 2*g + g = r for g.
5
Suppose -4*z + m + m + 22 = 0, -5*z - 4*m = 5. Let w be z*-8*2/(-6). Solve w*r = 4*r for r.
0
Suppose z - 5*j + 5 = -2*j, -z = -5*j + 15. Let f be 26/6 - (-8)/12. Let a be (-2)/12 + 14/84. Solve f*u + z + 10 = a for u.
-4
Let s(v) be the first derivative of -1/2*v**2 - 1/3*v**3 - 5/2*v**4 + 1 + 0*v. Let w be s(-1). Solve w = 5*k - 3*k for k.
5
Let s be 0 + (-5 - (-6 - 4)). Solve -w + s = 4 for w.
1
Let v be 2/5 - (-23)/5. Let j be (-36)/(-2) + (-3 - -1). Solve -m - j = -v*m for m.
4
Suppose -4*j = -3*j. Suppose 0 = -j*q + q - 3. Solve q*o + 5 = -7 for o.
-4
Let u(w) = -13*w - 4. Let f(l) = 6*l + 2. Let h(r) = -14*f(r) - 6*u(r). Let d be 4/(-6) - (-7)/(-3). Let b be h(d). Solve -2 = 4*m + b for m.
-4
Let h(z) = z**2 + 6*z - 5. Let y be h(-7). Let w = -9 - -14. Solve w*l = y*l for l.
0
Let k be 6/4 + (-1)/(-2). Suppose v - 4 + 3 = -k*g, 0 = 5*g - 4*v + 4. Let p(b) = b**3 + 8*b**2 - b - 6. Let z be p(-8). Solve g = -5*x + z + 18 for x.
4
Suppose -t - 6 = 5*n + 11, -5*t = 4*n + 1. Let b(o) = 2*o + 3. Let j(h) = 3*h + 4. Let d(c) = 7*b(c) - 5*j(c). Let p be d(1). Solve -t*l - 13 + 4 = p for l.
-3
Suppose -3*v = 3*o - 12, -4*o - 2 = v - 12. Suppose z = v*z. Solve -5*s - 15 + 40 = z for s.
5
Let r be 21/4 - (-1)/(-4). Let y be -3 - 2/(-4)*2. Let 