 = 14. Let k = n + 8. Suppose 5*a + 1 = k*t, -7*a + 7 = 2*t - 4*a. Solve -3 = t*w - 5 for w.
1
Suppose 4*h + 2*z - 2 = 0, 5*z - 5 = h + 3*h. Let k = -19 + 27. Solve -3*l + k + 4 = h for l.
4
Suppose 3*i + 2 - 5 = 0. Solve p + 2 = -i for p.
-3
Let j be (-1 - (-1)/1)*-1. Suppose -4*t + 2*t = j. Let g be t*(-1 - (-9)/6). Solve g*z + 2*z = 8 for z.
4
Let h = 62 + -41. Let i = h - 18. Solve 0 = i*f - f + 10 for f.
-5
Let w = 5 - -7. Let b = w + -4. Let m = -4 + b. Solve -m*l = -3*l - 1 for l.
1
Let m(y) = y - 9. Let o be m(12). Suppose 8*u = o*u + 10. Solve 0 = 2*a - 2 - u for a.
2
Let m = -162 - -166. Solve o + m = 5 for o.
1
Suppose 2*s - 8 = -k, 0 = 4*s - 5*s + k + 1. Suppose -1 = -s*w + 14. Solve 20 = w*f - 0 for f.
4
Let o be 0/(-4) + 32 - 3. Solve 0 = -4*z - o + 9 for z.
-5
Let b = 3 + 0. Suppose -2*m + 10 = b*m. Solve 0 = 2*v + m*v + 8 for v.
-2
Let w = 7 - 0. Let n(z) = -3*z + 9*z - 7*z. Let h be n(-2). Solve -w = h*l - 1 for l.
-3
Suppose 2*u + u = -15. Let y be 5 + 3 + 0 - 3. Let d = y + u. Solve d*r + 3*r = 0 for r.
0
Let h(c) = 5*c + 15. Let i(w) = -w. Let k(b) = -h(b) - 3*i(b). Let x be k(-10). Suppose 0*n - 3*n = -36. Solve x*d - n = d for d.
3
Let m(l) be the third derivative of 0 - 1/6*l**4 + l**2 - l**3 + 1/60*l**5 + 0*l. Let t be m(6). Solve c + c = t for c.
3
Let j = 51 + -45. Solve 0 = -j*v + v + 25 for v.
5
Let v = 33 - 33. Solve 1 = -q - v for q.
-1
Let x = -15 - -20. Solve 3*n = x + 4 for n.
3
Let n(p) = -2*p. Let u be 4/4 + 1*-2. Let q be n(u). Solve -2*f = q*f + 16 for f.
-4
Let g be 1/(((-3)/(-15))/1). Suppose 0 = -5*c + 25, 3*p + g = -2*p + 3*c. Suppose 5*m - 37 = -4*s, -1 + 10 = 3*m - p*s. Solve -m = i - 0*i for i.
-5
Let k(j) = 3 + 5*j - 1 - j**2 - 4 + 3*j**2. Let f be k(-4). Suppose 9*r - f = 4*r. Solve -x - r*x = 0 for x.
0
Let x = 6 + -3. Let s be 9/2 + x/(-2). Suppose 3*z = 4*z + s, d + z = 0. Solve d = -l - 1 for l.
-4
Suppose 14*t - 7*t = 0. Solve t*n = -2*n for n.
0
Suppose p - 2 = -0*p. Solve -p*s + 12 = 2*s for s.
3
Let b(f) = -f**2 + 12*f + f**2 + 14*f**2 - 9 + f**3. Let a be b(-13). Suppose -3*v = -0*v - 24. Solve a = 4*r - v for r.
3
Let r be 168/20 - 4/10. Solve -r = -3*t + 4 for t.
4
Suppose 8 = 3*m - 1. Suppose 0 = u + 4*u - 60. Solve m*a + 3 = -u for a.
-5
Suppose 14*x + 2*x - 32 = 0. Solve 7*i - 10 = x*i for i.
2
Let q be 1/(-4) - (-9)/4. Let f be (-21)/((-9)/3) - 3. Suppose t = -f*z + 5*t - 16, q*t - 12 = -2*z. Solve j + 1 = -z for j.
-2
Let v(n) be the first derivative of n**2/2 + 5*n + 3. Let u be v(-5). Suppose u = -3*x + 6 + 6. Solve -x*i = i - 5 for i.
1
Let x be (3 + -4)*1 - 1. Let h = x + 2. Solve 2*b - 3 - 7 = h for b.
5
Let f be 3/12 + 14/8. Suppose -3*r - 15 = f*r. Let u(c) = c + 3. Let h be u(r). Solve 0 = -4*x - h - 4 for x.
-1
Let u = 17 - 13. Suppose 0*q = -q, -u*k + 20 = -4*q. Solve -k*w - 6 = -2*w for w.
-2
Suppose -3*g = -20 - 40. Suppose -4*p + 5 = 2*v + 15, 2*p - 4*v - g = 0. Solve -4*i - 6 + 2 = p for i.
-1
Suppose -k - 2*y = -14, -3*y + 22 + 41 = 5*k. Let t(p) = 2*p**2 + p + 1. Let s be t(-1). Suppose 6*n - k = s*n. Solve c + n = -2 for c.
-5
Let m be 2/(-8)*-4 - 0. Let d(v) = -v**3 - 4*v**2 - 3*v + 3. Let h be d(-3). Let o = -5 - -10. Solve h*f + o = -m for f.
-2
Suppose 0*j - j = 0. Let n be (7 + j)/(4 - 3). Suppose -30 = -5*d - 10. Solve 0 = -n*w + d*w + 9 for w.
3
Let p = 11 - 4. Suppose p*h = 9*h - 18. Let x = -6 + h. Solve 0 = x*o + o for o.
0
Let f = 1 - 4. Let k be (-8)/(-6) - 2/f. Solve 4 = -k*v + 8 for v.
2
Suppose 12 = 5*u + q, -12 = -3*u + q - 0. Solve -2*j = -u - 1 for j.
2
Let l be 6/(-21) - 2/(-7). Let b = 0 - l. Let w be 0 - (-2)/(-6)*b. Solve -5*u + 2 + 13 = w for u.
3
Suppose 3*s = -s + 20. Solve -5 - 20 = s*d for d.
-5
Suppose -2*h + 3*h + 5 = 0. Let v = 3 - h. Solve 12 + v = 4*t for t.
5
Let u = 3 - -2. Suppose u*f - 2*t - 51 = 2*t, 2*t + 22 = 2*f. Solve 3*o - f = 2 for o.
3
Let c be 1*-9*(-5 + 4). Suppose 4*s + c = 21. Solve s*z - 13 = 2 for z.
5
Suppose 4*z - 5*n - 19 = 0, 6*n - 3*n + 7 = -2*z. Solve -z = -k - 3 for k.
-2
Let w be 6*(2 - 25/15). Solve 4*c - w - 6 = 0 for c.
2
Suppose -5*u = -3*u - 2. Let t be (1 + u)/(-2) - -2. Let q be t + 0 - (2 + -1). Solve -2*n = -q*n + 6 for n.
-3
Suppose 0 = -3*q - 9 + 33. Let p(x) = 3*x + 2*x - 4*x - q. Let w be p(8). Solve 2*m - 9 - 1 = w for m.
5
Let k = 50 + -24. Let r = 3 + 0. Suppose x - 2 = r. Solve x*q - k + 11 = 0 for q.
3
Let n be 1/(-6) + (-75)/(-18). Let a be 12*((-2)/n - 0). Let g = a + 8. Solve -o = -5 + g for o.
3
Suppose 2*r + 3*a = 4*r - 13, -3*a = 3*r + 3. Let g(w) be the first derivative of w**4/2 - 2*w**3/3 - w**2/2 - 1. Let u be g(r). Solve 4 = 2*l - u*l for l.
-1
Let h be 32/14 - 6/21. Suppose -4*k + 6 = h. Solve k = -2*x - 3 for x.
-2
Let j be (2 - (1 - -2)) + 33. Suppose 2*o - j = 16. Solve 5*i + o = -1 for i.
-5
Let v = -2 - -4. Suppose 40 = 7*l + 13*l. Solve v*n - l - 4 = 0 for n.
3
Let m(x) = -7 - 5*x**2 + 7*x**2 + 0*x**3 - 3*x - x**3 + 4*x**2. Let z be m(5). Suppose 0 = -4*t + 3*y, -t - z*y = 2*t - 21. Solve 0 = -t*a + a + 2 for a.
1
Let p(i) = i + 7. Let h be p(-5). Suppose -3*r - 10 = 2*g, -12 = h*r + 3*g - 2. Let y be 2 + r + (4 - 2). Solve y*s + 2 = -0 for s.
-1
Suppose -4 = -3*i - 1, 4*r - 17 = -5*i. Solve n + 4 = -r*n for n.
-1
Suppose 0*k = k. Suppose h - 6 - 5 = k. Solve -5*s + 14 + h = 0 for s.
5
Let w = -9 - -12. Suppose v + w*v = 0. Solve v = 3*z + z - 8 for z.
2
Suppose -7*q + 4 = -5*q. Let x = 30 + -17. Solve -3*h - x = q for h.
-5
Let g(o) = -3*o - 10. Let l be g(-4). Solve 3*c = 1 + l for c.
1
Let z = -1 + 3. Suppose -3*d - 2*p + 7 = 0, 0*p + 5*p = 5*d + 30. Let l = z - d. Solve 7*r - l*r - 8 = 0 for r.
2
Let q(d) = -d - 1. Suppose 4*o - 33 = 15. Suppose -5*h = -3*y + o, -6*y + 2*h = -4*y - 4. Let b be q(y). Solve g + 0*g - 1 = b for g.
1
Let g = 1 - -2. Suppose 0 = 2*w + g*w - 10. Suppose -w*n = -5 - 3. Solve -n*f = -9 - 11 for f.
5
Let a be 3/(9/(-39))*-1. Solve -4*y + 3 = -a for y.
4
Let v be 1/((-3)/2)*3. Let x be (-12)/(-60) + 122/(-10). Let g = v - x. Solve -5*a + 0*a = -g for a.
2
Let f(l) = l**2 - l - 2. Let c be f(3). Suppose 0*y - 8 = -c*y. Solve r - y = -r for r.
1
Let d(h) = h**2 - 8*h + 17. Let p be d(4). Solve b + 0*b + p = 0 for b.
-1
Let q be (-5 - (-1 - 1))*1. Let h(k) = k**3 + k**2 - 5*k - 2. Let i be h(q). Let l = i + 5. Solve l = 4*s - 7 - 5 for s.
3
Let r(j) = -j**3 + j**2 - j - 1. Let z be r(-1). Suppose -5 = 3*t - z*t. Let f(v) = v**3 + 5*v**2 + 6. Let y be f(t). Solve y + 0 = 2*w for w.
3
Let v = 161 + -157. Solve 0*o - 16 = -v*o for o.
4
Let d(y) = -4*y - 2. Let n be d(-2). Suppose 0 = -4*f + 5*h + 6 - 0, -5*h + n = -f. Let s be ((-10)/(-6))/((-2)/(-24)). Solve -f*u - 4 = -s for u.
4
Suppose -3 = 5*x + 3*a - 1, -4*x + a + 12 = 0. Let f be x + (2 - (6 - 1)). Let v = f + 3. Solve s = -s - v for s.
-1
Suppose 3 = 2*t - c - 1, -2*t = 5*c - 28. Suppose 0 = q - 1 - 3. Solve t*m + 0*m + q = 0 for m.
-1
Let k(j) = -j**3 + 4*j**2 + 13*j - 3. Let g be k(6). Let f be (-1)/(1/(-5)*1). Solve -g*m - 6 = -f*m for m.
3
Let k = -16 + 11. Let a = k + 8. Suppose 10 = a*f - 5. Solve f*t - t = -4 for t.
-1
Suppose 6 = 4*r - 10. Suppose -r = -b - 0*b. Let p(j) = -j**2 + 3*j + 4. Let f be p(4). Solve 0*z + b*z - 8 = f for z.
2
Let t = -40 + 45. Solve -5*o + t + 10 = 0 for o.
3
Let n = -6 - -21. Suppose -4*z = -2*z - 4. Solve -z*v - v = -n for v.
5
Suppose 0 = -4*v - v + 15. Suppose 0 = -4*g + 2*m + 50, m - 40 = -5*g - m. Suppose -5*j = g, -5*w - 2*j + 4 = -w. Solve 5*c + w = v*c for c.
-1
Let o(g) = g**2 - 4*g + 4. Let p(a) be the first derivative of a**3/3 + 3*a**2/2 - 7*a - 2. Let n be p(-5). Let r be o(n). Solve 0 = -2*x + 5 - r for x.
2
Let j(g) = g - 4. Let m be j(7). Suppose 2*c = -m*r - 8, r - 2*r - 4 = 0. Solve 3*w - c = 4*w for w.
-2
Suppose 2*a - p - 351 = -2*a, -10 = -2*p. Suppose a = 4*y + 9. Solve -y = 3*j + j for j.
-5
Suppose 8*n - 15 = 3*n. Suppose -n*p + 5*h = 4*h + 9, 4*h = 2*p - 4. Let i be (p + 3)/((-2)/4). Solve 0 = -a - i*a for a.
0
Suppose 3*j = -5*f + 1, -f = -j - 4*f - 1. Solve -j*n + 8 = -6*n for n.
-2
Let u be (-14)/21 - 40/(-6). Let h be (-3)/(-1)*4/3. Solve h*y + 14 = -u for y.
-5
Let m be (-12)/(-10)*(-100)/(-6). Suppose -15*h = 2*h - 68. Solve -m + 0 = -h*t for t.
5
Let n = 2 + -2. Let u = -4 - -6. Solve -u*m + 6*m = n for m.
0
Suppose -5*i 