). Solve -w + 0 - 2 = l for w.
-2
Let g = 3 - 0. Let y = -8 + 7. Let x = g + y. Solve x*u + u - 15 = 0 for u.
5
Let h be 5/10*(0 - 0). Solve h = 3*z + 2*z for z.
0
Let t(g) = g + 8. Let l = 13 - 8. Suppose 13 + l = -3*u. Let n be t(u). Solve j = -1 - n for j.
-3
Let w be 0/(8/4) - 0. Solve 25 + w = 5*b for b.
5
Let a = -3 - -6. Suppose t = -a*t. Let b(x) = -x**3 + 2*x**2 - 1. Let z be b(-1). Solve -z*j - 4 + 2 = t for j.
-1
Let w = 7 + -4. Solve x - w = -2 for x.
1
Let l = 2 - -2. Suppose -4*t - 5 + 21 = 0. Solve t = -4*k - l for k.
-2
Let l be 10/((-77)/14 + 6). Suppose g + 5*n = 30, 4*g - 2*n - 5 = n. Solve -k + g*k = l for k.
5
Let k(c) = -c**3 + 6*c**2 - 5. Let m be k(5). Suppose -2*d = -u - 19, d = 2*d - 4*u - m. Solve 2*j + d = -0*j for j.
-4
Let l(b) = 2*b - 4. Let p be (-2)/3*(-48)/8. Let v be l(p). Solve 2 = v*k - 6*k for k.
-1
Let i be ((-2)/(-4))/(4/8). Solve -i = -5*o + 9 for o.
2
Let g be -15*(4/(-3) - -1). Solve 3 + 2 = -g*o for o.
-1
Let h = -6 - -8. Solve -6*x = -h*x for x.
0
Let j(n) = n**3 - 3*n**2 + 5*n - 3. Let c be j(3). Let x = -8 + c. Solve 6 = 5*o - x for o.
2
Let u = -16 - -36. Solve -5*h + 10*h - u = 0 for h.
4
Let d be 3 - 3/(0 + 3). Solve o - 5 = d*o for o.
-5
Suppose -y = -5*v - 31, -v - 23 = -3*y - 0*v. Let c = 0 - -2. Solve 12 = -c*t + y*t for t.
3
Suppose 4*g = 2*g + 4. Suppose 0 = 7*j - 2*j - 3*c - 28, 0 = 3*c + 3. Solve 3*n = -g*n + j for n.
1
Suppose 0 = -6*x + 4*x + 6. Solve b = -2 + x for b.
1
Let p(z) = -z**2 - 10*z - 8. Let r be p(-8). Solve -5*d + 2 = -r for d.
2
Suppose -5*y = -7*g + 2*g + 10, 0 = 3*y + 2*g + 1. Let v be 0*y/(-4)*-2. Solve v*l + 4 = -2*l for l.
-2
Let r(p) = -p + 5. Let w be r(5). Let z be (-2 - w) + (-3 - -6). Solve z = -4*y + 5 for y.
1
Suppose 0 = -2*j - 1 - 47. Let q be (j/(-16))/(3/4). Let t be (0/2)/(-2 + 0). Solve q*f - 3*f - 1 = t for f.
-1
Let j(p) = p**2 + 7*p - 8. Let w be j(1). Solve w*a = -5*a for a.
0
Let y be 5/15*(7 + -1). Let k be 0 - (-4)/(-2) - -4. Let g be k/(-3) - 16/(-6). Solve -g - 2 = -y*c for c.
2
Suppose -l - 20 = r - 6*r, -5 = -2*r + l. Solve -4*u + 3*u - r = 0 for u.
-5
Let b be (-6)/(-14) + 396/(-42). Let z(c) = -c**2 - 9*c + 5. Let r be z(b). Solve 5*w + r - 15 = 0 for w.
2
Let n = 4 + -4. Let v be 10/((-2)/(-4) + n). Solve 0*d - 5*d = v for d.
-4
Let f be ((-20)/(-4) + -5)*1/1. Solve 4*n = -f*n + 8 for n.
2
Suppose -60 = -3*j - 3*i, -2 - 3 = -i. Suppose 0 = -3*u + j + 3. Solve -u*m + m = 0 for m.
0
Let o be -6*(-1 + (-4)/(-6)). Suppose -o = -4*f + 6. Let m be -1 + (3 - f) - -3. Solve m*j - 9 = -0 for j.
3
Let a(b) = -2*b + 2. Let n be a(-5). Suppose -2*s = s - n. Suppose 13 = s*x + 5*p, 2*x - 2*p + 0 = 2. Solve 0 = o + x*o - 3 for o.
1
Let t = -83 + 117. Suppose -6*s + 7*s = 2*p - 2, 5*s + p = t. Solve -2*x - s = -2 for x.
-2
Suppose -5 + 8 = x. Suppose -x*j + 12 = -0*j. Suppose -5*i - u + 29 = 0, -3*i = i - 3*u - 8. Solve j = -q + i for q.
1
Suppose 0*p + 2*p + 16 = 5*r, -5*p - 5*r + 30 = 0. Let u be ((-1)/p)/(4/(-16)). Solve -4*n - u = 14 for n.
-4
Let d(b) = b**3 - 6*b**2 + 4*b + 7. Let g be d(5). Suppose -4*y = -2*y. Solve -w - w - g = y for w.
-1
Let b be (24/18)/(2/9). Solve -3*w + w = -b for w.
3
Suppose -2*a = x, -8*a = -6*a + 3*x. Solve a = f - 2 + 5 for f.
-3
Let r be -6 + 1 + (-12)/(-6) - -4. Solve u + r = 2 for u.
1
Suppose -2*z + 7 = -3. Let i(k) = k. Let h be i(z). Solve h*o + 16 = 6 for o.
-2
Suppose 2*w - 24 = 2*g, -w - 3*g - 9 = -1. Solve -2*l - w - 1 = 0 for l.
-4
Let m(d) = 6*d**3 - 2*d**2 + 2*d - 8. Let n(a) = -a**3 - a**2 + a. Let t(f) = -m(f) - 5*n(f). Let c be t(6). Solve p = 2*p - c for p.
2
Let d(y) = y - 12. Let s be d(7). Let k = s - -7. Solve 3*g - 5 = -k*g for g.
1
Let r(d) = 2 + d - 2 - 3. Let k be r(7). Solve k*w - 8 = 2*w for w.
4
Suppose -5*t + 5*m + 47 = 4*m, 0 = -t + 5*m - 5. Suppose n + 6 = 4*n. Suppose 4*z = -n + t. Solve h - z = -h for h.
1
Let t be 3/((-9)/30)*-1. Suppose 2*a + 2*f = t, 4*a + 4*f = a + 18. Solve 2*j + a*j = 0 for j.
0
Let u be (0 - 5)*(-16)/10. Let x be (u/(-10))/((-3)/(-15)). Let a be (84/(-9))/x*3. Solve 0 = 4*f + 5 + a for f.
-3
Let l(a) be the third derivative of -5*a**4/6 + a**3/6 + 2*a**2. Let u be l(-1). Let n be -6*(2 - u/9). Solve -n*d = 2 + 4 for d.
-3
Let k(v) = v**3 + 5*v**2 - 6*v + 5. Let s be k(-6). Solve m = s*m + 16 for m.
-4
Suppose 8*t - 2*h - 18 = 4*t, -t + 4*h + 8 = 0. Let a(s) = s**3 + 8*s**2 + s + 4. Let v be a(-8). Let u be (-46)/v - 3/2. Solve -t*i = u + 10 for i.
-5
Suppose 4*y = i - 0 - 4, -4*y + 3*i = 12. Solve 4*p = -y*p - 20 for p.
-5
Let w be (0 + -1 - 3) + -1. Let u = w + 5. Solve u*z = -5*z - 10 for z.
-2
Suppose 3*w = 5*t - w - 44, -5*w = 5*t - 80. Solve -2*v + t = 2*v for v.
3
Suppose -2*h = 2*o + 10, -2 = 4*o + 5*h + 17. Let i be (-18)/(-27) + (-2)/o. Solve -2*f + f = -i for f.
1
Let g(q) = -2*q - 9. Let i(j) = 2*j + 5. Let x(u) = u + 1. Let k(f) = i(f) - x(f). Let y(m) = 4*g(m) + 9*k(m). Let t be y(3). Solve t*s - 3 - 6 = 0 for s.
3
Suppose -3*x + 3 = -0. Let r(w) = -w**2 - 7*w - 7. Let l be r(-6). Let o be (l/(-3))/((-5)/(-15)). Solve -o - x = t for t.
-2
Let c = -40 + 44. Solve i = -i + c for i.
2
Suppose -4*q = -3*q. Suppose 0 = 5*n - 0*g - 4*g - 12, -5*n + 30 = 5*g. Suppose -2*z - 28 = 3*y - 7*y, 2*y + n*z = -6. Solve q = 3*b + y - 2 for b.
-1
Let z be ((-4)/(-12))/(2/18). Suppose 9 = 3*m + z. Solve m - 5 = 3*l for l.
-1
Suppose 0 = a + 3*o - 3, -9 = -3*a - 2*o + o. Solve a*p - 6 = 9 for p.
5
Let g = 193 + -193. Solve -1 = -b - g for b.
1
Let j(r) be the first derivative of r**2 - 10*r - 2. Let c(t) = -t + 10. Let h(y) = 3*c(y) + 2*j(y). Let p be h(7). Solve 5*f + 8 = -p for f.
-5
Suppose y - 17 = -5. Let r(s) = s**2 + 5*s. Let k be r(-6). Solve -3*a + k*a = y for a.
4
Let j(r) = -r - 9. Let z be j(-11). Solve -3*k - 8 = -z for k.
-2
Suppose 5*a = -20, 2*o - 3*a = 9 + 7. Suppose -5*p - 3*i = -2 - 6, -3*p + 20 = -o*i. Solve p*z + 4 + 0 = 0 for z.
-1
Let n(t) = t. Let f be n(0). Suppose c - 4 = -f*c. Suppose -2*u + c = -0*u. Solve j + u = -j for j.
-1
Let j(u) = -7*u**2 - 7*u + 3*u**2 + 3*u**2 + 8. Suppose -8*q + 40 = -13*q. Let m be j(q). Solve -5*a = -5 - m for a.
1
Let r = 15 - 21. Let p be 1/(2 - (-10)/r). Solve p = -k - 1 for k.
-4
Let g(p) = p**3 - p + 20. Let z be g(0). Solve -9*f = -5*f - z for f.
5
Let d(l) = -l**3 - 4*l**2 - 3*l + 4. Let m be d(-3). Solve m = 4*n + 12 for n.
-2
Let p(f) = f - 4. Let y be (-16)/12 - (-68)/6. Let i be p(y). Solve 0 = j - 4*j + i for j.
2
Let a = 11 - 9. Solve 0 = a*j + 2 - 8 for j.
3
Let d(g) = g**3 - 8*g**2 + 7*g - 5. Let b be d(7). Let p = b + 9. Suppose -3*f = -5*x - 11, 2*f + x = f + 1. Solve t - f*t = p for t.
-4
Suppose -5*h = -3*j - 237, -5*h + j = -0*h - 229. Let q = h - 29. Solve -2*m - 2*m - q = 0 for m.
-4
Let k = 26 + -44. Let m be k/(-4) - 3/(-6). Suppose -4*x + l = -4, 0*x - m*l = -3*x - 14. Solve -4 = -x*z + z for z.
4
Let d = 286 + -266. Let y be ((-1)/(-1))/(2/6). Solve -y*u = -7*u - d for u.
-5
Let b(z) = 2*z - 27. Let f be b(15). Solve 0 = 3*q - 4*q + f for q.
3
Let d(v) = v**2 - 4*v. Let r be d(4). Let h be (1/((-2)/(-10)))/1. Let q be (h - 1)*1/2. Solve r = -q*z - 2*z for z.
0
Let c(q) be the second derivative of q**4/24 - 3*q**3/2 + q**2/2 - 2*q. Let u(l) be the first derivative of c(l). Let r be u(9). Solve -3*y + 5*y - 8 = r for y.
4
Suppose -5*l + 39 = -2*l. Solve 0 = 5*r + l + 12 for r.
-5
Let o be -9 + (-3 - -1)*-1. Let w = o + 7. Solve 4*u + 12 + 8 = w for u.
-5
Suppose 0 = -4*z + 4*u + 12, -u + 1 = 2*z - z. Solve 0 = 3*q - 5 + z for q.
1
Let n = 145 + -138. Solve 0 = -3*j + n*j for j.
0
Suppose 3*g + 4*f - 18 = 0, f + 21 = 3*g - 12. Let v be (-8)/(-6)*45/2. Solve 4*a + g = v for a.
5
Suppose 21*v - 20 = 17*v. Solve 0 = -2*l - v + 1 for l.
-2
Suppose -z + 1 = 2*h - 12, -5*z = -2*h + 7. Solve 0 = -h*q + 3*q for q.
0
Suppose 11 + 9 = 4*i. Solve -4*x + i = -15 for x.
5
Suppose -4*b - x + 18 = -23, -5*x = 2*b - 25. Let s = 0 - b. Let o be (-52)/s + (-1)/5. Solve -3*d = 2*d + o for d.
-1
Let w(s) = 15*s**2 + 8*s + 4. Let x be w(4). Let m be x/96 - 1/(-8). Solve r + 0*r - m = 0 for r.
3
Let w(d) = d + 1. Let a be w(4). Suppose 28 = a*r - r. Suppose -8*k + 150 = 2*k. Solve 4*o = r - k for o.
-2
Suppose -60 = -7*a + 4*a. Suppose y + 3*k - 15 = 0, y + y + 4*k = a. Solve -o = -y*o for o.
0
Let f = 13