(-16). Solve -f - j = -2*f for f.
2
Suppose 3*t - f - 26 = -3*f, 2*t - 8 = f. Let n = t - 6. Solve n*q - 6 = -3*q for q.
2
Suppose 3*y = 2*i + 2*i + 20, -4*y = -4*i - 20. Solve -5*p + 2 + 23 = y for p.
5
Suppose 0 = -2*l - 0*l. Suppose s - 6 = -l*s. Suppose 2*m = -m + s. Solve -f - m = -2*f for f.
2
Let r = -72 + 86. Solve -r*p = -13*p - 4 for p.
4
Let t(a) = a**2 - 8*a - 6. Let g be t(9). Suppose 0 = -g*u - 11 + 17. Solve 3*w + u = 11 for w.
3
Suppose -139 = -5*y + 3*s - 20, -2*y = 3*s - 56. Solve y = -w + 6*w for w.
5
Suppose g = -3*g + 128. Solve 4*b - g = -12 for b.
5
Suppose 5*f = 2*x - 0*x + 14, 5*f - 11 = 3*x. Solve -4*n + 3*n = f for n.
-4
Let o be 2*15*1/9*3. Solve 7*z = 9*z + o for z.
-5
Let c = -1 + 6. Suppose s = 3*f, -f = -3*f. Let p be (2/1)/4*s. Solve 3*i - c - 4 = p for i.
3
Let m(b) be the third derivative of b**5/60 - b**4/8 - 7*b**3/6 + 3*b**2. Let p be m(5). Suppose 0*y + 2*d = p*y - 15, -3*d = 0. Solve y = -2*h + 3 for h.
-1
Let j = 13 + -1. Let d be 10/6 - 7/(-21). Solve j = d*v + v for v.
4
Let o(k) = -4*k. Let n be o(-3). Let r(w) = -3*w + 2. Let c be r(2). Let x(a) = -a**3 - 3*a**2 + 2*a - 5. Let j be x(c). Solve -h + n = j*h for h.
3
Let m(l) be the second derivative of 4*l**3/3 - 3*l**2/2 + 2*l. Let g be m(4). Suppose 2*u - 3*j - g = -3*u, 0 = -2*j + 4. Solve u*v = 2*v for v.
0
Suppose 5*v - 50 = -5*g, v - 20 = -2*g - 0*v. Solve 0 = 4*k + k - g for k.
2
Suppose -3*i = 4*r - 0 - 12, 5*r = -3*i + 15. Solve 0*y = -r*y + 9 for y.
3
Let k = -3 - 1. Let w(l) = l**3 + 4*l**2. Let x be w(k). Suppose 20 = -4*j - 5*v, 5*j + 1 = -v - 3. Solve j = -x*y + 2*y - 8 for y.
4
Suppose -3 = -3*j - r - 2, -2*r - 8 = j. Let k = 4 - j. Solve -10 = 3*i + k*i for i.
-2
Suppose -4*d = -5*d + 3. Suppose d*z - 20 = -z. Solve 0 = -5*o - z for o.
-1
Let p = -13 + 9. Let a be (6/p)/(6/(-8)). Solve f - 3 = -a*f for f.
1
Suppose 3*g - o = 55, 4*o - 9*o + 65 = 5*g. Let d = -15 + g. Solve d*c = -2*c for c.
0
Suppose 116*u - 1 = 115*u. Let o be (-6 + 0)*(-2)/3. Solve o*z + u + 3 = 0 for z.
-1
Let d = 1 + -5. Let l be ((-3)/4)/(d/(-16)). Let z be l*(-10)/(-4)*-2. Solve 3*p + 2*p = z for p.
3
Let x(c) = -c**2 + 5*c - 1. Suppose 2*g + 4 = -s - 3*s, -3*s = 5*g - 4. Let y be x(g). Let p = y + -1. Solve p*a + 10 = -a for a.
-2
Let d(l) = 3*l**3 + 3*l**2 + 4*l + 3. Let t be d(-3). Let r be (-46)/(-14) - (-18)/t. Solve 14 = r*i - 1 for i.
5
Let l = -4 + 4. Suppose l = -q - q. Suppose -d + 4*t - 1 = 0, 3*d - t = -q*d + 41. Solve 0 = -f + 4*f - d for f.
5
Let r = -53 - -68. Solve 0*j = -5*j - r for j.
-3
Let w be 4 + (-2 - -2 - 1). Let x(q) = -w + 4 - 3*q + 2*q + 9. Let s be x(0). Solve s = r + r for r.
5
Suppose 0 = -d + 5*x - 15, -5*x + 5 = d - 10. Solve 0 = -d*m + m - 5 for m.
5
Suppose 3*f = -5*p + 9, -29 = -4*p + 3*f - 11. Solve -p*d + 4*d = 0 for d.
0
Let t = -116 + 120. Solve 0*k - 4*k + t = 0 for k.
1
Let p be 3 + (-2 - (-2)/2). Suppose -6*b = -p*b. Let k be (0 - 0)/(4 + -6). Solve k = -b*r - 5*r - 15 for r.
-3
Suppose 3*c - 5*c + 10 = 0. Let v = c - 3. Let b(a) = a + 6. Let s be b(-3). Solve -v = y - s for y.
1
Let h(c) be the third derivative of c**6/120 - 13*c**5/60 + c**4/24 - 5*c**3/3 - 3*c**2. Let o be h(13). Solve 4*g - o = 1 for g.
1
Suppose -3*t - 12 = -3. Let u(j) = -j**3 - j**2 + 2*j + 2. Let y be u(t). Let p be 0 + 1 + y + 3. Solve 4*f = -p + 2 for f.
-4
Let w(y) = -y**3 - 6*y + 8. Let c(o) = -o**3 - 7*o + 9. Let g(d) = -5*c(d) + 6*w(d). Let u be g(0). Let a be ((-1)/(-1))/(-4*2/(-56)). Solve a = u*f + 19 for f.
-4
Let j be (-6)/(-15) + (-258)/(-5). Let h be (-8)/(-28) + j/14. Suppose v + 13 = d, d + 0*d = -h*v + 23. Solve -4*g + d = -g for g.
5
Let g = 23 + -20. Solve -1 + 4 = -g*y for y.
-1
Let x be (0/2)/((-4)/6*-3). Suppose 5*s = 31 - 6. Solve x = -s*q - 0*q for q.
0
Let r(c) = c**2 + c - 3. Suppose 0 = -3*y - 3*o, -4*y + o = -0*o + 15. Let a be r(y). Suppose 4*l - 5 = 3. Solve -3*d + l*d = a for d.
-3
Let g(p) = p**3 + 5*p**2 - 4. Suppose 5*s + 20 = -0*s. Let b be g(s). Solve 0 = -0*r - 3*r - b for r.
-4
Suppose 15 = 8*n - 3*n. Solve 0*c - 12 = n*c for c.
-4
Let t(g) = g + 12. Let f be t(-8). Solve 15 + 1 = f*w for w.
4
Suppose 0 = h - 5*h + 76. Solve 0 = -5*j - 1 - h for j.
-4
Suppose -2*n - 16 = -78. Suppose -3*t - 5*v + n = 0, 4*v - 18 = -3*t + 4*t. Solve t + 3 = c for c.
5
Suppose 4*g - 15 = 5. Let a(h) = h**2 - 6*h + 5. Let j be a(g). Suppose 0 = -2*s - 2*f - f - 3, -7 = -2*s - f. Solve s*i - i + 15 = j for i.
-3
Let z(k) = -k + 15. Let m be z(9). Solve -m*i = -2*i - 20 for i.
5
Let j be 4/6*(3 - 0). Let c(h) = h**3 - 4*h**2 + 3*h + 2. Let z be c(3). Solve -z*y + y = j for y.
-2
Suppose 0 = -4*q + q + 5*q. Solve -3*s - 3 = -q*s for s.
-1
Let y = 37 + -35. Solve -2 + 0 = -y*t for t.
1
Let t be (0/3 - 1)*1. Let f = t - -1. Solve f*i + 2 = i for i.
2
Let g be (3 - (-24)/1) + -3. Let s be (-6)/8 + 18/g. Solve 3*t + s = -9 for t.
-3
Suppose -2*r = -6 - 4. Solve r*t = 2*t + 12 for t.
4
Let x(v) be the third derivative of -v**4/8 - v**3/2 + v**2. Let t be x(-2). Solve n + 0 = t for n.
3
Let x(y) = y + 7. Let q be x(-3). Solve 3*b = b - q for b.
-2
Suppose j + 68 = 5*j. Let x = j - 1. Suppose 4*t = 5*r + 21 - 5, r - x = -4*t. Solve r = -2*g - 2*g for g.
0
Let l(q) = -q**2 - 6*q + 7. Let o be l(-6). Let s be -1 + (-7)/(o/(-4)). Solve -t - 2*t + s = 0 for t.
1
Suppose -3*t + 3 = 5*k + 8, -5*k - 5 = -t. Solve t = -4*s + 1 - 13 for s.
-3
Let j = -18 + 20. Solve -3*t + j = -2*t for t.
2
Let f be 1/3 - 28/(-6). Suppose 0 = -f*z + 3*z - 4. Let h be (-22)/(-6) - z/(-3). Solve -h*r = r for r.
0
Suppose 0 = -4*m + 3*m - 2. Let p be (-2 + 2)*2/m. Solve p = -6*t + 3*t for t.
0
Suppose 2*i + i - 15 = 0. Let b(m) = -m**2 + 7*m. Let l be b(7). Solve -i*f = -l*f + 15 for f.
-3
Suppose -r + 9 + 24 = 2*l, -78 = -5*l - r. Let w = -9 + l. Let b = w - 4. Solve 4*v = b + 2 for v.
1
Let h be 4/(-6) + 14/3. Let s = h - -1. Suppose -r - k - k = -8, -s*r = -5*k + 5. Solve -r*d + 1 = -1 for d.
1
Suppose 11 = 6*m - 5*m. Solve 0 = -5*k - 1 + m for k.
2
Let q be ((-3)/2)/(12/(-32)). Let h = q - 16. Let c = -6 - h. Solve a + 2*a + c = 0 for a.
-2
Suppose 2*c + c = 0. Let p(u) = -4*u - 3 + 7 + 8*u - u**2. Let b be p(3). Solve c = -4*z - 3 + b for z.
1
Suppose 4*b = 2*w + 16, -w - 24 = 2*w - 4*b. Let d = w - -11. Solve 0 = -h + d*h + 4 for h.
-2
Suppose -2*k + 5 = 1. Solve -k = -5*v + 4*v for v.
2
Let p(g) = g**3 - 4*g**2 + 2*g + 3. Let k be p(4). Solve -k = -3*z + 1 for z.
4
Let q = -20 + 25. Solve 0*y = 5*y + q for y.
-1
Let i(g) be the first derivative of -2*g**3/3 + g**2 - 2. Let w be i(2). Let c = 7 + w. Solve c = -2*d - 3 for d.
-3
Let i(l) = 2*l**2 - 3*l - 3. Let n(v) = 1 - 1 - 7 + 2*v. Let z be n(5). Let s be i(z). Solve -9 = 3*f - s*f for f.
3
Let n(i) = -i + 10. Let h be n(0). Solve -h = 4*w - 2*w for w.
-5
Let w = 4 - 3. Suppose 3*y + 2*y = 4*t - 25, -t = 5*y. Let r be y*1 + (6 - 0). Solve -2*j + w = -r for j.
3
Let s(f) = -f**2 - 7*f + 9. Let w be s(-7). Let i(t) = t - 4. Let g be i(w). Solve 0 = g*h - 2*h for h.
0
Suppose -4*a = x, 2*a = -5*x - 2*a. Suppose x = -5*i + 53 + 7. Solve i = 6*z - 2*z for z.
3
Suppose 3 = 3*x - 9. Solve -h + 3 = x for h.
-1
Suppose 0*h - 5*h = 0. Solve 0 = -h*n - 3*n + 15 for n.
5
Suppose 0*z + z = -8. Let q be (-4)/z*4 - 2. Solve 4*k + 16 + 0 = q for k.
-4
Suppose 0 = -4*g + 5 + 11. Solve -3*q = -g*q for q.
0
Let z be (-2 - (-6 - -4))/5. Solve 6*r - 18 + z = 0 for r.
3
Let v = 4 + -1. Suppose v = -o + 2*o. Solve 0 = -2*u + o*u + 1 for u.
-1
Suppose 2*i + 4 - 28 = 0. Solve i = 2*y + y for y.
4
Let u = 37 - 26. Solve 2*d = u - 3 for d.
4
Let j(k) = k**3 - k + 20. Let p be j(0). Solve 0 = -9*g + 4*g + p for g.
4
Let n = 8 + -6. Let i(x) = -x - 8. Let o be i(-6). Let g be o/(-6) + 22/6. Solve n*c - c = -g for c.
-4
Let i(k) = -k**3 - 3*k**2 + 5*k. Let t be i(-4). Let m(a) = a**2 + 4*a + 1. Let o be m(t). Solve 0 = d - 3 - o for d.
4
Let n(c) = -1 + c - 3 - c**3 + 4*c - 5*c**2. Let a be n(-6). Solve 0*z + a = -z for z.
-2
Let a(o) = o + 4. Let k be a(-2). Solve u = k*u - 1 for u.
1
Suppose -5*s + 2*f = -14, s - 4*f + 3 = 13. Suppose -d + 8 = -2*m, -s*m + 4*m + 6 = 0. Solve -3*x - 5 = -d*x for x.
-5
Let g be 54/135 - -19*4/10. Suppose -4*z + 9*z - p - 16 = 0, z - p = 4. Solve 0 = -z*i + g*i + 5 for i.
-1
Let o be ((-3)/6)/(1/(-18))