 -5*y + b for y.
3
Let y = -10 - -14. Suppose 0 = -3*h + y*h - 4. Solve -h*s + s + 6 = 0 for s.
2
Let c be ((-6)/2)/((-1)/1). Let l(m) = -4 + c*m + 0*m - 2*m. Let a be l(7). Solve -a*o = -6*o + 9 for o.
3
Let v be 2/5 + (-46)/(-10). Suppose -a = -g + 4, 9 = -v*g - 11. Let i be 6/9 + a/(-6). Solve i = -m - m for m.
-1
Let x(w) = w**2 + 2*w - 4. Let h be x(3). Let m = -7 + h. Let d be 2*(50/m)/5. Solve -9 = 2*u - d*u for u.
3
Suppose -2*h - 21 = -31. Suppose -15 = -2*v - h. Solve -2*m + v*m = 12 for m.
4
Let r be (3*-2)/(13 + -15). Solve r*x - 1 - 5 = 0 for x.
2
Let l(x) = 2*x + 10. Let y be l(-5). Solve -j + y = -2 for j.
2
Let x = -30 - -38. Solve x = k + 3 for k.
5
Let f = -13 + 17. Solve -2*t = -t - f for t.
4
Let f(g) = g**2 - 4*g - 9. Let i be f(-2). Solve 0 = 5*z + i + 7 for z.
-2
Let m = 13 - 10. Suppose -9 = 5*i - 19. Solve -w - m = i for w.
-5
Let l be -20*((-92)/(-16) + -6). Solve -22 + 2 = -l*k for k.
4
Suppose 0 = 3*d - h - 6, -2*d + 4 = -0*h - 2*h. Let f = 5 - d. Solve -f*y + 0*y + 9 = 0 for y.
3
Suppose 31 = 5*q + 4*x, 2*q - 20 = -5*x + 6. Solve -i = -q*i for i.
0
Suppose s + 1 = 5. Let q be (5 - 5) + 10 + (-1 - -1). Solve -2*u = -s*u + q for u.
5
Let o(x) = x + 1. Let g be o(5). Suppose 0*b - 5*b - i + 12 = 0, -2*i - g = 0. Let j(l) = -l**2 - 5*l + 5. Let t be j(-5). Solve t = -b*f + 4*f for f.
5
Let j be ((-1)/(-3))/(4/36). Suppose 0*t = -j*t + 9. Solve -5*h + t = 23 for h.
-4
Suppose 9 = -5*h + 3*y - 18, -2*y + 22 = -4*h. Let b = 23 + h. Let t be 1/6 - b/(-6). Solve -t*c - 4 = -c for c.
-2
Let m(p) be the second derivative of p**5/120 - p**4/3 - p**3/2 - p. Let i(b) be the second derivative of m(b). Let l be i(8). Solve 2*r + 3 - 7 = l for r.
2
Let i(s) be the second derivative of -2*s + 0 + 3/4*s**4 + 1/6*s**3 + 1/2*s**2. Let o be i(-1). Solve -c - 2*c = -o for c.
3
Let b = -3 - -8. Let u(q) = q**3 - 5*q**2 + q - 4. Let v be u(b). Solve 5*y - 4 = v for y.
1
Let c = -38 - -22. Let w be 2/((-1)/c*4). Solve 0 = 3*h - 4 - w for h.
4
Let n = -5 + 22. Suppose 3 + n = 5*h, 5*h = t + 18. Suppose t*c = c. Solve 3*u + 3 = -c*u for u.
-1
Let m(k) = -7*k**2 + k + 6. Let c(f) = f**3 + f + 1. Let r(u) = -c(u) + m(u). Let q be r(-7). Let a be 1/(-2) + q/10. Solve 0 = 2*d - a*d - 8 for d.
4
Let u be (-2)/9 + (-534)/27. Let s = 33 + u. Solve -7 = 4*g + s for g.
-5
Let b(y) = 3 + 3*y - 2*y + 7. Let l be b(-8). Let z(q) = q**3 - 5*q**2 - 5*q - 3. Let v be z(6). Solve -s + v = l for s.
1
Let a be 9/(-4)*2*-6. Suppose a = 5*n + 7. Solve 2*h + 6 = -n for h.
-5
Let z(q) = -q**3 + 8*q**2 + 7*q + 3. Let f be z(9). Let w be 8/6 - 10/f. Solve 0 = w*y - 6*y - 8 for y.
-2
Let q = 105 - 103. Solve -4*d - q = -10 for d.
2
Let b = -10 + 14. Solve b*x - 4 - 16 = 0 for x.
5
Let l(t) = -t**2 - 9*t - 6. Let x be l(-7). Suppose 2*j + x = z - 5*z, 8 = -4*z - 4*j. Let g be (-22)/(-3) + z/6. Solve 5*y + g + 8 = 0 for y.
-3
Let m be 13/5 + (-24)/(-60). Solve 19 = m*g + 7 for g.
4
Let n(l) = 3*l + 12. Let b be n(-10). Let m be ((-4)/(-9))/((-4)/b). Solve 0 = 4*d - m*d - 8 for d.
4
Suppose -5*g = -p - 4*p - 420, 0 = -5*g + 4*p + 420. Suppose -i - 3*i = -g. Suppose -3*h + 15 = 2*u, 4*h = -0*h - 3*u + i. Solve 2*z - 5*z = h for z.
-1
Let t(s) = s**3 - 6*s**2 - 7*s + 4. Let f be t(7). Let j be 0*(-2)/f*1. Let a be (-2 - -3) + -1 - j. Solve a = i - 3*i for i.
0
Let u(m) = -m**2 + 10*m - 10. Let n be u(9). Let z = 1 + n. Suppose z = d + 4*d - 120. Solve -5*q - 4 + d = 0 for q.
4
Let q(x) be the third derivative of -x**5/60 - x**4/4 + x**3/3 - x**2. Let k be q(-6). Solve -k*c - 5 = -15 for c.
5
Suppose 3*a - 12 = 0, -22 = -4*z - 4*a + 14. Solve -z*n + 3*n = 0 for n.
0
Suppose 5*o = -4*x + 30 + 15, 0 = -5*o - 2*x + 35. Solve -o*t - 6 = -3*t for t.
-3
Suppose 2*p - 5*n = 5*p - 19, 5*n = -2*p + 16. Solve 6 = -p*b + b for b.
-3
Let c = 1 + 2. Suppose 2*a - 24 = -2*a. Suppose 2*l = -5*i + l + a, -c*i + 5*l + 26 = 0. Solve 4*h = i*h for h.
0
Let d(m) = m**2 + 13*m + 7. Let v be d(-12). Let f(l) = l + 10. Let a be f(v). Solve 7 + a = 3*i for i.
4
Suppose -3*v + 2 = -a, -24 = -2*v - a - 4*a. Solve v*n = -n - 9 for n.
-3
Let b be -3 + (-3 - (5 + 2)). Let o = -10 - b. Solve g = o*g - 4 for g.
2
Let t(r) = -r**3 - r**2 - r. Let h be t(-1). Suppose 3*n = 5 + h. Solve 0 = n*u - 6*u - 4 for u.
-1
Suppose -15 - 5 = -4*w. Suppose 3*f = -4*d + 2*f - w, -5*f = 2*d + 25. Solve -2*m - m = d for m.
0
Let q(y) = y**2 + y - 7. Let a be q(4). Solve 4*h + 33 = a for h.
-5
Let f be (10*-1 - -3)*(-8)/28. Solve 0*t - f*t = -4 for t.
2
Suppose 0*y = -2*g + 3*y + 15, 0 = -5*g - 2*y - 10. Solve 4*l - 6 + 22 = g for l.
-4
Let z(s) = s - 4. Let c be (-42)/(-4) + 1/2. Let w be z(c). Solve w = 2*x - 3 for x.
5
Suppose -12 = -5*p - 2. Let k be -4*(0 + 1) + p. Let n = k - -6. Solve 4*w = -n - 8 for w.
-3
Let y be (-63)/(-36) - (-1)/4. Let z be 5/3 - y/(-6). Solve 0 = 2*w + z*w + 20 for w.
-5
Let t = 2 + 0. Suppose -4*n = -3*n. Solve -t*l + 2 + 8 = n for l.
5
Let j(f) = 0 - 9*f**2 - f**3 + 6 + 4*f + 3 - 3*f. Let r be j(-9). Solve r*d - 3*d = 15 for d.
-5
Let c = -6 - -8. Let g be ((-2)/c + 0)*-3. Suppose 0 = -4*s + 3*s + 5. Solve -g + s = l for l.
2
Suppose -9*b = -11*b + 30. Solve 2*i + b = 5*i for i.
5
Let o = -8 + 14. Let i(y) = -y + 11. Let x(b) = 1. Let k(f) = -i(f) + 6*x(f). Let m be k(o). Solve -3*w - m = 11 for w.
-4
Let i be (-427)/(-28) - (-3)/(-12). Solve -2*n + i - 5 = 0 for n.
5
Suppose -27 + 9 = -3*p. Let n = p + -4. Solve 1 = -u - n for u.
-3
Let p(y) = -4*y - 1. Let j be p(2). Let w = -5 - j. Solve -16 = -w*g + 4 for g.
5
Suppose -2*k - 4 = -4*k. Let g be 4/((-3)/((-12)/k)). Suppose 5*c - g = 2. Solve 16 = c*y - 6*y for y.
-4
Let m be (30/(-8))/(1/(-4)). Suppose 39 = 3*n + m. Let i be (6/n)/((-2)/(-8)). Solve 10 = -b + i*b for b.
5
Suppose -12 = -4*i, -3*l + 5*l + i - 13 = 0. Let g(a) = a**2 - 3*a. Let r be g(3). Let p be (r - 3)*(-8)/6. Solve p*x = 21 - l for x.
4
Suppose -2*c + 0*u + 5*u = 10, 0 = c + 3*u - 6. Suppose -7*t + 2*t + 25 = c. Solve 11 = -t*a - 4 for a.
-3
Suppose 0 = -4*k + 2*k + 4. Suppose -k*l + 1 = -3. Suppose 0 = l*n - 0 - 6. Solve t = n - 4 for t.
-1
Suppose -10 = -2*a, -5*l + l + 3*a - 3 = 0. Solve l = f - 1 for f.
4
Let m be 2 + 0 - (-1 - -1 - 8). Solve -3*j = 2*j + m for j.
-2
Suppose -2*s - 3*s + 24 = -4*h, -s = 4*h. Suppose 2*j - s*t = -0*j, 2*j - t = 3. Suppose -7*u + 12 = -4*u. Solve -j*i + u = -3*i for i.
-4
Let p be (-3)/(-9)*(-4 - -28). Let v(s) = s**3 + 3*s**2 - 6*s - 6. Let u be v(-4). Solve -2*i = p + u for i.
-5
Let i(t) = 7*t - 35. Let c be i(5). Let f = 10 - 7. Solve c = 5*l - f*l for l.
0
Suppose 0 = 6*c - 6 - 6. Solve 2 = -c*g + 4 for g.
1
Let h = 56 + -19. Solve 5*l - 12 = -h for l.
-5
Let y(o) = -o**2 + 6*o - 4. Let f be y(4). Solve 2*s = f*s for s.
0
Let m = 22 - 10. Solve -3 = -3*l - m for l.
-3
Suppose 3*k = -k. Let n(y) = -y**2 + 12*y + 2. Let d be n(12). Solve d = h - k for h.
2
Let y = 11 + -3. Suppose 3*k - y*k = 0. Solve k = 4*a - 3 - 1 for a.
1
Let o = -24 + 24. Solve o = -y + 5*y + 8 for y.
-2
Let o = 64 - 54. Solve -o = -4*s - s for s.
2
Let z(k) = k**3 - 4*k + 2. Let g be z(-2). Suppose 3*w + 2*w + 3*l = 0, -5*l = -w. Solve g*j = -w*j - 8 for j.
-4
Let n be 5/2*(-116)/(-145). Suppose a - 34 = -3*y - 608, 3*y + 578 = -2*a. Let q be n/(-9) + y/(-45). Solve 8*c - q*c = -8 for c.
-2
Suppose 3*a = 9 + 6. Solve -a*k + 13 = -12 for k.
5
Suppose -3*t + 0*t + 13 = -m, 5*m = -5*t - 5. Solve -t*a = -2*a + 4 for a.
-4
Let t be 0*2*(-1)/2. Suppose v - 6*v - 10 = t, -2*l = -2*v - 196. Let s be 2/(-5) + l/15. Solve -j - 3 = -s for j.
3
Suppose 0 = -5*i - 5*r + 10, 5*i = r + 10 + 6. Suppose -l + 40 = i*l. Solve l = 2*v - 4*v for v.
-5
Let g(u) = -u**3 + 10*u**2 + 3*u - 8. Let j(a) = 3*a**3 - 30*a**2 - 10*a + 23. Let b(n) = 7*g(n) + 2*j(n). Let l be b(10). Solve l*c = c + 4 for c.
-4
Let x(j) = -j - 6. Let n be x(-10). Let s(c) = -c**3 + c**2 + 2*c - 2. Let w be s(-3). Suppose 3*b = 4*b - w. Solve n*o - b = -8 for o.
5
Let o be 4*(1 - (-1)/2). Suppose 0 = j - o*j + 10. Solve -2 = -j*b + 4*b for b.
-1
Let m = 26 + -6. Let j = 30 - m. Solve 0 = -t - t + j for t.
5
Let g(z) = 2*z + 8. Let k be g(-6). Let h be (-11)/(-3) - k/12. Suppose -75 = -5*c + 5*i + 45, 39 = c - h*i. Solve 5*a - c = 1 for a.
4
Suppose -3*w = -4*w - 4*n + 25, -w + 2*n - 5 = 0. Solve v + 2 