e -2 = -c + h*c for c.
-2
Let b(q) = 2*q**2 + 3*q. Let u be b(-3). Let c = u + -8. Solve 2*p - 1 - c = 0 for p.
1
Suppose 8 = 4*d, 3*d = 4*f - 0*d - 18. Let k = f - 6. Solve k*y = -3*y - 12 for y.
-4
Let a = -7 - -11. Suppose -20 = -a*n - 4*w, -6*w = -w + 5. Suppose -f + 5*o + 22 = 0, 5*f = -4*o + n*o + 18. Solve 0 = -f*b + b for b.
0
Let p be 4/(-10) - 6/10. Let f = 1 + p. Solve f = -0*z - 2*z - 6 for z.
-3
Let a(g) = -g**2 - 2*g - 1. Suppose 4*d = -5*z + 11, -5*z = -0*z + 2*d - 3. Let u be a(z). Suppose u = 2*l + 2*l. Solve l = -h - 2*h for h.
0
Suppose 3*t - 2*u - 3 = 0, 4*t - 4 = 4*u - 3*u. Solve m = 5 - t for m.
4
Let k(o) = 2*o - 4. Let p be k(3). Solve 0 = p*g - 10 for g.
5
Suppose 3*r + 2*o - 9 = 0, 0*o = r + 5*o - 3. Solve -2*l - r = l for l.
-1
Let o(i) = -i - 15. Let m be o(-7). Let s = 12 + m. Solve -q = s - 6 for q.
2
Let j be 5*(4 + 48/(-15)). Solve 0 = j*u - 5*u + 1 for u.
1
Suppose -3*x + 0*l = -2*l + 2, -5 = 2*x - 5*l. Solve x*z = 5*z + 25 for z.
-5
Let k be (-2 - 6/(-8))*2*-2. Solve -k*b = -b - 8 for b.
2
Let a be 0*((-2)/4 - -1). Suppose 3*y = 0, a = 4*r - 2*r - 2*y - 20. Solve 2*u - r = 4*u for u.
-5
Suppose 2*h - 7 = p - 3, 3*p = -4*h + 8. Solve 0 = -p*m + 4*m - 12 for m.
3
Let z(n) = n**3 - 10*n**2 + 10*n - 5. Let i be z(9). Solve -i = -m - 5 for m.
-1
Let r(p) = p**3 + 11*p**2 - 12*p + 5. Let s be ((-24)/(-2))/(0 + -1). Let o be r(s). Solve 0*n - 5*n = o for n.
-1
Let t(d) = -3*d - 3. Let l be t(-3). Solve g - l = -2*g for g.
2
Let j = -16 + 16. Solve 0 = -j*w - 2*w + 6 for w.
3
Let v = 47 - 43. Solve -y = -v*y for y.
0
Suppose 0 = -4*h + 4*k + 28, -4*k = -5*h - 1 + 33. Let j be 3 + (-5 - -2) + 2. Let y = j + 3. Solve 3*p = h + y for p.
3
Suppose -2*a = 4*x - 106, x - 5*a + 0 + 1 = 0. Suppose -n = 5*y - 24, -4*y + n = 3*n - x. Solve 0 = -y*g - 0*g for g.
0
Let r = 25 - 19. Solve -b + r = -4*b for b.
-2
Suppose 8*i = 9*i - 4. Solve 0 = -i*a + 10 - 2 for a.
2
Let o(l) = -l**2 - 10*l. Suppose -4*v - 38 = 2*b, 2 = v - 2*b + 14. Let w be o(v). Solve w = -c + 5 - 1 for c.
4
Suppose 5*f = 98 - 78. Solve 0*s + f*s = 20 for s.
5
Suppose 5*k + 0*k = -20, 4*b + 5*k = -8. Suppose o + 6 = b*o. Suppose 4*q = -t - q - 6, -q - 46 = -3*t. Solve -2 = -o*l - t for l.
-4
Let t(b) = b**3 + 2*b**2 + 1. Let v be t(-2). Suppose q + v + 0 = -2*w, -5*q + 3*w + 21 = 0. Let o be (2*9/q)/2. Solve -y = 8 - o for y.
-5
Let d(o) = -o**2 + 9*o + 6. Let g be d(0). Solve -g = 5*f - 31 for f.
5
Let w be 2/5 + 104/40. Let j(y) = -y. Let s(a) = -a**2 - 2*a - 2. Let v(g) = 2*j(g) - s(g). Let i be v(w). Solve 4*o - 5 = i for o.
4
Let h be 76/(-18) + 2/9. Let l = 6 + h. Solve -l*q + 16 = 2*q for q.
4
Let n(k) = k + 15. Let i be n(-15). Solve i = -3*s - 0 - 6 for s.
-2
Suppose 22 = k + 5*m, 2*k + 6 = -4*m + 32. Let x = -4 + k. Suppose -u + 4*u + 4*t - 26 = 0, -4*u + 3*t = -18. Solve 0 = -x*w + 3 - u for w.
-1
Let g be 4 - (1/1 - -3). Suppose 0 = -3*s + 6. Solve g = s*p + 2*p for p.
0
Suppose -7 = -3*d + 4*r + 5, 2*d + 6 = -2*r. Solve -4*y + 0*y - 20 = d for y.
-5
Let p = 29 + -26. Solve -p*z = -z for z.
0
Let g(k) = k**2 + 4*k - 9. Let d be g(-6). Solve -d*v = v - 8 for v.
2
Let c(m) = -m**3 + 2*m**2 + 2*m + 4. Let r be c(3). Let z be (-2*r)/(8/(-20)). Solve -15 = -4*a + z for a.
5
Let l be ((-10)/(-6))/((-4)/(-12)). Suppose t + l = 3*w - 15, -t = 5. Solve -2*q = -7*q - w for q.
-1
Let f(h) = -h. Let w be f(-5). Suppose 3*k = -0*s + w*s + 5, 5*k - 2*s = 2. Solve -t - t + 4 = k for t.
2
Let c(u) = 10*u - 1. Let m be c(-1). Let z be m/(-4) + 1/4. Solve 0 = -3*f - 12 - z for f.
-5
Let b = -2 + -2. Let x(n) = -2*n - 6. Let q be x(b). Solve -2*c - 4 = q*c for c.
-1
Suppose -u - 10 = -0*u + 4*c, 4*c + 12 = 0. Let p(v) = v**2 + 3*v - 3. Let t be p(u). Solve t*g = 4*g for g.
0
Let u(h) = h**2 - 7*h + 13. Let d be u(5). Suppose -3*p - 5*n = -31, -29 = -p - n + 4*n. Solve 0 = d*y + p - 5 for y.
-4
Let v = 14 + -11. Solve f - v*f + 2 = 0 for f.
1
Let g(l) = -12*l - 72. Let c be g(-6). Solve -2*o + 5 + 3 = c for o.
4
Suppose 0 = -2*k + 8, 0 = -s + 3*s + 5*k - 28. Solve g + 25 = -s*g for g.
-5
Let x(j) = -j**2 + 7*j + 8. Let w be x(8). Solve w = -i - 2 + 7 for i.
5
Let d be (-9)/(-6)*4/(-3). Let v = 3 + d. Solve -v = -2*u + 3 for u.
2
Suppose -11*r = -2*r - 18. Solve 9 = -5*v + r*v for v.
-3
Suppose 2*t + a = -6, -2*t + a = -a. Let o be ((-6)/(-1))/(3/t). Let r be ((-10)/o)/(3/30). Solve 2*g = -3*g + r for g.
5
Let v be (-2658)/(-54) - 4/18. Let d be (v/(-14))/(2/(-4)). Let t(p) = -p - 2. Let r be t(-4). Solve l - d = -r for l.
5
Let f(m) = -m**3 + 12*m**2 + 15*m - 18. Let n be f(13). Solve -d - d + n = 0 for d.
4
Let a be 21/(-14) - (-5)/(-2). Let m be a + 1 - -2 - -3. Solve 3*b - m - 4 = 0 for b.
2
Let v be 21/(-9)*6/(-2). Suppose -20 = 3*a - 5*s, -20 = 2*a - a + 5*s. Let o be a/4*6/(-5). Solve v*x - 20 = o*x for x.
5
Let u = -24 - -10. Let r be (21/u)/(2/(-4)). Solve -t = -1 - r for t.
4
Let x = -13 - -15. Let w(k) = 2*k - 3. Let d be w(x). Let g be (3/2)/(1/2). Solve 2*j - g = d for j.
2
Suppose 75 = 4*z + 5*r, 0 = -3*z - r + 34 + 25. Suppose -5*q - 40 = -2*p - 3*p, 0 = -5*p - 3*q. Suppose 0 = y + p*y - z. Solve 3*k = -2*k - y for k.
-1
Let i = 18 + -12. Solve -v = -i*v for v.
0
Suppose -2*u = 2*w, 2*u + 4*w + 3 = 5*w. Let g be u/(-3)*3*2. Solve 10 = -g*o - 0 for o.
-5
Suppose 3*u - 4*h - 12 = 12, 4*h = -u + 24. Let o = u - 3. Solve 3*w + 6 + o = 0 for w.
-5
Let v = -27 + 32. Solve -l = -v*l for l.
0
Let t be ((-30)/6)/(2/(-2)). Suppose m - t*m + 40 = 0. Suppose 3*a - a - 35 = -5*b, -5*a + 3*b = -m. Solve -a*f - 5 = -0*f for f.
-1
Let d(h) = -h**2 - 6*h - 5. Let t be d(-5). Let f be ((-12)/9 - t)*-3. Solve 0 = -3*l - l + f for l.
1
Suppose a + 3*a = 16. Suppose 3*v - a = v. Solve v*x = -8 - 2 for x.
-5
Let y = -16 - -18. Solve -h + y = h for h.
1
Suppose -5*d + 2*q + 8 = 0, -1 = 2*d + q + 3. Solve -4*o + 24 - 8 = d for o.
4
Suppose 0 = -16*q + 7*q + 9. Solve -o = q - 0 for o.
-1
Suppose 3*w + 2*w = 10. Solve 20 = -3*i - w*i for i.
-4
Let u(a) = 3*a + 15. Let f be u(-4). Let o be (3/2)/((-2)/(-4)). Let v = 7 - o. Solve -7*c + f*c = v for c.
-1
Let y = -30 - 0. Let l be 2/(-3) - 80/y. Solve -l*v - 1 = -5 for v.
2
Let x(r) = -6*r**3 + 2*r + 1. Let y be x(-1). Suppose -5*j = 2*w - 11, -5*j + 10*j = -y*w + 20. Suppose w*i - 4 = 2. Solve 0 = i*g + 5 - 1 for g.
-2
Let g = -5 - -12. Suppose 3*b = -0*b + 3. Let s = 1 - -1. Solve g + b = s*q for q.
4
Let p(f) be the first derivative of -9*f**4/4 - f + 1. Let d be p(-1). Suppose 3*q = d*q - 30. Solve w + q = -w for w.
-3
Let f = -73 - -79. Let v(h) = -h**2 - 4*h + 1. Let t be v(-3). Suppose f*w = t*w + 4. Solve w*j + 25 = 7*j for j.
5
Let t(s) = s**3 - 4*s**2 + 4*s + 1. Let m be t(3). Suppose -j = y, 2*j + 0*y = -3*y - m. Solve 0*a - j = -a for a.
4
Let o = -2 + 2. Suppose o = 6*f - 2*f - 4. Suppose f = 3*g - 14. Solve 3*i - g*i + 2 = 0 for i.
1
Suppose 5 = -5*b + 5*m, -4 + 2 = 4*b - 2*m. Let t(j) = 6*j + 14. Let h(z) = 5*z + 13. Let i(r) = 5*h(r) - 4*t(r). Let g be i(b). Solve -g - 3 = 4*x for x.
-3
Let s(l) = -l**2 - 7*l + 6. Let o be s(-7). Let d = o + -3. Suppose 0 = -z + 5*b, d*z = b - 4*b. Solve 3*v - v + 6 = z for v.
-3
Let i(c) = -6 + 4*c - 7 + 6. Let w be i(8). Solve 0 = 2*b + 3*b + w for b.
-5
Let u(l) = -l**3 + 15*l**2 + 9. Let q be u(15). Solve 4*g = g - q for g.
-3
Suppose 8*n = 4*n + 20. Suppose 2*f = -z - 3*f - 3, -5 = n*f. Suppose -a - 5*r = 5, -3*a - z*r + 5 = 3*r. Solve v + 12 = a*v for v.
3
Let j = -7 + 35. Let o = j - 16. Solve -4*w + w = -o for w.
4
Let u be 21/(-7) - (1 + 1). Let n be 2/u - 64/(-10). Solve -n*f = -f for f.
0
Let w = 8 + 0. Let y(p) = -3*p + 2. Let n be y(-1). Solve -o - w = -n*o for o.
2
Let x be 52/7 - (-16)/28. Solve -2*d - 2*d = x for d.
-2
Let p be 2/1 - (2 + -2). Suppose x + 4*j - 11 = 0, -2*x + p*j - 3*j + 8 = 0. Solve 4*v + x = -5 for v.
-2
Suppose 4*p - 3*p = 3. Let d be (-6)/p - (-40)/4. Suppose 2*h = -0*h - 3*s + 12, -h - 20 = -5*s. Solve 3*c - d*c + 5 = h for c.
1
Suppose -5*s + 12 = -2*s. Suppose 0 = f - 0 - s. Suppose y = 5*n - 22, -2*n = -8 - 2. Solve 5*b - f*b - y = 0 for b.
3
Let x be ((-28)/3)/(2/(-3)). Let g = -12 + x. Suppose 3*a = -2*r + 35, 2*a = 2*r - 3*r + 18. Solve -r = g*c + 2*c for c.
-4
Let i = -27 + 29. Let c be (-42)/(-4)*(-4)/(-6). Suppose -4*h + c = -5. Solv