. Let g = 7 + a. Let x = 3 + -3. Solve -g = -5*w - x for w.
1
Let q(b) = b**3 + 9*b**2 - 3*b - 5. Let l be q(-9). Suppose 2*y = -4*z + l, -y + 2*y - 11 = -3*z. Solve 3*s + y = -1 for s.
-4
Suppose 16 - 6 = 5*f. Solve -f*i + 2 + 2 = 0 for i.
2
Let f = -9 + 14. Suppose -w = -3*w - 4, -c + 12 = -4*w. Solve -c*j + 3 = -f for j.
2
Let k be -3 + -5*(-3 + -3). Let b = k + -24. Solve b = -4*p + p for p.
-1
Let n(l) = 1 + 1 - 3*l + 2*l. Let v be n(2). Suppose -5*i + 6*i - 4 = v. Solve 0*a = -i*a + 16 for a.
4
Suppose 2*g - 2*w - 4 = 0, 3*w = 5*g + w - 10. Suppose 0*f - 28 = -3*y + g*f, -y = -5*f - 18. Let m = y + -8. Solve 0 = 3*x - m*x - 6 for x.
2
Let v(k) be the first derivative of 1/3*k**3 + 1 + 5/2*k**2 + 6*k. Let x be v(-4). Solve 4 = x*m - 0 for m.
2
Let n(z) be the second derivative of -z**4/12 + 5*z**3/6 - 5*z**2/2 - 2*z. Let k be n(4). Let p be (0 + 2 + k)/1. Solve -s + 1 = -p for s.
2
Let z = 3 - 3. Let n(x) = x**2 + x + 2. Let c be n(z). Solve -c*y + 3*y + 2 = 0 for y.
-2
Let c = -14 + 14. Let p be (c - -9) + (-1 - 2). Solve -s + 10 = -p*s for s.
-2
Suppose -2*y = 3*y. Let n be (0 + -1)*(-2 + y). Let o be 1 - (1 - (6 - n)). Solve -j - o = -0*j for j.
-4
Let r = 83 - 81. Solve r*t + 2*t - 20 = 0 for t.
5
Let z(y) = y + 8. Let p be z(-7). Let x = 2 + p. Solve 2*a = x*a + 5 for a.
-5
Let c = 5 + -5. Suppose -5*y + 10 + c = 0. Suppose 0 = v + 4, -4*v - 20 = -y*t + 6. Solve 0*z = t*z for z.
0
Let m be 1 - 1 - 30/(-10). Solve 2*z = m - 5 for z.
-1
Let p = -118 + 122. Solve -p + 0 = 2*h for h.
-2
Let g(b) be the second derivative of -b**3/6 + b**2 - b. Let t be g(2). Suppose -11*q + 6*q = -15. Solve q*k = -t*k for k.
0
Let r = 78 + -76. Solve a = r + 1 for a.
3
Suppose -4*t + 3*t = -2. Solve 0*d - 2*d = -t for d.
1
Let y be 2/(-5) - (-124)/10. Suppose 3*j - y = -0*j. Solve -3 = j*n + 17 for n.
-5
Let m(r) = r + 20. Let f be m(-17). Solve 0 = 8*o - f*o + 5 for o.
-1
Let p(y) = y**2 + 11*y - 10. Let z = 10 + -22. Let m be p(z). Solve -m*w = 1 + 3 for w.
-2
Let x(p) = -p**3 + 6*p**2 - 4*p - 1. Let s be x(5). Let d(w) = w + 9. Let z be d(6). Suppose -5*t - z = -10*t. Solve s = -r - t*r for r.
-1
Let v(m) be the second derivative of -m**3/6 - 7*m**2/2 + 2*m. Let y be v(-6). Let u = y - -4. Solve 0*w - u*w + 15 = 0 for w.
5
Suppose -3*v - 99 = -3*o, 22 = -2*v + o - 46. Let i = v - -61. Solve 11 = -3*b + i for b.
5
Let k be (1 + 1)*7/14. Solve y = -2 - k for y.
-3
Suppose -2*t - 2*t + 8 = 0. Suppose -5*c - 28 = -u, -5*u - 5*c + 9*c + 56 = 0. Solve 0*z = -t*z + u for z.
4
Let t(v) = -2*v - 2. Let z be t(-3). Suppose -z*a + 3 + 9 = 0. Solve 4 = a*p - 2 for p.
2
Let y(s) = -s**2 - 5. Let i be y(4). Let n be (i/6 - -3)*-4. Solve 12 = -n*v - v for v.
-4
Suppose 2*s + 15 = 6*s + 5*c, 12 = 5*s + 4*c. Solve 4*x + 8 = -s for x.
-2
Suppose -4 = 4*k - 2*k. Let a = k + 2. Solve a*h = 5*h - 5 for h.
1
Let n(a) = a - 13. Let k be n(16). Solve 7*g = k*g - 8 for g.
-2
Suppose -p - 3*c = -14, 3*c - 9 + 0 = 0. Solve -p + 3 = l for l.
-2
Let b = 1 + 0. Let n(p) = -4*p + 0*p + 10 + 3*p. Let a be n(8). Solve -a*d = -d + b for d.
-1
Suppose -60 = -4*o - 8. Let z = 20 - o. Solve -4*s - z = 1 for s.
-2
Suppose -5*m = 2*x - 25, -4*m + 0*x = -2*x - 2. Suppose -3 = m*u, -5*u - 5 = -3*d + 6. Let i(v) = v**2 + 3*v - 1. Let c be i(-4). Solve 0 = p - c - d for p.
5
Let x(w) = w**2 + 8*w + 13. Let i be x(-7). Solve -2*q + 0 - i = 0 for q.
-3
Let z be 9/1 - (-12)/(-3). Let j = -1 - -3. Suppose -j*q + 17 - 3 = 0. Solve 2*b + z = q*b for b.
1
Let a(v) = -2*v + 24. Let d be a(9). Solve -1 = -d*u + 7*u for u.
-1
Let q(n) = -n**3 + 2*n**2 + 3*n. Let p be q(3). Solve -4*k - 3 - 1 = p for k.
-1
Let a(o) = o**2 + 4*o - 5. Let b be a(-6). Let x = 11 - b. Suppose -4*r - 1 - 3 = 0, -5*u = x*r - 1. Solve -4*d = u + 15 for d.
-4
Suppose -4*z = 7 - 19. Suppose -1 = 3*v - 4. Solve z*t - v = 11 for t.
4
Let u be (-4)/20 - 78/10. Let n(j) = j**3 + 7*j**2 - 9*j - 4. Let w be n(u). Let f be (-2)/w - 14/(-4). Solve f*g + g - 20 = 0 for g.
5
Suppose 0 = -4*p + 5*p - 8. Solve p = -d - d for d.
-4
Suppose -2*s - 3*s = -2*h + 33, 3*h - 4*s = 32. Suppose -4*t + t + 37 = 2*r, -h*t + 36 = 2*r. Let p = 4 + -1. Solve 2*y = -p*y + r for y.
4
Let s be (-20)/(-6) - 9/((-27)/2). Solve 2*g = s + 4 for g.
4
Suppose 69 = -5*j - 151. Let i be j/(-12) + 1/3. Solve 0 - i = y for y.
-4
Suppose -35 + 26 = -3*w. Solve -q = -w + 4 for q.
-1
Suppose 24 = -0*h - 4*h. Let f = h + 7. Solve t + f + 1 = 0 for t.
-2
Let s be ((-2)/(-2))/((-2)/14). Let n(p) = p**3 + 6*p**2 - 8*p - 5. Let w be n(s). Solve w*v = -0*v - 2 for v.
-1
Suppose 6*x - x + 5 = 0. Let l(w) = 4*w**3 - w**2 - w. Let c be l(x). Let z be c/6*3/(-2). Solve 0*h - z = -h for h.
1
Let r(k) = -k**3 + 6*k**2 + 2*k - 3. Let g be r(6). Let j be g/(-6)*(-24 - 2). Suppose -j = z - 4*z. Solve -2*m - z + 5 = 0 for m.
-4
Let g(d) be the second derivative of -1/3*d**3 - 1/12*d**4 - 1/5*d**5 - 1/2*d**2 + d + 0. Let j be g(-1). Solve 3*h - j = -19 for h.
-5
Let r = -1 + 9. Let s(v) = 2*v - 12. Let o be s(r). Solve 10 = -o*i - i for i.
-2
Let g = 10 - 8. Solve -4 = -g*a + 6 for a.
5
Let r(p) = p**3 + 3*p**2 + 2*p + 2. Let w be r(-2). Solve -w - 2 = 4*g for g.
-1
Suppose 3*z = z. Let b(a) = -a**2 + a + 8. Let r be b(z). Let d be (-13)/(-3) - (-4)/(-12). Solve -d = 4*f - r*f for f.
1
Let c be ((-1)/3)/(7/(-21)). Let b be 3*(-2)/(-3) + c. Solve -b*t - 1 = -4*t for t.
1
Let b be -3*1 + 2 + 6. Let x = b - 2. Solve -x*m - 12 = m for m.
-3
Let w be 5/20 + 22/8. Let y = 3 + w. Solve -2*b + y + 2 = 0 for b.
4
Let p be 2*(3 + 21/(-6)). Let j = 1 + p. Solve j*r = 5*r for r.
0
Suppose -3*x = -u - 0*x + 11, -3*u + 27 = -3*x. Suppose 0 = -a - a + 16. Suppose -3*g + v = -u*g + 6, -3*v - a = 2*g. Solve -g*t + 6*t = 0 for t.
0
Suppose -2*w - 2*j + 5*j + 1 = 0, -5*j - 5 = -5*w. Solve -u = -w*u for u.
0
Let i(o) = o - 4. Let l be -10*(1 - (-6)/(-3)). Let h = l - 6. Let s be i(h). Solve 3*c = -s*c - 9 for c.
-3
Let q be 4/6*(-42)/(-4). Let o(u) = u**2 - 11*u - 7. Let p be o(11). Let v = p + q. Solve -3*h = -v*h for h.
0
Let i be (-1)/(-4) - 21/4. Let n(x) = x**2 + x - 5. Let q be n(i). Let h be ((-6)/q)/((-1)/5). Solve 2*m = -h*m + 12 for m.
3
Let a(s) be the first derivative of -s**4/4 - 5*s**3/3 - s**2 - 6*s + 1. Let d be a(-5). Solve -2*z + d*z - 6 = 0 for z.
3
Suppose 0*m - 2*m + 12 = 0. Let p be m/9*(8 + 1). Let b be (5*4)/(-1 + 2). Solve -o - b = -p*o for o.
4
Let s(r) = 2*r**2 + 2*r. Let o be s(-2). Suppose 0 = -o*m - m. Solve -c - 2 + m = 0 for c.
-2
Let z(v) be the third derivative of v**5/60 + v**4/24 + v**3/2 - v**2. Let f = -10 + 10. Let g be z(f). Solve g = 4*h - 1 for h.
1
Let q be 6/9*6/4. Suppose -1 = -m + q. Solve -4*a + m = -2*a for a.
1
Let b be 4 - (3 - 2/1). Solve 0 = 2*m + b*m - 5 for m.
1
Let c be 10/3 - 4/(-6). Let g be -86*3/6*-1. Suppose -3 = 5*a - g. Solve a = -o + c for o.
-4
Let n = 20 + -16. Suppose 0 - 72 = -5*v + 3*y, -n*y + 49 = 3*v. Solve -v - 5 = 5*f for f.
-4
Let n(t) = -t + 7. Let p be n(7). Suppose 3*m - 18 = -q, -2 = -m + 3. Solve p*w + 12 = -q*w for w.
-4
Let q(p) = p**3 + 4*p**2 + p. Let u be q(-3). Suppose -3*t + 23 = 4*l, 3*l - 5*t = -2 - 17. Suppose 0 = -l*k + 6 + u. Solve -2*z + 0*z = k for z.
-3
Let f(q) = -q**2 + 4*q. Let x be 8/3*12/8. Let j be f(x). Suppose i = -4*a + 8, 2*i - 2*a + 4 = -0*a. Solve j*w - w + 3 = i for w.
3
Suppose 0 = 19*h - 20*h + 9. Solve 5*r + h = -11 for r.
-4
Let g be (-315)/(-65) - 4/(-26). Suppose 2*u = -g + 13. Suppose 3*a - u - 2 = 0. Solve -3*p + a*p + 4 = 0 for p.
4
Suppose 4 = 4*p - 0. Suppose -5*u - p + 21 = 0. Solve -u*a + 4 = -3*a for a.
4
Suppose 2*c + 2*c = 8, -5*x + 7 = -4*c. Solve -o + 0 = x for o.
-3
Let x(z) = z**2 - 12*z. Let m be x(12). Suppose -5*c + c + 8 = m. Solve 0 = -2*t - c*t + 8 for t.
2
Let y be ((-150)/(-12))/((-2)/(-8)). Let v be (y/(-6))/((-17)/51). Solve -2*x + v = -7*x for x.
-5
Suppose 0 = -7*v + 3*v. Solve v = -4*i + 15 + 1 for i.
4
Suppose 5*p - 3*y = -90, 4*y + 4 - 24 = 0. Let k = -10 - p. Solve 0*n + k = -n for n.
-5
Suppose 0 = 3*c + 2*c. Let v(d) = 6*d**2 - 4*d**3 + 9*d**3 - 5*d**2. Let t be v(1). Solve -h - h - t = c for h.
-3
Let c = 6 - -4. Suppose -5*n + c + 5 = 0. Solve 0 = n*u - 8*u for u.
0
Let d(m) = -3 - 2 + 0 + m + 7. Let x be d(2). Solve -5*j + x = -6 for j.
2
Let f = 7 - 2. Suppo