 = w - 2. Let t be b(4). Let y be h(t). Let i be 1/y + 244/16. Solve -5*f + i = -0*f for f.
3
Let q be (-4)/6 - 34/(-6). Let g(x) = -x**3 - 7*x**2 + 6*x. Let c be g(-8). Solve -q*a + c = -a for a.
4
Suppose 4*o = 2*u + 10, 0 = -5*o + 4*u + 9 + 5. Solve -z = -3*z - o for z.
-1
Let y(u) = u**3 - u**2 - 1. Let o be (-1)/(-2) - 6/4. Let z(a) = -a + 1. Let h be z(o). Let k be y(h). Solve -k*t = -0*t for t.
0
Let t(w) = -w**2 - 11*w. Let b be t(-11). Let x(a) = -2*a - 4 + 1 + b. Let m be x(-3). Solve m + 3 = 2*l for l.
3
Suppose -2*k = 4*o - 12, -5*k - 12 = 5*o - 32. Solve 8*c - 7*c = -o for c.
-2
Let t(f) = -5*f. Let c(x) = 6*x. Let a(z) = -4*c(z) - 6*t(z). Let v be a(5). Suppose 3*m = v + 6. Solve -l = 3*l - m for l.
3
Let u(t) = t. Let y be u(1). Suppose -h = -5*n + 17, 7*n - 3*n = 5*h + y. Solve 2*c = -c + h for c.
1
Suppose 0*s = -5*s. Let i = 0 - s. Solve i = 4*v + 3 + 1 for v.
-1
Suppose 0 = -0*v - 2*v. Suppose r + 3*r = v. Solve 5 = -r*d - 5*d for d.
-1
Suppose -3*y - v - 4*v + 169 = 0, -3*y - v = -149. Let u = -23 + y. Solve -2*b = -7*b - u for b.
-5
Let h = 22 + -14. Let c = h + -5. Solve 0*f + c*f = 12 for f.
4
Let w = -101 - -111. Solve -3*h = 2*h - w for h.
2
Suppose 2 - 20 = -9*n. Solve -12*s = -11*s + n for s.
-2
Suppose -5*y + 2 = t - 11, 0 = -t + 3. Suppose 0 = 3*q - 5*q + y. Solve 0*j = -j + q for j.
1
Suppose 0 = 3*s - 113 + 8. Let j = s + -24. Solve -4*l + 9 = -j for l.
5
Let k be (-106)/(-6) + (-4)/(-12). Let t be 0*3*3/k. Solve t = 3*d - d + 10 for d.
-5
Let m(z) = 2*z**2 - z. Let g be m(2). Let b = 6 - g. Solve -4*y + 15 + 1 = b for y.
4
Let z = 12 - 12. Solve -2 + z = -l for l.
2
Let f(m) = 2*m - 11. Let j be f(8). Let i = 17 + 13. Solve j*l - i = -5 for l.
5
Let u be ((-3)/9*0)/(-2). Let p be (-143)/(-5) + 6/(-10). Solve -4*c - 12 + p = u for c.
4
Let c = 17 + -15. Suppose -c*q - 13 = -5*a, -3*q = 2*q + 20. Solve 2*i - 1 - a = 0 for i.
1
Let i(h) = -h**3 - 6*h**2 - 5. Let a be i(-6). Let c be 2/a + (-34)/(-10). Solve 0 = -5*l + c*l + 8 for l.
4
Suppose 2*r + 8 = 0, -16 = -3*k - 2*k + 4*r. Let c be (-6)/4*(-2)/3. Solve k = -h - c - 1 for h.
-2
Let p(x) = x + 10. Let y be p(-8). Let i be (5/2 - y)*0. Suppose -o = 2*w - 1, 5*o = 3*w - i*o - 21. Solve -n - w*n = -12 for n.
4
Suppose -5*u + 21 = 2*u. Solve -4*o - u = -3*o for o.
-3
Suppose 2*k = -k. Let f = 0 - 0. Suppose k*j - j = f. Solve j = -t + 4*t for t.
0
Let o be (-2 - 4)/((-1)/6). Suppose 3*m + 2*s + 1 = -3*s, 0 = 5*m - 5*s - 25. Suppose 3*l - g = 7, 0 = -m*l - l - 4*g + o. Solve 5 = -k - l*k for k.
-1
Suppose 5*c = -0*c - 115. Let t be -2 + (-1 - c)/1. Solve 0 = 2*w + 3*w - t for w.
4
Let d = 51 - 26. Solve 0 = 5*f - d for f.
5
Suppose 2*g - 4*y = 24, 5*y = -2*g - 26 + 5. Solve 7 = -v + g for v.
-5
Let a = -2 + 5. Suppose 20 = 6*u - u. Let t = u - a. Solve 2*s - 3 = -t for s.
1
Let k = 108 - 104. Solve -q - k*q = -25 for q.
5
Let d(h) = -7*h. Let y = 7 + -5. Let o be d(y). Let c = -10 - o. Solve c*m = 2 + 2 for m.
1
Let m(z) = 9*z. Let v be m(1). Let t = 16 - v. Solve -2*u + 25 = -t*u for u.
-5
Let v(d) = -d**2 - d. Let y(h) = -4*h**2 - 3*h - 1. Let l(q) = 5*v(q) - y(q). Let j be l(-3). Let g be (4 - j) + (2 - 4). Solve -g = -6*m + 2*m for m.
1
Suppose -2*z = -3*r - 7 - 6, 5*z - 4*r - 22 = 0. Solve -7 - 3 = -z*i for i.
5
Let v = 19 - 19. Solve 3*g - 3 = -v for g.
1
Let v(g) = 3*g**2 - 6*g + 8. Let k(b) = -4*b**2 + 7*b - 9. Let w(p) = -4*k(p) - 5*v(p). Let h be w(-4). Solve 0 = h*l - 0*l - 4 for l.
1
Let b(r) = r**3 + 3*r**2 - 2. Let g be b(-2). Let s be 350/75*6/4. Suppose g*t - s = 1. Solve 0 = -t*u - 6 - 2 for u.
-2
Suppose 12 = 2*k + 2*p, 0 = 2*k - 3*k + 5*p - 18. Suppose k*m - 12 = m. Solve -m + 0 = 4*g for g.
-3
Suppose -5*f + j = -5 + 27, 3*f + 2*j + 21 = 0. Let x = f - -5. Solve x = 4*b + 5 + 3 for b.
-2
Suppose 8*f - 2*u = 5*f - 6, 3*f = 5*u - 15. Suppose -15 = -5*y - 3*r, 4*r - 15 = -5*y - 0*r. Suppose -l - y*l = f. Solve l = -2*d - 2*d - 4 for d.
-1
Let s(f) = -f**2 + 15*f + 19. Let n be s(16). Solve 12 + n = 3*c for c.
5
Let j = -1 + 3. Suppose -12 = 3*y + 3*q, -2*y + j*q = -2 - 6. Suppose o - 1 + 2 = 0, 0 = -3*h - 2*o + 19. Solve y = 3*w + 1 - h for w.
2
Let n be (-3)/(-12) - (-7)/4. Solve -3*u - n = 7 for u.
-3
Let h be (-6)/(-2) + -5 - (-6 + 2). Solve 0 = d - h*d for d.
0
Let x(w) = -w - 20. Let i be x(-21). Solve i = -2*b + 5 for b.
2
Let q = 10 + -20. Let o(j) = -j**2 - 9*j + 12. Let d be o(q). Suppose -5*w + 11 + 10 = -2*l, 5*l + 5 = 3*w. Solve d*t = -l*t + 20 for t.
5
Let w = -156 - -157. Solve -5*q + w = 6 for q.
-1
Suppose 7*r = -32 + 137. Solve 5*q + r = -0*q for q.
-3
Let j(l) = l**2 + 7*l + 18. Let a be j(-5). Solve 0 = 3*n + n - a for n.
2
Let d(q) be the third derivative of -7*q**6/60 + q**4/24 - 2*q**2. Let f be d(-1). Solve 3*u - f = 2 for u.
5
Suppose 0*b = b - 14. Let g be (-4)/b + 16/7. Solve 0*z - g*z = 4 for z.
-2
Let k(s) = -s**3 - 11*s**2 - 11*s - 5. Let t be k(-10). Solve 0 = i - 2 + t for i.
-3
Let o(x) = 2*x**2 - 4*x - 1. Let s be o(4). Let z be (10/s)/(3/18). Solve -w = -5*w + z for w.
1
Suppose -8*j + 28 = -132. Solve -j = -7*v + 2*v for v.
4
Let z = -9 - -13. Let f(r) = 1 - r + 1 + 0 + 5. Let k be f(4). Solve z = k*b + 16 for b.
-4
Suppose 4*r - 13 = t + 8, -15 = -5*r + 5*t. Solve 2*p = 4*p - r for p.
3
Let w be 1 - (1 - (2 - 0)). Suppose 0 = -w*a - 2*c - 0*c + 10, c = -4*a + 17. Suppose o - 3*o + 24 = 0. Solve -o = -a*b + 8 for b.
5
Suppose 4 = 4*b, -o - b + 5 = o. Suppose -5*l - 10 = i, 4*l = -o*i + l + 8. Let n be 4/i - 115/(-25). Solve 3*r = n*r + 8 for r.
-4
Suppose -5 = -4*t + 3*t. Let q(z) = z**3 - z**2. Let j(i) = -4*i**3 - 2*i**2 + 7*i + 6. Let k(o) = t*q(o) + j(o). Let g be k(6). Solve -4*h = -0 + g for h.
-3
Let v(a) = 2*a - 3. Let z be v(6). Let n = -6 + z. Suppose -78 = 4*j - 86. Solve n*d + 4 + j = 0 for d.
-2
Let v = 16 + -29. Let b = v + 19. Solve -b = u + 2*u for u.
-2
Let a be (-6)/(-3) + 1 - 0. Suppose a*d = -3*m, 2*m = -3*m - d + 8. Solve m*y = y - 2 for y.
-2
Suppose -4*l = -9*l. Solve l*a = a for a.
0
Suppose -2*s + 1 - 9 = 0. Let f(z) = -z - 3. Let t be f(s). Solve 3*y = -t + 4 for y.
1
Let m = 16 + -10. Solve 3 = -3*b - m for b.
-3
Let j = -193 - -208. Solve j = -6*g + g for g.
-3
Let w(c) = 9*c**2 + 12*c + 3. Let n(d) = -4*d**2 - 6*d - 2. Let z(b) = -7*n(b) - 3*w(b). Let j be z(-6). Solve j = -2*t + 1 for t.
-2
Let c = 6 - 3. Let m be 0/(-2)*2/(-4). Solve 6 = c*g - m*g for g.
2
Let z = 731 + -728. Let a(n) = -n**2 - 5*n - 2. Let q be a(-4). Solve -z*x + q + 13 = 0 for x.
5
Suppose 0 = 7*n - 3*n - 24. Suppose -5*w + 2*h = -12, -w + 20 = 4*h - 0*h. Solve 0 = n*j - w*j + 10 for j.
-5
Let w(a) = a**2 + 7*a + 3. Let t be w(-7). Let g(q) = 2*q**2 + q**t + q + q**2 - q**2. Let k be g(-1). Solve k*h - h = -5 for h.
5
Let q(h) = 2*h - 4. Let v be q(5). Let b be (v/4)/(1/2). Solve -b*z - 4 = -1 for z.
-1
Let m(u) = -u**3 - 9*u**2 - 8*u + 4. Let h be m(-8). Solve -5*j - h = -j for j.
-1
Suppose 0 = -5*a - 4*b + 16, 4*a + 4*b - 3*b - 15 = 0. Solve -a*o - 20 = o for o.
-4
Suppose -o = -4*o + 3*p - 9, 5*p = -2*o + 15. Solve -2*m - 4 + o = 0 for m.
-2
Suppose 0 = -u + 8 - 5. Let g(v) = -v**3 + 8*v**2 + 9*v + 5. Let f be g(9). Suppose -f*o - 14 = -u*d, -4*d + 2*o + 6 = -22. Solve 2*j + 2 = -d for j.
-5
Let z(k) = -k + 8. Let y be z(5). Solve -2*l = y*l + 20 for l.
-4
Let j = -54 - -38. Let m be 5/(-2)*j/20. Solve m*f - 9 = -f for f.
3
Suppose 3*t = -4*q + 22, -3*q - 2*q + 14 = -3*t. Let n(j) = -2*j**3 - 2*j**2 - j - 2. Let d be (-12)/5 - 2/(-5). Let i be n(d). Solve -q*m + 0*m = i for m.
-2
Suppose -4*k = 2*l - 30, -l + 5*k = 4*l. Suppose q + 2 = -3*i + 2*q, -l*i + 3*q = 10. Suppose 4*b = -4*c - i + 9, -3*c = 3. Solve b = -4*f - 5 for f.
-2
Let q(z) = -z - 1. Let g be q(2). Let y be (-2)/2*g + -1. Suppose -y*r = -r - 12. Solve r - 2 = -2*a for a.
-5
Let h = 5 - 4. Let b be 2 + (6 - (-2 + h)). Solve 11 + b = -5*v for v.
-4
Let p(y) = y**3 - 6*y**2 - 5*y - 13. Let c be p(7). Solve -4*m + 9 = c for m.
2
Let h(w) = w**3 + 10*w**2 + 4*w - 41. Let j be h(-9). Solve -j*a + 6 = -a for a.
2
Let m(k) be the third derivative of -k**4/12 - 7*k**3/6 + 3*k**2. Let j be m(-6). Solve -4*h = 13 - j for h.
-2
Let f be 4/10 + (-39)/(-15). Suppose i = f*i - 4. Solve i*x - 3 = -1 for x.
1
Let j(u) = u + 3. Let m be j(-5). Let h be (-3 + 