4*k = s + 1 for s.
3
Let m be 2/(-12) + 445/6. Suppose m = 14*v - 94. Solve 4*b + 5 + 15 = -2*c, -5*b = -4*c + v for c.
-2
Let t be 18 + (-4 - (1 - 2)). Suppose -6 = 2*u - 4*m - 16, -5*m + t = 3*u. Solve 20 = -2*h - u*y, 10 = -4*h - 2*y - 14 for h.
-5
Let w(n) = 2*n - 84. Let z be w(43). Solve z*p - 16 = 4*r, -3*r - 3*p = r - 4 for r.
-2
Let s be (25/(-10))/((-7)/42). Solve 1 = 4*b + 5*x - 6, 4*b - 3*x = s for b.
3
Suppose -15*r + 20*r = 10. Let f = 9 + 18. Solve -d - 9 = -r*v, 7 = -5*v + f for d.
-1
Let p(l) = l + 13. Let j(z) = -7 + 7 - 10*z**2. Let w be j(1). Let a be p(w). Solve 0 = 4*u - 19 + a, -u = 3*q + 2 for q.
-2
Let n be -22*(-2)/16*4. Solve 0 = -4*y + 3*v + n, 0*y - 5*v + 3 = 4*y for y.
2
Let f be -5 + 19 + (-3 - -1). Let b(o) = -4*o - 64. Let u be b(-14). Let h = u + f. Solve -8 = h*l, 0*q + 5*q - 4*l = 33 for q.
5
Let p be 11 - ((-18)/(-5) - 2/(-5)). Let u be p/14*(27 - 1). Solve -k - 5 = -f - 2*k, k - u = -5*f for f.
2
Suppose 5 = -2*f - 39. Suppose -29*l + 2*l = -594. Let v = l + f. Solve 0 = 2*k - 2*s - v*s - 10, 2*s - 20 = -4*k for k.
5
Let f(s) = 2*s**3 + 2. Let i(h) = -h**3 + 7*h**2 - 4*h - 12. Let r be i(6). Let t be f(r). Solve -3*x - 2*x = 2*u - t, -10 = -3*x + u for x.
2
Let i(p) = p**3 + 8*p**2 + p + 17. Let k be i(-8). Let s(q) = q**2 + 6*q + 14. Let o be s(-3). Solve 6 = -3*g - 5*a, k = -3*g + g - o*a for g.
3
Let y(c) = -c**2 + 2*c + 168. Let t be y(-12). Solve o = v + 4*v + 7, -5*o + 3*v - 9 = t for o.
-3
Let l be 4305/483 - 6/(-69). Solve -4*c = -0*c - p - l, 5*p + 1 = -2*c for c.
2
Let m = -15783 + 15795. Let t = -27 + 45. Suppose -s - 2 = -t. Solve -3*w - m = 2*y - 5*y, -4*y = -2*w - s for w.
0
Let k(o) = -2*o - 11. Let r be k(-8). Suppose -3*h = -3*w - 9, -h = -r*h + 3*w + 8. Let x be (-3)/h + 3*-1. Solve -4*t - 4*g + 8 = x, g + 11 = t - g for t.
5
Suppose 0 = 6*y - 145 - 5. Suppose y*w - 15 = 20*w. Solve -w*o - 9 = 0, 0 = d + o + 4 - 2 for d.
1
Let l = -10 + 15. Let q be (4 - 5)/((-1)/l). Let i(z) = -z**2 + 8*z - 10. Let r be i(q). Solve 6*o - 3*o + 10 = 2*d, r*d - 10 = 0 for o.
-2
Suppose -2*q = 8, 2*q - 13 = 5*k - 46. Solve -4*o + 3*l + 0 = -1, -25 = k*o + 5*l for o.
-2
Suppose 0 = 3*a - 6, 19 = 4*n + 5*a - 15. Solve 3*f + 21 = 3*m - 6*m, -n = 3*f for m.
-5
Suppose 0 = 3*g - 8*g + 3*c + 40, 0 = -4*g - 4*c. Let o = -53 + 56. Suppose 0 = -o*u - 2*u. Solve -2*n - 3*q + 7 = -u*q, g*q = 5*n + 20 for n.
-1
Let j(v) = v**2 + 3*v - 8*v + 3*v - 3*v**3 - 2. Let d be j(-2). Solve -4*w - 15 = t, -5*w - d = -3*t - 2*w for t.
5
Let m be 2*(1 - (1 - (-4)/(-1))). Suppose -2*f = -5*d, -2*d = -3*d. Suppose s + 3*s - m = f. Solve -5*n = -15, s*b + 3*n - 3 = 4*n for b.
3
Suppose -23*a + 21*a + 48 = 0. Let t = 29 - a. Solve 0 = 3*p + 4*r - 5, 2*p + 3*p - 20 = t*r for p.
3
Let n(x) = -29*x**2 + x - 1. Let b be n(1). Let s = b + 54. Solve 2*g - 5 = 3*t, 0*g = 2*g + 3*t + s for g.
-5
Suppose 3*y = g + 10, -4*y = -5*g + 3 - 9. Solve -y*o = d - 3*o - 1, 5*d + o - 21 = 0 for d.
5
Let k(v) = 7*v**3 - 19*v**2 - 3*v. Let r be k(3). Solve -j - g - r = -6*j, -4*g - 6 = -5*j for j.
2
Suppose 0 = -3*w - 3*q + 15, 0 = w + 5*q + 8 - 1. Suppose 24 = -w*f + 10*f. Let j(x) = -x**2 + 13*x + 16. Let a be j(f). Solve m + 4*m + a = y, 15 = -3*m for y.
3
Let j be 8/(24/(-9)) + (-12)/(-2). Solve 0 = j*a + 3*i, -a + 2 = -0*i + 3*i for a.
-1
Let r = 9 - 0. Let l(k) = k - 7. Let p be l(r). Let x be 120/18 - p/3. Solve 4*o - 5*m + 13 = 0, m + 9 = -2*o + x*m for o.
-2
Suppose 0*o - 17 = -17*o. Let q = -2 + 2. Let p = o - q. Solve -3*t = 3*v + 3, -t - p + 0 = 0 for v.
0
Let l = 2401 + -2396. Solve 28 = -l*k - o, 2*k + o = 5*o + 2 for k.
-5
Suppose 33*i = -82*i + 5*i. Solve y = 6*a - 5*a, i = -2*y + 8 for a.
4
Suppose -3*p = -f + 10 + 5, -4*f + p = -5. Let k be 4 + (-4 - f) - -3. Solve k*b - i - 5 = 0, -3*b - 5*i + 24 + 5 = 0 for b.
3
Suppose 8 + 7 = -5*m. Let l be (m - (-27)/7)/(21/98). Solve -4*z + 16 = 0, 3*h = -2*h + l*z - 26 for h.
-2
Let a be 1/1*(0 - -1). Suppose -u = -1 - a. Let s be (-69)/(-46) - (-6)/(-4)*-1. Solve -3*r - 7*v + 3*v = -17, -u*r = v - s for r.
-1
Let o = -44 - -79. Suppose -o + 0 = -7*x. Solve 10 = -u - 4*p, -2*u = -x*p - 4 - 2 for u.
-2
Suppose 23 = 5*n - 3*j, 5*n - 2*j - 2*j - 24 = 0. Let u = 77 + -68. Let k be 6*(u/2)/9. Solve -b + k*i + 12 = 0, -i = 3*b + n*i + 20 for b.
0
Suppose -5*k - 4*j = -3 - 22, -10 = -2*k - 3*j. Solve 4*a + 17 = -k*q, -2*q - a - 2 = 6 for q.
-5
Let r(a) = a**3 - 9*a**2 + 8*a + 2. Let c be 8 - (-1 + (-4 - -5)). Let p be r(c). Solve g = 5*t - 4*t - p, 5*t = g + 22 for t.
5
Let b = 12 + -5. Let d(v) = v**3 - 8*v**2 + 10*v - 1. Let y be d(b). Suppose -5*l + 26 = 6. Solve -2*i - l*q = -2*q - 12, 0 = -5*i - 3*q + y for i.
1
Suppose 0 = 47*f + 20*f + 12*f - 1580. Let b be 3 - 1 - 1 - -1. Solve -5*x = 2*p - 20, -5*x + p + b*p + f = 0 for x.
4
Let i be (2/2)/(12/10 + -1). Solve 3*f - f + 7 = 3*v, i*f = v + 2 for v.
3
Let w = -55 + 66. Suppose 0 = 4*l - 4*m - 5 - w, -l - 5*m + 10 = 0. Solve 0 = 4*g - l*d - 20, -4*g - 8 = d + d for g.
0
Let f(t) = t**2 + 2*t + 16. Suppose 8*w - 10*w = 0. Let a be f(w). Let s = a + -11. Solve l - 5*l - 6 = s*j, -2*l = -3*j - 8 for j.
-2
Let n be (2/5)/(-2) - 3/(-15). Suppose -k = 2*r, -5*r = -n*r. Solve l = -b + 7, 17 = -b + 5*l - k for b.
3
Suppose 0*t - 1 = 5*b - 4*t, -b + 4*t - 13 = 0. Solve -y - 4 = 0, 2*g - b*y + 8*y + 26 = 0 for g.
-3
Let r be (-30)/100 + (-252)/(-40). Solve 2*c - 2*h - r = -c, 5*c + 3 = -h for c.
0
Suppose -5*n + 12 = -j - 13, -3*j = 4*n - 20. Solve n*k = -4*i + i + 5, k - 14 = 2*i for i.
-5
Suppose 3*a + 0 + 18 = 0. Let z be (-2)/(1*(2 - (-15)/a)). Solve 2*x - 9 = -5*k - 0*x, z*k - 24 = 4*x for k.
3
Let z = 106 + -103. Solve 5*r + 21 = -4*v - 0*v, -3 = z*r for v.
-4
Let k(q) = 7*q - 3. Let g(w) = -15*w + 6. Let y(l) = 6*g(l) + 13*k(l). Let b be y(8). Solve -h + 15 = 3*c, 0*h - 26 = -b*c - 2*h for c.
4
Let j be (-3)/(-5)*(-13 + -67)/(-4). Solve -w = 2*k, j = 3*w - k - 2 for w.
4
Let r = -831 - -844. Solve -5*m + r = -y - m, -5*m = 4*y + 10 for y.
-5
Let m(p) = -2*p**2 - 11*p + 7. Let v be m(-6). Solve -5*s - 23 = -4*t, -2*s + s + v = 2*t for s.
-3
Let d = -73 + 78. Solve 5*i - 5*a = 0, d*i + 5*a = 1 + 49 for i.
5
Let m be (1 + -2*1)*-10. Suppose -10 - m = -5*t. Suppose 22 = -5*r - 3*z + 111, 3*r = 5*z + 67. Solve -g - t*g + s = -r, 0 = s + 4 for g.
3
Suppose -4*c - 4*t = -36, -2*c + 2*t = 11 - 17. Solve -3*p = 3*o + c, -5*o + 2*p - 25 - 6 = 0 for o.
-5
Suppose 0 = 5*q - r, -3*q = -2*q - 3*r. Let p be (q + -4 + 6)*-7. Let b = 16 + p. Solve -3*y - b*f = 5, f + 4 = -0 for y.
1
Let o(t) = -t**2 + 10*t - 18. Let x be o(6). Suppose 0 = 2*a + y - 0 - 2, -4*a + 3*y - x = 0. Solve 12 = -2*m + r, 0 = -3*m - a*r - 5*r - 5 for m.
-5
Suppose -4*i + 21*i = 51. Solve 3*b + 21 = i*c + 6, -20 = 3*b - 4*c for b.
0
Suppose -4*k = 5*j + 17, 4*j - 8 = -k + 5*k. Let f be 1/(k + 10/3). Solve -f*w = -0*r + 4*r + 1, r = -w + 1 for w.
5
Suppose -103 = -5*r + 16*u - 15*u, 5*r = -4*u + 88. Solve -5*y - r = 5*o, -3*o + 4*o = -5*y - 4 for y.
0
Let b(t) = -t + 1. Let l be b(-4). Suppose 2*f + f = -18. Let c(o) = -o**3 - 5*o**2 + 3*o + 7. Let u be c(f). Solve -2*r - 2*p + 2 = 2*r, -l*p = u for r.
3
Suppose -3 - 9 = -3*y. Suppose 0 = 4*x - y*o, 3*x - o + 1 = 11. Let v = 7 - 2. Solve 2*r - x = 3*n, -2*n = -v*r + 3*n for r.
-5
Let f be 303/99 + 58/(-957). Solve -f*q + s = -15, -s = 5*q - 0*s - 25 for q.
5
Suppose 21*i - 19*i = 5*y + 3, i + 2*y - 6 = 0. Solve i*r - 1 = -3*t, 9*t - 13*t - 8 = -4*r for r.
1
Let h be 3 - 2/(4/14). Let s be (11 + h)*10/35. Suppose -2*y + y - 3 = -r, 3*r = -2*y - 6. Solve -g + s = r, -3*g - 3 = -4*d + d for d.
3
Suppose -20*g + 94 + 26 = 0. Suppose -15 = -3*f - 3. Solve -x = 2*y + g, -40 = f*y + 4*x - 9*x for y.
-5
Suppose f - 9 = 4*y, y + 9 = 8. Solve -4*v = 0, m - v - f = -5*v for m.
5
Let y be (-1)/(7/(-37)) - (-4)/(-14). Suppose 19 = 2*p - 4*p - 5*j, 5 = -y*p - 4*j. Solve -4*f = -p*c - 6 - 4, 0 = -c + f - 2 for c.
2
Let t be (36/21)/((-2)/(-7)). Suppose -12 = -d - t. Solve s - 14 = -3*c, 4*s = c + 5*s - d for c.
4
Let i = -3 + 3. Suppose h - j - j - 4 = i, 0 = 2*h + 3*j - 1. Solve 2*t = -2*l - h*l - 2, -4 = -2*t + 2*l for t.
1
Suppose -w + b - 16 = 0, -6 = b - 2. Let r = w + 20. Suppose r = -l + 3 - 0. Solve 3*q = -0*v + l*v - 18, 15 = 5*v for q.
-3
Let z = 2