 - p = 3*f, 0*u - 16 = -3*u - 5*f. Suppose -2*k + i - u = 0, -2*k + i = -3*k + 2. Solve -3*l + l - 10 = k for l.
-5
Let v = 30 - 30. Solve 2*z + 8 + 0 = v for z.
-4
Let b = 21 + -18. Solve -v + 8 = -b*v for v.
-4
Suppose u - 2*f = 7, 4*f - 23 = -4*u - 7. Suppose 0 = -u*c + 14 - 4. Solve 8 = -c*t - 2 for t.
-5
Suppose -2*a = 3*i + 8, -2*i = 2*a + 2*a. Let z = -59 - -62. Solve -d + z = -a for d.
5
Let x be -1*7*(-108)/63. Suppose 0 = 2*l + 2*l - 12. Solve s - x = -l*s for s.
3
Let l = 145 - 139. Solve -7*n + l*n - 2 = 0 for n.
-2
Let s(t) = t + 22. Let q be s(-22). Solve 2*i - 6*i - 12 = q for i.
-3
Let c(g) = 2*g**2 + 2*g. Let d be c(-2). Let p(j) = -2*j - 10. Let b(w) = w + 1. Let s(k) = d*b(k) + p(k). Let y be s(5). Solve y*n + 4 = -0 for n.
-1
Let u(a) be the first derivative of -1/2*a**2 - a + 2. Let g be u(-3). Solve 3*p = -g*p - 15 for p.
-3
Let y be ((0/4)/(-3))/(2/(-2)). Solve 2*k - k = y for k.
0
Let y(p) = -p**2 - 9*p - 6. Let q be y(-8). Solve 0 = 5*u - q*u + 15 for u.
-5
Let p be ((-2)/4)/(4/(-80)). Suppose 2*v - 4*h + 15 = -9, -5*v = -h + 15. Let d be (-2)/9 - v/9. Solve d*c = -2*c - p for c.
-5
Suppose 0 = 4*g + 4*b - 8, 3*g - 3 = 2*g - 2*b. Suppose g = -2*l + 3. Solve v = l + 1 for v.
2
Suppose 2*w + 86 = 4*o, 2*w = -5*o - w + 91. Let p = -10 - -10. Solve 0 = -4*y - p*y - o for y.
-5
Let f(u) = -u**3 + 9*u**2 + 2*u - 16. Let k be f(9). Solve p = 2 + k for p.
4
Suppose -30 + 9 = -3*o. Suppose -3*y + o*w - 19 = 3*w, -4*y = w + 19. Let l(m) = -m**2 - 6*m - 2. Let k be l(y). Solve -8 = -r - k*r for r.
2
Let z(y) be the second derivative of 5*y**3/6 - y**2/2 - 3*y. Let u be z(2). Solve -2*t - 1 + u = 0 for t.
4
Suppose 4*c - 5 = 3. Suppose 0 = c*y + 3*l + 8, -y - l = -4*y + 10. Solve 3*f + 5 = y*f for f.
-5
Let x be 2 + (2 - 7) + 3. Solve x = -f + 1 for f.
1
Suppose -2*i - i = 4*q + 6, 10 = 3*q - 5*i. Solve -16 = 4*g - q for g.
-4
Suppose -4*q = -2*h - 21 - 1, h + 3 = 0. Let o be -2 + (3 - 2) - -1. Solve o = u + u - q for u.
2
Let k = -3 + 4. Let s be k + 4 - 2/2. Let x = 6 - s. Solve 4*h + x = -2 for h.
-1
Suppose -2*g - 9 = g. Let m = g - -4. Suppose 11 - m = 2*x. Solve -5*h + x + 20 = 0 for h.
5
Let b = 0 - -3. Suppose -a = 4*a + v - 12, b*v - 4 = a. Solve -a*u + 15 = u for u.
5
Let t(h) = 2*h**2 - 3*h - 1. Let k be t(-1). Solve 14 = k*l - 2 for l.
4
Let w = -1 + 6. Suppose -16 = -w*c - 1. Solve -c*t = 1 + 5 for t.
-2
Suppose 0*u + 5*u - 10 = 0. Solve u*x - 4 = 4 for x.
4
Suppose 3*l = 4*l - 3. Suppose 0*c + 12 = 4*c. Solve 0 + l = -c*d for d.
-1
Let r be (-26)/(-13) - (-2 - -4). Solve -6*p + p - 20 = r for p.
-4
Let c be 8/(1/(-2)*-2). Let b(n) = n. Let s be b(0). Suppose s = -2*w + c, -2*z + 4*z - w = -4. Solve z = 7*o - 3*o for o.
0
Let s = 7 + -5. Let c(k) = -2*k - 9. Let x be c(-6). Suppose x - 5 = -2*q. Solve o - q = s for o.
3
Let g be ((-2 - -2)/1)/2. Suppose 3*u = -5*o - u, g = 2*o + 2*u + 2. Let q be (6/(-15) + 2)*5. Solve o*k + 0 = -q for k.
-2
Let q(c) = 6*c - 6. Let x(w) = -w**2 - w + 1. Let y(r) = -q(r) - 5*x(r). Let h be y(1). Suppose -2*u - 6 = -5*u. Solve h*s - u*s - 6 = 0 for s.
2
Let p be 4*(-2)/(2 + 2). Let j = 8 + p. Suppose -j*i + 15 = -i. Solve i*o + 7 = -5 for o.
-4
Let u(c) = c**3 + 2*c**2 - 5*c - 3. Let r be u(-3). Suppose -r*b - 7 = -i, -7*i + 3*i = 4*b - 12. Solve -4*d - i = -2*d for d.
-2
Suppose 68 = -q + 18*q. Solve -q*r - 10 = 6 for r.
-4
Suppose -c = c - 132. Let z = c + -95. Let l = z + 44. Solve w = -2*w + l for w.
5
Let k = -27 + 39. Suppose 0 = 2*t - 4 - k. Let s be ((-14)/2)/(-1 + 0). Solve -5*f - t - s = 0 for f.
-3
Suppose 5*p + 18 = -7, -3 = -2*c - 5*p. Let n = c + -14. Solve n*t = -3*t + 12 for t.
4
Let m be (-8)/(-28) + 3/(42/(-4)). Solve 0 = -m*n + 4*n - 12 for n.
3
Let j(s) = -2*s**2 - 9*s + 6*s + s**2. Let k be j(-3). Solve k*x - 1 = x for x.
-1
Suppose 37 = 5*q + 17. Solve -3*d + q = d for d.
1
Suppose -2*p + 1 = 3. Let n be (-4)/(-6)*(2 - p). Let o be -3 + n + -2 + 5. Solve 2 = -o*d + 8 for d.
3
Let z be ((-56)/(-6))/7*3. Solve 0 = -c - z*c for c.
0
Let m be 0 + (2 - 1 - -1). Suppose -22 = -d - 4*q, -d = m*d - q - 1. Suppose -g - 1 = d*g + 5*u, -g = u - 1. Solve -g*o = 2*o for o.
0
Let d be (0 + 0)*2/(-4). Suppose d = -4*a + 10 + 6. Solve 0 = -a*u + 3*u - 3 for u.
-3
Suppose -12 + 4 = 2*p. Let z be (-2)/6*(1 + p). Solve 2*j + z = j for j.
-1
Suppose 0 = -5*n + 116 - 31. Let u = n + -12. Suppose -2*x = -4, -11 = -5*y - u*x - 1. Solve -20 = -y*v + 4*v for v.
-5
Let d be 3/72*4 + (-116)/(-24). Solve d*r + 12 = r for r.
-3
Suppose r - 13 = 4*s, 3*r - 10 = 8*r - 5*s. Let p = r - -7. Solve 3*l + l + 16 = p for l.
-4
Let z be (-2 - -4) + 2/(4/(-2)). Solve 0 = -r + 1 + z for r.
2
Let l(g) = -g**2 + 7*g - 4. Let x be l(7). Let p = x + 2. Let z be (0 + 1)*(2 + p). Solve w - 3 = -z for w.
3
Suppose -4*z = 3*a - 11, 4*a - 14 = 5*z - 10*z. Let q = -1 + a. Let r be 3/(60/16 - 3). Solve q*m = r*m + 4 for m.
-1
Suppose -v = 3*v - 212. Let a be (-3)/(-5) + v/(-5). Let z be (a/8)/(1/(-4)). Solve -x = z - 2 for x.
-3
Let c = 2 - 0. Let k = c - 2. Solve -3*r - 2*r - 10 = k for r.
-2
Suppose 4*u - 4*j - 8 = 0, 0*j + 2 = -2*u - j. Suppose u = -2*l + 3 + 3. Solve -6 = l*z - 0*z for z.
-2
Suppose 0 = -7*n - 53 + 158. Solve 5*q - n = 5 for q.
4
Suppose -a - 3*r + 5 = 0, -2*a - a - r + 15 = 0. Solve 0 - a = -j for j.
5
Suppose -3*q = -0*q, -3*k + 6 = -3*q. Suppose -k*v - a + 7 = 0, -5*a - 1 = 2*v + 4. Suppose v*d = 10 + 15. Solve -11 = d*h - 1 for h.
-2
Suppose 2*d + 0*d = 3*k + 246, -3*d = -4*k - 368. Let l be (2/6)/(10/d). Solve -2*r - l = -3*r for r.
4
Suppose -5*v = 2 - 22. Let h be (-2 - (1 - 1))/(-2). Solve 3*g + v = h for g.
-1
Let o(d) = d**2 - 8*d - 3. Let i be o(6). Let h be 5 - 5/(i/(-9)). Solve h = 5*s - 8 for s.
2
Let u(x) = x - 5. Let j be u(7). Solve -3*i - 11 = -j for i.
-3
Let q be ((-12)/(-16))/(4/(64/6)). Solve -5*m = -q*m for m.
0
Let n = 3 + -2. Suppose 3*d + 1 = -2. Let y = d + n. Solve 3*m - 2*m - 2 = y for m.
2
Let r be (-1)/(-3) + 4/6. Let f = 68 + -60. Solve -f - r = -3*w for w.
3
Suppose 0 = -5*h - 3*l + 140, -h - l = -0*h - 30. Suppose -3*a - 6 = a - 2*z, 5*z - h = 0. Solve -m = a + 3 for m.
-4
Suppose -4*z = 5*j - 17, 2*z = 7*z - 4*j - 11. Solve -4*d = 13 + z for d.
-4
Let c(r) = 10*r - 6. Suppose 0 + 4 = p. Let l be c(p). Let s = l - 17. Solve 4*j + s = -3 for j.
-5
Let i = -34 - -34. Solve i = 3*m - 2 - 1 for m.
1
Let q be (36/8)/((-1)/2). Let r = q - -13. Let f = 55 - 36. Solve -r*p + f + 1 = 0 for p.
5
Suppose 0 = 3*a + a - 24. Let l = a - 2. Solve -l*h - 4 - 8 = 0 for h.
-3
Let b(c) = -18*c**3 + c**2 + c + 1. Let z be b(-1). Suppose -3*k = -5*n - z, 5 = k + 2*n - 3*n. Let a = -32 + 45. Solve k - a = 2*o for o.
-5
Let o(c) be the first derivative of c**4/4 + c**3 + c**2 + 3*c + 6. Let m be o(-2). Solve q = m*q - 2 for q.
1
Let g(v) be the first derivative of 21*v**2 + 1 - 2 - 22*v**2. Let b be g(-4). Solve -3*c = -b*c + 15 for c.
3
Suppose -2 = m + 2*h, -5*m + 3 + 5 = h. Solve -3*v = m*v for v.
0
Suppose 0 = 8*i - 20 - 4. Solve 4*k - i = -19 for k.
-4
Let x = 2 + -1. Let s be 2 - (0 + 0 + x). Solve -s - 4 = t for t.
-5
Let m = 1 + 3. Suppose 4*y = 3*x - 16, 4*x + y - 13 = -2*y. Suppose -c - x*k + 20 = 0, 3*k = -5*c + 46 - 14. Solve -c + 0 = m*t for t.
-1
Suppose -q + 4*q = 12. Suppose -5 = 2*l - 0*m + 5*m, 3*m = -q*l - 3. Solve -4*i + 0*i + 12 = l for i.
3
Suppose -7 = -t - 3*c, 2*t - 3*c + 2 = -c. Let z be t/(-1)*(-1 + -4). Suppose -2*l + 2*i + 11 + 29 = 0, 4*l - 2*i = 80. Solve 0 = w - z*w - l for w.
-5
Let g = 71 + -65. Solve -q + g = q for q.
3
Let d(q) = q - 9. Let j be d(11). Let s = 2 - j. Suppose -2*t - 2 = s, 3 = -3*b - 0*t - 3*t. Solve 0 = f - b - 3 for f.
3
Let j(x) = -3*x - 19. Let o be j(-7). Let q = 3 - 2. Let h be q/2 - 2/(-4). Solve o = d + h for d.
1
Let x = 5 + 2. Let u = x - 12. Let f = u - -7. Solve -f*r + 15 = 3*r for r.
3
Let j = -39 + 41. Solve m - j = -m for m.
1
Suppose 15 - 95 = -4*o. Suppose -m - 3*k - 19 = 0, 0 = -m + k + 2*k - 13. Let u be 8/o - m/10. Solve 0*j - u*j + 8 = 0 for j.
4
Let n = -24 - -29. Solve 0 = -3*k + n + 4 for k.
3
Let g be (-8)/1*(78/12 - 7). Solve 2 - g = -2*s for s.
1
Suppose 4*n - 25 = -2*w + 17, 0 = w - 5*n - 7. Let c = w + -9. Let j(i) = 2*i**3 - 3*i**2 + i + 2. Let b be j(2). Solve -b*l - c = -4*l for l.
-2
Let n be (-