2*g + 12. Let c be v(-4). Solve c*b + 5 = -d for b.
-4
Let r(z) = -3*z + 30. Let x be r(6). Solve -3 = 3*j - x for j.
3
Let k(n) = 9*n**3 + n + 2. Let q be k(-1). Let h be 6 + q + (-2 - -5). Solve 2*t + h = -1 for t.
-1
Suppose 0 = -5*s + 8 + 22. Let h be (s + -7)/(1/(-3)). Let i be ((-2)/h)/(6/(-18)). Solve -i*u = -0*u + 8 for u.
-4
Let o be (-1)/(-2)*(0 - 8). Let a be (2 - (0 - o)) + -34. Let p be (-2)/(((-40)/a)/(-5)). Solve 4*z - p = 7*z for z.
-3
Let w = 349 + -321. Solve 5*x = -2*x - w for x.
-4
Let k(p) = -p**2 - 5*p + 5. Let m be k(-5). Suppose 2 = 4*n - m*h - 26, 4*n + 8 = -4*h. Suppose 11*q - 2*g + 18 = 13*q, 2*g - 12 = 0. Solve -q*i + n = -4 for i.
2
Suppose 2*q = -7 + 13. Suppose -x = -5*a + q, -x - 4*x - 4*a + 14 = 0. Solve -n = x*n for n.
0
Let p = -186 + 188. Solve 0 = p*g + 2 + 2 for g.
-2
Let d be -18 + 20 - (0 - 5). Solve -4*q = -d*q + 6 for q.
2
Suppose 5*f = -l + 104, 34*f - 33*f = -5*l + 40. Solve 0 = -2*t - 2*t + f for t.
5
Suppose -3 = -a - 1. Let r(j) = j**3 - j**2 - j. Let w be r(a). Solve 3*q - 1 = w for q.
1
Let g = 8 + -3. Suppose -3*s = l - 1, 2*s - 4*s + g*l = -29. Solve 2*i = i - s for i.
-2
Let m = 798 - 783. Solve m + 0 = 5*h for h.
3
Let x be (-10 - 0 - -2) + 3. Let k(r) = -r + 1. Let d be k(x). Let y = 8 - d. Solve y*s = 4*s - 6 for s.
3
Let o = 1150 + -1150. Solve -12*a - 2*a + 28 = o for a.
2
Let y be 1073/261 + (-2)/18. Solve 0 = z + y - 9 for z.
5
Let w(x) = -x**2 - 15*x - 35. Let p(v) = v**3 - 3*v**2 - 3*v - 1. Let t be p(3). Let u be w(t). Solve h = -4*h + u for h.
3
Let i = 1614 - 1613. Solve 3*z - 10 + i = 0 for z.
3
Let r be 0 - ((-9)/(-3) - 3). Let j be (2 + -1)*(4 + -5). Let b be (-2 - j)/(5/(-20)). Solve -3*s + 11 + b = r for s.
5
Suppose 4*g - u + 79 = -0*u, -1 = g - 4*u. Let n = g + 24. Solve -2*o = n*o for o.
0
Let r(l) = -l**3 - 2*l**2 + 6*l + 3. Let f be 6 + -2 - (5 + 3). Let j be r(f). Let d = -2 + 11. Solve -j = -5*o + d for o.
4
Suppose 5*g - 3*o = 115, -3*g - 4*o = -21 - 48. Solve 28 = 5*u + g for u.
1
Let z(p) = p + 44. Let n be z(-24). Solve -14*r + n*r - 18 = 0 for r.
3
Let d(g) = -14*g**2 + 101*g - 15. Let a be d(7). Solve x = -x + a for x.
3
Let g = -7 - -10. Suppose 2*r = o + 11, -o - 46 = -5*r - 26. Solve 0*c = -g*c + r for c.
1
Let k = 612 - 612. Suppose -2*s + 0*s - 3 = q, 2*q + 6 = -s. Solve s = -3*t - k*t + 3 for t.
1
Let h be (-112)/24*((-24)/(-21) - 2). Solve -9 = -13*t + h*t for t.
1
Let h be (-1)/(-2) - -1*75/10. Suppose c = -3*c + h. Solve 0*f = -c*f - 4 for f.
-2
Suppose -6*s + 2*s - 2 = 3*a, 0 = -4*a - 2*s + 4. Solve -2*y + 6 = a for y.
2
Suppose -3 = -o + w, 2*o - 8 = -3*o - 2*w. Let v = 2 + o. Suppose 0 = -f - 1 - 3, 0 = -v*p - 2*f. Solve k = -p*k for k.
0
Let o(k) = -k**2 + 13*k - 13. Let r be o(6). Let j = r - 27. Solve -j*y = 3 - 1 for y.
-1
Let s(y) = y**3 + y**2 + 1. Let k(x) = 6*x**3 + 10*x**2 - 7*x + 7. Let v(a) = k(a) - 5*s(a). Let b = 28 - 34. Let l be v(b). Solve 3*j - l = j for j.
4
Let b(f) = 11*f**3 - 3*f**2 - 2*f. Let o be b(-1). Let c be o/16 - -1 - (-69)/12. Let s = 8 + -5. Solve -x = c - s for x.
-3
Let c = -36 - -42. Suppose -c*i = -0*i. Solve -2*h + i*h + 4 = 0 for h.
2
Suppose 19*k + 7*k - 78 = 0. Solve -k*b = -9 - 0 for b.
3
Let g(c) = -3*c**2 + 104*c + 35. Let t be g(35). Solve t = -p - 5 + 5 for p.
0
Let w be -2 - (-1 - 0)*11. Let x be 8/(48/42) - 5. Solve -x*d = d + w for d.
-3
Let l(x) = 3*x + 19. Let q be l(-6). Suppose 112*j - 113*j + 3 = 0. Solve v = -q - j for v.
-4
Let f be 11/3 + (-4)/6. Suppose 0 = 4*l - 6*l. Let j(g) = 16*g + 195. Let z be j(-12). Solve l*u + f*u = z for u.
1
Let k(v) = v**2 - 5*v + 1. Let b be k(6). Suppose -b*z = -3*z - 12. Suppose 11 = -2*j + 3*o, 3*j - z*o + 19 = 5*j. Solve j*q = q - 2 for q.
-2
Let u = 2868 - 2865. Suppose -5*h = -5, -3*b + 1 = -4*h + 2. Solve u*q - b = -13 for q.
-4
Let s(i) = i**2 - i + 3. Let x be s(0). Suppose f - x = u, -4*u + 3*f - 21 = -7*u. Let q = -8 + 13. Solve -7*z = -u*z + q for z.
-1
Suppose -17*m = 279 - 585. Solve -2*t - 22 = -m for t.
-2
Suppose 0 = -4*n + 6*n + 6, 0 = -3*j + 4*n + 21. Let h(w) = -8*w + 7. Let v(k) = -k + 1. Let r(f) = -h(f) + 6*v(f). Let m be r(2). Solve -m = -2*l + j for l.
3
Let r = -3 - -33. Let z = 33 - r. Solve o - z = -0 for o.
3
Let y(n) = 3*n + 23. Let h be y(-6). Suppose -2*a + 0*a + 1 = -h*q, -a = -q - 2. Solve a*l = -l - 4 for l.
-1
Suppose 86 = 4*n + 86. Solve n = 3*l - 11 - 1 for l.
4
Suppose 3*b + 12 = -2*j, -b - 4 = -5*j + 4*j. Suppose -43 = 4*q - 19. Let i be (-111)/(-7) + q/(-42). Solve 4*p - i = -j*p for p.
4
Let a be (8/3)/(-4) - (-69)/9. Suppose 3 = a*i + 3. Solve -5*d + i*d = 25 for d.
-5
Let d be (16/(-5))/(14/(-35)). Let q(s) = s**3 - 8*s**2 + s - 3. Let z be q(d). Suppose -z = -5*x + 5. Solve -1 + x = r for r.
1
Let b = -4 - -4. Suppose 7*c - 8 = 4*x - 2, 3*x = c + 4. Solve b*l = x*l for l.
0
Let h be (95/20)/((-3)/(-12)). Solve -3*v = -h*v for v.
0
Let w = 85 - 70. Let f(j) = -j**3 + 16*j**2 - 16*j + 17. Let s be f(w). Solve -d - d = -s for d.
1
Let p(w) = 7*w - 2 - 22*w - w**2 - 7. Let r be p(-13). Solve 0 = -4*f + 1 - r for f.
-4
Let g = -425 - -460. Solve -7*m = -0*m + g for m.
-5
Let n be 6/(-27) - 0 - 569/(-9). Let a = 63 - n. Solve 4*m - 12 + a = 0 for m.
3
Let p = -110 + 119. Suppose 0 = w - 5*i - p, 2*i = 4*w - 5*w + 9. Solve -w*c = -12*c - 12 for c.
-4
Suppose 0*o + 3 = -4*o - 3*r, 2 = o - 2*r. Suppose -2*m - 3*q + 3 = -0*m, 3*q - 12 = -5*m. Let g be (-6)/(-3)*m/(-3)*-1. Solve g = -w - o for w.
-2
Suppose x = 9 - 6. Suppose x*b - 14 = 67. Let z = b - 25. Solve -z*y + 7*y + 15 = 0 for y.
-3
Let q be (-2)/7 + 116/14. Suppose 0 = 5*g - 42 - 18. Suppose -l = -n + 2, 0 - g = -3*n. Solve l*w + q = -2 for w.
-5
Let b be 1*7 - (2 - 1). Let c(f) = 5*f + 5. Let s be c(1). Suppose 4*m - 9 = -2*q + 41, m - 2*q = s. Solve m = b*v - 3*v for v.
4
Let n be 4/(-4)*-2*2. Suppose -n*m + 0*m + 8 = 0. Suppose 4 + m = 2*g. Solve 5*l - g*l + 10 = 0 for l.
-5
Suppose -4*k - 12 - 1 = x, -26 = -2*x + 5*k. Suppose i = 3*q - x - 4, -5 = 5*i. Solve 0*p - q = p for p.
-2
Let v be (-25)/(-150) + 106*(-3)/(-36). Solve 7*t - 4*t - v = 0 for t.
3
Let n(x) = x**2 + 3*x + 102. Let t be n(0). Let i = 105 - t. Solve -6 = i*m - m for m.
-3
Let s = -2859 + 2876. Solve -4*w - 25 + s = 0 for w.
-2
Let r be (-10)/(-1) + -2*1. Let n = -43 - -54. Let u be n*1 - (11 + -7). Solve r + u = 5*c for c.
3
Suppose -99*g = -37*g - 1116. Solve g*j = 16*j - 6 for j.
-3
Let d(x) = 111*x + 798. Let c be d(-7). Solve -16 + c = 5*b for b.
1
Let w(l) be the first derivative of l**5/20 + 3*l**4/4 + 7*l**3/6 - l + 7. Let s(g) be the first derivative of w(g). Let i be s(-8). Solve -d = -5*d + i for d.
2
Suppose 0 = 3*u - 0*u + 3. Let w(g) = 6*g**2 + g. Let b be w(u). Suppose -f + 8 = b. Solve -f = -5*t - 13 for t.
-2
Let m be (-84)/(-9)*(-6)/(-4). Let x = m - 10. Suppose x*s = -s. Solve -4*p + 5 + 7 = s for p.
3
Let c(w) = 2*w + 24. Let b(k) = 10*k**3 + k. Let u be (9/6 - 2)*2. Let o be b(u). Let t be c(o). Solve t*n + 4 = 6*n for n.
1
Suppose -2*k - 3*k = 0. Let i(g) = -g**3 - 5*g**2 + 8*g + 45. Let u be i(-5). Solve k*v = -5*v + u for v.
1
Let a be ((-2)/3)/((-2)/15). Suppose -11*w = -a*w. Solve w = -4*z - 0*z - 20 for z.
-5
Let o be 6/(-4) + (-14)/(-4). Suppose 0 = o*z + z. Let h = 7 + z. Solve -h*t - 4 = -3*t for t.
-1
Let c(w) = -2*w**3 - 39*w + 59. Let v be c(0). Solve 15*i + v = 14 for i.
-3
Let z(p) = -3*p**2 - 18*p - 10. Let y be z(-7). Let b = y - -13. Let i be (-2)/(-5) - b/5. Solve 12 = i*g - g for g.
4
Suppose 12 = v + 2*j, -2*v + 8 + 24 = 2*j. Solve -38 = l - v*l for l.
2
Let q(y) = y - 15. Let u(f) = f - 31. Suppose -3*g - 6 = 0, 5*v = 2*g - 0*g - 31. Let p(c) = v*q(c) + 4*u(c). Let k be p(-9). Solve z + k = 5*z for z.
2
Let a(o) = 3*o**2 + 26*o + 20. Let b be a(-8). Solve -p = b*p for p.
0
Let b(s) = s - 3. Let g(j) = -j**2 + 12*j - 5. Let y be g(9). Suppose y = 2*d + 12. Let k be b(d). Solve 6 = -a - k*a for a.
-2
Let h be (37 - 9)/7 + -2. Solve -3 = b + h for b.
-5
Let d(h) = 2*h**2 + 17*h - 7. Let q be d(-10). Solve -5*o - q + 3 = 0 for o.
-4
Let c(z) = 13*z - 10. Let d be c(2). Solve -4*f + 4 = d for f.
-3
Let m = -11 - -16. Suppose 0 = -6*l + m + 13. Suppose l*n = 2*b + 7, -5 = -3*n + b - 0. Solve 0 = x - 0 - n for x.
1
Let o(i) = -2 + 2*i**3 + 1 - 3*i**3 - 7*i + 9*i. 