4. Let d be u(8). Solve -6 + 1 = 5*t, d*t = -3*w + 8 for w.
4
Let q = -2 + 3. Let c be (6/(-10))/(q/(-5)). Solve -6*l = -2*l + 3*f + 16, 3*l - c*f - 9 = 0 for l.
-1
Let f(b) = -2*b**3 + b - 1. Let c be f(1). Let a = -2 - c. Suppose a*g + g - 11 = -4*o, -g + 3*o - 3 = 0. Solve -6 = -g*k, 4*z - 2*k + 4 = 8*z for z.
0
Let z(g) = g**3 + 7*g**2 - 10*g - 11. Let s be z(-8). Solve -p + 5*p - s*x + 6 = 0, 6 = 2*p + 2*x for p.
1
Suppose 0 = -2*h + 1 + 7. Suppose -7 + 27 = -2*l. Let j be (-2)/h - 65/l. Solve 3*t - 10 = 2*d, 2*d + j*t - t = 6 for d.
-2
Let k(c) = 3 - 10*c**2 - 2*c**3 + 5*c**2 - 4*c + c**3. Let x be k(-5). Suppose -3*h = -0*h - 12. Solve -3*g - 2*g - 7 = 4*j, -x = -h*j + 5*g for j.
2
Suppose -7*i + 5*i = -54. Solve 2*a - a + 2 = 3*p, -2*p - 5*a - i = 0 for p.
-1
Let w be 3/((-1)/((-10)/6)). Solve 0 = 2*f - 3*z + 5, -f + 3*z = 4*z + w for f.
-4
Let p be -1*16/(-2*2). Suppose p*j = 3*q - 29, 0 = q + 4*j - j + 12. Solve -d - q*m + 2*m = 1, d = 2*m - 1 for d.
-1
Let t be ((-8)/2)/(-1*2). Let g = 59 - 55. Solve -n - g*j + 3 - 18 = 0, 35 = 5*n - t*j for n.
5
Let w(t) = -5*t - t - 4 + 3*t. Let i be w(-3). Suppose -a - 1 = j, -3 - 14 = -3*a + 2*j. Solve 4*g = 4*x + 4, 0 = -4*x + a*g - 1 - i for x.
-3
Suppose -3 = 3*a - 4*a. Solve 2*c + a + 13 = -4*w, 0 = 4*c + 2*w + 2 for c.
2
Let a = -1 + 3. Suppose 36 = 5*z - z. Let o = z - 7. Solve i - 6 = a*b, 3*b - b - o = -i for i.
4
Let m be 1*3/(-9)*-9. Solve 3*g + 12 = -r - 0*r, -m*g = -5*r + 30 for g.
-5
Let m(p) = 3*p**2 - 5*p + 6. Let t(j) = -j**2 - j - 1. Let q(z) = -m(z) - 2*t(z). Let s be q(6). Solve 4*i = -3*h + s*i + 9, 2*h - i = 6 for h.
3
Suppose 6 + 16 = 11*q. Solve -8 + 2 = 2*r - 3*t, 0 = -3*r + q*t - 9 for r.
-3
Let s = 54 + -48. Solve p = 5*y - 17, 5*y = -3*p + y + s for p.
-2
Suppose 0*h + 10 = 5*h. Suppose 0 = -i + 2*v - 3, -6 = -i + 2*v - 3*v. Let a = 3 + 0. Solve h*o - a*b = -8*b + 7, i = b for o.
-4
Suppose 0 = 2*w - 4*b - 14, -2*b - 5 + 1 = 0. Solve -5*y - 14 = -w*a, 0 = a + y + 4*y + 22 for a.
-2
Let y = 41 + -41. Solve 5*f + k = -y*k, -3*k - 12 = 3*f for f.
1
Let k = 20 - 14. Suppose 0 = -o + l - 0*l + k, -4*l - 12 = 0. Solve a = -3*a, p = a - o for p.
-3
Suppose -r - 77 = -4*b, -3*b + r = -b - 37. Solve 0 = 5*i - 5*t + b, -4*t + 24 = 2*i + 2*i for i.
1
Let t be 1 - (-3 - -1)/1. Let w(q) = q + 3. Let n be w(-7). Let h = 0 - n. Solve 3*m - x + 4 = -t, -h*m + x = 8 for m.
-1
Suppose 4*v + 0*v - 72 = 0. Let j be ((-21)/14)/(6/(-4)). Let q be ((-1)/(-2))/(j/v). Solve 1 = -d - 3*x - q, -5*x + 2 = -3*d for d.
-4
Let u be 11/33 - (-20)/3. Solve -2*k - 2*q = -k - u, k - 5*q = -14 for k.
1
Let g be 3*(3 - 4)*-1. Suppose 2*x - g*x = -2. Solve 2*u - 4*c + 18 = 0, 15 = -x*u + c + 2*c for u.
-3
Let h = -6 - -9. Suppose 2*v - 20 = -5*b, -h*v - 3*b + 13 = -4*b. Solve -v*c = -3*y + 24, 0*c + 4*c + y = -9 for c.
-3
Suppose -f = -2*d - 12, 12 + 15 = f + d. Solve 0 = b - k - 3*k + 3, k = -4*b + f for b.
5
Let f = 56 - 8. Let p = -26 + f. Solve n + 1 = 2*c - 2*n, 5*c = n + p for c.
5
Let r(a) = -a**3 - 5*a**2 - 3*a + 8. Let l be r(-4). Solve -4*k - 3*b + l*b + 25 = 0, 25 = -5*b for k.
5
Let t = 20 - 9. Solve 34 = 3*a + 4*u + t, 3*u - 16 = -2*a for a.
5
Let t(s) = -4*s - 1. Let h be t(-1). Let g(j) = -2*j + 18. Let i be g(9). Solve i = 3*x - h*p + 7*p - 16, -1 = -p for x.
4
Let y be 1/((-33)/(-15) + -2). Let n(a) = -a**3 + 4*a**2 + 5*a + 3. Let g be n(y). Let w = -7 + 12. Solve 2*z + g*b = -z + 15, -z - 4*b = -w for z.
5
Suppose 16 = 5*h - 3*l, 2*h + l - 13 = -0*h. Solve n = -h*i + 12, -3 = 5*n + 3*i + i for n.
-3
Let b(t) be the first derivative of t**4/4 + 4*t**3/3 - 2. Let z be b(-4). Solve 2*g - 5*m - 15 = 0, g - 5*m = -z*m + 15 for g.
0
Suppose -2*f = -4*w + 4 + 2, -2*f + 18 = 4*w. Let l be ((-2)/(-3))/(1/6). Solve 0*d - 7 = -l*n - f*d, 0 = -4*n + 4*d for n.
1
Let q = 36 + -31. Solve 5*w - 6*d = -d - 5, -2*d = -q*w - 2 for w.
0
Let d(y) = -y**3 - y**2 + 4*y + 4. Let u be d(-1). Solve 3*o = -4*k - 37 + 8, u = 2*k + 10 for o.
-3
Let y be (21/(-2))/(-7)*2. Solve y*m - 5*a = -13, 3*m - 3*a + 9 = -0*m for m.
-1
Let a = 46 - 41. Suppose -3 = -5*u - 3*c - 0*c, -3*u - 3*c = 3. Solve -s = -v - 2, u*s = a*v + 5*s - 4 for v.
0
Let m(k) = -5*k**3 - k**2 + 1. Let w be m(-1). Let t = -5 + w. Solve q - b + 0 + 1 = t, -5*b - 20 = 0 for q.
-5
Let y(g) = 4*g - g + g**3 + g + 1 - 3*g. Let a be y(0). Solve d + 1 = w - a, 0 = 2*d - w + 7 for d.
-5
Let g(y) = -4*y. Let j be g(3). Let b = j - -14. Solve b*p = 8, -2*p - 3*p = r - 20 for r.
0
Let p = -3 - -7. Let x = p + 2. Solve -3*q + 11 = -2*s, x*q - 2*q - 3*s - 15 = 0 for q.
3
Let x = -1 + 4. Let z = 2 + x. Solve -z*n = 10, -2*f - 4*n = n + 12 for f.
-1
Let b = 10 + -14. Let a be (2/b + 2)*2. Solve 5*h - 2*l - 37 = -6*l, -3*h + 4*l = -a for h.
5
Suppose -4*h = -23 + 11. Suppose z = 2*c + 11, 5*z - 31 = -0*z + 2*c. Suppose v = o - z, v + 25 = 2*o + 3*o. Solve m - 18 = h*g, -2*m + 26 = -o*g + g for m.
3
Suppose 3*p - p = 0. Suppose p = -u - 4*u. Solve u = -4*j - b + 4, 4*j + 5*b - 3 = j for j.
1
Suppose 0 = -8*a + 7*a. Solve a = -3*s + 15, -3*s = -2*p - 2*p + 1 for p.
4
Let n(x) = x**3 - 6*x**2 - 9*x + 9. Let q be n(7). Let y(o) = o + 11. Let f be y(q). Solve 3*g - 1 = 5*k - 3*k, 0 = 3*k + f for g.
-1
Let q be 52/44 + -1 - (-2)/(-11). Solve 0 = 5*k + 5, 2*k + q = -z + 1 for z.
3
Let x be (5/6)/(20/120). Solve -2*q + x*v = 19, -4*q = -5*q + 3*v - 11 for q.
-2
Let l(y) = -y**2 + 3*y + 1. Let r be l(2). Let h be r + 2*(-1)/2. Solve -5*u = -h*q + 11, 3*u + 5*q + 7 = 4*u for u.
-3
Let r = 15 - 10. Solve -2*u - 17 = -r*g + u, u + 9 = 5*g for g.
1
Let f = -1 + 7. Let k(d) = d**2 - 5*d + 2. Let x be k(3). Let z = x + f. Solve z*t = -4*w + 5*t - 10, w = -3*t - 10 for w.
-4
Let o = -6 - -10. Suppose -o*q + 2*j + 17 = -7, -2*q - 3*j + 28 = 0. Let t be (1 - 9)*2/(-1). Solve 4*g = -2*k - t, -20 + q = 5*k - 4*g for k.
-4
Let l(a) = -a**2 + 2 - 4 + 6*a - 1. Let p be l(4). Solve 4*k = 5*i + 5*k + 22, 4*i - p*k = -6 for i.
-4
Let l = -66 - -70. Solve l*p - 4*q - 12 = 0, 5*p = 3*q + 7 + 2 for p.
0
Let f(u) = -u + 9. Let d be f(5). Suppose 0 = -4*y - 4 - 4. Let x = y + d. Solve -x*i = 4*p + p - 35, -5*i = -2*p - 15 for p.
5
Suppose -2*q + 18 = 4*h, -3*q + 24 = q + 4*h. Solve 0 = -3*s + 3*x + q, s + 2*x = -2*s - 22 for s.
-4
Let t = -20 + 17. Let a be (t/(-3))/((-1)/(-3)). Solve 3*g + 6 = -0*g - a*q, 5*g = -2*q - 1 for g.
1
Let h be (-16)/(-10) - 8/(-20). Solve 2*j + h*j - 3*l + 12 = 0, 5*j + 3*l = -15 for j.
-3
Let k(l) = 3*l**2 - l - 1. Let f(j) = j - 8. Let w = 15 + -8. Let b be f(w). Let a be k(b). Solve 0 = -0*z - 4*z + 5*g + 37, -3*z + a*g = -24 for z.
3
Let b(p) = -p**2 + 7*p - 7. Let o be b(5). Suppose -o*n + 45 = -0*n. Let i be (-3 + n/9)*-3. Solve 14 = 2*g + q + 3, -i*q - 11 = -3*g for g.
5
Suppose -4*a + 11 = -1. Suppose -4 = -u, -2*q + 3*u - 8*u = -50. Let m be 10/4*12/q. Solve -4 = 5*v + 2*t, 5*v + 13 = m*t - a for v.
-2
Let f = 5 - 4. Solve f + 8 = -3*p, -4*j - p - 3 = 0 for j.
0
Let z = -18 - -30. Let c(s) = s**2 + 7*s + 9. Let v be c(-6). Solve 4*k = v*j + 3, 3*j - z = -5*k + 12 for k.
3
Let y(z) = z**2. Let j be y(-5). Let k(x) = 10*x + 123. Let f be k(-12). Solve -2*a - 4*s - 10 = 0, f*a - 7*s - j = -3*s for a.
3
Suppose -4 = v + 2*q, 2*q + 2*q + 32 = 4*v. Solve -18 = 4*p - 2*j, 3*p + 7 = j - v for p.
-2
Let c(z) = -z + 18. Let r be c(16). Suppose 4*h - 5 = -1, 4*s - 6 = -2*h. Let w be -5*(-3 + 1 + s). Solve -4*m = -5*v - 35 + 6, -r*v = -w*m + 15 for m.
1
Let x = 2 + -2. Suppose b - 5*b + 4 = x. Suppose -5*g - 10 = -3*d, -4*d + 23 = -4*g - b. Solve -f - 19 = -4*l, -5*f + 0*f + 3*l - d = 0 for f.
1
Suppose 5*c - 26 = -6. Solve 2 + 15 = 3*t + c*j, -4*j = -20 for t.
-1
Let g(q) be the second derivative of q**3/6 + 7*q**2/2 - q. Let h be g(-5). Suppose -h*b = -b - 2. Solve 25 = -5*j, 3*j - 11 = -b*n - 28 for n.
-1
Let r = -6 + 12. Let x be (r - 3) + 2*-1. Let u be (x/3)/((-1)/(-12)). Solve -4*o + 33 = -w + 9, -3*o - 1 = u*w for w.
-4
Let t be -1*(-3)/((-12)/(-40)). Let i = -6 + t. Let v = 5 + -1. Solve n - 4*h = -0*n + i, -n = -h - v for n.
4
Let c = 158 + -156. Solve 5*y - 2*w - 4 = c*w, y + 2*w + 2 = 0 for y.
0
Let w = 3 - 7. Let k(z) = 2*z**2 + 3*z - 5. Let b be k(w). Solve 5*d - 13 = -4*s, 0 = -2*d + 5*d - b for s.
-3
Suppose -4 = d + 2. Let f(p) = -p - 3. Let h be f(