-20*g - 7 for g.
1
Let m = 159 - 154. Solve m*l = -15 + 5 for l.
-2
Suppose 10 = 7*g - 2*g. Solve 1 = g*w + 7 for w.
-3
Let s be -3 + (5 + -1 - (-11 + 26)). Let b = 14 + s. Solve b*c + 20 = 5*c for c.
4
Suppose 21*l - 250 - 23 = 0. Solve -l = -6*t - 19 for t.
-1
Let j(i) = 8*i + 1. Let o be j(-2). Let y = 28 + o. Let c(r) = r**2 - 14*r + 15. Let g be c(y). Solve -4*q + 10 = -g*q for q.
5
Let y = 767 + -767. Solve -3*j = -y + 9 for j.
-3
Let z = -2 - -7. Let t(c) = c**3 - 4*c**2 - 8 + 8*c - 13*c + 10. Let q be t(z). Solve -3*r = q*r - 15 for r.
3
Let h = 431 + -422. Solve 0 = 3*p + h for p.
-3
Suppose 0 = 2*v + 2*v - 2*t - 12, -3*t = v + 4. Solve 3 - 7 = v*n for n.
-2
Suppose 7 = 7*x - 6*x. Let o = 3 + x. Let k(l) = l**2 - 9*l - 10. Let n be k(o). Solve n = 2*b + 2*b - 12 for b.
3
Suppose -4*n = n - 10. Suppose n*g + t = -1, -5*t - 5 = g - 0*g. Suppose 63 - 75 = -3*r. Solve z + g*z + r = 0 for z.
-4
Let i(b) = b**2 + 15*b + 14. Let r be i(-14). Let j = r + 0. Let u be j + (-16)/(-4) - 2. Solve 0 = u*a + 1 - 3 for a.
1
Let n be 15 + 1 + (9 - 10/2). Solve -24*c = -n*c + 4 for c.
-1
Suppose -4*s = -83 + 71. Solve -j = -s*j for j.
0
Let j = 703 - 694. Solve -o = 2*o + j for o.
-3
Suppose -w = 3*w + 2*j - 34, 5*j = -2*w + 37. Suppose 0*s = s - 1. Let m be -7 - -3 - (-19)/s. Solve w*k - m = k for k.
3
Suppose -4*h + 3*b + 30 = -2*b, b + 27 = 5*h. Suppose -h*a = -r + 25, 4*r = -0*r - 2*a - 10. Solve r = -3*k - 7 - 2 for k.
-3
Let g(b) = -b**3 - 7*b**2 - 9*b - 6. Let u be g(-6). Suppose 2*j + u = -0*j. Let f = 7 + j. Solve 0 = -n - f + 2 for n.
1
Suppose m = 5*z - 280, -4*m + m = 3*z - 168. Let d be z/16 + 6/4. Suppose -9 + d = -2*s. Solve -4*o = -2*o - s for o.
1
Let y(g) = g**3 + 19*g**2 + 19*g + 18. Let d be y(-18). Solve d = 7*f - 5*f + 10 for f.
-5
Suppose 9 - 6 = -3*j. Let a be 7 + (j - (-3 + 4)) + 0. Suppose -w - 9 = -3*d, 5*d + 3*w = 3 + 12. Solve d*t - a = 4*t for t.
-5
Let a = -17 - -27. Let m be 48/a*(-9 - -14). Suppose -2*y - 2*y = -m. Solve y - 3 = z for z.
3
Suppose 0 = 5*q - 8*q. Suppose q = 3*m - 6*m + 15. Solve 0 = -m*i + 1 + 19 for i.
4
Suppose -18*v - 771 = -2337. Solve 0 = -28*z - v - 25 for z.
-4
Let f = 56 - 96. Let n = -38 - -32. Let p be n/(-4)*f/(-12). Solve -p*j = 14 + 1 for j.
-3
Suppose 16 = 2*c - 0. Let w(s) = s - 7. Let a be w(c). Let j = a - 1. Solve j = v + 3*v + 4 for v.
-1
Let z(r) = -r + 1. Let k be z(3). Let m be (0 - ((-2 - 0) + 12))/k. Solve m*j + 5 = -0 for j.
-1
Let i(b) = b**3 - 11*b**2 + b + 1. Let k(m) = -3*m**3 + 32*m**2 - 3*m - 2. Let t(n) = -17*i(n) - 6*k(n). Let v be t(5). Solve v*o = -5*o - 25 for o.
-5
Let s be 4/(-10) - (435/(-25) - -17). Solve s = 7*g - 8*g - 4 for g.
-4
Suppose -2*d - 2 = -4*s + 16, -3*d - 3 = 0. Solve 0 = -2*t + 4 + s for t.
4
Let s be (-2 - (-32)/10)/(33/(-220)). Let p(m) = -m**3 - 9*m**2 - 7*m + 11. Let h be p(s). Solve -5 = 4*x - h*x for x.
-5
Let c(l) = -l + 10. Let v be c(6). Suppose -g = v*g. Suppose 0 = -2*m - g*m. Solve 4*b + b - 15 = m for b.
3
Let z = 105 + -104. Solve r = 2 + z for r.
3
Let l = -67 - -67. Solve -6 = 3*m - l for m.
-2
Suppose -3*u - u = -8. Let w(c) = -c**2 - 2*c + 8. Let l be w(-4). Suppose 4*g + 4*o - 4 = l, 3*g + 2*g = -4*o + 4. Solve g = i + u*i - 12 for i.
4
Let v be (-42)/9*(-7)/49*6. Solve 2*k = 3*k + v for k.
-4
Let z(u) be the second derivative of -3/2*u**2 + 0 - 7*u + 1/6*u**3. Let m be z(6). Solve m*p - 4 = -p for p.
1
Suppose -4*c + c + 39 = 3*m, -4 = -c + 2*m. Suppose u + u + 4*y = 10, 5*u - 5*y - c = 0. Solve -u = -2*g + 7 for g.
5
Let c(s) = -23*s - 317. Let x be c(-14). Solve x*g - 6*g = -2*g for g.
0
Let p(u) = -2*u**3 - u**2 + 1. Let g be p(-1). Suppose -b + 5 = d, -g*b = 3*d - b - 23. Suppose -3*x = -d*x + 6. Solve i - x = -4 for i.
-3
Suppose 0 = -4*j + 288 - 80. Solve 37 = 3*a + j for a.
-5
Suppose 12 - 3 = -3*c. Let p(w) = -w**2 - 4*w. Let h be p(c). Suppose 0 = -b - h*b + 20. Solve -2 = b*a - 7 for a.
1
Let s be 161/21 - 4/6. Let p(l) = 2*l - 10. Let b be p(s). Let v(h) = -h**2 + 12*h + 2. Let g be v(12). Solve -o + g = b for o.
-2
Suppose 2*l - 3*l = -42. Suppose 146 - l = -4*n. Let h = -26 - n. Solve 5*y = -h*y for y.
0
Let w(a) = a**3 - 4*a**2 - a - 17. Let p be w(5). Let i be (-18)/(-15)*(-1 - 4). Let k = 2 - i. Solve b = p*b - k for b.
4
Suppose -59 - 21 = -4*f. Let m be (-7 + (-3 - 0))/(-2). Solve f = -m*v + v for v.
-5
Let f = 32 + -15. Let z(n) = n - 13. Let k be z(f). Solve 16 = -4*o - k for o.
-5
Let h = 55 - 50. Let q = 14 - 5. Solve -29 + q = h*p for p.
-4
Let j be (-77)/(-4) + (-3)/(4*3). Let b = j - 17. Solve 3*v = -b*v - 5 for v.
-1
Let z = 31 + -29. Let n be 2/(-11) - (-2)/11. Solve 2 = z*r - n for r.
1
Let v be (2/(-2) - -5)*-1. Let x be ((-16)/16)/(-1 - 2/v). Solve -x*a = -0*a for a.
0
Let h = -95 - -115. Solve 0 = 4*x - h for x.
5
Let v = 36 - 13. Suppose 5*b - 2*o + v = 0, 13 + 5 = -3*b - 3*o. Let u = 4 - b. Solve u = -2*s + 1 for s.
-4
Let i = 155 + -135. Suppose -2*g + 5 = 1. Suppose 0 = -4*c + 12, -g*c = -5*n - 0*n + 4. Solve -3*w - n*w = -i for w.
4
Let u = -85 + 101. Suppose -19*a + u*a = -15. Solve o + 0 + a = 0 for o.
-5
Let h(q) = -9*q - 32. Let z be h(0). Let v be 6/8*z*(-8)/48. Solve 0 = -v*b - 2 + 22 for b.
5
Let c(f) = -f**3 - 19*f**2 + 22*f + 42. Let h be c(-20). Suppose 8*w - 30 = -h*w. Solve -g = w*g - 8 for g.
2
Suppose 3*i + 79*v - 16 = 83*v, -4*i + 3*v + 12 = 0. Solve i = 7*z - 0*z for z.
0
Let y(f) = -7*f + 22. Let n be y(1). Solve 29*i = 26*i - n for i.
-5
Let i(n) be the third derivative of -n**4/24 - n**3/2 + 26*n**2. Let l be i(-3). Solve l*b - b = 0 for b.
0
Let i(d) = -5*d**3 + d**2 - d - 2. Let h be i(-1). Suppose -17 = q - h. Let r be (-16)/(-4) - q/(-3). Solve -n - 3*n - 8 = r for n.
-2
Suppose -14*v = -6*v. Suppose v = -i - m + 4, -5*i + 2*m = -2*m + 16. Solve i = j + j + 4 for j.
-2
Suppose 13*b - 29 + 3 = 0. Solve -6*h + b*h = 4 for h.
-1
Let t(m) = m + 5. Let g(b) = 4*b - 22. Let l be g(8). Suppose 3*y - l = 2. Let x be t(y). Solve 0 = -x*d + 4*d for d.
0
Let v(a) = -2*a**2 + 9*a + 7. Suppose 7*o = 13 + 22. Let y be v(o). Solve 4*f = -y*f for f.
0
Let s be ((-16)/(-4))/(-4 - (-11 + 5)). Solve -4*z + s = -6*z for z.
-1
Suppose -2587*d - 682 = -2598*d. Solve -d*m + 68*m = 0 for m.
0
Let k = -13 + 17. Suppose -3*d = 3*y - 12, 2*y - k*d = d + 8. Solve -f + y = 3 for f.
1
Let c be 4 - 1/(2/(-2)). Let d(m) = -m**3 + 6*m**2 - m - 7. Let l be d(3). Let i be c/(-10) - l/(-2). Solve 0 = p + p - i for p.
4
Suppose -2*w = -4*k + 30, -w = k + 2*k - 35. Solve -4*z = -2 + k for z.
-2
Let k(b) = -5*b + 53. Let s be k(10). Solve s*z + 6 + 6 = 0 for z.
-4
Suppose -291*x + 303*x = 0. Solve x = s - 4*s + 9 for s.
3
Suppose 3*s - 37 = 2*z + 2*z, 5*z + 48 = 4*s. Solve -s*m = -8 + 1 for m.
1
Let j = 741 + -693. Solve -32 = 16*a + j for a.
-5
Let w = 23 + -21. Let x(j) = -20 + j**w + 20. Let l be x(-2). Solve 0 = 4*r - 8 - l for r.
3
Suppose 5*d = 15, 4*h - 10*d = -8*d - 6. Suppose -i + 6 = 1. Solve i*x = -20 - h for x.
-4
Let f(j) = 3*j**3 - 5*j**2 - 5*j + 5. Let b(z) = z**3 + 1. Let o(p) = -2*b(p) + f(p). Let n be o(6). Solve -n = -w + 4*w for w.
-3
Suppose -7*z - 1 = -43. Let u = -15 - -35. Suppose 0 = -l - 4*l + u. Solve l*c = 2*c + z for c.
3
Let k = -370 - -378. Solve -2*w + k = -4*w for w.
-4
Suppose 2*g + 2*j - 4*j + 40 = 0, -5*j = 5. Let a = 23 + g. Solve -l - a = -0*l for l.
-2
Let f(c) = -c**3 - 10*c**2 + 12*c + 16. Let p(l) = 2*l**3 - l**2 + l + 3. Let b be p(2). Suppose 5*v = b - 72. Let o be f(v). Solve 0 = -5*i - 15 - o for i.
-4
Let y = 57 + -40. Suppose l - 5*x + 10 = -0*x, x + y = 4*l. Solve -4*j - 11 = l for j.
-4
Let w be 5/(-6) - -52*(-65)/(-312). Solve 0*c + 10*c = -w for c.
-1
Let c(w) = 5*w - 1. Let s be c(1). Suppose -r = s*r - 75. Suppose 0 = -4*v + 4*u + u + 31, 3*v - u - r = 0. Solve 6*y = 2*y + v for y.
1
Suppose 0 = -3*y - 3*m - 135, -3*y + 4*m = 123 + 26. Let v = 48 + y. Solve -4*u - 11 = v for u.
-3
Let y = 477 + -428. Solve 15*d = -4 + y for d.
3
Let u = -111 + 114. Suppose -q = q + u*q. Suppose -5*i = -0*i. Solve q = g - i + 2 for g.
-2
Let p(g) = 2*g**3 + 15*g**2 - 42. Let u be p(-7). Solve 7*h = -u + 35 for h.
4
Suppose 3*s + 15 - 21 = 0. Suppose 10 = s*k - 4*k, 65 = 4*u - 5*k. Solve -j + u = j for j.
5
Let s(h) = -h**3 + 2*h**2 + 14*h + 7. Let w be s(4). Solve -33*c