+ 4. Let z be k(0). Suppose a + 3 = -z. Let i = -2 - a. Solve 4*c + 16 = 2*c - 2*q, i*c + q = -20 for c.
-3
Suppose 3*f - 5*f + 3*l = -18, l + 16 = 4*f. Let u be (f + (-3)/1)*-1. Suppose 3*t = 2*t, 2*b + 4*t - 6 = u. Solve -5*i = 2*n + 23, b*i + n = -4*n - 10 for i.
-5
Let s be 13 + 42/18*3. Solve 4*i - 3*o - s = -0*o, o = -i + 5 for i.
5
Suppose 3*u + 4*l - 9 = 0, 3*u - 9 = -0*u - l. Solve u*f - 4 = 4*f, 0 = 5*w - 5*f - 15 for w.
-1
Suppose -2*h = h + 5*c - 10, 9 = 2*h + c. Let q be (2/(-8)*h)/(1/(-4)). Solve -3*m + 3*j - 4 = j, -q*m + 4*j = 10 for m.
2
Let g be (-1)/2*(-9 - -3). Solve -3*q - g*r = -0*q, 5*q + 4*r - 4 = 0 for q.
4
Let l(g) = -g**2 - 9*g + 1. Let v be (-2)/(-12) + 172/(-24). Let w be l(v). Let z = 24 - 22. Solve -5*d - z*t = -w, -4*d + 2*t + 4 = -26 for d.
5
Let f be 1*1/5 + (-56)/(-20). Suppose -f*v = -3*o - 5 - 1, -5*v - 2 = o. Solve v = -5*b - 4*u - 41, 4*u + 0*u + 6 = 2*b for b.
-5
Suppose 4*p = 3*i + 2*i + 12, -2*i + 4*p - 12 = 0. Suppose -61*z + 65*z - 16 = 0. Solve -z*f + i*f - 4 = 0, -b - f - 6 = 0 for b.
-5
Let p(b) = 4*b**3 - 2*b**2 - 4*b + 4. Let l be p(2). Let c be (-5)/2*16/l + 7. Solve 2*x = -2*s - 2*s + 12, 5*x = c*s - 15 for x.
0
Suppose -4*g = -5*t - 23 - 5, 5*g - 5*t = 30. Suppose 319 = -8*r + 367. Solve m = g*a + 2*a - r, 5*a - 7 = m for m.
-2
Let l = -692 - -692. Solve l - 1 = -u - 4*c, 16 = -4*u + 4*c for u.
-3
Let q be (-2*2/4)/((-45)/135). Solve -q*u - 23 = 4*h, 3*u + 5 = 5*h - 0*u for h.
-2
Let d = 20 + -16. Suppose -d - 4 = -2*u. Suppose 4*p - 8 = u*h - 0, -4*p = -2*h - 14. Solve -2*x = -4*f, h*f - 5 = -2 for x.
2
Let c(y) = 21*y - 3. Let p be c(1). Let d be 23/2 - (-9)/p. Solve 0 = 4*g - 5*s - 5, -g = 4*s - 5 - d for g.
5
Let s(j) = j**3 - 18*j**2 + 21*j - 54. Let k be s(17). Suppose -2*b = 5*b - k. Solve -b*z = -3*l + 22 - 1, 7 = -l - 4*z for l.
5
Let s(h) = h**3 + 20*h**2 + 21*h + 40. Let q be s(-19). Suppose -3*b + o = -13, -7 = b + q*b - 5*o. Solve 2*n - n - b = 2*i, 4*n = 4*i + 20 for n.
4
Let n = -7 + 12. Suppose -3*k = -2*q + 10, 4*k = -n*q + 31 - 6. Solve -5*y + 3*o + o + 29 = 0, -2*y + 3*o + 13 = k for y.
5
Suppose -6*k + 11*k - 20 = 0. Solve 4*w - 2*r = r - 3, 3*w - 3 = k*r for w.
-3
Suppose -137 = -8*v - 113. Solve 16 = 4*a - 5*i - 5, -i - v = -2*a for a.
-1
Suppose -5*y = 3*n + 4, 19 + 17 = -4*n + y. Let t be ((-12)/n)/((-1)/(-2)). Solve 5*m - 22 = 3*c, t*c = 3*m - 6 - 6 for m.
5
Let a = -3 - -3. Let g = -1344 - -1347. Solve 2*z = 5*w - a*w - 18, z + g = w for z.
1
Let h(o) = 4*o - 13. Let i be h(4). Solve -i*p + c = 5, 8*p - 3*p = 4*c - 13 for p.
-1
Let l(d) = -d**3 + 4*d**2 + 2*d - 5. Let z = -1 + 5. Let h be l(z). Suppose h*r - 11 = -2. Solve -4 = -5*v - 4*f, -3*v + f = -19 + r for v.
4
Let c = 32 - 114. Let o = c + 86. Solve o*b = 16, 3*q + 12 = -0*q + 3*b for q.
0
Suppose 0 = -158*n + 162*n - 16. Solve -n*a = -l - 24, 2*l - 7 = -0*l - 3*a for l.
-4
Let a be (-2 - -2)/(4/(-4)). Suppose a = 5*z + 2*c + 9, 0*c = -z - c - 3. Let p = 1 - z. Solve p*n - 2*j = 6, 13 = -n + 2*j - 5*j for n.
-1
Suppose 63 = 5*y + 48. Solve -y*d + 8*b = 6*b, -3*b - 13 = 2*d for d.
-2
Suppose n + 2*l - 9 = 6*l, 2*l = 2*n - 12. Let u be (16/5)/(2/n). Suppose 3*f - 20 = -u. Solve 0 = -3*w - 4*v + 11 + 6, 0 = 3*w - f*v + 23 for w.
-1
Let v(m) = 14*m - 23. Let h(z) = 5*z - 8. Let p(r) = -17*h(r) + 6*v(r). Let k be p(-4). Solve -k*s - j = 8, 4*s + j + 8 = 3*j for s.
-3
Suppose -g + 5 = 3. Suppose 35*a = 37*a - 44. Solve 6*d + t = d - 10, 4*d - g*t + a = 0 for d.
-3
Let o(q) = q**3 + 2*q**2 + 3*q + 8. Let l be o(-2). Solve 3*c + 7 = j, 0*j = -j - l for c.
-3
Suppose -4*m - 16 = 5*a - 30, 4*m - 4 = 0. Let o(v) = 2*v - 4. Let t be o(6). Solve -j - j = -a*s - t, 3*j + s = 4 for j.
2
Suppose 0 = p + 11 - 14. Solve -13 = 3*c - 2*a - p, 2 = 2*c + 3*a for c.
-2
Suppose 0*p + 3*p = 6, 4*p - 16 = -4*j. Let y be (13/39)/(-3*j/(-36)). Solve 4*c + 2 = -5*l, -3*l - 2*c - 6 = y*c for l.
2
Let p be 53 - (-1 + -1 - -3). Let q = -47 + p. Solve q*y + 10 = 0, y + 0 = t - 1 for t.
-1
Let m(h) = 3*h**2 + 63*h + 209. Let t be m(-17). Solve o + 4*p = 7*p - 6, -t*o - 10 = 5*p for o.
-3
Let g be 10/4*(-32)/20. Let i be g/22 + 8/44. Suppose 0 = -4*a - 3*k + 117, -5*a + 146 = -i*a + 4*k. Solve -3*v = -3*z - a, -53 = 3*z - 5*v - 13 for z.
-5
Let m = 13 + -10. Let j be 1*(-3 - (m + -13)). Let q be -3 + j + 1 + 0. Solve n + q*s = -17, 4*n - 4 = 9*n - 2*s for n.
-2
Suppose 18 = -a + 5*k, -3*k - 14 = 3*a - 8*k. Solve 8 = -a*c, q + 3*c = 2*c - 8 for q.
-4
Let h(u) = -u**2 - 7*u - 11. Let o be h(-6). Let n be (2 + 5)*(-24)/28. Let q be (4/n)/(o/15). Solve j + 0 + 12 = q*v, j = -v for j.
-4
Suppose -22*h = -5*h. Solve h*o - 2*m = 2*o, -m = -5*o - 24 for o.
-4
Let j = 168 + -188. Suppose -5 + 3 = -2*h. Let v be h/(-1*5/j). Solve -3 = -n + 3*q - 4, -v*q = 4*n - 28 for n.
5
Suppose -4*v + 16 = -c + 2*c, 0 = -2*v - 4*c - 6. Solve -3*k = 4*b - 10, -15 = -0*k - 5*k - v*b for k.
2
Let c = 163 + -244. Let m = -76 - c. Solve 0 = -f + 6*a - 3*a - 2, 0 = -4*f - m*a - 25 for f.
-5
Let w(k) = -4*k - 9. Let l(v) = 6*v + 13. Let g(t) = 5*l(t) + 7*w(t). Let h be g(5). Suppose 0 = 5*m - 2*m - h. Solve i - 6 = -3*q - 3*i, q - m*i = 2 for q.
2
Suppose -29*q + 11*q = -72. Solve 10 = 2*s + 3*o, q*o = 5*s - o for s.
2
Suppose 4*z + 22 = -y + 14, 5*y - 52 = 3*z. Solve -3*o - 9 = -2*s, -s + o + y = -2*s for s.
-3
Suppose 44*a + 6*a - 250 = 0. Solve 5*q = 2*q - a*h - 17, -3*q = -4*h + 8 for q.
-4
Let m be 1*(4 + (25 - -5)). Let l = 46 - m. Solve 6 = 2*v, 2*v + 0*v - l = -2*o for o.
3
Suppose 3*i = -i - z + 17, -5*i + 5*z = -40. Let v be (i - 5)*2/4. Let c = v + 5. Solve 12 = -c*f - 3*b, -2*f - 3*b - 2 = 1 for f.
-3
Suppose 5*l = l - 12. Let b be 1 - 0 - (-6 - l). Solve -18 = -5*f - v, -17 = -5*f + b*v + 11 for f.
4
Let f = -1 - -6. Suppose f*h = 8*h. Solve h = 5*t - 5*n, -3*n + 20 = 3*t - 2*n for t.
5
Let c = 36 - 33. Suppose 5*y - 5*h - 185 = -0*y, c*y + 4*h = 76. Solve -4*z - y = -6*k + 2*k, 3*k = -5*z for k.
5
Let k = 41 + -33. Suppose -4*p + 0 = -k. Let n = 2 + 3. Solve -2*t = 4*a - 2 - p, 0 = -2*t - n*a + 4 for t.
2
Let k(b) = 3*b + 5. Let z be k(-5). Let w be z/(-2) + (-2 - 1). Solve 3*d = w*f - 3, 0 = 4*f + 3*d - 0*d + 3 for f.
0
Suppose -5*p = 3*k - 67, -3*k = 4*p - 2*k - 48. Let l = -18 + p. Let n = -3 - l. Solve -5 = 4*z - 3*t, 0 = n*z + 3*t + 17 - 6 for z.
-2
Let j(c) = c**3 + 2*c**2 - c + 2. Let w be j(-2). Solve p - 17 = -2*p + l, -w*p - l = -11 for p.
4
Let d be 4/10 + (-198)/(-55) + -2. Solve 2*q - 6 = -5*n + d, q - 9 = -5*n for n.
2
Suppose 0 = 2*f - 6, 2*t + 2*f = -2*t + 30. Suppose -5*l = -t - 9. Solve -5*m + 2*o + l = 3*o, 0 = 4*o - 12 for m.
0
Let h = -4042 - -4046. Let f = -15 - -31. Solve 0*n = -h*n + 4*y - f, 5*y - 10 = 0 for n.
-2
Suppose 3*y = -3*r - 18, 2*y + 2*r + 20 = -y. Let t be ((-33)/(-77) - y/14)*1. Solve 3*i = -d + 11, -i - d + 2 - t = 0 for i.
5
Let g = -4 - -9. Suppose -s = 4*s + 5*d - 235, -4*s - 2*d + 198 = 0. Suppose 12 - s = -5*r. Solve -4*p - 11 - r = g*h, 5 = -2*p - h for p.
-1
Let j(q) = q**2 + 4*q - 1. Let f be j(-5). Let z = 4496 - 4493. Solve -n + s = -f, -n = n + z*s - 8 for n.
4
Suppose -126 = 3*x + 3*x. Let h = x + 26. Solve h*g + 4*l = l - 23, 3*g + 15 = -3*l for g.
-4
Let t(n) = -2*n**2 - 5*n + 6. Let v be t(-5). Let g = v - -19. Suppose 2*x + 13 - 19 = g. Solve 0 = -5*u - 10, -2*f + 4*u = -x - 3 for f.
-1
Let d be 3/1 + (60 - 2). Let q = -35 + d. Let j be (-2 - 0)*q/(-4). Solve f - j = s + 4*s, -3*s - 15 = -3*f for s.
-2
Suppose 10 = y + 2*o - 0, 4*y = 4*o + 40. Solve -3*t - 5*k + 0*k = 25, 0 = -2*k - y for t.
0
Let o = -6 + 8. Suppose -4 = o*s - 12. Suppose 12 = 2*c - s. Solve -n + c = 2*h, 4*n + n - h + 4 = 0 for n.
0
Suppose 477*l = 465*l + 36. Solve -l*x + 26 = -4*n, 4*x + 1 + 6 = -3*n for x.
2
Let u = 153 - 150. Suppose -2*c - f = -3*f - 8, 0 = 5*c + 4*f - 29. Solve -n - 5*q = 2, -4*n = 4*q + c + u for n.
-2
Let o(l) = -l**2 + 4*l + 56. Let f be o(0). Suppose -f*g + 55*g = -25. Solve h + 3*k - 2*k = -5, 3*h = -5*k - g for h.
0
Let h(i) = -i + 15. Let p be h(12). Solve -j = 2*q + 2*j + 10, p*q - 2*j - 11 = 0 for q.
1
Let t = 5 - 0. Suppose 4*q + 0*k - 5*k = -1, -4*q + k = -3. Solve t*r = 15, 0 = a + 3*r - 3 - q for a.
-5
Let z = 739 - 734. Solve -z*b - 15 = -3*c, -5*c = -0*b - 4*b - 12 for b.
-3
Suppose -2*x + 6*x + 