g - 0*g + 5. Solve -4*c = -c + v for c.
-5
Let s = 5 - 3. Let r = -2 + s. Suppose 3*h + h - 4 = r. Solve -2*f + 5 = -h for f.
3
Let c(w) = w**2 - 6*w + 3. Let j be c(6). Let x be -2 + 1 + j/1. Let r = 7 - x. Solve -r - 4 = -3*z for z.
3
Let l(w) = -w**3 - 6*w**2 + 5*w - 12. Let v be l(-7). Solve 0 = 3*j - v + 8 for j.
-2
Let g(z) = z**2 + 2*z. Let y be g(-2). Suppose -c = -2*b + 15, -c + 0*c = b. Solve m - 6*m - b = y for m.
-1
Let s(n) = n + 4. Let z be s(-6). Let q be z/(-8) + (-55)/(-20). Solve q*l - 4*l = 0 for l.
0
Let l be (-1 - 0)/(3/(-9)). Let v(n) = n + 4. Let t be v(4). Solve 0 = -5*f + l*f - t for f.
-4
Suppose 2*q + 6 - 2 = -4*x, 12 = 3*q. Let n be 9 + x/(-3 - -6). Solve -4*i + 4 = n for i.
-1
Suppose 4*q - 3*q - 25 = -5*c, 0 = 3*c - 15. Solve -4*n + 2*n + 2 = q for n.
1
Let w = -75 - -77. Solve 5 - w = t for t.
3
Let p be ((0/1)/(-2))/(-2). Let m be (-6)/57 - (-2)/19. Solve p = -m*k - 3*k for k.
0
Let u be (-6)/3*(5 - 8). Solve 2*i = 2 - u for i.
-2
Suppose 2*t - 6 = -5*x - 2, -5*t = 4*x + 7. Solve 2*k = -x*k for k.
0
Suppose -2*v - 8 = 4*c, -v - 2*c = -3*c - 2. Let s(w) = -w**2 - w + 2. Let l be s(v). Solve d - 5 = l*d for d.
-5
Let r = 14 - 11. Suppose r*s = s + 10. Let u(h) = -h + 7. Let y be u(6). Solve y - s = 4*x for x.
-1
Let u be (-2)/(-7) - 612/(-14). Let s be (-84)/(-22) - (-8)/u. Let t be (-7 - -6)/(1/(-6)). Solve 2*o = s*o - t for o.
3
Suppose -l + 24 = l - m, -2*l + 24 = 3*m. Solve 0*w = 4*w + l for w.
-3
Let f = 5 - 8. Let u(o) = -o**3 - 3*o**2 - o - 1. Let s be u(f). Solve s*k = 3*k + 5 for k.
-5
Let v be 0/3 - 4 - -5. Let m(h) be the second derivative of 3*h**5/20 - h**2/2 - 2*h. Let x be m(v). Solve 2*z + x*z = 0 for z.
0
Suppose -6*h = -h - 25. Suppose 3*c + h*a - 55 = 0, 7*c + a = 4*c + 59. Solve -c = r - 5*r for r.
5
Suppose 0 = 5*d - 8*d + 42. Solve 4*m + d = 2 for m.
-3
Let l be (2 - 0)/((-3)/(-3)). Let x(j) be the second derivative of j**4/12 - j**2/2 - j. Let h be x(l). Solve -h*p - 1 = -4 for p.
1
Suppose -3 - 1 = -g. Suppose -4*k = -5*f - 20, 5 = g*f - 3*f + k. Solve 3*b + f*b = 3 for b.
1
Suppose 10*t - 21 = 3*t. Solve t*j - j + 6 = 0 for j.
-3
Suppose -8*v + 11*v - 9 = 0. Suppose v*g - 3 = 3. Solve -g*w - w + 6 = 0 for w.
2
Suppose 3*x = -2*q + 12, 5*q + 14 = -5*x + 39. Solve 16 = -q*o - o for o.
-4
Let d(i) = i + 6. Let s be d(-6). Suppose -6*h + 3*h = -24. Let l(t) = -3*t - 1. Let p be l(-1). Solve p*y - h = -s*y for y.
4
Let p be ((-4)/(-12))/(1/18). Solve 3*h + 21 = p for h.
-5
Suppose 0 = -r + 5*l - 5, 3*r - 2*l + 2 = -0*r. Let k be -2 - 0 - (-2 - r). Suppose k = -4*x - 0 + 16. Solve s = -x*s + 5 for s.
1
Let i be 67/(-7) - (-6)/(-14). Let l be 6/2 + 7 + i. Solve -3*w + l = 3 for w.
-1
Let x(d) = d**3 - 3*d**2 + 1. Let j be x(3). Suppose -2*y - 8 = -4*f, -5*y + 19 = -2*f + 5*f. Solve -f - j = s for s.
-4
Suppose -3*s - 2 = 4, 3*g = 2*s + 19. Let b = 2 - 2. Solve g + b = -d for d.
-5
Let t(w) = w**2 - 5*w + 2. Let u be t(5). Solve 0 = -u*x - 12 + 4 for x.
-4
Let x(p) = p**2 - 6*p - 7. Let b be x(7). Suppose 5 = -4*w + 29. Solve -w*m + m - 5 = b for m.
-1
Suppose 3 + 5 = 2*g. Solve g*q - 3 = 3*q for q.
3
Suppose 3*t - 1 = 8. Let x be ((-80)/6)/(28/(-42)). Solve -2*d + x = t*d for d.
4
Suppose 8 = 5*f - f. Suppose f*k = 15 + 15. Let p be 5*(42/k - 2). Solve 3*r + 2 + p = 0 for r.
-2
Suppose -3*r = -2*x - 9, r - 8 = -0*x - x. Suppose -w = n - 8, -n - 24 = -x*n - 4*w. Solve n = 3*q - 11 for q.
5
Suppose 5*q + 1 - 26 = 0, q = -3*t + 17. Let r be (-85)/(-68) + 3/t. Solve r*f + f = -6 for f.
-2
Suppose f + 15 = 4*f. Suppose -n + 3 = 0, -3*j = -f*j + n + 5. Solve -j*p = 2 + 6 for p.
-2
Let k = 16 - 16. Solve 4 + k = z for z.
4
Let r be (-104)/(-10) + 9/15. Let x = -5 + r. Let s be 34/x - 2/(-6). Solve h = -h + s for h.
3
Let c = -6 + 3. Let o = -9 - -13. Let v = c + o. Solve -5 = 4*m - v for m.
-1
Let g be (-13)/(-130) - (-58)/20. Solve -g = j - 0 for j.
-3
Let c(f) = 2*f - 2. Let x be c(2). Let l be (-8)/(-2 + 1) + x. Solve -l = -3*a - 1 for a.
3
Let a be (-5)/((-5)/4) - 0. Solve 4*k - a = -16 for k.
-3
Let s = -3 - -5. Let y = -3 + 8. Solve s*i = -5 - y for i.
-5
Let h be (-5*-2*1)/2. Let w(a) = -a**2 + 6*a - 1. Let z be w(h). Solve z*r = -3 + 15 for r.
3
Let q = 10 - 4. Suppose -5*d + q*d = 0. Solve 4*r - 6 - 10 = d for r.
4
Let x(v) = -v**2 - 2*v + 6. Let l be x(4). Let k be (-78)/l + (-2)/(-3). Suppose 19 = 4*n - p, 2*n - n = -k*p - 11. Solve -n*g - 7 = 5 for g.
-3
Suppose -5*u + 2*z = 6 + 2, u + z - 4 = 0. Suppose 3*x - x - 14 = u. Let j = 5 + x. Solve m = 4*m + j for m.
-4
Let m(k) = k**3 + 25*k**2 + 23*k - 21. Let v be m(-24). Solve -v = 2*j - j for j.
-3
Let h(x) be the second derivative of -x**3/6 + 4*x. Let g be h(0). Solve g = -0*f + 2*f for f.
0
Let z = -1 + -3. Let u be (6/(-2))/(6/z). Solve u*d = -5 - 1 for d.
-3
Let b be (-4)/(3/((-27)/(-6))). Let l = -3 - b. Suppose -q - 5*v = -l*q + 21, 4*q - v = 15. Solve 4 = q*s - s for s.
2
Suppose 0 = 3*g - 11*g + 40. Solve g*p - 8 = 2 for p.
2
Let a = 14 + -10. Suppose -2*b + b + 8 = 0. Solve -a*z + b = -0*z for z.
2
Suppose -h + 2 + 2 = 0. Solve h*d = d for d.
0
Suppose 4*b + 12 = 5*f - 29, -5*b = -4*f + 40. Let z(s) = -s**3 + 6*s**2 - 4*s - 3. Let o be z(f). Solve -o = -r + 2 for r.
4
Let t = -33 - -38. Solve c + t = -0*c for c.
-5
Suppose -d = -1 + 33. Let j = d - -45. Solve 5*g = -j - 7 for g.
-4
Let s be -4 - (0 + (-8)/1). Let j(z) = 2*z**2 + 2*z. Let m(x) = x**2 - 3*x - 2. Let d be m(3). Let v be j(d). Solve -v*l - 8 = s for l.
-3
Suppose -3 = -30*v + 27*v. Solve 4 + v = 5*y for y.
1
Let x(v) = -2*v - 6. Let u be x(-5). Suppose u*t + 8 = 4*p, 4*p + t = -0*t + 8. Solve p*n + 1 = -1 for n.
-1
Let r be (-1144)/(-195) + (-2)/(-15). Solve r*l = l + 5 for l.
1
Suppose 4*v - 19 = 33. Solve 0 = -5*c + v + 12 for c.
5
Suppose -2*a - 2*a + 112 = 0. Let u = a - 16. Solve 4*t + u = -4 for t.
-4
Suppose -2*h - 40 = -4*r, -6*r = -3*r - 2*h - 31. Solve -4*c + 5 = -r*c for c.
-1
Let y = 1 + 3. Suppose 0 = -3*l - y*b + 36, 4*b - 8 = 4. Solve 0 = -s - 3*s + l for s.
2
Let f be (-6)/(-4) + (-14)/4. Let w be -1*6/(f - -4). Let k be 6*w*(-3)/27. Solve -l + k*l = 0 for l.
0
Let v = 45 + -41. Solve x = -x - v for x.
-2
Suppose 5*d = -4*u + 46, 3*d + 4*u = 3*u + 22. Suppose -w - 2*w = d. Let s be 1/2 + (-3)/w. Solve s*a = -0*a - 2 for a.
-1
Suppose 2*b - 8 = -2*j + 3*b, -j = -b - 4. Solve j*p - 10 - 2 = 0 for p.
3
Suppose 0 = -45*w + 41*w + 64. Let i = -9 + 15. Solve -i*a - w = -2*a for a.
-4
Suppose -v + 4*z + z + 7 = 0, 5*v + 3*z - 7 = 0. Suppose -c - 58 = -5*i, i + v*c - 6 = 5*c. Suppose -5*u + 2*u + i = 0. Solve u*n = n + 9 for n.
3
Suppose 0 = -5*y + 2*y + 24. Solve -4*v + 0 = -y for v.
2
Let o be (0 - 2)*(-9 - -7). Solve p + o = 3 for p.
-1
Let w be ((-3)/(-12)*2)/((-5)/(-30)). Let o = 11 - 8. Solve -o = -0*j - w*j for j.
1
Let k = 0 - -4. Let v = -14 - -16. Suppose k*c - 2 = v*c. Solve w - c - 4 = 0 for w.
5
Suppose -2*l = -0*l. Suppose -n + 5 = -l*n. Solve 0 = -g + n - 2 for g.
3
Let d = 20 - 19. Solve -5*p = 9 + d for p.
-2
Suppose 0 = -8*l + 5*l. Solve l = -j - 4*j - 15 for j.
-3
Let s = 4 - 4. Suppose s*h + 5 = h. Solve -f + 6*f - h = 0 for f.
1
Let v(q) be the first derivative of q**3/3 - 4*q**2 + 10*q + 3. Let w be v(7). Let s be (w/(-6))/((-1)/12). Solve -s*g = -g for g.
0
Let c be (-2 + 12/8)*0. Suppose -3*s - 2*s = c. Solve s = -q + 1 - 5 for q.
-4
Let k(b) = -b - 2. Let u be k(-6). Let p be 4 + 5/((-10)/u). Solve 9 = d + p*d for d.
3
Let x(m) = m**3 + 6*m**2 - 9*m - 10. Let z be 6/12*-14*1. Let t be x(z). Let s be 6*(t/3)/4. Solve -1 = d - s*d for d.
1
Suppose 54*a - 61*a = 0. Solve a = 2*u + 3*u for u.
0
Let r be 138/12 + 1/2. Let d = r - 12. Let o(k) = k**2 - 2*k - 1. Let v be o(4). Solve d = -5*z - 2 + v for z.
1
Let y = 40 + -32. Solve 5*a + y = -17 for a.
-5
Suppose -g + 5 = -0*w - 2*w, -w = -3*g - 5. Let d(r) = r**2 - r**3 - 2*r + r**3 + 2*r**2 - 4 + r**3. Let c be d(g). Solve -3 = -n + c for n.
5
Let r be 1*(-2 + 2)/(-3). Let f(d) = 2*d - 9. Let u be f(7). Solve 25 = u*c - r*c for c.
5
Suppose n = -t + 5*n - 18, -5*t + 3*n - 5 = 0. Let z be (2/5)/((-1)/(-25)). Let c be 2 + -1 + 1 + 2. Solve c*b - z = t*b for b.
5
Suppose 0 = 3*n + 4*m - 31, -m - 27 = -3*n - 4*m. Solve -5*y + 30 = n for y.
5
Let r(u) = 7*u**3 - u**2 + 2*u - 1. Let z be r(1).