olve -2*u = 2*u + 5*k - 28, k = u + z for u.
2
Let j be 2*(1 - (-22)/4). Let p be 3/(-15) - (-22)/10. Suppose j = s - p. Solve -4*w = -d + s, -3*w + 4*d + d - 7 = 0 for w.
-4
Suppose 16 = 3*v + 2*u, -15 = -2*v - u - 6. Suppose 3*z + 0*z + 10 = 5*i, 2*i = v*z. Solve -11 = -l - z*b, -2*l - 5*b - 3 = -10 for l.
-4
Let c = -24 + 29. Solve -2*f + 20 = -5*l, 0*l = -c*f + 5*l + 35 for f.
5
Let x be (-4)/(-3 + (3 - 1)). Suppose 0 = 8*c - x*c - 44. Solve -3*v - 27 = 4*o - c, -5*o - 20 = -v for o.
-4
Let b be 1/3 - 520/(-24). Let n = b - 17. Let p be (-17)/(-1) - (3 + -1). Solve 4*d - p = -4*r - 3, 0 = n*r + d + 1 for r.
-1
Suppose q - 5 + 2 = 0. Let p = q - 1. Solve -4*v + p*j - 18 = 0, 11 = -3*v + j - 0 for v.
-2
Suppose -p + 3*p = -2*l + 88, -9 = -3*p. Suppose 3*y - l - 34 = 0. Let b = y - 15. Solve -3 = -3*z - 3*j, -4*j + b = -2*z - 2*j for z.
-2
Suppose 14 = 3*s + 2. Solve -2*r - 5*t = 1, -r + 6*r - s*t + 19 = 0 for r.
-3
Let u be 1 - (12/3)/4. Solve u = r - 2*b + 8, -r - 20 = -2*r - 5*b for r.
0
Suppose 2*n = -n - 2*a + 56, -a - 42 = -2*n. Solve 5*k - n = 0, 0 = 3*o + k - 2 + 1 for o.
-1
Let c be (-6)/(-18) - (-8)/3. Suppose -c*q + 55 = 2*q. Solve n = 5*n + 2*i, 0 = n - 5*i + q for n.
-1
Let b be -1 + 1 - (-3 - -1). Suppose -3*f + 4 = -14. Let c be (4/f)/(2/12). Solve -c*a + 14 = -0*t + t, -t + b = a for t.
-2
Suppose 2*v - 62 = -38. Solve -z - 3*h = -7 - 2, -4*z = 4*h - v for z.
0
Let g be 32/18 - (4 - 190/45). Solve 2*q + i - 10 = 5*i, 0 = 3*q - g*i - 11 for q.
3
Suppose 5*o + 5 = -5*y - 0, 3*o + 4*y = 0. Let n be 1/(-1 - o/3). Solve n*k + 3 = s - 0, 0 = -4*s + k + 1 for s.
0
Suppose 2*l - 5 = k - 2*k, 3*k + 7 = 5*l. Let h = 6 - l. Suppose -5*q = -3*q - h. Solve 4*a = 5*y + 15, y - 24 = -5*a + q*y for a.
5
Let x be 93/6 - 1/(-2). Let g be (-4)/x - 3/(-12). Solve 4*m = -r + 19, 2*r = -m - g*m + 3 for m.
5
Let l = 31 + -21. Suppose 5*c = c. Let z = c + 3. Solve -4*g - l = 2*m, m - g - z = g for m.
-1
Suppose 3*r = -0*r + 6. Suppose -3*s = -r*s - 5*o - 29, -3*s + 7 = o. Solve 3*u = s*c + 20, 2*u - 3 = -2*c + 1 for c.
-2
Let a be 6 + 1*(-3 + 0). Let l(h) = -h. Suppose -3*r - 26 = r + 3*i, 3*r + 21 = -3*i. Let d be l(r). Solve -d*v - 4*u = -26, 0*u + 18 = a*v + 3*u for v.
2
Let z(r) = 3*r**2 - r + 4. Let l be z(-3). Let n = l + -22. Solve 0 = 2*i + 3*j + n, -2*i + j - 8 = 2*j for i.
-3
Suppose -3*y = y - 8. Solve 6*v - 18 = y*v + p, -16 = -2*v + 4*p for v.
4
Let a(k) = -k**3 + 8*k**2 - 9*k + 16. Let l be a(7). Solve 5*c + 4*v - 1 = 0, c + l*v = v + 1 for c.
-3
Suppose -2*x = 3*w + 8, 3*w - 4*x + 38 = -0*x. Let n = 17 + w. Suppose -l + 7 = t - 2*t, t - n = -5*l. Solve -r = -5*h - 1, -4*r - r = -l*h - 5 for h.
0
Let l be 90/12 + (-3)/(-2). Let g be 24/l + 1/3. Solve -15 = g*p + 3*t, t + 16 = -5*p - t for p.
-2
Let r(i) = 3*i - 1. Let o be r(2). Suppose -o*b = -5*v - 9 - 1, -5*b + 18 = -3*v. Solve j - 25 = b*j + 5*l, 6 = -2*j + 2*l for j.
-4
Suppose 6 = -3*v + 15. Suppose -4*z + 6*z + 8 = 0, -5*z = p + 20. Let k = 11 + -7. Solve k*b + v*j + 12 = p, 2*b = -2*j + 7*j - 6 for b.
-3
Let t be (4/(-10))/((-7)/(-315)). Let y = 18 + t. Solve -3*z - m = 2*m - 21, y = -5*z + 3*m + 19 for z.
5
Suppose 4*x + 2*w + 3*w - 20 = 0, 5*w = 0. Let l be 167/x - 8/20. Suppose 3*o = -s + l, -s = -2*o - 4*s + 15. Solve 2*j - 4*d = -2*j, -o = -j + 5*d for j.
-3
Let l = 6 - 6. Suppose l = 3*z - 4 - 11. Suppose -3*h = -2*y - 3, -27 = -z*y - 3*h - 3. Solve s - y = -2*b - 0, 0 = -5*s - 5*b + 15 for s.
3
Let x be (-42)/(-9) + 1/3. Suppose -5*l - 25 = -x*k, 17 = 3*k + 5*l - 22. Suppose 3*i = 3*t + 2*t - k, 20 = i + 4*t. Solve 3 = a, 0*r + 2*r - 4*a = -i for r.
4
Let f(t) = t. Let o be -1*10*(-6)/6. Let c be (-4)/(-8)*o*1. Let k be f(c). Solve 0 = -5*n - 3*q + 8, k*q = -2*n - 0 + 7 for n.
1
Suppose v - 15 = -3*a, 0*a + 8 = 4*v - a. Suppose 0 = -v*c + 3*m + 12, -2*c - 3*m - 15 = -6*c. Suppose 14 - 2 = 2*f. Solve c*b - 9 = s + 8, 3*s = -f for b.
5
Suppose 2*z + 2 = x + x, -2*x - 5*z = -37. Let j be (3 + (-16)/x)*15. Solve v = -s - 2, -3*v - 1 - j = -3*s for v.
-2
Let k be (3 - 1)/((-3)/9). Let d be k/(-15) + 6/(-15). Solve 0 = -j - 5*p + 14, 2*j - 5*p + 2 = -d*p for j.
4
Let d = -9 + 13. Solve 0 = -5*b + 4*i + 6 - 24, -b = -i + d for b.
-2
Let a = -5 - -7. Let n be 0/(a + -2 - -2). Solve -3*m + 4*k - 6 = 25, -m - 2*k + 3 = n for m.
-5
Let b = 44 + -40. Solve 1 - b = -o + p, -3*p = -4*o + 10 for o.
1
Suppose -4 = -4*q, g + 2*g + q = 13. Solve 3*o - 2*m - 17 = -g*m, -m + 16 = 4*o for o.
3
Let v = -5 - -5. Suppose -q + 5 = -v*q. Solve 2*x - 10 = -5*o, 3*x + 4*o - q = 2*x for x.
5
Suppose u = -3*w - 0*u + 14, -4*w = -5*u - 25. Suppose w*l = 4*l. Solve -h - 3*b - 14 = 0, -4*h - 5*b - 7 - 28 = l for h.
-5
Let q be 1 + 2 + -3 + 3. Suppose 5*o - 2*b + q = 4*o, 5*b - 12 = o. Solve o = -3*p - 3*u, -5*p - 18 = u - 1 for p.
-4
Let o(u) = -13*u - 2. Let g be o(-2). Let h be -2 + 3/((-6)/(-28)). Suppose 2 - h = -2*x. Solve 0 = -x*w + 2*f + 18 + 10, g = 2*w - 4*f for w.
4
Let t(l) = -3*l + 6. Let n be t(2). Solve -2*z - 5*o + 6 = n, 4 = 4*z - z + 5*o for z.
-2
Let c(w) = 11*w - 84. Let q be c(8). Solve 2*j + m + q = 0, 0*j - 3*j + 8 = 5*m for j.
-4
Let j(c) = 3*c**2 + 2*c**2 + c**3 - 6*c - 3*c - 7. Let s be j(-6). Let b = s - 7. Solve 0 = -y - 3*f - 5, 2 = f + b for y.
1
Let u be 12/(-8) - 39/(-6). Solve 5*o - 40 = 3*y, -u*y = -o - 0*o + 30 for o.
5
Let s(m) = 5*m**3 + 7*m**2 - 12*m + 3. Let w(z) = -3*z**3 - 3*z**2 + 6*z - 1. Let u(g) = 4*s(g) + 7*w(g). Let q be u(6). Solve 5*o + 8 = -c, -q = o + 4*o for c.
-3
Suppose 18 = -2*d - 2*x, 2*d + 26 = x + 5. Let h = -6 - d. Let y be h/(-30)*-3*40. Solve -3*p - p - 16 = -2*u, 4*u - y = 0 for p.
-2
Let m(r) = 23*r + 1. Let j be m(1). Let b = j + -12. Solve 3*d = 2*i + 12, 5*d - 2*d - b = -2*i for d.
4
Let i(y) = -y**3 + 4*y**2 - 3*y - 4. Let q be i(3). Let a be 2 - 4/(q/3). Solve 13 = -3*x + 2*s, -2*x - a*s + 2 = -2 for x.
-3
Let d be (-1)/2*(-30)/3. Suppose -5*x - 5 = 0, 3*x + 14 - 57 = -2*o. Solve -d*r + 4*q + o = -4*r, -15 = 3*q for r.
3
Let x(w) = -w**2 - 5*w + 3. Let l be x(-5). Let o = l - 1. Solve p = 3*g + 4*p - 9, 2*g - o = -p for g.
-1
Let o(w) = -2*w + 3 + 2*w**2 - w**2 + 0*w**2. Let z be o(2). Let x(v) = v**3 - 4*v**2 + 5*v - 4. Let h be x(4). Solve 2*s + z*n + n = -h, 0 = -5*n - 20 for s.
0
Suppose 0 = 5*z + 2*d - 6, 5*d - 20 = -5*z - 5. Suppose 0*m - 2*m = z. Solve -4*f = -m*x + 3*x + 9, -4*x + 2*f + 10 = 0 for x.
1
Let b be (-2)/(-7) + (-204)/(-21). Let i be b*1 + (-1 - 1). Suppose -k = 5*h - 2*k - i, 12 = -3*h - 5*k. Solve 4*f - h = -t + 2, -3*t - 2*f + 9 = 0 for t.
3
Let m be (-2)/(-11) - (5 - (-448)/(-77)). Let x(w) = w**3 + 4*w**2 - 6*w. Let i be x(-5). Solve m = -f - 2*h + 4*h, -5*f + h - i = 0 for f.
-1
Suppose 16 = 4*i - 0. Suppose -i*a - j + 18 = 0, 17 = 3*a + 2*a + 4*j. Solve -w = a*v - 23, 3*v = -0*v - 5*w + 27 for v.
4
Let q(l) = 41*l**2 + 2*l + 1. Let a be q(-1). Suppose -3*f - 2*f + a = 0. Suppose 0 = -h - h + f. Solve 5*m + h*d - 20 = 0, -5*m + 17 = -d - 3 for m.
4
Let l(p) = 2 - 5*p - p**3 - 3*p**2 + p + 2*p**3 + 2. Let c be l(4). Solve 9*k + t = c*k + 6, -t = k - 2 for k.
1
Suppose -4*z - 4*t + 16 = 0, 2*z + 29 - 9 = 5*t. Let f = 63 - 3. Suppose 4*p - p - f = z. Solve -2*d + 0*d = 5*r - 27, -p = -3*r - 5*d for r.
5
Let i be 10/35 - 57/(-21). Solve -t - t - 15 = -5*q, q - i = -2*t for t.
0
Let j = -7 - -10. Let k = j - 3. Suppose -18 = -k*x - 3*x. Solve -z - x = -2*v, 2*z + z = 0 for v.
3
Let j be (-6)/(-15) - 83/(-5). Let y = -12 + j. Let i = y - 0. Solve 17 = i*p + 2*r, 0 = 2*p - r + 2*r - 6 for p.
5
Let a = -27 + 7. Let y be (-10)/a*(-2 + 2). Solve -2*o = 3*t - 21, 5*o = -3*t - y*t + 30 for o.
3
Let m(g) = -g**3 - 11*g**2 + 11*g - 8. Let j(z) = -z**3 - z - 12. Let o be j(0). Let v be m(o). Solve 0 = u + p + 1, -2*p + v*p = -3*u - 2 for u.
0
Let l be 2/3*((-88)/(-16) + -4). Solve -d = 2*q + 5, 0 = 4*q + 5*d + l - 6 for q.
-5
Let k = 31 + -20. Solve -2*n + k = a, -2 = 2*a - 2*n - 0 for a.
3
Let f be 8/(-72) + (-2)/(-18). Solve f*v = -3*s - 2*v - 13, -4*v - 24 = 4*s for s.
-1
Let o(k) = k**3 + 5*k**2 + 3*k + 1. Let j be o(-2). Solve -8*y + 5*n + j = -4*y, 0 = 5*y + 3*n - 18 for y.
3
Let q(m) = 3 - 3*m + m**3 + 4*m**2 - 2*m**2 + 0*m**2. Let o = -3 + 0. Let k be q(o). Solve 6*d - k*d + 40 = -5*h, -4*d - 30 = 2*h for d.
-5
Let