 = -3 for l.
1
Let s(d) be the first derivative of d**4/4 + 10*d**3/3 + 9*d**2/2 - d - 6. Let a be s(-9). Let g be (a + 1)/(-2 - -1). Solve g = -5*z - 12 - 3 for z.
-3
Let x(b) = -b**3 + 3*b**2 - b. Suppose -4 = 2*u - 5*j, 3*j = -0*j + 6. Suppose -5 + 11 = u*c. Let a be x(c). Solve a*m = 4*m + 2 for m.
-1
Suppose 5*l + 25*h - 28*h - 196 = 0, -3*l = 5*h - 104. Solve 35 = -31*b + l*b for b.
5
Suppose -5*w - 36 = z - 5*z, 4*w - 2*z + 24 = 0. Let s = 11 - w. Solve 0 = 2*i + 3*i + s for i.
-3
Suppose 5*r - 255 = -5*a, -a + 2*r = a - 106. Let s = -50 + a. Solve s*i + 10 = 2 for i.
-4
Let i = -23 - -54. Solve -i = -4*o - 51 for o.
-5
Suppose 0 = 3*x - 4*m + 187 + 19, 2*x + m + 141 = 0. Let r = x - -70. Solve r*u - u - 5 = 0 for u.
-5
Suppose 2628*i - 3 = 2625*i. Solve 3*q - i = 2*q for q.
1
Let z be (-40)/(-12) + -4 + (-17)/(-3). Solve -9*d + 8*d + z = 0 for d.
5
Let o(f) = 33*f + 298. Let i be o(-9). Solve i = 3*z - 2 for z.
1
Suppose -4*n - 60 = -5*t, 3*n + 67 = 3*t + 28. Solve t*o - o + 28 = 0 for o.
-4
Let i(u) = 9*u**2 + u - 1. Let j be i(-1). Let c = 18 + j. Solve -y = 4*y - c for y.
5
Suppose 0*n - 5*n + 10 = 5*b, -12 = -3*b - n. Solve 4*v = -b*v - 36 for v.
-4
Let w = 2 + 2. Let t be 2/2 + 8/w. Suppose -t*a = -6*a. Solve -2*s + a*s = 10 for s.
-5
Suppose -32*b + 169 + 471 = 0. Solve -b*w = -19*w + 2 for w.
-2
Suppose 5*b + 4*g = 271, -3*b = -2*b - 2*g - 57. Let n = 55 - b. Let d = 11 + -7. Solve n = d*i - 2*i + 2 for i.
-1
Suppose 3*i - 37 = 35. Suppose o + i = 4*o. Solve 3 = y + o for y.
-5
Let i = -5694 - -5694. Let a(f) = f + 5. Let g be a(0). Solve i*c = -g*c + 20 for c.
4
Suppose -2*c + 4*h = -14, -6 = 5*c + h - 30. Suppose 9*i = c*i + 20. Suppose i*f + 2*m + 0 = 10, 5*f + 5 = m. Solve s + f*s = 1 for s.
1
Suppose 6*t - 25 = t. Suppose -42 = -3*p - 3*p. Let c = p - 3. Solve -t*m = 24 - c for m.
-4
Suppose 5*v + 5 = 0, -2*q - 4*v - 14 = -0*q. Let j = 5 + q. Suppose g - 3 = -0. Solve g*y - 9 = -j*y for y.
3
Suppose 72 = 8*p + 16. Solve -3*m - 8 = -p*m for m.
2
Let n(s) = -s**2 - 9*s + 8. Let z be n(-8). Suppose p + p - 4*c - z = 0, 5*p - 28 = 4*c. Solve 4*b - p = -0 for b.
1
Suppose 0 = -5*t - 2*n + 19, 18*n - 21*n = t + 4. Let g(x) = -x**3 - 4*x**2 + x - 6. Let h be g(-5). Solve -h = -t*s - 4 for s.
2
Let w = -1 + -3. Let u be -14*(-1)/w*-2. Let m = -4 + u. Solve 0 = -m*j - j - 16 for j.
-4
Let v(r) = -r**2 + 10*r - 9. Let b be v(9). Suppose 0 = -z + l - 4, b*l = 4*z - 2*l + 12. Let w be -2 - (z - -2) - -2. Solve -2*s - s = w for s.
0
Suppose 10 = 5*k + 2*q, 3*q - 17 = -3*k + 4*q. Let c be k - (-2 + 1) - 4. Let v be (-2)/(2*c/(-3)). Solve v*a + 15 = -0*a for a.
-5
Let s(h) = -h**2 + h + 33. Suppose -12 = 2*r + d, 6 = -5*r + 4*d - 11. Let o be s(r). Solve 13 = o*n + 1 for n.
4
Let x = -53 + 57. Suppose x = 6*b - 4*b. Solve 0 = b*n + 4 - 0 for n.
-2
Suppose -236 + 26 = -105*y. Solve -55*b = -54*b + y for b.
-2
Suppose 2*y + 4*u = -8, 3*u = -y - 0*u - 9. Let k be ((-3)/y*-40)/(-2 - -3). Solve -k = 2*a + 3*a for a.
-4
Suppose 0 = -2*q - 2*l, 40 = -3*q + 7*q - 4*l. Solve 2*o - 9 = q*o for o.
-3
Suppose 5*r - 46 + 11 = 0. Let d = 12 - r. Suppose 0 = d*c + 25, -4*o - 2 = 4*c + 2. Solve -o*m = -3*m - 4 for m.
4
Suppose -68*n = -51*n. Suppose 0 = m + 4*c - 13 - 7, 3*m + 4*c = 28. Suppose 16 = m*b + b - 4*p, -5*p - 20 = n. Solve b*k - 6 = 2*k for k.
-3
Let q(j) = -5*j + 5. Let u be q(1). Solve 5*r - 9 - 6 = u for r.
3
Let x = 2962 + -2960. Solve 16 = x*l + 6*l for l.
2
Let j be (-12)/(-54) - (-3 + 22/18). Solve j*n + 1 = 7 for n.
3
Let x = -1 + 14. Let r = 14 - x. Solve r = 4*v + 9 for v.
-2
Suppose -4*i - 3*u = -7, -i - 7 = -2*i + u. Let l = i - 1. Solve -l*z + 4*z + 1 = 0 for z.
-1
Suppose -2*r + 7*s - 2*s = 9, -3*s + 9 = -3*r. Let v(d) = 4*d**2 + 2*d + 3. Let n be v(r). Let y = 6 + n. Solve 5*q = 6 - y for q.
-3
Let r(k) = 3*k + 32. Let f be r(-10). Suppose 3*b - 5*x = 8*b + 70, 5*b = 2*x - 98. Let s be (-12)/(-54) + (-86)/b. Solve h + s = f*h for h.
5
Suppose -m - 4*u = 94 - 90, -2*m - 4*u = -4. Solve 0*l + m = -4*l for l.
-2
Suppose 0 = 3*l - 187 - 47. Let f = 80 - l. Solve -3*u + f*u = 3 for u.
-3
Let i(b) = b**2 - 6*b - 3. Let v be i(7). Suppose 166*k - 756 = -23*k. Solve -k*w = v + 4 for w.
-2
Suppose 0 = -5*n + n + 3*b + 12, -n - b + 3 = 0. Let p be (-54)/(-216) - -2*2/(-16). Solve -i + 5 - n = p for i.
2
Let m(b) = 1 + 4*b - 3*b - 2*b - 3. Let n(q) = q**2 - 8*q + 4. Let u be n(6). Let w be m(u). Solve -20 = j - w*j for j.
4
Let r = 5 + -1. Let h(q) = r + 8*q - q + 4*q**2 - 3*q - 3*q + q**3. Let m be h(-4). Solve m = k - 3*k for k.
0
Suppose 890*t = 892*t - 78. Solve -m - 40 = -t for m.
-1
Let k(u) = -u**3 - 3*u**2 + 5*u + 8. Let i be k(-4). Suppose 4*w = i*s + 40, 0 = -0*w - 2*w - 4*s - 10. Solve 0 = w*y - 17 - 3 for y.
4
Suppose -29*t + 28*t + 4*q + 12 = 0, t = -2*q. Solve 3*d = -t*d + 28 for d.
4
Suppose -3*c = 4*h + h - 16, -4*h + 3*c = -2. Solve h*f + f = 6 for f.
2
Suppose b - 3 = -1. Let n(z) = 3*z**2 - 2*z - 2. Let w be n(b). Let c be (w/4)/((-6)/(-20)). Solve k = c*k for k.
0
Let b = 932 + -932. Suppose -3*v + 4*t = -19, 3*t = -5*v - 2*t - 15. Solve b*m - m = v for m.
-1
Let j = 3 + -1. Let s be 0/(-7) + -4 + 22/2 + -7. Solve 4*l - j*l - 6 = s for l.
3
Let n be 8/3*(75/20 - -6). Solve -8*u + 6 + n = 0 for u.
4
Suppose -8 + 2 = t. Let q(d) = -d**3 - 7*d**2 - 6*d + 8. Let c be q(t). Suppose -3*o + 20 = 2*o. Solve -o*a - c = -0*a for a.
-2
Suppose 0*s - 3*s = -9. Suppose g - 12 = 2*g + s*k, -8 = g + 2*k. Suppose 3*q - 4*y = 32, y + 5 = -5*q - 4*y. Solve q*h + 5 + 15 = g for h.
-5
Suppose -148*b = 2*v - 153*b - 24, 3*v = 3*b + 18. Solve -18 = v*j - 8*j for j.
3
Suppose -9*b + 23 + 85 = 0. Solve -i - 8 = -b for i.
4
Suppose -3*j - 22 = -4*n, -2*n + j + 10 = -0*j. Let c(f) = -f**2 + 5*f + 5. Let o be c(5). Let w = o - 3. Solve 0 = n*h + w + 18 for h.
-5
Let r(t) = t + 8. Let f be r(-4). Let k be -2 + (8/4 - f). Let q be -2 - 15/(-3) - k. Solve -q*i + 3*i + 20 = 0 for i.
5
Let v(o) = -3*o**2 + 33*o - 8. Let c be v(10). Solve 12*u - 46 = -c for u.
2
Let k(d) = 2*d - 5. Let z(a) = -a - 8. Let s be z(-13). Let v be k(s). Solve 3*q - 7 = v for q.
4
Let i(r) = -3*r - 11. Let y be (-100)/(-90) + (-2)/18. Suppose 4*b + 21 = y. Let l be i(b). Solve 2*s = s - l for s.
-4
Let h be (2 + -4)/(-2) + (-6 - -8). Suppose -h*w + 8*w - 25 = 0, l = -2*w + 14. Solve -l*g - 1 = 3 for g.
-1
Let b(r) = 63*r - 187. Let n be b(3). Solve 0 = -4*u - 2 + n for u.
0
Let s = -37 - -35. Let f be -9*5/45*s. Solve 0 = -2*w - f*w for w.
0
Let a(g) be the first derivative of g**4/4 - g**3/3 + g**2/2 + 4*g - 11. Let j be a(0). Solve 5*i - j - 11 = 0 for i.
3
Let g = -442 + 446. Let c(d) = d**3 + 4 - 5*d + 3*d - 3*d + 4*d**2. Let b be c(-5). Solve b*f + g = 6*f for f.
2
Let k = -199 - -201. Solve -2*g - 20 = k*g for g.
-5
Suppose 4*o - 5 = i + 1, 4*i - 3*o = -63. Let q be (-14)/(-3)*i/(-4). Solve q = 5*h + 1 for h.
4
Let j be 3/4 - (4 + (-78)/24). Solve j = -0*o + 15*o - 15 for o.
1
Suppose l - 6 + 2 = 0. Let d be 3*-7*(-1)/3. Let t = 12 - d. Solve -t*a = l - 14 for a.
2
Let d(b) be the first derivative of b**3/3 + 5*b**2/2 + 5*b + 1. Let u be d(-2). Let l be 1 - (u - 1 - 0). Solve -1 = 2*i + l for i.
-2
Let u = 0 - -4. Suppose -2*f = n - 2, 0 = 2*n + f - 0*f - 7. Suppose 0*i - 5*i = 20, 0 = 2*a + 2*i + n. Solve u*t = -a - 18 for t.
-5
Suppose -5*n - 39 = 4*s - 236, 2*s + 5*n = 91. Solve -63*o = -s*o + 30 for o.
-3
Suppose 0 = 4*o, 95 = -l - 4*o + o. Let s be (l/(-30) + -2)*6. Solve -s + 4 = -k for k.
3
Suppose 4*k - 5 = -c, 2*k + 3*k + 2*c - 7 = 0. Suppose 4*d = 3*d + k. Let a be 4 - d - 1*-5. Solve -n = a - 3 for n.
-5
Let x(r) = -14*r + 570. Let o be x(40). Solve -p - 27 = -o*p for p.
3
Let l = -21 - -21. Suppose -5*o + o + 12 = l. Suppose -o*t + 6 = -0. Solve 0 = -0*p + t*p + 10 for p.
-5
Suppose 2*l - 4 = 4. Suppose 0 = -17*v + 12*v + 11*v. Suppose -4*m - s + 6 + 6 = v, l = 5*m + 4*s. Solve -h = m*h - 10 for h.
2
Suppose h + 5*z = 34, -90 = 7*h - 11*h + 3*z. Solve 0 = 6*a - h - 6 for a.
5
Let r(s) = -s + 29. Let z be r(13). Suppose 0 = -11*p + z*p - 35. Solve -3*o = 2 + p for o.
-3
Suppose 5*c = 5*g + 50, 17 - 60 = -5*c - 2*g. Let w = c - 5. Suppose w*n - 36 = 4. Solve 5*q - n - 10 = 0 for q.
4
Let i(a) = -a + 9. Let q be i(7). Suppose 5*d + 2*n = n + 26, 5*d - 10