/(-3)*y/4. Let w = -7 + o. Solve 1 = h - w for h.
5
Suppose 6*m - 2*m = -2*y, 0 = 5*y + m - 9. Solve -y*x + 11 = 3 for x.
4
Let s be 1/(-1) - 3/(-1). Suppose h - d = d + 2, 4*h - s*d = 2. Solve h = m - 0*m for m.
0
Let s(i) = -5*i - 5. Let m be s(5). Let j be (-8)/(-5)*m/(-12). Suppose 0*r - l - 44 = -j*r, 60 = 4*r - 5*l. Solve -6*u = -u + r for u.
-2
Let n be (15/(-12) + 0)*-4. Suppose -n*j - 2*b = -8, 3 = 3*j + 3*b - 0. Suppose -5*l = -5, -l = -5*d - j*l + 41. Solve y = -d + 4 for y.
-4
Let b be (-2)/(-3)*(0 - -3). Solve -x + b = -1 for x.
3
Let j(f) = -f**2 - 6*f + 3. Let w be j(-6). Suppose 0 = -v + w*v + 8. Let l = -1 - v. Solve x = -l*x + 16 for x.
4
Let n(m) = m - 1. Let b be n(7). Let o be (80/15)/(2/b). Solve 0*t = 4*t - o for t.
4
Let y be (-6)/10 + 112/20. Let t = 0 + y. Solve -7*o = -2*o + t for o.
-1
Suppose 12 = -3*f, -3*v + 3*f + 0*f = -21. Solve -v*x = -x - 4 for x.
2
Let g be 1 - (-12)/3 - 0. Suppose 7*s = g*s. Let p(h) = -h + 3. Let b be p(0). Solve b = -s*n + 3*n for n.
1
Let l = -17 - -26. Solve 0 = 4*p - l - 11 for p.
5
Let o(k) = -k**3 + 12*k**2 - k + 13. Let v be o(12). Solve 2 = -z + v for z.
-1
Let z = 20 + -14. Let v(x) = -x**3 + 7*x**2 - 7*x + 8. Let d be v(z). Solve o = 4 - d for o.
2
Let g(j) be the third derivative of 1/24*j**4 + 1/6*j**3 + 0*j + 2*j**2 + 0. Let t be g(2). Solve o = t*o + 8 for o.
-4
Let c be ((-2 - -2) + 1)*4. Suppose -c*w + 5*z = -58, 3*w - w + 2*z = 20. Suppose -w = -7*d + 3*d. Solve 2*p = p + d for p.
3
Let p = -4 + 7. Suppose 2*x - p = x. Solve -2 = -m - x for m.
-1
Let w be -1*(-4 - 2)/2. Suppose -2*p - 5 = z + 2*p, 2*p - 5 = -w*z. Solve 0 = z*h - 0*h for h.
0
Let x(d) = d + 13. Let h be x(-9). Suppose 3*y = y - 5*a, h*y = -4*a. Let b(l) = 3*l + 17. Let v be b(-5). Solve 5*g + 7 - v = y for g.
-1
Suppose -2*v + 15 = -v + 3*w, 0 = -2*v + 4*w - 10. Suppose v = -3*n + 6*n. Solve -d - 6 = -n for d.
-5
Let k be ((-80)/(-20))/((-2)/(-4)). Solve k = -5*x + x for x.
-2
Let u(y) = -y**2 + 6*y. Let o be u(5). Suppose 0 = -o*h - 15, 3*h + 7 = c - 6. Solve 0 = -4*f - c for f.
-1
Let a = -14 - -18. Solve 2*y - 8 = a*y for y.
-4
Suppose -r = -3*m - 0*r + 7, r - 17 = -5*m. Solve -2 = 5*t + m for t.
-1
Let j(b) = b**2 - 2*b + 1. Let k be j(6). Suppose 4*w = -v - 10, -4*w - k + 5 = -4*v. Let y = w - -3. Solve -4*d + 5*d + 1 = y for d.
-1
Suppose 2*s = 4*z + 16, 1 = -z + 2*s - 3. Let d = z - -6. Solve d*m - 6 = -m for m.
2
Let b be -2 + (2 - 1 - -4). Let v(g) = g - 2. Let y be v(b). Solve -l - 2 - y = 0 for l.
-3
Let x(f) = 3*f**3 - 3. Let a(p) = 13*p**3 + p**2 + p - 12. Let i(k) = -2*a(k) + 9*x(k). Let b be i(3). Solve b = -2*c - 0 - 2 for c.
-1
Let r be 1/(9/(-6) + 2). Solve 4 = -r*g + 2 for g.
-1
Suppose -2*b - 51 = -5*b. Suppose b = 4*k + 1. Suppose -19 = -2*q + 2*p - 5*p, -q = -3*p + k. Solve -8 = q*z + 2 for z.
-2
Let f(o) = o - 8. Let z(a) = 3*a - 23. Let g(d) = -8*f(d) + 3*z(d). Let r be g(6). Let t be (3 + -3)/(-1 - r). Solve -s - s = t for s.
0
Let y be (9 - 3) + -5 + (-1 - -4). Solve -y*z = 1 - 21 for z.
5
Let p(x) = -x**3 + 7*x**2 - 8*x + 8. Let m be p(6). Let q be (-46)/m - 1/(-2). Suppose -2*l = l - q. Solve -l*i = -i + 9 for i.
-3
Suppose c = -k + 8, -2*k - 8 = 3*c - 28. Suppose a + 4 = -c*a - 2*l, -5*l = 4*a - 7. Let u be 3/(9/(-12)*a). Solve 2*i + 8 = -u*i for i.
-2
Let o(j) = 2*j**2. Let m be o(-3). Let n be (-260)/(-36) + (-4)/m. Solve n - 2 = -r for r.
-5
Suppose 2*v - 2 = 4. Suppose i = -v*b + 3*i + 62, -b + i = -21. Solve q + b = -3*q for q.
-5
Let l = 76 + -68. Solve 3*u = 5*u - l for u.
4
Let k(c) = -2*c**2 + 13*c + 9. Let h be k(7). Let l = 13 + -7. Let d = l - h. Solve s + 0*s + d = 0 for s.
-4
Let j = 3 - 3. Suppose o = 6*o. Suppose 0 = -o*l + 3*l. Solve j = -g - l*g for g.
0
Let p be 4/(-18) + 76/18. Suppose 4*x + 9 = 2*q + 3*x, -p*x + 41 = 3*q. Solve 0 = 4*d - 1 - q for d.
2
Let f(s) = -s**2 + 3*s + 4. Let r be f(4). Solve -x + 6 - 1 = r for x.
5
Suppose 2*y + o = 8 + 16, -4*y + o = -60. Let g be (20/14)/(2/y). Solve q + 4*q - g = 0 for q.
2
Suppose -3*v - 4*f = 101 - 26, 0 = -2*v - f - 55. Let t = v + 45. Suppose k = -3*r - 11 - 1, 10 = -2*r. Solve -h + t = k*h for h.
4
Suppose 4 + 2 = -x. Let q(v) = 4*v**3 - 3*v**3 + 3*v**2 + 2*v**2 - 7 - 6*v - 3*v. Let o be q(x). Solve -5 = 3*u - o for u.
2
Let p(n) = -n**3 + 5*n**2 - 3*n + 3. Let l be p(4). Suppose 5*m + 32 = 3*c, c + 9 + l = -5*m. Solve -c*k = -k for k.
0
Let z(b) = -2*b + 33. Let f be z(16). Solve f = 2*q - 3 for q.
2
Let x(a) = a**2 + 14*a + 17. Let r be x(-13). Suppose 4*k = 3*k - r*h + 9, -5*k + 24 = -h. Solve z = 2*z - k for z.
5
Let a be (1/3)/(3/9). Let t(c) = -a + c + 1. Let j be t(2). Solve -3*r = j*r - 15 for r.
3
Suppose 4*b + h = -21, 4*b - 3*h + 0 = -1. Let x = b - -8. Solve m = -x*m for m.
0
Suppose -3*k - 12 = 3*l, -5*l - 4*k - 21 = -5. Solve l = -q - 0*q for q.
0
Let m be (-6)/27 - (-2)/9. Suppose 2 = -m*b + b. Solve 5 = 3*q + b*q for q.
1
Suppose -5*b + 25 = 3*v, -v - 17 = -5*b + 8. Suppose -5*s = -4 - 1. Solve -s = a - v*a for a.
-1
Let r be (-14)/21 - 29/(-3). Solve 0 = 2*p + p - r for p.
3
Suppose 5*m = 1 + 4. Let f be ((-1)/3)/(m/(-75)). Solve -6*l + f = -l for l.
5
Let h be (-3)/3 + 6/1. Suppose -3*m - 10 = -h*p, 4*p - 14 - 16 = -2*m. Solve 0 = p*x - x for x.
0
Suppose 1 + 3 = -2*u + 2*o, o - 4 = 0. Suppose 0 = -u*s - 3*q + 2, -s + 1 = -5*q - 0. Solve -4 + s = -3*a for a.
1
Suppose -j - 15 = -4*j. Suppose -j = 3*t - 23. Solve -3*b + t*b + 3 = 0 for b.
-1
Suppose -g = -5*y - 25, 2*y - 58 - 20 = -4*g. Suppose g = 6*t - t. Solve -16 = 5*l + t for l.
-4
Suppose 5*l - 3*i + 7*i + 30 = 0, 2*i + 20 = -5*l. Let b be 2/(3/(-3)) - l. Solve -q + 6*q + 25 = b for q.
-5
Suppose -6 = -4*g + g. Suppose -g*t + 19 = i - 1, -3*i - 4*t = -60. Let j = i + -12. Solve -m - 4 = -j for m.
4
Let i(j) = j - 2. Let p be i(-1). Let r be -6*p/6*1. Solve r*a = -14 - 1 for a.
-5
Suppose 5*r - 4*u - 113 - 11 = 0, 4*r - 128 = -4*u. Let f = r + -19. Solve -2*l - 3 + f = 0 for l.
3
Let i(q) = 3*q + 21. Let n be i(-6). Solve -n*c = c - 12 for c.
3
Let d = 9 - 4. Solve 5 = -0*l - d*l for l.
-1
Suppose 0 = 2*d + 5*x - 26, -3*d + 11 = 4*x - 14. Suppose 0 = -d*u + 4*w - 11, 2*u + 3 - 14 = -w. Solve -j = -1 + u for j.
-2
Let s be ((-5)/(0 + 5))/((-1)/4). Solve 7 = s*x - 5 for x.
3
Let b(t) = t**2 - 8*t + 3. Let r be b(8). Suppose 6*q - r*q = 0. Solve q = 6*i - i - 15 for i.
3
Let t = 8 + 7. Suppose 2*c - 3*r - 9 = 0, 2*r - t - 11 = -4*c. Solve 0 = -k + c*k - 5 for k.
1
Suppose -r = 3*r - 8. Let a be ((-2)/r*-3)/1. Suppose -2*f + 5*s = -a*f + 15, -5*s = -3*f - 15. Solve 0 = u - f - 3 for u.
3
Suppose -5*h - 3*l + 34 = 0, -2*h + l + 22 = 3*h. Let w = 0 + h. Suppose -w*x + 14 = 4. Solve 6 = b + x*b for b.
2
Let l be 4/6 + 14/6. Let s be (-1 + 0)/(l/(-6)). Suppose s*c - 20 = -2*c, -4*d + 2*c + 6 = 0. Solve 2 = -2*a + d for a.
1
Let d(o) = o**3 - 4*o**2 - 2*o + 3. Let p be d(3). Let r be 8/p - (-4)/6. Solve r*l - 2*l + 4 = 0 for l.
2
Let q be (-14)/77 - (-86)/(-11). Let l be (-11 - q) + (1 - -5). Solve l*j + 0*j = 6 for j.
2
Let z be 3 - -2 - 1 - 20. Let n = -13 - z. Solve n*c = c - 6 for c.
-3
Suppose 4*h - 3*h = -k + 4, -20 = -4*k - 5*h. Let q(v) = -v**2 + 10*v + 15. Let l be q(11). Let c = l - -1. Solve k = 2*r - 3*r + c for r.
5
Suppose -4*w + 0*w = -12. Solve -z - w*z - 12 = 0 for z.
-3
Suppose -2*p + d = -16, 0*p + 5*d = 3*p - 10. Suppose 3*s = s + p. Solve 0 = -2*r + s*r for r.
0
Let q(w) = -w + 10. Let x be (-74)/(-8) - (-6)/8. Let h be q(x). Solve -3*d - 7 - 8 = h for d.
-5
Let v be 4/10 + 9/15. Let q(f) = 14*f. Let z be q(v). Solve -3*j + z + 1 = 0 for j.
5
Let q = -10 + -7. Let f = q + 24. Solve -13 - f = -4*r for r.
5
Let m(s) = s + 4. Let n be m(0). Solve 2*j = -2*j + n for j.
1
Suppose 9*y - 4*y = 20. Suppose 5*b - 11 - 5 = -4*p, 0 = 2*b + 8. Solve 1 = y*n + p for n.
-2
Let m(b) be the first derivative of b**2 - 17*b + 10. Let c be m(12). Solve 3*w + c = -8 for w.
-5
Suppose -19 = -3*c - 5*z, -2*c = -3*z + 4*z - 8. Suppose -c*b = -4*b + 2. Solve 3*a = b*a - 4 for a.
-4
Suppose -6 + 9 = n. Solve -d = -n*d - 4 for d.
-2
Let q(c) = 2*c + 21. Let t be q(-5). Solve -5*x + t = -9 for x.
4
Suppose -3*x - 9 = -3*t, 3*t - 9 = -4*x + 8*x. Solve x*y = 2*y + 4 for y.
-2
Let o be (-22)/(-18) + (-8)/36. Let k = 3 + o. Solve 0 = 2*n - k*n for n.