.
4
Let o(y) = 4*y + 16. Let h be o(-11). Let q be h/(-8) + (-1)/2. Solve 2*s = q*s - 1 for s.
1
Suppose f + 5 - 17 = 0. Suppose 20 = 2*b + 5*y, b = -4*y + f + 1. Solve -p = 4*p + b for p.
-1
Suppose 0 = -5*w + 5*c + 10, 3*w + 4*c - 34 = -0*w. Solve -2*u = -w*u - 16 for u.
-4
Suppose -30 = 5*i - 5*o, 0 = 4*i + 3*o + 18 + 6. Let v be (-20)/i - 2/(-3). Suppose f - v*f = -27. Solve 3 = -4*k - f for k.
-3
Let q(j) = -j - 1. Let t(i) = -8*i + 3. Let x(a) = -5*q(a) + t(a). Let y be x(-5). Solve 0 = -5*r + y + 2 for r.
5
Suppose 0 = v - 2*v. Solve v = -2*p + 5*p - 12 for p.
4
Let a = 38 + -24. Solve -6 = -5*w + a for w.
4
Suppose 7*i = 8*i. Let y be (-2)/5 + 37/5. Solve i = -3*s - 5 - y for s.
-4
Let y be (361/3 + 1)*3. Suppose -i + 0*i + y = 0. Let p be 4/(-18) + i/18. Solve -j - 3*j = -p for j.
5
Let t(d) = -d**2 - 8*d - 8. Let o be t(-7). Let g be (-1 + o)*(2 - 3). Solve 5*k + g = -13 for k.
-3
Suppose -3 + 18 = 5*n. Suppose 2 = n*a - 4. Suppose -3*q - a = y, 2*y + y = 4*q - 6. Solve -3*w + 6 = -q for w.
2
Let c be (-25)/((-125)/60)*(-1)/(-3). Suppose 4*i + 3*f - 13 = -0*f, 3*i - 5*f = 17. Solve -2*y = c + i for y.
-4
Let x(k) = 2*k**2 - k - 1. Let n be x(-1). Let u(f) = f - 20. Let d be u(26). Solve -n*r = 4 + d for r.
-5
Suppose 5*z + 25 = 0, 0*v + 7 = 2*v - z. Let u = -1 + 2. Let l = v - u. Solve l*d = -4*d for d.
0
Suppose t + 9 = 4*t. Solve 2*z = -t*z + 5 for z.
1
Let u be 14/4*(-4 - (-40)/7). Solve 3*w - u = 3 for w.
3
Suppose -g = -5*g. Solve g*j + j - 1 = 0 for j.
1
Let i = 6 - 5. Suppose -i = 4*a - 9. Let v(o) = o**3 + 3. Let k be v(0). Solve a*l - 1 = -k for l.
-1
Suppose -f = -k - 2, 0 = -k - 0 + 1. Suppose -5*n = -n. Solve -f*x = -n*x - 15 for x.
5
Suppose 0 = y + 11 - 4. Let c(z) = -z**3 - 6*z**2 + 5*z - 7. Let h be c(y). Solve 2*j - 20 = h*j for j.
-4
Let o(c) = c**3 + 4*c**2 + 2*c - 1. Let q be o(-2). Solve 0*h = q*h for h.
0
Suppose -m - 4*m + 4*i - 6 = 0, -4*m + 3*i - 4 = 0. Solve -m*c + 2 = -0*c for c.
1
Suppose -5*c + c + 4 = 0. Let h = c - -1. Suppose 2*z - h*k + 5*k - 1 = 0, 4*z - 23 = k. Solve z*v + 16 = -4 for v.
-4
Let a(u) = 11*u - 19. Let s be a(4). Solve x - s = 6*x for x.
-5
Suppose 8 = 7*i - 3*i. Let z = 10 - -2. Solve -i*t = t + z for t.
-4
Let i(v) = 2*v**2 + 5*v + 4. Let t be i(-2). Suppose -k = -3*z - 3, -2*k - z - t = z. Solve k = -y + 4*y for y.
0
Suppose -7 = -5*l - 4*f - 3, f - 1 = -l. Solve l = 2*m - 4 - 6 for m.
5
Let z = 37 - 22. Solve 0*g - z = -5*g for g.
3
Suppose -4*y + 0*y - 4 = 0. Let t be y + -1*(1 + -3). Solve 11 + t = 3*m for m.
4
Let i be (-32)/(-10) + 2/(-10). Let a = -8 + 5. Let s = a + 3. Solve i*m + s*m - 15 = 0 for m.
5
Let j(d) = d**3 - 3*d**2 + d - 1. Let b be j(3). Solve i - b*i - 1 = 0 for i.
-1
Let a be (-7)/14 + 19/2. Solve 4*c + 11 = -a for c.
-5
Suppose 5*s + 25 = 4*w, 5*w + 20 = 3*w - 4*s. Suppose w*r + 20 = 4*r. Solve -r*f - 8 = -3*f for f.
-4
Suppose -51*c + 4 = -49*c. Solve -c*h - 2 = 2 for h.
-2
Suppose k = 2*k + 5*h - 11, 2*h - 1 = 3*k. Let z(j) = 2*j**2 - 3*j + 3. Let w be z(2). Solve -g + w = k for g.
4
Let o = -157 - -158. Solve o = 3*x - 2 for x.
1
Let b be 0/(2/(-1))*1. Suppose b = 4*c - 5*c + 20. Solve 0*q = -5*q + c for q.
4
Let h be ((-2)/(-4))/((-2)/(-12)). Solve 0 = h*w - 9 - 3 for w.
4
Suppose -2*m - 2*m = 0. Let a(y) = y**2 + 2*y - 5. Suppose 3*h = 5*s - 22, 3*h = -4*s + 2*s - 8. Let t be a(h). Solve m = k + 2 - t for k.
1
Suppose 4*c = 2*g + 34, 2*c - 19 = -c - 5*g. Let n(a) = -a**2 + 9*a - 3. Let k be n(c). Suppose -5*w + 3 + 12 = 0. Solve 4*j - w - k = 0 for j.
2
Suppose -48*v + 10 = -43*v. Solve -p - 2 = -v*p for p.
2
Suppose -3*y = -3*r - 3, 4*r - 3*y = 2*y - 9. Suppose 1 + 7 = r*g. Solve -g*n + 3 = -n for n.
3
Let x(v) = -3*v + 5 + 5*v + 0. Let l(z) = 8*z**2 - 1. Let t be l(1). Let h be x(t). Solve -h - 6 = -5*c for c.
5
Suppose -2*s = -6*s + 16. Let y = s + -1. Suppose -y = u - 5*m, -3*u + 4*m = -0*u - 13. Solve h = u - 3 for h.
4
Let j(c) be the first derivative of -c**7/840 + c**6/36 - 3*c**5/40 + c**3/3 + 2. Let t(f) be the third derivative of j(f). Let p be t(9). Solve p*d = d for d.
0
Let d = 6 + 0. Let g(i) = i**2 - 2*i - 7. Let p be g(d). Suppose -5*q = -q - 16. Solve -p + 5 = -q*o for o.
3
Let n be 3 + -4 + 0 + (2 - 3). Let d = 1 + -2. Let q be d/n - (-6)/4. Solve 7 = -3*g - q for g.
-3
Let i(n) be the first derivative of n**4/4 - 5*n**3/3 + 3*n**2 - 2*n - 3. Let q be i(4). Solve -2*d = -0*d - q for d.
3
Suppose 0 = 3*r + 2*r + p - 16, r + 3*p = 6. Solve -3*d + 3 = -r for d.
2
Let o(s) = -s**2 - 2*s - 1. Let f be o(-1). Suppose f + 48 = 3*v - 3*i, -v + 5*i + 32 = 0. Let u = v - 9. Solve 0*r - 3 = -u*r for r.
1
Suppose -2*o + 0*o + 4 = 0. Let j = -1 - 3. Let f(w) = -w**3 - 5*w**2 - 6*w - 6. Let n be f(j). Solve -n*q = -q + o for q.
-2
Suppose 0 = 3*c + 4*i - 18, 0 = c - i - 3*i + 10. Suppose -2*z - v = -c*v + 3, -2*v = 4*z - 14. Let j(l) = 3*l. Let s be j(z). Solve 5*m = s*m for m.
0
Let t = -7 + 2. Let g = t + 9. Solve 0*n = -g*n + 8 for n.
2
Let q = 3 - 2. Suppose 5 = -2*j + 2*y + q, 0 = 3*j - 4*y + 10. Suppose r - 18 = -j*r. Solve w = -2*w - r for w.
-2
Suppose 14*i = 8*i + 18. Solve -d + i = 7 for d.
-4
Suppose -n - 6 - 4 = -2*f, n = f - 5. Let k = -42 - -42. Solve x + f + k = 0 for x.
-5
Let c(u) = u**2 + 3*u. Let p be 0/1 - (2 + -2). Suppose p = 3*s + 5*t - 2*t, 0 = 4*s + 5*t - 3. Let o be c(s). Solve w - 6*w = o for w.
0
Let w(c) = c**3 + 2*c. Let f be w(0). Solve 7*h - 4*h - 12 = f for h.
4
Let w(b) = -b**3 + b**2 - b + 2. Let u(d) = -d**2 - 8*d. Let q be u(-8). Let c be w(q). Let s be 5/4 + 4/(-16). Solve s = -3*p - c for p.
-1
Let x(z) = -2*z**2 + 11*z + 10. Let j be x(6). Suppose g = -3*t + 6, 0 = -g - t + 7 + 1. Solve -j*q = -g*q for q.
0
Let k(j) be the third derivative of j**6/120 - 3*j**5/20 - 5*j**4/12 + j**3/2 - 5*j**2. Let s be k(10). Solve 1 = s*a - 14 for a.
5
Suppose 0 = -29*b + 25*b. Solve b = -5*d + d for d.
0
Let i(h) = h**2 + 3*h + 4. Let s be i(-2). Solve 3*m - 5*m = s for m.
-1
Let v = -15 - -17. Solve -v*s = 3*s - 20 for s.
4
Let a = 18 - 9. Let u = -6 + a. Solve -4*k = -u*k - 4 for k.
4
Suppose -2*k + 7 = 3. Solve -3*w - k*w = 0 for w.
0
Suppose -s = 2*s + 15. Let l(z) = z + 12. Let o be l(s). Suppose 0 = -5*j + 2 + 13. Solve j*v = o*v - 12 for v.
3
Let u be ((-28)/6 - -1)*3. Let g = -10 - 1. Let c be (-57)/g + 2/u. Solve 0 = 2*k - 5 - c for k.
5
Let y = 12 - -4. Suppose -4*g + y = -16. Suppose 4 = -f - 5*q - g, -3*f = 2*q - 3. Solve -4 + 13 = f*z for z.
3
Suppose -3*b = 1 - 7. Suppose -2*g + 2*w - 1 = 11, 3*g = -w - 2. Let r be (b - 1) + g + 1. Solve r = j + 1 - 0 for j.
-1
Let d(k) = -k + 1. Let i be d(0). Solve -y = -0*y - i for y.
1
Suppose 5*z + 0*z - 15 = -2*j, -10 = -5*z - 3*j. Let u(b) = -b**3 + b**2 + 5. Let y be u(0). Suppose z*n - 15 = y. Solve 3*o - n*o + 1 = 0 for o.
1
Let r(c) = 7*c - 11. Let n(p) = 3*p - 5. Let l(i) = -9*n(i) + 4*r(i). Let s be l(1). Let a be (5 - 0)/(9/18). Solve -s*v + 7*v = a for v.
2
Let j(r) = r**2 - r. Let z = -9 + 4. Let o(k) = -k**2 - 4*k + 5. Let i be o(z). Let b be j(i). Solve b*x + 3*x = 3 for x.
1
Suppose -2*l - 3*l - 2*b = -437, 2*l - 4*b = 170. Let x = -59 + l. Suppose -3*t = -5*t + x. Solve 4*n - 6 + t = 0 for n.
-2
Let l(x) = x + 2. Let y be l(-2). Solve y = -u + 5*u + 12 for u.
-3
Suppose -4*v + v + 21 = 0. Suppose -v + 3 = -4*o. Solve -4*d = o + 11 for d.
-3
Let h be 82/4 - (-1)/(-2). Solve h = 3*b + 5 for b.
5
Let q(o) = 3*o**3 - 2*o**2 - 2*o - 2. Let k(x) = -x**3 + x. Let l(p) = 4*k(p) + q(p). Let y be ((-3)/6)/((-1)/(-6)). Let t be l(y). Solve 2*g + t = -9 for g.
-5
Suppose 0 = 4*f + 5*d - 21, 4*d - 4 = 5*f - 20. Suppose -f*r + 13 = 5. Solve -2*h + 0 + r = 0 for h.
1
Let a be (-17 - -16)/(1/(-4)). Solve q = -q - a for q.
-2
Let c = -4 + 6. Solve c*t = -0*t - 10 for t.
-5
Let r = 43 + -39. Solve r*o + 6 = -14 for o.
-5
Let t be ((-4)/(-10))/((-17)/(-425)). Solve -t = 2*g + 3*g for g.
-2
Suppose 2*b = -2*i + 36, 0*i - 2*i - 28 = -2*b. Let d be ((-2)/3)/(b/72). Let k be (9/d)/(-3)*1. Solve -4*n + 7 = -k for n.
2
Let l(s) = -s + 10. Suppose z + 40 = 6*z. Let j be l(z). Solve j*m - 7*m = -25 for m.
5
Let u = -37 - -53. Suppose -4*y + u = -3*b + 45, 4*b - 4*y - 32 = 0. Solve b*f = 8*f + 5 for f.
-1
Suppose 18 = m + 5*m. Solve -d + m*d + 6 = 0 for d.
-3
Suppose 0 = -n - 2*v -