 -2*k = i + 1 for i.
3
Suppose -5*u + 8 + 7 = 0. Suppose -2*o = 2*z - 2, 3 = 2*o - u*z - 4. Suppose -j + o = -0*j. Solve -5 = j*n - h - 2*h, -3*h = 3*n for n.
-1
Let p be -2*(-1 + -1*18). Solve 0 = -3*y + 5*g + p - 8, 2*y + 3*g = 1 for y.
5
Let b be (-20)/6*(-42)/35. Suppose -23 - 5 = -b*r. Solve -2*d = -r*d + 4*u + 11, 3*d = 4*u + 13 for d.
-1
Let q(u) = u**2 - 10*u - 8. Suppose x = k - 12 + 1, 2*k = -5*x + 22. Let r be q(k). Solve -2*f + 11 = -r*f - 3*o, 0 = -5*f - o + 1 for f.
1
Suppose 2*i + 5*i - 49 = 0. Solve -3*y = -0*t + 4*t - i, -3*y + 3 = 3*t for y.
-3
Suppose -4*b + 26 - 6 = 0. Let c(q) = q - 11. Let k be c(9). Let m be -1 + 2/1 - k. Solve -4*f + 11 = h, -m*f = -b*h - 0*f + 9 for h.
3
Let v be (-8)/36 - 22/(-18). Let b be 6 + (v + -2)*1. Solve 0 = 2*y - 4*j - 8, -j = b*y + 10 - 30 for y.
4
Suppose -6*f + 5*f = 0. Solve c + 5 - 4 = p, -3*p + 15 = f for c.
4
Let n(k) = -k + 15. Let f be n(15). Solve f = 2*u + 10, -3*q - 3*u = -6*u - 27 for q.
4
Let q be 0*1/(-2) - -3. Let v(w) = 6*w - 2*w + 5*w - 7*w**2 - w**3 - 5 - 2*w. Let i be v(-8). Solve -i*x = 2*m + q*m + 12, 0 = 4*x + m - 1 for x.
1
Suppose 4*k + 8 = -5*b + 4, -36 = -4*k + 5*b. Solve -2*x = -0*y - y - 8, k*x = 5*y + 10 for x.
5
Suppose -6 = 4*d + d + 4*h, d + 5*h = 3. Let j(p) = 4*p - 2*p - 2 - 1 - 6*p. Let k be j(d). Solve 0 = 4*g - 16, 5*l + k*g = 6*l + 22 for l.
-2
Let k(w) = w - 1. Let h be k(5). Let v be (-219)/(-9) - h/12. Solve -8 = -a + 3*o, 4*a - 2*o = -4*o - v for a.
-4
Let n = -79 - -82. Solve -n*y - 5 - 1 = -u, y - 12 = 5*u for y.
-3
Suppose -3*h = -h - 22. Suppose 4 + h = 5*q. Let x be 3 + (2 - 1)*1. Solve 0 = -x*z - 5*n - 9, q*n = -2*z - 0*n - 5 for z.
-1
Suppose 2*w - 1 = 5, 0 = -2*t + 3*w + 7. Let o(r) = 51 - 4*r - 59 + 5*r. Let b be o(t). Solve 0 = -c + 3*x, b = -4*x + 2*x + 2 for c.
3
Let o = 111 - 104. Solve -2*c + 5*r = -12, -3*c + r + o = 2*c for c.
1
Let d = 6 - 4. Suppose -3*s - d*y = -0*s - 5, 4*y = 4*s - 20. Suppose s*c - t - 9 = 0, 5*c = -6*t + 2*t + 32. Solve 0 = p - 4, -c*g + 0*p = 3*p - 28 for g.
4
Suppose -3*o - 11 = -80. Let l = 44 - o. Solve -3*v + l - 6 = 0, 0 = -3*c - 4*v + 11 for c.
-3
Let v(b) be the third derivative of b**6/120 - b**5/30 - b**4/8 - b**3/2 - b**2. Let o be v(3). Let q = o - -3. Solve -2*n = 3*s, 0 = -2*s + n - q*n - 7 for s.
-2
Suppose 0 = 2*m - 2*v - 12, 3 = 3*v + 15. Solve -h = -m*n - 13, 4*h - 3*n - 37 = 2*n for h.
3
Let z = 3 + -5. Let d(j) = -7*j - 2. Let x be d(z). Let p = -7 + x. Solve 0 = v - 2, 18 = -2*s - 0*s + p*v for s.
-4
Let i(k) = -k - 2. Let o be 1*-2*2/4. Let r be ((o - -22)/(-3))/1. Let j be i(r). Solve 4*c - 16 = -4*h, 0*h + 25 = j*h for c.
-1
Let x(z) = -4*z**3 + z**3 + 2*z**3 - 2*z**2 + 2*z - 5. Suppose -r = -h - 1, -h + 10 = -5*r + h. Let k be x(r). Solve -u = -5*c + u - k, u = -4*c - 23 for c.
-5
Let k = 11 - 5. Let y be k/(-3)*(-5)/1. Solve 5*v + 3*p - 11 = 0, -2 = 4*p - y for v.
1
Let x = 3 - 3. Suppose -6*z - 8 = -10*z. Let n(i) = -i**3 - 7*i**2 - i - 5. Let m be n(-7). Solve 5*v = 5, z = 4*y - m*v - x for y.
1
Let b = 5 - 5. Let y(p) = -p**3 - p + 4. Let u be y(b). Solve -3*t + 16 = -4*w, -3*w - w = -u*t + 16 for w.
-4
Let g be (10 - 9) + 55 + 0. Let u be 109/(-3) - (-2)/(-3). Let y = u + g. Solve 4*o + 3*z - y = -0*o, -4 = -4*z for o.
4
Let r(x) = -x - 6. Let g be r(-8). Suppose -6 = -c - g. Let f(v) = 4*v - 6. Let m be f(5). Solve -2*i - 4*n + m = -4*i, 4*n - 24 = c*i for i.
-5
Let f(z) = -z + 5. Let o be f(3). Let h(i) = i**2 - 1. Let u be h(3). Suppose u = 5*b - 7. Solve -c - b*c = w + 8, -w - o = c for w.
0
Let a be 8 - ((-3)/(-1) - 2). Suppose 0 = -a*r + 3*r + 32. Solve -2*u - 5*l + 0 = 8, -2*u - r = -l for u.
-4
Let c = -9 + 11. Solve -4 = 4*o - 2*o - 5*s, o = -4*s - c for o.
-2
Suppose 0 = 25*m - 12 - 13. Solve -16 = -4*g, -3 = 4*c - g + m for c.
0
Let f = 17 - 13. Solve -f*j + 12 = 0, -5*x = -x + 2*j + 10 for x.
-4
Suppose 21 = j + 5. Let k = 1 + 1. Let q = 0 + 8. Solve 5*i - o - 3*o - j = 0, k*o = 3*i - q for i.
0
Let h be (-1)/(-2) - 123/(-6). Suppose 0*z = 3*z - h. Solve -v + 4*l - z = 13, -2*v + 8 = 4*l for v.
-4
Suppose 5 = 4*t - z, 3*t - 5*z + 2 + 7 = 0. Solve -2*v - 13 = 2*o + o, -v = t for o.
-3
Let z(t) = -12*t**3 - t. Let s be z(-1). Suppose s*c + 8 = 15*c. Solve c*d + 20 = -2*x, -4*x - 3 - 9 = d for x.
-2
Let c(m) = -m**2 - 21*m - 18. Let x be c(-20). Solve 0*o + 2*l = o - 7, 9 = x*o + l for o.
5
Let w(v) = 4 + 3*v**2 - v**2 - 3*v**2 - 15*v - 18. Let x be w(-14). Solve -3*d + 9 = x, -3*p + d = 3 + 6 for p.
-2
Let x be ((-2)/(-7))/((-12)/(-84)). Solve x*t + 16 = -5*j, 4*j = 3*t + 2 - 1 for j.
-2
Let a be 21/(-12) + 2/(-8). Let r be (-3)/((-2 - -4)/a). Suppose -2*b - r*b = -20. Solve 0 = 4*i - j + b*j - 26, -4*j + 3 = -i for i.
5
Let c be (0/2 - -2) + 0. Let t = -19 - -20. Solve -l = -3*r + 2 + t, -c*r - 4*l = -16 for r.
2
Suppose 3*r = s - 9, -2*s + 5*s - r = 3. Let q = 6 + 21. Solve s = -5*c - 2*k + 14, q = 5*c - 2*k + 1 for c.
4
Let j be 1/((5/(-45))/(2/(-6))). Solve 5*r = -s + 18, j = 5*r - 0*r - 4*s for r.
3
Let i = 4 + -5. Let b be 2 + -1 - (i - 2). Suppose 2*p - 14 = -b*q, 3*p = q - 4*q + 15. Solve 18 = c - 3*c - q*x, 20 = -5*x for c.
-5
Suppose 0 = 4*c - 16 + 8. Solve -j - 3 = c*r, 2*j = -0*j + 3*r - 13 for j.
-5
Suppose 0*m = -2*d - 2*m + 18, 0 = -2*d - 5*m + 33. Solve 4*b = -2*j + 2, -3*j + d*j - 4 = -3*b for b.
3
Suppose 4*c = -3*r + 11, -3*r - 2*r + 4*c = -29. Suppose 3*m - 3*x = 9, -r*m + 3*x = -0 - 11. Solve 2*h - 7*h = 3*t + 31, h - 2*t + m = 0 for h.
-5
Suppose 4*i = -4*p + 20, -3*i + 3*p + 11 = 2*p. Solve -13 = g + i*u - 3, 3*g - 5*u - 21 = 0 for g.
2
Suppose 0 = 2*v + 5*s - 5, -3*v + 5*v - 2*s - 12 = 0. Solve 2*n + 0*n + v*q - 9 = 0, 3*q - 3 = 0 for n.
2
Let s = 3 - 3. Suppose v = 7 - s. Let p = 9 - v. Solve i - 22 = 5*c, 4*c = p*c - 4*i for c.
-4
Let x(l) = l + 5. Let s be x(0). Solve y + 23 - 5 = s*o, 3*y - 3 = -4*o for o.
3
Suppose -3*l + 2*v = -15, 0*v - 2*v = 6. Let u be l - (-1 + (2 - 4)). Solve -2*g = -4*p, -2*g + 5*p - 26 = -u*g for g.
4
Let g be 12/(-8)*2*3. Let n = 5 - g. Solve 2*v + u = 8, 4*v - n = 3*u - 4*u for v.
3
Let h(p) = p**2 - 4*p + 2. Let x be h(6). Let r(t) = 9*t**2 - t + 1. Let a be r(1). Let f = a + -7. Solve -4*i = 2*u - x, 0 = 6*u - u + f*i - 27 for u.
5
Let d(h) = -h + 34. Let u be d(26). Solve -q = o - 5, 2*o + q + 1 = u for o.
2
Suppose 0 = 5*i - 18 + 3. Suppose -4*v - 14 = -3*v. Let x = 19 + v. Solve 2*l + r = -i, -l + x*r - 7 = -0*l for l.
-2
Let r(i) = i**2 - 14*i - 22. Let x be r(16). Let z = -7 + x. Solve -m = z*t - 0 + 12, 2*m + 2*t + 8 = 0 for m.
0
Let w(v) = v - 1. Let u(n) = 3*n - 1. Let y be u(2). Let r be w(y). Solve 3*f + 5*h = -14, -3*h - r = 3*f + 8 for f.
-3
Suppose 0 = -4*y - 5*h + 25, -4*y = -9*y - 3*h + 15. Solve -2*p = -y*r - 4*r + 28, 0 = 5*r - 25 for p.
-4
Suppose -3*r = -2*r + 2, -30 = -5*s - 5*r. Suppose -3*g + 29 = 5*k, k + 3*g + s = 21. Solve 3*p - 2*p = -k*j - 17, 0 = 2*p - 2*j - 6 for p.
-1
Suppose 0 = m - 2. Suppose 3 = m*h - 1. Solve -d - 7 = -4*r + 3*r, 0 = -3*d - h*r - 6 for d.
-4
Let c be -1 + 3 - (-1 + 1). Suppose 4*m + 15 = -x - 0*m, 0 = 2*x + c*m + 12. Let h = 5 + x. Solve k + 13 = -h*k + q, 3*k = 2*q - 17 for k.
-3
Let z(n) = n**3 + n - 12. Let g be z(0). Let j = -9 - g. Solve 4*i - 5*i + 1 = 3*s, -3*i + 9 = j*s for i.
4
Suppose -z - 3 = 0, 7*n + 2*z - 6 = 3*n. Suppose -i + n = -2. Suppose i*j = -3*d - 2*d + 25, 3*d = j + 15. Solve d*x + 15 = 2*o - 9, 2*o = x + 8 for x.
-4
Let a(y) = -y - 11. Suppose 2*c = 2*l + 16, -2*l - 31 = -c + 4*c. Let b be a(l). Solve -3*i = -2*f + 4, 0 = -4*f + 5*i + 6 - b for f.
-1
Suppose 8*q = 3*q + 275. Let c = q - 27. Solve -14 = 3*h - 4*b + 8, 4*h + c = 5*b for h.
-2
Let j(p) = -2*p**3 + 3*p**2 - 4*p + 3. Let k be j(2). Let c be (-5)/(30/k + 3). Solve l = -5*r - c, 5*l + r = -r + 17 for l.
5
Let p = -16 + 3. Let z = 29 + p. Solve -y + 5*t + 23 = y, 3*t = -y - z for y.
-1
Let l(y) = y - 1. Let d(s) = -s**3 - 6*s**2 - 7*s - 4. Let c be d(-5). Let b be l(c). Suppose 0 = -b*n + 20. Solve 1 = i + v - 1, -i - 8 = -n*v for i.
0
Let t(d) = 2*d**2 + d + 1. Let z be t(-1). Suppose z + 3 = 5*o + 3*p, 13 = 2*o - p. Solve 0 = 3*i - y - 6, -o*y - 6 = -3*i - 2*y for i.
2
Suppose 67 = 4*z + 7. Let v(w) = -w**3 - 6*w**2 - w - 1. Let n be v(-6). Suppose -2*y + 3 + n = 0. Solve -y*j 