/2)/(-1 - -2). Suppose 0 = 4*a - h*a - 4. Solve -z*s + a = 4 for s.
-1
Let l = -4 - -1. Let r be (0/(l/(-1)))/(-2). Suppose -3*a + 2*t + 2*t = 11, r = 3*t - 15. Solve -3 = 2*h + a for h.
-3
Suppose 4*l = -5*j + 5, 0 = -2*l + 2*j - 6*j + 4. Solve 3*v + 6 - 3 = l for v.
-1
Suppose -3*s = s. Solve s*z = -4*z + 16 for z.
4
Suppose -4*z = -51 - 33. Solve -4*c + z = 1 for c.
5
Suppose 0 = -5*l - 4 + 69. Solve -l = 5*h + 2 for h.
-3
Let k(t) = -t - 4. Let v be k(-6). Suppose 4*r = v*x - 56, -3*x + 74 = -4*r - 0*r. Solve 7 + x = 5*h for h.
5
Suppose -6*r = -r. Suppose 4*d + 3*g - 11 = -r*d, -4*d + 2*g + 6 = 0. Solve -y - d*y = 12 for y.
-4
Let o(g) = 3*g**2. Let v be o(-1). Solve -2*t - v = -t for t.
-3
Suppose -62*n + 65*n - 3 = 0. Solve 3*a - 4*a + n = 0 for a.
1
Suppose 5*z + i - 108 = 0, -2*z - 3*i = -z - 30. Solve 4*s = 1 - z for s.
-5
Let n(a) = 3*a - 17. Let v be n(7). Suppose 4*s - 24 = 52. Solve 5*h + s = v for h.
-3
Let w = 10 - 9. Solve -w = g + 1 for g.
-2
Let v be (1 - 3)*(-6)/4. Suppose -v*r - 9 = -2*g, -6*g + 5*r = -3*g - 11. Let d be 32/g + 2/(-3). Solve -4*w + 2*w + d = 0 for w.
1
Suppose 4*g = -4, 5*n + 2*g = 10 + 8. Let s be ((-2)/(3/3))/(-1). Let z be 5/(5/s) - -13. Solve l = n*l - z for l.
5
Suppose 0 = -5*p + 9 + 6. Solve -p*t = -0*t - 15 for t.
5
Suppose y + 3*t - 4 = 4, 3*y - 44 = t. Solve 5*i + y = -11 for i.
-5
Suppose 5 = 5*b + 3*k - 0, 0 = 2*k + 10. Solve -r + b = -1 for r.
5
Let m(l) be the second derivative of l**5/20 + l**4/3 - l**3/3 - 3*l**2 + 4*l. Suppose v + 20 = -4*v. Let p be m(v). Solve k + k = p for k.
1
Let n = 10 - 5. Suppose 0 = 5*u + 2*t - 23 + 6, -n*t + 2 = -u. Let k be (u/2)/((-12)/(-16)). Solve 0 = -k*s + 1 - 11 for s.
-5
Let v be 2/5*(11 + -6). Let n(s) = -s**3 - 10*s**2 - s - 8. Let c be n(-10). Suppose v*u = -c*u. Solve u*i = i - 2 for i.
2
Let h be 6/4*(5 + -1). Let j be 0 + -2*(-9)/h. Solve 5*g - 8 + j = 0 for g.
1
Suppose 24 = 3*z + 3*y, -3*z - 2*y + 32 = -3*y. Let h be z*12/(-10)*-1. Suppose -2*p + 3*p - n = 7, -p = -2*n - h. Solve -a + 9 = p*a for a.
3
Suppose -4*v - 42 = -7*v. Let f = v - 10. Solve l = -f*l - 20 for l.
-4
Let i be 2 + 5 - (1 + -4). Let c = -7 + i. Let r = 0 + 4. Solve -r*x + c = -1 for x.
1
Suppose 0 = 5*v + 3*b + 1 + 6, 0 = -3*v + 4*b + 19. Suppose 0 = -2*p + p. Solve p = -h - 4 - v for h.
-5
Let c(t) = 6*t**3 - t**2 - 2*t - 1. Suppose 1 = -3*o - b, 4*b - b - 6 = 0. Let k be c(o). Let v = k + 10. Solve -v*h = -6*h for h.
0
Suppose -3*h = 2*h + 25. Suppose -5*s = -10, 0 = -4*l - s + 5*s - 12. Let j = l - h. Solve -j*c - 15 = 5 for c.
-5
Suppose -6*f = -3*f - 12. Let b be f/(-14) - (-32)/14. Solve -b*s = -s for s.
0
Suppose 2*b - 78 = -0*b + 4*n, -5*b - 3*n = -130. Let u(y) = 2*y**2 - 3*y + 3. Let k be u(4). Let f = 32 - k. Solve 5*o + f - b = 0 for o.
4
Let u = 0 - 0. Suppose 3*z + 0*z = u. Solve -4*y - 5 - 7 = z for y.
-3
Suppose 0 = -4*b + 5*y + 27, b + 3*y - y + 3 = 0. Solve b*t + 10 = -2*t for t.
-2
Let x = 7 - 3. Suppose -5*q + 4*i = -3*q - 16, 3*q + 4*i - 14 = 0. Let p be (-16)/(-6) - x/q. Solve l - 6 = -p for l.
4
Let n be 1/((-22)/(-24) - 1). Let y(o) = 19*o - 1. Let w be y(1). Let r = n + w. Solve 2 = 4*p + r for p.
-1
Suppose -2*y = -6*y + 44. Suppose -4*g - 4*x + y = -9, 0 = -g + 5*x - 13. Let f(o) = o**2 - 6*o + 14. Let w be f(4). Solve -w*t = -g*t for t.
0
Suppose -2 + 3 = 5*c - 3*w, 9 = 3*c + w. Solve -8 - c = -5*l for l.
2
Suppose 10 - 30 = -2*i - 5*c, 0 = -3*i - 3*c + 21. Let w = i + -1. Suppose -w*p + 6 = 2*z, -5*p = 2*z - 0 - 9. Solve 6*y - 12 = p*y for y.
4
Let u = -12 - -27. Suppose -3*l + 4*l + 4 = 2*q, -4*q - 2*l + 8 = 0. Solve -q*i + u = -5*i for i.
-5
Let j(t) = t + 3. Let q be j(-7). Let u(a) = -a**3 - 2*a**2 + 5*a - 3. Let m be u(q). Solve 0 = 2*i + i + m for i.
-3
Let x be (-2)/(-1*4/2). Suppose 8*o - 5*o - 21 = 0. Let n = -2 + o. Solve -n = 3*d + x for d.
-2
Let n = -9 + 12. Solve -9 + 21 = -n*s for s.
-4
Let v = 13 + -10. Solve 3*u + 0*u = v for u.
1
Suppose -5*r = 3*t - 16, 0 = 4*r - 3*t + 4 - 6. Let k = 2 + 0. Solve -r*c + k + 0 = 0 for c.
1
Suppose 5*n - 14 = 46. Suppose n = -f + 5*f. Solve f*y - 6*y = -6 for y.
2
Suppose -23 + 8 = -5*r. Solve -r*y + 4 = -y for y.
2
Let g = 3 + -6. Let a be (g - (1 - 1))*-1. Solve 0 = 4*t + 1 + a for t.
-1
Let c = 8 + -12. Let h be 3 - (1 + 6 + c). Solve -5*o + 28 - 8 = h for o.
4
Suppose -4*v + r + 19 + 18 = 0, r = -4*v + 43. Solve v*x - 5 = 5*x for x.
1
Suppose c + 23 = 4*j, 3*j + 2*j + 3*c = 16. Solve 0 = -2*u + u + j for u.
5
Let u(a) = a**2 - 8*a - 3. Let s be u(8). Let f(t) = 2*t**2 + 3*t + 3. Let o be f(s). Solve o = -5*m + m for m.
-3
Let u = -1 + 6. Suppose 3*n - 4 - u = 0. Let q be 1*(n + (-6)/2). Solve q = 2*r - 6 for r.
3
Suppose -30 = 5*u - 0*u. Let b(x) = x**2. Let s(k) = k**3 + 2*k - 7. Let g(y) = u*b(y) + s(y). Let w be g(6). Solve -w*c + 2*c = 12 for c.
-4
Let n(l) = l**3 - 6*l**2 - 5*l - 9. Suppose 3*o - x - 22 = -o, 6 = 2*o + 2*x. Suppose 0 = o*r - 20 - 15. Let b be n(r). Solve 3 = -b*k + 13 for k.
2
Let k(l) = l**2 + l - 7. Let d be k(-4). Suppose 4*w - 4*g = 80 + 76, 5*g - 25 = 0. Suppose 2*u - w = -0*u. Solve d*f - u = -7 for f.
3
Suppose 24 = 3*b - 0*b - 4*n, -4*b = 3*n - 7. Suppose b*z - 8 = -2*h, 4*z - 3*h = -6*h + 8. Solve -z*g - 3*g = -20 for g.
4
Let z(b) = -b**2 + 5*b. Let d be z(4). Suppose -o = -3*o + d. Solve o = -y - 0 for y.
-2
Let m(p) = p**3 - 5*p**2 + 6*p - 4. Let q be m(4). Let y(f) = 2*f**3 + 3*f**2. Let r be y(-2). Let n = r - -7. Solve 0 = n*j - 13 + q for j.
3
Let p = -2 + 4. Let f = -3 + p. Let s be 1*f - (-8 - -4). Solve s*m = m for m.
0
Let q be (-4)/2*(-10 - -9). Solve -7*t + q*t = -10 for t.
2
Suppose -v + 3*v - 10 = 0. Suppose -2*z + 2 = -4*z, 4*l - v*z - 13 = 0. Solve -l*y + 16 = 2*y for y.
4
Let q(j) = -j**3 + 9*j**2 + 9*j + 10. Let h be q(10). Suppose h*c - c = -1. Solve -i = -0*i - c for i.
1
Let z(c) = -2*c - 10. Let r be z(-5). Solve r*y = -3*y - 12 for y.
-4
Let t(j) = j. Let k(w) = -w**3 + 3*w**2 + 10*w - 1. Let d(i) = k(i) - 5*t(i). Let n be d(4). Solve 0 = -n*a + 4*a + 4 for a.
-4
Suppose 0 = 2*r - 2 - 2. Let n be (-9)/(-12)*r*4. Let u be 0/(1/(3/n)). Solve u*s + 1 = -s for s.
-1
Suppose 2*p - 80 = 7*p. Let z be 186/8 + 4/p. Solve z = 5*m + 3 for m.
4
Let d = 7 + -4. Let y = d + -1. Solve 6 = y*r + 4 for r.
1
Let a(c) = -c**3 - 10*c**2 - 2*c + 4. Let v be a(-10). Let k be (-18)/v*-4*1. Solve -k*u + 2*u - 3 = 0 for u.
-3
Suppose 3*o + 6*t - 21 = 3*t, o - 3*t - 7 = 0. Let m be (5/(-2) + 2)*0. Suppose m*f + 2*f = 26. Solve -f = 5*n + o for n.
-4
Let h = 6 + -4. Suppose -4*y + y + 6 = -2*z, h = -4*z + y. Solve -20 = 5*s - z*s for s.
-4
Let h = 39 + -36. Solve 5*y - 6*y + h = 0 for y.
3
Let a(o) = o**2 - 5*o - 7. Let z be a(6). Let j be (0/3 + z)*-3. Suppose -1 - j = -4*y. Solve 0 = 3*n - y - 2 for n.
1
Let b be (-6 - -4)*(3 - -1). Let i = 11 + b. Suppose c + 0*c = -3*u - i, 2*c = 2*u + 10. Solve -12 = 5*w + c for w.
-3
Suppose -399 = 5*w + 71. Let n be 6/(-27) - w/18. Solve -15 = n*s - 0*s for s.
-3
Let m(l) be the second derivative of -l**3/3 - 3*l**2 + l. Let g be m(-4). Suppose -g = -k + 1. Solve k*u - u + 4 = 0 for u.
-2
Let n(x) = -x**2 + 14*x - 15. Let d be n(11). Let z be (-27)/d + (-6)/(-4). Solve -3 = o - z for o.
-3
Suppose -8*q + 25 = 9. Solve 0 = -q*a + 3*a - 3 for a.
3
Let m(g) = 1. Let d(y) = -y - 6. Let k(l) = -d(l) - 2*m(l). Let p be k(-3). Solve 4*v + 11 = -p for v.
-3
Let d(w) = -w**3 - 3*w**2 - 3*w + 3. Let u be d(-3). Solve -u = -2*o - 2*o for o.
3
Suppose 18 = 4*y - 2*d, y + d = -0*d. Let t = 0 + y. Let w be (-6)/(-21) + (-2)/7. Solve 0 = l - w*l - t for l.
3
Let n = 4 - 2. Let o(d) = d**2 - 4*d. Suppose -19 = -5*v - i, 5*i + 4 - 19 = -5*v. Let q be o(v). Solve 3*m + n*m + 5 = q for m.
-1
Suppose 3 = r + 1. Let z be (1 - r/3)*15. Solve -3*b = -4*b - z for b.
-5
Suppose 25*w - 22*w = 12. Solve 4*v = -4 - w for v.
-2
Let o be 2/((-11)/(-3) - 3). Solve o*j = j for j.
0
Let s(x) = x + 69. Let p be s(0). Let j = 107 - p. Suppose 2 + j = 4*a. Solve -4 + a = 3*v for v.
2
Suppose -52 + 12 = -4*i. Solve i = -9*b + 4*b for b.
-2
Let a be (-3)/2*16/(-12). Suppose 8 = 2*i - 2*c, -4*c + 3*c = -a*i + 6. Solve -i*o - 2 = -3*o for o.
2
Let m be (-5)/3*(-14 - 1). Suppose -6*d + d = -m. Solve -d = -5*x + 4*x for x.
5
Let u be (-20)/(-6)*(-18)/(-15). Let r