-p*f + f = 8 for f.
-4
Suppose 4*a - 40 = -a. Let h be (-3)/(-12) - (-126)/a. Solve 2*n + h = 6*n for n.
4
Let n be (-6)/3 + -1 + 5. Solve -n*y = -y - 3 for y.
3
Suppose -5*n - 2*i = -7*i - 55, 4*n = -2*i + 44. Solve 14 + n = 5*j for j.
5
Let m be 2/(-8) + (-117)/(-36). Solve 2*c + m = -c for c.
-1
Suppose -v = -2*h + 13, 3*h = 5*h + 5*v - 43. Suppose 4*n = 2*w + 9 - 3, 4*n - h = w. Solve -7*q = -w*q - 20 for q.
5
Let m = -26 - -30. Solve -m*k = k - 25 for k.
5
Let z(l) be the second derivative of -l**6/144 + l**5/24 - l**4/6 - l. Let g(r) be the third derivative of z(r). Let y be g(-4). Solve 8*b - 3*b = -y for b.
-5
Let p = 36 - 32. Solve -h = -p*h - 3 for h.
-1
Let t = 5 - 3. Suppose 12 + t = 4*h - c, -5*c = -5*h + 10. Suppose -h = -3*z + 2. Solve 2*j = -z*j - 12 for j.
-3
Suppose -4*n + 10 = 3*b, 12 = -5*b + 2. Suppose 6 = n*h - 2. Suppose -p = 3, -p = h*m + p. Solve m*k + 1 = 13 for k.
4
Let q be 3*-2*(-1)/(-6). Let m = 1 - q. Solve -5*u + m*u = -15 for u.
5
Suppose 4*z = 2*b - 14, b + 2*z + 5 + 0 = 0. Let h be b*2*24/16. Suppose 0 = 6*o - h*o. Solve -4*j - j = o for j.
0
Let c(n) = -n**2 - 7*n + 2. Let o be c(-7). Suppose -2 = -i + o*m, i + 0*i + 3*m - 7 = 0. Solve i*k = 2*k + 4 for k.
2
Suppose -2 = -4*h + 10. Suppose 2*n + 13 = 1. Let u be 0*h/n*1. Solve u = 3*c - 0*c - 15 for c.
5
Suppose -p - 1 = -5. Let n = 4 - p. Suppose l - 6 + 3 = n. Solve 2*v = v + l for v.
3
Suppose w - 2 = -w. Suppose 0 = -0*m - m - 2*y + w, 5*y = -2*m - 2. Solve 4*x + m - 25 = 0 for x.
4
Let v = 4 - 2. Let d(u) = u**2 + 5*u + 4. Let a be d(-4). Solve -x - v + 1 = a for x.
-1
Suppose 5*d + 62 = 3*a, a = 6*a + d - 94. Let m = a - 13. Let c(u) = u**2 - 5*u - 2. Let n be c(6). Solve 2*g + n = m*g for g.
1
Suppose -s - 11 = -3*q, -2*s - 12 = 2*q - 3*q. Let h be 2/s + (-44)/(-10). Suppose -p + 3*b - 3 = 0, 5*p - 2 = 4*p - 2*b. Solve p = -3*z + 5 + h for z.
3
Let b(f) = 2*f + 13. Let d(n) = n. Let r(g) = b(g) - 3*d(g). Let o be r(9). Solve o*l - 5 = -l for l.
1
Let t be (-4)/10 + 128/20. Suppose o = -4 + t. Solve -7*l + 15 = -o*l for l.
3
Suppose -2 = -4*l - 18. Let c(z) = z**2 + 4*z + 2. Let k be c(l). Solve 4*a + k = 2*a for a.
-1
Let u(x) = x**3 - 4*x**2 + 2*x + 4. Let y be u(3). Let m = -1 + 1. Suppose -5*i + 0*i = m. Solve w = -i*w + y for w.
1
Suppose 5*r - 2*r = 5*d + 26, r + d = -2. Solve 4*z = r + 10 for z.
3
Let g(m) = -m**3 - 8*m**2 - 10*m - 10. Let o be g(-7). Let f = -10 + o. Let w(n) = 4*n**2 - 1. Let z be w(f). Solve 0*p = -z*p for p.
0
Let a(x) = -x**2 + 1. Let m be (2/(-1))/(-6)*3. Let w be a(m). Solve -4*j + j + 9 = w for j.
3
Let n(p) = -p**3 + 3*p**2 + p + 1. Let m be n(3). Suppose -m*k = -5*k - 2. Let v(t) = t + 2. Let o be v(k). Solve -x + 2*x - 4 = o for x.
4
Let t = 194 - 174. Solve -t = -0*z - 5*z for z.
4
Let t be -1 + 8/6 - 102/(-18). Solve -5 = 7*f - t*f for f.
-5
Suppose 5*s - 3*w + 6 = 0, 2*s - 1 - 1 = -w. Solve 3*v - 9*v + 12 = s for v.
2
Let i be (0 - 8/(-5)) + (-4)/(-10). Solve i*j = j + 2 for j.
2
Let v(z) = 6*z - 1. Let g be v(1). Solve g*m = 7*m for m.
0
Suppose -5*c + 11 + 2 = -2*j, 3*j = 4*c - 9. Let s(r) = -3*r + 2 - 2 + r**2. Let a be s(c). Solve -3 = z - a*z for z.
-3
Suppose -h - 3*h = 3*p - 32, -7 = -3*h + 2*p. Solve h*b - 4 + 24 = 0 for b.
-4
Let f = -17 - -20. Solve 0*z + f = -z for z.
-3
Let f be 6 + (-3)/9*0. Let i = f + -6. Solve b - 5*b - 16 = i for b.
-4
Suppose -2*r + 1 + 35 = 0. Let n = r - 13. Solve -4 = -a - n for a.
-1
Let l be -1*(-2)/(8/68). Suppose -5*r + l = 4*v - 5, 0 = -3*r + 2*v. Solve -3*x - 13 = r for x.
-5
Let q(v) = -2*v + 13. Let o be q(3). Solve -6*n = -o*n - 2 for n.
-2
Suppose 3*w = -o + 56, -16 - 16 = -2*w - 2*o. Let i be -5*(-8)/w - 0. Suppose -35 = -2*g + 5*a, g + 25 - 10 = -4*a. Solve -3*h - g = -i for h.
-1
Suppose 2 = 3*a - 4. Suppose -3*y + 2*c + 6 = 0, a = c - 1. Solve -y*p - 10 = p for p.
-2
Let k be (-20)/(-12) - (-3)/9. Solve k*d + 10 = 4*d for d.
5
Let l(t) = -1 - 11*t + 10*t + 10. Let i be l(4). Let s(q) = -q**3 + 3*q**2 + 5*q - 2. Let o be s(4). Solve 3*g - o = -i for g.
-1
Suppose 3*d = 4*d - 2*b - 8, -d - 2*b = -8. Let n(t) = t - 8. Let z be n(d). Suppose 2*j + 3*j - 4 = 2*c, z = -4*j + c + 5. Solve j*i + 4 = -2*i for i.
-1
Let g(t) = -t**3 - 7*t**2 - 5*t + 8. Let c be g(-6). Suppose 5*d - 23 = 4*w - c*w, 8 = -2*w. Let v be (2 - d - -3) + 1. Solve 0 = j + v*j + 4 for j.
-1
Let z = -14 - -16. Let y = z - -5. Solve y = 5*p + 2 for p.
1
Let j = 21 + -13. Solve 0*i = -2*i - j for i.
-4
Suppose 2 = -6*s + 2. Solve -5*f + 9 + 6 = s for f.
3
Suppose 3*r - 3 = -u - 1, -5*r + 5*u + 30 = 0. Suppose 5*x + 28 = -r*s, 4*x + 12 = 5*s - 17. Let b = x + 6. Solve -y = -b + 4 for y.
-4
Let q(t) = -t**3 + 10*t**2 - 10*t + 11. Let z be q(9). Solve 0 = -y - z + 3 for y.
1
Let z(l) = l**3 - 6*l**2 - l + 8. Let v be z(6). Let c be -2 + 0*v/(-6). Let x = c + 3. Solve -3*u - x = -13 for u.
4
Suppose -8 = 5*s + w, -9 = -w + 4*w. Let n = 6 - s. Solve 4*a - 3 = -n for a.
-1
Let s = -14 + 16. Solve 4*j - s*j = -4 for j.
-2
Let d(c) be the first derivative of -c**4/4 - 2*c**3/3 - c**2/2 - 1. Let n be d(-1). Solve n*o - 16 = -4*o for o.
4
Let n(t) = 6*t**3 - t. Let i be n(1). Let y = 114 + -103. Solve -y + i = -3*a for a.
2
Let w = 4 - -1. Suppose -w*v + 14 = -2*v - s, -s = 5*v - 26. Suppose -11*x + 1 = -10. Solve -v = 4*i - x for i.
-1
Let n be (-2)/4 - 10/(-4). Suppose 5*a + 10 = 2*a + n*c, 3*a - 5 = -c. Solve -z = -a*z for z.
0
Let j(m) = 2*m. Let t(p) = -2*p - 1. Let l(n) = -5*j(n) - 6*t(n). Let y be l(-7). Let a = y - -13. Solve -a + 1 = 2*k for k.
-2
Let l = 20 - 12. Solve 3*t - 4 = l for t.
4
Let p = 34 + -55. Let w = p - -6. Let y be (1 - 0)/((-3)/w). Solve y*j + 5 = -0 for j.
-1
Let x = -3 - -5. Let y be (-8)/(-3)*3/x. Suppose -4*z + 16 = y*h, 7*z - 8 = -h + 2*z. Solve -h*k - k = 12 for k.
-3
Suppose -q = -1 - 4. Suppose q*d - d - h = 9, 0 = -d + 5*h + 26. Suppose j - 1 = d. Solve 4 = -x + j for x.
-2
Suppose 5*t - 9 - 16 = 0, 0 = 5*s + 5*t - 35. Suppose y = -s*y + 15. Suppose -4*l - 79 = -y*k, -4*k + 11 = -3*k + 4*l. Solve -5*h = -k - 0 for h.
3
Let a = -19 - -13. Let s(d) = d**2 + 6*d + 2. Let i be s(a). Suppose -4*f - 3*z + 1 = -i*z, -z = f - 1. Solve -2*l + 0 - 2 = f for l.
-1
Suppose -4 = -4*a, 4*x - 4*a = -23 + 55. Solve 0 = -4*t - x - 3 for t.
-3
Suppose 3*d - 2*m = 60, -2*d - 6*m + 40 = -m. Solve -4*j + d = j for j.
4
Let a(p) = -2*p + 17. Let g be a(7). Solve b = g - 1 for b.
2
Suppose z = -b + 2, -3*z = b - 17 + 13. Solve -4*v - 15 = z for v.
-4
Let f(s) = -s - 1. Let q be f(5). Let v be q*(-2)/9*-3. Let n be v*-5*2/8. Solve 0 = -4*p + 17 - n for p.
3
Let c be 4/10 - 18/(-5). Solve -3*g = -5*g + c for g.
2
Let s = 30 + -6. Suppose 0*d = 3*d - s. Suppose -3*r + 0*r = -6. Solve -r*l - 2*l + d = 0 for l.
2
Let y = 63 - 63. Suppose -6*t + 10 = -t. Suppose 14 = 7*j - 2*j + 3*x, x = -t. Solve y = -g - g + j for g.
2
Let k be 2/10 + 3/(-15). Suppose -2*a + 2 + 2 = k. Solve a*d + 0*d = 0 for d.
0
Suppose 0 = 3*u + 1 - 7. Solve a + u = -a for a.
-1
Suppose -x = -2*x - 4, 0 = -2*a - x + 6. Let u be (0 + 3)*a/3. Let m(b) = 2*b - 1. Let p be m(u). Solve 4*v = v + p for v.
3
Let d(h) = -h + 1. Suppose 3*x - 4*l + 5*l - 24 = 0, -l = 3. Suppose 2*t - 5*j - x = 0, 5*t + 6 = j + 2*j. Let a be d(t). Solve -3*c = a - 1 for c.
-1
Suppose 5*y = 3*y + 4*y. Solve y = -3*r - 12 for r.
-4
Let u = 21 - 6. Let f = -11 + u. Let q(v) = -v**2 + 4*v + 1. Let n be q(4). Solve 13 = f*t + n for t.
3
Let k(l) be the first derivative of -l**4/4 + 2*l**3 + l**2 - 6*l - 2. Let s be k(6). Suppose p - s*p = -15. Solve 0 = p*f - 0*f - 12 for f.
4
Let f be 12/(-20) - (-58)/5. Solve -4*b - f = 5 for b.
-4
Suppose i = 0, 20 = 4*q - 4*i + 3*i. Solve g - 3 + q = 0 for g.
-2
Suppose o = -o + 4. Solve -o*x - 2*x - 20 = 0 for x.
-5
Suppose 42 = 5*y - 123. Let u be 2/1 + (1 - -1). Let f = 10 - -3. Solve -y = u*x - f for x.
-5
Let o = -5 + 10. Let x be (-290)/(-90) - 2/9. Solve -2*q = -o*q + x for q.
1
Let i = -14 - -10. Let z be (3/6)/(i/(-24)). Solve 0 = 3*y - 0 + z for y.
-1
Let z be -3 + (-1 - -2*10). Suppose 5*u - 17 = -d, -5*u + z = 2*d - 3. Solve -u*n - n = 20 for n.
-5
Suppose -3*l - 10 = -3*u - 2*u, 2*l = 2*u - 4. Let a = 2 - u. Solve -2*o + 0*o - 2 = a for o.
-1
Suppose -3*h + 2 = 5*o - 14, 0 = 4*h + 2*o - 40. Solve -x - 2*x = h