o = y - 2*y, 8 = -2*o - t*y for o.
1
Suppose 0 = -3*n + 3 + 6. Let x be (3 - (-27)/(-6))*-2. Solve -7 = -s + n*q, 2*s - x*q = -2*q - 1 for s.
-2
Let o(l) = -l**3 - 4*l**2 - l + 9. Let y be o(-3). Solve y - 15 = -2*u - 2*h, -h = 2*u - 8 for u.
2
Let b be (-2)/(54/(-75)) + 4/18. Let x(p) = p**2 - 3*p - 4. Let o be x(5). Solve -v + 2*f + 2 = 0, -b*v + 0*v = 3*f - o for v.
2
Let u = -1 - -3. Let t = 12 + 0. Let f(o) = 2*o - 11. Let a be f(8). Solve -u*s = a*j, 3*s = j + s + t for j.
-2
Suppose 2*q - 25 + 5 = 0. Let w be 40/(-16)*(-8)/q. Solve -4*s = j + 15, 2*s - 2*j = -w*s - 6 for s.
-3
Let h(b) = -b**2 - 3*b. Let u be h(-3). Solve -5*l - 5 + 25 = u, -2*v = 4*l - 8 for v.
-4
Let p(r) be the third derivative of r**5/60 - 5*r**4/24 + 2*r**3/3 + 3*r**2. Let u be p(5). Solve -u*z + 10 = 3*o, -5*o + 3*o + 4*z = 0 for o.
2
Let q be -6 - -3 - (3 + -24). Solve c - 3*l = -17, 0 = 5*c - l - 3 + q for c.
-2
Suppose -7*a + 10 = -2*a. Let y(o) = 3*o - 5. Let s be y(4). Solve -r - k = -0*k + s, -a*r - 20 = 4*k for r.
-4
Let p(f) = f**3 - 24*f**2 + 22*f + 26. Let u be p(23). Solve -u*i + 37 = 5*n, 3*n = -5*i + 4 + 31 for i.
4
Let s = 7 - 3. Solve -2*g - 2*g = -q + 3, s*g - 12 = 4*q for g.
-2
Suppose 2*z + 15 = 5*z. Suppose -z*d = -3*d - 10. Solve 5*s = d*n - 7 - 8, -5*n + 15 = 2*s for n.
3
Suppose 3*h = 3*w - 12, 2*h = 3*w - 0*w - 14. Let d be (-1)/2*(-24)/w. Let z be (-10)/(-6)*(5 - d). Solve -z*f - 5 = -4*a, 0 = 5*a - 2*f + f - 22 for a.
5
Let y(r) = -r**3 - 4*r**2 - 4*r - 6. Let a be y(-4). Let x = a - 7. Suppose -2*m - 4 = -3*m. Solve -2*h + m*w - x*w + 14 = 0, 0 = h + 5*w + 15 for h.
5
Let m(s) = -s**2 - 3*s + 3. Let p be m(-3). Suppose -p*x + 30 = -3*h, -2*h = 6*x - x - 64. Solve 5*g = -n + 6, -n + 2*g - x = -2*g for n.
-4
Let a = -8 - -3. Let k = -11 + 18. Let t = k + a. Solve 5*z + 15 = 5*i, 3*z - t*i + 2 = 2*z for z.
-4
Let t be 14 - 9 - (0 - 1). Solve 0 = u + i + 2, -1 = 2*u + i + t for u.
-5
Suppose 4*c - 22 - 26 = 0. Suppose 0 = 3*h + 6 + 6. Let y = c + h. Solve 3*v + 3*u - 4*u = -y, -4*v - u = 6 for v.
-2
Let z(o) = -o**2 + 8*o - 5. Let m be z(4). Suppose 15 = 2*l + m. Solve -2*h = -l*b, 0 = -3*h + b - 9 - 1 for h.
-5
Suppose 5 - 3 = -x. Let d be 4/(24/(-15))*x. Solve 3*l - l = -5*m + 16, -22 = -d*m + l for m.
4
Let t(z) = -z + 7. Let c be t(6). Let o = -14 + 15. Let m be (0 - 1) + 6 + -1. Solve 3*y - 2 - o = 3*n, m*n + c = y for y.
1
Let m(v) = -v**2 + 4*v + 3. Let b be m(4). Suppose -b*f = -19 - 8. Suppose -3*w = 3*h - f, 5*w + 27 = 4*h - 3. Solve 18 = 3*r + l, -4*r + 0 = -h*l - 5 for r.
5
Suppose 5*b = -23 + 48. Solve 4*i - 12 = k, -b*i - k - k = -28 for i.
4
Let a be (-10 - -2)*((-25)/10 - -2). Solve 2*x + a = x - 3*y, -3*x + 2*y = -21 for x.
5
Let w = 61 + -52. Solve -2*o = -2*u + o + w, 0 = -3*u - 5*o + 4 for u.
3
Suppose 0*d - 8 = -2*d. Solve -d*n - 5*l - 28 = -1, -6 = 2*l for n.
-3
Let b be 4/(-22) + (-48)/(-22). Solve 3*s = -c - 14, -b*c - 18 = 3*c + 2*s for c.
-2
Let g = -6 - -10. Suppose -g*j + 15 = -j. Suppose 5*b - 40 = j*q, -2*b - 4*q = q + 12. Solve -2*n - b*u = -22, -2*u + 19 = -n + 2*u for n.
1
Suppose -5*l + l + 12 = -c, 5*c = 20. Let n = -29 - -17. Let d = -10 - n. Solve l*o - 12 = -5*m + 3*o, o - d = 0 for m.
2
Suppose -3*i = 15, 10*i - 11*i = -4*q + 13. Solve -p = -2*p, p + 10 = -q*n for n.
-5
Let k be (-4)/(12/(-63)) + -3. Suppose 0*o + 3*o = k. Solve a = o*v - 2*v + 5, 7 = -a - 2*v for a.
-3
Suppose 0*t - 4*t + 36 = 0. Let r be 16/9 + 2/t. Solve 5*d - 23 = -y, 0*y + 2*d = 2*y + r for y.
3
Let o be (-13)/(-2) - 2/4. Let l(c) = c**2 - 5*c - 6. Let s be l(o). Solve -2*f = -4*w + 10, -w + 2*f - 5 = -s for w.
5
Let w(k) = 0*k + 2*k - k - 2. Let i be w(7). Solve -2*x + x - 3 = 2*a, 3*a = i*x + 2 for a.
-1
Let r(t) = -5*t + 2*t + 2 + t**2 - t. Let s(p) = 2*p**2 - 4*p + 2. Let o(u) = 3*r(u) - 2*s(u). Let l be o(-4). Solve 0 = -3*a - 3, -l*v + 2*a = -a + 3 for v.
-3
Suppose -3*r - 2*r = m - 10, 4*m = r - 2. Suppose m*s + s - 12 = 0. Solve -4*f + s = 4*d + 4, 3*f - 2*d = -14 for f.
-2
Let u be 11/4 - (-1)/4. Suppose 10 = z - u*w, -2*w - 30 = -5*z + 3*w. Solve 0 = m - z*m - 2*v - 14, -5*v = -2*m + 16 for m.
-2
Let l(i) = -i**2 + 15*i - 10. Let o be l(14). Suppose 3*n + z = -z + 20, o*n + z = 20. Solve 0 = n*y + 5*j, j = -5*y - 2*j for y.
0
Let d(w) = -4*w - 79. Let k be d(-20). Solve 5 = 2*a - 6*a + 5*r, k = a + r for a.
0
Suppose 1 + 7 = x. Let v be (x/(-8))/(2/(-38)). Solve -5*n + 3*s + v = 0, 4*n + 4 - 14 = 5*s for n.
5
Suppose 1 = 16*y - 63. Solve -5*i + 1 + 5 = y*u, 0 = -u - 4*i + 7 for u.
-1
Let v = -15 - -18. Let j = 9 - v. Solve 2 - j = 4*m, 2*o = -2*m + 6 for o.
4
Let s be 9/(-3)*(-24)/9. Let a(c) = c**2 - 7*c + 7. Let g be a(s). Solve 4*d - 3*t - g = -0*d, 3*t = -5*d - 15 for d.
0
Suppose 10*g - 15*g = -40. Solve 3*s = 7*s + 4*c - g, 2*c = 4*s + 10 for s.
-1
Suppose -3*u - 6 - 6 = 2*k, -3*k - 3*u - 18 = 0. Let y be -8 - (-2 + 5)*1. Let d = k - y. Solve -16 = 4*q, d*b = b + 3*q for b.
-3
Suppose 4*m + 0*o = -4*o + 24, -2*m = -2*o. Solve -2*f + d = 11, -3*f - 13 - 11 = -m*d for f.
-3
Suppose 3*l - 8 + 35 = 0. Let i be (-24)/10*200/16. Let k be (-1)/3 + i/l. Solve 3*q + v + 17 = 2*v, k*q - 3*v + 21 = 0 for q.
-5
Suppose 0 = -5*p - 2*f + 65 + 40, 2*p - 41 = -f. Suppose 4*x - i = 18, 2*i - i + p = 5*x. Suppose y = -0*y. Solve 4*s + w - 12 = 5*w, y = 4*s + x*w - 3 for s.
2
Suppose 31*f - 39*f + 24 = 0. Solve f*i + 3 = -2*o, -4*i + 2*o = -0*i - 10 for i.
1
Let a be 8/14*49/14. Solve -q - 5 = 3*w, 13 = w + 2*q + a*q for w.
-3
Suppose 0 = -3*m + 6. Solve 0 = 4*s - m*u - 6, -9 = -s - 3*u + u for s.
3
Let j = -2 - -11. Let b = j - 5. Solve 14 = -5*k + 2*v, 6*k - 2*k - b*v = -4 for k.
-4
Suppose 0 = 6*l - 3*l. Solve l = -3*o - 2*n - 13, o + n = -3 - 2 for o.
-3
Let i = -10 - -10. Solve -p - 3*g = 3, -3*g = -p - i*p + 9 for p.
3
Let i(d) be the first derivative of d**2/2 - 6*d + 2. Let h be i(6). Let w(y) = -y**3 + 6*y**2 + 2*y - 7. Let b be w(6). Solve -20 = -h*q - 4*q, -q = b*t for t.
-1
Suppose -104 = -3*l - 5*r, 7 = 4*r - 9. Suppose -p = -0*p. Suppose 5*n + 0*n = p. Solve n = 5*y - 4*x + 28, 3*x + 10 - l = 3*y for y.
-4
Let g be 1/(0 - 1/(-3)). Suppose 0 = 2*o + g*o - 105. Solve 36 = -4*w + 2*y + 2*y, -y = -4*w - o for w.
-4
Let m(u) = -u**3 - 6*u**2. Let c be m(-6). Suppose -n + 2*n - 2 = c. Let i be (-5)/(n*(-3)/6). Solve -4*t - 24 + i = -5*x, -t - 1 = 0 for x.
3
Let a(c) = 1 + 17*c**3 - 11*c**3 + 2*c - 11*c**3. Let l be a(-1). Let t be 196/10 - 4/(-10). Solve 2*r + 8 = 2*m - 0, l*r = 5*m - t for m.
4
Let k = 2 + 1. Solve k*r - 12 = -2*z - z, 3*r - 6 = -z for r.
1
Let t = 7 + -4. Suppose 4*m = -t*p + 7*m + 6, -4*p = -2*m - 12. Suppose p*f - c = 13, -3*f + 5*c = -45 + 14. Solve 2*k + 3*s + f*s = 28, -s = -4 for k.
4
Let l(j) = -2*j + 2. Let c be l(1). Solve -3*k - k = -5*d - 22, 5*k + 2*d - 11 = c for k.
3
Suppose -h = -6*h + 340. Suppose -20 + h = 3*t. Solve t = -4*f, -4*c = -2*c - 4*f - 26 for c.
5
Let u be -2 - 338/(-12) - 5/30. Solve -4*b = -r + 16, -5*r = 2*b + u + 4 for r.
-4
Let h be (-3 - 28/(-8))*0. Let z be (-14)/(-2) - -2 - -1. Solve 3*n - t + 0 + z = h, 5*n - 4*t + 12 = 0 for n.
-4
Let i be (-8 + 7)/((-2)/36). Let s be 58/i + 6/(-27). Solve -s*y + 7 = t - 1, y = t + 8 for y.
4
Let a = 15 - 11. Solve 0 = a*t + 20, -3*u = -2*t - 3*t - 25 for u.
0
Suppose -2*g = 2 - 8. Suppose -u + 5 = 4, g*u + 81 = -4*z. Let w be z/(-9) + 3/(-9). Solve 2*x - a = 4*x - 4, 0 = -w*x - 2*a + 6 for x.
1
Let s(d) = d - 3. Suppose -3*i - 3*p + 0 = -21, 24 = 2*i - 3*p. Let j be s(i). Solve j = -2*y + 4*z - z, 4 = z for y.
3
Let i(s) = s**3 - 7*s**2 - 6*s - 8. Let o be i(8). Suppose -x = -5*x + o. Suppose x = 2*w - 2. Solve 0 = -w*u + 6, u - 2 - 4 = -a for a.
3
Suppose -5*r = 5*b - 0*b - 110, 3 = 3*r. Solve -v + b = -4*q, -7*q + 3*q = -2*v + 22 for q.
-5
Let c(h) = -5 - 5*h - 1 + 4*h. Let m be c(-9). Solve 2 = 4*l - 3*d + d, -2*l - 3*d = m for l.
0
Suppose 2*x - 1 - 15 = 0. Let k = 11 + x. Solve -u + 7 - k = 5*b, 0 = -2*u - 4*b - 12 for u.
-2
Suppose -5*b - 15 = 0, 3*d + 5*b = 4*b - 27. Let z(a) = -a**2 - 10*a - 6. Let m be z(d). Solve -5*i = q + 3*q + 28, -q = 2*i + m for q.
-2
Let c(w) = -11*w**2 + 1. Let d be c(-1). Let y be (2/(-2))/(2/d). Solve 23 = -0*l + l + 4*u, y*u = -3*l + 34 for l.
3
Let f be 0/((((-9)/(-3))/(-1))/(-3)). Solve -5*a + 