 - z + 6, -c + 10 = 3*r for r.
3
Let k be 3/(-4) + 172/16. Solve 5*x + k = 3*b, -4*b + 25 = x + 4*x for x.
1
Let q(j) = -2*j**3 - 6*j - 5 + 1 + 6*j**3 - 6*j**2 - 3*j**3. Let w(s) = -s + 7. Let m be w(0). Let y be q(m). Solve 0*z + 4*g = z + 16, 20 = y*z + 5*g for z.
0
Suppose -7*m - 4 = -9*m. Solve -5*f - 35 = a + m*a, -3*a + f - 11 = 0 for a.
-5
Let h(w) = w**2 - 12*w + 22. Let f be h(10). Solve -4*q = -f*l - 14, -5*l + 0*q - 17 = -q for l.
-3
Suppose 2*o + 2*o = 0. Suppose -2*h - 4 = -y - 3*y, y = -5*h + 12. Suppose 5*u = 3*f - 7 + 26, 4*f + 16 = 2*u. Solve o = -x - 6*c + c + u, x - c = y for x.
2
Let m = 0 - 1. Let x = 1 - m. Suppose 0 = -x*t - 3 + 11. Solve 0 = g + 5, -t*w + g - 5 = -6*w for w.
5
Suppose 21*m + 8 = 25*m. Suppose 4*l - b - 3 = -7, 3*b = -4*l - 20. Let y be 2 - (l/(-2) + -2). Solve 3*i + 4*u = m*i, 0 = -y*i - 5*u + 7 for i.
4
Suppose 0 = -4*n - n + 5*p + 60, -2*n + 4 = 2*p. Solve -26 = -5*d + 2*s, n = -0*d - 2*d - 5*s for d.
4
Let k = -9 + 11. Suppose -k*q + 5 = -3. Solve -2*o - 3*z - 2*z = 23, -q*z = -3*o + 23 for o.
1
Let x(g) = -13 + g - 5 + 37. Let h be x(-15). Solve h*y + 3 = -5*n - 7, -2*n - 4 = 2*y for n.
-2
Let v(r) = -2*r**3 - 21*r**2 + 13*r + 30. Let a be v(-11). Let k be -1*(0 - 1) - 1. Let i be (4 - k)*(-6)/(-8). Solve 3*j - 12 = 0, c = 6*c - i*j - a for c.
4
Suppose -4 = -7*d + 5*d. Solve i - 6 = 2*o, -22 - 4 = 4*i + d*o for i.
-4
Let c = 13 + -10. Suppose 0 = u + 3*u. Suppose u*o = o - 16. Solve 5*r = 3*h - 31, -2*h + o + 3 = -c*r for r.
-5
Suppose -40 = -4*u - u. Suppose -5*z - y = -2*y - 6, 0 = 2*z + y - u. Solve -5*w = n - z*w - 1, 0 = -2*w + 4 for n.
-5
Let v(i) = -2*i + 42. Let u be v(0). Solve 5*h + u - 12 = -3*m, 2*m = 5*h + 5 for m.
-5
Let l(a) = a**2 - a - 27. Let u be l(-6). Solve t = 5, 2*p + 2*t = 5*t - u for p.
0
Let z = -14 - -6. Let j be 66/24 - 2/z. Solve -h + 4 = 3*k, -j*k = 2*k - 5*h - 20 for k.
2
Let k be (-2 + 0)*(7 + -8). Suppose 2*v - c = -k*v + 103, c = -4*v + 97. Solve 4*o = 3*a - 3, -4*o - 3*a - v + 4 = 0 for o.
-3
Let s(t) = -3*t - 12. Let v be s(-5). Solve -2*b + 4*f = 0, 4*b + 6 = -f - v for b.
-2
Let y = 83 + -80. Solve -3*b + 5*n = 35, 0 = 8*b - y*b + 3*n + 13 for b.
-5
Let j be 1/2*(-2 - -2). Suppose j = -x - 2*o, -24 = -2*x - 0*o + 2*o. Suppose g = 3*g - x. Solve -4*n + 2 = -g*a + 2*a, -3*n + 4*a = 1 for n.
1
Let w(s) = -s - 1. Let z be w(-2). Solve 3*m - 7 = 5*n + 4, 0 = -5*m + 4*n + z for m.
-3
Let j be (-5 - 0)/((-6)/12). Suppose 6*z + 20 = j*z. Solve 0 = -z*a - 4*q + 2*q + 11, 2 = -q for a.
3
Let p(u) = -u**3 + 4*u**2 - u - 3. Let n be p(3). Let d = 34 + -34. Solve n*c + x + 3 = d, 0 = 4*c + x + 4 - 1 for c.
0
Suppose 2*l - l - 4 = 0. Suppose -k = 2*u + 6, -3*u + 12 = 4*k - l*u. Solve o + 3*c = 4, -2*o - 3*c + k = -0*o for o.
-2
Let j(d) = -d**2 - 5*d - 4. Let w be j(-4). Solve w = 2*f - 5*f - 12, 4*g + 3*f = -32 for g.
-5
Let r(h) = -36*h**3 - 3*h - 2. Let q be r(-1). Solve 4*z - q = -4*u - 5, 0 = -4*z + 16 for u.
4
Let b be 0 - (-1)/(-2)*-10. Solve b*w = 4*r - 20, -3*r + 5 = 4*w - 10 for r.
5
Let j be 7 - -2 - (-3)/(-3). Suppose k + v = j, -1 = 2*v + 3. Solve k*d - 20 = 5*d - 2*b, -2*d - b + 9 = 0 for d.
2
Let r = 29 + -25. Solve -24 = -r*a + t, 4*t - 2 = a - 23 for a.
5
Let v be (-5)/4*2*-2. Let k be 174/30 - (-1)/v. Suppose 14 = l - 2*j, 3*l + 2*j + 2*j + 8 = 0. Solve m - k = -2*s, -3*s - 6 = -2*s - l*m for s.
2
Let c(l) = l**2 - 33. Let y be c(6). Solve 5 = 2*d + 1, y*d = -5*v - 19 for v.
-5
Let a = -116 + 117. Let s = 61 - 41. Solve 2*o = -3*l - a, 2*o - 4*o = -4*l - s for o.
4
Let s = -18 - -22. Suppose -s = -i - 0. Solve 5*m + b - 18 = 0, -3*m + 0*b - i*b + 4 = 0 for m.
4
Let f be -1*((-22)/(-33))/((-4)/42). Solve h - 3*v + 2 = -f, -2*v = -8 for h.
3
Let s(w) = -4*w - 28. Let j be s(-8). Let r(q) = q**2 - 9*q + 8. Let i be r(10). Solve -20 = 4*h, -i = -j*v + 4*h + 6 for v.
1
Suppose -14 = -2*t - 12. Solve 4*h - 3 = -p + t, 16 = -3*p + 2*h for p.
-4
Suppose 2*f = 4*f + 5*g - 29, 4*f - 5*g + 17 = 0. Solve -2*o - 15 = -5*o - 3*x, 0 = -f*x for o.
5
Let h(s) = s**2 + 16*s - 29. Let v be h(-18). Solve 2*m = 10, 2*m - 2 = -g + v for g.
-1
Suppose q - 3*q = -8. Let k(f) = f - 5. Let i be k(8). Let s(h) = h**2 - 7*h + 9. Let n be s(6). Solve -3*z = n*t + 27, t + i*t + q = 4*z for t.
-5
Let g(i) = -i**2 - 5*i. Let f be g(-3). Solve -2*y = -2*r + 1 + 5, 2*y = -f for r.
0
Let w = -4 - -6. Let i(s) be the second derivative of s**5/20 + s**4/3 + s**3/6 - 2*s**2 - 5*s. Let v be i(-2). Solve w*p = 4*p + 8, 0 = v*o - 4*p - 10 for o.
-3
Let w(t) = t**3 + 3*t**2 - t + 1. Let z be w(-3). Suppose -5*l = 5*u - 40, 2*u = 3*l - l + z. Solve o + 3*c - 5 = -0*c, 5*c + 25 = u*o for o.
5
Suppose 7*k = 2*k - 140. Let f = k + 19. Let q(i) = -i**3 - 10*i**2 - 10*i - 7. Let y be q(f). Solve 3*j - 10 = 5*j + 2*c, 4*c - 4 = y*j for j.
-4
Let t be 16/(-10)*(-10)/4. Let l be (-2)/4 - 3/(-6). Suppose l = 5*j - 5*d - 10, 0 = 4*j + t*d - 17 + 1. Solve 3*v = 5*k + 7, -j*v + 13 = -5*k - 6*v for k.
-2
Let j be 0*(-2)/(-4) - 0. Let m be -14*(-1 + 2)/((-7)/2). Solve 0 = 4*d - m*b - 0 - 8, 3*d + 4*b + 15 = j for d.
-1
Let u = 14 - 8. Suppose y - u*y = -60. Solve -4*w + 5*j = -y - 11, -4 = -5*w - 2*j for w.
2
Let w = -4 - -6. Suppose w*v = 4*v - 6. Let i be 4*(-10)/(-24)*v. Solve -3*o - 1 = -b, -1 = i*o + b + 6 for o.
-1
Let j be (0 - (-2)/(-4))*-8. Let q = j - 2. Solve -1 = -3*x - c, -4*x - 5*c = -q*x - 5 for x.
0
Let j be -1 - -28*3/(-6). Let p = j - -15. Solve p = -3*a - 5*b - 11, 2*a = -5*b - 5 - 4 for a.
-2
Let v(k) = k**2 + 3*k. Let h be v(-2). Let a be -2*(0 - h) + 8. Solve -o = -0*o, 2*o + a = -y for y.
-4
Suppose 3*r + i - 1 = 0, 2*i = -5*r + i - 1. Let f be (5 - (-2 - -4))/r. Let j = f + 6. Solve j*t = 2*b - 14, 0*b = 5*b + t - 18 for b.
4
Let m(n) = n**3 - 2*n**2 + 5*n - 5. Let y be m(2). Solve u + 26 = -y*w, -5*u - w - 11 + 1 = 0 for u.
-1
Let k(p) = -p - 1. Let r be k(-7). Solve 4*w = -3*v - 12, -14 = 5*v - 4*w + r for v.
-4
Let x be 6 + (1 - 3/1). Suppose c + 2*c - 9 = 0. Solve 20 = i - x*l - l, -4*l = -c*i + 27 for i.
5
Suppose -56 = 6*d - 4*d. Let w = -28 - d. Solve 0 = 4*a - 4*s + 32, 3*a + w*a + 3*s = 0 for a.
-4
Let w = 4 + -1. Suppose w*f = f + 8. Suppose p = f*p - 12. Solve 2*x + 0*x + p*k + 6 = 0, 3*k - 9 = 3*x for x.
-3
Let p(t) = -5*t. Let g(n) = -2*n. Let v(f) = 9*g(f) - 4*p(f). Let c be v(1). Suppose -j = -2, s - 6*s + 2*j = -11. Solve -3*l + c*w = l + 10, 0 = s*w - 3 for l.
-2
Let d = 32 + -3. Suppose 2*z - d - 11 = 0. Suppose 3*r - r + z = 4*u, 2*u + r = 10. Solve 2*s = 3*t + 14, t = 3*t - u*s + 13 for t.
-4
Let d(f) = -f**2 + 8*f - 7. Let s be d(6). Suppose -4 - s = -3*b. Solve -10 = -b*g + 2*w, -2 = 2*g + w + 3 for g.
0
Suppose 0 = -3*u + 21 + 6. Let j = 13 - u. Solve -j = -2*x + 2, 0 = -4*r + 5*x - 31 for r.
-4
Let q(g) = -g**3 - 4*g**2 + 2*g + 9. Let s be q(-4). Suppose -s = -m + 2. Solve 0 = -3*f + m*k - 4*k - 9, 2*f = 5*k - 6 for f.
-3
Suppose 2 + 4 = q + r, -5*q + r = -18. Solve -3*u - 4*t = -6*u, 5*u = q*t - 8 for u.
-4
Let h be -2*3/(-3 - 0). Solve 5 = -5*i + 4*r - 0, r = h*i + 2 for i.
-1
Let p be (-3)/(-3)*(5 - 0). Solve 9*g - p*g = 20, 5*g = -3*i + 19 for i.
-2
Suppose 0 = -2*m, -5*m + 14 = -5*k + 3*k. Let v = k + 9. Solve -o + 2*o = 5*x - 4, -4*x - v*o = -6 for x.
1
Let c = 76 + -73. Solve -c*h = -t - t + 21, 18 = t - 3*h for t.
3
Let t = -7 - -12. Let d(o) = -o**3 + o + 3. Let x be d(0). Suppose 4*q = 8*q - 16, x*v - q - 5 = 0. Solve -12 = v*s, -4*s + 4 = t*j - 0 for j.
4
Let o be (-2 - -7) + -3 + 5. Let b = 10 - o. Let x = -1 + b. Solve -x*j = 5*y, 0 = 4*j - 0*j + y for j.
0
Suppose 3*b - 4 = 11. Suppose -6*l = -4*l. Let h(y) = 11*y + 24. Let f be h(-2). Solve l = -4*s + 4*g - 21 + b, 2*g = -f*s + 12 for s.
1
Let r(m) = -m**3 - 2*m**2 + m - 1. Let q be r(-2). Let p(s) = -s**2 - 5*s - 4. Let i be p(q). Solve -b + i = -3*g, -b - 2*b = -3*g - 12 for g.
1
Let g(o) = o**3 + 11*o**2 + 11. Let q be g(-11). Let c = -8 + q. Solve a + 4*w = -c, 3*a + 6*w = 3*w for a.
1
Let w(f) = 3*f - 7. Let m be w(4). Solve 0 = -3*u, -3*v = -5*v + m*u + 10 for v.
5
Let k(p) be the first derivative of -p**3/3 + 2*p**2 + 3*p + 6. Let u be k(4). Solve -4*z = 5*n + 4, 3*z + 3*n + u = 7*n for z.
-1
Let t(w) = -6*w - 17. Let k be t(-7). Suppose 0 = -4*o - 0*o + 2*c - 12, -o + 5*c = 3. Let b be 1 