 = -x + 71, 2*x + 12 = u - 0*x. Suppose -8 = -6*w + 4*w. Solve -w = 2*p - u for p.
5
Let x(o) = o**2 - 3*o + 3. Let q = 7 - 4. Let b be x(q). Solve 3 = -3*n - b for n.
-2
Let n(m) = m**3 - 3*m**2 - 5*m + 6. Let x be 1/(((-3)/4)/(-3)). Let v be n(x). Solve 0 = 5*h - v*h for h.
0
Let c(k) = k**3 - 5*k**2 - k + 5. Let t be c(5). Suppose t = -v + 5 + 2. Solve v = 4*b + 23 for b.
-4
Suppose 5*s - 28 = 12. Solve 2*d + 2 = -s for d.
-5
Let o be 3/12 + (-31)/(-4). Let d(k) = k - 5. Let v be d(o). Solve -v*t = 3 + 12 for t.
-5
Let u(j) = j**3 - 5*j**2 - 5*j - 5. Let s be u(6). Let d = s - 0. Let v = 41 + -39. Solve -v*l - d = 1 for l.
-1
Suppose 4*w = -l + 32, -3*w - 4*l - 34 = -5*w. Let o = -6 + w. Let x be 4*o*(-8)/(-12). Solve 0 = -5*u - 23 + x for u.
-3
Suppose -3*j + 0*j = -24. Let f = -4 + j. Solve -f = -o + 1 for o.
5
Let y be 126/35 - 6/10. Solve -y*s - s = 0 for s.
0
Let z(r) = -r**3 + r**2 - 14*r + 4. Let p be z(0). Let u(m) = -m**3 + 5*m**2 + m - 2. Let t be u(5). Solve -3*y + p*y = t for y.
3
Let v(r) = -r**2 - 8*r - 2. Let g be v(-7). Solve g*q + 16 = 9*q for q.
4
Let i(b) = -b**2 - 11*b - 9. Let v be i(-10). Solve 0 = z - 2*z - v for z.
-1
Let w(n) = n**2 + 9*n + 7. Let k be w(-10). Suppose -5*u + 43 = -k. Solve -5*r - u = -2*r for r.
-4
Let c = -2 - -2. Suppose 5*f - 10 = c, 3*a - a + 4*f = 8. Let o be a/(2*(-1)/1). Solve o*d - 5*d = 20 for d.
-4
Suppose 0 = -4*v - 5*s + 4, 5*s + 12 = v - 14. Let y = 2 + -1. Suppose -n + v = y. Solve -g = -6*g - n for g.
-1
Let n be ((-12)/4)/(9/(-12)). Solve 3 - 11 = -n*y for y.
2
Let k(x) = -x**2 + 7*x - 5. Let q be k(6). Suppose q = 4*h - c, -h = -c + 1 - 2. Solve h = b + 5 - 1 for b.
-4
Let v be (6/3)/(2/4). Let x be 18/v*(-6 + 8). Solve -5*c + 2*c - x = 0 for c.
-3
Let h be -2 + 4 + 0 + 1. Solve -h*n + 8*n = 0 for n.
0
Suppose 27 = 3*r + 3. Let m = 11 + -11. Suppose 5*c = 6*c. Solve 2*p + m - r = c for p.
4
Let n(l) = 3*l**2 - 44*l - 14. Let u be n(15). Solve 0 = -4*j - u - 11 for j.
-3
Let p(z) = -z**2 - z. Let h(b) = -6*b**2 + b - 5. Let l(n) = h(n) - 5*p(n). Let s be l(4). Let k be (-1 - 0)/(17/(-34)). Solve -s*q - 17 + k = 0 for q.
-5
Suppose 3*z - 13 = -2*u, -2*z = -5*u - 3*z + 13. Solve -2*c - u*c - 4 = 0 for c.
-1
Suppose 0 = -4*g + 3*b + 158, -2*g + 116 = -b + 36. Let p = g + 39. Suppose -h + 5*h = p. Solve 0*k + 5*k = -h for k.
-4
Let d(c) = 2*c**2 - 6*c + 1. Let t be d(3). Let o be ((-35)/14)/(t/(-2)). Suppose -k - 2*v = -0*k, k = v. Solve k*u - o = -u for u.
5
Suppose 4*q = -3*c + 2*q + 56, -c + 5*q = -30. Suppose 0*k + 4*k - c = 0. Solve -k*x + 20 = -0 for x.
4
Suppose -r + 2 = 1. Let a = r - -1. Solve -4*f = -a - 2 for f.
1
Suppose 5*u + 39 = 5*f + 14, -25 = -5*f - 5*u. Solve 0 = f*y + 21 + 4 for y.
-5
Suppose 5*d - 7 = l + d, -2*d = -5*l + 19. Solve w = l*w for w.
0
Let s(p) = 2*p + 16. Let i be s(-6). Solve -g - 1 - i = 0 for g.
-5
Let h(d) = -d**2 + 7*d - 7. Let v be h(2). Solve -o = v*o for o.
0
Let f be (-175)/(-63) - (-6)/27. Solve 0 = -f*q - 7 - 2 for q.
-3
Suppose f = -3*j - 7 - 8, -2*j = 10. Suppose -r - 4*r + 20 = f. Suppose 5*x = 4*z - 1, -4*z + 18 = 2*x - z. Solve -n = -r*n + x for n.
1
Let o(k) = -k**3 + 8*k**2 - 8*k + 4. Let c be o(7). Let b be 1 + c/(-6)*8. Solve b*t = t for t.
0
Suppose 5*o - 3*o + 10 = 0. Let i be (o/2)/((-1)/(-2)). Let l be ((-3)/i)/(1/15). Solve -2*r + l = r for r.
3
Let s(g) = -g**2 + 8*g - 6. Let j be s(7). Let q be 2 + ((-3)/3 - j). Solve -b + q*b - 2 = 0 for b.
-2
Let t(a) = 0 + 3*a - 6 + a**2 + 3 + a. Let r be t(-5). Solve 0 = u + r*u for u.
0
Suppose 3*o + o = 4*x - 60, o + 3 = 0. Suppose -x = -3*a, 29 = -5*t - 2*a + 72. Solve 4*z + 13 = -t for z.
-5
Let x be (1/1)/(1/3). Let g(t) = 5*t. Let d be g(1). Suppose 2*b - b = d. Solve -b = -x*m + 2*m for m.
5
Suppose 5*v - 6 = c - 30, 0 = -c - 5*v + 24. Solve c = -5*b - 1 for b.
-5
Let d be (-1*(0 - -1))/(1/(-6)). Solve 0 = -m + d - 1 for m.
5
Let i(b) = -b**2 + 17*b + 43. Let w be i(18). Solve -8*a = -3*a - w for a.
5
Suppose -2*p = 2 - 4. Suppose -a - p = -2*u, 0 = u - 0 - 2. Solve -a*h - 4 = h for h.
-1
Suppose -4*q + 8 = -2*d + 2, -3*q + 2*d = -6. Solve q*u - 4 = 4*u for u.
-1
Suppose -4*p = 3*w + 7, 5*p + 4*w + 11 - 1 = 0. Solve -x - p = -4 for x.
2
Suppose -2*g = 3*g - 10. Let w = 1 - 12. Let x = 16 + w. Solve -g*f - x = 5 for f.
-5
Suppose -6*a - 39 = -3*a. Let l = -8 - a. Suppose 4*d + 5*n = 26, l*d - 13 - 3 = 2*n. Solve 3*v - 3 = d*v for v.
-3
Let t be 46/8 - (-42)/(-56). Solve 3 = -2*v - t for v.
-4
Let q be ((-4)/5)/((-2)/10). Let p = -12 - -14. Suppose h = -0*h + p. Solve -2 = -h*v + q for v.
3
Let x = 30 + -25. Solve -5*j - x = -25 for j.
4
Let l = -49 - -32. Let k = 23 + l. Solve -k = -3*r + r for r.
3
Suppose 0 = 6*q - q + 25. Let i = q - -8. Let c be 14/6 + 1/(-3). Solve c*a - i*a = 0 for a.
0
Suppose -o - 3 = -2*o. Solve -x = -2*x + o for x.
3
Suppose 0 = 5*y - 3*j - 15, 4*j = 5*y - 23 + 3. Let d = -5 + 11. Solve y = g - d*g - 5 for g.
-1
Let j = 6 - 6. Let x be (-4)/(-2 + j) + -2. Suppose 5*n + 4*s - 4 = 3*n, -n = -3*s + 3. Solve x = -2*l - n + 6 for l.
3
Let m = -30 + 45. Suppose -2*f + 0*d + d + m = 0, -10 = f + 3*d. Solve n - f = -0 for n.
5
Let p = -22 - -31. Suppose -t + 0 = -3, 3*u - 3*t + p = 0. Solve 0 = o - u - 2 for o.
2
Suppose -v + 0 + 3 = 0. Let f(s) = -5*s**2 + s + 6 - s**3 - s**v + s**3. Let j be f(-5). Solve -5*c + j = -4 for c.
1
Suppose 3*r + 3 = 0, -2*c + r = 2*c - 21. Solve 0 = -5*w + c for w.
1
Suppose -3 = 2*l - 41. Suppose l + 1 = 2*s - w, 0 = 3*s - 5*w - 23. Let z = -7 + s. Solve 0 = -r + z - 2 for r.
2
Let g(q) = q**3 + 2*q**2 + 2*q + 2. Let z be g(-2). Let w(v) = -v. Let l be w(z). Solve 16 = -l*u + 6*u for u.
4
Let d(a) = a**3 - 9*a**2 + 9*a - 8. Let i be d(8). Suppose 5*s = -3*p + 65, s = -i*s + 2*p. Solve -5*b + s = -10 for b.
4
Suppose -3*i + 0*r + 2*r = -6, -4*r = -5*i + 12. Suppose -2*o + b + 6 = -i*b, 5*b - 15 = o. Solve 13 = -o*d - 2 for d.
-3
Let v(t) = t - 3. Let z be v(7). Let u be ((-17)/4)/((-1)/z). Solve 4*k - u - 3 = 0 for k.
5
Suppose 2*f - 2*c = 4 + 6, -c = 4. Solve 4 = -l + f for l.
-3
Suppose -3*p + 30 = 2*p. Let x(g) = -g**2 - 11*g + 15. Let r be x(-12). Solve -r*j - p = -j for j.
-3
Suppose 2*s + 2*q + 2 = 0, -5*s = -3*q + 2*q - 1. Suppose s = 5*g - 15 - 0. Let m = 2 + g. Solve 3 = 2*z - m for z.
4
Let c be 1/4 - (-2)/(-8). Suppose c = 2*h - 2. Solve 2*i - h = 3*i for i.
-1
Let a(c) = c**3 + 23*c**2 - 24*c. Let u be a(-24). Let y(p) = -2*p**3 - p**2 - p. Let s be y(-1). Let g be (1 - s)/(1/(-15)). Solve -6*n + n + g = u for n.
3
Suppose -3*b + 2 = -1. Let k be 12/(-15)*(-21 + b). Solve -k = -4*t - 0*t for t.
4
Let c = 8 - 7. Suppose -u = -5*o - 18 - c, 4*u + 3*o = 99. Solve -4 = -5*t - u for t.
-4
Suppose -3*i = 3*r + 6, -4*i = -r - 3 + 1. Let n(a) = 8 - 3 - 4*a + a**2 + i*a**2. Let k be n(6). Solve 5*p - 2 = -k for p.
-3
Let b be 66/(-8) + (-10)/(-40). Let x be ((-20)/b)/((-10)/(-8)). Solve x*g - 3*g = -5 for g.
5
Let z = 11 + -10. Let b be z/6 - (-9)/(-54). Solve b = o + o + 4 for o.
-2
Let o = -19 + 29. Solve -3*g - o = 2*g for g.
-2
Let z = -2 + 3. Suppose -2*q + 41 - 13 = 0. Let l be q + -4 + 1 + z. Solve 6*v - l = 2*v for v.
3
Suppose 0 = -4*a - 7 - 21. Let o = 36 - 19. Let i = a + o. Solve -5*s - i = -0 for s.
-2
Let b be -3 + (3 - -2) + -3. Let l = b - -5. Let j be 1*2/(l/10). Solve -j*p + 0 = 5 for p.
-1
Let m(y) = 11*y + y**3 + 7 - 14 - 6 - 10*y**2. Let v be m(9). Suppose -v*b - t = 3 - 31, -2*b = 2*t - 16. Solve 3*d + 6 = b*d for d.
3
Suppose 2 = -3*q + 2*i, 5*q = -4*i + 2 + 2. Solve -10 = 5*h - q*h for h.
-2
Let y = -3 - -5. Suppose -2*a + 12 = y*a. Solve f - a = -7 for f.
-4
Let z(v) = v**2. Let i be z(2). Suppose 3*y - i = 5. Solve -y*k - 20 = -8*k for k.
4
Let p(x) = -6*x**3 - 8*x**2 - 13*x - 5. Let t(u) = 7*u**3 + 8*u**2 + 14*u + 4. Let v(c) = -6*p(c) - 5*t(c). Let z be v(-7). Solve -z*l + l + 4 = 0 for l.
2
Suppose 2*b + 94 - 102 = 0. Suppose -a = a - 2. Let m = 1 + a. Solve -b*w = -m*w + 4 for w.
-2
Suppose -20 = -5*r - 5*a + 3*a, 3*r + 7 = -5*a. Let w = 6 - r. Solve 4*m - 7 - 5 = w for m.
3
Let s(w) = -2*w - 5. Let t be s(-5). Let f = -4 + t. Solve -f = -3*z - 10 for z.
-3
Let m(d) = -d**3 + 5*d**2 + 8*d + 4. Let n = 8 + -2. Let y be m(n). Solve 0*z + 4*z + y = 0 for z.
-4
Suppose -4 = -3*p + 2. Suppose 10 = p*s +