. Let z be f(-2). Suppose 2*c + 0 = z. Solve 5*x - 4*x + 2*h = 2, 0 = c*h - 4 for x.
-2
Let u(z) = 3*z - 8. Let b(n) = 4*n - 9. Let m(t) = -2*b(t) + 3*u(t). Let g be m(9). Solve 2*f - 12 = g*p, p - 5*f + 23 = -3*p for p.
-2
Let s(v) = 2*v - 4. Let a be s(4). Let r(t) = 2*t - 6. Let p be r(a). Suppose 5*h - 5 = -4*m, 0*h - h - p*m - 5 = 0. Solve 4*k = 2*g - 24, h*g = -6*k + k for g.
4
Let i = -37 - -65. Let g be ((-3)/2)/((-3)/i). Solve -o = 2*o + 5*b + g, o + 7 = -4*b for o.
-3
Suppose j = 4*j - 18. Solve 0 = h + w + 2, -4 = j*h - h - w for h.
-1
Suppose -c + 3 - 5 = 0. Let v be -4 + 5 - 6/c. Let l = 2 + 5. Solve v*b - l = 2*b + x, 3*b - 3*x - 6 = 0 for b.
5
Suppose -6 = g + g. Let q be (-9)/g*(-1)/(-1). Let s be (-7 + 1)*(-4)/(-12) + 4. Solve s = f, c = 2*c - 4*f + q for c.
5
Suppose -6*d = -4*d - 76. Solve 3*a + 4*f = -d + 12, 7 = 4*a - 3*f for a.
-2
Let j = 36 + -31. Solve 5*n = j*m - 10, -m = 2*n + 9 + 4 for n.
-5
Let f be (-6)/4 - 390/(-20). Solve s - 3*u = -6*u - 2, -4*s + u = -f for s.
4
Let j be 30/4*(-16)/(-12). Suppose -3*x - j = -4*c + 16, -c + 3*x + 11 = 0. Solve 0 = 5*r - 5, -3*d + 2*d - 6 = -c*r for d.
-1
Suppose k + 0 - 3 = 0. Let p(w) = -w + 8. Let r be p(6). Suppose 0 = -2*b - 4, n + r = -0*n - 3*b. Solve -k*q - 2 = -s + 9, n*s = 3*q + 17 for s.
2
Let m = 4 - 7. Let b be (-20)/(-6) - m/(-9). Suppose 16 = b*t + 1. Solve 4*d + t*n = 3, -d = -4*n - 3 - 3 for d.
2
Let s(g) = 7*g - g - 5 + 5 + 2. Let z be s(-2). Let y be (z/25)/((-2)/5). Solve 1 = -5*f - 2*i - y, -4*f + 2*i = 16 for f.
-2
Suppose 4*d + 2 = 14. Suppose -d*p = 3*p - 18. Solve p*k = -4*q + 1 + 4, 0 = -4*k - 5*q + 7 for k.
3
Let h be 1/(-1)*-1*2. Suppose -l - 2*d + 6 = 2*d, l - 2*d = 0. Solve -h*z - 2*z = 2*j, l*j = -z for z.
0
Let m be (-2)/(-3) + (-198)/(-27). Suppose -12 = -5*w + m. Solve -v - 24 = -5*r, -w*r + 15 = -r for v.
1
Suppose 0 = 4*p + 3*x + 3, p = -4*p - 3*x. Solve -3*j - 9 = 3*v, v - 3*j - 7 = p*v for v.
-2
Let q(x) = x**3 - 4*x**2 - 5*x + 2. Let l be q(5). Let z be 0/(1 - 1 - 2). Let d = z + l. Solve 7 = y + d*m, 0*y - y - 3*m + 10 = 0 for y.
1
Suppose -x + 15 = 4*x, h = 4*x - 11. Let l be (1 - h)*3/(-9). Solve 4*v + 5*p = -8, l*v - v + 3*p = 2 for v.
-2
Let a be -3 + 1 - (1 + 0). Let b = 1 - a. Suppose u - b = -m, -u + 10 = -2*m + 6*m. Solve -3*i = 4*c - 11, -5*i + m*i = 2*c - 7 for i.
1
Suppose 3*d = l - 17, l - 3 - 18 = 4*d. Let g be ((-10)/(-4) + -3)*-4. Solve -2*y = -g*c + c + 2, -5*y = c + l for c.
0
Suppose 0*h - 4 = -2*h. Solve -2*q + 3*f = 6, 2*q - h*f = -2*q + 4 for q.
3
Suppose 0*n + 60 = 4*n. Let m = n + -11. Solve 0*a + a = -g + 4, 4*g = m*a - 24 for a.
5
Let f(y) = -y**2 + 10*y - 12. Let h be f(8). Solve 0*s - 3*s + h*n = -25, -n - 16 = -4*s for s.
3
Let n(a) = -a + 1 + 7*a**2 + 6*a - 8 + a**3. Let w(c) = c**3 + 2*c**2 + 4. Let f be w(-3). Let j be n(f). Solve 0*p - 3*x = 2*p + 2, -2*p + 5*x = j for p.
-4
Let m be ((-11)/33)/((-1)/(-33)). Let n = m + 13. Solve -2*b = a + 6, -4*a + n*b + 24 = -2*b for a.
2
Let x be (-80)/(-3 - (-5)/2). Suppose 8*m - 3*m = x. Let b = 0 - -4. Solve -4*q + 3*h + h = -m, -q - 12 = b*h for q.
4
Let g(z) = -5 + z + 2*z**2 - 2*z + 3. Let i be g(2). Let j be i/(-18) - 20/(-9). Solve -4*o + 4*p = -8, p = -j*p for o.
2
Let f(d) = -d**3 - 5*d**2 + 5*d - 4. Let r = -7 + 1. Let j be f(r). Solve -4*g = -5*m, g = -3*g + j*m for g.
0
Let c = 0 + 2. Let b be -2 + c*(-14)/(-4). Let k = -2 + 7. Solve 35 = 2*r - b*r - 4*x, -k*r + 2*x = 15 for r.
-5
Let t(f) = 2*f**2 + 2*f - 4. Let w be t(-3). Solve 3*y - 2*z + 9 = -0*y, y = -z - w for y.
-5
Let x be (10/8 + 0)*24. Suppose -3*g + 4*a + 1 = -x, -4*g = -4*a - 48. Solve -3*i - 2*j = g, 5*j + 29 = -5*i + j for i.
-5
Suppose -7*w + 33 = -3*w - q, -w + 5*q = -13. Suppose -2*x = w*z - 3*z - 8, 0 = -4*z - 4*x + 4. Let g = 0 + 5. Solve 3*f - 5 - 14 = -5*l, z*l + g*f = 0 for l.
5
Suppose -2 = -3*w + 10. Suppose -3*v = -v - w. Solve -6*a = -2*h - a + 11, 6 = -v*a for h.
-2
Suppose 0 = 4*q - q - 6. Solve -5*s = -2*o - 21, -4*o - 25 = -5*s + q for s.
3
Let z = 6 - 5. Suppose r - 3 = -z. Suppose -18*i + 17*i + 7 = 0. Solve -15 = -3*j, -r*a + i*a + 3*j = 25 for a.
2
Let w be 4/(-16) + (-29)/(-4). Suppose -w + 0 = -f. Suppose -1 + f = 2*n. Solve 4*b = -4*y, -n*y - 2 = -6*y - 2*b for y.
2
Suppose 3*n + 17 = 32. Solve 14 = 4*k - g, -3*k + k = n*g + 4 for k.
3
Suppose -9*m + 4*m + 10 = 0. Let k = -2 - -3. Let v = 1 + k. Solve -o + 1 = 3*a, m*o - v = -5*a + 1 for o.
4
Suppose 2*x + 3*x - 100 = 0. Let h = x + -20. Solve -3*q + 6 = 0, -3*q + 18 = -h*i + 3*i for i.
4
Suppose -i + d + 8 = 0, d = 3*i - 1 - 17. Suppose -i*p = -37 + 2. Solve -u - p*q + 12 = -3*q, -2*q = -4*u - 24 for u.
-4
Let f = -6 - -13. Suppose f*m = 5*m + 26. Let a = m + 7. Solve 3*v + b + 1 = -4, 3*v + a = -4*b for v.
0
Let w(y) = 7*y - 3. Let v be w(1). Suppose 4*p + k - 72 = 0, 5*p - 3*k - 93 = -3. Solve -6*q + 2*r + p = -v*q, 4*r = -20 for q.
4
Suppose 2*c - 7*c = -5. Solve -f = -2*d - 2*d + c, 4*f = -2*d - 22 for d.
-1
Suppose 4*a + a = 60. Let k be 110/4*a/10. Solve 5*j - 2*l - k = 0, 0 = 6*j - 3*j - 5*l - 35 for j.
5
Let t(y) = -3 + 2*y**2 + 3*y - 1 - 5. Let h be t(-4). Solve 0 = -j + 5*u + 16, 2*u + h = 4*j + j for j.
1
Suppose -47 = -5*h - s, 0*s = h - s - 7. Let d = h + -9. Solve 0 = 4*t - d - 4, 4*b - 5*t - 7 = 0 for b.
3
Let y be ((-18)/4)/(21/56). Let x = y - -22. Solve 0 = -0*i - i - 2*h + 5, 3*h - x = -2*i for i.
5
Let y be (-8 + (0 - -1) - 1)*-1. Solve -2*r + 2*g = -y, 2*g - 2 = -2*r + 10 for r.
5
Let v(t) = 2*t**2 - 2*t. Let k(c) = c - 5. Let i be k(7). Let p be v(i). Suppose -3*y + p*y - 2 = 0. Solve 4*r + 17 = 2*w - w, 4*r - y*w = -22 for r.
-3
Let k = -4 - -7. Let x be (0 - 0)/(2 + 3/(-1)). Solve k*u + 11 = -j - x*j, 2*j + 2*u = -14 for j.
-5
Let r = 7 + -2. Suppose -4 + 19 = r*x. Solve -4*k - 2 = x*l + 5, -17 = 5*k + l for k.
-4
Suppose -29 - 21 = 2*t. Let q = t + 27. Solve 2*f - 20 = -0*f + 5*b, -2*f - q*b = 8 for f.
0
Suppose 5*w = -t + 16, 4*w + 3 = 3*t + 31. Let j = -1 + 2. Solve j - 6 = 3*a - v, 4 = 4*a + w*v for a.
-1
Let k(q) = q**3 - 7*q**2 + 6*q. Let a be k(6). Solve 0 = -2*o + r - 3, 4*o + a*r + 9 = 3*r for o.
0
Suppose -6*o + 27 + 3 = 0. Solve -4*g + 12 = -2*d, -d = -0*g - g + o for d.
-4
Let h = -2 + 7. Suppose -q = -4, -h*x + 2*q - 5*q + 42 = 0. Let j be 3/x + (-98)/(-4). Solve -j = 5*d, 4*r - 5*r + 14 = -3*d for r.
-1
Let v(d) = d. Let i be v(0). Suppose i = -0*u + 5*u - 10. Suppose 24 = u*x - 0*x. Solve -3*q - q = k - x, 6 = 3*k - 3*q for k.
4
Let o(n) = 0 - 2*n**2 - n**2 - 2*n + n**3 - 2 + 0*n**2. Let v be o(4). Solve 0*z + 4*a = 2*z - v, -2*a + 22 = 4*z for z.
5
Suppose -2*s - 11 = -3. Let c = 6 + s. Solve 8 = o + 4*p, 4*p = 2*o + c*p - 6 for o.
4
Let c be (-14)/(-6) + (-1)/3. Suppose -c*f - 6 = -5*f. Suppose -6*z = 2*z - 40. Solve -4*v = -z*v + 5*n + 9, -5*v + f*n + 22 = 0 for v.
4
Let j = -24 - -12. Let p(g) = g**3 + 13*g**2 + 12*g + 5. Let r be p(j). Suppose q + 1 = r. Solve -2*f = -k + 9, -q*k - 5*f + 15 = 5 for k.
5
Let j be (-3)/(-2)*(-24)/(-36). Solve -h = -o - j, -2*o + 6 = 4*h - 7*o for h.
-1
Let a be 12 - 5 - (2 - 0). Suppose -4*z + a + 11 = 0. Solve 3*l = 2*r + z, r + 2*l + 4 = 2 for r.
-2
Let o be 1070/15 - 4/(-6). Let i be (o/30)/((-2)/(-5)). Let d(h) = h**3 - 6*h**2 - h + 7. Let b be d(i). Solve -3*w = -l - 4*w - b, 5*l = 3*w + 35 for l.
4
Let p = -7 + 7. Solve 4*k + 2*o - 6 = p, o + 1 = -4 for k.
4
Suppose 4*z + 7*z - 33 = 0. Solve -2*t = x - 3 - 0, x = -3*t + z for x.
3
Let y = -9 - -18. Let a = y - -8. Let o = -3 - -5. Solve -3*n + 5*n = -3*c - a, -o*n - c - 7 = 0 for n.
-1
Let w = 1 + 1. Suppose w = 4*n - 6. Solve u = 5*q - 3, -3*q - n*u + 6 = -q for q.
1
Suppose 13*w + 24 = 14*w. Solve 0 = -4*k - x - w, 5*k + 0*k + 5 = 5*x for k.
-5
Let z(t) = t**3 + 3*t**2 + 2*t + 2. Let k be z(-2). Let g = 4 - k. Solve g*m - 8 = f + 6, -f = -4*m + 24 for f.
-4
Let j be (4 - 2 - 1)*0. Let w(a) = -a**3 + 30. Let n be w(j). Suppose -d - 73 = -3*o, 20 = 2*o - 2*d - n. Solve 4*b + 22 = -b + v, -5*b = -2*v + o for b.
-4
Suppose o = -5*y - 8 + 36, y = 5*o - 10. Solve a = -0*a - o*c - 12, 0 = -2*a + 5*c + 20 for a.
0
Let a(p) = p**2 + 10*p + 12. Let l(f) = -f**3 - 6*f**2 + 8*f - 3. Let w be l(-7). Let x be a(w). Solve 4*n - n + x = 0, -3 = 5*v - 3*n for v.
-3
Let z be (0 - 1) + (7 - 2). Suppose