. Solve 10 = -2*g + k for g.
-3
Let d = 23 + -2. Let c = -16 + d. Solve 0*n + c = -n for n.
-5
Suppose -7*c + 22 + 6 = 0. Solve -5*g - 6 = c for g.
-2
Let t = -23 + 27. Suppose t*y - 28 = -3*o + 5*o, -4*y + o = -26. Solve 3*k + 0*k = -y for k.
-2
Suppose -5*b + 4*b + 16 = 4*f, -f = -2*b - 4. Solve -x = -b*x - 3 for x.
3
Let s be (-12)/(-1)*2/6. Suppose s*w = 2*w + 32. Suppose -27 = -3*t - 4*g + g, -w = -4*g. Solve 8 = -t*c + c for c.
-2
Let z = -9 + 9. Let n(q) = q**2 + 7*q - 15. Let s be n(-9). Solve z*r + r - s = 0 for r.
3
Let h be 3/24*-2*(-2 + 2). Solve 4*r + 4 + h = 0 for r.
-1
Let s be (-4)/10 + 24/10. Suppose 0 = -5*n + 7 + 8. Let l = 1 + 0. Solve -n = s*y - l for y.
-1
Let p = -7 + 12. Let b(i) = -2*i - 7. Let h be b(-5). Solve -h*o + p + 1 = 0 for o.
2
Let l(f) = -f**2 + 3*f + 2. Let d be l(5). Let y = 13 + d. Solve y*a + 6 + 4 = 0 for a.
-2
Suppose 0 = 6*v - 5*v - 3. Solve v*h = -2*h + 25 for h.
5
Let l = -6 - -7. Suppose -29 = 4*g - l. Let n = g + 7. Solve n = -5*h - 10 for h.
-2
Let r(c) = -c + 6. Let b be r(6). Suppose b = 2*o - o - 2. Solve -o*i = -2 + 6 for i.
-2
Suppose 5*f - 6 = 4*f. Solve -3*k = -f*k + 15 for k.
5
Let i = -9 - -13. Solve -i = -3*f - f for f.
1
Let k = 124 + -104. Suppose 4*d - 51 = -5*g, -d = -g - 3*d + 15. Suppose 4*f + o - g = 0, 5*o + 2 = 2*f - 7. Solve -f*n = -6*n + k for n.
5
Suppose u + y = 19, 104 = 5*u - y + 3*y. Suppose 2*b - 3 - 13 = -4*c, 0 = -4*b - 3*c + u. Suppose b = -4*j + 5*j. Solve -4 = -2*n + j*n for n.
-2
Let r(q) = q**3 + 0*q**3 - 8 - 8*q**2 + q + 5*q**2 - 7*q**2. Let k be r(10). Let w be (5 - k) + -2 + 0. Solve 4*t = -w - 7 for t.
-2
Suppose 4*o + u - 12 = 2*u, -4*o - 3*u = -12. Solve r = -o*r - 16 for r.
-4
Let p = 11 + 1. Solve w - 8 = -p for w.
-4
Suppose j - l - 3 = 0, -4*l = -2*j - 7*l + 26. Let y(w) = -w + 16. Let f be y(6). Suppose -5*i + f = 0, -5*i + j = 5*o - 3. Solve -3*v + 0*v = o for v.
0
Let l = 38 - 32. Solve 2*i + l = -i for i.
-2
Let t = -1 + 2. Let c(o) be the first derivative of -o**4/4 - 4*o**3/3 + 2*o - 1. Let n be c(-4). Solve n = p - t for p.
3
Let d(y) = -y**3 + 5*y**2 + 4*y. Let l be d(6). Let m = l - -12. Solve m = x + 2 - 0 for x.
-2
Let z = -23 - -28. Let w be (-1)/2 + (-44)/(-8). Solve 2*r + z = -w for r.
-5
Let v(i) be the second derivative of i**3/3 - 5*i**2 - i. Let q be v(7). Let r(x) = -x**2 + 6*x - 6. Let d be r(q). Solve -2*u + 3*u + d = 0 for u.
-2
Suppose 3*h - 4 = -u, -6*u + 2*u - 4*h = 0. Let c be 0/(-2 + u/(-2)). Solve j + 4 = -c for j.
-4
Let y(o) = o**3 + 5*o**2 - 6*o + 8. Let q be y(-6). Let v be q/(-20) + 64/10. Solve v - 1 = -x for x.
-5
Suppose -7 = -z + 2*s, 0 = z - 6*z - 4*s + 7. Let o = 5 - 0. Let p = o - 3. Solve -1 = -z*f + p*f for f.
1
Suppose 0 = 10*i - 4*i. Solve 8 = -4*c - i*c for c.
-2
Let h = 6 + -3. Suppose 0 = -3*s - 5*j, -h*s + j = -7*s. Suppose w + q = 1, 3 = -w + 3*q - s*q. Solve w + 20 = 4*p for p.
5
Suppose -2*c = -29 + 3. Suppose 7*m + 2*q - c = 2*m, -4*m = -2*q - 14. Solve -p = -m*p for p.
0
Suppose 0 = 2*z - 33 + 3. Solve s - z = 4*s for s.
-5
Let p be (((-4)/5)/(-2) - 0)*10. Let j = -27 - -18. Let l be (-6)/(-27) - 88/j. Solve 0 = -p*r + 6*r - l for r.
5
Suppose 3*l - 4*n + 5 = 3, 4*l - 4*n = 4. Let t(h) = -h**2 + 12*h + 31. Let p be t(14). Solve 9 = -p*c - l for c.
-5
Let j(n) = -n**3 - n**2 - n - 4. Let u be j(-2). Solve 0 = -f - u*f for f.
0
Let r = -9 + 15. Suppose 5*t = 4 + r. Solve -t + 0 = -w for w.
2
Let d be 1*6/1 + 1. Let g = -7 - -9. Suppose -3*h - 3*i = g*i - 27, h + i = d. Solve h*x + 12 = -0 for x.
-3
Let j(n) = 4*n - 4. Let z be j(5). Let k be (-1 + 2)*z - 1. Suppose 6*i = i + k. Solve i*q = 5*q for q.
0
Let l(w) = -w + 22. Let b be l(16). Solve 11*k - b*k = 5 for k.
1
Let h = -119 + 119. Solve h = -5*v + 41 - 16 for v.
5
Let g be (8/2)/(6/3). Suppose m = -g + 3. Solve 0 = 2*k - 9 + m for k.
4
Let s(x) = -2*x + 9. Let w be s(6). Let b be (-6)/w - (1 - -2). Let r be (3 + 0)*(2 + b). Solve 0 = u + r*u for u.
0
Let v = 0 - 3. Let o = -15 + 21. Let c = o + v. Solve -c = -s - 2*s for s.
1
Suppose -2*i + 4 = -0*i. Suppose -3*q = i*q. Suppose -b + 3*b = q. Solve 0 = -b*a + a for a.
0
Let f = 2 + 3. Suppose -2*n + 3*n = f. Solve 0 = -10*d + n*d for d.
0
Let y(q) be the first derivative of -q**3/3 - 7*q**2/2 - 4*q - 2. Let z be y(-6). Solve -7 - 1 = z*d for d.
-4
Let d = -124 + 128. Solve -2*c = -4*c + d for c.
2
Suppose 3*s = s + 4. Let r be s/(-3) - (-12)/18. Solve 8*t - 3*t = r for t.
0
Let a(b) = -b**3 - 9*b**2 + 10*b + 4. Let v be a(-10). Let m = -39 + 39. Solve i + v = -m*i for i.
-4
Let t(o) be the second derivative of -o**4/12 + 3*o**3/2 - 7*o**2/2 + o. Let h be t(7). Let z = h - 5. Solve z*f = 4*f + 8 for f.
-4
Let u = 4 + -1. Solve -u*t = -6*t - 12 for t.
-4
Let w(n) = -n**2 - 7*n + 11. Let g be w(-8). Solve -g + 11 = -4*m for m.
-2
Let v(a) = -a**2 - 4*a. Let u be v(0). Solve u = -5*j + 12 + 8 for j.
4
Let d(x) = x**2 + 5*x. Let r be d(-5). Let m(k) = k**2 - 10*k + 11. Let g be m(9). Suppose -v - g*v = 0. Solve r = -v*q + 3*q + 3 for q.
-1
Suppose 3*c - 6*c - 5 = -n, -3*n + 9 = -3*c. Let s be 3/3 + 1*c. Solve s = -2*y - y - 3 for y.
-1
Suppose 0 = z - 2*z + 3. Suppose z*t + 1 = 13. Suppose p - t*k = -3 + 2, -k = -2*p + 5. Solve 2*d + 10 = -p*d for d.
-2
Let s be (3/2)/((-13)/(-26)). Suppose s + 9 = 3*w. Solve 15 = -w*p - 1 for p.
-4
Let v be (0 - (2 - 1)) + -3. Let n = v + 7. Solve 3 = -n*f + 9 for f.
2
Let i(m) = m - 7. Let b be i(9). Let k(p) = -p**2 - 5*p - 4. Let w be k(-3). Suppose -q + 3 = w*q. Solve -q = r - b for r.
1
Suppose 3*c = 6*c - 45. Let k = c - 14. Solve -g + 5 = k for g.
4
Let o be 75/12 - 2/8. Suppose 5*t + 2 = 2*z, 3*t - t = 2*z - 2. Let f be (z - 1)/(-1) + o. Solve f*m + 2 = 4*m for m.
-1
Let c(a) = -a - 4. Suppose 7 + 1 = 2*i. Suppose 2*t - i = -0*t + 4*s, -4*t = 3*s + 25. Let r be c(t). Solve r = g - 5*g - 16 for g.
-4
Let j be -3 + (0 - -10) - 2. Suppose -h - i + 3 + 1 = 0, 0 = -5*h + j*i. Solve d + 0 = -h for d.
-2
Let f(k) be the second derivative of k**4/12 + 11*k**3/6 + 11*k**2/2 - 4*k. Let l be f(-10). Solve -l = -c + 1 for c.
2
Suppose -g - 9 = 2*g, -g - 19 = -2*z. Solve -f = -4 + z for f.
-4
Let p(j) = -2*j - 12. Let w = -28 - -20. Let t be p(w). Let k be (-5)/2*t/(-5). Solve -k*f = -3 + 1 for f.
1
Let y(i) = 2*i**2 + 2*i. Let c be y(-2). Let d = 8 - c. Let w(p) = p**3 - 7*p**2 + 9*p - 3. Let a be w(6). Solve 0 = d*u - u - a for u.
5
Let w = -21 + 21. Solve w = 2*i + 2*i for i.
0
Let q be 1/(-3) - (-49)/3. Let z be -1 + 2 + 2 + -1. Suppose -k - f + z = 0, -5*f = 2*k + 2 - 0. Solve k*i = -0*i - q for i.
-4
Let t(w) = w**2 - 8*w - 2 + 2. Let q be t(8). Let c be 2 - 1*(q + -1). Solve -r - c*r = 20 for r.
-5
Suppose 3*f + 2*f - 25 = 0. Suppose 2*z + 3*k = 18, 0*z + 2*k = 4*z - 20. Let r = f + z. Solve -1 = 2*t - r for t.
5
Let p(s) = 7*s**2 - 6*s - 1. Let a(y) = 20*y**2 - 17*y - 3. Let w(z) = 6*a(z) - 17*p(z). Let l be w(-2). Solve -n - 1 = l for n.
-4
Suppose 0*j - 4 = -4*b + 4*j, 0 = 2*j - 8. Suppose 33 - 8 = b*u. Suppose 5*v - 4*a = 17, -5*a + 12 + 13 = 3*v. Solve v*l - 25 = -u for l.
4
Suppose -2*i - p + 23 = 2*i, -2*i = -p - 19. Solve i = -3*k + 22 for k.
5
Suppose -2*k + 3 + 1 = 0. Suppose -4*f + 3*l + 23 = 0, -2*l - 2*l - 20 = 0. Suppose f*s - 6 = 12. Solve s = a + k*a for a.
3
Let c be (-66)/(-55)*5*1. Solve 2*i + c = 4*i for i.
3
Suppose -4*b - f + 8 = -3*f, 2*b - 3*f = 0. Solve -b*m + 2 = 17 for m.
-5
Let w(x) = 2*x - 1. Let t be w(-4). Let u be (8/12)/((-2)/t). Suppose 0 = -8*j + u*j + 15. Solve -y - j*y - 8 = 0 for y.
-2
Let q(f) = 3*f**3 + f + 1. Let o be q(-2). Let z = -23 - o. Solve z*b = -0*b + 6 for b.
3
Let j(a) = a + 5. Let x be j(0). Suppose o = x*k + 24, 0*o + k - 24 = -3*o. Let p = 3 + o. Solve 0*c + p = 3*c for c.
4
Let i = 27 + -23. Solve i*g = g - 3 for g.
-1
Let x be (-6)/(-10) - 39/65. Solve x = -8*k + 3*k for k.
0
Let b = -7 - -10. Let a(y) = y**2 - 2*y - 3. Let u be a(4). Solve b*t - u*t = 6 for t.
-3
Let g be (-1)/(2/(-90))*1. Let s = g + -30. Suppose j - s = -2*j. Solve -2*d + j*d = 0 for d.
0
Let k(v) = -4*v**2 - 5*v - 3. Let h be k(-3). Let p = 15 + h. Let g(m) = m**3 + 8*m**2 - 11*m - 6. Let w be g(p). Solve 0 = -5*z + w + 8 for z.
4
Suppose 5*n = 1 + 4. Let w = 6 + -2. Suppose 6*o = w*o. Solve -u + n = -o for u.
1
Let z(m) = -m**3 + 13*m