1. Let l(q) = 8*q - 40. Let n be l(5). Solve -h - u*h - 15 = n for h.
-3
Let g = 3 - 7. Let o be (-1)/g - (-15)/4. Let a(k) = -k + 11. Let t be a(7). Solve 3*i = o*i + t for i.
-4
Let b(h) = -h**3 + 5*h**2 + 8*h - 7. Suppose 36 - 1 = 5*j. Let m be (-12)/j*77/(-22). Let k be b(m). Solve -t + 2 = k for t.
-3
Let s = 9 + -4. Solve 3*h = s*h + 4 for h.
-2
Let b(w) = -w**2 - 6*w + 7. Let l be b(-7). Suppose l = 2*v - v. Solve -4*h - h - 20 = v for h.
-4
Let u(y) = -2*y**2 + 45*y - 18. Let f be u(22). Solve 0 = -g - f - 0 for g.
-4
Let a(o) = 2*o**2 - 2*o - 1. Let f be a(2). Suppose -s = -3*b + 15, 2 - f = -5*s - 4*b. Let k be s/(((-3)/2)/1). Solve k*u + u = 15 for u.
5
Let o(y) = -y**3 - y**2 + 2*y + 4. Let j be o(0). Solve 0*q + 20 = -j*q for q.
-5
Let o(h) = -4*h + 32. Let p be o(5). Solve i + p = -3*i for i.
-3
Let d(a) = a + 7. Let s be d(-6). Suppose 22 = -5*k - 3*x, k + s = -3*x - 1. Let o be (-74)/k + (-1)/(-5). Solve -l + o = 4*l for l.
3
Suppose -2*d = 2*w - 14, -2*d + w + 0*w = 1. Suppose -11*s = -6*s - 20. Suppose -2*b + 3*v = -2*v - 16, s = -2*v. Solve d*a + 10 = -b*a for a.
-2
Let k = 2 - 1. Suppose -t = -5 - k. Let d be (3 - 5/2)*t. Solve d = -5*i - 17 for i.
-4
Let m be 136/40 + 2/(-5). Let n be 12/(-8) - m/(-2). Let y(k) = k**3 - 5*k**2 - 5*k - 3. Let r be y(6). Solve n = r*d + d - 16 for d.
4
Let b = -3 - -5. Solve -18 - b = -4*p for p.
5
Let u = -5 - -9. Let o = -9 - 0. Let h = o + 13. Solve -4 - h = u*v for v.
-2
Let p = 10 + -6. Suppose -19 = -p*a + 1. Solve n = -4*n - a for n.
-1
Let o(r) = 2*r**2 + 10*r - 8. Let h be o(-6). Solve h*j - 15 = 1 for j.
4
Let c be (-2 + 8)*(-1)/(-2). Suppose u + 11 = -3*t, u + c*t = 4*u - 27. Solve -5*r = -u - 1 for r.
1
Suppose 5*z = z + 8. Suppose 2*k - o - z = 0, 0*o = -5*k + 5*o. Solve 0 = -r - k*r + 6 for r.
2
Let o = 3 - -1. Let p = 0 + o. Solve 3*t = 2*t - p for t.
-4
Let d be 0/1 - (-4)/2. Let q(p) = p**2 + 2*p - 12. Let l be q(-5). Solve d + 4 = -l*h for h.
-2
Let s(c) = c**3 + 15*c**2 + 15*c + 17. Let a be s(-14). Suppose a*q - 40 = -q. Solve -4*y = -2*y + q for y.
-5
Let a(h) be the second derivative of h**5/120 - h**4/6 + h**3/6 + 2*h. Let g(n) be the second derivative of a(n). Let p be g(6). Solve 0 = 5*i - p*i - 12 for i.
4
Let m be (2 - 5)*(-12)/9. Suppose -m*j = -8 - 20. Solve j + 1 = 2*a for a.
4
Suppose 8*u = 3*u + 4*t - 58, -u - 5*t = 29. Let s be 8/28 - 52/u. Solve -4 = 2*x + s for x.
-4
Suppose -5*v + 63 = -5*f - 52, -5*f - 95 = -v. Let s = f + 22. Solve s = -d - d for d.
-2
Suppose -9*h + 25 = -4*h. Solve -6*g - h = -g for g.
-1
Suppose 13*l + 0*l - 299 = 0. Solve -5*z + 2 = -l for z.
5
Let r be (24/(-30))/((-1)/5). Let w be ((-459)/(-12))/((-2)/(-8)). Suppose -5*m - 28 = -w. Solve m = -a - r*a for a.
-5
Let a(r) = -r**3 + 5*r**2 - 2*r - 7. Let k be a(4). Solve 2 = -s - k for s.
-3
Let p = 5 + -9. Let t = p + 4. Suppose t*a - 32 = -4*a. Solve 2*d = -2*d - a for d.
-2
Let o(i) = 6*i + 6. Let k be o(-4). Let x be ((-6)/9)/(4/k). Solve y + x*y - 8 = 0 for y.
2
Let b(w) = -2*w**3 + 3*w**2 - 3*w + 2. Let r be b(3). Let x be 0 - (-50 + -2 + 2). Let l = x + r. Solve 5*h - h = l for h.
4
Let x = -5 + 7. Let k = -27 + 29. Solve k*p - 4*p + x = 0 for p.
1
Suppose -18 = 4*g - 7*g. Let i be (-44)/(-12) + 2/g. Solve -i*s + 6 = -7*s for s.
-2
Suppose -3*v = 2*v - 20. Let d be 9/(-6) - 3/(-2). Solve d - v = n for n.
-4
Suppose 4*l + l = 20. Let w be (-1 + l - 1) + -2. Solve w = -2*v - 3*v for v.
0
Let c = -12 + 16. Solve -c*f = -0*f + 4 for f.
-1
Let b = 72 - 72. Solve -4*p - 1 + 5 = b for p.
1
Let k = 0 + -1. Let i = 4 + k. Suppose -2*x + 14 = 2. Solve x = -i*n - 3 for n.
-3
Let q be -1 + 0 + (-2 - 3/(-1)). Solve q = -5*g + 3*g for g.
0
Let u be ((-1)/(-5))/((-6)/(-90)). Solve -11 = u*k + 1 for k.
-4
Let v = -24 - -24. Suppose 0 = -v*i - 3*i + 9. Solve -8 = i*g + g for g.
-2
Suppose -5*h + h = 0. Suppose h = -5*n + 5*g + 2 - 22, -29 = 5*n - 2*g. Let i be 9/7 - (-2)/n. Solve 0 = -j - i for j.
-1
Suppose c - 7 = 7. Suppose 2*r - 3*o = 13, -4*r - 2*o - 2*o + 36 = 0. Let a = c - r. Solve -a*y = -y for y.
0
Let j = -1 - -2. Let t be (0/1*1)/(-1). Suppose 2 = 4*b + 2*d, -4*b - b + 4*d + 35 = t. Solve -b*a = j + 11 for a.
-4
Suppose -z - 2 + 0 = 0. Let i = 1 - z. Let g be -2 - i/(6/(-16)). Solve 0 = -n - g + 1 for n.
-5
Let q = -6 + 8. Let v be (5/q)/((-1)/(-2)). Solve -d - v = -4 for d.
-1
Suppose 16 = -d - 3*q, -d = 4*d - 3*q + 26. Let k = 7 + d. Let f = k - -1. Solve f = x - 0*x for x.
1
Let x = -1 - 1. Let d be x/((-2)/2 + 3). Let a be (3/9)/(d/(-12)). Solve -z + 0*z = a for z.
-4
Let z = 3 + 0. Let t = -6 + 8. Let u be ((0/2)/t)/1. Solve j + z = -u*j for j.
-3
Let u(h) be the first derivative of h**2/2 + 10*h + 6. Let d be u(-6). Solve 0*o - 12 = -d*o for o.
3
Let j(v) = -5*v**3 - 2*v**2 - 2*v - 1. Let c be j(-1). Solve c*b + 3 - 11 = 0 for b.
2
Suppose 0 = -2*o - 15 + 3. Let n be (4/8)/((-3)/o). Solve 2*s - n = 9 for s.
5
Suppose -7*d + 37 - 9 = 0. Solve 0 = -4*u - d for u.
-1
Let g = 12 - 6. Let h be (30/20)/(g/20). Solve 3*w + 4 = -h for w.
-3
Let y(p) = 5*p - 7. Let o(d) = d - 1. Let g(s) = 3*o(s) - y(s). Let z be g(3). Let b be (4/((-2)/2))/z. Solve -12 = b*f + f for f.
-4
Let c = 87 + -82. Solve c*a + 9 = -16 for a.
-5
Let x = 26 + -21. Solve 13 + 2 = -x*c for c.
-3
Let n be 0/(-3)*1/(-2). Solve -4*t = -n*t + 12 for t.
-3
Let x be 3/12 + (-102)/(-8). Let v = 13 - x. Solve v = 4*i - 0*i + 16 for i.
-4
Let j be ((-6)/10)/(1/(-10)). Let h be 46/3 + j/9. Solve -3*x + h = x for x.
4
Let j be 3 - (-2 + 15/3). Suppose -3*g + 7*g = j. Solve 5 + g = 5*z for z.
1
Let f(i) = i**2 - 15*i + 12. Let a be f(13). Let u = a - -18. Solve -2*n = 10 - u for n.
-3
Let v be 4/10 + (-606)/15. Let d = 23 + v. Let x = d - -32. Solve 4*r - r - x = 0 for r.
5
Let n = -3 - -6. Suppose -n*p = -3*b - 2*p + 6, 0 = -3*b + 2*p + 9. Solve -2*s - b = -7 for s.
3
Let t = -37 - -43. Solve -9 = 3*o + t for o.
-5
Let i = -7 + 17. Suppose i = 3*l - 5. Suppose 0*n = -5*n - l*g, 5*g = -n. Solve -z - 1 + n = 0 for z.
-1
Let p(n) = -2*n**2 + 18*n + 5. Let y be p(9). Solve -y = -4*o + 11 for o.
4
Suppose -f + 12 = -5*b + 2, b = -5*f + 76. Solve 2*x + x = f for x.
5
Suppose 5*g = g + 20. Suppose -2*t + 2 = -3*t + o, -g*t - 5*o = -30. Solve t = -3*d + 4*d for d.
2
Suppose h - 91 = -5*g + 5*h, -3*g + 3*h = -57. Let f(m) = m + 6. Let u be f(-6). Solve u = -5*l - 0 + g for l.
3
Let g be 4 - 1/((-3)/(-6)). Suppose g*f = -f + 9. Suppose 1 = -c + f. Solve -c*a - 14 + 4 = 0 for a.
-5
Let l = -4 - -6. Solve -l = z - 4 for z.
2
Let y be (6/4)/(3/4). Suppose 0 = -y*c - 4*d - 0*d + 26, c - 4*d = -17. Solve c*x = 8*x for x.
0
Suppose -15 - 5 = 5*p. Let k be (-9)/(-2) + 2/p. Suppose -5*w + 11 + k = 0. Solve w*u + 1 + 5 = 0 for u.
-2
Suppose 0 = -a - a + 32. Suppose q = 5*q - a. Suppose 6*s - 8 = q*s + m, -s - 2*m - 1 = 0. Solve o + s = 4*o for o.
1
Let p(a) be the second derivative of a**5/20 + a**4 - 2*a**3 + 19*a**2/2 - a. Let q be p(-13). Solve q*c = c for c.
0
Suppose -i + 8 = -1. Let l = -8 + i. Let d = 1 - l. Solve d = 2*p - 4 for p.
2
Let n(r) = r**3 + 23*r**2 + 21*r - 22. Let b be n(-22). Solve 5*f - 2*f - 9 = b for f.
3
Let g be ((-4)/3)/((-6)/36). Suppose 22 = -2*u + g. Let i(y) = y**2 + 8*y + 9. Let x be i(u). Solve 0 = 3*t - 1 - x for t.
1
Let l(o) = -o**2 + 7*o - 2. Let i be l(7). Let r(v) = 0 + 0 - 4*v - v**2. Let w be r(i). Solve -2*y + w*y + 4 = 0 for y.
-2
Let j(a) = 6*a - 7. Let o be j(5). Let c(n) = n**3 - 10*n**2 + 10*n - 6. Let u be c(9). Solve -5*t + o = u for t.
4
Suppose -2*s + r = 13, -12 = 3*s - r + 8. Let y = -4 - s. Solve 2*b - 5 = -y for b.
1
Let k(t) = -t + 9. Let s = -9 - -16. Let a be k(s). Solve a = -4*m - 10 for m.
-3
Suppose -2*h + p = 3, 4*h + p - 2*p = -3. Solve -2 = k - h for k.
-2
Suppose 5*r + d + 28 = 0, r - 2*d - 8 = 3*r. Let y be 291/15 + r/(-10). Solve -4*c = -0*c - y for c.
5
Let m(y) = y**2 - 7*y + 9. Suppose 5*v - 22 = 3*v - 2*x, 4*v = -5*x + 48. Let b be m(v). Solve o = 4*o - b for o.
3
Suppose -7*b + 2*b = -2*b. Solve -3*d + b - 6 = 0 for d.
-2
Let x(g) = g**2 - 2*g - 5. Let t be x(5). Let v = -6 + t. Solve -w = -v*w for w.
0
Let s = 0 + 4. Suppose -4*g + 5*p - 2 = 0, -g + 4 = -0*p + p. Solve -2*z = -s - g for z.
3
Suppose 2*j - 40 = -3*j. Suppose -i = i - j. Solve -i = -2*f + 4 for f.
4
Sup