-f*u + 10 = -u for u.
2
Let q = 8 - 5. Solve 2*y - q + 9 = 0 for y.
-3
Suppose -2*k - 4 = -0*k, 3*t = 4*k + 26. Let w be 4/6*t/4. Suppose 0*s + 13 = 3*a + s, -4*a = -s - 8. Solve -2*v + w = -a for v.
2
Let l(z) = 2*z**3 - 4*z**2 + 4*z - 3. Let r be l(2). Suppose 5*y - y - 37 = -r*v, 4*y + v = 17. Solve -3 = y*p + 12 for p.
-5
Let o(n) = n + 4. Suppose -5*s + 5*r = -0*r, -4*s - 32 = 4*r. Let l be o(s). Let x be -2*1*-1 + 1. Solve 12 = -l*g - x*g for g.
-4
Let d = 38 + -34. Solve -d*j = j for j.
0
Let p(b) = -3*b**2 - b**2 + b**3 + b - 4*b**2 - 6. Let t be p(8). Solve -3*a - 20 = t*a for a.
-4
Let b = -2 - -8. Let o(h) = 3 - h + b*h + h**2 - 4*h. Let j be o(0). Solve 2 = -n - j for n.
-5
Let y(d) = 2*d - 14. Let o be y(8). Solve 0 = o*f - 2 - 2 for f.
2
Let s(k) = k**2 + 2*k - 5. Let o(q) = q - 3. Let t(a) = 5*o(a) - 3*s(a). Let i be t(-1). Let l be ((i - -2)/(-2))/(-2). Solve l = p + 4 - 0 for p.
-4
Let x = -21 + 23. Solve 2*p = -0*p + x for p.
1
Let z be (-4)/6 - 2/(-3). Solve z*u - 4*u = 16 for u.
-4
Suppose 2 = -2*i - 2*o - 2, o + 11 = 2*i. Solve 0 = i*m + m for m.
0
Let z = 9 + -6. Suppose w + 1 = -z. Let k = 6 + w. Solve 0 = -0*o + k*o + 4 for o.
-2
Suppose -p + 7 = 3*k, -4*p = 3*k - 2*p - 8. Solve 2 + k = 2*d for d.
2
Suppose 2*z + 5*m - 81 - 2 = 0, -2*z + 88 = 4*m. Let s be (z/(-24))/((-3)/16). Solve 0*w - 4*w - s = 0 for w.
-3
Let k be ((-3)/(-1) - 15) + 3. Let l = k - -14. Solve 4 = -4*r + l*r for r.
4
Suppose -3*j = 2*j. Solve -3*v + v = j for v.
0
Let l = -6 - -6. Solve l = -4*t + 23 - 3 for t.
5
Let h(a) = -a**2 + 4*a + 5. Let d be h(5). Suppose 5*w - 16 = -2*p, -5*p = -d*p + 2*w - 19. Solve p = 4*g - 17 for g.
5
Suppose -8 = 4*b - 0, -5*n + 2*b = -4. Solve n = 5*w + 4 + 21 for w.
-5
Let q be (-5)/(-3) - (-2)/6. Suppose q*b - 3 = 7. Solve -b*i = -i - 16 for i.
4
Let p = -128 + 142. Solve a + 10 - p = 0 for a.
4
Let s(n) = -n**2 - 5*n - 2. Let y be s(-4). Suppose 0 = -0*f + 4*f. Suppose 0 = -0*p - 2*p. Solve f = -y*g - p*g - 6 for g.
-3
Let b(i) = 2*i**3 + 2*i**2 + 2*i + 2. Let x be b(-2). Let w(h) = h**3 + 9*h**2 - 10*h + 4. Let y be w(x). Solve y*q - 8*q = -4 for q.
1
Suppose -2*v + 12 = 4. Solve -h + v + 0 = 0 for h.
4
Let a = -6 + 9. Let y = 37 + -30. Solve y = -a*x - 5 for x.
-4
Let w be (4 - 2)*(-2)/(-2). Let r(t) be the third derivative of t**5/60 - t**4/24 - t**3/3 - 3*t**2. Let a be r(w). Solve a*h = -4*h for h.
0
Let l = -11 + 9. Let r = l + 6. Suppose 0 = -g - r*d - 17, 0*g + 5*d = 2*g - 31. Solve -g*m = -m for m.
0
Suppose 5*y - 54 = 41. Suppose 2*x = -w + y, 0*x + 3*x - 1 = w. Let p = 13 - w. Solve 4*n + p = -14 for n.
-4
Let c be (-3)/(-3) + 15/5. Suppose -w = c*w. Solve 4*a + 5 - 13 = w for a.
2
Let n(o) = o**2 - o - 4. Let m be n(-4). Suppose 3*h + m + 2 = -3*k, -2*k - 4 = -2*h. Let z be (-15)/(-2) - (-2)/k. Solve z = -3*d - 8 for d.
-5
Let s = -12 - -17. Suppose 3 = -c + s. Solve -c*q - 2 = -4*q for q.
1
Suppose 2*c = -2*c + 16. Suppose -3*b = 3*n + 6, -3*b - c*n + 18 = -7*n. Solve b = 4*j - 2 for j.
1
Let c = 8 - 8. Solve c = j - 0*j + 1 for j.
-1
Let v = -2 + 2. Let p(t) = -t**3 + 5*t**2 - 3*t - 2. Let i be p(4). Solve v = -y + i - 7 for y.
-5
Let m(y) = -y**3 - 6*y**2 - 4*y. Let u be m(-5). Let s be -2*3*(-15)/(-18). Let g be s/(u/2) + 0. Solve g*n = n - 4 for n.
-4
Let y = 2 + 2. Solve -y*t + 2 + 2 = 0 for t.
1
Let y = -5 - -14. Solve -y = -4*t + t for t.
3
Let c = 13 - 10. Suppose c*t + 27 = 69. Solve 11 = -5*n - t for n.
-5
Let h be (-6)/(-3) - 34/(-2). Suppose 2*w - h = -5*g, -2*g + g + 3*w = -14. Suppose z + 2 + 12 = 4*b, g*z - b = 6. Solve -6 = z*i - 4*i for i.
3
Let q(t) = -2*t + 17. Let u be q(7). Solve 3*b = u + 3 for b.
2
Let a = 5 - 2. Suppose a*i - 9 = 6*i + 3*v, -3*i = 2*v + 5. Solve -i = -5*l + 9 for l.
2
Let a = 34 - 29. Solve -2*y + a = 3*y for y.
1
Let m be -5*((-4)/(-5))/(-2). Let t = -8 - -12. Suppose 5*p + t = 7*p. Solve m = -p*u + 4 for u.
1
Suppose 3*n - 18 = 3*d, -2*n + 16*d + 3 = 17*d. Solve 0 = n*s - 8*s - 25 for s.
-5
Suppose 27 = -0*n - 2*n - 3*g, -4*n - 4*g = 44. Let s(o) = o**2 + 7*o + 8. Let p be s(n). Suppose -2*k - k = -2*q - 26, p*q + 8 = 0. Solve k + 2 = 4*x for x.
2
Suppose i + 4*d = -3 + 18, 4*i + 8 = d. Let p = 0 - i. Suppose -p = v + 2*s - 4, 3*s = -3*v + 15. Solve 0 = -3*g + v - 22 for g.
-5
Suppose n = 5*n + 28. Suppose -2*o + 16 = -2. Let s = n + o. Solve i - s*i + 1 = 0 for i.
1
Suppose 5*n - 180 = -20. Let t = 47 - n. Solve 35 = -4*f + t for f.
-5
Let t(d) = -3*d + 1. Let j be t(-1). Let r = 7 + -2. Let n(i) = 3*i**2 - 3*i - 4. Let o be n(-2). Solve o - j = r*q for q.
2
Let c be 8/16 + 19/2. Solve 0*b + c = 2*b for b.
5
Let t = 66 - 64. Solve -2*j = 4 + t for j.
-3
Let q = 1 - -1. Let f be (77/11 - 7) + 0 + 2. Solve f*k = -q*k for k.
0
Let q = 12 + -8. Suppose h = 4*v - 7, 3 + 17 = q*h. Suppose -g - v = -2*g. Solve b = -g*b - 20 for b.
-5
Suppose -7 = -4*q + 3*q. Solve -q*b - 4 = -3*b for b.
-1
Suppose -1 = -4*b + 3. Let m = 3 + b. Suppose 5*i - 4*f = 28, 5*i + 2*f = 3*i + m. Solve 0 = -i*r + 2*r - 8 for r.
-4
Suppose -4*t + 80 = -0. Let j = t - 10. Solve -5*p + j = -3*p for p.
5
Suppose g + 11 = i + 5*g, 3*i = g + 20. Let u = -3 + i. Let a be (-32)/(-6)*6/u. Solve 0 = 5*c - c + a for c.
-2
Let i(l) = -l**2 - 9*l + 2. Let v be i(-6). Let z be (0 + 2/4)*v. Solve -j - z = -3*j for j.
5
Suppose 4*a - c = -0*c + 6, -2*a - c = -6. Let l be 5/15*9 - -1. Solve -a*i = -2 + l for i.
-1
Let w = 19 + -15. Solve -w*i + 4 = -4 for i.
2
Let b = 9 - -6. Solve 4*v + v = -b for v.
-3
Suppose 0*h = h + 4*p + 9, 4*p + 64 = 4*h. Let w = h + -10. Solve 4*n - w = -13 for n.
-3
Let m(v) = -2*v**3 - 7*v**2 - v + 6. Let x be m(-3). Solve -p + x*p = -1 for p.
1
Let o(h) = h**3 - 5*h**2 + 5*h - 3. Let p be o(4). Let q = 2 + p. Solve f = q*f - 6 for f.
3
Let g(z) = 2*z - 6. Let p be g(4). Let c be 0/(p/(-4)*-4). Let j be ((-3 - 0) + c)*-1. Solve -5 - j = -2*l for l.
4
Let u be 6/(-24) - 118/8. Let i be 1/3 - 40/u. Solve 18 = i*d + 3 for d.
5
Let u(n) = 3*n + 3. Let z be u(-2). Let j be 4 - z*(-6)/9. Solve -j = 3*t + 13 for t.
-5
Suppose -9 = 3*r - 24. Suppose 3*d - 27 = -3*c, r + 1 = -2*c + 4*d. Suppose 13 = -2*l + 6*l - 5*f, -c*l = -3*f - 13. Solve 3*h - l*h + 3 = 0 for h.
-3
Let c(h) = -h**2 + 3*h. Let y be c(0). Solve 4*w - w = y for w.
0
Suppose 16*g - 11*g - 10 = 0. Suppose 0 = -5*x + 65 - 5. Solve b = -g*b - x for b.
-4
Let w(i) = -i + 2. Let t be w(-4). Let x be (2/(-6))/((-1)/12). Suppose 0 = -x*z - 2 + 14. Solve z*b = b - t for b.
-3
Let g be (2/(-5))/((12/40)/(-3)). Solve g*s - 15 = 1 for s.
4
Let a = 1 + 2. Suppose u - 2*n + 25 = a*n, 25 = u + 5*n. Solve w + 2*w = u for w.
0
Let u(v) = v**3 - 11*v**2 - 12*v + 7. Let r be u(12). Solve -25 = r*m - 2*m for m.
-5
Let g = 2 + -1. Solve s + 1 = -g for s.
-2
Suppose d = 5*d - 8. Let f = -2 + d. Solve 3*c - 4*c - 2 = f for c.
-2
Let w(h) = h**2 + 2*h. Let j be (0 + -5)*(-6)/(-15). Let r be w(j). Solve r = -2*s - 2 - 6 for s.
-4
Suppose 0*k - 16 = -3*f - 4*k, -3*k + 19 = 4*f. Suppose 10 + f = -2*h. Let w = 2 - h. Solve 1 - w = -2*s for s.
4
Let a(t) = 8*t**2 - 3*t - 4. Let s(y) = 17*y**2 - 7*y - 8. Let z(h) = 13*a(h) - 6*s(h). Let b be z(-3). Solve -b*p = 9 - 29 for p.
4
Suppose -2*v - 2 + 0 = 0. Let f be (-1)/(v/3*1). Solve 1 = -f*w - 8 for w.
-3
Suppose 3*g + 17 = k, 4*k + 2 - 31 = -g. Suppose -s - 5*c - 13 = 0, s + c = -0*c - 1. Suppose s*q = -4*v + 5*q + 15, -2*v + 3 = 3*q. Solve k = v*r - 7 for r.
5
Suppose -4*q = -16, -5*q + 3*q = -2*u. Suppose 6*o = u*o. Solve -4*z + 9*z + 15 = o for z.
-3
Let p(f) = -f**2 + 3*f + 5. Let y(x) = 2*x**2 - 5*x - 11. Let q(s) = 5*p(s) + 2*y(s). Let j be q(5). Suppose j*z = 2*z + 20. Solve 0 = -0*g + 4*g + z for g.
-5
Suppose -3*u + 4 + 17 = 0. Suppose -u*b + 30 = -2*b. Solve -b = w + w for w.
-3
Suppose s = 2*s. Suppose -12 = -4*w + 4*n, 4*w - w - 5*n - 7 = s. Suppose -3*z - w = 4*x - 13, 0 = 2*z - 6. Solve 2*u - 8 = -x*u for u.
4
Suppose 0 = -0*v - 4*v - 40. Let x = 20 + v. Suppose 5*c - 25 = 4*k - 9*k, k = -4*c + 11. Solve 0 = c*w + x - 0 for w.
-5
Let s be (-3)/(6/4) + 1. Suppose -6 = 2*u + 14. Let y be u/(6/3*s). Solve -y*c = -c for c.
0
Let x be ((-9)/(-12))/((-6)/(-16)). Let b(c) = 3*c - 7. Let p be b(10). Solve 5*n = x + p for n.
5
Suppose -2*v + w = 41, 3*w - 101 = -3*v + 8*v. Let q = -20 - v. Solv