l*h + 20 = h for h.
4
Suppose 10 = -2*l + 2. Let a be 0/(4*(-1)/l). Solve k + 2*k = a for k.
0
Let r be 90/27*12/10. Solve y + r = -y for y.
-2
Suppose -16 = -0*q - 4*q. Solve 0*c = q*c + 20 for c.
-5
Suppose 2*m - 5*v + 0 - 15 = 0, -3*v = -2*m + 25. Let r = 23 - m. Solve 7*x = r*x - 16 for x.
-4
Suppose x - 3*x - 4*p - 16 = 0, 4*p = 3*x - 26. Suppose -64 = -x*g - 14. Solve -f = 4*f - g for f.
5
Suppose -9*j = -10*j + 3. Solve 1 = -j*m - 11 for m.
-4
Let p be 9/2 - 3/(-6). Solve p*x - 10 = 5 for x.
3
Let m(w) = w**3 + 5*w**2 - w - 2. Let n be m(-5). Suppose 5*g - 6 = 4*l, -2*l - 8 = -2*g - 3*g. Let q be g*(-1)/(-6)*n. Solve 0 = 4*j - 7 - q for j.
2
Let w be ((-9)/(-6))/(-3)*0. Suppose w = f - 0*f. Solve 8*k - 3*k = f for k.
0
Let s(z) = -z + 11. Let r be s(10). Let t(h) = h**3 - h**2 + 1. Let g be t(r). Solve 3 = k - g for k.
4
Suppose -a - 10 = -3*a. Let p = 6 - 1. Solve -10 = p*i - a for i.
-1
Suppose 4*d = -2*b - 22, -3*d - 3*b - 14 = -2*b. Let v = -1 - d. Let f = 3 + 1. Solve -4 = v*x + f for x.
-4
Let g(z) = -z**3 + 9*z**2 + 2. Let k be g(9). Let q be (k/4)/(7/28). Solve -l = -3*l + q for l.
1
Let o(t) = -t**3 - 4*t**2 - 4*t - 11. Let w be o(-4). Solve -w*j = -j - 20 for j.
5
Let i(j) = 7*j**2 + 2*j - 2. Let v be i(1). Solve 3*l + 12 = v*l for l.
3
Suppose -2 = -u - 0. Suppose -24 = -4*z + 4*s, -u*s + 6 = z - s. Suppose -5*o - 42 + 142 = 0. Solve z*v = 2*v + o for v.
5
Suppose 0 + 5 = -c - 3*t, -4*c + 5*t = 3. Let u = c + 4. Let x be -2 - (2*-1)/1. Solve -5*o + u*o = x for o.
0
Let m be 4*(-2)/20*-5. Solve -m*h - h = -6 for h.
2
Let y(k) be the third derivative of k**4/24 - 2*k**3/3 + 10*k**2. Let l be y(6). Let o(u) = -u**2 + 5*u + 2. Let p be o(5). Solve -l*x - 8 = p*x for x.
-2
Let j = 8 + -4. Suppose -3*v - j*x - 10 = 2*v, -2*v + 4*x + 24 = 0. Solve -6*c = -v*c + 4 for c.
-1
Let k(a) = -2*a - 2. Let i be k(-5). Let x(j) be the first derivative of -j**3/3 + 3*j**2/2 + 2*j + 2. Let n be x(2). Solve -n*v = 4 + i for v.
-3
Let v = 3 - -17. Let l be (16/10)/(8/v). Suppose l*b - 61 + 17 = 0. Solve 0 = 3*i - b - 4 for i.
5
Let v be ((-3)/2)/((-9)/48). Let s be v/(-12) + (-22)/(-6). Solve 4*k - 5 = s for k.
2
Let h(d) = d**2 + 5*d - 2. Let a be h(-6). Let i = 31 + -21. Let t(w) = 4*w - 31. Let b be t(i). Solve 5*m - b = -a for m.
1
Let q = 161 - 151. Suppose 9 = -0*p + 3*p. Solve -p*f + q = -f for f.
5
Let d(l) = -l**3 - 8 + 3 + 4*l**2 + 3 - l**2. Let p(w) = -w**3 + 3*w**2 + 2. Let k be p(3). Let j be d(k). Solve -j*u = -3*u - 1 for u.
-1
Let t be 2/13 + (-111)/(-39). Solve -t*n + 1 = -2 for n.
1
Let k(g) = -g**2 + 7*g + 5. Let a be k(7). Let m be ((3 + -3)/(-2))/(-1). Solve -a = -i - m for i.
5
Let v(p) be the third derivative of -p**4/24 + 3*p**3/2 + 6*p**2. Let s be v(9). Solve 0 = -s*b + b for b.
0
Let s be 18/8 + 1/(-4). Suppose -s*d = d - 3. Solve -y = -0*y + d for y.
-1
Suppose 53*o = 49*o + 16. Solve 10 = 2*j + o for j.
3
Let f be (3 - 2)/((-1)/1). Let q be (5/10)/(f/2). Let h be 0/((1 - 2)/q). Solve h*t + t = -3 for t.
-3
Let u = -9 - -9. Solve u*r = r for r.
0
Suppose -3*v = -0*v - 21. Solve -v + 2 = -5*b for b.
1
Let z be (-9)/((-1)/(-2) + 1). Let v be 189/15 + z/(-15). Solve 2*p - v = -3 for p.
5
Let c(x) = -x**3 - 10*x**2 - 3*x - 15. Let z be c(-10). Solve -5*q + 0 = z for q.
-3
Suppose -2*r = 4*l + 1 + 5, -r = -3*l - 7. Let w = 11 + r. Solve -j = 2*j + w for j.
-4
Let q be 19/6 - (-8)/(-48). Solve -d = -q*d + 8 for d.
4
Let d(y) = -6*y**2 + 0 - 13*y + 15*y - 9 + y**3. Let p be d(6). Solve p = -k + 1 for k.
-2
Let r = 15 - 11. Suppose 0 = -r*a - 3*p + 2*p + 32, 4*a + 2*p = 32. Solve 3*l + a = -1 for l.
-3
Let v = -36 - -40. Solve 2*d + 2 + v = 0 for d.
-3
Suppose b + 2*b = 0. Suppose -4*d + 66 - 6 = b. Solve 2*p + d = -p for p.
-5
Let m be ((-20)/(-16))/(1/4). Solve 2*x - x = m for x.
5
Suppose 5*w = 22 + 38. Let o = w + -7. Solve -o*c = -c for c.
0
Let k = -4 - -8. Let s = -1 + k. Solve s + 5 = 2*x for x.
4
Let n(y) = -y**3 - 7*y**2 - 5*y + 4. Let q be n(-6). Let p be ((-3)/(-4))/(q/(-8)). Let d = -61 + 67. Solve -f = -p*f + d for f.
3
Let j be (2/(-4))/((-2)/16). Suppose 2*g - j*g = -8. Solve 7 = -g*o - 1 for o.
-2
Let p be 42/9*(-24)/(-28). Solve -p*y = y for y.
0
Let y = 36 + -26. Solve a - y = 6*a for a.
-2
Suppose 3*b + b - 66 = 2*h, -60 = -5*b - 5*h. Solve -5*l + b = -0*l for l.
3
Let t(y) = -y - 6. Let x = 3 - -3. Let n(s) = s**2 - 8*s + 6. Let b be n(x). Let j be t(b). Solve g = -j*g for g.
0
Suppose 0 = 3*q - 0*q. Let j = q - -3. Solve -1 = 4*z + j for z.
-1
Suppose 0 = 3*v - 4*s - 177, -208 + 25 = -3*v + 2*s. Let r be 1274/v - 2/9. Solve -g = -6*g + r for g.
4
Let h = -8 - -19. Solve -5*r - h = -6 for r.
-1
Let f = 6 + -2. Let c(x) = -x**2 - 3*x - 7. Let m be c(-5). Let b = -9 - m. Solve 12 + b = -f*u for u.
-5
Suppose 5*h - 2 = 3*h. Solve -5 = -n - h for n.
4
Let r be 5/(-2)*12/(-15). Suppose 0 = s + 3, r*v = 3*v + 3*s. Let h = 3 - 3. Solve h = 4*l - v*l for l.
0
Suppose 0 = 5*q - 18 + 123. Let x = 2 - q. Solve -5*t - 3 + x = 0 for t.
4
Let r(d) = -d**2 - 14*d + 18. Let c be r(-15). Solve i - c = 2*i for i.
-3
Suppose -2*w = 2, -4*g - 5*w + w = -8. Let a = 51 - 31. Solve g*h = -h - a for h.
-5
Let h(q) = 2 + 0 - 15*q + 19*q - 6. Let l be h(3). Solve 2*f - l = -2*f for f.
2
Suppose 0 = -3*l - 4*h + 30, -l + h + 2 = -1. Suppose 4*a = 2*a - l, -14 = -2*t + 2*a. Suppose t*d - 20 = -8. Solve -d*g = -0*g - 3 for g.
1
Let d be (-363)/(-15) + 1/(-5). Suppose -5*z = -11 - d. Let t be (-2)/z + 4/14. Solve t*a - 2*a = 10 for a.
-5
Suppose 9*v - 34 - 2 = 0. Solve 0 = -0*o - v*o for o.
0
Suppose 2*w = -5*w + 21. Suppose 0 = -w*f + 8*f - 80. Solve f = -3*j + 4 for j.
-4
Suppose -15*a - 8 + 53 = 0. Solve -r - a + 2 = 0 for r.
-1
Let l be ((4/(-8))/((-2)/(-16)))/(-2). Solve 7*o = l*o + 20 for o.
4
Let t = 67 - 62. Solve -q - 1 = -t for q.
4
Let z(s) be the third derivative of -s**7/5040 + s**6/720 + s**5/30 + 2*s**2. Let t(c) be the third derivative of z(c). Let l be t(1). Solve -x = -l*x for x.
0
Suppose 8 = -4*o - 32. Let l be 14/(-35) + (-4)/o. Solve -2*x + 3*x = l for x.
0
Let n(a) = -a**2 - 13*a - 14. Let g(h) = h**2 + 7*h - 5. Let x be g(-6). Let o be n(x). Solve 0*s - 2*s - o = 0 for s.
-4
Let y = -9 + 6. Let m be (y + 1 - -2) + 3. Solve -m*v + 25 = -8*v for v.
-5
Let b = 6 - 3. Let g(o) = o**3 - 2*o - 1. Let t be g(b). Solve c + 4*c = -t for c.
-4
Suppose 13 = y + 5. Suppose 2*h + 3*v - 7 = 1, 5*v = h - 4. Solve h*m - y = -0 for m.
2
Let f = 20 + -8. Suppose 0 = 9*m - f*m + 6. Solve -m*w = -0*w for w.
0
Let q be 1/(1/(-1)) + 3. Suppose 5*a + 0*p = -5*p + 25, 4*a = 2*p + q. Let u be -10*(a - 5/2). Solve -3*j + u*j = 8 for j.
4
Let b(a) = -a - 1. Let m be b(-5). Suppose 0*r = -5*r. Suppose -x - m*x = r. Solve -d - d + 8 = x for d.
4
Let t = -2 - -7. Suppose 3*f = 8*f + t*q + 25, 0 = 4*f + 3*q + 15. Suppose f = c - 6 - 2. Solve o = -3*o - c for o.
-2
Let s(b) = b**2 - 6*b - 7. Let l be s(7). Let z(d) = -3*d**2 + 4. Let a(i) = 10*i**2 - 13. Let u(o) = 2*a(o) + 7*z(o). Let g be u(l). Solve g*h = 1 + 1 for h.
1
Suppose 5*y - 3 - 4 = c, -4*y + 4*c = 4. Solve 0 = y*l - 3*l - 2 for l.
-2
Let d = -12 - -6. Let c = d - -7. Solve -5 = -l - c for l.
4
Let g(f) = f**2 + 8*f + 10. Let w be g(-7). Suppose w*v = -4*x + 34 - 5, -x = 2*v - 6. Solve 6*r - x = 2*r for r.
2
Let m = -47 + 48. Let s(c) = -c - 5. Let r be s(-5). Let z(d) = d**3 - d**2 - d + 3. Let a be z(r). Solve -4*f - m = -a*f for f.
-1
Let b = -28 + 40. Solve -3 - b = 3*q for q.
-5
Let t be -6*(-2)/15*5. Let m be t/14 - 24/(-14). Let b be (-2)/(-4) - 9/(-6). Solve -m*i + 0 = b for i.
-1
Suppose 4*m - 8 = 2*i - 0*i, 0 = 5*m + i - 10. Suppose 7*b - 15 = m*b, b = -2*r + 7. Solve -c = c + r for c.
-1
Let x = -6 - 2. Let t be (-30)/x + 1/4. Suppose 2*d = -4*u - 8, -u = -4*d + t + 16. Solve b + 15 = -d*b for b.
-3
Suppose 3*q = -4*s + 3, -7*s + 3*s + q = 1. Solve -3*i = -s*i + 9 for i.
-3
Let o = -69 + 73. Let q(c) = 2*c**2 + c. Let p be q(-3). Solve b = o*b + p for b.
-5
Suppose 2*s - 4*s + 12 = 0. Let j be (s + -6)*(-2)/4. Solve j = -0*q - q + 1 for q.
1
Let u be (-8)/7*(-147)/42. Solve -u*m - 10 = -2 for m.
-2
Let s be (-1*1)/((-1)/8). Suppose -5*x - 10 = 3*y, -5*y - x = -4*y + 2. Suppose 0 = 2*r - 4. Solve -r*d + y + s = 0 for d.
4
Suppose 2*l = -2*l + 4*c + 12, -2*c - 6 = -3*