 6, -16 = -4*w + 2*l for w.
5
Suppose 3*f + 23 = -10. Let u(t) = 2*t + 22. Let z be u(f). Solve z*c = -4*s + 2*c - 12, -2*s + 3*c = 6 for s.
-3
Let p(b) = b**3 - 6*b**2 - 7*b + 4. Let s be p(7). Let x = -18 - -20. Solve 0 = -s*k - 0*k + x*i - 8, -8 = -2*k - 5*i for k.
-1
Suppose 0 = -3*o - 21. Let x = o - -9. Suppose 2*n = -3*d + 10, 6*n - 2*n + x = 5*d. Solve 5*c + d*z = -4, -c - 5 = -2*z + 3 for c.
-2
Suppose 2*b - 8 = 2*l, b - 5*l - 8 = 4. Solve 0 = -4*k + n + 5, 3*k + b*n - 1 = 0 for k.
1
Let w be (12/8)/3*252. Let a be (8/(-7))/((-36)/w). Solve 2*g - a*g + 5*h = 7, 2*g + 4*h = 20 for g.
4
Let j = -11 + 4. Let l = j + 10. Solve 14 = 2*n + 5*u, 0 = l*n + u - 4*u for n.
2
Suppose 4*w - 6 - 2 = 0. Solve w*m = 4*q - 9*q + 25, 3*m + 3*q = 15 for m.
0
Suppose -3*a + 2*d - 2 = 0, 2*a + 12 = -2*a + 5*d. Solve 0 = -3*s - 5*w - 25, -2*s + 3*w = -a*w for s.
-5
Suppose -u - u + 47 = -3*x, -x - 3 = 0. Let m = -4 + u. Solve 3*a = m, 5*s + 14 = 2*s + a for s.
-3
Let o(u) = u**3 + 5*u**2 - 5*u + 8. Let w be o(-6). Suppose -10 = w*i - i. Let q = i + 15. Solve y - 4 = -0, -2*p = q*y - 12 for p.
-4
Suppose -2*o = -3*o + 3. Let d = -43 + 31. Let h = 23 + d. Solve 2*s - o = -5*j, -h + 2 = -s + 5*j for s.
4
Suppose 1 = -2*j + 9. Suppose 0*m - m = -3. Let n be ((-12)/9)/((-2)/m). Solve -j*c + 24 - 2 = n*u, 4*c - 21 = -u for c.
5
Suppose -5*o - 3*q = 44, -3*q + 0*q + 26 = -2*o. Let r be ((-66)/55)/(4/o). Solve -8 = z - p, r*p - 30 = -z + 6*z for z.
-3
Suppose -l - q + 33 = 4*l, -12 = -2*l - q. Solve -4*w = 3*i + l, -w + 0*w + 3*i = 13 for w.
-4
Let a(t) = -9*t - 3. Let m(i) = 10*i + 4. Let f(q) = -6*a(q) - 5*m(q). Let n be (1 - 0)/(1/7). Let r be f(n). Solve -4*p - 19 = -o, -o - 7*p + 2*p = r for o.
-1
Let z = 1 - 1. Let c = -3 - z. Let j be -2 + c*(-9)/3. Solve 3*p + j = 4*s, -8*s + 3*s + 14 = -2*p for s.
4
Suppose 8 = -8*a + 10*a. Let f(b) = -b**2 + 3*b - 2. Let o be f(2). Let h = 0 + o. Solve 2*j + 3*k = -a, -5*j + h = 3*k - 8 for j.
4
Suppose 3*j - 3 = 2*d, d + 2 - 3 = j. Solve m - 15 = d*m + 5*z, z = -5 for m.
2
Let s be ((5 - 10) + 3)*-2. Solve o = -4*o + 15, 2*o = -s*t - 2 for t.
-2
Suppose 2*d = 0, -3*j - 4*d + 18 = -2*j. Suppose -3*s = -3*t + j, -5*t - 5*s = 8 + 2. Solve -14 = -r - 4*a, t*a - 9 - 9 = 5*r for r.
-2
Suppose 0*u + 15 = 3*u. Solve -u*l = 5*x - 35, -3*x + 11 = -0*l - 2*l for x.
5
Suppose -5*g - 5*b + 25 = 0, -5*b = 4*g - 4 - 12. Solve -11 + 37 = 5*h + d, d + g = 2*h for h.
5
Let z = -10 + 25. Solve p = 5*c - z, 2*c + p = -c + 1 for c.
2
Let y = 4 + 0. Suppose -2*h - 5 = 9. Let v = h + 12. Solve -5*f + 3 = y*g, f - v*g = -4*f + 30 for f.
3
Let d(r) = -2*r. Let q be d(-1). Solve 0*m = n - q*m - 12, 5*m = -4*n - 4 for n.
4
Suppose -20 = 5*o - 0*o. Let m be (-114)/(-9) - o/(-6). Let t be (-2)/m - (-100)/24. Solve 5*s + 2 = -2*a - 8, -3*s - t*a - 20 = 0 for s.
0
Suppose 0 = -3*c - 2*c + 25. Solve -3*q - 9 = -5*j, 0 = -0*j - c*j - 3*q - 9 for j.
0
Let f = 4 - 4. Suppose -5*k - 6 = -3*k, -2*y + 4*k + 18 = f. Solve n - v + y*v - 1 = 0, -5*n - 8 = -3*v for n.
-1
Suppose -n + 3 = -3. Let u(p) = -2*p - 3. Let c be u(n). Let m be (-36)/c - 2/5. Solve -2*i - 1 = 3*x - m*x, -5*i = 5*x for x.
1
Let x be (4/(4/(2 + -4)))/(-1). Solve -5*w = -x*b + 5, 2*w - 3*b = -b - 8 for w.
1
Let j = 30 - 20. Solve 10 = 2*d + 3*x + x, 2*d - j = 4*x for d.
5
Let z = 14 + -4. Let o = 3 + 6. Let l be (-45)/(-6)*6/o. Solve p = h - 2, 0 = -l*h - 0*h + z for p.
0
Let v be 4/(-3)*(-3)/2. Suppose -5*l = -v*l - 6. Let n be -4*1*5/(-4). Solve -b + n = -l*b + 3*u, -b - 4*u = 5 for b.
-5
Let k(l) be the third derivative of l**5/60 + 5*l**4/24 - 4*l**2. Let h be k(-5). Solve -f = -2*q - 1, h = -3*q - 2*f - 20 + 8 for q.
-2
Suppose -20 = -3*z + z. Let j be 4/z + 8/5. Let l be 5/(j/4*2). Solve x - 5*c = -3*x - 10, -3*c + 19 = -l*x for x.
-5
Let k = 4 + 1. Suppose -5*t + 16 + 4 = -k*a, -3*t + 17 = 2*a. Suppose -3*g - 2*g = 0. Solve v = -0*s - 3*s + t, 3*s + 3*v - 15 = g for s.
0
Let k be ((-12)/16)/(1/(-4)). Let r(p) be the first derivative of -p**2/2 - 2*p - 3. Let g be r(-6). Solve -g*f - w = 3*w, f = k*w + 4 for f.
1
Let f(j) = 2*j**2 + 2*j + 2. Let x be f(4). Suppose -4*v = -2*c - x, 2*v - 4*c + 11 = 47. Solve -2*o - v = -4*d, o + d = -o + 7 for o.
2
Suppose -2*m + 1 + 3 = 0. Suppose -3*f = -10 - m. Suppose f = d + 2. Solve 0 = -b - 2*o - 7, b = -d*b + 3*o - 12 for b.
-5
Let a be -4 + 0 + 8 + -2. Solve -a*u + 0*v - 3 = v, -2*u + 3*v = 15 for u.
-3
Let b = 7 - -5. Let s = 14 - b. Solve s*u + 5*h = -9, -3*u + 2*u - 7 = 5*h for u.
-2
Suppose -1 = o + 3. Let x(t) = t**3 + 4*t**2. Let y be x(o). Solve 2*p = -3*h + 9, y = -4*h - p + 4*p + 12 for h.
3
Suppose -2*z = -4*o + 2*o + 50, 5*o - z = 125. Suppose -4*i = 18 - 26. Solve -o = -5*j + i*g, -j + 5 = -3*g + g for j.
5
Let o(r) = -2*r + 2. Let h(a) = a - 5. Let m be h(9). Let t be o(m). Let g be (0 - 3) + 1 - t. Solve g*c - 5*w - 13 = 0, -4*c = 4*w - 3 - 1 for c.
2
Let b(o) = -o**2 - o. Let x be b(-2). Let l = 0 - x. Solve -r - q - l = 0, -3*r + 2*q + 2*q - 13 = 0 for r.
-3
Let z = 72 - 72. Solve 3*a - 2*v + 2 = 0, 2*a - 4*v + 3*v = z for a.
2
Let y(x) = 10*x - 4. Let o(g) = -g - 1. Suppose 0*t - 4*t + 4 = 0. Let b(f) = t*y(f) - o(f). Let l be b(3). Solve 30 - 5 = -5*u, -5*a + u = -l for a.
5
Suppose -16*q + 16 = -12*q. Suppose -3*u = q*g + 8, 4*u + 8*g = 3*g - 10. Solve -3*c + 15 = -3*l - l, 5*c - 2*l - 11 = u for c.
1
Let c(q) = q. Let r be c(1). Let h = 3 - r. Solve h*x = -4*t - 6, -x - 9 = x + t for x.
-5
Let k be 18/24 - 29/(-4). Solve 0*x - x = g + 8, -2*g + 4*x + k = 0 for g.
-4
Suppose u + 3*u = 32. Let j(b) = 2*b - 7. Let v be j(u). Solve h + 3*r - 8*r = -12, 3*r = v for h.
3
Suppose -4*k + 28 = 4*g, 2*g + 2 = 5*k - 26. Solve 0 = o - 4*o + 3*h + k, -2*h - 1 = -o for o.
3
Let i(h) = h - 5. Let c be i(6). Solve 4*b + 3*m = -23, -4 - c = 2*b - 5*m for b.
-5
Suppose 3*s + 0*s + 4*o = 16, -3*o = -s + 1. Suppose -6*q + q + 42 = -s*i, -5*q - 4*i + 18 = 0. Let v = -3 + 5. Solve q = z + 4*k, k - 3*k = -v*z - 8 for z.
-2
Let q = 34 + -12. Let m = 16 + -10. Suppose r + y + 0*y - m = 0, 0 = -r - 3*y + 12. Solve r*w - q = -7, 4*w - 14 = -3*h for h.
-2
Let a(w) = 2*w + 1. Let m be a(2). Solve 0*i + 4*i - 5*u = 0, -5 = -3*i + m*u for i.
-5
Suppose -4 + 12 = 2*v. Solve -v*r = 4*h, -h + 2*r = -5*h + 4 for h.
2
Let u(x) = x + 4. Let d(h) = 1 - 4*h + 2*h + 2*h + h. Let v(k) = -20*d(k) + 5*u(k). Let j be v(-1). Solve -5*a = -j, 0 = -3*s - 2*a + 4 + 17 for s.
5
Let g = -7 - -7. Solve -3*x = 3*o + 2 - 5, -3*x - o - 3 = g for x.
-2
Let p(n) = 3*n + 57. Let t be p(-19). Solve 2*v + 3*s + s - 12 = t, -2*v = -4*s + 28 for v.
-4
Suppose -6 = 6*a - 18. Solve -5*i + 19 = r - 0*i, -a*r - i + 11 = 0 for r.
4
Suppose -3*k + 111 = 2*k + 2*m, 5*m - 105 = -5*k. Solve 4*v = -3*o + 12, 5*o + 5*v + 8 = k for o.
0
Let b(l) = 2*l**3 - 13*l**2 + 5*l + 11. Let i be b(6). Let f be 11/4 + 2/8. Solve -i*c + f*v + 35 = 0, c - 11 = 4*v + 13 for c.
4
Let n(o) = 4*o**2 - 7*o. Let v be n(3). Solve 5*s + 28 = -4*q + 3, 0 = -3*q - v for s.
-1
Let h = -29 + 43. Solve 5*r - r - h = -x, -1 = r - 2*x for r.
3
Let w = -3 + 5. Suppose 5*x = -20, -5*v + 3*x - 2*x = -24. Solve 5*d - 2*k = 15, -d + 35 = v*d + w*k for d.
5
Let w be 36*(1 - (-2 + 2)). Solve f + f = k + 14, 0 = -4*f + 4*k + w for f.
5
Let k = 5 - 0. Suppose 9*t + 25 = k*h + 4*t, 0 = 4*h + 5*t - 56. Solve h + 4 = 5*g - 4*i, 4*i + 8 = 0 for g.
1
Let h be (1 - (2 - 2))*-7. Let y = h + 12. Solve y = q + 5*f - 3*f, -3*f = -6 for q.
1
Let a(x) = -x**2 - 2*x + 1. Suppose 0 = -n + 5*w + 8 + 3, -5*n + 2*w = 14. Let b be a(n). Let h = b + 10. Solve h*c - j = j + 5, -4*j + 8 = 0 for c.
3
Let p be (-1)/5*-4*10. Let s(v) = v - 6. Let b be s(p). Solve -5*q + b = -o - 3, 15 = 4*q - 3*o for q.
0
Suppose a = 5*t - 6, a - 5*t - 10 = -4*a. Solve 3*x - 2 = -v, v + 7*x - a = 2*x for v.
-1
Let o(w) = w**3 - 6*w**2 + 5*w + 6. Let n be o(5). Let z = 12 + -8. Suppose z*a = -4*m, 4*a + a = -2*m - n. Solve -3*c + 12 = 3*f, 2*c = -m*c + 4*f for c.
2
Let f = 0 - -2. Suppose 11*m - 6 - 93 = 0. Solve x = 3*p - m, x - 1 + 7 = f*p for p.
3
Suppose -2*r = 5*c + 28, 3*r - r + c = -12. Let f(n) = n + 9. Let x be f(r). Solve 5*m + 5 = -x*v - 0, 35 = -5*v + 5*m for v.
-4
Suppose 6*f = 2*f + 12. Suppose -23 = -5*m - v, -7*m + 2*m + f*v = -31. Solve 0 = k - 2*i +