(2/1 + 1)*1. Solve 0 = -2*h + 1 + d for h.
2
Let u = 1 - -9. Solve 0 = -5*d + 3*d + u for d.
5
Let b be (-2 - (-24)/9)*3. Suppose 5*m = -4*f - 9, b*f + 7 - 20 = m. Let x(w) = -3*w - 2. Let r be x(-3). Solve 1 + r = f*p for p.
2
Let r = 46 - 31. Let c be -2 - 5/(r/(-12)). Let a be c - -1 - 3 - -2. Solve 0 = -i + a*i for i.
0
Let t be 7 - (-1)/((-2)/(-4)). Solve 0*b + t = -3*b for b.
-3
Let b(u) = u**2 + 9*u - 4. Let l be b(-10). Solve -2 = 4*x - l*x for x.
1
Let f(v) = -v**2 + 4*v + 5. Let l be f(5). Let p be 9/(-6)*(l + -2). Suppose -2*q = q. Solve 3*u = p - q for u.
1
Suppose 2 = 5*b - m + 3*m, -18 = -5*b + 2*m. Solve -2*w - b*w = 20 for w.
-5
Let g be (4 - 1)/((-3)/(-15)). Suppose -5 = -3*d + 4*x + 4, 5*d - 2*x - 15 = 0. Solve -g = 2*k + d*k for k.
-3
Let w = 7 - 20. Let l(f) = -f**3 - 6*f**2 + f - 3. Let u be l(-6). Let q = u - w. Solve q*g + 14 = -6 for g.
-5
Let p(c) = 2*c**2 + 4. Let o be p(0). Solve -o*m = -m + 12 for m.
-4
Suppose 25 = 5*g - 5*i, -5*g + 0*g + 11 = 2*i. Let d(v) = -v**2. Let c be d(-2). Let x = c + 17. Solve g = -4*r - x for r.
-4
Suppose -5*w - 1 + 11 = 0. Suppose 4*i + c - 17 = 0, 3*i - 20 = -w*i - c. Solve -2*j = i*j + 20 for j.
-4
Let j(t) = t**3 - 3*t**2 - 4*t - 3. Let h be j(4). Let b be 6*(-2)/h - 0. Solve b*a + 12 = -8 for a.
-5
Let m be 1/(-9)*3*-3. Solve -5*n + 4 = -m for n.
1
Let k(g) = g**2 + 8*g + 12. Let j be k(-6). Solve -2*l + l + 1 = j for l.
1
Let i(n) be the third derivative of -n**6/120 + n**5/60 + n**4/24 + n**3 + 4*n**2. Let h be i(0). Solve -h = -5*a - 26 for a.
-4
Let l(i) = -i**2 - 3*i + 20. Let w be l(-6). Solve 0 = -2*c + c + w for c.
2
Let k = -11 + 16. Suppose -k*t + 7 = -3*u - 0*u, -5*u + 3*t - 1 = 0. Solve 2*v - 3 - u = 0 for v.
2
Suppose 0 = -4*z, -z = m + 4*m - 5. Solve -m - 5 = 2*f for f.
-3
Let j = -17 + 19. Solve -9 = j*x + x for x.
-3
Suppose -9 = -2*v - 5. Solve -8 = 4*c - v*c for c.
-4
Suppose y - 80 + 65 = 0. Solve 0*c = -5*c - y for c.
-3
Let f(k) = 9*k - 8*k**2 - 22*k - k**3 + 27 + 20*k**2. Let y be f(11). Let b be 2/9 - (-4)/(-18). Solve -25 = y*d - b*d for d.
-5
Let d(a) = a**3 + 8*a**2 - 12*a - 4. Let v be d(-9). Suppose -5*j + v + 2 = 0. Suppose -4*b + 4 = 0, -j = -o + b - 1. Solve 5*m + 25 = o for m.
-4
Suppose 4*i + 30 = 42. Solve 0*l = -i*l for l.
0
Let u(s) = -s**3 - 19*s**2 + 2. Let v be u(-19). Solve -l - 4 + v = 0 for l.
-2
Let s(z) = z**2 + 5*z - 1. Let g(q) = 2*q**3 + 4*q**2 + 3*q + 1. Let o be g(-2). Let u be s(o). Let a = u + 4. Solve 0*w - a = w for w.
-3
Suppose -5*w = -3 - 12. Solve -b + 10 = -w*b for b.
-5
Suppose 26*n - 144 = -10*n. Let h = 0 + 4. Suppose h*y - 60 = y. Solve r = -n*r + y for r.
4
Suppose 5*n + 3 = -22. Let w = 1 - n. Let t = w - 1. Solve t*s - s - 4 = 0 for s.
1
Suppose b = -0*t + 4*t - 6, 0 = -5*b + 4*t - 14. Let g = 3 + -5. Let p = b - g. Solve 5*j - 4 - 1 = p for j.
1
Let j(q) = -q**2 + 5*q + 7. Suppose -3*u + r = -45, -4*r - 18 = -6. Suppose 5*i = 5*h - 3 - 2, 0 = -4*h + 2*i + u. Let l be j(h). Solve -4*m - 5 + l = 0 for m.
-1
Let t = 2 - 4. Let v = t - -4. Solve 0 = v*c + 1 + 3 for c.
-2
Let w(p) = -p**3 + 6*p**2 - 5*p - 3. Let k be w(5). Let g be (3/k - -3)*1. Solve 10 = -4*v + g for v.
-2
Let h = 6 - 1. Suppose -h*c = -c. Solve c = -4*a - a for a.
0
Let x = 0 + 0. Let t = 80 + -76. Solve x = 3*n - t + 7 for n.
-1
Let i(c) = c**3 - c**2 + c + 2. Let u be i(0). Suppose 1 = -f, -u*k - 3*f = -f - 22. Let w = 1 + 3. Solve 0*b + k = -w*b for b.
-3
Suppose 6*d - 10*d = 0. Let g = 14 - 26. Let i = g + 22. Solve 2*s + d = i for s.
5
Let f(n) = -n**3 - 5*n**2 - 3*n - 7. Let k be f(-5). Solve -y + 3*y - k = 0 for y.
4
Let t(v) = v**3 + 6*v**2 - 5*v - 3. Let i be t(-6). Let j = i - 23. Solve 2*c - c - j = 0 for c.
4
Let v(j) = -j**3 + 6*j**2 - 7*j - 4. Let h be v(4). Solve h = -3*a - 2 + 14 for a.
4
Let h(i) = -i**2 - 17*i - 15. Let r be h(-15). Solve -2*v - v = -r for v.
5
Let x = -10 + 11. Solve 0*b + x = b for b.
1
Suppose 2*q + 10 = 3*v + 3*q, v - 12 = 4*q. Solve b + v = -b for b.
-2
Let x be (-3)/2*(-24)/9. Suppose -3*z = 6, x*z + 2 = p - 3*p. Let l(f) = f**3 + f**2. Let a be l(0). Solve a = -p*r - 4 - 2 for r.
-2
Let n(t) = -3*t - 4. Let w be n(-4). Suppose -3*d - 4*h = -w*d - 7, 0 = d + 2*h - 7. Solve m = d - 3 for m.
-2
Let r = 6 - 8. Let t be ((-9)/(-6))/(-3)*r. Let w = t + 4. Solve -w*h = 4 + 1 for h.
-1
Suppose 4*b - 15 = -b. Let p(h) = h**2 + 5*h + 4. Let v be p(-4). Let k(c) = 4*c + 35. Let g be k(-8). Solve -b*f = -v*f - g for f.
1
Let m(p) = -p**2 - 8*p - 9. Let v be m(-6). Solve -d = -v*d + 10 for d.
5
Let w = -13 + 29. Suppose 2*b - 4*d + 8 + 6 = 0, -5*d + 40 = 5*b. Suppose 0*i + 3*i - b = 0. Solve 3*n - w + i = 0 for n.
5
Suppose -64 = -q + 3*m, 3*q - 117 - 103 = 2*m. Suppose -4*b = -2*b + 4*l + q, 0 = 3*l + 9. Let o be b/(-10) + (-2)/10. Solve d - 4 = o*d for d.
-2
Let o = 14 - 4. Suppose -u - o = -4*t, -u - 4*u + 34 = t. Let d(f) = -f**3 - 3*f**2 - 3*f - 4. Let q be d(-3). Solve v - q = -u for v.
-1
Let p(k) be the second derivative of k**3/6 + 7*k**2 + 2*k. Let q be p(11). Solve q = 3*h + 2*h for h.
5
Let t = -10 - -14. Let b = t - 2. Suppose 0 = b*p, -k = -5*p + 2*p - 10. Solve y - 6*y = -k for y.
2
Let n = -1 + 6. Suppose -5*v - 4*o = -4 - 31, n*v - 35 = 3*o. Solve 0 = -4*b + 13 + v for b.
5
Let t be (3/4)/(12/32). Let q be (-3 + 1)/(t/(-21)). Solve -q = 5*k - 6 for k.
-3
Let k = 16 + -16. Solve k*v + v = -3 for v.
-3
Suppose 0 = 8*r - 3 - 13. Solve r*k = -3*k for k.
0
Suppose c + 0 = -4. Let r = 3 + c. Let z = 9 + r. Solve -3*a = -z*a for a.
0
Suppose 0*b - 19 = b. Let w = 44 + b. Suppose -4*x + w = x. Solve -x*v + 20 = -0*v for v.
4
Suppose 0 = -3*s + 7 + 8. Suppose v - 12 = 2*v + 5*l, -3*l - 24 = -s*v. Solve 0*d - v*d + 9 = 0 for d.
3
Let n(d) = 2*d - 4. Let v be n(4). Let z(i) = -15*i + 12. Let t(p) = -7*p + 6. Let f(m) = 13*t(m) - 6*z(m). Let a be f(v). Solve -2*l = a*l for l.
0
Suppose 3*w = a + 10, -4*w - 8*a + 6*a = -10. Solve 0 = -0*x + w*x for x.
0
Suppose -5*m + 15 = -35. Let h = 25 - m. Let l be (-6)/h - (-14)/10. Solve -2*v = l - 9 for v.
4
Suppose 2*c + 36 = 4*c. Let m be c/(-8)*(-36)/9. Solve -m - 3 = 3*k for k.
-4
Let o be 8 + 1 - 0/2. Let n = o + -7. Solve 8 = -0*u - n*u for u.
-4
Let k = 7 + -2. Let o(i) = -14*i - 1. Let w be o(-1). Suppose a = 5*f - 3*a - 8, -4*f + a = -w. Solve -k = -h - f*h for h.
1
Let k(s) = -8*s - 3. Let n be k(-1). Solve 0*u + n = -u for u.
-5
Let c be 20/9 - 4/18. Solve -c*a - 8 = -0*a for a.
-4
Suppose -2*n = h + 14 - 5, -3*h - 2*n = 7. Let q = h + -1. Solve q*z - 5*z + 10 = 0 for z.
2
Suppose 2*r + 36 = 10. Let w = 19 + r. Solve 3*l = l + w for l.
3
Let i(o) = 5*o**2 + 2*o - 1. Let r be i(1). Solve 3*j - r*j + 12 = 0 for j.
4
Let y(v) = v**2 + 9*v + 1. Let j be y(-9). Solve q - j = -0*q for q.
1
Let g be 2 + 0 + (-5 - -6). Let l(s) be the first derivative of s**4/4 + 4*s**3/3 + 4*s - 1. Let r be l(-4). Solve -7 = -r*j - g for j.
1
Let m = -31 + 21. Let l be 198/10 - 2/m. Solve l = -0*r + 5*r for r.
4
Let g be 15/(-6)*-1*-6. Let n = 25 + g. Solve 2*w + 0*w + n = 0 for w.
-5
Let a be ((-2)/6)/((-2)/24). Suppose -4*k = -a - 4. Let m be -10*(k - (-5)/(-2)). Solve m*l - 2*l + 12 = 0 for l.
-4
Let r(q) = 2*q - 20. Let j(c) = c**2 + 10*c + 1. Let n be j(-11). Let o be r(n). Solve -o*y + 10 = -6 for y.
4
Let k(s) = s**2 - 2*s + 5. Let z be k(6). Let x = z + -55. Let n = x + 44. Solve 4*a = n - 6 for a.
3
Let k = -1 + 1. Suppose -3*f - 4*l - 5 = k, -f + 0 + 3 = -l. Let h(o) = 2*o**3 + 17*o**2 + 12*o + 51. Let b be h(-8). Solve -5*d + f = -b for d.
4
Suppose 12 = -4*g + 48. Suppose 4*r - g = -k, -k - 1 + 4 = 2*r. Solve 6 = r*i - 9 for i.
5
Let m = 22 - 15. Let f be (m - 0)*5/5. Solve 3*z = 5 + f for z.
4
Let f(i) = -i**2 + 2. Let s = -12 + 6. Let m(o) = 3*o**2 - o - 6. Let r(c) = s*m(c) - 17*f(c). Let j be r(6). Solve 4 = j*p + 2 for p.
1
Let n = -4 + 6. Suppose m + 2*b - 6 = 0, 2*m - 27 - 10 = b. Solve -m = -n*s + 6*s for s.
-4
Let c be (0*4/(-8))/1. Solve 3*u - 4*u + 3 = c for u.
3
Suppose -9*n + 4*n + 50 = 0. Let j(f) = -9*f - 14. Let o be j(-12). Let r be (-2)/5 + o/n. Solve -r = -2*q - 1 for q.
4
Suppose -o = -3*o. Solve o = 3*u + 19 - 4 for u.
-5
Suppose 15 = 4*l - 5. Suppose 2 = y - 3*k - 4, -l*k - 5 = 0. Solve 0*d = y*d - 12 for d.
4
Let o(l) = 3*l + l - 3*l - 7 + 0. Let m be o