*q + 20 for f.
0
Let r = 0 + -7. Let t = 9 + r. Solve t*f = -4*s - 2, 3*s + s + f = -3 for s.
-1
Suppose 2*b - 26 = 3*l, -b = 4*l - 3*b + 38. Let x be -1*l/1 - 0. Suppose -z - 4*w = x, 0 = -3*z - w + 5*w + 28. Solve 0 = -2*i + 4, 3*t - z*i - 9 = -i for t.
5
Suppose 0 = -2*h + 1 + 13. Let u(j) be the first derivative of j**4/4 - 2*j**3 - 7*j**2/2 - 1. Let z be u(h). Solve 3*w + 3*s = 0, s - 15 = 2*w - z*w for w.
-5
Let y(t) = t**2 - 5*t - 2. Let q = -7 + 13. Let w be y(q). Solve -2*z + 4 = -o - 0, 2*o = -w*z for z.
1
Let i = -14 - -15. Solve -h - i = d - 0, 7 = -4*d - h for d.
-2
Suppose -v + 4*v + 3*p + 9 = 0, -5*v = 2*p + 12. Let r be 4/6*(-15)/v. Solve 0*s - r*s + 25 = 5*w, -5*s - 4*w = -21 for s.
1
Let l = -53 + 88. Let a = -17 + -3. Let z = a + l. Solve 0 = -4*i - 3*f - 13, 5*f = i - 6*i - z for i.
-4
Let p = -16 - -17. Suppose -7*x + p = -34. Solve 17 = -3*z + 3*m - 8*m, x*z - 4*m = -16 for z.
-4
Let w = 11 - 5. Let z = 12 - w. Suppose 0 = f - 4*k - 8, 2*k - k = 5*f - 21. Solve i + f*j + z = -0*i, 3*i - 4 = -j for i.
2
Let c be (-9*1/2)/((-3)/2). Solve -3*t - c = 0, 4*w - 2*t = -7*t - 25 for w.
-5
Let n = -5 + 8. Suppose 0 = 21*f - 15*f - 12. Solve 0 = f*p - 8*z + n*z + 20, -20 = 4*p - 5*z for p.
0
Let k = -16 - -18. Suppose -h - k*h = 0. Solve 0 = 2*f - 8*a + 4*a, -4*a - 8 = h for f.
-4
Let a be (4 + -3 - -4)/(-1). Let z(w) = w**3 + 4*w**2 - 6*w - 1. Let u be z(a). Solve -4*x - 2*t = 22, 0 = u*x + 5*t + 36 + 1 for x.
-3
Suppose -p - 30 = -5*s - 5*p, -2*p + 14 = 2*s. Let l = -13 - -82. Suppose 13 - l = -4*y. Solve 5*f - m + 1 = -11, 5*m - y = s*f for f.
-2
Let o be 1 + -3*(-2)/6. Suppose 0 = o*h + 5*b + 6, h - 4*b - 10 = -0. Suppose -1 = -j + h. Solve -4*s - 18 = 2*w, -j*s - 4*w - 8 = 8 for s.
-4
Let n(i) = -i**2 + 3. Let x be n(4). Let o = x - -15. Solve o*d + 4*u = 7*d - 18, -4*d = 4*u for d.
2
Let m(b) = -b - 12. Let p = 11 + -23. Let l be m(p). Solve 3 = 4*z - z + 3*g, 3*z - g + 17 = l for z.
-4
Let x(u) = u**3 - 3*u**2 - 4*u + 3. Let r be (-80)/(-24)*(-6)/(-5). Let i = 8 - r. Let m be x(i). Solve 5*f - 25 = -m*s, 16 = -3*s + 3*f + 1 for s.
0
Let c be -1 - 7/((-21)/(-6)). Let n(d) = -d**3 - 3*d**2 + 3. Let f be n(c). Solve -5*a - 5*k - 21 = 24, 0 = f*a + 4*k + 31 for a.
-5
Let f(d) = d**3 - 12*d**2. Let w be f(12). Solve -5*o + q + 2 + 13 = w, 4*o = -q + 12 for o.
3
Suppose -2*g + 3 = 2*o - o, -g + 4*o + 15 = 0. Suppose a - g*a = -6. Suppose -15 = -a*r, -2*d - 9 = 2*d - 5*r. Solve -2*c - 10 = d*k, 3*c = -2*c - k + 20 for c.
5
Suppose -3*x + 12 + 3 = 0. Suppose k + n - 19 = 4*n, -36 = -4*k + 4*n. Solve -5*m = 5*w - k + 14, -3*m = 4*w + x for m.
-3
Let s = -20 + 28. Suppose 4 = 3*b - s. Suppose r - 14 = -3*o - o, 5*o = 3*r + 26. Solve 0 = 5*p - o*v + 14, 2*v = p - 0*v + b for p.
-2
Let o be 28/7 - (-2 - -2). Solve 2*q + 4 = -0, 4 = o*m - 4*q for m.
-1
Suppose -12 = -4*k + 4*a, -k + 2 = 3*a - 1. Solve 5*t - 14 = -k*y, 5*t - 3*t - 3*y = -7 for t.
1
Let z(l) = l**3 - 10*l**2 + 10*l - 8. Let m be (-1 + 2)/3*27. Let c be z(m). Solve c = 5*b - g, -7*g = b - 2*g - 21 for b.
1
Let v(t) = -4*t**2 + 86*t + 47. Let z be v(22). Suppose -4*u + 0*u = -3*h + 19, 2*h = 2*u + 12. Solve h*n - 40 = -4*j, z = -0*j - j + 2*n for j.
5
Suppose -5 = -5*c, -4*l = -c + 10 - 1. Let n be l/(-10) - (-456)/20. Solve 5*b + 3*v - n = -v, 3*b + 4*v - 17 = 0 for b.
3
Let y = 6 - -10. Suppose -6 + y = 3*p + 4*r, 2*p - 3*r = 1. Solve -p*q = -2 - 0, u - 5*q + 10 = 0 for u.
-5
Let k = 2 - -18. Let r = -17 + k. Solve r*x - 19 + 1 = -3*q, -x = 2*q - 11 for q.
5
Let y(v) = -v**3 - 10*v**2 - 11*v - 13. Let l = 9 + -9. Suppose l*x + 18 = -2*x. Let z be y(x). Solve -5*c - 4*i = 10, 5*c + z*i = 3*i for c.
2
Suppose 0 = 5*o - 4*z - 13, -7 = -4*o - z + 16. Suppose -5*t + 0*t + o*g = 10, 2 = g. Solve -q = 4*c - 11, 3*q - 2*q + 3*c - 7 = t for q.
-5
Let l be ((-4)/(-6))/(3/18). Suppose -19 = -5*v - l. Solve 3*c = -15, d - 5*d + 31 = -v*c for d.
4
Suppose 3*j + 2*l = -14, 5*j + 0*j = l - 6. Let c be (7 + j)*12/30. Solve 3*i = -0*i - c*s - 15, -4*s = -4*i for i.
-3
Let m be (-4)/(-2) - 0 - -1. Solve -o = 4*q - 8 - 1, q = 5*o - m for q.
2
Suppose 3*b = 27 - 6. Let m be 4 + -3 + 4/2. Suppose -4*x - 5*p = -7*x + 29, -23 = -x + 5*p. Solve -5*j + j = -x*l - 13, -b = -m*l - j for l.
1
Let s(u) be the third derivative of -u**6/120 + u**5/6 - u**4/3 - u**3 - u**2. Let t be s(9). Solve 5 - 3 = -y, -3*j = t*y - 3 for j.
3
Suppose -3*a + 4*a - 23 = 0. Suppose o - a = -3*f, -4*o - 6*f + 83 = -3*f. Suppose -x + 24 = 5*j, 3*x + x + j = 20. Solve x*i - 4*v = 8 + o, -3*v - 9 = 0 for i.
4
Let r be (-2 + 1)/(4/32). Let c = r + 10. Solve 16 = 3*m + w, c*m + 4*w - w - 20 = 0 for m.
4
Let c(i) = i**2 - 10*i. Let s be 1/3 - 29/(-3). Let z be c(s). Solve -3*o = 2*h - 9, z = -3*o - h + 4*h + 24 for o.
5
Let y(j) = j**2 + 8*j. Let w be y(-8). Suppose 5*m + w = b - 16, -b - 2*m = -2. Let g = b + -1. Solve 0 = 2*c - 3*u - 1 - 3, g*c = u - 3 for c.
-1
Suppose 0*t + 8 = 4*t. Suppose 0 = g + t*g - 12. Suppose g = 3*a - a. Solve -25 = m - 6*m, 5*b + 5 = -a*m for b.
-3
Let u(n) = -n**3 - 5*n**2 + 4*n - 7. Let m be u(-6). Solve -3*y - 2*j - 15 = -0*j, 5*j = -y - m for y.
-5
Suppose -7*j - 2 + 16 = 0. Solve 2*f = j*t - 4, 4*f - t = 4*t - 8 for f.
-2
Let s(q) = q**3 + 4. Suppose -3*g = -8*g. Suppose 0*a - 3*a = g. Let i be s(a). Solve 3*n = i*v - 10, 3*n - 2 = -4*v - 4 for v.
1
Let u be (2 - 1/(-1)) + 0. Solve 2*o + 3*i = 0, -2*o + 5*i - u*i = 0 for o.
0
Let p = 0 + 3. Suppose 0 = -4*w - 2*j + 20, 0 = w + p*w + 5*j - 8. Suppose -w - 53 = -5*s. Solve -2*n = 2*x + 14, n - 5*x - s = 5 for n.
-3
Suppose -10*m - 10 = -12*m. Solve -m*l + 9*n - 4*n = -5, -5*l - 5*n + 35 = 0 for l.
4
Let c(g) = -g. Let w(o) = -2*o**2 + 2. Let k(s) = 2*c(s) - w(s). Let q be k(2). Solve -2*y + 4*a = 16, 5*y - 5 = q*a - a for y.
2
Suppose 2*f - 5*f + 13 = 4*z, -4 = -4*z. Solve f*u = -p - 10, 4 = -p + 3 for u.
-3
Let h = 4 - 10. Let x be (-4)/h + (-3)/(-9). Solve -u = -4*g + 16, 4*u = -g - 12 - x for u.
-4
Let f be (1/2)/(1/8). Solve -9 + f = -4*v + 5*b, 0 = 5*v + 5*b - 40 for v.
5
Suppose -2*p + 9 = 4*d - d, -d + 13 = 4*p. Solve -6*j + p*j - 3*c = 6, -j - 5*c = 10 for j.
0
Let g(t) = -t + 9. Let j be g(7). Let x be (j/6)/((-2)/(-30)). Solve 5*f = 4*h - 9 - 7, -x*h = -f + 1 for f.
-4
Suppose 4*a = 2*a + 4. Suppose -a*n - 2*p - 6 = 0, 3*n = 9*p - 4*p + 15. Solve -2*f = -4*h - n*f - 2, 5*h - 2 = -2*f for h.
0
Let y(d) = d**2 - 3. Let c be y(4). Suppose -5*v - 3 = -c. Solve g + v = -3*q, -5 - 10 = 4*g + 5*q for g.
-5
Let m(s) = s - 5. Let n be m(6). Solve -z - 3 = 2*b, 5*z - n = b - 5 for b.
-1
Let j(m) = 4*m**3 - m**2 + 1. Let k be j(-1). Let p be -4*k/48*36. Solve 2*x = 0, -5*x - p = 4*c - 10*x for c.
-3
Suppose 0 = 3*g, 4*v + g - 12 = 4*g. Let s be (v/2)/(2/4). Let w(f) = f**3 + 6*f**2 - f - 1. Let c be w(-6). Solve 5*p + 10 = -5*z - c, s*p + 25 = 5*z for z.
2
Let z be 1/(-2) - 2/4. Let w be z/(3/27*1). Let r = w - -18. Solve -2*v - a - 14 = a, a = -2*v - r for v.
-2
Let l = 5 - 0. Let v be (-13)/(-26)*(-3 - -1). Let u = l + v. Solve -t - 4*w - u = -2, 4*t + 5*w - 3 = 0 for t.
2
Let u(z) = 34*z**2 + 2*z - 1. Let k = 5 - 5. Suppose k = -4*w - 0*w + 4. Let g be u(w). Solve -4*f = 4*h + 8, 4*f - 5*h + g = -0*f for f.
-5
Let c(x) = 2*x**2 - x. Let y be c(-1). Suppose 3*d - 12 + 3 = 0. Solve -15 = -d*l + 2*q - q, 0 = y*l - 5*q - 15 for l.
5
Let j = -7 + 10. Let v be (9/j - 31)/(-2). Solve 5*h - v = u + 7, -3*u = -4*h + 8 for h.
5
Let q be (-75)/2*(-3)/((-75)/(-20)). Solve 2*w = -5*k + q, 5*w - 5*k - 5 = -0 for w.
5
Suppose -25*d = -24*d - 4. Solve 2*w = -v - 6, -w + d + 11 = 5*v for w.
-5
Let x = 6 - -1. Solve 0 = -5*n + h + 19, -3*h + 0 = n - x for n.
4
Let y(h) = h + 2. Let u be y(0). Solve 0*x - 2*z = -u*x + 2, -13 = 2*x + z for x.
-4
Suppose -5*r + 2*p = p - 22, -2*p + 6 = 0. Solve r*u - n + 24 = 0, -4*u + 5*n = u + 40 for u.
-4
Suppose 2*r = -5*q + 45, 5*q + 5*r + 14 = 59. Solve 4*s - 8 = -j, -2*j - q = j + s for j.
-4
Let n = 9 + -8. Suppose -n - 7 = -2*a. Solve 5*b - 1 + 0 = 4*q, a = 3*b + q for b.
1
Let k(v) = -2*v - 4. Let z be k(-5). Let i = z + 3. Suppose 4*t + 1 = i. Solve -8 = -5*c - t*q, 6*c - c - 4 = -q for c.
0
Let a = 0 - -17. Solve s - 2*s - a = 3*n, 3*s + 3*n = -27 for s.
-5
Suppose 4*i = z - 16, -2*z - 2*z = -2*i - 92. Let y = -1