, 3*d = -5*l + 5*d + 18. Solve l*h = 3 + 1 for h.
2
Let h(r) = -r**3 + r**2 + 2*r - 17. Let a be h(0). Let m(z) = -z - 12. Let p be m(a). Solve 0*b = -p*b - 15 for b.
-3
Suppose 3 - 28 = 5*n. Let h(l) = -l**2 - 8*l - 15. Let f be h(n). Suppose -5*v + 25 = -3*b, 2*v - 2 = 5*b + 8. Solve v = -f*k + k for k.
5
Let v = 119 + -119. Suppose 2*g - 6*g = -v*g. Solve -4*l - 3 - 1 = g for l.
-1
Let c(r) be the first derivative of r**2 + 5*r + 1. Let x = -33 - -33. Let w be c(x). Solve -j + 8 = -w*j for j.
-2
Suppose -p - 5*j = -64, 2*p = p - 4*j + 59. Suppose 0 = w - 5*s - 18, -4*s = -3*w + 26 + p. Suppose 0 = w*f - 22*f. Solve -2*h + 4 = -f*h for h.
2
Let r = -5 - -11. Suppose 0 = -2*a + r + 6. Solve -a*s = -3*s + 9 for s.
-3
Let l = -27 - -32. Solve 0*n - 10 = -l*n for n.
2
Suppose 2*h - l = -4*l + 6, 4*l = 0. Solve h*d + 77 = 92 for d.
5
Let t(l) = -l**3 + 32*l**2 - 8*l + 267. Let k be t(32). Solve 15*c - 8 = k*c for c.
2
Let w be 0*(1 - (5 + -7) - 4). Solve o - 3 + 8 = w for o.
-5
Let y = -215 - -883. Let r be y/44 + (-2)/11. Let i = r - 10. Solve -j - i = -2 for j.
-3
Let g(o) = 4*o - 6. Let q be g(2). Suppose -15 = -q*p - y - 4, 2*y = p + 2. Solve 0*a + 4*a + p = 0 for a.
-1
Suppose 28*y = 47*y - 342. Solve 6*f - y = -0*f for f.
3
Suppose -4 = r + 3*k, 1 = 5*k + 11. Solve r*z - 45 = -39 for z.
3
Let x(h) = 7*h**3. Let y be x(1). Let m(q) = -6*q - 46. Let z be m(-8). Suppose 0 = v - 3. Solve -v = -z*f + y for f.
5
Suppose 0 = -z + 6*z - 15. Suppose 3*d - 3 = z*k + 3, 2 = d + 3*k. Solve u - d = -6 for u.
-4
Let u be -3*70/45*12/(-14). Solve u*z + 0*z = 20 for z.
5
Suppose -13 = -m + 5*y - 2, -4*y = 5*m + 3. Suppose -6*t = m - 13. Solve 0 = -t*x + 4 for x.
2
Let f(n) be the first derivative of n**4/4 + 11*n**3/3 - 6*n**2 + 17*n + 2. Let y be f(-12). Let c = 3 + y. Solve j = 6*j - c for j.
4
Let x(u) = -u - 8. Let k be x(4). Let w = -18 - k. Let j be 9 + -3 + w/2. Solve j*g - 1 = 11 for g.
4
Let n be (3/(9/21) - 2)*4. Solve -n*u + 2 = -19*u for u.
2
Let r(u) = u**3 - 2*u**2 - u - 1. Suppose 2*n - 6 = 2*x + 38, -5*x = -n + 42. Let f = -14 + n. Let z be r(f). Solve z*i - 6*i - 2 = 0 for i.
-2
Let r(i) = i**2. Let p be r(-1). Suppose -5 = w, q + p - 18 = 3*w. Let l be 8 - ((-2)/q - -3). Solve 0 = 5*b + 1 - l for b.
1
Let a be (-22 + 16)*(2 + 0). Let f be 6/a + (-13)/(-2). Solve z = -z + f for z.
3
Let k = 52 + -50. Suppose -4*q + k*y - 1 = 1, 4*q = -y + 1. Solve -4*u = -q*u + 8 for u.
-2
Suppose 4*j - 27 = 49. Suppose 21 - j = x. Solve 0 = -x*r + 3*r + 4 for r.
-4
Let i(m) be the third derivative of m**4/12 - 2*m**2. Let p be i(1). Solve -3 = p*u - 1 for u.
-1
Let o(t) = 4*t + 16. Let f be o(-5). Let x be f/1 + 4/1. Solve x*p - 2*p + 8 = 0 for p.
4
Let z(w) = 4*w**2 + 22*w - 9. Let j be z(-6). Suppose -4*g + 30 = -9*g. Let k be 4/18*-3*g. Solve -j*d = -4*d + k for d.
4
Suppose -3*a + 3*o = 6, 6*o - 11*o + 31 = 2*a. Solve -p - 1 = a for p.
-4
Let a(v) = -2 - 8*v - 8*v**2 - 446*v**3 + 445*v**3 - 1. Let m be a(-7). Solve m*w + 6 = -2 for w.
-2
Let p(d) = -30*d**2 + 2*d + 1. Suppose 0 = -2*t + 2*n + 2, 2*n + 9 = t - 6*t. Let y be p(t). Let h = -29 - y. Solve -k + 0*k + h = 0 for k.
2
Suppose 6*t - t - 30 = 0. Suppose 0 = 4*d - 5*u - 35, -u = -d - t*u - 10. Solve 0 = 3*i + 7 + d for i.
-4
Let j(g) = -16*g + 222. Let p be j(13). Solve -12 = -h - p for h.
-2
Suppose 3 = -2*b + 3*a - 12, -20 = 2*b - 4*a. Solve -2*i + 1 - 7 = b for i.
-3
Suppose 0 = 4*d + q - 51, -89*d + 86*d + 3*q + 57 = 0. Solve 0 = -6*b - d + 2 for b.
-2
Let b(x) be the third derivative of -x**6/120 - x**5/15 + x**4/8 - 7*x**3/6 + 7*x**2. Let d be b(-5). Solve d*r + 6 = -6 for r.
-4
Let d(y) = 2*y**2 - 3*y - 7. Suppose 6 = -4*p + 18. Let t be d(p). Let k = -6 - -8. Solve k = -4*s + t*s for s.
-1
Suppose -2*b = -7*b - 5. Suppose 17*v + 62 = 48*v. Let o be (b/(-3))/(v/12). Solve -7 = -o*w - 1 for w.
3
Let i be (15/6 - 2)*-6 - -10. Let p be ((-6)/(-7))/(2/i). Solve -l - p*l = 0 for l.
0
Suppose -2*j + 18 = 4*g, 4*g - 6*j + 2*j = -12. Suppose 0*n + g*n = 2. Solve n - 11 = 2*v for v.
-5
Let j(h) = -2*h**3 + 80*h**2 - 3*h + 141. Let u be j(40). Solve 23*t - 6 = u*t for t.
3
Let i = -3 + 4. Suppose -16 = 5*b - 13*b. Suppose 0 = 5*v + 4*z - 2, -v - 2*v + b*z = -10. Solve i = -f - v for f.
-3
Suppose -412 + 433 = 7*j. Solve -j*d = -d for d.
0
Let b = 899 - 784. Solve 120 = -i + b for i.
-5
Suppose -u - 5*j = -4, -3*j - 62 = -4*u + 46. Solve 5*x = u*x for x.
0
Suppose 3*i = -d + 9, -3*i + 8*i = -4*d + 8. Solve -2*f = -i*f for f.
0
Let i(w) = 3*w**2 + 4*w + 5. Let q be i(-1). Suppose 12 = 4*o - 3*b + b, -q*o + 12 = -4*b. Solve o = z - 2 for z.
5
Let f = -585 + 588. Solve 3 = f*b - 6 for b.
3
Let g be 7/2 + 30/20. Solve 3*d + g*d = 4*d for d.
0
Suppose -44 + 9 = -2*o + 3*m, -4*o = -5*m - 75. Solve 8*b + o = 1 for b.
-3
Let x = -24 - -26. Suppose -5*g = 3*q - 121, x*g + 2 + 0 = 0. Let r = q + -24. Solve -4*w = 6 - r for w.
3
Suppose -p - 2*l = -6*p + 23, -2*l - 8 = 0. Solve x + 2 = p*x for x.
1
Let p(w) = -18*w + 123. Let t be p(8). Suppose 0 = 4*n + 4*c - 76, -n = -4*c - 54 + 15. Let l = t + n. Solve x + x = -l for x.
-1
Suppose 12*y = 15*y - 6. Solve -y*v = 13 - 7 for v.
-3
Suppose -122 = -2*o - 102. Solve o*q - 5*q + 20 = 0 for q.
-4
Let v(k) = -8*k**2 - 3*k + 1. Let i be v(1). Let r = i - -27. Let o = -15 + r. Solve o + 1 = -w for w.
-3
Let n be (4 - 7) + 6*9/6. Suppose -o = -n*o. Solve -l + 0*l - 2 = o for l.
-2
Let h be (7*45/126)/(2/4). Suppose -b + 4*r + 1 = 5*r, 0 = -2*r. Solve -4 - b = -h*s for s.
1
Let g(j) = j + 0*j - 13 - 3*j**2 + 2*j**2. Let b(o) = o - 1. Let d(m) = 2*b(m) - g(m). Let p be d(0). Solve -5*w + p = -9 for w.
4
Suppose -11*g + 10 = -6*g, -4*b - 2*g + 28 = 0. Solve b*v = 15*v for v.
0
Let b = 41 + -41. Suppose b = -5*n - n + 12. Solve n*l = l for l.
0
Let a be 13/6 + (-10)/60. Let p(i) = 4*i - 7. Let j be p(a). Solve -s - 1 - j = 0 for s.
-2
Let x be (152/(-16))/(2/(-4)). Let w = 5 - -39. Solve 5*j - w + x = 0 for j.
5
Let j be -2 + (-12)/18*-9. Solve 7*g = 9*g - j for g.
2
Let s be -3 - (6 - 3)*-2. Let u = 5 + s. Suppose b - u = -0. Solve 0*l = 2*l - b for l.
4
Let u = -54 - -9. Let o = u - -50. Solve 2*m = -3*m + o for m.
1
Let o = -164 - -174. Solve o*g = 3*g + 28 for g.
4
Let x(l) = 136*l - 363. Let a be x(3). Solve 2*c - 39 = -a for c.
-3
Suppose -8*f + 328 = 216. Solve f*w - 8*w = -18 for w.
-3
Suppose -2 - 1 = -g. Let p = 37 + -33. Suppose -g*r = -p*r + 4. Solve 0 = r*m - 6*m + 4 for m.
2
Let s(r) = r**2 + 10*r + 31. Let q be s(-10). Suppose 28*h = q*h. Solve 0*x - 2*x + 4 = h for x.
2
Let b(c) = 11*c**2 + 39*c - 16. Let r be b(-4). Solve -3*a = r*a for a.
0
Let v(r) = -r - 7. Let w be v(-7). Suppose -g + 3*q + 3 = w, 0*g + 4*q + 6 = 2*g. Let x be (-2)/(-5) - 40/(-25). Solve -g*s - 1 = -x*s for s.
-1
Let m(x) be the third derivative of -x**6/120 - 7*x**5/60 - x**4/24 - 5*x**3/6 + 12*x**2. Let i be m(-7). Solve 2 = 4*l - i for l.
1
Suppose 3*p - 6*o - 12 = -5*o, 2*p + 5*o - 8 = 0. Suppose -4*n + 51 = -n + 3*q, 4*q + 92 = p*n. Solve 4*a + n = 4 for a.
-4
Let f be (-21)/3 + -4*161/(-28). Solve f*t = 14*t + 4 for t.
2
Let n be -5*(-11)/220*12. Solve 2*g - 1 = -n for g.
-1
Let q be (-1 - -2)/(2/8). Suppose 0 = -0*t + q*t. Suppose -c - 4*c = t. Solve c*x = -4*x - 4 for x.
-1
Suppose 4*o + 10 = 9*o. Let x(q) = -q**3 - 9*q**2 - q - 7. Let d be x(-9). Suppose 0 = -5*g + 2*j + 14, 5*j = d*g - g + 11. Solve -2*m + g = o for m.
1
Let a = 44 + -42. Let u be (-7 + a)/(-20) + 38/8. Solve -2*t + u = -3 for t.
4
Let w(o) = 3*o - 84. Let a be w(29). Solve a*q - 6*q + 12 = 0 for q.
4
Suppose -23*o - 4 = -73. Solve 0*q + 3 = o*q for q.
1
Let s(u) = -6*u**2 - 4*u - 2. Let p(i) = -i**2 + i + 1. Let x(t) = 4*p(t) - s(t). Let q be x(-4). Solve -m - 4 = -q for m.
2
Suppose 18*w - 20 = -5*f + 14*w, 0 = -4*f + 2*w + 16. Solve s = f*s - 6 for s.
2
Let x be 5 - 4 - 111/(-3). Solve 7*j + 12*j + x = 0 for j.
-2
Let x = 124 - 122. Solve -3*a = -5*a - x for a.
-1
Let o(w) = 2*w + 3. Suppose -g + 0*g = 0. Let v be o(g). Suppose 0*p - 112 = -5*p + v*s, 5*s = -p. Solve -2*c - 3*c - p = 0 for c.
-4
Let f(q) = q**3 + 7*q**2 + 3*q + 16. Let l be f(-7). Let z = l + 5. Solve z = y - 5*y - 12 for y.
-3
Let g = 104 - 94. Solve 2*v = -4 + g for v.
3
Let v be (-3)/6*(25 + -3)*-1. Solve v = 5*r + 6*r for r.
1
Let 