*x(u). Let g be d(5). Let a = -2 - g. Solve a = -2*l - z + 9, 6*l = 3*l + 5*z + 20 for l.
5
Let s(g) = -g - 3. Let z be s(-4). Suppose 2*k - 13 = z. Suppose -m = 1, -2*j + m + k = -2. Solve -4*l = -j*d - 16, -4*d - 16 = 4*l - 0*l for l.
0
Let b(o) = -o**2 - 8*o - 7. Let a be b(-7). Suppose -f + 4 = -a. Solve 0 = y - 5*k - 3, 2*y + 12 = 6*y - f*k for y.
3
Let b(y) = y**2 - 7*y - 11. Let q be b(9). Let f be (-2)/(-2) - (q - 8). Let w = -2 - -7. Solve 4*g = c + w - 4, 4*g = f*c + 6 for c.
-5
Suppose 2*t = -3*q + 4 + 11, -21 = -2*t - 5*q. Solve 0 = t*x + 5*j - 2, 4*j - 8 = 8*j for x.
4
Suppose 0*s = q - 4*s - 20, -3*s + 4 = 4*q. Let t = -2 + q. Suppose -3*f + o = -34, -o - 16 = -t*f - 2*o. Solve 4*c - 8*c + 20 = 4*h, 2*h - 4*c - f = 0 for h.
5
Let d = 22 + -34. Let x be ((-6)/(-8))/((-3)/d). Let o = x - -2. Solve w - 19 = 3*g + 2*g, o*g + 24 = -4*w for g.
-4
Suppose -21 - 11 = -4*s. Suppose -3*n - 2*n = -20. Suppose -4 = -7*m + 10. Solve -l = -3*l - p - s, -2*p - n = -m*l for l.
-2
Let k be (12/10)/((-9)/(-30)). Suppose t - 20 = -k*c, 0*c + 15 = 4*t + 3*c. Solve 9*z - 4*z + 2*h - 10 = t, -4*z + 2*h + 8 = 0 for z.
2
Let k be -8 - 5/((-15)/6). Let j be 1/5 + k/5. Let f = -1 - j. Solve 8 = -f*v + 2*v + 3*u, -3*v - 5 = -4*u for v.
1
Suppose 1 - 13 = -2*v - 2*x, 4*x = -v + 9. Let r = 401 - 398. Solve -v = 4*g + f - 1, -4*g = -r*f + 20 for g.
-2
Let x = -3 - -3. Let w be -5*(-1 + 0)*1. Suppose 4*p - d - 28 = -3*d, w*p - 4*d - 9 = 0. Solve -q - 2*q + p*o + 16 = x, 2*q = o - 1 for q.
-3
Let q be (-18)/4 + 4/(-8). Let y be 0 - (q - (-6)/2). Solve 6 = 2*k + 3*t - 10, 8 = y*t for k.
2
Suppose p - 11 = -0*p - 5*c, -p - 3*c + 7 = 0. Let n be (1/2 + -1)*-2. Suppose 4 - n = t. Solve f - p = 2*f - j, t*f - j + 7 = 0 for f.
-3
Let w be (-10)/(-2) - (-2 + 2). Let z(v) = v**2 + 6*v - 1. Let i be z(-7). Suppose -i = -5*j - 1. Solve -w*f - j = -5*x + 4, 3*x + 29 = -5*f for f.
-4
Let t be -1*(0 - 1) - -2. Suppose w - 5*g = -16, 0*w + t*g = 4*w + 13. Let j = 3 + w. Solve -b - j*x = 6, -b + 5*b - 5*x - 28 = 0 for b.
2
Suppose 4*i - 16 = 16. Suppose 3*d + i = -4. Let t be (4 + -14)*2/d. Solve -5 = t*j - 5*h, 5*j - j = -3*h + 10 for j.
1
Suppose 2*c - 21 = -c. Suppose -3*f + h + c = 0, 3*f + 7 - 16 = 3*h. Solve -f = 3*u + 5*y + 12, -2*u - 3*y = 8 for u.
2
Let l = -9 - -7. Let s be (-4 + -3)*l/2. Solve -t + y + s = 2*y, 4*t + 2*y - 20 = 0 for t.
3
Suppose -11 = 2*c + g, -22 + 3 = c + 5*g. Let j be c/(-3)*3/2. Solve y - j*t = -5*t + 1, -5*y = 2*t + 21 for y.
-5
Let c = -11 - -13. Solve w = -2, -c*q + 5 = -4*w - 11 for q.
4
Let o(j) = 3*j**2. Let q be o(1). Suppose -q*n + 8*n = 75. Let b be n/3*(0 - -1). Solve 2*x + b*r - 1 = -4, 24 = -5*x + 4*r for x.
-4
Suppose 3*h = 5 + 7. Solve 2*d = h*d + 5*p + 6, p - 6 = 2*d for d.
-3
Let f(y) = 0*y + 0*y - y + 3 - y. Let t(b) = 10*b - 14. Let c(h) = -11*f(h) - 2*t(h). Let d be c(5). Solve 2*o - 10 = -4*w, 0 - 10 = -d*w for o.
1
Suppose 8*m = 3*m. Solve m = w + s + 3, 6 = -2*w + 4*s for w.
-3
Let o = 83 + -83. Solve o = 5*k - 4*m - 16, 0*k + 16 = 2*k - 4*m for k.
0
Let d = -56 - -58. Solve -5*r - 5 = 5*l, d*r = 5*l + r + 5 for l.
-1
Suppose -2*s - 2*t + 14 = s, -2*s = 3*t - 16. Suppose 0*w - 54 = -s*w. Solve 3*i + w = 5*q, -8 = 5*i - 0*i + 4*q for i.
-4
Suppose n + 0 = 2. Suppose 4*q = 3*q + 5, -d - 30 = n*q. Let p = -14 - d. Solve 4*i = -5*c + p, 7*i + c = 2*i + 22 for i.
4
Suppose -5*l - z = -12, -l + 2*z = 7*z + 12. Solve -l*s + 30 = 5*y, 3*s - 2*y + y - 12 = 0 for s.
5
Let z(b) = b. Let h be z(2). Let u be (2 - -3)*4/h. Let c = 0 - -3. Solve c*a - d + u = 0, 2*a + d + 0*d = 0 for a.
-2
Let x = -66 - -68. Solve -7*r = -4*r + g + 14, 0 = x*g + 10 for r.
-3
Let a be (-2)/7 + (-4)/(-14). Suppose 4 = l + 8. Let b be 0/l - -1 - -12. Solve 2*n + 1 = -a*t + t, n - b = 5*t for t.
-3
Suppose m = 30 - 6. Suppose 0*l - 2*l + m = -p, 3*p + 2 = l. Solve -7 = 3*k - 3*c - 4, l = k + 2*c for k.
4
Let h(k) = k**3 + 10*k**2 - 13*k - 16. Let u be h(-11). Solve 2*n + s + 11 = 0, -10 = -5*n + u*s - s for n.
-3
Suppose -3*p + 16 - 1 = 0. Solve 12 = -p*b + 4*l - 5*l, -5*b + 4*l - 27 = 0 for b.
-3
Let x be (-4)/8*(1 + -1). Suppose -5*r + 7 = z, x = -2*r - z + 3 - 2. Solve 2*j - 2*o = r, -12 = -4*j + 2*o - 0*o for j.
5
Let n be 2/(-4) - (-270)/12. Suppose -5*w = t - 42 - 13, 5*t + n = 2*w. Suppose 0*d - 16 = -4*d. Solve -d*a + 0 = -3*s + w, -3*a - 6 = 0 for s.
1
Let j = 10 + -6. Solve 4*v + 4*u + 8 = -0*u, u = -2*v - j for v.
-2
Suppose -4*y = -0*y - 292. Suppose 3 = 3*f, -f = -4*d - 2*f + y. Solve -2*x = 3*q - d, -4*q + x - 2*x = -19 for q.
4
Let w be 6/(-5)*(-35)/(-14). Let g = 9 + w. Solve t - 3*r = 6, -r - g = -5*t + 2*r for t.
0
Suppose -5*z = 1 - 6. Let h be 5 - 4 - (0 + z). Let a = 42 - 39. Solve 2*m = h, a*x = m + 16 - 7 for x.
3
Suppose 8 = 2*y - 2*t - 4, -3*t - 3 = 2*y. Let i = 3 - 3. Suppose i*x = -2*x. Solve -3*s - y*f + 6 = -4*f, x = 3*s + 3*f - 6 for s.
2
Suppose 3*v - 17 = 2*v - 3*p, -5*p = -15. Solve 2*m = 5*z - 26, -4*z = -v*z + m + 19 for z.
4
Let s be 10/(4 + -1 + -1). Solve -s*r + 2*b = -4*r + 3, r + 2*b = 1 for r.
-1
Suppose 3*s - 48 = -s. Solve -2*q + s = 2*z + z, -5*q = -15 for z.
2
Let d be (36/(-2))/2 + 3. Let g be (-60)/(-14) + d/21. Let u = 0 + g. Solve 5*l = -3*w + 15, 0 = 3*l + w + u*w - 25 for l.
0
Suppose -17 = -5*l - 2. Let i(n) = n**3 + 8*n**2 + 7*n + 3. Let c be i(-7). Let z be 3*(8/6)/2. Solve c*h + l = 2*g, h + 3 = -z*h - 2*g for h.
-1
Let h(x) = -x**2 - 6*x + x - 1 + 4*x - 6*x**3. Let t be h(-1). Solve -5*u = -z + 5, -4*z - t = 7*u - 2*u for u.
-1
Let q be 1*(2 - -5) + -3. Suppose -4*b + 41 = 3*p, 5*b = -q*p + 29 + 26. Let d be (-54)/(-10) + (-6)/15. Solve -d*z = -x + 12, -5*x + 2*x - 2*z = p for x.
-3
Let r = 1 - -1. Let q(f) = 2*f + 1. Let k be q(r). Solve -k*w - 2*u + 9 = 0, -1 + 2 = 3*w - u for w.
1
Suppose w - 4*z = 20, -2*z - 17 = -w - 5. Suppose -c = 3*c + w. Let l be c/5 + (-33)/(-15). Solve -10 = 3*f + 2*i + l*i, 3*f = 2*i + 14 for f.
2
Let w(a) = a**3 + a + 1. Let j be w(-2). Let c = j + 13. Solve -2*t + 10 - 2 = -x, 0 = -t - c*x + 4 for t.
4
Let v be (1 - 2 - -3) + -2. Suppose 4*a - 5*q + 9 = v, 2*q - 3 - 7 = 0. Solve -2*l = 6, -l = -a*j - 4*l - 5 for j.
1
Suppose 4*t + 4*z - 36 = 0, 3*z + 8 - 55 = -5*t. Solve 4*v + 5*u = -26, v - u + 4*u = -t for v.
-4
Suppose -5*i + 4*x = -3*i + 16, 3*x = 15. Solve 0 = 2*v - i*a, 3*v = -a + 3*a + 2 for v.
2
Suppose 7*b - 3*b = 2*z + 32, -2*b = z. Let l be 9 + z - (-3 - 1). Suppose -3*o = l*p - 27, -3*p - 2*p = -o - 31. Solve -2*h - 2 = -0*i - i, -i = 2*h + p for i.
-2
Let h = -4 + 6. Suppose y + s = -3 + 7, 5*y + h*s - 14 = 0. Let o be -1 + y + -2 - -1. Solve -u = -4*g + 2, o = -2*g + g - u - 2 for g.
0
Let s(i) = i - 2. Let q be s(2). Let x be 1 + -5 + q + 2. Let u(t) = -t**2 - 5*t - 2. Let p be u(x). Solve 2*c - 8 = -4*l, -5*l = p*c + c - 5 for c.
-2
Suppose 0 = -3*d - 0 + 3. Solve 2*m = 5*r + d - 2, 0 = 5*m + 3*r + 18 for m.
-3
Let g = 24 - 38. Let z be (10/35)/((-2)/g). Solve -5*v = -z*m + 17, 3*v + 15 - 4 = m for v.
-5
Let y(h) = h. Let x(z) = z. Let g be x(3). Let j be y(g). Solve 0 = -3*q + 4*o - 31, 6*q - j*q = -o - 11 for q.
-5
Let t(c) = 2*c**2 + 2*c - 1. Let m be t(-2). Suppose 0 = -f + 4. Solve -f*u = -4*p - 12, 2*u - m = p - 0 for p.
-3
Let w be (3/(-2))/(3/(-10)). Solve 2 = -4*j - w*z, 2*z = -2*j - 3 + 1 for j.
-3
Suppose -3*f + f - 14 = 0. Let r = -5 - f. Solve 4*x = 3*w + 16, x + 16 = 5*x + r*w for x.
4
Suppose -5*j + 0*j - 15 = 0. Let d be (-8)/6*j/2. Suppose f + f - 19 = 5*v, -f = -5*v - 17. Solve -5*y - 4 + 2 = i, -i + f*y = d for i.
-2
Let x be 30/(-12)*(-6)/(-5). Let l be -1 + 6 + x + 1. Suppose -o + l*j = 13, 3*o - 4*o - 2*j + 12 = 0. Solve -m - 21 = 4*r, o*r + 4*m + 8 = -6 for r.
-5
Let r(o) = -o**2 + 8 - 1 + 0*o - 4*o. Let v(p) = 5*p**3. Let b be v(-1). Let h be r(b). Solve -s + h*g = g - 6, -16 = 2*s + 5*g for s.
2
Let q(d) be the first derivative of -d**3/3 + 3*d**2/2 + 4*d + 6. Let o be q(4). Solve o = 3*h - 5*h - m, -2*m + 1 = 3*h for h.
-1
Let t = -1 - -4. Let n(l) = -5*l**2 + t*l + 4*l - l**2 + l**3. Let j be n(5). Solve -5*f = w + 10, 2*w - j = -0 for f.
-3
Let p(q) be the third derivative of q**4/8 - q**3/2 + 3*q**2. Let a be p(4). Solve -k + 2*s = -a, -5*s - 30 = 5*k - 10*k for k.
3
Suppose 0*y - 4*y - 36 = -4*j, 10 = -2*y. Suppose j*l + 