*l + a = -h for l.
-1
Suppose 3*f = 10 + 8. Let b(s) = s**3 - 6*s**2 + s - 6. Let m be b(f). Solve -4*h - 6 - 2 = m for h.
-2
Suppose 5*w + 10 = -0*w, 3*k + 56 = 2*w. Let r be (k/14)/((-1)/7). Let p be ((-16)/r)/4*-20. Solve p = -m + 3 for m.
-5
Suppose -a = l + 2*a + 12, -a - 14 = 2*l. Suppose 3*d = 2*d + 21. Let v be 4/(-7)*d/l. Solve 0*m - v*m = 6 for m.
-3
Let n = 15 - 13. Solve -4*x = -n*x - 8 for x.
4
Let z = -47 + 20. Let c = z - -17. Let f = 16 + c. Solve -y - f = y for y.
-3
Let i = -8 + 27. Suppose 5*z - o + 2*o - 8 = 0, 5*o - i = -4*z. Solve -y - 3 - z = 0 for y.
-4
Let x(v) = v**2 - 13*v - 12. Let w be x(14). Solve -w*m = 4 + 6 for m.
-5
Let i(k) = k**3 + 4*k**2 - 6*k - 3. Let n be i(-5). Let g be 5 - -2*(n + -3). Solve -v + g*v = 0 for v.
0
Suppose 4 = -4*c + 8*c. Solve 2*h - 1 = c for h.
1
Suppose 12 = -3*a + a. Let q(z) = -z**2 - 7*z - 1. Let d be q(a). Solve d*w = -0 + 25 for w.
5
Let h be ((-1)/(-3))/(5/(-30)). Let p be 4/4 + (h - -5). Solve 0*f = p*f - 20 for f.
5
Let g = -122 + 126. Solve -2*i + g*i - 2 = 0 for i.
1
Let z(d) = d**3 - 4*d**2 - 4*d + 1. Let w be z(5). Suppose 0 = -3*o + w, 0*b - 4*b - o = -14. Let u be (1 - 0)*(2 + 2). Solve -n + u*n - b = 0 for n.
1
Let q(t) = -t - 4. Let r be q(-4). Suppose 2*x = -f + 10, 2*x - 5*f + 11 = -x. Solve x*v = -r*v for v.
0
Let a(g) = -g**3 - 23*g**2 - 2*g - 36. Let l be a(-23). Solve 25 = 5*n + l for n.
3
Let y be (-5)/((-35)/14) + 0/(-1). Solve y*b = b for b.
0
Let s be (-1 + 2)/((-14)/(-28)). Suppose -2*i + 3 = -o, -5*o - 47 = -0*o - 2*i. Let w = o - -17. Solve 4*x + w = s*x for x.
-3
Let k(x) = x**3 + 1. Let p(a) = -a**3 + 4*a**2 - a - 2. Let g(y) = 2*k(y) + p(y). Let l be g(-4). Solve 8 = 8*u - l*u for u.
2
Suppose 0 = 4*q - 9*q. Suppose q = -k - 3*k. Solve k*w = 4*w + 16 for w.
-4
Let f be (1 + -31)/((-15)/10). Suppose 2*l = -3*l + f. Solve -11 + 3 = l*u for u.
-2
Let b = -12 - -17. Suppose d - b = -x, -5 + 0 = -4*x - d. Suppose -4*w + 0 + 24 = x. Solve f = -2*f - w for f.
-2
Let a be 17 - 17 - (-5 - 0). Let p(q) = q**3 + 2*q**2 - q. Let j be p(-2). Solve j = -a*l + 7 for l.
1
Suppose 0*w = -w + 4. Let a = 18 + -16. Solve 0 = a*d - d + w for d.
-4
Let h(r) = -r - 1. Suppose 2*j - 1 = 3*b, 3*j = -5*b - 2*j + 40. Let c be h(b). Let v be (-2 - (c - 1)) + -3. Solve 3*x - x + 6 = v for x.
-3
Suppose 21*p - 34 = 8. Suppose o - 2 = 4. Solve p*u = -0*u + o for u.
3
Suppose -h = -4*h + 24. Let q(x) = 5*x - 50. Let b be q(11). Suppose b*k + s - 6 = 0, 2 = 3*k - h*k - 3*s. Solve 3*f + k*f - 20 = 0 for f.
4
Let d be ((-45)/(-27))/(1/3). Solve v - d = -0*v for v.
5
Let q = 4 - 2. Solve -o = q*o - 6 for o.
2
Suppose -5*q + 3 = -7. Let v = 7 + -7. Let l be q - -1*(1 + v). Solve 3 = l*i - 0 for i.
1
Let g(z) = 2*z**2 - 7*z - 3. Let x be g(4). Solve m = -0*m + x for m.
1
Let x = 1 - 1. Let z be (12/4 - 3)/4. Solve -5*l + z*l = x for l.
0
Suppose -3*f + 2*f + 3*g + 27 = 0, -2*g - 6 = 0. Suppose r = u - 0*r - f, -3*u + 4*r + 56 = 0. Let y = 7 - -1. Solve y*a - 4*a - u = 0 for a.
4
Suppose 18 = -2*t + 4*t. Solve -t = c - 4*c for c.
3
Let p be (19 - 18)*(-1 - -26). Solve p = -7*t + 2*t for t.
-5
Let t be ((-4)/(-6))/((-4)/(-90)). Let g be (-10)/t + (-2)/(-3). Solve g = -5*i - 1 - 4 for i.
-1
Let y = -1 - -3. Let a be (3/(-3))/((-2)/4). Let d be (1 - a) + 5 + -1. Solve 0 = s - y + d for s.
-1
Suppose -3*c + 2*c + 2 = 0. Suppose 0 = -0*k - c*k + 40. Solve -3*m = 2*m - k for m.
4
Let a be ((-8)/(-3))/(12/18). Solve -17 + 1 = a*b for b.
-4
Suppose 5*v + h - 104 = -h, -2*h = 4*v - 82. Solve 5*q + v - 2 = 0 for q.
-4
Suppose 1 - 5 = 2*j - 4*u, -3*j = -4*u. Let k be 8 + 24/(-15) - (-4)/(-10). Solve v - k = j*v for v.
-2
Suppose 5*f - 1 = 14. Let q be (1 - (3 - 2)) + f. Solve -5*j - q - 7 = 0 for j.
-2
Let q = 2 - -2. Let c be 2*2 - (6 - q). Solve -c*i = i - 12 for i.
4
Let t(d) = -d**2 - 7*d - 8. Let a be t(-4). Solve -o = -a*o + 12 for o.
4
Let h(m) = -m**2. Let r(n) = 6*n**2 - 1. Let q = 2 - 1. Let c(l) = q*r(l) + 3*h(l). Let i be c(1). Solve 0*s + i*s = 10 for s.
5
Let x(c) = 2*c - 6. Let n be x(5). Suppose -n*u + 3*h = -20, -2*h + 1 = -2*u + 11. Solve 4 = u*i - 21 for i.
5
Let g be (-1 + 7)*4/6. Suppose g = 4*i, -j + 2*i = 3*j - 70. Let q be (-2)/((-3)/(j/4)). Solve k - q = -2 for k.
1
Suppose 42 = -4*y + 62. Solve 7 - 27 = y*s for s.
-4
Let p be (-6)/(-1)*3/(-6). Let b(x) = x**3 + 3*x**2 - x. Let k be b(p). Solve 0 = -f - 0 + k for f.
3
Suppose 0 = -4*y - u + 14 - 7, -5*u + 17 = 2*y. Suppose x - 12 = -3*x + 2*s, -5*x - s = -29. Solve y = -x*d - 14 for d.
-3
Suppose -2*h - 6 = -3*h. Suppose -4*o = -2*o - 3*f - h, 0 = 2*o + 4*f - 6. Solve 19 = o*w + 7 for w.
4
Suppose -1 = -2*z - 3. Let h(u) = 3*u**2 - u - 1. Let c be h(z). Solve -c - 1 = 2*a for a.
-2
Suppose 3*k = -3*k. Let j = 0 + 2. Let t(w) = w. Let z be t(6). Solve k = 4*r - j - z for r.
2
Let y be (-6)/(-15) + (-32)/(-20). Solve -g = g - y for g.
1
Suppose 15 = -3*j + 27. Solve 0 = j*a + 8 for a.
-2
Let b = 124 + -120. Solve 0 = -2*d + b*d for d.
0
Suppose 4*k + r = 1, -3*k - 2*r = r - 3. Let c be -2*1*2/(-4). Solve -v = -k*v + c for v.
-1
Let h be (52/65)/((-4)/(-10)). Solve -h*c - 3 = -5 for c.
1
Let z(b) be the second derivative of b**3/6 - 3*b**2 - 6*b. Let m be z(8). Solve m + 3 = d for d.
5
Suppose -3*n = 4*a + 70, n - 5*a + 0 = 2. Let z = n + 23. Solve z*l - 1 - 4 = 0 for l.
1
Let h = -30 + 55. Let g be (-2)/(-6) + h/15. Let b be 0/g*2/(-4). Solve b*l - 10 = 2*l for l.
-5
Let r(v) = v**2 - 2. Let h be r(-2). Let k = -221 + 221. Solve k = h*n - 7 + 1 for n.
3
Let k(d) = d**2 - 9*d + 13. Let o be k(8). Solve o*p - 3 + 28 = 0 for p.
-5
Let y(b) be the third derivative of b**5/60 + b**4/4 + b**3/6 + 4*b**2. Let f be y(-7). Suppose 0 = 2*s - 0 - f. Solve -r + 15 = -s*r for r.
-5
Suppose 0*m + 2*m - 6 = 0. Suppose -5*x = -x - m*f + 6, -x - 2*f = -4. Solve -y + 7 - 3 = x for y.
4
Let g be (-2)/6 + 428/6. Let i = g + -42. Suppose -4*u - 9 = -i. Solve -c = -u*c for c.
0
Suppose -t + 13 = 2*v, 3*v + 0*t + 3*t = 24. Suppose -2*g - 5*q + 27 = -g, -v*g - 3*q + 113 = 0. Solve 5*x - 2 = -g for x.
-4
Suppose 85 = -3*o + 5*k - 3, -4*o + 4*k = 104. Let j be (-6)/o + 80/14. Solve 15 = z - j*z for z.
-3
Let r(y) = -5*y + y + 7*y**2 + 2*y + y**3 + 6. Let d be r(-7). Solve 9*w - 4*w = d for w.
4
Let i = -1 - -8. Suppose q - 5*y = 15, 2*q + 2*q - 2*y - 42 = 0. Solve 2*w = i*w + q for w.
-2
Let r = -44 - -74. Suppose -4*j + r = -j. Solve j = b + b for b.
5
Suppose 0 = 2*w - 16 + 10. Solve 15 = -3*r + w for r.
-4
Let m be 3 + (-12)/(-3) + 2. Suppose 5*l - 41 = m. Let k be (-4)/l*(-10)/1. Solve -k*i - 5 = 7 for i.
-3
Suppose 0 = 5*x - 0*x - 10, 5*h - 31 = 2*x. Let o(b) = b**2 - 3*b + 2. Let s be (-27)/(-6)*(-4)/(-6). Let v be o(s). Solve h*u = v*u + 25 for u.
5
Let a(l) = -l - 12. Let p be a(-7). Let i = p - -5. Solve i = -g + 5 - 1 for g.
4
Let o be (1 - -10)*-1*1. Let r = o - -17. Solve 3*v - r = 6 for v.
4
Let q = 9 + -6. Suppose -5*i + 3*i + 14 = 0. Solve i*s = q*s - 12 for s.
-3
Let i be (-16)/(-12)*(-54)/(-4). Let g = i + -3. Suppose 4*m - o = 11, -4*o = -5*m + m + 20. Solve m*l - 5*l = -g for l.
5
Let x = 13 + -7. Solve 2*t + t = -x for t.
-2
Let r = 5 + -3. Let t(s) = 0*s**r + s**3 - s**2 + 0*s**3. Let o be t(1). Solve o = -0*l + 4*l for l.
0
Let c be 8 - -1 - (2 + 0). Suppose 0 = c*m - 2*m. Solve k = -m*k + 1 for k.
1
Let k = -23 - -23. Solve k = 2*g - g - 2 for g.
2
Let v(h) = -h**3 - 8*h**2 - 3*h - 18. Let g be v(-8). Solve -14 = g*t - 2 for t.
-2
Suppose 8*u - 3*u - 5 = -3*f, -4*f + 5*u = 5. Suppose f = 3*y - 6*y. Suppose -2*l + 18 = -y*l. Solve -4*i = -i - l for i.
3
Let o be ((-16)/(-28) - -2)*7. Suppose -4 = i - 0. Let g be o/4 - i/(-8). Solve g*m - 3*m = -3 for m.
-3
Let k = 3 + 1. Let s(q) = -q**3 - 10*q**2 - 9*q + 7. Let n be s(-9). Solve -k*u + 9 = -n*u for u.
-3
Let y(m) = -m + 4*m - 2*m. Let o be y(5). Solve 2*h + o = 7*h for h.
1
Suppose 7*d - 64 = 3*d. Let k be (-4)/d + (-13)/(-4). Solve 2*x + k = 1 for x.
-1
Let l(n) = n**2 - 2*n + 1. Let t be l(3). Let h be t/6 - 88/(-12). Suppose 3*u - h = -5*d + 7, -4*u + 20 = 0. Solve 3*q - 3 + 9 = d for q.
-2
Let l = 11 - -1. Let b = l - 7. Let a be 12/b*(-10)/(-4). Solve -3*x + 9 = -a*x for x.
-3
Let t(f) = -f + 13. Let m(d) = -d + 13. Let v(a) = -3*m(a) + 4*t(a). Let z be v(13). Solve 2*l + l