= -3*z + 5 + 3*z**2 - z**3 + 7*z + 0*z**2. Let p be v(t). Solve -2*o = -p*o + 3 for o.
1
Suppose 3*b = b. Solve -s + 3 - 4 = b for s.
-1
Let i = -11 + 16. Suppose 8*g - 3*g - i = 0. Suppose -2*k + g = -1. Solve 0 = 5*m + 11 - k for m.
-2
Let y(a) = 2*a - a**2 - 1 + 0*a**2 + 2*a. Let x = 34 - 32. Let d be y(x). Solve -d*q + 12 = q for q.
3
Suppose -r + 18 = -2*c, -3*r - 3 + 1 = 2*c. Let p be (-22)/5 - (-2)/5. Let n = p - c. Solve 3 = n*b + 6 for b.
-1
Let i(u) = -2*u - 5. Let o be i(-3). Let y(v) = 1. Let d(t) = t - 5. Let p(n) = d(n) + 2*y(n). Let g be p(8). Solve g = -j + o for j.
-4
Suppose -47 = -5*b - 2*x, -2*b - 5*x + 21 = -2*x. Let h = b - 7. Solve -w - 1 = h for w.
-3
Suppose 2*i - 4*i = -2. Let t = -18 + 18. Solve t = -3*s - i + 13 for s.
4
Let x be ((-12)/9)/(1/(-3)). Suppose 0 = -l + x - 3. Suppose 5*s - 5 = 5. Solve -s - l = 3*r for r.
-1
Let k = 14 - 7. Solve 0 = 2*x + 3 + k for x.
-5
Let v be -3 - (-16)/((-12)/(-3)). Solve -y + 6 = v for y.
5
Suppose 0 = -22*d + 23*d. Solve -4*u - 11 - 5 = d for u.
-4
Suppose 3*d + 6 = -6, 12 = 3*m + 3*d. Solve i = 5*i + m for i.
-2
Suppose -3*x + 4*r - 14 = 0, -r + 2*r = -5*x + 15. Suppose 5*t - 5 = 10*t. Let a be (-45)/(-6) - t/(-2). Solve 0 = -x*v - 3 + a for v.
2
Suppose 0 = -n + k + 17, 5*k - 4 = -14. Solve 7*b + n = 2*b for b.
-3
Let h = -37 - -42. Solve -7 = 3*f + h for f.
-4
Let k be 6/18 - (-74)/3. Let g = -21 + k. Solve 0 = -3*d + 5*d - g for d.
2
Suppose -z = 5*b, -b = z - 0*b. Solve 5*k + 10 = -z*k for k.
-2
Suppose 22*o - 135 = 7*o. Let x = 0 + 2. Solve x*h = -h + o for h.
3
Suppose -10 = -x - 4*x. Let q(u) = -u**2 - 8*u - 1. Let o be q(-8). Let p = 5 + o. Solve p = x*y - 0 for y.
2
Let s(r) = r**3 + 7*r**2 + 6*r. Let g be s(-6). Solve g = -0*x - 2*x for x.
0
Suppose -4*q - 2*d + 2 = 0, 4*q = 3*q - 5*d - 22. Suppose 3*r - 7*r - 4*f + 48 = 0, 2*r - q*f - 34 = 0. Let j be 5*(0 - (-4)/5). Solve 2*u + r - j = 0 for u.
-5
Suppose -3*a - 2 - 1 = 2*s, -1 = 5*s + a. Suppose -5*y - 5 + 40 = s. Suppose -u + 2*u = y. Solve 3*p = u*p + 12 for p.
-3
Let x(c) = c**3 - 2*c**2 + 7*c - 2. Let q be x(3). Suppose -s = -2*r - 10, -4*s - 2*r + 7*r = -q. Solve p + s = -p for p.
-1
Suppose 0*r + 3*f = -5*r + 35, 2*f - 26 = -4*r. Suppose r*k + 5*p - 41 = 0, -2*p = -4*k + 1 + 33. Solve k = -2*y + 3 for y.
-3
Suppose -u - 4*b = 16, 0 = 5*u + b + 4*b + 20. Solve -2*w - w = u for w.
0
Let b = -15 - -13. Let k be (0/(b + -1))/3. Let f(l) = -l**2 - l + 1. Let h be f(0). Solve k = -3*a - h + 7 for a.
2
Suppose 0 = r + 4*r - 15. Suppose 4 = -r*y - y. Let o be 0 + (0 - y) - -10. Solve 0 = -5*z - 1 + o for z.
2
Suppose 3*r = 4*q - 0*q + 3, 4*q + 5*r - 5 = 0. Solve q = 4*s - 19 + 3 for s.
4
Let l = 2 + 1. Suppose -12 = l*j - 5*j. Let o be (-6)/j + (14 - 1). Solve 0*n - o = 4*n for n.
-3
Let f be ((-3)/((-6)/(-5)))/(4/(-8)). Let x be (-1*1)/(2/(-6)). Solve -2*l = -x*l - f for l.
-5
Suppose n + 4 = 4*r, -n = 4*n - r - 18. Solve w + w + n = 0 for w.
-2
Let w = 50 - 25. Let q = -25 + w. Suppose 2*g - 2*r = 3*g - 11, 5*g = r. Solve -p = -q*p - g for p.
1
Suppose -i = -3*z + 20, -z - 5*i - 50 = -6*z. Solve 0 = -z*f - 10 for f.
-2
Let c = -7 - -8. Let o be (4/(12/9))/c. Suppose 8 = -h + o*h. Solve h*v - 2 = -6 for v.
-1
Suppose 38 = 3*x - 4*l, -3*x + 11 = 5*l - 9. Let u be -4 - (-1)/(4/16). Solve -5*f + x = -u for f.
2
Let n(f) = f**2 - f. Let l be n(0). Solve 2*h + 2*h - 12 = l for h.
3
Let r = -4 + 6. Suppose -r*i + 3 + 1 = 0. Solve -1 = i*n - n for n.
-1
Let w(v) = -3*v**2 + 1. Let j(l) = -l**3 + 5*l**2 + l - 6. Let n be j(5). Let i be w(n). Let g be -1 + 2 + i - -1. Solve g = x + 2*x + 6 for x.
-2
Let l = 18 + 6. Let s be 6/l + (-1)/4. Solve 4*z - 19 - 1 = s for z.
5
Let o = -11 + 21. Solve 14 - o = -t for t.
-4
Let u be (-10)/45 - (-74)/9. Let q(c) = -c**3 + 4*c**2 - 2*c - 3. Let y(b) = 4*b**2 + 2*b + 1. Let m be y(-1). Let s be q(m). Solve -u = -4*w - s*w for w.
2
Let q(n) = -n**2 + 6*n - 3. Let o be q(4). Solve -i = -2*i + o for i.
5
Let f = 4 + 1. Suppose 2*q + 3 = f. Let w be (2 + -1)/(q/2). Solve -j - w*j = -6 for j.
2
Let h = -9 - -13. Let q = 7 - h. Suppose -q*k - k = -4. Solve 0 = r - k for r.
1
Let m = 23 - -16. Let p = m - 66. Let s = 47 + p. Solve -2*w - s = 2*w for w.
-5
Let g be (28/10)/(2/10). Let u(w) = w**3 - w. Let b be u(2). Solve -4*i = b - g for i.
2
Suppose 2*w = 5*q - 101, 7*q - w - 103 = 2*q. Let h = -12 + q. Solve 2*x - h = -x for x.
3
Suppose -s - 10 = h, -2*h + 16 = -2*s - 3*h. Suppose 5*r = 3*r - 14. Let p = s - r. Solve -2*u = -1 - p for u.
1
Suppose -8*r + 13*r - 40 = 0. Suppose 5*q = q + r. Solve -q*y = -3*y for y.
0
Let x(y) = y**3 + 17*y**2 + 16*y + 4. Let l be x(-16). Solve -l*g - 20 = g for g.
-4
Suppose -5*w - 4 = 2*d - 2, 0 = 4*w - d - 1. Suppose -2*z + 0*z + 8 = w. Solve z = -3*l + 5*l for l.
2
Let u(d) = d**2 - 5*d - 11. Let k be u(7). Suppose 18 = k*w - 0*w. Solve w*m + 6 = 8*m for m.
3
Let b be 2*4*(-12)/(-32). Solve 2*j = 3*j + b for j.
-3
Let g(w) be the first derivative of w**2 - 3. Let r be g(2). Solve -k - r = k for k.
-2
Let w(b) = -b + 5. Let u be w(5). Solve u = k - 3 - 0 for k.
3
Suppose 2 = -2*n + 10. Suppose -n*s + q - 3*q + 24 = 0, -5*q = -2*s. Solve -2*y + 1 = s for y.
-2
Let s be 3 + -2 + 0 - 1. Suppose 3*a - 6 = -s*a. Solve -4*x + a*x = -4 for x.
2
Let t = 3 - 4. Let z be ((-2)/(-2))/(t/(-4)). Solve -z*d + 1 = 13 for d.
-3
Let a = 1 - 1. Let u be (a + 6)*2/3. Solve -u*q = -6*q - 8 for q.
-4
Let j(p) = 7*p**2 + p. Let d be j(1). Suppose -n = -3*n + d. Let k = n - 1. Solve -3 = -k*s + 9 for s.
4
Let c be ((-6)/(-4))/((-9)/(-42)). Suppose -u + 2*u - c = 0. Suppose 3*a - u*a + 16 = 0. Solve 2*l = -2 - a for l.
-3
Let y(x) = -x**2 - 3*x + 2. Let m be y(-3). Solve m*t + t = 12 for t.
4
Suppose 3*m = 4*g - 3, -2*m = 2*m + 5*g - 27. Solve -3*q + m = -9 for q.
4
Let w be ((-40)/(-4) - -5) + 1 + -1. Solve -2*b = -5*b + w for b.
5
Suppose -5*q + 25 = y - 3*y, -5*q + 25 = y. Suppose 24 = 4*w - w. Solve q*v - v + w = 0 for v.
-2
Let o be (-176)/(-77) + (-2)/7. Let p be 2/4 - 6/(-4). Solve -o*b - p + 12 = 0 for b.
5
Suppose 9*a = 8*a + 6. Solve 4*c - a = 2*c for c.
3
Let j(m) = -m**3 - 5*m**2 - 7. Let c be j(-5). Let o = c - -11. Solve h = o*h - 12 for h.
4
Suppose 25 = 4*w + w. Solve -17 + w = -3*l for l.
4
Let v(n) = -2*n - 5. Let w be v(-4). Solve -w*o - 1 = 2 for o.
-1
Let o be 2 - -1 - (-2 + 1). Suppose -y + 10 = o*y. Let h = y + 2. Solve 4 = -h*p + 24 for p.
5
Let x(u) = -u**3 + u**2 + 4. Let k be x(0). Suppose -5*p - 14 + 4 = -b, -16 = p - 3*b. Let n = k + p. Solve -n*v + 7*v - 20 = 0 for v.
5
Let l be (-8 - (-5 + 1)) + 5. Solve 0 = -p - 0*p + l for p.
1
Let b be 7/21 - (-11)/3. Suppose b - 22 = -3*v. Suppose -a - 3*h + 1 = 0, h - 4*h - 59 = -5*a. Solve v*t = t + a for t.
2
Let f(y) = y**2 + 7*y - 3. Let o be f(-8). Solve -5 = -5*s + o for s.
2
Let u be (-1 + 2)/(1/6). Suppose -i - u = -3*v + 2*i, -2*v - 8 = 4*i. Suppose -5*n + 10 = -v. Solve -n*l = -5*l - 12 for l.
-4
Let b be -2 + (2 - 3/(-3)). Solve 3*t + 11 = -b for t.
-4
Let i = 33 - 46. Let m = i + 9. Let t = m + 4. Solve 3*f = -t*f - 12 for f.
-4
Suppose -5*y - 5*j = -65, -3*j = -3*y + 2*j + 7. Suppose 4*z - y = -3*s, 3*z - s - 14 = 4*s. Suppose 2*b - 1 - 1 = -z*a, 0 = -a - b. Solve 4*i + a = -10 for i.
-3
Let t = 12 - 17. Let a = 7 + -2. Let p = t + a. Solve m + 2*m - 12 = p for m.
4
Let u(t) = t + 1. Let q(b) = 2*b**2 - 2*b + 7. Let l(m) = -m**2 + m - 3. Let a(z) = -13*l(z) - 6*q(z). Let v be a(3). Let h be u(v). Solve -n - 10 = h*n for n.
-2
Let x(k) = k**2 - 8*k - 10. Let q be x(8). Let p be 2/(-4)*0 + 5. Let m be (-32)/q + (-1)/p. Solve -m = f - 0*f for f.
-3
Let d(k) = -k + 9. Suppose -q + 67 = s + 3*s, -5*s - q = -83. Suppose 5*t = -2*h + h - s, t + 12 = 2*h. Let b be d(h). Solve 5*v - b = 5 for v.
2
Suppose -4*a - b + 8 = -4, 2*a - 6 = 5*b. Solve -y + a = 4 for y.
-1
Let f be (-6 - -3)/3 - -5. Let q(j) = j**3 - j**2 - j + 1. Let g be q(2). Solve -g*o = -o - f for o.
2
Let w(d) = -2*d - 3. Let j be w(-5). Solve -j*m + 4 = -9*m for m.
-2
Let p(z) = z**3 + 7*z**2 - z + 2. Let x be p(-7). Suppose 0 = -4*c + c - x. Let g be 2*c/(-12)*4. Solve g*j = j for j.
0
Let v be (-20)/(-11) - 1/(-11)*2. Solve t + v = 2*t for t.
2
Let b = 7 - 5. Suppose 2*v = b*u - 18, 0*v + 4*v - 4 = -4*u. Let p = u - 1. Solve 0 = p*s +