-5*u = -2*n - 20, b = 3*n + 4*u - u for n.
0
Let c(k) be the first derivative of -k**2/2 - k - 1. Let n be c(-4). Solve 4*a - n*f - 2 = -5*f, 0 = 4*a - 4*f + 16 for a.
-1
Suppose -8*w + 2*w + 24 = 0. Solve -l = 4*t - 4, 0*l + w*l + 3*t - 16 = 0 for l.
4
Let p = -21 - -25. Solve -3*i = -2*v - 25, 3*v + p*i - 6 + 1 = 0 for v.
-5
Let q be 10/8 + (-15)/(-20). Suppose 3*k - k = c - 5, q*k = 3*c - 11. Solve -2*z - 5*n = -z + 3, z + c = n for z.
-3
Let g(w) = w. Let a be g(0). Let z(c) = -c + 1. Let d be z(5). Let h = a - d. Solve j - 21 = 2*u + h*j, j + 2 = u for u.
-3
Let f(a) = -23*a. Suppose 0 = 4*w - w - 5*n + 23, 0 = -w + 5*n - 21. Let t be f(w). Solve -2*j - 5*k + t = -4*j, 0 = -5*j + 5*k - 35 for j.
-4
Let a(t) = t**3 + 4*t**2 - 3*t - 4. Let l = -16 + 12. Let f be a(l). Solve -8 = -v + 5*n + f, 3*v - 3*n = 0 for v.
-4
Suppose 5*m - 16 = 4, 5*v + 3*m + 3 = 0. Let s be (3/v)/(1/(-5)). Solve 25 = 4*r - 3*y - 2*y, -s*y - 25 = 5*r for r.
0
Let h = 98 + -94. Solve -3*m + 12 = -3*o, 3*o - 2*m + m = -h for o.
0
Let q be (-1)/(-1*1/2). Suppose q*x = 1 + 3. Solve -4*j + 12 = -x*p, 3*j + 0 - 12 = 3*p for j.
2
Let h = 26 - 22. Solve -4 = -4*b - h*o, 2*b - 6*b + o = 11 for b.
-2
Suppose 40 = 5*s - 35. Suppose -5*z + 2*x + s = 0, 0 = 5*z + x + 3*x + 15. Solve 2*b - 3*w = 9 + 2, -4*b = w - z for b.
1
Let c(z) = -z**3 - 28*z**2 - 27*z + 10. Let y be c(-27). Solve -5*v - 4 = 1, 5*v = -3*a + y for a.
5
Let d = 0 + 0. Let k = 2 - d. Suppose -3*l + 8*l - 29 = -3*p, 3*p + 7 = 4*l. Solve -y + 16 = -l*h, -4*h - k*y = -3*h + 13 for h.
-5
Let s(a) = -a**3 + 6*a**2 - 6. Let c be s(6). Suppose -5*o - 401 = 454. Let u be o/c*4/6. Solve -l = -2*g - 11, 3*g - 4*l = -2*l - u for g.
-3
Let k be (-3)/2*(-4)/3. Let g(m) = 2*m**2 - 5*m + 1. Let t be g(3). Let z = t - 1. Solve -4 = -b - 3*s + 1, k = 4*b + z*s for b.
-1
Let m = 109 + -104. Solve -2*r = -m*d - 14, -3*d = 2*r + 1 + 1 for r.
2
Suppose 20*r - 60 = 17*r. Solve 0*c - 4*i - r = -2*c, 3*c - 15 = 3*i for c.
0
Let w = -12 + 16. Solve 3*l = -9, 2*l + 3 + w = x for x.
1
Let b(g) = -2*g + 3. Let s be b(5). Let c(h) = 10*h. Let i be c(1). Let k = s + i. Solve -3*p + 7*p - 1 = k*n, -2*p = 3*n + 13 for p.
-2
Let u = -6 - -10. Let w be 40/16*8/5. Solve -u*f + w = p - 15, 0 = 3*f - 2*p - 6 for f.
4
Let m(o) = -2*o - 2. Let i(w) = w**3 - 2*w**2 - w - 1. Let q be i(2). Let g be m(q). Solve -g*r + 0*r = 2*f - 20, 2*r = 6 for f.
4
Suppose -33 = a + 2*a. Let w = a + 5. Let o be w/5*(-40)/12. Solve -2*l - 14 = o*g, -l - 2*l = 9 for g.
-2
Let d(q) = -q**2 + 2*q - 4. Let r be d(0). Let v be r/8 + 9/2. Solve -8 = -v*h + 4*t, -5*h - t + 2 = -8 for h.
2
Let o = -2 - -5. Suppose -y + 21 = o*j, -2*j = 2*y + y - 21. Solve -5 = -i - 2*u, 5*u - 46 = 3*i - j for i.
-5
Let y = -3 - -5. Let l = 91 - 74. Solve 0 = 3*j - 5*z + l, y*z - 5 = 5*j - 2 for j.
1
Let f = 44 + -26. Let t = f + -12. Solve -4*o - 5 = -3*d, o + 3*d = -d - t for o.
-2
Let l(p) = -p**2 + 5*p - 1. Let a be l(4). Let t = 5 - a. Suppose -t*y - y + 63 = 0. Solve -5*g = 4*x - y, 2*x - 2*g = -x + 10 for x.
4
Let d(o) = -o**3 - o**2 + 4*o + 2. Let v be d(-3). Suppose 0*r = r - v. Let n = 26 + -14. Solve 2*j - 4*a = -26 + r, -3*j = -a + n for j.
-3
Let d be 2 - 3 - (-15)/3. Solve -3*k - x + d = 17, -5*k = -x + 11 for k.
-3
Let p = 8 - 14. Let w be p/27 - (-4)/18. Solve 4*r - 3*z + 4*z = 25, w = 4*z - 20 for r.
5
Suppose 0 = -4*d + 7 + 5. Suppose 2*w - 3*w + 5 = 0. Solve 4*o = d*c - 4*c - 14, 0 = -o - w*c + 6 for o.
-4
Let l = -4 - 10. Let a be 32/14 - l/(-49). Solve 3*x + d - 3*d = -19, a = -2*x - 4*d for x.
-5
Let n be ((-56)/(-20))/(-7) + 14/10. Solve -c + n = y + 2*y, -4 = -4*y for c.
-2
Suppose -y - 10 = -6*y. Suppose 0 = y*k + 5*c + 2, -2*k + k + 6 = -c. Solve -n + 2*u + 4 = -k*n, -5*u - 29 = -2*n for n.
2
Let y be (12/(-9))/((-2)/9). Suppose y = 2*n + 2. Suppose n*c - 8 = c. Solve -z + 4*u = -20, -4*z + c = -z + u for z.
4
Suppose 6 = 5*m - 9. Let f(b) = -5*b**3 + b**2 + 0*b + b + 1 + 2*b**3. Let o be f(-1). Solve -7 = 2*r + m*c, -3*r + r - o = 2*c for r.
1
Let q = 27 - 10. Let h = 8 + q. Solve -5*v = -n - n - h, 0 = -4*v - n + 7 for v.
3
Let q be ((-56)/21)/(-2)*18/4. Solve 0 = -d + q*d - 2*a - 25, 5*d - a - 25 = 0 for d.
5
Suppose 0 = l - 4*l + 3. Suppose -3*a + l = -26. Solve 0*h - a = -3*h + 2*f, -5*f = -5*h + 15 for h.
3
Let r(a) = -a - 12. Let d be r(-11). Let j be (-2)/d + (-3 - -7). Let i be 4/3 + (-2)/j. Solve -2*u + 4*u + 19 = -5*h, u - i = h for h.
-3
Let g be (-5 - 1)/(11/(-11)). Suppose b + 4 = 0, 4 = 5*t + g*b - 2*b. Solve 0 = z + n - 7, 0 = 2*n - t*n + 6 for z.
4
Let i be ((11 - -1)/(-4))/(-1). Solve -15 = -4*o - i*x, 3*o = 2*o + 4*x - 20 for o.
0
Let h be (-2)/(-8) + 28/16. Let s be 3/((-3)/h*-1). Solve -3*g - s*v = -2*g + 3, -3*v = 3*g + 9 for g.
-3
Let c = -15 - -15. Solve -2*w - t + 4 + c = 0, -4 = -4*w - 3*t for w.
4
Suppose -m + 4*m - 6 = 0. Let a = -2 - -4. Suppose -2*p - 1 = 3, a*v - 12 = p. Solve -v*i = m*b - b - 3, 4*b = 3*i + 12 for i.
0
Suppose 2*h = -g + 14, 0 = -0*g - 2*g + 8. Suppose -3*c - 10 = -h*b + c, -c = -b + 2. Solve -11 = -b*l - w, -12 = -0*w - 4*w for l.
4
Let r = -12 - -17. Let h(c) = -c**3 + 6*c**2 - 4*c. Let v be h(r). Suppose 3*g = 6 + 18. Solve -2*d - g = -j, 4*j + j = -v*d - 5 for d.
-3
Let s be 0/2 + -3 - -18. Solve 0 = m - 4*k - 5, 0*m + k = 3*m - s for m.
5
Suppose 20*x - 25*x + 125 = 0. Solve 4*l + l = 5*a - x, 4*l = -5*a + 7 for l.
-2
Let l(u) = u**2 - 14*u + 2. Let v be l(14). Solve 2*m + 11 = 5*h - 7, -2*m - 5*h + v = 0 for m.
-4
Let z(l) = -3 + 4 + 0 + 6*l. Let j be z(4). Let x(k) = -7*k + 10. Let t be x(-7). Solve -t + 24 = 2*q - 5*a, q - 4*a = -j for q.
-5
Let j be (-87)/(-27) - 10/45. Solve -4*t = o + 1, -3*t - j*o - 16 = -4*t for t.
1
Suppose 4*n + 3*p + 11 = 5*n, 0 = n + p + 5. Let g be (-90)/(-6)*n/(-3). Solve 8 = -2*t - z, -3*t + g*z = -5*t for t.
-5
Let k be 1/((-6)/(-2) - 2). Solve 5*w - k = -4*p + 3, 0 = 5*w - p - 24 for w.
4
Let r(m) = m**2 - 3*m + 2. Let h be r(3). Suppose -o + 27 = -0*o. Solve -10 = 3*c - q, 3*q + o - h = -2*c for c.
-5
Let x = 6 + -4. Let y = 2 - x. Suppose 2*g - 4*g = -5*l - 10, y = -g - l - 2. Solve 2*a + 16 = 4*n, g = -3*a + n - 0 - 4 for a.
0
Let t(d) = -4*d - 3. Suppose -5*f = -2*f + 6. Let x be t(f). Solve -x*c - 28 - 9 = -4*n, n = c + 8 for n.
3
Let w = -39 - -43. Solve -4*h = 3*c + 1, 0*h - 12 = -2*h - w*c for h.
-4
Suppose -q + 24 = 4*k, 4*q + 4*k = -q + 40. Solve -q*l + 3*g - g + 2 = 0, g = -l + 8 for l.
3
Suppose 5*i - 12 = 2*c, 4*c - 20 = -2*i + c. Solve -i*h = -q - 21, 0 = 2*q - 3*h - 2*h + 30 for q.
-5
Suppose 4*t - 14 = -2. Suppose 5 + 4 = t*d. Solve k + 5 = d*v + 6*k, -5*k = -3*v - 35 for v.
-5
Let h be 1 + 80/44 + 6/33. Solve 2*i - 2 = -4*u, 4 = -4*i + h*u - 3 for i.
-1
Let i(h) = -h + 3. Let u be i(-6). Solve -z - u = -5*z + j, -4*j + 6 = -2*z for z.
3
Let b(o) = -o**3 + 4*o**2 + 8*o + 2. Let q be b(5). Solve 0*i - 3*i = w - q, -8 = 3*i - 4*w for i.
4
Let c = -7 + 11. Suppose 4 + 8 = c*p. Suppose 2*s - 12 = -0*s. Solve h - 1 = -p*r, 2*r - s*r = -h + 8 for h.
4
Let z(v) = -2*v - 6. Let r(a) = -a**3 - 4*a**2 + 6*a + 1. Let u be r(-5). Let y be z(u). Let l = -4 - -6. Solve 2*d - 2*s - 2 = -0*d, -y*s - l = 4*d for d.
0
Suppose 0*v = -v + 3, -4*l + 2*v = -38. Let k = l - 7. Suppose k*p + 8*t + 2 = 3*t, -3*p - 5*t = 4. Solve 7*c = -5*a + p*c + 40, 0 = 2*c - 6 for a.
5
Let z(q) = -q**2 + 8*q - 10. Let l be z(5). Solve -3*b = -5*k - l, -4*k - 25 = k + b for k.
-4
Let w = 148 - 145. Let j be 1 + 1*35 - 1. Suppose 5*n + 7*y - j = 2*y, 0 = -y + 5. Solve 5*u - 3*u = -3*t + 14, -w*u = n*t - 16 for t.
2
Suppose 28 = -3*p + 4*p. Solve -5*t - 2*d + p = 0, 0*d - 20 = -4*t - d for t.
4
Let u be (-38)/14 - (-10)/(-35). Let x be 1 - u/(9/(-15)). Let l be ((-2)/5)/(x/140). Solve -2*s + 2*m + l = 0, 2*m + 9 = 2*s + m for s.
2
Let f be 6/9*(-42)/4. Let h = 12 + f. Solve 2*z - y - 11 = 0, y = h*z - 0 - 23 for z.
4
Suppose -5*c + 20 = -10. Solve 0 = 3*a - 3*o - 12, -4*o + 8 = 2*a - c for a.
5
Let y be (0 + 1)/(5/10). Let q be (-2)/3 + (-7)/3. Let m = -1 - q. Solve m*z + y*d = -2*z, 3*d - 4 = -2*z for z.
-1
Suppose 0 = 18*y - 2*y - 32. Solve -g = y*u - 4 - 9, 4*u - 5*g - 5 = 0 for u.
5
Suppose 3*x - 3 = 2*x. Solve 4*p - w - 3 = -2*w, x*p + 2*w = 1 for p.
1
Let j = 37 - 21. Solve -j = h + 5*l, -h - 3*h 