 3*d + 22 = w, 2*d + 5*w = d - 2. Let t = d - -7. Solve 3 = -o - t*o for o.
-3
Let j(z) = -z - 3. Let m be j(-3). Let v = 0 + m. Let c be 3*-1*(-4 - -3). Solve -2*u - c + 7 = v for u.
2
Let d = 9 - 6. Let h = 13 - d. Solve p = -p + h for p.
5
Suppose -1 = -4*f + 5*v + 8, -6 = -2*f + 4*v. Let b = 8 - f. Solve -19 = 4*r - b for r.
-3
Let s(z) = -2*z + 6. Let x be s(5). Let d be (-1 - x/8)*0. Solve 4*b + d = 8 for b.
2
Let p be (-4)/2*(-1)/2. Let r = -257 + 261. Suppose 14 = -0*c + 2*c. Solve c = r*o - p for o.
2
Let x be 11 + -4 + 3 + (1 - 0). Solve -3*s + 4 = -x for s.
5
Let g(a) = -a**2 - 16*a - 14. Let p be g(-14). Solve -p*j + 17*j = 6 for j.
2
Let z = -70 - -72. Solve -3*q - z*q = -10 for q.
2
Let g be 3 + 2 + -4 + -1. Solve 5*z + g = 5 for z.
1
Let p = -6 - -20. Suppose 0 = -5*l + p - 4. Suppose -2*s + 6*s = l*o + 4, 4*o - 1 = -s. Solve s + 5 = -2*b for b.
-3
Suppose 3*m - 2*r - 5 = -0*r, -3*r = -4*m + 7. Let b(v) = -3*v - 9. Let w be b(-6). Let g be (-1)/((-3)/(w/m)). Solve 7 = -g*k + 1 for k.
-2
Let o(j) = 3*j**2 - 4*j - 2. Let q be o(2). Solve k + q = 6 for k.
4
Let d(t) = -2*t + 2*t + 70 - t. Let n be d(0). Let u be 12/10*n/4. Solve -5*i = -u - 4 for i.
5
Let k(b) = 4*b + 1. Let g be k(2). Let q be g/(-15) + 9/15. Suppose 2*p = -5*f + 15, q = -f - 2*f + 9. Solve 16 = 4*a - p for a.
4
Let a(x) = -2*x - 4. Let d be a(-6). Let k(m) = -2*m**3 - 3*m + 2*m**3 - d*m**2 - m**3 - 9. Let o be k(-8). Solve 0 = -4*u + 1 + o for u.
4
Let d(h) = -h - 10. Let o be d(-14). Suppose -4*b + 2*b - 15 = -5*k, 4*k - 14 = 2*b. Solve o*n - k = -21 for n.
-5
Let i = 12 - 11. Let h be ((-10)/4)/(i/(-2)). Solve -4*p = p - h for p.
1
Let t(n) = 2*n**2 + 4*n. Let j be t(-3). Let f(b) = 3*b + 7 + 0 - b**2 + 0*b**2 + 4*b. Let v be f(j). Solve -5*q = -v + 33 for q.
-4
Let a be 0 - 468/(-33) - 2/11. Solve -1 = -5*y + a for y.
3
Suppose 0 = i + i - 4. Suppose 3 = v - i. Suppose -25 + v = -5*f. Solve -d = -f + 2 for d.
2
Let l(y) = -2*y - 6. Let q(w) = 3*w + 11. Let b(j) = 5*l(j) + 3*q(j). Let d be b(-8). Solve 5*k + d = -14 for k.
-5
Let p(v) = v**2 - 11*v + 14. Let x be p(10). Let k = -1 + x. Solve k*q = -5 + 2 for q.
-1
Suppose -5 = -2*a + 1. Solve 2*x + 1 = a for x.
1
Let l(y) = -y**2 + 3*y + 5. Let n be l(4). Let u(m) = m**3 - 6*m**2 - 8*m + 8. Let t be u(7). Let s be n*(2 - t - 1). Solve s = 4*x - 4 for x.
1
Let w(u) = u**3 + 5*u**2 + 4*u. Let t be w(-4). Solve t = p - 5 for p.
5
Let v(b) = -b**2 - 5*b - 2. Suppose -5*u + 4*x - x + 13 = 0, -2*x - 4 = -u. Let c be (-1 - u)*(-2 + 3). Let o be v(c). Solve o = -l + 1 for l.
-3
Suppose -27 = -3*l - 0*l. Let f = l + -5. Solve f*z - 5 = 3 for z.
2
Let y = 6 + -3. Suppose 0 = y*u - 3*t - 9, -4*u - t + 6 = -3*t. Solve -4 = 2*b - u for b.
-2
Let s(p) = p**3 - 3*p - 2. Let f be s(2). Solve f*g + 2 = -g for g.
-2
Let n be (3/9)/((-2)/12). Let k be 2 - (n - -2) - 1. Solve -d - 2 = k for d.
-3
Suppose 3*v - 5*d - 34 = 3, -3*v = 5*d - 17. Solve 2*s - v = 5*s for s.
-3
Let j be 6 - 3 - 2 - -6. Let f(u) = -u**2 + 7*u + 3. Let m be f(j). Solve m*y = 1 - 10 for y.
-3
Let k(m) = m**2 - 6*m - 1. Let c be k(7). Solve c = r + 1 for r.
5
Suppose -4*c + 7 = -17. Suppose c*s - s = -25, -q - 5*s - 30 = 0. Let k = 8 + q. Solve 0 = p + k*p - 20 for p.
5
Suppose -5*c + 6 = 2*u - 0*c, -2*u - 3*c = -6. Solve u*o - 7*o = -8 for o.
2
Suppose 3*u = 2 + 7. Suppose 4*f + u = 4*j - j, f = 3*j - 3. Solve r + j = -1 for r.
-2
Let p = 0 + -1. Let z be ((-1)/1 - -1)*p. Solve z = -0*q + 2*q for q.
0
Suppose -15 = -w - 4*u, 5*w - 4*u + 2*u - 31 = 0. Suppose -w*g - 18 = -m - 2*g, 4*m - 5*g = 27. Solve 3*s - m - 9 = 0 for s.
4
Suppose 0 = 3*q + 3*q - 18. Solve -q = 3*u + 6 for u.
-3
Let o = -1 + 6. Suppose -4*j = -3*j + 5*m - 10, -4*m = -2*j + 6. Let t = -61 - -81. Solve -t = j*u - o for u.
-3
Let o = 14 - 12. Solve -2*w - o = 2 for w.
-2
Let v be 1/(0 + 3/(-6)). Let z be 5 + (0 + 2)/v. Suppose z*i - 2*n - 10 = 0, 15 = -0*i + 3*i - 3*n. Solve i*d = 4*d - 12 for d.
3
Suppose 5 - 28 = -3*t + 5*v, 0 = 4*t + 5*v + 16. Suppose 0 = -q + t + 2. Let b = -3 - -7. Solve b*a + q = a for a.
-1
Suppose -l = 5*a - 30, 5 = 2*l - 2*a - 7. Suppose -5*q + 0 = -l. Let s(v) = v**2 - v. Let r be s(q). Solve -j - r = -1 for j.
-1
Let s(w) = -w**3 + 18. Let p be s(0). Suppose -2*m + i = m - 87, m = 4*i + p. Suppose -4*b + b = -m. Solve -2 = -3*y + b for y.
4
Let l(k) be the first derivative of k**4/4 - 5*k**3/3 + k**2/2 - 4*k + 2. Let u be l(5). Let y be -4*u/(-2) + -2. Solve y = -p - p - 2 for p.
-1
Let b be (-1 + -5)/3 + 5. Suppose 7 = -b*z + 13. Solve 3*y = z*y - 3 for y.
-3
Suppose 3*u + 24 = -3*n, -u = -0*u + 3*n + 12. Let b = u + 9. Solve -b*i + 12 = i for i.
3
Let s be (-2)/(-2)*(8 - 8). Solve -i - 3*i - 8 = s for i.
-2
Let y(g) = -g**3 + 8*g**2 - g + 8. Let v be y(8). Let l be v*(-1)/(-2)*-1. Solve l = k + k - 4 for k.
2
Suppose 0*c = -5*c + 5*u + 20, -3*u = 12. Solve 0*d + 3*d = c for d.
0
Let f = 2 + 0. Suppose 5*u - 15 = -0*u. Solve -f*z - u*z = 20 for z.
-4
Suppose 0 = -n + 5*o - 21, -5*n - 2*o = -16 - 14. Solve 2*r + 2*r = -n for r.
-1
Let j(m) = m + 7. Let t be j(-3). Let x = t + 6. Solve k = -k + x for k.
5
Let t(c) = c**2 + 13*c - 11. Let a be t(-14). Suppose y + 204 = -3*y. Let d = -34 - y. Solve -d - a = 4*n for n.
-5
Let a(d) = d**2 + 23*d + 25. Let g be a(-22). Solve g*p - p + 4 = 0 for p.
-2
Let u(x) = x**3 - 2*x**2 - x + 1. Let g be u(3). Solve 6 = -5*f + g*f for f.
3
Let m(v) = -v**3 + 4*v + 3. Let y(t) = 2*t - 2. Let f be y(0). Let c be m(f). Solve -2*r = c*r - 25 for r.
5
Let w(d) be the first derivative of -d**3/3 - 5*d**2 - 9*d + 1. Let g(f) = -f**3 - 4*f**2 + f + 3. Let s be g(-3). Let n be w(s). Solve -k = -n + 3 for k.
-3
Suppose 0 = 4*n - 9 - 3. Solve n*f = -f - 20 for f.
-5
Let o be ((-4)/(-6))/(2/30). Solve 3*m = o - 4 for m.
2
Let s = -154 - -158. Solve d = -s*d for d.
0
Let r = 16 + -16. Solve 2*l + r = 2 for l.
1
Let c(o) = o + 10. Let t be c(-8). Let b be (9 + -4)/(t/4). Solve 5*z + b = -15 for z.
-5
Suppose -o - 4 = o. Let w = 1 - o. Let g be 2 + 2*w + 2. Solve -4*p = -g - 10 for p.
5
Let o = -7 - -9. Suppose 5*q + 16 = 4*y, q = -3*q + 16. Solve o*a + a = -y for a.
-3
Let x be ((-8)/(-4))/((-3)/(-6)). Solve -x*y + 2 = -14 for y.
4
Suppose -3*l = -0*l - 9. Suppose 0*n - 14 = -2*n. Let b = -1 + 1. Solve -n*w + l*w = b for w.
0
Let h = -1 - -1. Suppose k + 18 = 4*n, -2*n + 2 = -4*k - h. Suppose 5*g = 5*w + 8 - 3, g - 19 = -n*w. Solve -4*x + w = 23 for x.
-5
Let n = -2 - -7. Suppose 4*c = -v, 2*v + n*c = 3*v - 9. Solve -v*t - 12 = -0*t for t.
-3
Let q = -25 + 27. Solve f = -q*f - 9 for f.
-3
Let h = 159 - 154. Solve 0 = n - 6*n + h for n.
1
Let b(j) = -j**2 + 5*j - 4. Let o be b(3). Let i = 3 + o. Suppose 3*g - 20 = -i. Solve g - 1 = y for y.
4
Suppose -6*k + 5*k = -5. Let m(t) = -2*t + 1 + 3 - k. Let g be m(-2). Solve -9 = -6*o + g*o for o.
3
Let m = -3 - -3. Solve m = -5*k - 3 - 22 for k.
-5
Let v be 10/(-6)*-3*1. Let y(x) = -x**2 + 5*x + 6. Let s be y(v). Let r be (-40)/(-15) - 4/s. Solve 2*b - 8 = -r*b for b.
2
Suppose v + 103 = 5*c + 4*v, -v - 119 = -5*c. Suppose 3*t - 2*t - 4*w = c, -3*w = -5*t + 81. Solve 0 = f + 4*f + t for f.
-3
Suppose 4*n + 6 = s + 26, 4*n - 40 = -4*s. Let b(l) = l**3 - 5*l**2 - 8*l + 6. Let j be b(n). Let u be ((-38)/j)/(4/12). Solve u = -3*h + 7 for h.
-4
Let a = -4 + 9. Solve 8 = a*b - 2 for b.
2
Let l = 126 + -121. Solve 0 = l*f - 9*f for f.
0
Let b be (-2)/(-4)*(-16)/3*-3. Solve p = 5*p + b for p.
-2
Let l be 2 - 2/(-4)*0. Solve 2*w = -l*w for w.
0
Let c(p) = 10*p - 2. Let k be c(2). Solve 5*z = -k + 43 for z.
5
Let o = 4 + -2. Let z be 2 - ((2 - o) + -2). Suppose -z*t = t. Solve t*q = -2*q for q.
0
Let i be (5 - 6)/(2*3/(-60)). Solve 4*j + 30 = i for j.
-5
Suppose -6*y + 12 = -2*y. Solve 0 = 2*d + y*d + 20 for d.
-4
Let l(a) = -3*a**2 + 2*a**3 - 3*a**3 - 2*a**2 + 5*a + 4. Let n(j) = j**2 - 12*j + 5. Let u be n(11). Let o be l(u). Solve 0*c - o = 5*c for c.
-2
Suppose 5 = 2*k + 3*k. Solve -s - k = -3 for s.
2
Let c be (-24)/(-14) + 2/7. Suppose c*t + 3*t = 25. Suppose 3*p = p - t*h + 15, 4*h = -2*p + 12. Solve p = 2*y + 4 + 2 for y.
-3
Suppose 15 = -q - 2*q, 2*w - 24 = -2*q. Solve -3*u = -8 + w for u.
-3
Let z(f) = f**2 - 7*f + 9. Let j be z(6). Suppose -14 + 5 = -j*v. Solve v*a - 6*a + 6 = 0 for a.
2
Let d be 