y = -w + j*w + f for w.
-3
Let s = -26 - -41. Solve 0 = 4*n - 5 - s for n.
5
Let i be 1 + -3 + (12 - 5). Solve -9 - 11 = -i*p for p.
4
Suppose 2*p + 5*t + 4 + 9 = 0, -t + 25 = 5*p. Let o be (-5)/15 + 2/p. Solve o = -w - 1 + 2 for w.
1
Suppose 6*a - 16 = 3*a - 4*n, -3*n + 12 = 5*a. Let b = 5 + a. Let z = b - 3. Solve -z*k + 5 = 15 for k.
-5
Suppose 4*b = 1 + 3. Let y = b - 1. Solve 0*d + 3*d + 6 = y for d.
-2
Let i(p) = -p + 9. Let d be i(5). Suppose -f = 2*x - 4, -2*f + 5*x - 10 = -3*f. Solve d + f = q for q.
4
Let k(b) = -b**3 - 7*b**2 + 7*b - 2. Let o(r) = -5*r. Let v(g) = -g. Let a(h) = 2*o(h) - 9*v(h). Let m be a(8). Let s be k(m). Solve 4*z - s = 6 for z.
3
Let i(h) be the second derivative of -h**3/6 + 9*h**2/2 + 6*h. Suppose -4*k = -3*z + 4*z + 3, -2*k - 6 = 0. Let a be i(z). Solve a = 2*s - 5*s - 3 for s.
-1
Let t(a) = a**3 + 4*a**2 - 5*a + 3. Let m be t(-5). Solve -9 = m*g + 6 for g.
-5
Suppose 5*p - 2*p - 72 = -4*h, 120 = 5*p - 3*h. Let n be (p/15)/((-4)/(-10)). Solve -3*l + n = -l for l.
2
Suppose -2*w + w = 0. Solve -z = -w - 2 for z.
2
Let o be 0 + (-12)/3 + 7. Solve 16 = -o*z - z for z.
-4
Suppose -19*x + 2 = -18*x. Solve w - x = -4 for w.
-2
Let u be (0 - (-1)/2)*0. Suppose 0 = -2*q - 1 + 7. Suppose z + 1 = -g, -z = -4*g + z + 2. Solve -q*t + u*t = g for t.
0
Let m be (-45)/(-2)*(3 + -1). Let d = -45 - -49. Suppose -y + m = d*y. Solve y + 1 = 2*n for n.
5
Suppose -7 = -2*y + 2*o - 3, 0 = -5*y + 4*o + 12. Solve u + 0 = y for u.
4
Suppose 5*k - 2*j - 1 = 9, j = -k + 2. Solve t + 5 - k = 0 for t.
-3
Suppose -4*f + 26 = -2. Solve -5 = -3*j + f for j.
4
Let n(w) = 8*w**2 - w - 1. Suppose 5*c = -v - 7, c - 4*v - 9 = v. Let f be n(c). Suppose b + b + 2*g = 2, 8 = 2*b - 4*g. Solve 6*a = b*a - f for a.
-2
Let f be (-90)/(-27) - 2/6. Suppose -l + 2 = 2*d, -f*l = d + 2*d - 3. Solve p = -0*p + d for p.
1
Let p(d) be the second derivative of -d**4/12 + d**3/6 + 3*d**2/2 - 2*d. Let n be p(0). Suppose 0 = y - 0*y - n. Solve -2*r + y = -3 for r.
3
Let n(y) = -y + 2. Let x = -19 + 13. Let c be n(x). Let s = c + -4. Solve 0 = -s*b + 2*b - 8 for b.
-4
Let x(c) = 2*c**2 - 5*c + 5. Let y be x(1). Solve y*a = 5*a + 12 for a.
-4
Suppose 5 = q + t, 2*t = 3*t - 1. Solve q*c + 0*c = -20 for c.
-5
Let r(m) = -m**2 + 11*m - 13. Let x be r(7). Let g = x - 15. Let i(o) = 2*o**3 - 3*o**2 + 1. Let v be i(2). Solve g*q + q = -v for q.
-5
Let h be 13/((-39)/(-18)) - 5. Solve -h - 2 = -n for n.
3
Suppose -2*u - 6 = -14. Let t be -1*(3 - (u - 0)). Solve -3*m = t + 2 for m.
-1
Suppose 0 = -26*o + 29*o - 3. Suppose 5*i - 6 - 14 = 0. Solve -i = -l - o for l.
3
Let r = -2 - -5. Solve 0 = -4*g + r + 5 for g.
2
Let m = 27 - 24. Solve m*u = 4 + 2 for u.
2
Suppose 0 = -4*v + 7 + 13. Solve -v*d = -1 - 9 for d.
2
Let m be (1 - 5) + 4 + -6. Let z(l) = 0 - l + 1 - 2. Let j be z(m). Solve 3*v + 1 = -j for v.
-2
Let d = -6 + 8. Suppose d*m + 0 - 2 = 0. Solve -m - 5 = -3*v for v.
2
Let c be 2/(((-6)/3)/2). Let b be 3 - ((-3 - c) + 2). Solve -b = -0*k - 2*k for k.
1
Suppose -12*n = -7*n - 10. Solve n*c - 3*c = -1 for c.
1
Let o be (2 + -2)/(2/(-1)*-1). Solve -g + 5*g = o for g.
0
Suppose 0 = -5*o, -3*o = 3*m + 13 + 8. Let j(n) = n**2 + 6*n + 7. Let s be j(m). Solve -s - 2 = 4*g for g.
-4
Let l = 16 - 11. Solve 4*y - l*y = -5 for y.
5
Let w(t) = 3*t + 10. Let m be w(-6). Let k be ((-16)/m)/((-2)/(-2)). Solve i = -k*i for i.
0
Let x(u) = -u + 7. Let b be x(3). Let s = b + -4. Suppose 0 = 4*y + 2*w, s*y = -2*y - 5*w - 16. Solve 4*q + y + 10 = 0 for q.
-3
Suppose -c = 5*b + 3, -3*b + 12 = -b - 4*c. Solve b*u = -u for u.
0
Let h(y) = y**2 - 8*y + 4. Let g be 6/(-1 + 2) + 2. Let m be h(g). Solve 4*v = -m - 4 for v.
-2
Suppose -6*b + 3*b + 36 = 0. Let l = -8 - -17. Let o = b - l. Solve -x - 8 = o*x for x.
-2
Let b = 19 + -17. Suppose 3 = -b*h + 27. Solve -2*a - h = 2*a for a.
-3
Let d(y) = -y**3 - 7*y**2 - 9*y - 13. Let f be d(-6). Solve -f*c = -8 - 17 for c.
5
Let l be (6/(-12))/((-2)/16). Let y(b) = 3*b. Suppose 4 = -q + 3*q. Let j be y(q). Solve -k + l*k = j for k.
2
Suppose 4*l = l + 4*w - 10, 3*l + 5*w - 26 = 0. Solve 5 = l*c - c for c.
5
Suppose 5*b = 5, -53 = -2*j - 2*j - 5*b. Suppose 0 = -m - 2*m + j. Solve 5 + m = 3*z for z.
3
Let a(m) = 4*m - 12. Let k be a(5). Solve -z - z = -k for z.
4
Let q be 2/(-4) + (-28)/(-8). Solve -q*h = -0*h + 3 for h.
-1
Let h = 24 - 23. Solve 15 = -4*l - h for l.
-4
Suppose -4*o = -3*p - 1, -3*o + 5*p - 2 - 11 = 0. Suppose 0 = -2*r - 3*l + o, 0*r + 3*r + 4*l = 6. Solve 3*b - r = 10 for b.
4
Let a = -40 + 51. Solve -5*k + a = -9 for k.
4
Let a be (-8)/30*-3*-5. Let m be (-2)/a - 12/(-8). Let f be (-3 + m)/((-1)/2). Solve 0 = f*o + 1 - 3 for o.
1
Let g = -11 + 25. Suppose -4*s = 2*j - 16, -5*s + 3*j + g = -6. Solve 0*t + s*t - 16 = 0 for t.
4
Let d(v) = v**2 + 2*v + 2. Let p be d(-2). Suppose n = -p*n + 12. Suppose -3*a = 6*s - 2*s, 0 = 3*a + 2*s. Solve a = 6*q - n*q + 6 for q.
-3
Suppose 3*n + 2*n + 4 = -2*k, 3*k - 19 = 5*n. Solve 4*x - 5*x = k for x.
-3
Suppose 99 = 4*n + 3*l, n + 3*l - 8*l = 42. Let r(t) = -t**2 - 4*t + 4. Let v be r(-4). Solve 0 = v*a - n + 7 for a.
5
Let r = 16 + -24. Let w = r - -11. Solve -w*b - 2*b + 15 = 0 for b.
3
Let d = -135 - -136. Solve -5*k - d = -4*k for k.
-1
Suppose 4*p = -0*p + 8. Suppose p*w + 3*w - 4*i = -20, 10 = -3*w + 2*i. Solve w = -4*n + 13 + 3 for n.
4
Let y(r) = -r**3 + 4. Let u be y(0). Solve -2*i + u = 12 for i.
-4
Let u(v) = v + 18. Let q be u(-12). Suppose 3*l = 3*j + 9, 3*j + 4*l - 8 = q*j. Let w = j - -7. Solve 0 = 3*b + 18 - w for b.
-5
Let x be (24/30)/(6/15). Solve 0 = -2*s + x for s.
1
Let o = -5 + 8. Suppose -4*s + 9 - 1 = 0. Suppose s*l - o = l. Solve -h - l = -1 for h.
-2
Let i be (-3)/2 + 6/4. Let g = 12 + -7. Solve -g*z + 10 - 35 = i for z.
-5
Let b = 36 - 22. Let p = -12 + b. Solve 2 = p*c + 4 for c.
-1
Suppose 2*j = 4*j - 5*g + 14, 3*j - 29 = -5*g. Let l be 477/106 + -1 + 2/4. Solve -l*d - 9 - j = 0 for d.
-3
Suppose 0 = -2*z - 2*z - 40. Let l be z*((-10)/4 - -2). Let g be (-4)/18 - (-60)/27. Solve g = -l*d - 13 for d.
-3
Let w = -6 + -1. Let f = -5 - w. Suppose -r - 3*m = 2, -5*r - 2*m + 8 = -f*r. Solve 3*t = 4*t - r for t.
4
Let f = 7 - 13. Let b = f - -6. Solve 2*y = -b + 6 for y.
3
Suppose 0*o = -o + 4. Let l = -6 + 10. Let i be (-13)/(-4) + (-1)/l. Solve o*x + 5 = i*x for x.
-5
Suppose -3*k + 3 = -3. Let v(r) = r + 1. Let a be v(-1). Solve a = k*g - 4 for g.
2
Let g = -20 - -22. Solve g*w + 2 = -0*w for w.
-1
Let u(o) = 0 + 4 + o - 4 + 6. Let m be u(-6). Solve -4*a = -m*a + 12 for a.
-3
Let m = -32 - -32. Solve 7*o - 6*o - 3 = m for o.
3
Suppose 4*w - 24 = -0*w. Suppose -x - 3 = -3*n, 4*n = -2*x - w + 30. Solve 0 = -u + x*u for u.
0
Let b(y) = 4*y - 6. Let h(w) = -5*w + 7. Let u(q) = 4*b(q) + 3*h(q). Let s be u(3). Solve -2 = -m - s for m.
2
Let z be 0/(1 + 2/(-1)). Let r be 0/(z - 2/1). Suppose g + 2*g - 12 = r. Solve 3*i - 5 = g for i.
3
Suppose -5*o - 3*d + 2*d = -73, 0 = 4*o + 5*d - 50. Solve 4*c = c - o for c.
-5
Suppose -3*b - 2*b + 40 = 0. Solve 5*o = o + b for o.
2
Let g be 1*4 + 0 + -1. Let k(v) = -2*v - 4. Let q be k(-4). Suppose 0 = -3*t - q*a + 19, 2 = -t + 4*a + 3. Solve -g*w = -t*w - 8 for w.
-4
Suppose 2*s = -0*s - 0*s. Solve s = 4*l - 0*l + 16 for l.
-4
Let z = 0 + 3. Let b be (-20)/(-15)*(-3)/(-2). Let r be b/z*(1 - -2). Solve 25 = 7*s - r*s for s.
5
Suppose -o - 4*o = -2*w + 3, 4*w = o + 15. Let t be 2 + 1 + o + -2. Solve -m = t*m for m.
0
Let j(l) = l**3 + 4*l**2 + l - 3. Let r be (0 - -2)*9/(-6). Let p be j(r). Suppose -2*d - 10 = p*d, -6 = -4*a - d. Solve -3*h = -a*h + 2 for h.
-2
Suppose q + 6 = 9. Suppose -q*p + 20 = 2*p. Solve -8 = -0*g + p*g for g.
-2
Let z be (-12)/((-10)/4 + 1). Solve 12 = 5*x - z for x.
4
Let r = -140 + 142. Solve -r*y = -4*y for y.
0
Let i be 0 + 5 - (3 + -3). Let v = 8 - i. Solve -3*m - v = -0 for m.
-1
Let o(r) = -6*r + 10. Let x(w) = -7*w + 11. Let q(u) = 6*o(u) - 5*x(u). Suppose -4*l - 4 + 16 = 0. Let b be q(l). Solve 0 = -4*y + b*y - 6 for y.
-3
Let b be -3*8/12 + 4. Solve 3 = -o - b for o.
-5
Suppose 0 = 8*y - 3*y - 10. Suppose 3*d = -y*d + 15. Solve 2 = -5*j - d for j.
-1
Let c(x) = -x**2 + 3*x + 4. Suppose 0 = -0*o - 2*o + 6. Let g be c(o). Let p be 10/g - 2/(-4). Solve p*q - 4 = 5*q for q.
-2
Let w be 5/(-1)*16/(-10). Let v(l