et h = 24 + -14. Let x = h - 8. Solve -y + 3 = -x*y for y.
-3
Suppose -3*v - 2*c + 40 = 0, -3*v - 3*c - 2*c + 46 = 0. Suppose q - v = -q. Solve 2*f = q*f + 8 for f.
-2
Let y be (0/((-12)/3))/(-2). Suppose 10*m - 5*m - 35 = 0. Solve m*t - 6*t - 3 = y for t.
3
Suppose 5*v - 12 = -2*z, -z + 15 = -v + 2. Suppose z = 5*m - 64. Suppose 2*x + m = 7*x. Solve 2*t - x = -t for t.
1
Let u = 4 - 1. Let q = u - -9. Solve 0 = 3*w + w - q for w.
3
Let r = -14 + 22. Suppose 3*v + v = r. Solve 0*z + 2*z - v = 0 for z.
1
Suppose 2*d + 3*d = 0. Suppose l = -d + 5. Let q(x) = x**2 - 4*x + 2. Let v be q(4). Solve -12 = -l*r + v*r for r.
4
Let x(h) = h**2 - 1. Let w(q) = q**2 - q - 4. Let c(u) = -w(u) + 2*x(u). Let s be c(0). Solve -9 = -t - s*t for t.
3
Let h = -10 - -23. Suppose -f - u - 4*u = h, -2*u - 22 = -2*f. Suppose -l = -3*p - f, 0*l + 5*p + 1 = -l. Solve -2*q = 2*q + l for q.
-1
Suppose 5*n - 28 = -2*n. Solve 2*z + 10 = n*z for z.
5
Suppose 7 = -4*f - 33. Let n = 12 + f. Solve -n - 10 = -4*o for o.
3
Suppose -4*m - 110 - 4 = -3*g, 0 = -3*m. Suppose 0*i - 4*v = -5*i + g, 2 = i + 2*v. Suppose 4*o = b + 6, -2*o - 3*b = -4*b - 2. Solve -i*n = -o*n - 12 for n.
3
Let v be 78/30 + (-2)/(-5). Solve 7*s - 12 = v*s for s.
3
Let i = -6 + -6. Let j be 0/(3/i*-4). Solve j - 2 = -2*u for u.
1
Let u = -5 + 2. Let y = -2 - u. Let a be 9 + (3 - y)*-1. Solve 25 = 2*r - a*r for r.
-5
Let d(z) = -z + 6. Let l be d(6). Let p be (1 - l/(-1)) + 3. Solve 3*s - 11 = p for s.
5
Let w be 12/18*(1 - -35). Let y = 39 - w. Solve 4*h = h + y for h.
5
Let k be (0/(6 - 4))/(-2). Solve -p + 0 - 3 = k for p.
-3
Let p(l) = -l - 11. Let o be p(-11). Suppose r - 29 = 4*w, -4*r + r - 5*w + 19 = o. Solve 4*c - 29 = -r for c.
4
Let h(p) = p - 6. Let m be h(7). Let f(w) = m + w + 10 - 2. Let t be f(0). Solve -3*b + 6*b - t = 0 for b.
3
Suppose 0*g - 3 = -2*k + 3*g, 4*k = 2*g + 10. Solve 7 - k = -2*b for b.
-2
Suppose -f + 4 = 1. Let r be (-8)/(-6)*(-3)/2. Let x = 3 + r. Solve 0 = f*w + 2 + x for w.
-1
Let d(q) = q**3 - 3*q**2 + 2. Let l be d(1). Solve -r - r = l for r.
0
Let u(j) be the third derivative of -j**6/120 + j**5/10 + j**3 + 5*j**2. Let f be u(6). Solve -3*a = 3 + f for a.
-3
Let b(d) = -7*d**3 - 2*d**2 - 2*d - 1. Let c be b(-1). Let z be (-4)/6*(2 - 8). Suppose p = -w - 3, 6*w = -p + 2*w - 18. Solve c = p*u - z for u.
5
Let k(u) = 9*u - 23. Let h be k(4). Solve -8*x + 5 = -h*x for x.
-1
Let d(q) be the third derivative of q**4/12 + q**3/6 - q**2. Let x be d(1). Solve x*k = 6*k - 3 for k.
1
Let o be 3/(9/12) + 1. Let f be 30/25*5/2. Solve -o*b = -6*b - f for b.
-3
Let a be 8 - 3 - (1 + -3). Suppose 2*n = a*n. Let s be -1 + 2 + n/2. Solve t + s = -1 for t.
-2
Let x = -136 - -136. Let j be 0 + (-6)/(-3 - -1). Suppose 2*w - a = -3*a + 6, -j*a = 2*w - 5. Solve -4*t = w - x for t.
-1
Suppose 0 = 4*n + 3 - 15. Solve -n*y - 16 = y for y.
-4
Suppose 2*p = -b - 0*p + 1, -b + 5*p + 8 = 0. Suppose 7 = b*o - 41. Solve -a = 3*a - o for a.
4
Let i = 88 + -88. Solve i = 2*t - 0 - 2 for t.
1
Suppose -8*j + 57 - 33 = 0. Let k = -4 - -12. Solve -p - k = j*p for p.
-2
Let q(k) = k - 10. Let s be q(5). Let l be 7/(-2)*(3 + s). Solve -3*j + l*j - 16 = 0 for j.
4
Let r = 26 + -12. Solve -5*z - 34 + r = 0 for z.
-4
Let g be (-1)/((-5)/(0 + 40)). Solve g = -4*m + 2*m for m.
-4
Let t(o) = -o**3 + 4*o**2 - 2*o. Let m be t(3). Let r be 1/1*(-1 + m). Solve -5*h = -r*h for h.
0
Let c = -9 + 0. Let d = c + 14. Solve -d = 3*j - 2*j for j.
-5
Let k = 22 + -17. Let j(g) = -g**3 - 3*g**2 - g - 4. Let w be j(-4). Solve k*i - 4 = w for i.
4
Suppose 0 = 4*v - 9*v + 15. Let h be 4/(-3*(-1)/v). Solve -h*f - 9 = -f for f.
-3
Suppose -7*i + 3*i + 60 = 0. Suppose 0 = -g - 2*g + 21. Let a = i - g. Solve b + a = 3*b for b.
4
Let a(j) = 2 - 8*j + 2*j**3 - 4*j**2 + 4*j**2 - 9*j**2 - 3*j**3. Let x be a(-8). Suppose -x*z + 5*z - 15 = 0. Solve -2*q - 3*q + z = 0 for q.
1
Let o = -53 - -53. Solve o = -2*l - 0*l + 6 for l.
3
Let f be 3/2*((-2)/6 + 1). Solve -f = 3*x + 14 for x.
-5
Let p(h) = 7*h**3 - 2*h**2 + h. Let w be p(1). Let j(d) = -d - 1 + 3 + 6. Let f be j(w). Solve -3*m = -f*m - 1 for m.
1
Let h(f) = f**3 - 2*f**2 - 4*f + 1. Let p be h(3). Let t be (p - (1 + -2))/(-1). Let n be (1 - t)*5/5. Solve n = -2*s + s for s.
0
Let x(u) = u**3 - 5*u**2 + 6*u - 6. Suppose -4*b - 3 + 7 = -3*p, -3*p = b - 16. Let h be x(p). Solve -h*r = 7 + 1 for r.
-4
Suppose -11 = 3*y - 26. Solve 21 = -y*g - 4 for g.
-5
Let r(i) = i**2 - 9*i + 3. Let a be r(9). Suppose -5*h + 12 = -y, -h = 3*y + a + 1. Solve -4*m + h*m = 10 for m.
-5
Suppose -39 = -6*a - 27. Solve 0 = -w - a*w for w.
0
Let c(o) = 2*o**2 - o - 1. Let i be c(1). Solve -n - 1 + i = 0 for n.
-1
Suppose 3*g - 25 = -3*u - g, -u - 2*g = -11. Solve 0 = -2*p - u*p for p.
0
Suppose 3*c = 4*c - 3. Suppose c*f - 23 - 52 = 0. Suppose 0 = 2*a - 7 - f. Solve -2*h - a = -6*h for h.
4
Let q(k) = 4 - 3*k + 2*k - 3. Let v be q(-3). Solve -v*w = -w for w.
0
Let d = -43 + 26. Let i = 17 + d. Solve 3*l + 3 + i = 0 for l.
-1
Let x be ((-6)/(-5))/((-12)/(-30)). Solve -3*k = -x + 6 for k.
-1
Suppose -4*z + 1 = -3*z. Solve z - 13 = 4*u for u.
-3
Let a be (-8 - -5)*(-8)/12. Solve 12 = a*f + 2*f for f.
3
Let c(v) = -3*v - 13 - v**2 + 4*v + 10*v. Let a be 0 + (-5)/((-5)/9). Let x be c(a). Solve -6*i + x = -i for i.
1
Suppose -5*o - 5*h = -10, h - 1 = -5*o + 9. Suppose 0 = -3*f - o*f. Solve -4*j - j = f for j.
0
Let i(k) = 2*k**2 + 5*k + 4. Let n be i(-2). Let f(p) = -2*p - 2. Let g be f(-2). Let x(d) = d**3 - d**2 + 4*d - 3. Let a be x(g). Solve h + n*h + a = 0 for h.
-3
Suppose 2*q + q = 4*j + 5, 2*q = 4*j + 6. Let h be (-5 - -5)/(q/1). Suppose i + 1 = 3*p - 4*p, h = -3*i - 5*p - 9. Solve 0 = -r - i - 2 for r.
-4
Let t = -1 - -1. Solve t = 2*i - 3*i for i.
0
Let n be 1*((-2 - -4) + -2). Let b(k) = -k + 9. Let s(z) = z**3 + 6*z**2 - 8*z. Let m be s(-7). Let f be b(m). Solve f*w + 4 = -n*w for w.
-2
Suppose -7*d = -6*d - 4. Suppose 45 = 2*h - 5*q, 0*q + 5*q - 75 = -d*h. Solve h = 6*u - 2*u for u.
5
Suppose 0 = 4*d + 3*z + 7, -3*d + 3 + 8 = -z. Let u be d/(-8) + (-4)/(-16). Solve u = 5*j - j for j.
0
Let c(z) = z**2 - z - 4. Suppose -5*b + 17 = -3. Let y be c(b). Let a be y*1/2 + -1. Solve -f - a = -0 for f.
-3
Suppose 0*c + 3*c - 4*u = 30, -5*u = 15. Solve -1 = -c*g + 5*g for g.
1
Let m(x) = -x + 3. Let d be m(-2). Solve 4*q - d*q = 2 for q.
-2
Let g(x) = 13*x + 1. Let j be g(1). Suppose -4*h - v = -8 - j, -3*h - 2*v + 14 = 0. Suppose 3*z - 4*l = 9 + 12, 4*l = -2*z - h. Solve 2*y = z*y - 3 for y.
3
Suppose -4*s = -5*s + 2*p + 6, 25 = 3*s + p. Suppose 0 = -13*v + s*v + 125. Solve 0 = -5*x - v for x.
-5
Let l = -4 + 6. Solve 0 = -a - l for a.
-2
Let i be (-16)/28 - 274/(-14) - -1. Solve -3*m - 2*m = i for m.
-4
Suppose -2*g + 9 = g. Solve 3*a + 0 + g = 0 for a.
-1
Let z(a) = a**2 - 6. Let f be z(0). Suppose 0 = 3*o - 4*c - 22, 0 = -4*o + 3*c - 3 + 30. Let l = o + f. Solve l*q - 20 = -5*q for q.
4
Suppose -4*k = -5*l + 2, 12 = 6*k - 5*k + 5*l. Solve 0 = k*n - 0*n - 2 for n.
1
Let h be 40/(-20) - (-3 + -1). Solve -4*m - 6 = -h for m.
-1
Suppose -h - 5*m - 20 = -6*h, -5*h = -4*m - 20. Solve 0 = -0*c + h*c - 20 for c.
5
Let a(i) = 2*i - 6. Let l be a(5). Suppose -3*d - l = -5*o, -d = -3*o - 0*d + 4. Suppose -m + 6*m = -f - 2, -5*m + f = -o. Solve v - 3 - 1 = m for v.
4
Let c be 1/((-2)/(-50)*5). Let i be 4/(-14) - 116/(-14). Let s be (-15)/(-6)*i/c. Solve 2 + s = 3*a for a.
2
Let h(l) = l**2 + 4*l - 10. Let s be h(-6). Solve s*t + 3*t = 20 for t.
4
Suppose 9*f - 4*f = 0. Suppose -2*n - n = f. Let w(z) = -z**3 + z**2 + z + 7. Let q be w(0). Solve n = q*h - 3*h - 12 for h.
3
Suppose 0 = -0*y - 2*y + 48. Suppose 5*v = -2*k - y, -5*v + 2*k - 5*k - 26 = 0. Let c = v + 4. Solve -6*p + p + 15 = c for p.
3
Suppose 3 = 4*o - 21. Suppose 0 = v - 3*u + 12 - 3, 0 = 5*v + 2*u - o. Solve v*x = -x + 4 for x.
4
Let c(w) = 2*w - 1 + 8*w**2 - 2*w - 3*w + 4*w. Let a be c(1). Solve 0 = 4*n - a - 4 for n.
3
Let r be 4/22 + (-290)/22. Let q = r - -15. Solve -u - 2 - q = 0 for u.
-4
Suppose 5*y + o = 118, -4*o - 2 = 6. Solve -y + 4 = 5*n for n.
-4
Suppose -4*p - 7 = -t, 2*t - 6 = 2*p + 2. Suppose -t*y - 9 = -45. Solve -3*v + 0*v + y = 0 for v.
4
Let t(r) = -r**3 - 2*r**2 + 2*r + 1. Let v be t(-3). Solve -v*n = -9*n + 15 for n.
3
Suppose -3*d