olve l*n = f*n - 5 for n.
5
Let k = -1 + 3. Suppose 0 = -4*x + 4*c + 28, c = -k*x - 3*c - 4. Suppose -4*f = 5*j + f + 5, x*f + 12 = 0. Solve 4*r = -14 + j for r.
-3
Suppose -2*t + 4*g = 2, 13*t = 10*t - g + 11. Solve t*r - 11 = -5 for r.
2
Let p(d) = 8*d - 4. Let a be p(2). Let q(f) = -f**2 + 13*f. Let v be q(a). Suppose -l + 8 = 3*x, -4*x + 2*x = 2*l - 12. Solve -l*j + 13 = -v for j.
5
Let a be (-2639)/(-21) + 2/(-3). Let x = 11 - 7. Suppose -g = x*g - a. Solve -l = 4*l + g for l.
-5
Suppose -14*p + 136 = -6*p. Solve -p + 25 = 2*h for h.
4
Let j be 2/6 + 1 + (-1)/3. Solve -2 = -y + j for y.
3
Let d = 33 + -29. Suppose 11*w = d*w. Solve w = -3*t - 6 for t.
-2
Let b(l) = l + 18. Let q be b(-13). Suppose -2*v = -q*v - 4*t - 13, t = 3*v - 7. Let a be v*0*3/(-9). Solve -3*z + 5*z + 4 = a for z.
-2
Suppose 3*j - 9*f = -11*f + 16, -j - 4*f = -2. Solve j*r + 26 - 2 = 0 for r.
-4
Let g(a) = -a**2 + 5*a + 11. Let i be g(5). Suppose -6*y - 20 = -i*y. Solve -4*j + 8 = -y for j.
3
Let o be -6 + -1 + (0 - (-2 - -5)). Let l(f) = -f**3 - 10*f**2 - f - 8. Let y be l(o). Solve 0*i - y*i = 0 for i.
0
Let d be 2*-1*-11*(-6)/12. Let h be 3/(-2) - 6/12 - d. Solve -h = -5*c + 11 for c.
4
Let y be (-22)/(-1)*5/5. Solve -6*a = -y - 2 for a.
4
Suppose -64*r + 40*r + 192 = 0. Solve -r = -2*b - 6 for b.
1
Let q be -8 + 1 - (9 + -41). Solve -3*m = 19 - q for m.
2
Let w be (-2)/8 + (-58)/(-8). Suppose 5*y + 3*p - 12 = 0, -3*y - 2*p + w*p + 14 = 0. Suppose 42*z + 3 = 45. Solve -o - z + y = 0 for o.
2
Let f(n) = -8*n - 16. Let i be f(-6). Suppose i = 10*v - 6*v. Solve v = 3*d - 7*d for d.
-2
Let s be 1/3 - (-53)/3. Let k(h) = -11*h - 49. Let l be k(-6). Suppose -20*w + l*w = -s. Solve w = -i - i for i.
-3
Let b(d) be the first derivative of d**4/4 + 2*d**3/3 - d**2/2 + 6*d + 12. Let h be b(-3). Solve h*f - 2 = -f for f.
2
Suppose 54*b - 2314 + 46 = 0. Solve -10 = -13*p + b for p.
4
Suppose 5*m = -b + 4*b + 9, 4*m - 6 = 3*b. Suppose 2*v - 8 = -b. Solve -v*f = -f for f.
0
Let z(o) = 5*o**2 - 15*o - 4. Let v(t) = -t**2 + 3*t + 1. Let g(x) = -11*v(x) - 2*z(x). Let i be g(-4). Let n = 138 + -134. Solve 0 = n*f + f + i for f.
-5
Suppose -3*w = -2*w. Suppose 2*y + 4 + 4 = w. Let n be (-16*2)/y - 3. Solve -2 = n*p - 3*p for p.
-1
Let y be (-26)/(-4) - 1/2. Suppose 25 = -z + y*z. Solve 4*c - 7 - z = 0 for c.
3
Let h = 15 - 11. Let g be (-8 - -9)*(2 + 0). Suppose -10*v + 5*v - z + 4 = 0, -g*v + 5*z - 20 = 0. Solve -k + h*k = v for k.
0
Suppose 0 = -4*l + 19 + 1. Suppose h - 4*a + 16 = -9*a, l*h - 32 = 3*a. Solve -8 = -2*i + h*i for i.
-4
Let t be ((-48)/(-8) - 9) + 6. Solve g - t = -4 for g.
-1
Suppose 26 = 89*a - 87*a. Solve 17 = q + a for q.
4
Let l(y) = y**2 - 14*y + 18. Let w be l(13). Suppose -w*c + 3*z = -26, c = -3*z - 1 - 1. Solve 2*i + c = 2 for i.
-1
Let h(g) = g**2 - 7*g - 13. Let y be h(8). Let q be 1/(y + 11/2). Solve -5*s = -q*s for s.
0
Suppose 5 = 5*t + 25. Let a = t + 11. Let y(i) = i**2 - 7*i + 9. Let p be y(a). Solve p - 3 = 2*b for b.
3
Let c = 136 + -132. Solve 0 = -o - 0*o + c for o.
4
Suppose -w + 10 = -0*w. Let l(f) = f + 5. Let y be 55/(-20) - 1/4. Let x be l(y). Solve w = 3*v + x*v for v.
2
Let f be 2*((-8)/3)/((-4)/6). Solve -4*n - 28 = -f for n.
-5
Let d(g) = -g**3 + 8*g**2 + 11*g - 14. Let w(q) = -q**2 + 7*q - 1. Let n be w(5). Let b be d(n). Solve -b*o + o - 12 = 0 for o.
-4
Let v(o) = -17*o - 38. Let z(m) = 6*m + 13. Let p(t) = 3*v(t) + 8*z(t). Let i be p(-5). Solve 10 + 5 = -i*g for g.
-3
Let h(g) = -g**3 - 6*g**2 - 4*g + 9. Let y = 46 + -51. Let z be h(y). Solve 0*j + z*j = -8 for j.
-2
Let s(o) = -3*o - 4. Let h = -4 + 1. Let z be s(h). Suppose 2*u = -u + 6, 16 = z*c - 2*u. Solve x = c*x for x.
0
Let x(g) = -3*g**2 - 19*g - 5. Let p be x(-6). Let l be 6*(-6)/(-9)*p. Solve 0 = l*j + 4 for j.
-1
Let q(k) = -k + 1. Let v be q(-4). Let x = 65 + -64. Suppose -7 = -a - 2*f - x, -f + 3 = -4*a. Solve 5*b + a = v for b.
1
Let y(h) = 3*h**3 + 3*h**2 - h - 1. Let k be y(1). Solve 1 + 3 = -k*t for t.
-1
Let y = -16 - -18. Suppose y*d - 10 = -0*d. Solve -d*i + 10*i = 0 for i.
0
Suppose 0 = 2*n + 10, -6*a - 77 = -8*a + n. Solve -18*h - 54 - a = 0 for h.
-5
Suppose -d - 1 = 2*h + 1, -4*d - 8 = 0. Suppose 5*j - t - 12 = h, j - 4 = -0*t + t. Solve 0 = o - j - 1 for o.
3
Suppose -12 = -l - 2*l. Let j be 33 - 20 - (9 + -1). Solve j = 3*o - l for o.
3
Let t = 64 + -107. Let g = -43 - t. Solve g = f - 4*f - 12 for f.
-4
Let s(y) = 7*y - 48. Let i be s(7). Suppose -1 = -b + i. Solve c + 0 = b for c.
2
Let r = 1286 - 1286. Solve 3*q + 6 = -r*q for q.
-2
Let s be ((-96)/(-10))/((-39)/(-130)). Let x = -27 + s. Suppose 21 = m - x. Solve -m + 11 = -3*l for l.
5
Let h(t) = -25*t - 60. Let n be h(-3). Solve -2*f - 7 = -n for f.
4
Let o(j) = -8*j + 17. Let g be o(9). Let s = g - -57. Solve s*q = 3*q for q.
0
Let w be -2 + 15/(-18) + 3/(-18). Let y(o) = 2*o**2 + 7*o + 5. Let i be y(w). Solve 4*k - i*k = 0 for k.
0
Let j(u) = -7*u + 111. Let p be j(15). Solve -p*h = -1 + 19 for h.
-3
Suppose -3*t - 4*d = -2*t - 11, -3*t - 2*d = -23. Let n(r) = 78*r - 1480. Let a be n(19). Solve t = -a*u + 3 for u.
-2
Let r(z) = z**3 - 18*z**2 - 19*z + 2. Let p be r(19). Solve 0 = -p*k - 2 - 8 for k.
-5
Let a be 2/(-4)*112/(-4). Let g = a + -4. Suppose -5*r + 10 = -g. Solve m + m - r = 0 for m.
2
Let r(z) = z**2 + 21*z - 107. Let g be r(-25). Let t be (2/(-1) + 0)*1. Let s be (g - -8) + (t - -1). Solve s = 3*c + 15 for c.
-5
Let j = 84 + -65. Suppose -j*h = -24*h + 25. Solve -o = -6*o + h for o.
1
Suppose -12 = 3*s - 3*x, -x + 8 = 4. Let n(v) = 5*v + 20. Let z be n(-4). Solve l + 1 + s = z for l.
-1
Let v(o) = -o**2 + 4*o - 15. Let t(f) = -3*f**2 + 13*f - 44. Let c(g) = 6*t(g) - 17*v(g). Suppose 6*y - 45 = y. Let n be c(y). Solve -b + n*b - 2 = 0 for b.
-2
Suppose 26*h + 262 = 678. Solve -h = 4*a - 0*a for a.
-4
Suppose -4*t = -5*s - 46, 27*s = -5*t + 22*s + 35. Solve -t*i + 3 = -33 for i.
4
Let i be (-1)/(3/(-39)) - -2. Suppose 0 = q - i + 3. Solve -3 = -3*x - q for x.
-3
Suppose 3*j - 2 = -5*g - 5, 0 = 4*g + 2*j + 2. Let x be (11 - 5)*((-2)/(-2) + g). Solve -2*k + 4*k = x for k.
3
Suppose 10 = 5*i - 10. Let k be 1 - (-15)/3 - 2. Let s(a) = a**2 + a. Let x be s(-2). Solve i = x*l - k for l.
4
Let y = -27 + 30. Let n(w) = w**3 - 2*w**2 - 2*w - 3. Let i be n(y). Solve f = -i*f + 5 for f.
5
Let p(f) be the first derivative of -f**4/2 + 3*f**3 + 7*f**2/2 - 10*f - 42. Let s be p(5). Solve -j - j - 2 = s for j.
-1
Let b = 24 + 39. Suppose 463 + 187 = 13*f. Let w be 14/b - f/(-18). Solve 0*u + 3*u = w for u.
1
Suppose -4*l = 3*b - 32, -l + 21 = 5*b - b. Suppose -b*d + 19 + 25 = 0. Solve -3*r - d - 1 = 0 for r.
-4
Let j = 2 - -3. Suppose z - 45 = 6*d - 3*d, 75 = -j*d + 3*z. Let h = 26 + d. Solve 5 + h = 4*i for i.
4
Suppose 0 = i + 4*i - 115. Let w = i + -21. Solve -5 = -w*n + n for n.
5
Suppose -13 + 22 = r. Solve -13*s + r*s - 12 = 0 for s.
-3
Let v be ((-6)/(-2))/((-6)/(-10)). Suppose -3*g - v*t + 0*t = -26, -g + 16 = -2*t. Suppose 0 = -2*p - g + 32. Solve x + 4*x = p for x.
2
Let j = -1 - -1. Suppose -2*t - 2*t = j. Suppose -3*y + 30 - 12 = t. Solve -y*x = -x - 5 for x.
1
Suppose -5*h = 4*s - 0*s, -s + 4*h = 0. Let q(d) = -2*d - 4 - 4 + 0*d + 4. Let i be q(-3). Solve i*u = -s*u for u.
0
Let z(c) = 7 + c**3 + 0*c + 1 - 8*c**2 + 19*c**2 - c. Let s be z(-11). Let q = -14 + s. Solve -13 - 7 = -q*l for l.
4
Let x be 45/6*24/(-5). Let w be (-2)/(-3)*x/(-8). Suppose -c = 4*t - w - 0, 4*c - 12 = 2*t. Solve 0 = u + c*u for u.
0
Suppose -6*b = -411 + 351. Solve b*z - 16*z + 24 = 0 for z.
4
Let t = -185 + 194. Solve t = -4*h + h for h.
-3
Let w(y) be the first derivative of 3*y**2 - 1/3*y**3 - 4*y + 5. Let c be w(5). Solve 2 + c = x for x.
3
Suppose 4*f - 5*o = 50, -f + 12*o - 11*o = -12. Solve 3*d = -f - 5 for d.
-5
Let q(k) = -k**3 + 3*k**2 + 5*k - 15 + 8 + 2*k. Let t be q(4). Solve -i + 2 = t for i.
-3
Suppose w + 0 = 2. Suppose 12 = 5*r - 0*r + 2*n, w*n = r - 12. Solve -2*u + u = -r for u.
4
Let p(m) = -2*m + 26. Let s(a) = -a - 1. Let q be s(-1). Suppose -4*b + q*d - 4*d + 56 = 0, 53 = 4*b + 3*d. Let o be p(b). Solve -o*h = -8 - 8 for h.
4
Let k(y) = y**3 - 2*y**2 + 3. Let l be k(0). Suppose 2 = 2*v - x - l, 3*x = 2*v - 3. Solve 0*t = -v*t - 9 for t.
-3
Suppose 4*o - 18 = -6. Suppose -o + 23 = 5*f + 4*j