 - 2*a + 7 for z.
-1
Let x(f) = -f**3 - f**2 + 4*f. Let r be x(-3). Let k(a) = -a**2 + 7*a - 4. Let h be k(r). Solve 3 = 3*o - 2*b, 0 = h*o - 4*o + 4*b - 6 for o.
3
Let n = -30 + 30. Solve r - 3*x + 2 = n, -x + 2*x = -3*r - 16 for r.
-5
Suppose l + 3 = -3. Let x = 12 + l. Solve o - 2*c = -x, 4*o + 0*c - 41 = -5*c for o.
4
Let m = 14 + -9. Solve -5*d + 3*b = 9, -5*b - m = d - 4*b for d.
-3
Let k be -1 + 0 + 10 + 1. Suppose 5*n + 0 + 8 = -4*p, -11 = -p + 2*n. Solve 0 = -j - 4*j - i - 6, k = p*j + 4*i for j.
-2
Let o be -2 + 1/(2/4). Suppose o*z + 5 = z. Solve -z*g + 5 = 2*p, 3*g - 3 = -0*p + 3*p for g.
1
Let p be 4/(-6) + (-82)/(-6). Suppose -p - 3 = -4*s. Solve 2*k + 4*l = 4, 4 = -3*k + s*k + 4*l for k.
0
Let g = 0 - -2. Suppose 2*w = -2 + 12. Solve -2*j - 4 = 0, p + g*j + w = j for p.
-3
Let p = -9 + 16. Let i(o) = o**2 - 7*o + 4. Let a be i(p). Solve -v - a*s = 13, 3*v + v + 5*s = -19 for v.
-1
Let o = 4 + 1. Let u = -3 - -6. Let a = o - u. Solve -3*p = -2*v + 3, 4*p + 5 = 5*v - a*v for p.
1
Let b = 22 + -19. Suppose -2*v + 6 = 3*o - 56, -2*v + 84 = 4*o. Suppose 3*f - 6 = 0, -o = -3*y - b*f - 2*f. Solve s = -k - k + 6, -y*k + s = 0 for k.
1
Let z(l) = -l**3 - 5*l**2 + 5*l - 2. Let d be z(-6). Let f(i) = 5*i - 2. Let p be f(d). Solve -3*y + p = 5*v, v = 2*y + y for y.
1
Suppose -4*q + 16 = -3*h, -3*h + 1 - 5 = -q. Solve -2*x = 3*x - q*v - 9, 3*x + 3*v - 27 = 0 for x.
5
Let v be (4 - 8)*(0 + -1). Suppose -v*r - 8 = d - 3, -4*r = -4*d + 20. Solve 3*j - h - h + 17 = 0, 3*j = d*h - 21 for j.
-3
Let m(y) = -y**2 - 13*y. Let j be m(-11). Let f = -18 + j. Solve 2*c - 6 = 5*t, 0*t - 3*t = f*c + 14 for t.
-2
Suppose -3*j - 14 = 4*u, 7 = j - u - 0*u. Let b(r) = r**3 + 2*r**2 + 2*r + 1. Let c be b(-1). Solve 2*p - 5*o - 22 = c, o + j + 4 = 2*p for p.
1
Suppose -y - 2*y = -12. Let z = 10 + -5. Suppose 0*v + 2 = v. Solve -z*t - k = -18, -v*t + y = t + 4*k for t.
4
Let x = -7 - -7. Solve 0 = 4*r + 3*m - 4, 4*r + 0*m + 2*m - 4 = x for r.
1
Suppose 60 = -0*h + 6*h. Solve 4*b - 2*b = h, -9 = w - b for w.
-4
Let i be 114/(-8) + 2/8. Let r be (-4)/(-14) - (-4)/i. Suppose -2*n + 2*t - t + 6 = r, -n - t = -3. Solve 12 = -3*a + 2*x + n*x, -4*a - 16 = -4*x for a.
-4
Suppose 12*u - 9*u = 0. Solve -d - 3 = -x - u, -d - 5*x = 3 for d.
-3
Let n = 12 + 12. Let v be (-7)/(70/n)*-5. Let i = -4 - -9. Solve -4*l = -4*c - v, 4*c - i*l = -6 - 8 for c.
-1
Suppose -5*g = -5*h + 25, -3*g + 16 = 5*h - 9. Let v be 1/(-4) + 165/20. Let b = -3 + v. Solve g = -2*p + b*u - 7, -u - 3*u = -p - 8 for p.
4
Let x(n) = -n + 1. Let j be x(-2). Suppose 1 + 2 = j*g. Solve 3*w + z = 12, 5*w = -5*z + g + 9 for w.
5
Suppose -5*d = 2*y - 20, 15 = -2*d + 4*y - 1. Let x = 0 + d. Solve -x*v - 10 = 5*a, -4*v = -2*a + a - 2 for v.
0
Let p(x) = -x**3 + 9*x**2 - 21*x + 8. Let n be p(4). Solve -n*q + 8 = i - 5*i, -q - 4*i = -2 for q.
2
Let k = 4 - -1. Let s = k - 1. Solve 2*g = 4*f - 6, -s*f = -0*f - g - 5 for f.
1
Let l = -5 - -5. Let q be (-1 - 0)*l/1. Let v be 0 - ((1 - 1) + q). Solve -5*w - 4*t + 25 + v = 0, 0 = 2*w - 3*t - 10 for w.
5
Let h be 48/(-22) + (-4)/(-22). Let z = h + 7. Solve p = i + 1, -2*p + 4*i + z + 3 = 0 for p.
-2
Let h be (4/(-6))/((-54)/405). Solve 3*a + 5*v - 2 = 13, 0 = -4*a + h*v + 20 for a.
5
Let d(q) = -3*q - 2. Let h be d(-3). Let p = h + -4. Solve -2*k + k + 14 = p*v, -3*k = 5*v - 22 for v.
5
Let s(r) = -r**2 - 9*r - 18. Let t be s(-4). Solve 0 = -l - t*q - 1, -4*q - 5 - 1 = -2*l for l.
1
Let m = -4 + -23. Let k be (-94)/(-18) + 6/m. Solve 2*s - k*o + 2 = 0, 5*s - 9 = -4*o + 19 for s.
4
Suppose -3 - 4 = -z. Suppose 3*s - 5*j = -1, -2*s + j = -z + 3. Solve -2*v = -5*y + 21, s*v + 3 + 9 = y for v.
-3
Suppose 2*q - 14 = q + 3*j, -2*j = 4*q. Solve 5*v - 6 = 4, -5*m - q*v = -14 for m.
2
Let r be 3*-2*6/(-9). Solve -3*q - 2 = r*y, -2*q + 4*q - 2 = -y for q.
2
Let a(h) = h**2 - 2*h + 2. Let c be a(3). Let r be 3 - (c - (-6)/(-3)). Solve r = -l + 5*m - 25, -5*m + 15 = l - 0*l for l.
-5
Suppose 1 = -5*w + 11. Solve f - w*f - 22 = 5*k, -6 = 3*k - 3*f for k.
-4
Let y(d) = -d - 4. Let k be y(-4). Let t(u) = u**3 - 3*u + 1. Let g be t(2). Solve j = g*f - 0*j - 2, 5*f + j - 14 = k for f.
2
Let i(v) = -2*v + 7. Let j be i(5). Let g be (0 - -1)/(j/(-9)). Solve -p - 12 = 2*q, -g*q - 2*p - 12 = -2*q for q.
-4
Let t(g) = -8*g + 1. Let d be t(-2). Solve -20 = f + 5*i, -3*f = -2*i - 8 - d for f.
5
Let d(w) = -w. Let k be d(-3). Suppose -2*t = -k*t + 2. Solve -3*h - 6 = -3*p, -3*h + 0 = t*p + 1 for p.
1
Let g = -2 + 7. Solve -g*m = 5*a - 4 - 1, 4*m + 3*a = 7 for m.
4
Suppose 4*w - 16 = 4. Suppose 0 = -v - w*k - 3, -2*v - v + 2 = 4*k. Solve -v*q + r - 4 = -7*q, 4*q + 3*r = 12 for q.
0
Suppose t - 12 = -5*t. Suppose -5*v + 4*x - t*x = -12, -x - 8 = -3*v. Solve 5*a + 2*o = -3, -8 = a + v*a - 3*o for a.
-1
Let m = -39 + 42. Solve 0*a - 4*a + 28 = -2*u, m*a = 4*u + 31 for a.
5
Let o(q) = q**2 + 2*q - 4. Let t be o(-3). Let w be 1 + 3*(t - -2). Solve k - 4*c - 5 = 8, 2*k - w*c - 18 = 0 for k.
5
Let o(k) = -7*k**2 + 2*k - 1. Let q be o(1). Suppose 0 = -2*p - 2*p - 32. Let t be 4/q - p/3. Solve -t*f - 12 = 4*c + 2*f, c + 2*f + 7 = 0 for c.
1
Suppose -9*c + 20 = -5*c. Solve 0 = 2*q + m + 12, -2*q = 5*m + 33 - c for q.
-4
Suppose -4 = 3*x - 4*x. Solve 24 = 3*n + 4*c - 0*c, -2*n - x = -4*c for n.
4
Suppose 9 = 3*s - 2*s + v, -3*v + 2 = -2*s. Suppose -2*d - 3 + 11 = 0. Suppose o = 3*u - 1, 3*o - 1 = 5*u - 0. Solve o*n + 1 = -4*m + 11, -s*m - d*n = -8 for m.
4
Let c = -9 + 12. Solve -29 = -5*t + c*o, 4*t - 4*o - 2 = 26 for t.
4
Suppose 0 = 2*b + b. Let v be b*((-10)/(-4) - 3). Let z(h) = 8*h**2 + 2*h - 1. Let t be z(1). Solve -5*c - 5*o = v, -4*o + 36 + t = -5*c for c.
-5
Suppose -2*o = -4*o. Solve 3*n + 3*j + 3 = 0, -4*j + 5 = -5*n - o for n.
-1
Suppose -7*v = -9*v + 10. Solve -8 = -4*r - x, -r - v*x = 3*r - 8 for r.
2
Suppose -2*h + 5*h - 6 = 0. Suppose 25 - 79 = -3*l. Let s = -12 + l. Solve h*c - 18 = 5*x, 3*x + s*c + 17 = c for x.
-4
Let i be (12 - 1) + -1 + 2. Let q = i - 10. Solve 3*f - 3*g - 2 = f, 0 = -2*f - q*g + 12 for f.
4
Suppose -3*w = -7*w. Suppose 2*t + w*t + 19 = 3*a, -5*a + 30 = -3*t. Solve a*q + 9 = 0, -29 = 5*m + q + 2*q for m.
-4
Let z = -12 + 10. Let h = 1 - z. Solve -5*f + 2*g - 11 + h = 0, -6 = 4*f - 2*g for f.
-2
Suppose 4*n = -19 + 91. Suppose 14 + n = 4*v. Solve 0 = -2*x - 4*u + v, -x + 3*u - 1 = -0 for x.
2
Let a be (10/15)/((-2)/(-6)). Solve 4*y - a = o - 21, -4*y = 2*o + 22 for o.
-1
Suppose 4*b + 3 = 23. Solve 4*d - 12 = -4*k, 3*k = b*d + 1 - 8 for k.
1
Let q be 1/(-6) - (-66)/(-36). Let z be (q + -1)*(-2 - -1). Solve 24 = b - 5*i, -z*b = -0*b + 5*i + 8 for b.
4
Suppose 3*k + k = 20, -3*k = -3*y - 6. Solve -2*v + y*s = -3*v, 3*v - 10 = s for v.
3
Let g be 7 + -10 + (1 - -14). Solve -5*a = -5*v - a + g, 4*v = -4*a - 12 for v.
0
Let r(w) = w**3 + 6*w**2. Let x be r(-6). Solve 35 = 5*v + 4*u - 8*u, x = -4*v + 5*u + 37 for v.
3
Suppose 7*u = 9*u - 4. Solve 0 = 5*v + u*b + 15, -2*v - 5*b + 0 - 6 = 0 for v.
-3
Let g = 18 + -30. Let a be -4*(57/g - -4). Solve -4*l = 4*k - 4, -2*k = l - 1 - a for k.
3
Let o be (4 - (-2 + 4)) + 1. Solve -4*f + o*f + 10 = -2*w, 3*w = 4*f - 25 for w.
-3
Let q(f) = -f + 17. Let w be q(13). Solve 2*b = w*j - 3*b - 6, 0 = -j - b + 6 for j.
4
Suppose -6 = -5*j - 2*u + 10, 0 = 4*j - 5*u - 26. Solve 5*m - 21 = j*v - 0*v, 3*m - v - 7 = 0 for m.
1
Suppose 10 = 2*y + 2*o, -4*y + 0*y - o + 11 = 0. Solve 0 = -2*b + 2*i - y, -4*b + 2*b - 2*i = -6 for b.
1
Let q be 24/11 + 8/(-44). Let i be 13 + (5 - 3) + q. Solve -3*a - w - 16 = 0, 4*w - i = 4*a - 1 for a.
-5
Let x(t) = t**3 + 3*t**2 + 2*t + 1. Let w be x(-2). Let c = 1 + w. Suppose c*q - 6*q = -24. Solve 4*n - q = -5*z + 18, -2*n - 14 = -4*z for z.
4
Let v be 415/25 - (6/(-15) - -1). Let c(h) = -h**3 + 4*h**2 + h + 4. Let o be (-8)/(-28) + (-52)/(-14). Let p be c(o). Solve -g = 5*i + v, -5*i - 7 = p for g.
-1
Suppose 0 = -m + 2. Suppose -z - z = 0. Suppose 5*r = -2*u + 85, z*r + 68 = 4*r - u. Solve 3*h - 14 = -2*q + m, 0 = -3*q - h + r for q.
5
Suppose -2*m = -3 - 1. Suppose -5*b - x = m - 29, 4 = 2*x. Solve 0 = -4*f + 3*g - b, 5 + 5 = -4*f + 2*g for f.
-5
Let h be 4/8 + 18/4. Solve 0*f + 4*f - 10 = h*b, 2*b + 4 = -4*f for b.
-2
Let p = 12 - 8. Suppose p*g = 4 + 4. Let a be g + (-3)/(-3)*-1. Solve -4*t = t + 2*k - 