3 - z**2 + z. Let c be p(0). Suppose c = -3*d + d + 2. Solve -5*n - 9 = d for n.
-2
Suppose 0 = 7*h - 9*h + 4. Solve m + h = 5 for m.
3
Let r(j) = 2*j + 13. Let f be r(-6). Let u(n) = -n**3 - 6*n**2. Let y be u(-6). Solve y = 2*q - 5 + f for q.
2
Let o(p) = p**2 - 3*p - 2. Let w be o(5). Let k = 20 - w. Suppose -4*u + k = 4. Solve -2*v = u*v - 12 for v.
3
Let w = -5 + 10. Suppose -8 = 2*a - a + 2*i, -4*a = w*i + 23. Let m = 2 + a. Solve 2*p + m = -2 for p.
-1
Let o = 68 - 66. Solve 0*m - o*m = 0 for m.
0
Let i be ((-1 + 0)*-5)/1. Suppose -5*s - i*p + p = -34, 15 = 3*s - 3*p. Suppose 4 = 2*g - q, -3*q = 2*g - s*g + 8. Solve -v = g*v - 12 for v.
4
Let j(c) = -2*c**2 + 10*c + 12. Let p be j(6). Solve p = -i - 10 + 6 for i.
-4
Suppose 5*u = 2*m - 62, 3*m = -0*m + 4*u + 79. Let a be 14/m - 20/3. Let d be a/21 + 60/14. Solve d*n = -7 - 1 for n.
-2
Let a(x) be the first derivative of -x**2/2 + x - 2. Let h be a(5). Let o be 13/4 - (-1)/h. Solve o*r = 2*r + 4 for r.
4
Suppose -g - g = 0. Suppose g = -2*s + s. Solve s = -3*o - o + 20 for o.
5
Let c = 25 + -17. Solve f + 3 - c = 0 for f.
5
Suppose -20 = -2*m - d, -m - 5*d + 19 = -0*m. Let b be 1/(-1) + 3 - -2. Solve -b*x = -m*x + 15 for x.
3
Suppose 5*w = -2*p, -3*w + 4*w = 3*p. Suppose 0*k + 30 = -5*k. Let h = k - -10. Solve 0 = -y - h - w for y.
-4
Let z(j) = -j**3 + 2*j**2 + 4*j - 2. Let y be z(3). Let u be (-9 + 9)/(y + -2). Solve g - 2 - 2 = u for g.
4
Suppose -2*v = -5*u - 9, v - 2*u = -0 + 4. Solve 0*y = v*y for y.
0
Suppose -21 = -5*u - 1. Solve y + 15 = u*y for y.
5
Suppose 6 = 2*v + 2. Let x be (-288)/(-63) - 6/(-14). Suppose -6 = v*o - x*o. Solve o*i = i for i.
0
Let d(s) = -4*s + 5 + s**2 + 0*s - 1. Let t be d(2). Solve 2*y - y = t for y.
0
Let s(t) = -t**2 - 7*t - 5. Let c be s(-5). Suppose 0 = -5*u + d, -2*u + 18 = 4*d - 4. Solve c*z - u = -6 for z.
-1
Suppose -6*o = p - 3*o - 6, 0 = -3*o + 6. Solve p*v = -2*v for v.
0
Let d = 13 - 11. Solve -d*k - 12 = -6*k for k.
3
Suppose -4 = -4*x + 2*x. Suppose -8 = -2*z - 0, 8 = 2*n + 5*z. Let v = n - -10. Solve -v*j = -2*j + x for j.
-1
Suppose 3*g = -5*h + g, 0 = 3*g. Let v = 13 - 9. Solve h = 6*f - v*f + 2 for f.
-1
Suppose 0 = -o - 0*o. Solve o = -5*k + k + 16 for k.
4
Suppose 4 = r - 3*r. Let g be r/(-6) - 4/(-6). Suppose 3 = 2*z + 2*i + 1, -5*i = 2*z + g. Solve 5*y = z*y for y.
0
Suppose 0 = -3*a - 3*r - 21, 4*a - r + 16 = r. Let s = a - -6. Solve -s - 4 = -w for w.
5
Suppose 0 = 4*j + 3*x + 4 - 14, 4*j + x = 14. Suppose -u - 9 = -4*h, 2*h - 1 = -j*u + u. Solve 3*s - h*s - 3 = 0 for s.
3
Let p(r) = 4*r - 1. Let c be p(5). Let m be ((-6)/(-4) + -2)*-68. Let l = m - c. Solve 0*u + l = 3*u for u.
5
Let z(v) = 2*v**2 - 2*v. Suppose 5 = 5*p - 5. Let a be z(p). Suppose -b = -4*o + 12, -o + 2*b - 6 = a*b. Solve o*k - 5 = -3*k for k.
1
Let n = -38 + 40. Solve -4*q = -n - 6 for q.
2
Let l be (-6)/27 + (-418)/(-99). Solve -l*x = -x + 6 for x.
-2
Let i(m) = -8*m**3 + 3*m**2 + m - 2. Let x be i(2). Let b = x - -85. Suppose 2*q = 3*h + 31, 4*q - h - 110 = -b. Solve -3*p = p + q for p.
-5
Suppose 7*l = 3*l + 12. Suppose 4*m - 5*y = -4, 2*m + 3*y - 8 = l*m. Solve 0 = 4*t - 24 + m for t.
5
Let y = 16 + -10. Suppose 3 = y*c - c - j, 2*j = 2*c - 6. Let d = 0 + c. Solve d = k + k + 4 for k.
-2
Suppose -q + 3 = -3. Solve 7*g = 5*g + q for g.
3
Let u = -15 - -6. Let d = u - -10. Suppose -3*k = -8 - d. Solve k*t = -4 - 2 for t.
-2
Suppose 26 = 5*n + 6. Suppose 4*q - 6*q + 3 = 3*z, 0 = 2*q. Let u be (-3)/(-2 - (0 + z)). Solve x + u = n for x.
3
Let l = 6 - 4. Let n = l + 2. Suppose p + 21 = n*p. Solve -3*w - p - 2 = 0 for w.
-3
Let k(s) = s**2 - 3*s - 51. Let l be k(-6). Let v be (-2)/5 + 24/10. Let q be 57/12 - (-1)/4. Solve l + v = q*c for c.
1
Suppose -3*u - 8 + 0 = z, -3*z + 3*u + 24 = 0. Suppose -7 = -s - z. Solve -l - s = -4*l for l.
1
Suppose 4*p - 2*p - a = -22, a - 10 = p. Suppose -12*d = -15*d + 6. Let i be 11/6 - d/p. Solve 3*q - i = -8 for q.
-2
Suppose 2*k + 3*k = 70. Solve -4*d + k = 2 for d.
3
Let a = 21 - 18. Solve a*o - 6 - 3 = 0 for o.
3
Suppose -4*g - 2*u + 0*u + 488 = 0, g - u = 122. Suppose m = -2*h - 61, m + m + g = -3*h. Let j be 2/7 - m/7. Solve -3*r - 3 = j for r.
-4
Let h = 1 + 3. Solve 8 = 3*v - h for v.
4
Suppose -4*p = -0*p. Suppose 3*o = -4*x + 20, 0 = -3*o - 0*o + 5*x - 25. Suppose 3*l - 6 = -o. Solve -l*t + t = p for t.
0
Let x = -62 - -65. Solve 8 - 5 = x*h for h.
1
Let h be 4 + 3 + (2 - 1). Let a = -6 + h. Solve -3*s + a*s = -1 for s.
1
Let u = 2 - 2. Suppose 2*l + u = 4. Solve r + l + 2 = 0 for r.
-4
Suppose -d = 2*d - 6. Let x be (-3)/(-2) - d/(-4). Suppose -x*l + 4 = -0. Solve l*p - 12 = 6*p for p.
-3
Suppose -15 = -h + 5*b + 1, -20 = -5*h - 5*b. Solve -2*u + h*u = -20 for u.
-5
Let a(o) = -3*o**2 + 3 - 4*o + 4*o**2 - 5 - 7*o. Let d be a(12). Let j be (-2)/3 - 138/(-18). Solve -2*z = -j*z - d for z.
-2
Let k(h) = -h**3 - 3*h**2 + 6*h - 16. Let i be k(-5). Suppose 3*w = -2*p + 4, 3*w + 4*p + p = 10. Solve -q = -w*q - i for q.
4
Let w be (-2)/(-9) - -3*64/108. Solve -w = o + 2 for o.
-4
Let v be 0 + (-84)/(-15) - 6/(-15). Solve -4*t - v - 2 = 0 for t.
-2
Let n(r) = 2*r**2 + 9*r - 1. Let j be n(-5). Solve 2 + 18 = -j*o for o.
-5
Suppose -25 + 1 = -3*i. Let q = -8 + i. Solve q = -5*a + 4 + 6 for a.
2
Let d(z) = z**2 - 11*z + 11. Let o be d(11). Let x(q) = q - 13. Let s be x(o). Let c be (-3 - s)*(-1 - 0). Solve g + 3 = -c for g.
-4
Let m(u) = -u**3 + 5*u**2 + 2*u - 5. Let r be m(5). Suppose -d - t = -0*t, r*t = -2*d - 6. Suppose 3*i + d*i = 0. Solve i = 2*x - x + 4 for x.
-4
Suppose d + 28 = 5*o + 2*d, 15 = 5*d. Solve -3*v + 2*v - o = 0 for v.
-5
Let v(d) = d**2 + 5*d - 4. Let x be v(-6). Solve t + t - x = 0 for t.
1
Let q(f) = 7*f + 56. Let a be q(-8). Solve -3*r + r = a for r.
0
Suppose -2*d - 2 = -4*d. Solve 5 + d = 2*p for p.
3
Suppose -5*q + 24 - 4 = 0. Let w be 9 - (4 + (3 - q)). Solve -w = 2*v + 4 for v.
-5
Let g be -1 + (35/6 - (-2)/12). Solve -t = -0*t - g for t.
5
Suppose 18 = g + 3. Solve g + 10 = -5*x for x.
-5
Let v = 55 - 53. Solve -5*c = -v*c - 3 for c.
1
Let d = -1 - -4. Let b = 6 - d. Solve -b*q + 8*q = -15 for q.
-3
Let t(y) = -3*y + 13. Let v be t(4). Solve v + 3 = -4*r for r.
-1
Suppose 8*v - 35 = v. Solve 1 = -2*g - v for g.
-3
Let s(d) = -4*d + 4. Let n be s(-3). Solve -3*f - f = n for f.
-4
Let v(l) = l**3 + 5*l**2 - 17*l - 16. Let f be v(-7). Solve 0*a = f*a - 25 for a.
5
Let l(f) = -f**3 - 2*f**2 + 1. Let c be l(-3). Let u = c + -10. Solve u*t - 3*t = 9 for t.
-3
Let g(c) = c**3 + 7*c**2 - 3*c - 8. Let i be g(-7). Let h = i + -8. Suppose 4*t - h = -5*x + 2*x, -3*x + 4 = 5*t. Solve -x*d + d = 0 for d.
0
Suppose -6*x + 2 = -5*x. Solve -j - 3 = -x*j for j.
3
Let s = -7 + 7. Solve s = g - 4 + 1 for g.
3
Let m(u) = -u**3 - 8*u**2 - 6*u + 8. Let c be m(-7). Let i be 1 - (2 - 3)*c. Solve -2 = -i*n - 0*n for n.
1
Let h be 1 + -1 + (-1)/(-1). Let x be (4 - 6) + (h - -1). Solve -3*j + 0*j - 6 = x for j.
-2
Suppose -b + 5*b - 3*w = 0, -b = 2*w. Let z = 1 + b. Let m be 1*(2 - (0 + z)). Solve 3 = -2*i - m for i.
-2
Let y = -85 - -119. Suppose -2*j = -5*f - 7*j + 40, 5*f - j = y. Let s = f + -7. Solve -c + 0*c - 3 = s for c.
-3
Let g(r) = r**3 - 4*r**2. Let l be g(4). Solve l = -3*t - 0*t for t.
0
Let q be (-3 + 2)/((-1)/8). Let c be 12/30 - 166/(-10). Solve 5*y + q = -c for y.
-5
Suppose -3*w + 2*w = -2. Solve -w*v + 0*v = -8 for v.
4
Let c(j) = 25*j**2. Let h be c(-1). Let y be (-10)/h + (-17)/(-5). Solve -2 = l + y for l.
-5
Suppose 2*n + 3*q + 22 = 0, n + 3*q + 7 = 2*n. Let c(j) = j**3 + 6*j**2 + 6*j + 7. Let k be c(n). Solve 0 = -k*u - 7 + 3 for u.
-2
Let m = -22 + 22. Suppose k - 3*g - 3 = -3*k, g + 1 = m. Solve k = 5*j - 2*j for j.
0
Suppose 5*n - 2*g - 31 = 0, -5*g + 0*g = -5*n + 40. Solve h - n + 2 = 0 for h.
3
Let g(b) = -b**2 + 10*b - 7. Let m be g(6). Let v = m + -10. Solve -4*a + v = 27 for a.
-5
Let y = 6 - 4. Suppose -30 = -4*w - 2*s, 0*s - 45 = -y*w + 5*s. Solve l = -4*l - w for l.
-2
Let r(d) = d**3 - 10*d**2 + 9*d + 4. Let k be 0 - 2 - -1 - -10. Let f be r(k). Solve f + 1 = v for v.
5
Let a(n) be the first derivative of 5*n**4 - n**3/3 - n**2/2 + n - 1. Let u be a(1). Let s = -11 - -14. Solve s*o - 7 = -u for o.
-4
Suppose -2*b - 4*d = -12, 13 = 3*b + 3*d - 2. Solve b*z - 3 = 5 for z.
2
Let n be 6/10*