e -3*g + h = g for g.
4
Let j(t) = -t**3 - 6*t**2 - 2*t + 6. Let n be j(-6). Let o = n + -17. Solve -1 - o = -y for y.
2
Let h be (1 + -2)/((-8)/24). Solve -14 + 2 = -h*g for g.
4
Let u(d) be the first derivative of -3*d - 1 + 1/3*d**3 + 0*d**2. Let v be u(-3). Solve v*t + 6 = 3*t for t.
-2
Suppose 2*r = -2*i + 2, -4*i = -4*r + 2*r - 16. Suppose 4*y - 3*p = -5*p + 12, i*p - 6 = 0. Let q = y + -2. Solve 4*g - 2*g = q for g.
0
Let c = -28 - -31. Solve m = c*m + 6 for m.
-3
Let u(d) = 4*d - 1. Let w be u(-5). Let a = w - -15. Let l = a - -9. Solve f = -l*f for f.
0
Suppose 0 = 3*l + 6*h - 2*h + 5, 5*l = -2*h + 15. Let i(a) = -a**3 + 5*a**2 - a + 5. Let v be i(l). Solve v = 2*r - 2 for r.
1
Let u = 4 - 0. Let q(n) = -3*n - 11. Let k be q(-5). Solve 0 = -k*a - 0*a + u for a.
1
Suppose 5*y + 3*p + 9 = -6, 4*y + 4*p = -4. Let t be (-2)/y - 3/9. Suppose s = 2*g, t = 2*g + 2*s - 6. Solve g = u - 3 for u.
4
Let o = -144 - -146. Solve 0*q + o = -q for q.
-2
Let a = 110 + -108. Solve -3 = n + a for n.
-5
Let p be (1/(-4))/((-1)/(-4)). Let j be (-1)/p + 0 + 1. Solve -4 - j = 2*n for n.
-3
Let f = 1 + 1. Let z(h) = h**3 - h**2 - h + 2. Let r be z(0). Let u be 3/((-4 - -3) + r). Solve 5 = u*g + f*g for g.
1
Suppose 0 = 2*u + 4*g + 21 - 1, -20 = -u + 4*g. Let k be u + 0 + 2 + 1. Solve -3*o - k = -18 for o.
5
Let z(l) = l - 3. Let w be z(6). Let q(h) = w*h - 2 - 1 + 2. Let t be q(1). Solve t*p - 3 = p for p.
3
Let w be (-1220)/55 - 4/(-22). Let k be w/(-8) + 1/4. Solve -i = -2 - k for i.
5
Let h = -9 + 10. Let i be 1/((-2)/(-2)) - 1. Solve i = -0*m - m - h for m.
-1
Let p = -17 - -18. Solve 2*c + p - 5 = 0 for c.
2
Suppose v = 6*v. Let k = 13 + 11. Let g = k - 12. Solve 4*h + v*h = -g for h.
-3
Let o = 9 - 7. Solve 0*d = o*d + 10 for d.
-5
Suppose -4*o = 2*k - 14, 4*o = 5*o + 5*k - 17. Solve -o = 4*u + 6 for u.
-2
Let y = 9 + -7. Suppose y*u = 4*u - 4. Solve -u*w - 2*w + 8 = 0 for w.
2
Let s(f) = 2*f - 9. Let a be s(6). Suppose 3*u + 1 = -a*b - 2, -b = -u - 3. Let l be (u/1)/((-2)/10). Solve -2*c = -0*c - l for c.
5
Let q be 4*((-10)/(-8) + -2). Let b(w) = -w**2 - 7*w - 6. Let x be b(-4). Let p = x + q. Solve p = k - 0*k for k.
3
Suppose -3*w - c = -12, -w - 2 = 5*c - 6. Solve q + w = -3*q for q.
-1
Let m = -10 - -14. Suppose -2*w = -3*g - 4, -2 = -2*w + w - m*g. Suppose 0 = -x + 5*k + 23, k + 19 = -2*x + 4*x. Solve 0*c + x = -w*c for c.
-4
Let g be (10/(-6))/((-2)/6). Suppose 5*v - 19 = 4*p, -5*v - 3*p = -7 - 5. Solve 0 = -v*u + g*u + 6 for u.
-3
Let y(i) = 2*i**2 - 10*i - 18. Let s be y(9). Suppose -2*k + s = 18. Solve -4*r + k - 2 = 0 for r.
4
Suppose 0 = 5*b - b - 4. Solve 3*z + 4 = b for z.
-1
Let p = 14 - 13. Solve -3*t + 4 - p = 0 for t.
1
Let w(c) = 20*c**3 + c - 1. Let u be w(1). Suppose 7*t - 3*t = u. Solve 0 = 6*s - 11*s - t for s.
-1
Let k(v) be the second derivative of 5*v**3/3 + v**2/2 + v. Let p be k(1). Suppose 6*s - s - 12 = 3*f, -3*s - 2*f + p = 0. Solve -1 = -2*i - s for i.
-1
Let g be (6 - 3) + -1*1. Suppose -t + 9 = g*t. Solve -t*z = -0*z for z.
0
Let u be 1*0*(-3)/(-12). Solve u*s = -4*s for s.
0
Let u = -1 + 1. Let b = 12 + u. Suppose -2*w + 8 = -q - 0, 3*q + 3*w = b. Solve -r - 4 = -q for r.
-4
Suppose 0 = 2*c - c + 4. Let z = c - -8. Solve -z*y - 8 = -0*y for y.
-2
Suppose -2*g + 5*f + 15 + 10 = 0, 3*g - 4*f - 20 = 0. Let j(z) = z**2 + 5*z + 6. Let n be j(-4). Solve g = i - 2*i - n for i.
-2
Suppose -4*x + 7 - 27 = 0, -2*f - 3*x = 15. Solve 3*a + 2 + 4 = f for a.
-2
Let n(d) = d**2 - 6*d + 2. Let c be ((-1)/(-3))/((-1)/(-27)). Let z be n(c). Let w be z/9 + (-20)/90. Solve w*h = 7*h for h.
0
Let f(u) = -u**3 - 3*u**2 - u. Let x be ((-4)/(-6))/(2/3). Let h be x/(((-6)/(-9))/(-2)). Let i be f(h). Solve 0*g + 9 = i*g for g.
3
Let a = 1 - 4. Let y = 7 + a. Solve -y = -g + 2*g for g.
-4
Suppose 3*i - 3 = 6*i. Let n be i*(-1)/2*2. Solve -3*j - n = -13 for j.
4
Let q be (-4)/(-6) + 28/12. Suppose 2*w - q = -w. Solve 3 = 2*z + w for z.
1
Let b be (-15)/(-4) - 1/(-4). Suppose -5*p = -5*n + 60, 2*n - p = -3*p + b. Solve 12 = -3*k + n*k for k.
3
Suppose -g = g. Let y(m) = m**2 + 2. Let i be y(0). Let a = i + 1. Solve -a*v = -g*v + 15 for v.
-5
Let h(t) = 2*t**2 + 4*t. Let g be h(-2). Solve -a = -g*a for a.
0
Let m(z) = z**3 - 4*z**2 + 3. Let n be m(4). Solve -2*k = -5*k + n for k.
1
Let k be (-2)/8*2*26. Let l = k - -28. Solve -5*n + l = -0*n for n.
3
Let t be (-63)/(-28) + 2/(-8). Suppose 0 = -t*d + 18 + 4. Suppose -133 + 9 = -4*z. Solve 4*x + z = d for x.
-5
Let k(q) = q**3 - 9*q**2 + 8*q. Let l be k(8). Solve -r - 4*r + 5 = l for r.
1
Let b(k) = k**3 - 2*k**2 - 3*k. Let r be b(3). Suppose r = 5*m - 0*l - 4*l - 47, m - 2*l = 7. Solve 5*t + 9 = -m for t.
-4
Suppose -376 = l - 48*l. Let f = 32 + -17. Suppose 6 = -3*w + f. Solve -l*x = -w*x - 10 for x.
2
Let a = 34 + -16. Solve 0 = -4*j + 2 - a for j.
-4
Suppose -2*b + 1 = -7. Let s = 9 - 2. Suppose 0 = 3*t - s*t. Solve -n + b - 2 = t for n.
2
Suppose 4*j - z = 3, -j - 4*z = 3*j - 28. Suppose 17 - j = 3*m. Solve m*s = s for s.
0
Suppose -8*p = 3*p. Let n be (-24)/(-10) + 2/(-5). Solve p*t + 10 = n*t for t.
5
Suppose 13*d = 19*d - 120. Suppose 0 = -5*r, -2*l - 2*r + 51 = -33. Let m be l/9 - (-4)/(-6). Solve -d = m*t - 0*t for t.
-5
Let u(w) = -w**3 + 5*w**2 - 7*w + 4. Let q be u(2). Solve -x + q = -0 for x.
2
Suppose 5*n - 4 = 4*y - 0, 0 = -3*n + 3*y. Solve -q + 12 = -n*q for q.
-4
Let l be (-3)/(-4 + 15/6). Solve l*r + 0*r = 8 for r.
4
Suppose 2 = a - 2*t, 0 = 4*a - 0*a - 5*t + 1. Let j be (-5)/10 + (-2)/a. Solve -z + 3 - 1 = j for z.
2
Let c(h) = h**2 + 16*h + 16. Let q be c(-14). Let d = q + 15. Solve d*z - 8 = 1 for z.
3
Let x = -41 + 60. Solve 15*h - x*h = -8 for h.
2
Let o(q) = 3*q**3 - q**2. Suppose -5*z + 2 = -5*a - 3, 15 = 5*z. Let s be o(a). Suppose -l - 4*l = -s. Solve -12 = -l*k + 4 for k.
4
Suppose 2*a - 2*h = 28, 5*a + 7*h = 2*h + 120. Suppose -5*c = 3*j + a, -4*c - 7 - 7 = 2*j. Let d(l) = -l**2 - 4*l. Let k be d(c). Solve -n - 6 = -k*n for n.
2
Let a(p) = -p**3 + 7*p**3 + 2*p**2 - 2*p**3 + p. Let r(l) = -5*l**3 - 2*l**2 - l. Let y(s) = 6*a(s) + 5*r(s). Let h be y(2). Solve -h*z + 5*z + 3 = 0 for z.
-1
Suppose -3*y + 14 = -22. Suppose -5*w = 3*o - y, -4*w = -5*o + 15 + 5. Solve w = -t - 0*t for t.
0
Suppose m = 2*o - 5, -3*o - 2*m = -m + 5. Let u(i) = -i + 11. Let c be u(-8). Let k = c - o. Solve k + 1 = 5*y for y.
4
Let g = -2 + 2. Suppose -2*q - 5*u + g = -20, -12 = 2*q - 3*u. Suppose 4*f - 12 = -q. Solve 2*w + f*w = -25 for w.
-5
Suppose -3*g - 119 + 131 = 0. Solve -2*r = -r - g for r.
4
Suppose 0 = -4*q + 4*m - 5*m - 2, 2 = -q - m. Solve -2*b = -q*b for b.
0
Let j(w) = -3*w + 3. Let h be j(3). Let l(b) be the third derivative of -b**5/60 - 7*b**4/24 - b**3/6 - b**2. Let u be l(h). Solve -r + 8 = -u*r for r.
-2
Suppose -4*t + 5 = 3*k, 4*k - k - 3*t - 12 = 0. Suppose k*l + 8 = 7*l. Suppose 2*r + 2*n = -l, -7*r + n + 19 = -2*r. Solve -r*v - 4 + 19 = 0 for v.
5
Let b be (-16)/(-24) - ((-4)/(-6) + 0). Solve b = -v - 0*v - 2 for v.
-2
Let z(q) = q**3 + 5*q**2 + 2*q - 1. Let c be z(-4). Let m(j) = j**3 - 7*j**2 - j + 9. Let d be m(c). Solve -d*y + 2 = -8 for y.
5
Let h(s) = -s. Let l(n) = -12*n - 1. Let m(p) = 4*h(p) + l(p). Let i be m(-1). Let t be (1*-3)/(i/(-10)). Solve -t*v = -6*v + 4 for v.
1
Suppose n = -5*w - 4*n + 40, 5*w - 13 = 4*n. Solve 2*v = v - w for v.
-5
Suppose -2*v - 2*v - 12 = 0, -3*b = 5*v + 6. Let j be ((-32)/(-4) - b)*2. Solve -4*t + 6*t - j = 0 for t.
5
Suppose -k + 4*v + 9 = -2*k, k = -v. Solve 25 = -8*d + k*d for d.
-5
Suppose -4*r = r - 75. Let g be 20/r*21/2. Let s be (-56)/(-9) - g/63. Solve -s*q - 12 = -3*q for q.
-4
Let t(s) = s**3 - 3*s**2 + s - 5. Suppose -20 = -4*v - v. Let k be t(v). Solve 5*q + k = 5 for q.
-2
Let q(c) = -2*c**3 + 5*c**2 - 5*c + 1. Let h(v) = -v**3 + 5*v**2 - 5*v. Let y(l) = -3*h(l) + 2*q(l). Let g be y(-6). Solve -m = m + g for m.
-4
Let y(m) = m**3 - 11*m**2 + 13*m - 14. Let o be y(10). Solve 5*t - t = -o for t.
-4
Let s be 10*(0 - 1)*1. Let f be (-2 + 3/6)*4. Let i = f - s. Solve 9*n - i*n - 15 = 0 for n.
3
Let s = 22 - 16. Solve m - 10 = s*m for m.
-2
Let p(i) = -i**2 - 7*i - 5. Let d be p(-5). Suppose 3*j = -4*o + 2*o, -1 = -d*j - 3*o. Let w be (j/(-4))/(2/(-12)). Solve 0 = 5*g - w*g - 4 for g.
2
Let z = 2 + 9. Solve -z*d - 10 =