pose 3*y + 5*r - 20 = 0, 3*r = 2*y + 9 + u. Solve 5*c - 1 + 6 = y for c.
-1
Let m(a) = -2*a + 16. Let k be m(0). Solve 0 = 5*o - o - k for o.
4
Suppose -3*b + 2*u + 19 = 0, -4*u - 2 = -3*b + 9. Solve 2*g = 5*g - b for g.
3
Let v be 3 + 1 - 1*2. Solve 1 = -v*q - 7 for q.
-4
Suppose 4*z = -5*w - 9, -3*w - 3*z = -6*w. Let c be w + 1 - (-4 + 1). Solve -c - 1 = -2*u for u.
2
Suppose 3*j = a - 2*j + 16, -3*j + 4 = -2*a. Solve a = 5*i - 7*i for i.
-2
Let q = 31 - 27. Solve u - q*u = 9 for u.
-3
Let v(j) = j - 4. Let y be v(7). Suppose y*c = 7*c - 48. Suppose -c = q - 3*q. Solve i + 10 = q*i for i.
2
Let t be (1 + 0)*(3 + 0). Let l be -4 + 3 - (-2 + 0). Solve -4*z + l = -t*z for z.
1
Suppose 2*k - 4 = -20. Let m = k - -11. Solve -2*o = -m + 11 for o.
-4
Suppose 2*w - 25 = 7*w. Let u be (-3)/6 - w/2. Let s be (-3)/(96/(-88)) + 3/(-4). Solve s = -u*c + 10 for c.
4
Suppose 2*h - 6*h = -16. Suppose 4*x - h = -u, x + 1 = u - 8. Suppose -3*d + u*d = 5*z + 5, -z = 5*d - 23. Solve -p - d = p for p.
-2
Let x = 6 - 0. Suppose 2*t + 9 = 5*t. Suppose -3*a - 5*z + 31 = 0, 5*a - t*a = 4*z - 16. Solve a*l - x = -0*l for l.
3
Let a be (-36)/126 - ((-2)/7 - 2). Solve -a*l = 2*l for l.
0
Suppose 5*j = 4*j - 1. Let w be 14/8 + j/(-4). Let q(g) = -g + 8. Let l be q(6). Solve 2*t - w = l for t.
2
Suppose r - 13 = -0*r - 5*n, -n + 2 = 0. Suppose -5*y = 2*k, 0 = -r*y + 3*k - 2*k + 11. Solve -y*m = -0 - 2 for m.
1
Let h = 12 + -12. Suppose 0*r + 5*i = -3*r - 9, -12 = 4*i. Suppose 10 + r = f. Solve h = -3*o + f for o.
4
Suppose 71*n - 12 = 68*n. Solve 2*g - n + 14 = 0 for g.
-5
Let t be 6/4*8/(-6). Let w be t/(-6)*3 + 7. Solve 5*q + w = 3*q for q.
-4
Let r(o) = o**2 + 3*o + 2. Let g be r(-2). Suppose -2*u - 3 + 13 = g. Solve v + u = -4*v for v.
-1
Let s(h) = 2*h - 1. Let l be 1/((-6)/4 - -2). Let q be s(l). Suppose q = p - 1. Solve -z = -0 - p for z.
4
Let u(f) = f**2 - 4*f. Let t be u(4). Suppose 4*w - 24 = -4*h, 2*h + t*h = -4*w + 14. Let b = -3 + h. Solve b*z = z for z.
0
Let k = -20 + -1. Let d = k + 7. Let b be 9/7 - (-4)/d. Solve -b = -5*n - 16 for n.
-3
Let l(q) be the second derivative of q**4/4 + q**3/2 - q**2 - q. Let z be l(-3). Solve -d + z = -5*d for d.
-4
Let f be (-2)/(21/12 - 2). Let l = 24 - f. Solve 4 = -4*x - l for x.
-5
Let m be 1/2 - 33/(-22). Solve i - m*i = 0 for i.
0
Suppose 2*p - 6 = 6. Let l = 4 + -2. Suppose -4*f = i + i - 10, -l*f = 0. Solve 4 + p = i*n for n.
2
Suppose -3*l + 3*q = -24, -5*l + 4*q + 17 = -6*l. Solve l*h + 5 = 8*h for h.
1
Suppose -l = 4*d + 16, -2*l - 2*d + 10 = 3*l. Suppose 0 = l*p - 2*k - 48, -p + 3*p + k = 20. Solve -1 = 2*y - p for y.
5
Let d(m) = 3*m - 4. Let s be d(7). Suppose -2*h - 2*h + 26 = 2*p, p - s = -3*h. Let i = -5 - -9. Solve -3*o = -h*o + i for o.
4
Let f = 3 + -13. Let o be (12/f)/((-2)/10). Solve 0 = y - o*y for y.
0
Let x be (-3)/((2/1)/(-2)). Solve 5*y = x*y + 2 for y.
1
Let h(q) = 2*q - 3. Let k be h(3). Solve k*d - 1 = 2*d for d.
1
Let p = -9 + 39. Suppose -p = -5*n - 0*n. Let q = -7 + 12. Solve q*a = 3*a - n for a.
-3
Let g = 1 - -6. Suppose -2*d + 2*l = 6, 2*l = -d - 3*l + 21. Let f be (d/2)/(2/4). Solve -g = 4*b + f for b.
-2
Suppose -5*p = 4*d + 5, 3*p + d + 0*d = 4. Let b = p + -1. Let w = 2 + b. Solve -w*f - 6 = -2*f for f.
-3
Suppose -15 = -5*g + 4*g. Solve -g = 7*v - 2*v for v.
-3
Let h = 0 - -5. Suppose 0 = 2*g + 5*t - 79, 3*t + 2*t = -h*g + 220. Suppose 3*x - f - g = 0, 0 = 3*f + f + 8. Solve -2*s + 5 = x for s.
-5
Let z = 14 - 12. Suppose z*h + h - 3 = 0. Solve -2*m + 7 - h = 0 for m.
3
Let n = 21 - 17. Suppose -8*w = -n*w. Solve w*j = j for j.
0
Suppose -5*c + 30 = -2*c. Let x = c + 10. Solve z + x = -3*z for z.
-5
Let i(l) be the second derivative of -5/12*l**4 + 2*l + 0 - 5/6*l**3 - 3/2*l**2 + 1/20*l**5. Let v be i(6). Solve v + 1 = s for s.
4
Let f be (-4)/(-10) + (-14)/35. Solve a = -f*a + 2 for a.
2
Let i = -1 - -1. Let r be 8/2 + i - 0. Let g be 10/(-25) - 42/(-5). Solve r*f + g + 0 = 0 for f.
-2
Let n = -168 - -170. Solve 0 = -n*f + 5 - 1 for f.
2
Suppose 4*o - 20 = 3*s, -5*o - 4*s + 1 + 55 = 0. Suppose 2*w + o = 6*w. Solve w*l = 2 - 4 for l.
-1
Let u(f) = -2*f**2 - f - 2. Let v(i) = 2*i**2 + i + 3. Let b(q) = -4*u(q) - 3*v(q). Let k be b(-2). Let p be 2/7 - 346/(-14). Solve k = 5*h + p for h.
-4
Let s(d) = 9*d + 5*d - 2*d - 1. Let w be s(1). Let a = -7 + w. Solve 1 = -a*f + 3*f for f.
-1
Let f(y) be the third derivative of y**4/12 - y**3/2 - y**2. Let g be f(4). Suppose -6 = -l - 4*j, g*j = -3*l + l + 15. Solve l = -x + 3*x for x.
5
Suppose l + 8 = 4*g - 9*g, 4*l - 3*g - 14 = 0. Solve 8 = l*i - 2 for i.
5
Suppose -a + 0*a + 4*j = -10, -j = -3*a + 8. Solve c + 3 = -a*c for c.
-1
Suppose 2*m + 2*m - 16 = 0. Let g be 2 + 5 - m/1. Solve g*v - 6 = -21 for v.
-5
Suppose -5*w + 3*w - 5*o = -21, 5*w = -2*o + 63. Let y(a) = -a + 4. Let d be y(0). Suppose -d*z = 4*c - 44, 2*c = 4*z - 19 - w. Solve 0 = -3*b - z for b.
-3
Let o(z) = 8 + 8*z + z**2 + 0 + 2. Let k be o(-7). Suppose -k*r + 58 = -5*l, r - l = -3*r + 66. Solve -r = -4*c - 4 for c.
3
Let d = 34 + -25. Solve 3*b - 6 = d for b.
5
Suppose 0 = -p - 2 + 7. Solve 5 = p*w - 0 for w.
1
Suppose -5*u - 9 = -34. Solve u*q + 4 - 29 = 0 for q.
5
Suppose -2*k = -3*v - 17, 0 = -2*k - 2*k - 3*v - 11. Let n be (-3 - k)*(-6)/8. Suppose -15 = -5*r + 3*i, 2*r - n*r = -5*i - 25. Solve r*b - 2*b = 0 for b.
0
Suppose -9*m + 2 = -7*m. Solve m = -5*q + 4*q for q.
-1
Let f be (-1 - (-6)/4)*10. Suppose 13 = 3*q - f. Solve -q*m - 15 = -m for m.
-3
Suppose 0*x + x + 3*w = 14, -5*x - 6 = -4*w. Solve -x*m = -4*m for m.
0
Suppose 4*x - x + 6 = 0. Suppose 0 = 3*z + 2*b + 145, 2*b - 110 = 2*z + 6*b. Let d be 1/(z/(-21) + x). Solve -2 = 3*u + d for u.
-3
Suppose 4*m - 10 = 6. Solve 2*h - m*h = -10 for h.
5
Let n = -10 - -10. Suppose n = -2*r + 12 - 4. Solve -2*c - r = 4 for c.
-4
Let n(d) = 5*d**3 + d + d**2 - 2*d**2 - 2*d**3 - 4*d**3. Let w be n(-2). Solve 0 = 4*k - w*k + 4 for k.
-2
Let h be 1/(1 - 6/7). Let r be (-1)/(-3)*(23 + 4). Solve h = -4*i - r for i.
-4
Suppose -4*g + 204 + 56 = 0. Suppose -2*a = -g + 5. Suppose 0 = n + 4*n - a. Solve -10 = -n*m + m for m.
2
Let u(k) = -k - 6. Let l be u(-5). Let a(t) = 4*t**2 + t + 1. Let p be a(l). Suppose 5*m - 4*i - 28 = 0, -4*m + m + p*i = -20. Solve 5*n - m = n for n.
1
Suppose 4*r - 1 = 3*r. Suppose -5*d = -2*d - 15. Suppose 4*y - 3*u + 3 = 15, 0 = -y - d*u + 3. Solve 2*i + r = -y for i.
-2
Let f(a) = 5*a**3 - 1 - a**3 - 3*a**3. Let q be f(1). Solve z + 1 + 3 = q for z.
-4
Let f(l) = l**2 - 4*l. Let k be 2 + 1 - (1 + -1). Let b be f(k). Let i be 0 + 0 + (1 - b). Solve 3*n + 1 = i*n for n.
1
Let p be -3 + (-32)/(-6)*(-3)/(-2). Solve p*w - 18 = 2 for w.
4
Suppose -v = -6*v + 5. Suppose v = r, -4*q + 5 = 3*r - 6. Solve -q*w + 3 = -5*w for w.
-1
Suppose -8 = -13*w + 9*w. Solve -v - v + w = 0 for v.
1
Suppose -v + 2 = -4*c, 2*v + 6 = -2*c - 0. Let q be -2 + 2 + 0 - c. Let n be (5/q)/(-2 - -3). Solve n*m - 15 = 5 for m.
4
Suppose 3*w - 20 = 4. Let b(y) = -y**2 + 10*y - 11. Let x be b(w). Suppose 2*q + 6 = x*q. Solve -5*z + q*z + 9 = 0 for z.
3
Suppose -40 = -5*p + 2*d, 4*p + 16 = 6*p + 3*d. Solve 6*b - p*b - 2 = 0 for b.
-1
Let y(x) = -x**3 + 11*x**2 - 10*x + 5. Let f be y(10). Suppose 0 = 4*a + f*p + 21, -p + 18 = -2*a - 5*p. Solve r + a = 2 for r.
1
Suppose x + 3*j = -x - 12, -3*x - 4*j = 16. Suppose x*o = -4*o + 2*h + 8, -5*h = -2*o + 20. Solve -3*i - i - 4 = o for i.
-1
Let w = 22 + -17. Solve w = -0*u + 5*u for u.
1
Let j(i) = i - 2. Let v be j(2). Solve 3*w + v + 12 = 0 for w.
-4
Suppose -t + 6*t - 20 = 0. Suppose 2*u + 5*s + t = -u, 0 = u + s. Solve u*r - r = 4 for r.
4
Let g be 175/(-28) - 1/(-4). Let f(s) = -s - 6. Let l be f(g). Solve l = -p - 2 for p.
-2
Let l = -90 + 105. Solve 4*o - 3 = -l for o.
-3
Suppose 3 + 1 = -2*p. Let i be p/(-6) - 118/(-6). Solve 2*t + i = -2*t for t.
-5
Let d(m) = m**2 + m - 3. Suppose 0 = -i + 5*i + 12. Let k be d(i). Solve k*h + h = -12 for h.
-3
Let a = 1 + 1. Suppose 2 - 6 = -a*x. Suppose -5*j - 3*b - 2*b + 5 = 0, 3*j - 1 = -4*b. Solve j*d = -x*d for d.
0
Let x be (-282)/(-18) + 2/6. Solve 2*u + 2*u = -x for u.
-4
Let i = -6 - -4. Let w = i + 2. Suppose w*l + 9 = 3*l. Solve -3*r - 6 = -l for r.
-1
Let w = 1 + 3. Suppose w = 2*o - 0*o. Solve o*z - 3*z = -2 for z.
2
Let c = -1 + 1. Su