 Solve 0 = -k*g - g for g.
0
Let x be ((-4)/10)/(21/(-105)). Solve -6*z - 8 = -x*z for z.
-2
Let o be (-2)/(-6)*3*2. Suppose h - 2*h = -3. Let d be h/3*(2 - 2). Solve -o = -d*s + s for s.
-2
Let y(o) = -7*o + 6 - 6*o**3 + 5*o**3 - 1 + 0*o + 6*o**2. Let a be y(4). Solve -2*d - a = d for d.
-3
Let u be 20/6 - (-4)/(-12). Suppose 0 = -y + u*i + 9 + 6, -25 = -3*y + 4*i. Let s be (2 + -2)/(0 + 2). Solve s = -y*x + 3 for x.
1
Let q(a) = 2*a + 9. Let t be q(-9). Let n = t - -14. Let o = 60 + -40. Solve c + o = n*c for c.
5
Let h = 31 + -52. Let i(s) = s - 2. Let l be i(-9). Let x = l - h. Solve -5*n + x + 0 = 0 for n.
2
Let n be (-3)/(-4) + -1 - 14/(-56). Solve n = 3*p - 5 + 20 for p.
-5
Suppose 56 = 4*i - 5*h + 7*h, -63 = -5*i + h. Solve -3*p = -2 - i for p.
5
Let t be (1 + -5)*70/(-28). Solve -2 + t = -4*j for j.
-2
Suppose 12*l - 4*l = 16. Solve -q + l - 5 = 0 for q.
-3
Let g = 31 + -31. Solve 4*u - u + 12 = g for u.
-4
Let o(r) = -6*r**3 + r**2 + r + 1. Let k be o(-1). Let t(p) = 2*p + 7. Let n(m) = -m + 1. Let x(c) = 3*n(c) + t(c). Let u be x(k). Solve 0 = 4*d - 9 - u for d.
3
Suppose -4*x = -3*d + 4*d + 55, -33 = 3*x - 2*d. Let m = x + 18. Solve -8 = m*q - 28 for q.
4
Suppose -80*o = -77*o - 9. Solve -5 = 2*g - o*g for g.
5
Let a(n) = 3*n**2 - 2*n - 4. Let x be a(2). Solve x*w = -w for w.
0
Suppose 4*h = -5*g + 56, 9 = 2*g + 3*h - 19. Let t be 1 + 2 + -31 - 2. Let m be t/4*g/(-12). Solve 0 = m*z - z + 4 for z.
-1
Let t = -13 - -13. Solve t = -4*a + a - 15 for a.
-5
Suppose 3 = w - 3*v, -3*w + 2*w + 5*v + 3 = 0. Solve -1 + w = m for m.
2
Let h = 6 - 1. Solve h*w + 5 = -0*w for w.
-1
Let l(q) = q. Let j be l(0). Suppose j*r - 4*r + 20 = 0. Suppose -r*a + 2 = -78. Solve -3*x + a = x for x.
4
Let w(g) = 2*g - 3. Let p be w(4). Solve -u + 1 = p for u.
-4
Suppose -3*j + 9 = -0*j. Suppose 2*l - v - 3 = 0, 4*l + 2*v + 3 = -j. Suppose -2*t + 0 + 4 = l. Solve 2*y - t = 8 for y.
5
Let v be 2/5 + 115/25. Suppose -4*g - g + 40 = 0. Solve v*f - 12 = g for f.
4
Let a(v) = v + 10. Let i be a(-7). Suppose 6 = -m + i*m. Solve m*l - 13 = -1 for l.
4
Suppose -3*x + 2 + 4 = 0. Solve -12 = 2*n + x*n for n.
-3
Let o = -5 + 13. Solve -2*s + o = -2 for s.
5
Let p(i) = i**3 + 8*i**2 - 2*i - 9. Let r be p(-8). Suppose -r = 5*d + 3. Let k be d*(1 + (-9)/6). Solve -2*q + 9 = -k for q.
5
Let m = -15 + 14. Let b be (-2 + 6)/(-2)*m. Solve -b*q = q for q.
0
Suppose -z - 4*z + 35 = 0. Let d = z + -4. Let x = -17 - -17. Solve d*s + 12 = -x*s for s.
-4
Let d(q) = -q**3 + 2*q**2 + q. Let v be d(-1). Solve v*f - 4 = -0*f for f.
2
Let s be 10 + 1 - 24/8. Solve -z - s = 3*z for z.
-2
Let z be 3*(-12)/(-9) - -2. Solve a = 3 - z for a.
-3
Let g(z) = z**2 - 2*z + 2. Let c be g(-7). Suppose -6*f + 4*f + c = 5*x, x = -4*f + 85. Solve -f = 5*d - 0 for d.
-4
Let f = 78 + -78. Solve 0 = 4*a - f*a for a.
0
Suppose 4*o = 3*o + 8. Suppose o*d = 3*d. Solve d = -5*g - 0*g + 15 for g.
3
Let l be 130/52 - 2/4. Suppose -c - c + 6 = 0. Suppose -c*b - 2 = -8. Solve -4 = -b*d - l*d for d.
1
Suppose -4*n - n = -20. Suppose -a + 3 = 4*i, a = -n*i - 4*a + 15. Let g(h) = h**2 + h + 6. Let s be g(i). Solve 4*m - 2*m = s for m.
3
Let o = -7 + 10. Let j(m) = m - 1. Let y be j(o). Solve -r = r + y for r.
-1
Suppose 3*u - 2 = 16. Solve z + 1 = u for z.
5
Let k be (1 - -1)*(-13)/2. Let x = -5 - k. Solve 0*p - 4*p = x for p.
-2
Let f be (0 - 30)*(-6)/15. Suppose -3*q = q - f. Solve -3*c + 6*c = q for c.
1
Let i = -280 - -282. Let q(t) = t**3 - 4*t**2 - 4*t - 5. Let n be q(5). Solve 8 = i*u - n for u.
4
Let q be 20/3 - 7/(-21). Solve 0 = 5*j + q + 13 for j.
-4
Let p(d) = -2*d + 6. Let i be p(4). Let r be (i + 1)/(4/(-12)). Let y be r/(-2 - (-3)/1). Solve -6 = -y*a - 15 for a.
-3
Let d = -11 + 13. Suppose 0 = -p - 3*p + 8. Solve -d*i + 0*i = -p for i.
1
Let m(y) = -y + 6. Let n be m(7). Let b be (45/10)/(n/(-2)). Let x be (-2)/(-1)*b/6. Solve 0 = -x*u - 12 - 0 for u.
-4
Let q(n) = 2*n - 6. Let h be q(7). Suppose 5*l + 4 = -2*v, 4*v + h = -5*l - 0*v. Solve l = 4*x - 0 + 4 for x.
-1
Let v = 4 - 1. Let p(z) = -v*z + z**2 + 4 - z**2 + z**2. Let q be p(3). Solve -q*g - 5 = -3*g for g.
-5
Let n = -15 - -18. Solve 1 = -4*i + n*i for i.
-1
Let l be (-8 - (-4 + 1))*(1 - 2). Solve -l*g = 7 + 3 for g.
-2
Let b = 8 - 4. Suppose 3*o - 12 - 3 = 0. Solve -o*t = -b*t + 1 for t.
-1
Let w(c) = -c**2 - 5*c - 4. Let o be w(-4). Suppose -5*l - 2*v + 35 = v, l - 5*v = -21. Solve 0 = -o*t + l*t + 20 for t.
-5
Let b(h) = h**3 + h**2. Let x(o) = o**2 + 3*o. Let n be x(-3). Let p be b(n). Solve k + p*k = 4 for k.
4
Let z = 3 + -1. Let p(u) = -u**2 + 2*u**z - 2*u**2 + 2*u + 2*u**2. Let x be p(-2). Solve -6 = -2*g - x*g for g.
3
Let l be ((-12)/10)/(3/(-10)). Suppose -2*y - 6 = -l*y. Suppose 2*m - m - 3 = 0. Solve -2*g + m = -y*g for g.
-3
Let y = 1 + 3. Suppose -3*k - 1 = -3*n + 8, -4*k - y = 0. Solve -4 = n*c - 2 for c.
-1
Let f(d) be the second derivative of 1/6*d**3 + 7/12*d**4 + 0 + 9/2*d**2 + 1/20*d**5 - d. Let b be f(-7). Solve 0*u + 2 = -b*u for u.
-1
Suppose t - 5*o + 12 + 1 = 0, 3*t = 5*o - 9. Solve -2*p - t - 2 = 0 for p.
-2
Let q be (-3)/2*4/6. Let w = 4 - q. Suppose -2*n = -w*a + 5, -2 = -5*a + 3. Solve n*p + 5 = 5*p for p.
1
Let q = -8 - 0. Let i = -5 - q. Let z be (-44)/(-12) + 2/6. Solve -i*r + z*r = -1 for r.
-1
Let b(y) = -y**3 - 7*y**2 - 7*y - 1. Let f be b(-6). Solve n + 16 = f*n for n.
4
Let k be 3/12 + (-19)/(-4). Let b be 0 + 5*2/5. Solve p = b - k for p.
-3
Let y be 1/1*-2 - -13. Suppose -96 + y = -5*r. Solve 0 = -4*c - 1 + r for c.
4
Suppose 3*n + 4*l - 1 = -22, -14 = 2*n - 5*l. Let h = 12 + n. Solve -h*r = -2*r for r.
0
Suppose -t = -6*t - 35. Let j = -4 - t. Solve -2*r = j*r - 5 for r.
1
Suppose -3*b - 4*w - 18 = 0, 2*b + 8*w = 3*w - 12. Let n be (3 + 15/b)*10. Solve n = r + 1 for r.
4
Suppose d = 4*d - 36. Solve -4*b = -b - d for b.
4
Suppose -4*z + 9*v + 2 = 6*v, 5*z = v + 8. Solve 25 = 3*m + z*m for m.
5
Suppose -4*p = 4*v - 8, 0 = 3*v - 0*p + 2*p - 4. Solve -g - 1 = -v*g for g.
-1
Suppose 0 = k - 3*z + 21, 4*k + 0*z + 19 = -z. Let a be (-31)/k - 3/18. Solve -4*h - a = 3 for h.
-2
Suppose -4*g + 10 = 2. Let y(b) = b + 12. Let c be y(-9). Solve -g*w - 1 = c for w.
-2
Let v(o) = -o + 6. Let h be v(6). Suppose -3*n = q - 19, -2*q - 2*n + h*n = -18. Let p = -103 - -106. Solve -p*m - 2 - q = 0 for m.
-2
Suppose 20 = 4*s - 3*r, 2*s + 1 = -2*r - 3. Suppose s = x - 7. Solve -3*o + 3 = x for o.
-2
Let y(o) = o**2 + 3*o - 2. Let h be y(-2). Let k be (h + -1)*(-12)/15. Let n = 7 + -3. Solve k*s - 3*s = -n for s.
-4
Suppose 4*t - 18 = -a, -3*t - 3*a = -7*t + 10. Suppose 24 = t*o - 2*o. Solve 0*y = -3*y + o for y.
4
Let m(c) = -c**2 - 10*c - 13. Let w be m(-7). Solve z = -3*z + w for z.
2
Let r(w) = 2*w + 12. Let k be r(0). Solve 3*g + k = -g for g.
-3
Suppose -5*p + 8 = -17. Let n = 14 + -8. Let b be (-3)/n + (-123)/(-6). Solve 5*h + b + p = 0 for h.
-5
Let m be 2/4 - 7/(-2). Solve i + 9 = m*i for i.
3
Let f(n) be the second derivative of n**3/6 - 3*n**2/2 + 4*n. Let b be f(5). Solve -2*u - b*u = 16 for u.
-4
Let w(s) = -11*s + 1. Let u be w(-1). Suppose 4*v + 21 = a, 5*v + 15 + 0 = -a. Suppose -a*t + 2 = y + 5, 3*y - 5*t - 31 = 0. Solve -y*p + 3*p + u = 0 for p.
3
Let v = 6 + -1. Let p be (12 + 2 - -3) + 0. Solve v*b = p + 8 for b.
5
Suppose -2*x - 3 + 5 = -4*g, x = g + 2. Let f(r) = r**2 - 3*r - 6. Let b be f(5). Suppose 2*q - b = 3*d - d, -x*d = 3*q. Solve 3*y - q = 4*y for y.
-1
Suppose 37 + 13 = 2*k. Solve 4*y = -y + k for y.
5
Suppose -d - 6 = d. Let c(s) = -s. Let f be c(d). Let j(z) = z**3 + z**2 - z. Let w be j(1). Solve -p - w = f for p.
-4
Suppose 4*j + 3 = 11. Solve 0*d - j*d + 8 = 0 for d.
4
Suppose 3*o - 4*a + 2*a = 13, 4*o - 4*a - 20 = 0. Suppose -5 = -4*d + o*x + 14, 0 = d - 4*x - 8. Solve 4 = 3*y - d*y for y.
-4
Let m = 3 + -2. Let u = 3 + m. Let w be (2/u)/(2/100). Solve -t - w = -6*t for t.
5
Let p(y) = -y**3 + y - 8. Let v be p(0). Let m = -4 - v. Solve 2*u - m*u = 8 for u.
-4
Suppose -4*b + w = 2*w - 4, -2*b + 4*w + 20 = 0. Solve 2*m - b = 8 for m.
5
Let g(m) = m**2 + 5*m. Let s(i) = -i**2 - 6*i. Let w(t) = 6*g(t) + 5*s(t). Let u be (-7 + 2)*(-8)/20. Let n be w(u). Solve 2*j - n*j - 8 = 0 for j.
-4
Suppose 3*f + 4*i = 26, 3*f = -2*f + 2*i. Solve -f*m = -3*m - 5 for m.
-5
Suppose 0 = -3*s + s + 6. Su