 = -s*x for x.
4
Let d(i) = -i**2 - 5*i - 3. Let r be d(-4). Let q(a) be the first derivative of 5*a**4/4 - a**2 + a - 1. Let m be q(r). Solve m*k - 1 = 11 for k.
3
Let r = 11 - 21. Let u = -6 - r. Let l be ((-24)/32)/((-1)/u). Solve -28 = 5*w - l for w.
-5
Suppose -6*f = -3*f - 9. Suppose 2*x + 3 = f*x. Suppose -2*r - 8 = -0*r - x*b, -5*r - 4*b = -26. Solve 4*v = r*v + 6 for v.
3
Let n(z) be the third derivative of -z**4/4 - z**3/6 - 2*z**2. Let s be n(-1). Solve s*b + 5 + 5 = 0 for b.
-2
Let k be 176/(-64)*2*-2. Solve -5 + k = -2*c for c.
-3
Let f = 170 + -167. Solve 0 = -d + 1 + f for d.
4
Let g be (-6)/9*(-1)/(4/18). Solve -8*a + 20 = -g*a for a.
4
Let w be ((-3)/9)/((-2)/24). Suppose -w*l = k + 14, -17 = -5*k + 4*l + 9. Suppose -n = -k - 0. Solve 6 = n*y - 0 for y.
3
Let p = -2 - -4. Suppose p*u = 3 + 1. Solve -2*o - u*o = -16 for o.
4
Let w = 4 + -6. Let t be 2/((-3)/3)*w. Solve 4*s = 12 + t for s.
4
Let p = 32 + -18. Let f = p + -12. Solve -4*k + f = 22 for k.
-5
Let z be (9*3)/((-9)/(-12)). Suppose 4*x - g = g + 18, 5*x = -2*g + z. Solve -q = -x*q + 20 for q.
4
Let d(i) = i + 1. Let c be d(-1). Suppose -5*l = -7*l + 6. Suppose -5*o + 3*o - 2 = c, 0 = l*g - 4*o - 10. Solve g*k = -2*k for k.
0
Let i be 0/(-2*2/4). Suppose 5*x = 2*x - 42. Let p = -10 - x. Solve p = v - i*v for v.
4
Let u(n) = -n**2 + 8*n - 7. Suppose x + 10 = 2*w - x, -2*w + 5*x + 10 = 0. Let c be u(w). Solve 5*y + c = -7 for y.
-3
Suppose 26*s - 22*s - 16 = 0. Solve -s*u - 4 = -0*u for u.
-1
Let y be (5/3)/(5/6). Solve 0 = -y*b + b for b.
0
Let k = -4 - -8. Let u be 3 - 44/(1 - 3). Solve q = -k*q + u for q.
5
Let c = -107 - -111. Solve 5*r - 19 = -c for r.
3
Let o = -23 - -26. Solve -14 + 5 = o*j for j.
-3
Let v be 5/((-20)/(-24))*1/3. Solve 4*k = v*k + 2 for k.
1
Let y(x) = -x**3 - 12*x**2 - 10*x + 11. Let c be y(-11). Solve 3 = -c*l + l for l.
3
Let t(g) = -3*g - 21. Let w be t(-7). Let p = -2 + 2. Solve p = -w*x - x + 5 for x.
5
Let k = -1 - -3. Suppose -2*f + f + 3 = 0, 0 = -k*p - 3*f + 13. Let h be 43/6 - (-12)/(-72). Solve p*m - 1 - h = 0 for m.
4
Let n be 2*(0 - 3/6). Let k be 0 - (n + 0 - 5). Let d = -10 - -16. Solve -3*s + d*s = -k for s.
-2
Let u = -13 + 19. Solve 2*i = -0 + u for i.
3
Suppose 6 - 3 = -f + 4*n, 5*n - 6 = -f. Let l be (f - 3 - 0)*2. Let r be 3/3 + (-16)/l. Solve r*z = -4 - 6 for z.
-2
Let k(s) = 0*s**3 + 1 - 4*s**3 + s**2 + s + 2*s**3 + 3*s**3. Let w be k(-1). Suppose w - 8 = -4*u. Solve 0 = u*t + 2 - 12 for t.
5
Let o(x) = x**2 - 14*x - 6. Let n be o(15). Suppose -4*q = -w + 3 + n, -w = -3*q - 9. Solve 0 = -5*i - w - 10 for i.
-2
Let u = 21 + -6. Suppose -2*z = -5 + u. Let p = -4 - z. Solve -2*l - p = -l for l.
-1
Let r be 5 - 3/(-2)*2. Suppose -6*l = -2*l - r. Solve 3*m = m + l for m.
1
Let x(n) = 4*n**2 - 6*n - 8. Let b be x(-2). Solve -6*j + 11*j = b for j.
4
Let g(r) = -r**2 - 7*r - 5. Let i be g(-5). Solve -3 + 13 = i*q for q.
2
Let u = -10 + 12. Solve -u*k + k = -4 for k.
4
Let w = -2 + 7. Let f be 4/12 - 16/(-6). Suppose -4*m = m - 3*z - f, -z = 1. Solve n + m + w = 0 for n.
-5
Suppose d + 6 = 3*d. Suppose 2 = 2*t, d*n + n - 15 = 5*t. Solve -13 = n*w - 3 for w.
-2
Let j(g) = -g**3 - 8*g**2 - 8*g - 4. Let z be ((-6)/8)/(9/(-24)). Suppose -5*n - 4*d - 27 = 0, -2*n = -5*d + z*d + 20. Let k be j(n). Solve -r - 12 = k*r for r.
-3
Let i(u) = 2*u - 15. Let g be i(11). Suppose -g - 3 = -5*y. Solve -2 = -2*z + y for z.
2
Suppose -b + 4 = 3. Let m be b/((2 + -3)/(-5)). Let a = -29 - -42. Solve -m*t + 3 = a for t.
-2
Let q be 0 - -1*(1 - -2). Suppose 0 = -z - 4 + 5. Let j = z - 1. Solve q = -j*x + 3*x for x.
1
Suppose -4 + 10 = 3*b. Suppose l = -4*g - 8, -4*l - b*g - 4 = -0. Solve l*o = o - 2 for o.
2
Let a(v) = v**2 - 4*v - 6. Let g be a(6). Let l be ((-2)/4)/(g/(-72)). Suppose 5*y - 4 = l. Solve y*z - 7*z = -25 for z.
5
Suppose 2*i + 2*l = 18, -6*l = -2*l - 12. Suppose -8*p + i*p = -4. Solve -p = z + 3 for z.
-5
Let x = 12 - 8. Suppose 0 = -5*f - 2*s - 20, -f + 4*s = 34 - 8. Let z be (f/4)/(4/(-48)). Solve 2 = x*h - z for h.
5
Let v = -79 + 45. Let k = -21 - v. Suppose -5*p + 9 = y, -2*y - 2*p + k - 3 = 0. Solve 5 - y = a for a.
1
Let c = -71 - -72. Solve -1 = h + c for h.
-2
Suppose -2*a = 3*v - 18, -2*a = -5*a - 9. Solve 5*r + 3 = v for r.
1
Let k = 22 - 21. Solve 0 - k = h for h.
-1
Suppose 2*s - 3*q = 4*s - 20, 16 = -s + 5*q. Suppose 4*z - s = 3*z. Solve n - z = -3*n for n.
1
Suppose -p - 60 = 3*p. Let y = -10 - p. Solve y*l - 16 = l for l.
4
Suppose -2*o + 4 = -6. Suppose 0 = -l - 4*l. Let d = o - l. Solve -d*m + 2 = 22 for m.
-4
Let h = -30 + 35. Solve -b + h*b = -20 for b.
-5
Let h be 4/(-1)*5/(-10). Let d(r) = r**3 - r**2 + 2*r. Let w be d(h). Suppose 3*o = o. Solve o = 5*t - w - 7 for t.
3
Suppose -3 - 5 = -4*a. Suppose a*z - 4*q = 22, -5*z = -10*z + 4*q + 37. Solve 0*g - z*g = 0 for g.
0
Let z(m) = -m**3 - 9*m**2 - 8*m + 3. Suppose 0 = 3*x - 7*x. Let h = x + -8. Let v be z(h). Solve -2 = -v*r + 1 for r.
1
Let m = 56 + -56. Solve m*u = 5*u - 20 for u.
4
Let h(m) = 5*m - 21. Let j be h(5). Solve -j = -0*k + k for k.
-4
Suppose -5*d + 8*d - 6 = 0. Solve -5*p + d = -8 for p.
2
Let r(f) = 3*f**3 - 36*f**2 - 34*f - 3. Let u(h) = -5*h**3 + 54*h**2 + 51*h + 4. Let w(m) = -8*r(m) - 5*u(m). Let i be w(-17). Solve -5*y = 6 + i for y.
-2
Suppose -b = -3*j - 0*b - 1, 2*j - 4*b = -4. Let y(h) = h. Let g be y(j). Suppose 0 = -g*q + 4*q. Solve q = -0*f + 5*f + 5 for f.
-1
Suppose 4*q + 3*j + 3 = 3*q, -3*q + 2*j = 64. Let f = -8 - q. Solve 0 = -2*u - 3*u + f for u.
2
Suppose 3*y + 1 = -5. Let f be (-1)/y + 5/(-10). Solve s = -f*s for s.
0
Suppose 0 = c + 4*c - 90. Solve -3*y = -c + 6 for y.
4
Let w = -4 - 6. Let i(j) = -j - 7. Let f be i(w). Solve q - f = -0 for q.
3
Let w be 8/6 + (-923)/(-39). Let c be ((-2)/5)/((-5)/w). Solve -k = -3*k + c for k.
1
Let q(r) = r + 1. Let m be q(3). Let l be 3*(m/(-2) - -3). Solve -4*t = -l*t for t.
0
Let u(g) be the third derivative of g**5/60 - g**4/3 + 4*g**3/3 + 2*g**2. Let n be u(7). Solve -2*t + n + 1 = 0 for t.
1
Let u(o) = -29*o**2 + o. Let s be u(-1). Let b be s/3*2/(-4). Suppose 5*a + 5 + 15 = b*w, 2 = 2*w + 4*a. Solve -w*c = -6*c + 12 for c.
4
Let b be 2*((-25)/(-10) + -2). Solve b - 10 = 3*l for l.
-3
Let w(t) be the first derivative of t**2/2 + 6*t + 1. Let r(j) = -2*j + 5. Let h be r(5). Let x be w(h). Solve 2 = -q - x for q.
-3
Let h be 10*1/(-4)*-2. Suppose h*i = 3 + 17. Solve i*b - 9 = -29 for b.
-5
Let d(t) = 2*t**2 - 5*t + 5. Let m(w) = -w**2 + 3*w - 3. Let f(j) = 4*d(j) + 9*m(j). Let n be f(5). Solve -n*o - 4 = 2 for o.
-2
Let m = -5 - -10. Suppose m*c + 9 = l - 9, 5*l + c - 12 = 0. Let q = l + 1. Solve -q*f = 10 - 2 for f.
-2
Let j(y) = y**2 + 8*y + 5. Let h be j(-8). Suppose 32 = 3*a + x - h*x, -4*x = 5*a. Let z = 4 + -2. Solve z*n = 4*n + a for n.
-2
Let h be (-424)/(-12) - (-8)/(-6). Suppose -2*b - 10 + h = 0. Solve -2*q - b = -5*q for q.
4
Let z(r) = r**2 - 2*r + 2. Let v be z(2). Solve l + 1 = v*l for l.
1
Let t be 1/4 + (-156)/(-16). Let b = 7 - 1. Solve m = b*m + t for m.
-2
Let s(x) = x - 1. Let r be s(6). Suppose -2*g = -r*g. Solve g*n = -n - 2 for n.
-2
Let z(w) = w + 20. Let x be z(0). Suppose x = 4*y - 0*y. Let n(c) = -c**2 + 6*c + 3. Let h be n(6). Solve y = -4*u + h*u for u.
-5
Let q = -13 + 17. Solve q*i - 3*i + 3 = 0 for i.
-3
Let w(q) = -q**2 - 12*q - 25. Let p be w(-7). Solve -4*v = -p - 6 for v.
4
Let g(c) be the third derivative of -c**6/120 + 7*c**5/60 - 5*c**4/24 + 2*c**2. Let z be g(4). Suppose d - z = -3*d. Solve d - 1 = 2*q for q.
3
Let y be 5 + (0/4 - 1). Solve -3*w + y = 19 for w.
-5
Let l be (6 - (-9)/(-3)) + -3. Solve -3*d - 6 + 3 = l for d.
-1
Suppose -x = 3*x - 20. Suppose -2*n = -n - x. Let v be (3/(-4))/(n/(-20)). Solve 0 = -a + 8 - v for a.
5
Suppose 0 = -p + 4 - 0. Solve 0 = -g - 0 - p for g.
-4
Suppose -2*y - u - 2 = 0, 3*u + 6 = -5*y + u. Let f be (3 - 0) + y - -3. Solve 3*v + f = v for v.
-2
Let m = 15 - 7. Suppose 3*r - r = m. Solve -4*s = -5*s - r for s.
-4
Let z(w) = w**3 - 2*w**2 - 7*w - 2. Let n(h) = 3*h - 2. Let d be n(2). Let f be z(d). Solve f*m = m for m.
0
Suppose -2 + 10 = -4*m. Let r be -2 - -1*(m - -9). Solve 0*q + r = q for q.
5
Let z be 2/(-7) + 23/7. Suppose z*p + 12 = -3*c, 0 = -4*p - 0*p - c - 4. Solve a = -p*a for a.
0
Let t(l) = l**2 + 