 h*d = 4*d - 16 for d.
4
Let i(f) = -4*f + 1. Let c be i(-1). Let t(a) = a**3 - 5*a**2 - a + 7. Let u be t(c). Suppose -8 = -b + 2*j, j - 2 + 6 = u*b. Solve h + 2 = -b*h for h.
-2
Suppose 6*q - 20 = -14. Let j(y) = 5 - 3 - 5 + y. Let f be j(7). Solve -f*z - 7 = q for z.
-2
Let x = 11 + -9. Suppose -x*w - 7 = -21. Solve -w = -r - 3 for r.
4
Suppose -8 = 5*b - 3. Let a be 3 - 1/(0 - b). Let n(x) = -x**3 + 4*x**2 + x + 3. Let s be n(4). Solve 3*o + s = -a for o.
-3
Let w = -6 + 10. Suppose 5*n = 4*n. Solve -w*c + n*c = 20 for c.
-5
Let b(j) = 5*j - 1. Let t be b(1). Suppose 9 = w - 4*w - 3*y, -4*y = -t*w + 28. Solve 0 = -w*x - 2 + 8 for x.
3
Let r(n) = -n + 1. Let t be r(4). Let i(c) = c**2 - 4*c - 2. Let j be i(3). Let l = t - j. Solve -2 = -l*o + 4 for o.
3
Let n be -3 - (1 + 0 - 1) - -6. Solve -j = -n*j + 6 for j.
3
Let w be -4 + 6 + (0 - -1). Suppose 4*n - 3*u = -u - 20, -5*n - 18 = u. Let y be (10/8)/((-1)/n). Solve 0 = -w*l - 1 - y for l.
-2
Let y be (-9)/6*(-4)/2. Solve -5 = -4*q + y*q for q.
5
Suppose 0 = -3*y + 7*y. Solve 2*p + y*p = -4 for p.
-2
Suppose -9 = -2*i + h, -8*h + 3*h = 4*i + 3. Solve 8*z - i*z = 15 for z.
3
Let c(k) be the third derivative of k**4/24 + 7*k**3/3 - k**2. Let w be c(-10). Suppose 5 = l - w*l - 5*v, 2*v = -5*l + 17. Solve -3*p + 1 = -l for p.
2
Let b = 123 + -107. Solve 4*s = -4 - b for s.
-5
Let z be (6/7)/(1/(-7)). Let y = -2 - z. Solve -1 - 15 = -y*h for h.
4
Let f(r) = -r**3 + 4*r**2 + 3*r + 3. Let z be f(5). Let t be 1/z - 78/(-7). Solve 5*w - t = -1 for w.
2
Suppose 4 + 0 = -s. Let a = 2 - s. Solve -z = -a*z for z.
0
Let d be (4/(-1))/(-2)*1. Solve 0 = 3*w + d*w - 10 for w.
2
Let f(n) = -2*n - 2. Let k be f(-2). Solve 3*x = 4*x + k for x.
-2
Suppose 3*p - 18 = -3*n, 2*p - 6 - 9 = -5*n. Solve -p*d = 6 + 9 for d.
-3
Let y be ((-6)/(-9))/(2/(-6)). Let k = -2 - y. Let i = 6 + k. Solve 0 = -r + i*r for r.
0
Let l(i) = 6*i**2 - i. Let t be l(1). Suppose 4*o + 25 = 3*o + t*w, -w = -o - 5. Solve o = -0*u + 4*u + 20 for u.
-5
Let b(n) = -n**2 + 11*n + 14. Let s be b(12). Let j be s/(-1 + 2) - 0. Solve 4 = a + j for a.
2
Suppose -2*y + 39 = -3*w - 11, 3*y = 5*w + 75. Solve 0*c = 5*c - y for c.
5
Let j be (-1)/(2/(-4)) + -3. Let u = -1 - j. Let x = 3 - u. Solve -s = 2*s + x for s.
-1
Let i(h) be the second derivative of h**4/12 - 7*h**3/6 - 3*h**2 - h. Let m be i(8). Solve 1 + m = 3*r for r.
1
Let a = 3 + -1. Suppose -h + 5 + a = 0. Solve -3 + h = -4*u for u.
-1
Let g(u) = u + 9. Let b be g(-7). Suppose b = m + 1, 5*p - 12 = 3*m. Solve 0*a + a - p = 0 for a.
3
Let i(q) = -q**2 - 4*q. Let w be i(-3). Solve 3 + w = 2*m for m.
3
Suppose -x - 6 = -3*x. Let s be (2/x)/((-2)/(-6)). Solve -s*v = v + 9 for v.
-3
Suppose -x + 45 = 2*x. Solve -x = 2*f + f for f.
-5
Let l be 5/((-15)/6)*-2. Solve 0 = 3*y - l*y - 2 for y.
-2
Suppose 0 = -3*p - 2*p + 25. Solve -p + 6 = -a for a.
-1
Let b(s) = -6*s**3 - 5*s**2 - 8*s - 1. Let y(a) = a**3 + a. Let l(c) = -b(c) - 5*y(c). Let o be l(-3). Solve -h - o = 4*h for h.
-2
Suppose -l - 3*c + 6 = 0, 0 = -0*c - 5*c + 5. Suppose -5*u - 2*m + 5 = -m, -4*u + l*m = 15. Solve -3 + u = 3*t for t.
-1
Let o(k) = -3*k**2 + 2*k**2 - 2 - 6*k + 0*k. Let h be o(-5). Solve -h*d - 10 = -8*d for d.
2
Let q be -5 - -3 - -2 - 3. Let h = q - -5. Solve 4*a + h = 5*a for a.
2
Let p(c) be the first derivative of -c**2/2 + 8*c + 4. Let f be p(8). Solve f*r = r - 2 for r.
2
Let n = 137 - 134. Solve -n*q = -2*q for q.
0
Let z = -12 - -14. Solve c = z*c + 4 for c.
-4
Let c(b) = b**3 + 6*b**2 - b - 3. Let j be c(-6). Suppose j*h - 18 = -0*h. Solve 0 = -4*a - 26 + h for a.
-5
Suppose 5*o + 4*c - 7 = 0, 1 = -o - c + 2. Suppose 0*f + r + 8 = f, -o*r = -5*f + 32. Solve -f*l + 3 = 23 for l.
-5
Suppose 0 = -4*g - 3*t + 35, -5*g + 4*g + 7 = -t. Let n be (-1)/4 - (-2)/g. Solve n = -y - 3*y - 4 for y.
-1
Let g(z) = 2*z**2 - 3*z - 4. Let c be g(3). Suppose f = c*f. Suppose f = -5*x + 4 + 6. Solve -3 - x = 5*h for h.
-1
Let o(v) = -v + 10. Let n(m) = -2*m - 21 + 5*m - 8. Let s(w) = -3*n(w) - 8*o(w). Let k be s(0). Solve -f = 2 - k for f.
5
Let c(s) = -s - 4. Let q be c(-4). Suppose -h - h = q. Solve h = 3*i - i for i.
0
Let l = -1 + 4. Suppose 2*h + x - 18 = -3*x, 3*x - 12 = -l*h. Let k be 3/(-3) - h - 0. Solve k*i + i + 1 = 0 for i.
-1
Let s = 79 + -59. Solve -5*v = -v + s for v.
-5
Let b(i) = -i**3 + 5*i**2 + 8*i - 7. Let z be b(6). Solve n - z*n = 12 for n.
-3
Let l = 26 + 4. Let i = l + -14. Solve 2*j = 6*j + i for j.
-4
Let k(p) = p**3 - 5*p**2 - 7*p + 8. Let g be k(6). Solve -g*r + 0*r = 0 for r.
0
Let g(f) = f + 3. Suppose 2*h - 3*h = -7. Let t be g(h). Solve 5*j - t = -0*j for j.
2
Let d(r) = -r**3 + 5*r**2 + 4*r - 3. Let o be d(5). Let k = o + -14. Solve k + 12 = -3*q for q.
-5
Suppose -3*k + 25 = 3*u - 4*u, -2*k - 86 = 3*u. Let q = 58 + u. Suppose -2*p = -q + 6. Solve 0*a - 4*a - p = 0 for a.
-3
Let d be 4/(6/(5/((-5)/(-3)))). Solve d*u + 0*u - 4 = 0 for u.
2
Suppose -4 = -2*i + 2. Solve i = 4*g + 11 for g.
-2
Let k(s) = -s**2 + 11*s + 16. Let v be k(12). Suppose 0 = v*h + h - 25. Solve -8 = h*z - z for z.
-2
Suppose -10 = -9*k + 4*k. Solve -a - 5 = -k*a for a.
5
Let i = 47 + -30. Solve 4*p + 5 = i for p.
3
Let j be -11 - 0/(-1 + 4). Let d(v) = v**3 + 12*v**2 + 11*v + 4. Let s be d(j). Solve 7 + 9 = s*i for i.
4
Suppose -u = u - 8. Let y be 54/(-21)*(-28)/6. Solve -y = u*i + 4 for i.
-4
Suppose -4*l + 2*l = 0. Suppose 5*y - 4*v = 9, 0 = 2*y - 3*v + v - 2. Suppose -o - t - 3*t = 0, 5*o + 3*t = 34. Solve l = y*n - o + 28 for n.
-4
Let a(f) = f - 3. Let y be a(5). Solve -10 = -4*l + y for l.
3
Let n be (4/(-6) - 0)*-6. Suppose 2*j - 2 = -4*l, -2*j = -n*l + 5*l - 8. Suppose 2*c - 5*o - 41 = 0, -15 = -5*c - j*o - 0. Solve 2 = -2*w + c for w.
3
Let u(o) = 2*o**2 - 2*o - 9. Let r(d) = 3*d**2 - 5*d - 18. Let a(m) = -3*r(m) + 5*u(m). Let k = -9 - -3. Let f be a(k). Solve g - f = 6*g for g.
-3
Suppose -2 = -4*a + 3*t + 6, 2*a - 4 = -t. Suppose -q - a*q = -9. Solve 0 = q*v - 1 + 10 for v.
-3
Let h(n) = -2*n - 2. Let i be h(-2). Solve 2 = -i*u - 8 for u.
-5
Suppose 0 = 4*r - 7 - 1. Solve -3*p + r = -p for p.
1
Let m = -15 + 18. Solve m*w = -2*w for w.
0
Let m(s) = -2*s**3 - s**2 + s + 2. Let c = -6 + 4. Let h be m(c). Solve -h = 4*r - r for r.
-4
Suppose -4*i - 6 = -26, -u = -2*i + 4. Let k = 15 + -12. Solve 0 = k*s + 3 + u for s.
-3
Let r(w) = w**2 + w - 2. Let s be r(2). Suppose 0 = 4*f + 14 + 2. Let i = 0 - f. Solve 0 = i*d - s - 12 for d.
4
Let i(y) = 2*y**2 - 15*y + 20. Let l be i(6). Solve x = l - 0 for x.
2
Let o be (-2)/(-9) + (-2240)/(-45). Suppose -4*q - q = -o. Let k = -7 + q. Solve 0 = -a - 1 - k for a.
-4
Let z be ((3 - 3) + -2)*-2. Let v be z/10 + 4/(-10). Solve v*t - 5*t = -15 for t.
3
Let s(o) = -o**2 + 6*o - 2. Let d(f) = 6*f - 1. Let n be d(1). Let l be s(n). Solve -p + 0 = l for p.
-3
Suppose -3*h = -h - 14. Suppose f = -x + h, 2*x - 15 - 1 = -3*f. Solve 0 = -f*t - 0*t for t.
0
Let l = -1 + 6. Suppose 1 = -2*x + 7. Let i = x - -17. Solve -l*h - 5 = i for h.
-5
Let x be (-1 - (2 - 3))/1. Suppose h - 25 = -5*u, x = 4*h - 2*u + u - 100. Solve -4*j + h = j for j.
5
Suppose 10 = -3*i + 5*i. Let q(m) = m - 2. Let c be q(i). Let h(t) = t**3 - 2*t**2 - 3*t + 4. Let f be h(c). Solve -k + 5 = f*k for k.
1
Suppose y + y = m - 8, -3 = 3*y. Solve 19 + m = 5*b for b.
5
Suppose -8 = 4*c + 2*l + 2, -4*c - 5*l = 25. Solve o - 2*o = c for o.
0
Suppose 0 = -0*s + 4*s + 56. Let y = s + 21. Suppose y*c = 4*c + 6. Solve -c*w = w for w.
0
Let y be (-3 + 2)/(1/3). Let o(h) = -7*h - 4. Let s be o(y). Solve -5*z = 8 + s for z.
-5
Suppose -7 = -3*f - 2*a - 23, 2*a + 12 = -f. Let n be (f - (-3 - 0))/1. Solve 2*g - n = 1 for g.
1
Let u(j) = j**2 - 6. Let n be u(-4). Solve -n = -3*g - 25 for g.
-5
Let g(s) = -s**2 + 14*s - 1. Let p be g(13). Solve -2*d = d + p for d.
-4
Let g be 4*(0 - -1)/1. Suppose -2*l + 1 = -3*r + 6, 5*l - 2*r - 15 = 0. Let d = 47 + -31. Solve g + d = -l*y for y.
-4
Let b be 4/(-22) - (-630)/198. Let q(t) = 4*t - 1. Let s be q(1). Solve 0*j - s = -b*j for j.
1
Suppose 2*t = -0*t + 16. Solve 0 = 5*z - t*z - 6 for z.
-2
Let c(b) = -6*b**3 + b**2. Let p be c(-1). Solve -4*o = -p*o + 12 for o.
4
Let d(q) be the second derivative of -q**5/20 + q**4/3 + q**3 + 5*q**2/2 - 4*q. Let z be d(5). Solve 0 = -4*a - z - 6 for a.
-4
