-4*f - c = -1 for f.
-1
Let z(d) = -d**3 + 7*d**2. Let k be z(7). Let f(l) = -l**2 - 8*l + 9. Let u be f(-9). Solve u*x - 2*x = k for x.
0
Suppose 0*u + 88 = 11*u. Solve 5*m + u + 7 = 0 for m.
-3
Let u(r) = -13*r + 134. Let p be u(10). Suppose 3*i - 1 + 22 = 0. Let t(d) = d**3 + 8*d**2 + 7*d + 6. Let o be t(i). Solve o + 6 = p*y for y.
3
Let b(q) = -q**3 + 2*q**2 + 2. Let y be 0/((0 - 2)/(-1)). Suppose 4*n + o - 6 = y, -n = -3*o - 3 - 5. Let s be b(n). Solve 2*u = s + 2 for u.
2
Let d be (-3)/3*18/3. Let l be (-25)/2*12/d. Suppose -4*c - 2*p - 7 = -17, -5*p = l. Solve 4*y - 3 = c for y.
2
Suppose 4*b = -5*k - 6, -2*k - 10 = -k + 3*b. Solve -p + 2*p + k = 0 for p.
-2
Let k(l) = -l**2 - 11*l - 20. Let v be k(-8). Solve 14 = v*p + 6 for p.
2
Suppose -3*x + 10 = -3*d - x, 3*d + 11 = x. Let b = 8 + d. Solve -4 = -b*o + 4 for o.
2
Let n = 0 - -8. Let f = 8 - n. Suppose 0*w + 4*w - 20 = f. Solve 11 = -w*q + 1 for q.
-2
Let j be (14/8)/(1/8). Suppose 0 = n - 0*n + 3*a + 2, 2*n - 3*a - j = 0. Suppose 0*f + 8 = n*f. Solve -i = -3*i - f for i.
-1
Let j be (1 - 0) + 10/5. Suppose -10 = -b - 0*t + 4*t, 0 = j*b - 3*t - 12. Solve -3*u = b*u + 15 for u.
-3
Let k be 0 - -2 - (7 + -7). Solve 6*u = k*u + 4 for u.
1
Let b(u) be the first derivative of -u**2/2 - u + 1. Suppose 0 = -7*f - 55 + 13. Let r be b(f). Solve 1 = -w + r for w.
4
Suppose 4*q = 12 + 48. Let f be (4/3)/((-1)/(-3)). Suppose -i = f*i - 10. Solve i*u = -3*u + q for u.
3
Suppose 2*q + 71 = 5*u + 4*q, 2*q + 34 = 2*u. Solve -u = -0*g - 5*g for g.
3
Suppose -4*u = -55 + 7. Suppose 0 = -2*n + 9 - 1. Suppose 0 = -2*x + 7*x. Solve n*p + x*p = u for p.
3
Let z = -34 + 14. Let w = z + 11. Let i = 13 + w. Solve 2*g = g - i for g.
-4
Let z = 23 + -19. Solve -z*l = -6*l for l.
0
Let z(y) = -2*y**3 + 1. Let f be z(-1). Let a be ((-4)/2 + f)*-1. Let d = 3 + a. Solve 6 + d = -4*b for b.
-2
Suppose -13*v - 40 = -8*v. Let l be (-45)/(-24) + (-1)/v. Solve -l*q - 10 = 3*q for q.
-2
Let u(s) = -s**3 + 4*s**2 + 6*s - 5. Let n = -3 - -8. Let t be u(n). Suppose t = 4*c - 9 + 1. Solve c*x + 12 = 5*x for x.
4
Let r(m) = m**3 + 5*m**2 + 6*m + 10. Let a be r(-4). Solve a*c + 16 = -2*c for c.
-4
Let x be 24/132 - (-2)/(-11). Solve 2*h - 7*h + 25 = x for h.
5
Let v(b) = 5*b + 3 + 8 + 0*b. Let m(a) = -4*a - 10. Let l(n) = 6*m(n) + 5*v(n). Let p be l(7). Solve -3*i = -1 - p for i.
1
Let i = 0 - 0. Suppose -3*w - 2 + 5 = 0. Let c be -6*3/((-6)/w). Solve i*j - c = -j for j.
3
Let u be ((-2)/3)/((-2)/(-36)). Let t = u + 13. Solve m + t = -4 for m.
-5
Suppose 0 = -3*z - 5 - 1. Let y be 10/2 + z/(-1). Solve y*n = 2*n - 25 for n.
-5
Suppose -2 = -g - 4*g - 3*i, 5*g - 10 = -5*i. Let v(w) = w**2 + 2*w + 3. Let u be v(g). Solve u*n + 1 + 8 = 0 for n.
-3
Let u = 1 + 3. Suppose -u*l + 34 = 10. Let i = l - 4. Solve 3*w = -i*w for w.
0
Let w(j) = -21*j**3 - 2*j**2 - j. Let l be w(-1). Solve 2*q + 3*q = -l for q.
-4
Suppose -3*u = 5*d - 80, -2*u + 50 = 4*d + d. Let c be (-10 + 2)*-1 + -3. Solve c = 5*i + u for i.
-5
Let j(p) = -p**2 + 7*p. Let y be j(7). Suppose -2 = -z - y. Suppose 48 = z*l + l. Solve 0*i - l = -4*i for i.
4
Let y = -2 + 12. Solve -y = 5*a + 15 for a.
-5
Let q be (-4 - (-138)/24) + (-2)/(-8). Suppose -5*l - 5*u + 60 = 0, 0 = -4*l + 3*u - 4*u + 48. Solve y + l = -q*y for y.
-4
Suppose -5*g = -10*g. Solve g*a - 2*a = 6 for a.
-3
Let h(g) = -g - 2. Let w be h(-2). Let r be (w/(0 + 1))/2. Let j = 42 + -27. Solve r*l = 5*l + j for l.
-3
Let b(x) = x**3 + 6*x**2 + 2*x - 2. Suppose n = -0*n - 13. Let c = n + 8. Let t be b(c). Solve 3*r - t = 2 for r.
5
Let q(o) = o**2 - 7*o - 6. Let d be q(7). Let j(w) = w + 10. Let n be j(d). Solve -b + 2*b - n = 0 for b.
4
Suppose -3*k = 4*i - 17, -3*i + 8*k = 3*k - 20. Suppose 0*q + i*q = 10. Solve -5 = -q*h + 3 for h.
4
Suppose -19 = 6*p - 5*p. Let j = p - -22. Solve -1 = j*k + 5 for k.
-2
Suppose -2*i = 5*h + 15 + 4, -5*h - 37 = -4*i. Suppose 3*w - i*f - 43 = 2*f, -4*w + f = -29. Let a be w/(-21) - (-60)/14. Solve -a*g - 12 = -7*g for g.
4
Let k = -13 - -33. Solve -6*x + 2*x = k for x.
-5
Suppose -7 = -3*z + 2*z - s, 4 = s. Let j(u) = u**2 - 2. Suppose -k = -2*t + 9, -3*t + 16 = -k - k. Let w be j(t). Solve 2*y + w = z*y for y.
2
Let z = -5 - -8. Suppose v + z = 2*v. Solve -v*w + 7*w = -8 for w.
-2
Let u(k) = -k**2 - 6*k - 4. Let o be u(-5). Let t = 4 + o. Solve -3*i = -1 - t for i.
2
Suppose 6*d + 32 = 2*c + 2*d, 4*c - 38 = -5*d. Let m be (-24)/(-10) - 2/5. Solve m*b + b = c for b.
4
Let w(x) be the first derivative of -1/3*x**3 + 2 - 1/4*x**4 + 0*x + 1/2*x**2. Let v be w(-2). Solve 3*d - v*d = -3 for d.
-3
Suppose r + 2 + 4 = 0. Let l(u) = -u**3 - 5*u**2 + 8*u + 9. Let t be l(r). Let x be -6 - -19 - (1 + t). Solve -4*c = -c - x for c.
5
Suppose -5*l - 9 = g + 17, 3*l = -15. Let j(f) = -f**2 - 6*f - 3. Let b be j(-5). Let w = g + b. Solve -o = -w - 0 for o.
1
Let b be -21*(-1 + -3 + 3). Suppose 0 = -5*s - 5, -5*f + 3*s = 2*s - b. Let l be (-17)/(-5) + f/(-10). Solve 2 - 5 = l*j for j.
-1
Let z(w) = 0 + 4*w + 1 - 2. Let v be z(1). Let c = -3 + v. Solve 5*r = 5 - c for r.
1
Suppose -4*o + 5*o = 0. Let s = 1 - o. Solve -2*r - s + 7 = 0 for r.
3
Suppose -4*x - 1 = -i + 2, -x = 4*i + 22. Let b(s) = s**3 + 6*s**2 + 5*s + 3. Let n be b(i). Let r be (n + -3)/(0 - 1). Solve -u - 3 = -r*u for u.
-3
Let c = -21 - -21. Solve -m + 4*m - 15 = c for m.
5
Let a = -38 + 73. Suppose 21 = -5*r - v, 5*r + 13 = -4*v + 4. Let z be 28/a*r/(-2). Solve p = 3*p + z for p.
-1
Let u(c) = c**3 + 8*c**2 + 6*c - 4. Let h be u(-7). Suppose 0 = -h*l + 6 - 21. Let x be 0 - 0 - 5/l. Solve -o = -0 - x for o.
1
Suppose u - 2*i = 6*u - 24, 5*i = 10. Let m = -17 - -6. Let j = m + 16. Solve u*x - j = 7 for x.
3
Let d be (-1)/3 - (-4)/3. Let g be 11 - (1 + -2 + d). Let b = g + -1. Solve 3*y = y + b for y.
5
Let o(d) = -5*d + 4 - d**2 + 3 - 9. Let m be o(-4). Solve -m*r + 8 = -2 for r.
5
Suppose 3*v - 12 = -v. Let k(p) = -p - 5. Let c be k(-5). Solve c = v*j - 7*j for j.
0
Let u(q) = 2*q**2 + 3*q - 2. Let b be u(-3). Solve g = b - 2 for g.
5
Suppose 2*a - 6 = -4*s, 2*s = -2*a - 0*a + 8. Let w(m) = -8*m + 3. Let g(h) = -7*h + 4. Let q(d) = -2*g(d) + 3*w(d). Let n be q(s). Solve 1 - n = -2*u for u.
5
Let h be ((-15)/(-25))/(2/50). Suppose 4*f = -f + h. Solve l - f*l + 6 = 0 for l.
3
Let g(t) = t**3 + 7*t**2 + 4*t - 5. Let m be g(-5). Let y = m + -22. Solve -y*c + 0*c + 12 = 0 for c.
4
Suppose -5*s + 11 = 3*r - 2, 3*r = 3. Suppose s*n - 5 = -1. Solve -n*x = -1 - 9 for x.
5
Suppose 0 = 9*t - 24 - 12. Solve b + b - t = 0 for b.
2
Suppose 0 = -5*x - 0*t - t - 3, -t = -2. Let a be 1/(0 + (-3)/3). Let p be -1 + a - (x + -1). Solve p*s = 4*s for s.
0
Suppose 3 = 3*s - 12. Solve -s*j + 20 = -j for j.
5
Let h(j) = -j**3 + 10*j**2 - 14*j - 12. Let c be h(8). Solve -2*y + c = -0 for y.
2
Suppose d - 8 = -2*l + 8, 5*d + 10 = -l. Let y = 12 - l. Solve 3*i - 10 = -y*i for i.
2
Let m(z) = z**2 + 9*z - 6. Let y be m(-10). Let s = y + 2. Solve -5 = s*t - t for t.
-1
Suppose -f + 5*c = 0, -3*c + 0*c = 2*f - 65. Suppose 43 = 5*l - 4*i + 13, 5*i = -f. Solve 7 = -3*o - l for o.
-3
Let d be 1 - (2/(-2))/(-1). Suppose 0 = -3*h - d + 3. Solve h = o - 2 for o.
3
Let b(o) = 2*o - 4. Let y be b(5). Let w be y/(-15) + (-27)/(-5). Let x be 63/105 + (-114)/(-10). Solve 0 = -w*u - x - 3 for u.
-3
Suppose 0 = 4*c + 4*r - 40, c - 5*r + 10 = -2*c. Solve 0*n - c = 5*n for n.
-1
Suppose u = 3*c + 23, 43 = 5*u + 3*c - 0*c. Let q = 11 - u. Solve -m + q*m - 4 = 0 for m.
-4
Suppose 2*q = 3*u + 36, 2*q - 5*u = -3*q + 80. Suppose -3*y = -3 - q. Solve 5 + y = -5*n for n.
-2
Let f(o) = o**2 + 4*o - 8. Let w be f(-6). Solve -4*l = -6*l + w for l.
2
Let b be -5*(-5)/(-5)*3/(-5). Solve -8*x + b*x + 20 = 0 for x.
4
Let t = -26 + 30. Solve t*y = 4 + 8 for y.
3
Let b(t) = -t - 2. Let p be b(-2). Let q(v) = v**2 - 3*v + 5. Let s be q(5). Let f(c) = c - 9. Let u be f(s). Solve p = u*k - k for k.
0
Let q = -4 - -4. Suppose -2 = -d - q. Solve -2*x = d*x for x.
0
Let u be 5*((-14)/(-5) + -2). Solve u*k + 25 = -k for k.
-5
Let f be (3 - -1)/(1 - (-2 + 2)). Solve 0 = 5*w + 16 + f for w.
-4
Let b be (4/(-5))/((-4)/10). Suppose h + 3 = 3*x - 2, -2*h + 10 = 4*x. Suppose x*f - m - 20 = 3*m, -25 = -3*f + 5*m. Solve b*l - 2 = -f*l for l.
1
Let s(o) = -19*o**2 - 2*o + 1. Let g be s(1). Let 