4. Let s be j(x). Solve -2*u - s = 0, -4*u - 23 = -w - 4*w for w.
3
Let b = 11 - 9. Let v(r) = r + 3 + 4*r - 4*r + b. Let l be v(-5). Solve 5*m + 23 = 2*g, 3*g = -4*m - l*g for m.
-3
Suppose -14 = -4*q - 12*s + 15*s, -5*s + 5 = -q. Solve 0*w = 3*w - 3*x - 24, 20 = -q*x for w.
4
Let o(r) = -22*r**2 + 113*r - 9. Let n be o(5). Solve -3*b = -n - 6, -4*y + b = 24 for y.
-5
Let j be (54/(-15))/((-36)/90). Let n = -21 - -15. Let p be ((-2)/n)/(1/j). Solve 0 = k + p*u + 7, 4*k + 4*u = -16 + 4 for k.
-1
Let d be ((-10)/(-3) - 3)/(12/612). Solve 1 = 4*t - 3, -5*t = 4*a - d for a.
3
Suppose 0*y + 25 = 5*y. Solve -5*h - y*l = 5, 0*l - 5 = -2*h + 5*l for h.
0
Let b(o) = -o**2 + 2*o + 1. Let v = 19 - 11. Suppose -j + 4*j - f = v, -2*f = 2*j. Let z be b(j). Solve 4*t = 3*p + 7, -p + z = 3*t - 1 for t.
1
Let z be ((-28)/(-21))/(6/108 - 0). Solve 3*o - 5*k = 5, -14*o + 10*o - z = k for o.
-5
Let n be (0 - 1)*(-1 + -1). Let p(z) = 2*z + 2*z + 3*z + 17 - 3*z. Let c be p(-4). Solve -m = -n*x - 1, -x + c = -m + 2*x for m.
5
Let b be 112/52 - 2/13. Suppose -b - 8 = l. Let f be ((-4)/l)/(3/15). Solve 13 = -2*s - 5*d, 2 = -3*s - f*d - 1 for s.
1
Let v(n) = 15*n + 148. Let d be v(-8). Suppose 3*z + 4*g = 32, 4*z + g = 4*g + 1. Solve -l = -4*j - 20, z*l = 3*j - 0 + d for j.
-4
Let x = -37 - -41. Suppose -x*l = 0, 2*h + 125 = 7*h + 4*l. Solve -c + 0*r - 5*r = h, -5*r = -c + 15 for c.
-5
Suppose -5 - 7 = -3*m. Let t(v) = v - 1. Let r be t(1). Let z be (-18)/(-4)*(10/(-3) - -4). Solve -3*w + 3*i - z = r, -w - i = -m*w + 7 for w.
4
Suppose -b - 2 = -0*b + r, 3*r = -12. Let c(t) = 3*t + 30. Let y be c(-9). Let u = 2 + 1. Solve 3*z - 6 = u*j, b = 2*z + y*j - 7*j for z.
3
Let s(u) = 2*u + 18. Let b be s(-9). Suppose 30 = 4*d + d - 3*i, b = 3*d + 2*i + 1. Solve 4*q + d*y + 24 = -y, -3*y = -5*q - 14 for q.
-4
Let t be 5/(-3*4/(-12)). Suppose -k = 3*k - z - 9, 0 = -3*k - 2*z + 15. Solve -k = 3*u, -13 = -4*l + t*u + 4 for l.
3
Suppose -2*z - 4*g + 12 = -2*g, -3*g - 3 = -4*z. Let t be 2 - (19 + -4)/(z/(-2)). Solve 2*m + t = 2*k, -2*m = 5*k - 3*m - 14 for k.
2
Let h = -678 - -680. Let k be 4/(-6) - (-14)/3. Solve -4 = y + h*y + k*l, 2*y - l = 12 for y.
4
Let i be 3 + -1 + (-21)/(-3). Suppose -4*t = -t - i. Suppose s = -2*d + t*s, -5*d + 14 = 2*s. Solve d*o + 4*x + 14 = 0, 4*x + 21 = 9 for o.
-1
Let k = -4 + 20. Let m(w) = -w + 18. Let a be m(k). Suppose 5*v = 3*q + 9, 3*v - a*q - 1 = 4. Solve -2*o - 2 = 2*l - 0, l - v = 0 for o.
-4
Let x be (-944)/(-64) - (-15)/(-20). Let p = 17 - 12. Solve 4*c + x = -p*v, -6*c - 4*v - 12 = -2*c for c.
-1
Let h(s) = s**2 - 3*s. Let a be h(-3). Suppose 0 = 2*x - 5*j + 1 + a, x - 8 = -j. Solve 0*w + 15 = 3*o + x*w, -5*o + 5*w = 5 for o.
2
Suppose -395*l = -402*l + 14. Solve o - 4 = s, -3*s = -2*o - l*s + 5 for o.
1
Let s(v) = -v + 7. Suppose -h - 5*h + 30 = 0. Let j be s(h). Let l be 2 + -1*(1 + -1). Solve j*o - u - 7 = -o, 2*u + l = 2*o for o.
3
Suppose -2*p + 8 = -6. Let w be 4 - -3 - (-3 + 6). Solve -p = w*r - 3*h, -r + 1 = -3*h + 5 for r.
-1
Suppose 3*g - 4*m = 12, 24*g - m = 22*g + 3. Solve -v - 2*d = -4*v - 2, -v - 4*d - 10 = g for v.
-2
Let b(a) = -2*a - 23. Let c be b(-12). Let d be -27 + 30 + 2*c. Suppose 3*w + 2*w - 5 = -4*m, 4*m - 2 = -2*w. Solve d*u + 11 + 9 = 0, m = 5*t + 4*u + 1 for t.
3
Let c = -32 + 36. Suppose -2*f + 2 = -3*s, -s - 3*s = c*f - 44. Solve f*k - 25 = 2*k, 4*p - 5*k = -45 for p.
-5
Suppose -o + 0 = -3. Let g = 4 - 2. Suppose -g*l - o*l = -175. Solve -5*v - 5*a - 20 = -4*a, 0 = 5*v - 2*a + l for v.
-5
Suppose 2*g - 10 = 0, 3*g - 8 = z + g. Solve z*k + 5*v = 11, -v = -k - 2*k - 9 for k.
-2
Let n = -65 - -36. Let h = n - -44. Solve 4*w = -6*t + 4*t + 10, -2*t - h = -w for w.
5
Suppose 0 = 3*n - 43 + 4. Let m(l) = -4*l**2 - 23*l + n*l - l**3 - 5*l**2 - 10. Let i be m(-8). Solve 4*p - 7 = -5*z + i, 0 = -5*z + 3*p + 34 for z.
5
Let l be (-2 + 2 - -2) + 24. Let y = 29 - l. Solve -3*h - 14 - 1 = 0, -23 = -y*v + 4*h for v.
1
Suppose -26*p - 16 = 2*v - 31*p, 2*p - 4 = 2*v. Solve v*q - 7*q = -m + 9, 2*m = 8 for q.
-1
Let q be (-1024)/(-96)*(-6)/(-4). Solve -2*x = 2*x - d + q, -4*d = 2*x + 26 for x.
-5
Let a(r) = 2*r**2 + 22*r + 23. Let l be a(-10). Solve 3*v = -5*c + l*c - 14, 8 = -3*v + 4*c for v.
-4
Let x = -1669 - -1673. Solve -2 = -a - b + 1, -4*a - 28 = -x*b for a.
-2
Let u = -181 + 201. Solve -b = -4, -3*m - 7*b + 5*b = -u for m.
4
Let b be ((-45)/12 - -4)*20. Solve i - 2*h = 0, -b*i + h + 2*h = -7 for i.
2
Let d = -67 - -72. Suppose -g - 4*n = -3*n, -d*g - 3*n + 6 = 0. Solve 3*r = -5*a - g, 4*r - 6*r - 2 = 0 for a.
0
Let s be ((-1)/1 - -2) + -23. Let c = s - -27. Solve -4*a + c*u = 33, 2*a + 0*a - 2*u = -14 for a.
-2
Let x(g) = -g**2 - 9*g - 1. Let y(c) = -9*c + 11. Let d be y(2). Let p be x(d). Solve -5*z = -4*q - p, 2*z - 3*q = -6*q + 19 for z.
5
Suppose 3*q + 2*r - 2 - 15 = 0, 0 = 2*q + 5*r - 26. Solve 0 = -3*i - 4*l + q*l + 10, 3*i - l - 8 = 0 for i.
3
Suppose 3*w = 16 - 4. Suppose 3 = o, w*c = 2*o - 6 - 0. Solve -4 = 4*p, -n - 3*n - 5*p - 13 = c for n.
-2
Let d(f) = -f**3 - 9*f**2 - 13*f + 11. Let x be d(-7). Solve 0 = 2*v + j + 4, -x*v - 14 = -j for v.
-3
Suppose 2*k - 21 = -11. Solve y = k*y - 2*c + 18, y + 2*c + 7 = 0 for y.
-5
Let n be (-1)/(-2)*30/5*7. Solve -v + n = -5*l, -3*v + 5*l + 19 + 4 = 0 for v.
1
Let s(b) = -3*b**3 - 2*b**2 + 3*b - 1. Let g be s(1). Let j be -10*((-51)/15 - g). Suppose -j*y + 25 = y. Solve 3*p - 6 - 2 = -4*h, y*p = 3*h - 6 for h.
2
Suppose 0*z - z = -5. Suppose 5 - 22 = -5*d + 3*m, -m = z*d - 21. Suppose -d*w + 6 = -2. Solve -2*n = 2*k - 17 + 7, w*n = 4*k + 4 for k.
1
Suppose -6*j = 45 + 21. Let h be 4/(-6) - 50/(-3). Let r = h + j. Solve 2*f - r*t + 19 = 0, 0 = f - t + 1 + 1 for f.
3
Suppose 14*k - 400 = -36. Solve o - 4*l - 19 = 2*o, 5*l = o - k for o.
1
Let k(c) = 2*c**3 - 3*c + 4 - c - 3 + 2*c**2 + 2*c. Let s be k(1). Solve -x + 12 = u + s, -5*x + 25 = u for x.
4
Let x be 0 + (2/(-2) - -3). Let l(z) = z**3 - 9*z**2 - 13*z + 34. Let q be l(10). Solve 0 = -3*c + 4*d - q, x*d = 3*c - 0*d + 2 for c.
0
Let o be (-1)/(1 + 2 + 32/(-10)). Suppose -2*f + 6*f = 12. Suppose -o*w + f = -7. Solve -2 = 3*k - 5*q, 5*k + 3*q + 30 = -w*q for k.
-4
Suppose 2*l - 20*p + 15*p - 1 = 0, -2*p = -2*l + 4. Solve -j = 4*t - 2, l*j + 2 = 4*j for t.
0
Let d = 94 + -93. Let u(o) = 32*o**2 - 2. Let j be u(d). Solve h - 4*s - 21 = 0, 7*s = 2*h + 2*s - j for h.
5
Suppose -90 = -56*k + 134. Solve -7 = -4*r + z - k*z, 14 = 5*r + 2*z for r.
4
Let w(v) = -v**2 + 13*v + 28. Let s be w(15). Let c be (s - -2)/((-4)/4). Solve 3*x - 10 = -c*t + t, 6 = 2*x - t for x.
4
Let s(g) = 3*g - 15*g**3 + 14*g**3 + 0 - g - 1. Let z be s(1). Solve 4*k + 5*n = 12 + 9, z = -3*n + 3 for k.
4
Suppose 39 = 3*n + 5*o - 10, 3*o + 25 = 5*n. Suppose n = -8*a + 24. Solve -y = -0*r + a*r + 10, -5*y + 4*r = -6 for y.
-2
Suppose 0 = -10*y + 5*y - 80. Let l = -7 - y. Let k(g) = g**2 - 10*g + 10. Let u be k(l). Solve -5*m + 10 = 5*i, m - 4*m = 2*i - u for m.
-3
Suppose -5*i - 131 = 4*d, 24 = -i + 3*d - 6*d. Let j = -25 - i. Solve -6 = -3*f, r = -3*f + f + j for r.
-2
Let v = 14 + -33. Let g = v - -22. Solve -4*x - g*w + 3 = 0, -w = x - 2*x + 6 for x.
3
Let b(f) = f + 11. Let l be b(-11). Let x be 8*(l - -4 - 6). Let n = -11 - x. Solve -5*j - n*g = -5, j - 3*g - 9 = -2*j for j.
2
Suppose 4*s = -s + 40. Suppose 2*n = 6*n - s. Suppose 2*c - n*b - 7 = 7, b + 27 = 3*c. Solve -1 + c = a - 4*u, 4*u = -3*a - 21 for a.
-3
Suppose 35 = -2*i + 1. Let v be i/(-3) + 2/6. Let y be 14 - (-16 + (9 - -18)). Solve v*s - 3*s - 11 = -2*d, y*d - 5*s - 7 = 0 for d.
4
Let g(x) = -2*x. Let j be g(-1). Let t be 75/50*6/9. Solve j*c + 5*i - i + 2 = 0, 5*i = -2*c - t for c.
-3
Let b be (-986)/145*2/(4/(-5)). Solve -y = 3*i - b, -3*i + 29 - 8 = 3*y for y.
2
Let k be 6/((-1)/((-2)/4)). Let s be 1/((-3)/(-6))*(8 - 0). Suppose 22*p = 18*p + s. Solve 4*r + 1 + 8 = -l, -k = -3*r - p*l for r.
-3
Let i(z) = -z. Let m(r) = r**2 - 23*r + 2. Let t(o) = -5*i(o) + m(o). Let h be t(18). Solve -h*p - 4*d = -2, -4*p = 2*d + 2*d - 12 for p.
5
Suppose 2*w - 7*w = -10. Solve 0 = -n - 1, v + 0*n + 7 = -w*n for v.
-5
Suppose 4*r - 7 = 5. Suppose -7*a = -r*a. Solve -m - 2 = 4*n - 3, -m + 4*n + 1 = a for m.
1
Suppose -179*a + 182*a = 6. Solve -2*z = -0*i - a*i - 8, 4*i = z - 1 for i.
1
Suppose -