= 0, 5*d - 3*i = -s + 6 for d.
-1
Suppose -17*y = -19*y + 10. Solve -3 = -3*z + r, 3*z - 5*r = y*z - 2 for z.
1
Let b be (8/(-3))/(1/3). Let m = -8 - b. Suppose -q - 3*q + 20 = m. Solve 0 = -4*y + 4*d + 4, -2*y - 16 = q*d - d for y.
-2
Suppose -6*z + 0*z - 24 = 0. Let x = z + 7. Solve j = 5*w - 2, -7*j = w - x*j - 13 for w.
1
Suppose 0 = -s + 4 + 8. Let y(w) be the third derivative of w**4/24 + 3*w**3/2 + w**2. Let o be y(-6). Solve 5*t - o - s = -3*l, l = -5*t + 15 for t.
3
Let r(x) = x**2 + 2*x - 2. Let t be r(-4). Suppose -3*s - 4*w + 36 = -t, 2*s = w + 39. Solve -2*o = 4*l - 4, -l - s = -4*o + l for o.
4
Let u(f) = -f**2 - 5*f - 4. Let d be u(-4). Solve d = 5*t - 5*b + 10, 0 = -2*t + 3*b - 5 - 0 for t.
-1
Let m = -1 + 3. Suppose 2 - 4 = -m*f. Solve 2*r = 4*j - 28, -2*j - r = f - 7 for j.
5
Let t(h) = 3*h**2 - 2*h**2 + h + 0*h**2 + 4*h. Let m be t(-5). Solve m = -2*w + 5*u - 13, -4*w - 2*u + u + 7 = 0 for w.
1
Let r be -44*(-1)/4*2. Let n = r - 18. Solve -n*v - 2*x = v - 27, -24 = -5*v + x for v.
5
Let u be 2/(4/4) + 2. Suppose -3*g = -u*g + 5. Solve -2*w = -l, -g*w = 4*l - 6*l - 2 for l.
4
Let i = 7 - -14. Solve 4*z = q + i, -1 = 3*q + z - 3 for q.
-1
Suppose -10*p + 0*p = -20. Solve -t + p*r + 10 = 0, -t + r = 4*r + 10 for t.
2
Let c(z) = -z**3 - 1 - 4 + 2*z**2 - 1 + 5. Let n be c(1). Solve -4*t + n*a = a - 17, 3*t - 14 = -2*a for t.
4
Let l(y) = 2*y + 57. Let v be l(-26). Solve 0 = -2*q - g + 10, -v*q + 4*g + 6 = -6 for q.
4
Let o(d) = -d**3 - d**2 + d. Let a(y) = -3*y**3 - 5*y**2 - 3. Let m(w) = a(w) - o(w). Let q be m(-3). Solve -3*t = -6*t - 4*b - 17, q = -2*t - 4*b for t.
1
Let i(c) = -c. Let u be i(-3). Let b be 1*6/u*2. Suppose 0*z - 8 = -2*z. Solve 0 = -b*d - m + 3, -m = z*d - 3*d for d.
1
Let d be 2 + 0 - -7*1. Let k be -1*d*(-1)/3. Solve 2*x = 5*m + k*x - 7, 0 = -3*m - 5*x - 9 for m.
2
Suppose 3*m - 94 - 236 = 0. Suppose 0 = -5*l - 0*l + m. Solve -2*k - 13 = 3*t, -3*t + 2*k - l = -5 for t.
-5
Let a(b) = -b**3 + 6*b**2 + b - 2. Suppose -6 = 3*c - 4*c. Let k be a(c). Solve -3*v = -4*f - k, -6*f = -2*f + 5*v + 36 for f.
-4
Let x(m) = 0*m - 4 + m - 3. Let j be x(8). Let r be j/4 + (-9)/36. Solve -18 = 3*l + 2*i + 3*i, -4*l + 4*i + 8 = r for l.
-1
Let b be (-2)/8 + 105/(-28). Let a = 4 + b. Solve a*t - 2*c = 2*t - 8, -t - 2*c = -8 for t.
0
Let a(n) = 2*n**2. Let b be a(6). Let c = b + -36. Suppose 0 = l - 6*l - 3*g + 8, c = 4*l - 5*g. Solve 2*s + 5 = 3*x, l*s + 3 = -2*x - 15 for x.
-1
Let p = 20 + -14. Let q be 20/6*p/4. Solve 0*z - z - 6 = -3*m, -q*z = 15 for m.
1
Let j be ((-6)/4)/((-3)/18). Let v = -4 + j. Solve -a - 22 = 4*h + 4*a, -v*h = 3*a + 21 for h.
-3
Let l be 26/5 + (-8)/40. Suppose w - 14 = -l*c, 3*c = -5*w - 18 + 88. Solve 4*f = -5*m - w, -2*m - 3*f = -f + 6 for m.
-2
Let g be 28/6*6/7. Solve 5*f = m + 8, 14 = 4*f - 2*f - g*m for f.
1
Let p = 2 - 0. Suppose -3*t - 1 = -4*t. Suppose 13 + 7 = 4*w. Solve -t = -p*l + 3*s + w, 4*l + 4 = 2*s for l.
-3
Suppose 5*b = 3 - 13. Let c(v) = -v**3 + 4*v**2 + 3*v - 8. Let h be c(4). Let m = h - b. Solve 2*j + 0 = -2*k - m, 4*j - 5*k + 21 = 0 for j.
-4
Suppose 4 - 19 = -3*s. Let v = s + -2. Suppose 6 = v*r - 3. Solve 0 = -4*a + 4*z, 0 = r*a + 5*z - z + 28 for a.
-4
Let q(d) = 3*d**2 + 25*d - 9. Let h(m) = m**2 + 12*m - 5. Let v(f) = 5*h(f) - 2*q(f). Let j be v(8). Solve 2*g - 2*u + 8 = 0, 0*u - j = 2*g - u for g.
-5
Suppose 0 = -4*w - 0*w. Solve -o = -5*k + 15, w = -k + 2*o + 12 for k.
2
Suppose -4*f + 2*f = 0. Let s(p) = p + 2. Let k be s(f). Let x(i) = -i**2 - 10*i + 13. Let q be x(-11). Solve 0 = -b - 5*r + 8, -b - 2 = -k*b - q*r for b.
-2
Let v be 30/5 + 1*-1. Solve -4*u - 3 = y - 4, u - v*y = -26 for u.
-1
Let a be (2/(-5))/(2/(-20)). Solve 3*i + 2 = a*n, i + 13 = -3*i - 5*n for i.
-2
Let m = 3 - -4. Solve -3 = f - 2*u, -4*f - m = 4*u + 17 for f.
-5
Suppose o - 2*c + 18 = -7*c, -c = 4. Let d = -8 + 20. Suppose -x + d = o*x. Solve x*h - 3*l + 20 = 2*l, -3*h - 3*l - 15 = 0 for h.
-5
Suppose 5*a = -5*v + 35, -3*a = -0*v - 2*v + 4. Let g = -11 - v. Let j be (0 + -5)*g/20. Solve -24 + j = 4*p, p + 15 = 5*q for q.
2
Let w(z) = z**3 - 4*z**2 - 5*z + 2. Suppose 0 = -2*h - 3*i + 16, -4*i + i = -6. Let c be w(h). Solve 0 = 4*v + c*k - 24, 2*k + 12 = 6*v - v for v.
4
Let f(y) = -y**3 - 3*y**2 - y - 1. Let x be f(-3). Suppose 0 = -5*i + 2*q - 0*q + 2, -2*i - 12 = -4*q. Solve -6*r - 4*b = -3*r, 0 = -r - x*b - i for r.
4
Let s be ((-6 + 0)/2)/(-1). Suppose s*g - 24 = g. Suppose -3*b = -5*m + 25, 3*m + m - 4*b = g. Solve 2*d + 12 = 2*r - m, 2*d - r + 15 = 0 for d.
-5
Suppose -30*b - 56 = -44*b. Solve 4*u - 19 + 4 = -f, 5*f = b*u + 3 for f.
3
Let x be 28/(-4) - 2*-1. Let z be ((-1 - -1) + -1)*x. Suppose z*w = 15 - 0. Solve o - 9 = 5*h - w, -4*o + 1 = 3*h for h.
-1
Let x be (-4)/(-3)*(-1 - (-15)/6). Solve f + 3 + 5 = 3*j, 11 = 3*j + x*f for j.
3
Suppose 2*j + 5 = -f + j, -4*f + 5*j - 2 = 0. Let v be (-9)/(-6)*(-1 - f). Solve -5*s + 4*d = -12, -4*s + v = s - d for s.
0
Suppose 0*i - 4*i = -2*s + 24, i = -4*s + 12. Suppose -3*j - 15 = 2*j, s*b - 3*j - 73 = 0. Solve f + b = -3*d + 2*f, 0 = 3*d - 4*f + 28 for d.
-4
Let r(a) = a + 1. Let n be r(4). Let g be 8 + -7 + 2/2. Solve 0*y + g*y + 28 = -5*u, 0 = -5*u - n*y - 40 for u.
-4
Let q = 10 + -3. Let i = 0 + 5. Suppose q*f - i = 2*f. Solve 0*b - o = 2*b - 2, 3*b + o = f for b.
-1
Suppose 2*c = c + 3. Suppose 5*p + c*f = -2*f, 2*f = 4*p. Suppose 3*j - 7 - 2 = p. Solve m + 3 = -2*h, -12 = -4*m + j*h - 2 for m.
1
Suppose 5*f = -4*m - 35, 3*f = -0*f + m - 21. Let k = -5 - f. Suppose p + 4 = 2*b + 14, -5*p = -k*b - 26. Solve -p = -4*x, -4*j = -2*j - 5*x + 7 for j.
-1
Suppose -4*q + 2*z + 30 = 0, -2*q + 3*z - z + 14 = 0. Solve -q = 5*d + 4*h + 7, -10 = 2*h for d.
1
Let o = -68 + 71. Solve 4*d = 3*d + 3*p - o, -3*p = -3 for d.
0
Suppose -q - 4*q - 2*y + 10 = 0, -y = -5. Solve q = 2*p + m + 1, p = 4*p + 2*m for p.
-2
Suppose 2*l = -2*l. Suppose l = -3*o - 2*o + 10. Solve o = 3*c + 3*b - 1, -b + 11 = 3*c for c.
5
Let a = 53 - 31. Let m = a - 16. Solve -m*l + l = -4*k - 27, 0 = -3*k - 2*l - 3 for k.
-3
Suppose 0 = 20*t - 0*t - 740. Solve -t = 3*h - 5*c, -2*h + 7 = -3*c + 30 for h.
-4
Let b be 1/(1 + (-4)/6). Suppose 0 = w - 2*w. Solve 0 = -3*k + 5*r - b, w = 4*r - 9 - 3 for k.
4
Suppose -5*v + 2*f + 41 = 3*f, 2*v = 5*f + 11. Let p be (-2)/8 + 18/v. Let s be (-4)/14*(-42)/12. Solve -3*l - 8 = -p*x + l, x = l + s for x.
-2
Suppose -12*b = -8 + 8. Solve 0 = -x - b*x - s, 3 = -s for x.
3
Suppose 0 = y - 5*y + 8. Solve -x = -0*t - y*t + 10, 5*t - 25 = -5*x for t.
5
Suppose -2*t = t - 6. Suppose r + t*d + 2 = 16, -4 = -2*d. Let g = 12 - 8. Solve m = -g, -4*m = u + u + r for u.
3
Let g(i) = i - 17. Let a be g(22). Solve 36 = 4*f - 5*u, 0*f - a*f = 2*u - 12 for f.
4
Let d be 0 + (-3)/((-9)/6). Suppose 5*m - 12 - 13 = 0. Let k = m + -2. Solve 2*u - 12 = d*r, 12 = k*u + 3 for r.
-3
Suppose -3*l - 3 = -9. Solve -2*z = l*z + 2*y - 20, 0 = 4*z - 5*y - 6 for z.
4
Let s be 45 - (1 - (0 - -1)). Suppose -12 = -4*u, -4*x + 0*u - 3*u + s = 0. Let i be (x/4)/(12/32). Solve 0 = 3*c - 3*r - 9, -5 = -c + i*c - r for c.
-2
Let f be 2/3 - 264/(-9). Suppose f = 4*q - 50. Solve -x + 0*x - 12 = 2*u, -u - q = 4*x for u.
-4
Let z(d) = 0 - 2*d + 0*d + 3. Let j be z(3). Let w = j - -5. Solve -5*r - 5*h = 0, w*r = 3*r + 3*h for r.
0
Let q(c) = -c**2 + 2*c + 5. Let v be q(0). Solve -22 = -4*n - 4*o + o, -v*n + 18 = -o for n.
4
Let b be (-9)/27 + 20/6. Solve -b*n - 19 = -6*n - 4*u, 0 = 4*n + 3*u - 23 for n.
5
Let j = -10 + 11. Suppose -5*v + j = 2*l - 22, -v + 23 = 5*l. Solve v*i + k = 4, -i - 4*k = 5 + 1 for i.
2
Let s(f) = f. Let h be s(-1). Let o = h - -4. Solve 2*v - 2*g = -o*g - 8, 2*v - 4*g - 2 = 0 for v.
-3
Let u = -9 - -23. Let w = 17 - u. Solve 2*f + 4 = 6*f + 4*r, f + w*r = 7 for f.
-2
Suppose -2*t + 30 = 4*d, 47 + 3 = 2*t - d. Solve -5*k = -u + t, 5*k = 5*u - 15 - 0 for u.
-2
Suppose -w + 1 + 20 = 0. Solve 0 = d + v + 3*v - w, 0 = -4*d - 2*v + 14 for d.
1
Let d(q) = -q**2 + 10*q - 17. Let m be d(6). Solve 4*n = 3*k + m, 1 + 0 = -k + 2*n for k.
-5
Let v be (-2)/3 - (-14)/3. Let w be ((-30)/(-4))/(4/8). Let t = 15 - w. Solve v*c - 16 = t, 2 + 28 = -2*b + 5*c for b.
-5
Let q = -16 + 27. Solve -q = -3*d + n, 4*d + 2*n = -d + 33 for d.
5
Suppose 0 = 2*r + o - 4, -2*r = r + 2*o - 4. Let t