ppose c + 4*o = 22, 0 = -4*c - c - 2*o + r. Solve 5*q + 1 = c for q.
1
Suppose 2*m = -m + 6. Let v = m - 0. Solve v*j + 3*j - 25 = 0 for j.
5
Let r(m) be the first derivative of -m**3/3 - 7*m**2/2 + 6*m - 2. Let w be r(-7). Let q be ((-3)/w)/(1/(-20)). Solve p - q = -p for p.
5
Let r(b) = b + 8. Let s be r(-6). Suppose -3*g + 13 + 2 = 0. Let m(l) = -l + 5. Let t be m(g). Solve t = s*d - 0 - 10 for d.
5
Let d be 3 - 0 - (-4)/(-4). Let q = 1 - 0. Let b = d + q. Solve -b*m = 2*m for m.
0
Suppose 2*z - 18 = -0. Suppose 5*n = 11 + z. Suppose a = 2*f - 7*f + 11, 0 = -n*f + a + 16. Solve t + f = -2*t for t.
-1
Let u(s) = s - 1. Let j be u(4). Solve j = -2*f - 1 for f.
-2
Suppose -l + 1 = -11. Let x = 68 - 30. Suppose 0 = -5*h - b + x, -3*b = 2*h - b - l. Solve -m = m + h for m.
-4
Suppose 4*y + s - 38 = -12, -2*s + 4 = 0. Suppose 15 = -3*k + y*k, 0 = -x - 2*k + 16. Solve -20 = j - x*j for j.
4
Let l(g) = -3 - g**3 + 0*g**3 + 4*g - 4*g + 2*g**2 + 4*g. Let s be l(3). Solve 2*n + n + 15 = s for n.
-5
Suppose -16*y + 7 + 41 = 0. Solve c = 2*c - y for c.
3
Let a(j) be the second derivative of j**5/5 + j**3/6 + j. Let t be a(1). Suppose 2*v - 16 = -0*r - r, 0 = 5*r - t*v - 110. Solve 6*s - 2*s = -r for s.
-5
Let w = 16 + -8. Suppose -r = r - w. Solve r*y - 13 - 3 = 0 for y.
4
Suppose -9 = -3*y - 0*y. Let u be ((-20)/(-12))/(1/y). Let t(c) = -c**2 + 4*c + 3. Let w be t(3). Solve p + u = w*p for p.
1
Suppose 5*k - 10 = -4*w + 4, 3*w = 5*k - 7. Solve -3*d + 7 = w for d.
2
Let v = 0 + 4. Let w(s) = -s**2 + 4*s + 2. Let u be w(5). Let p be (1 - 1)/(1 + u). Solve p = -v*o - o for o.
0
Let a = -8 + 14. Suppose r + 15 = 3*z, z - 6*z + 17 = r. Let n = r + a. Solve 12 = -0*g - n*g for g.
-4
Let b be 2*-1 - (-2 - 5). Let a = -10 - -12. Let s be 3 - 2 - (-1 + -1). Solve a*g + b = -s*g for g.
-1
Let c(q) = q + 1. Let z be c(-1). Suppose 5*t - t = z. Let u(b) = b**2 - 4*b - 3. Let x be u(5). Solve -4 + t = -x*h for h.
2
Suppose c + 5 = 1, 0 = 3*i - 5*c - 20. Solve 3*g - 10 + 1 = i for g.
3
Suppose 2*j + 0*j - 4*w - 14 = 0, 2*j - 5*w = 17. Let x be j/(-3) + 8/6. Let p = -1 + x. Solve p*v = 3*v - 6 for v.
2
Suppose -q - 4*q = -5. Let o be (q - 4) + 2 + 2. Solve 7 = -2*f - o for f.
-4
Let x = 8 - 4. Suppose 3*i = -3*l - 2*l - 9, -x*l - 6 = 2*i. Let m = i + 3. Solve -n + 0*n - 2 = m for n.
-2
Let w(b) = b + 2. Let v be w(6). Suppose -3*s + 0 = -6. Suppose -12 = -2*c - s*c. Solve v*z - c*z = 20 for z.
4
Let m(b) = 3*b - 2*b**3 - 4 - 4*b**2 - 2 + 3*b**3. Let w = -3 - -7. Let x be m(w). Solve 2 = -4*j + x for j.
1
Let f = 8 + -16. Let y = 9 + f. Solve -m - y = -3 for m.
2
Let q be (-6 + 1)*24/(-60). Solve 10 = q*g - 0*g for g.
5
Let z(u) be the third derivative of 5*u**4/24 - 2*u**3/3 + 2*u**2. Let t be z(3). Let j = -8 + t. Solve 0*i = -j*i for i.
0
Suppose m - 56 = -m. Suppose 5*f = 4*f. Solve 5*a + m - 8 = f for a.
-4
Let d be (6 - 8)*(-6)/(-1). Let z be (18 - 0)*(-8)/d. Solve -z = 4*b - b for b.
-4
Suppose -3 = 6*s - 7*s. Solve s + 0 = -i for i.
-3
Suppose -z = -2*k + 19, 12 + 32 = 4*k + 4*z. Suppose -2*r - 3*s - s = 10, -5*r - k = 5*s. Solve -3*o = r + 2 for o.
-1
Suppose -31 = -5*z + 4*m, 0 = z - 3*m + 2*m - 7. Solve z*o = -o + 20 for o.
5
Let v(z) be the first derivative of z**3/3 - 5*z**2/2 - 9*z - 3. Let s be v(8). Solve -5*f + s = -0*f for f.
3
Let v(i) be the first derivative of i**4/4 + 4*i - 3. Let r be v(0). Solve -25 = r*o + o for o.
-5
Let m be (2/(-7))/(2/(-14)). Let w = -1 + m. Let t = 23 + -13. Solve 0 = 3*p - t + w for p.
3
Suppose 3*k + 4*a = -k + 8, k - 5*a = 8. Suppose k + 3 = 3*h. Solve 4 = h*v + 2 for v.
1
Let f(t) be the third derivative of -t**4/24 + 11*t**3/6 + 2*t**2. Let a be f(9). Solve 0*x = a*x - 8 for x.
4
Suppose -39 = -13*d - 13. Solve -d*l = -7*l for l.
0
Suppose 4*t = -2*k + 4, 3*k = -0*t + 3*t - 3. Solve k = 4*x - 0*x + 12 for x.
-3
Let q = -3 + 12. Let t be (-3)/(-6) - q/(-6). Solve -t*h = -5*h - 3 for h.
-1
Let g(q) = -q + 14. Let p be g(14). Solve -a + 3*a + 2 = p for a.
-1
Let m be (15/30)/(2/40). Solve 7*v - 2*v = m for v.
2
Let i be 6 - (-2 + 2 + 2). Suppose 4 = -2*y + i*y. Let f = 0 - -3. Solve -y = -f*a + 1 for a.
1
Let f(k) = -k**3 + 28*k**2 + 2. Let h be f(28). Solve -3*q + h = 8 for q.
-2
Let d = -10 - -14. Suppose -4*m + 3*x - 9 = 0, d*m - 12 = 2*m - 4*x. Solve m*s + 2*s = -2 for s.
-1
Let y be (17 - 14) + (0 - -2). Suppose -4*q = 5*t + y, q = -2*t - 0 - 5. Solve i = 2*i + q for i.
-5
Let v be 28/9 - 2/18. Solve -2*w = -v*w + 3 for w.
3
Suppose 5*g + 5 = -2*o, 25 = -0*o + 2*o - 5*g. Suppose 0 = -o*u + b + 80, -u + 0*b = 5*b + 10. Solve -4*d + u = -5 for d.
5
Let z(h) = -h**2 + 9*h - 9. Let a be z(6). Suppose 0 = -2*i + i + a. Solve -4*d = 7 + i for d.
-4
Suppose 3*p + q + 1 = 3, -12 = 4*p + 5*q. Solve p*c - 6 = -0*c for c.
3
Let y be (16/(-12))/((-2)/6). Solve -4*k + 0 + y = 0 for k.
1
Let u(p) = 6*p - 3. Suppose 0 = 5*t + 4*d - 18, 7*t = 3*t + d + 6. Let w be u(t). Let r be 16/72 - (-34)/w. Solve 2*q = 6 + r for q.
5
Suppose 0 = -10*i - 6 + 106. Solve -4*g = -i - 2 for g.
3
Let n = 33 - 33. Solve 0*j - j + 2 = n for j.
2
Let z = -21 - -23. Solve -z*v = -7*v + 5 for v.
1
Suppose -5*a + 10 + 1 = 2*c, -4*c + 30 = 2*a. Solve -2*w + c = -0 for w.
4
Let k be (20/15)/((-24)/9 - -3). Solve 0 = -k*r + 1 - 13 for r.
-3
Let k be (0*3/6)/(-1). Suppose -3*i + i = k. Let v be (i/(-4 - -1))/1. Solve f = -v*f for f.
0
Suppose -5 = -2*y + 1. Solve n + y*n = -4 for n.
-1
Let c(k) = k + 7. Let a be c(-4). Suppose -f = -a - 0. Let u = -1 + 1. Solve -f*d + 1 + 5 = u for d.
2
Let l(z) = 6*z**2 - 1. Let a be l(-1). Suppose 3*c + 4*g - 15 = a*g, 28 = 4*c - 4*g. Solve 11 = -c*f - 1 for f.
-3
Suppose -6*c + 72 = -66. Solve -5*p + c = -2 for p.
5
Let d = 7 - -5. Suppose 0*z - d = -3*z. Suppose -3*l + z*l - 5 = 0. Solve h - l*h = 16 for h.
-4
Suppose -6*l + 11*l = 0. Solve l = -3*v + 5 + 7 for v.
4
Let u be (16/6)/((-2)/(-3)). Solve u = d - 3*d for d.
-2
Suppose 2*o + o = 0. Suppose -30 + 12 = -2*s. Suppose s + 1 = 2*f. Solve 9*y - 4*y + f = o for y.
-1
Suppose -r = 5*s - 5, -2*s + 0*r - 4*r + 2 = 0. Let a(b) = -3 + 1 + 1 + b + 5*b**2. Let o be a(s). Solve 0 = o*l - 16 + 1 for l.
3
Let u(g) = -g**2 - 7*g - 1. Let s be u(-6). Suppose s*f = 16 + 9. Solve f*i = -17 - 3 for i.
-4
Let o be (-2)/(-4)*58 - 2. Let m = o + -17. Suppose -2*t - m = -7*t. Solve d - 3 = -t*d for d.
1
Suppose -2*d = -4 - 6. Suppose 4*v + 2 = a + 4, -4*a - d*v = -13. Solve -9 + 1 = -a*r for r.
4
Let p = -2 + -6. Let d = 9 + p. Solve -k = -2*k - d for k.
-1
Suppose -3 = 2*t - 3*t. Solve 2*a = -t*a + 15 for a.
3
Let u = 27 - 23. Solve 2*d + u = -2 for d.
-3
Suppose 5*x - m - 70 = 0, 65 = 7*x - 2*x - 2*m. Suppose -5*u = -3*r - x, r = u - 4 + 1. Let s(o) = 4*o**2 - 2. Let z be s(-1). Solve -q = -z + u for q.
-1
Let t = 4 - 2. Suppose 0 = t*x + 1 - 11, -10 = 5*p - 5*x. Suppose -4*c = -3*y + 6 + 28, 5*c = 2*y - 25. Solve -o + p*o = y for o.
5
Suppose 0 = -4*t - 10 + 30. Suppose 3*m = v + 3 - 0, -2*v = 5*m - t. Solve v*d = -3*d - 3 for d.
-1
Suppose 2 = -9*p + 11. Solve 0 = -m + 2 + p for m.
3
Let a = 57 - 56. Let m(r) = -2*r - 4. Let n be m(-3). Solve a = j - n for j.
3
Let n(z) = -2*z - 5. Let j be n(-4). Solve -s - j = 2*s for s.
-1
Let s be 1/2*-7*-2. Let c be (-132)/(-30) - (-2)/(-5). Suppose -50 = -c*f + 2. Solve f = -4*j - s for j.
-5
Let f(w) = w**3 + 9*w**2 + 8*w + 1. Let i = -4 - 4. Let t be f(i). Solve -s = -0*s - t for s.
1
Let c(t) = -t**3 - 6*t**2 + t + 6. Let h be c(-6). Suppose -3*k + 5*s + 15 = h, 3*k - 1 = 4*s + 11. Suppose k = q + 3*q - 24. Solve -q*r = -r for r.
0
Suppose 0*t = -t - 13. Let f = t - -18. Let b = 3 + -1. Solve f - 11 = -b*d for d.
3
Let k = -2 - -6. Suppose -3*i = -k*i + 2. Suppose 7*b = i*b + 10. Solve b*n = n - 2 for n.
-2
Suppose 4*a = 5*a - 15. Let k(s) = 2*s - 3. Let z be k(4). Suppose -p + z*b = -0*p - 11, -4*p + b = -25. Solve 0 = p*r - r - a for r.
3
Let w(o) = o**2 + o + 2. Let u be w(-3). Suppose 9*b - 40 = -4*y + 4*b, -u = -2*b. Solve y*r = r for r.
0
Let g(b) = -b**3 + 9*b**2 + 2*b - 13. Let c be g(9). Suppose 0*d + c = d. Solve d + 10 = 5*j for j.
3
Suppose 5*b - 24 = -v, 0 = 2*v + 3*v - 20. Solve 9 - 1 = b*x for x.
2
Let l = 5 - 0. Suppose 5 = -l*b + 45. Let p(q) = -q**2 + 4*q. Let r be p(3). Solve -r*u - b + 2 = 0 for u.
-2
Suppose m = 7