Let p be h(l). Solve -p*j - j + 19 = -w, 4*w - 16 = -3*j for w.
1
Suppose 0 = -3*q - 5*k + 41 + 11, -k = 4*q - 92. Suppose 3*f + 1 = w, 0*f - 3*f + 29 = 2*w. Solve b + q = 4*b - 4*r, -4*b + w = 2*r for b.
4
Suppose 2*v = x, -v + 2 + 5 = 3*x. Suppose -x*t - 3*d + 19 = 0, -2*t - 4*d = -21 - 1. Solve t*h + 2*a + 31 = -2*a, a = 3*h + 5 for h.
-3
Suppose 2*b - 33 = -b. Suppose 5*f - 55 = -5*v, 2*f + b = 2*v - v. Suppose -v = -c - 6. Solve 2*z + 7 = 4*g - 11, 5*g = c*z + 30 for g.
3
Suppose 0 = -2*m - 8*m + 6*m. Solve -3*t = -m*t - 15, 0 = -2*a - 3*t + 25 for a.
5
Suppose 47 = 5*p - 3. Suppose -4*a = a - p. Solve 4*y + c = a*c - 25, -4*c = -20 for y.
-5
Let s = 5 + -2. Suppose -s*l + 3*o + 12 = 0, -2*l - 5*o + o + 20 = 0. Solve 3*r = 3*z - 0*r + l, z + r - 4 = 0 for z.
1
Let c be -25 + (1 + 2)/1. Let m = -17 - c. Solve m*s - 30 = -0*w + 5*w, -5*s + 3 = 4*w for s.
3
Suppose i + 2*i = 3*d + 36, -5*i - 3*d = -92. Let b = i - 12. Solve -20 = b*w + 2*o, 2*w + 0*w - 3*o = -10 for w.
-5
Let c(b) = b - 9. Let o be c(7). Let l be ((0 - 3) + -7)*o. Solve -4*z - 4*f = 0, 3*z - 2*z + l = 3*f for z.
-5
Let w(l) = l**2 + 8*l + 5. Let x be w(-7). Let c be (-30)/x*(4 + -3). Solve 2*y = -5*t - c, 9*y - 30 = 4*y + t for y.
5
Let q(k) be the first derivative of 2 + 2*k**2 - 4*k**2 + 3*k**2 - 5*k. Let b be q(5). Solve 2*y = 3*p - 5, 13 = b*p - 3*y + 5 for p.
1
Let a(r) = r**3 - 2*r**2 + 2*r - 1. Let k be a(1). Let m be (-1 + -1 + k)*-4. Solve 5*b + 2*j = -18, 5*b + j = -6 - m for b.
-2
Let u(n) = -n**3 - 7*n**2 + 9*n + 10. Let h be u(-8). Solve -h*r + r - 4*v - 12 = 0, -2*r - 16 = 4*v for r.
-4
Let z(b) = -b**3 - 2*b**2 - b - 2. Let w be z(-2). Solve -26 = 5*s - 0*u + 4*u, -3*u - 12 = w for s.
-2
Let g = 7 + -10. Let r = 10 + g. Suppose 57 = -m + 4*m. Solve 0 = 3*l + m - r, 0 = -5*j - 3*l - 7 for j.
1
Suppose 13*a - 18 = 7*a. Solve 3*m - 4*m = a*w + 2, 2*m = -4 for w.
0
Let v = -11 + 16. Suppose 2*d = -1 + v. Suppose 0 = d*z - 4*z + 24. Solve 2*w - 14 = 3*j, -5*j = -5*w - z + 42 for j.
-2
Let j(f) = -2*f - 21. Let k be j(-13). Solve k*y + 5 = 5*v, 3*y + 3*v = -1 + 4 for y.
0
Suppose 0 = 3*f - 5*f + 4. Let q = -4 + f. Let h = q - -4. Solve 0 = -h*c - 3*s - 20, -4*s - 9 = 7 for c.
-4
Suppose 6*t - 3*t - 12 = 0. Suppose -4 = -t*k - 0*k. Let a be 1 + (-1 - 0) + k. Solve -3*d = -4*d + 4*h - a, 4*h = -5*d + 19 for d.
3
Let n(c) = -6*c**3 + 7*c + 6. Let z be n(-1). Solve 4*x + 4 = -z*j, j = -5*x - 4 - 1 for x.
-1
Let u be 4/24 + 92/24. Suppose -4*a = 17 + 3, 2*o = u*a + 24. Solve 4*i - 5 = -g, -4*i + 11 = o*g - 3*g for i.
2
Suppose 4*d - 8 = -4*l, l = 2*l - 2*d - 2. Solve 2*t + 6 = -2*y, l*t - 3*t - 5*y = 23 for t.
2
Let p be (-30 + 3)*(-3)/(-3). Let v = p + 52. Suppose -5*t + 0*t + v = 0. Solve 4*o - 3*u + 0 + 5 = 0, 10 = -5*o + t*u for o.
1
Let w be (-5)/(-3) + 2/6. Suppose w = -c + 6. Suppose -3*o + 8*o = -4*h + 85, 4*o - 68 = 4*h. Solve -2*m + c = 4*r, -r + o = 2*r + 5*m for r.
-1
Let r(w) = -w**3 + 6*w**2 - w - 15. Let o be r(5). Solve -4*h = b + 3*b, 3*b = -o*h - 2 for b.
1
Let p(f) = f - 3. Let i be p(8). Suppose -2*c = -i*d + 20, -4*d = -d - 12. Let r be 1 - -1 - (4 - 6). Solve 5*x - r*b = -b + 40, c = -5*x - 5*b for x.
5
Let q be (12/(-15))/(2/(-60)). Solve 3*w + 0*w - q = 4*z, 11 = -5*z - w for z.
-3
Suppose 0 = 3*f + 2*f - 40. Suppose -5*j = -f*j + 36. Let p = 0 + j. Solve 0*s - s = 5*o - 7, -p = 4*s for o.
2
Suppose -5 - 4 = 3*f. Let p = f + 5. Solve -5*r + p*z = -2*r - 5, -r = -5*z + 7 for r.
3
Let o(x) = x**3 + 7*x**2 + 16. Let a be o(-7). Solve -5*t - 20 = 0, 3*f = -0*t + t + a for f.
4
Let k(s) = s**2 + 6*s. Let y be k(-6). Suppose 0 = -p - y*p - 8. Let m be (-2)/(-2 + p/(-5)). Solve m*l + 4*j + 33 = 0, j = -5*l - 0*l - 27 for l.
-5
Let a(i) = i**3 + i**2 - 2*i + 1. Let v(o) = 2 - o - 3*o**3 - 2 + 2*o**2. Let l be v(1). Let k be a(l). Solve 2*r - 3*z = -13, 4*r + k + 22 = 3*z for r.
-5
Let s(g) = g**2 + 9*g + 11. Let n be s(-8). Solve -n*l - 3*m = -2*l, 5*m + 20 = 5*l for l.
3
Suppose -l = 3*l - 8. Suppose -2*t + 8 + l = 0. Solve -g - 2*r = 1, 7 + 2 = 4*g - t*r for g.
1
Suppose 5 = 2*y + o, -2*y - 12 = -7*y - 3*o. Solve -2*x + 2*j - 12 = 0, -y*x + x - 8 = 2*j for x.
-5
Suppose -5*b + 0*b = -170. Let h = -5 + b. Suppose 0 = -14*x + 7*x + 49. Solve y - 3 = v, -x*y + 2*y = 2*v - h for v.
2
Let x(u) = -u**2 - 7*u - 2. Let h be x(-6). Solve 0 = p - d - 2 + 4, 0 = -h*p - d - 13 for p.
-3
Suppose 0 = 2*x - 1 + 3. Let a = 3 - x. Solve 2*i + i + 5*q - 18 = 0, a = i + q for i.
1
Let z(o) = 3*o + 3. Let g be z(-1). Solve 0 = j, g*h - 10 = -2*h + 2*j for h.
5
Suppose 5*b = 2*n + 70, 0*n - 2*b - 17 = n. Let c = 43 + n. Suppose 4*w - c = -2. Solve 3*r + 5*x - 15 = 0, -w*r + 3*x - 15 = -2*x for r.
0
Suppose -64 = 13*x - 194. Solve -3*j - 2*o + 3*o = x, 3*j - 2*o + 8 = 0 for j.
-4
Suppose 0 = -5*h + 5, 3*v + 5*h - 2 = 33. Solve -m - 28 + v = -4*f, -3*f + 15 = 0 for m.
2
Let k(g) = g**3 - 7*g**2 - 8*g + 4. Let q be k(8). Suppose 3*h - 5 - q = 0. Solve u = m + h*m + 10, -5*m = 10 for u.
2
Suppose 2*f - 2 + 3 = q, 5*f + 5 = 3*q. Solve f*i - 3*n - 2*n = -25, -5*i - 4*n - 13 = 0 for i.
-5
Suppose -3*p = 5*h - 2, -p = -2*h - 15 - 4. Let k(g) = g - 4. Let c be k(p). Solve -u + 22 = -c*u + 5*v, 2*u + 3*v = 0 for u.
-3
Let t be 1 + 2 + -6 - -3. Suppose -2*u + 8 = -t. Solve 23 = u*h - 3*f, 5 = 2*f - 3*f for h.
2
Let h = -12 + 26. Suppose -12 = 10*u - h*u. Solve 0 = -u*b + 4*v, 2*b + 6 - 2 = 4*v for b.
4
Let b(k) = k**2 + k - 2. Let n be b(-2). Solve -5*f = 4*r + 12, 0 = r - n*r - f - 6 for r.
2
Suppose -4*s - 2 = -10. Let h be (1/s)/(3/66). Solve -12 = -3*j, -2*r - 3*j + h = -3*r for r.
1
Suppose 3*i - x + 3 + 0 = 0, -4*i = x - 3. Let g be -4 + 5 - (-1 + i). Let w = -3 - -8. Solve g*l - 4*o - w = -l, 2 = -4*l + o for l.
-1
Suppose j - 4 = -1. Suppose -5*r = -5*q + 2*q - 33, 2*q + 19 = 3*r. Suppose -25 = -4*s - r. Solve 5*c + j*a = -21 - 19, -15 = -c + s*a for c.
-5
Let l be 7 - (-3)/(-1) - 3. Solve 0 = 2*b - d + 5, -5*b - 3*d + d + l = 0 for b.
-1
Let j be (-6)/(-3) - -2 - 4. Solve -5*r = -4*o + 4, -o + 1 = -2*r - j for r.
0
Suppose 0 = 5*b - 34 + 14. Suppose -f + 2 = 3*r - b, 4 = f + 2*r. Solve f = -3*i - 2*t - 2, -i = 3*t + 4 - 8 for i.
-2
Let n(q) = 4*q - 21. Let g be n(10). Solve -4*h + 1 = -3*a - 10, h = 4*a + g for h.
-1
Let o = -5 + 7. Suppose -2*v = o - 24. Solve 2*m - 14 - 7 = -5*n, 3*m - n = -v for m.
-2
Let d be -4 + (-45)/10*-2. Solve -d*w - 2*p = -7, -31 = -5*w - 2*p + 6*p for w.
3
Let f = -136 + 138. Solve -3*d - 5 = -o, f*d - 3*o + 26 = -8*o for d.
-3
Suppose 4 = -k + 7, -3*k = -4*g + 23. Solve 0*z - 2*z + 2*c + g = 0, z - 3*c - 4 = 0 for z.
4
Let q be 1 + 0 - -3 - 0. Let k = 8 + -4. Suppose x = k*x. Solve -16 = q*c + u, 3*c - 5*u - 14 + 3 = x for c.
-3
Let i = -6 - -12. Let r be (i/(-9) - 1)*-3. Solve -4*y - r*u = 15, 9 = 3*y + u - 4*u for y.
0
Let w be (14 - 0)/(9 - 7). Solve -f = f - 10, -f = -q - w for q.
-2
Let m(u) = u**2 + 15*u + 14. Let f be m(-14). Solve 3*b + g + 1 = f, 5*b - 4*b - 2*g - 2 = 0 for b.
0
Let c be 20/(-4)*8/(-20). Solve 5*s + 6 = -c*k - 0*s, k + 2*s = -3 for k.
-3
Let a(n) = n**2 - 7*n - 4. Let t be a(5). Let u = t - -17. Solve -3*j - u*p + 0 = -12, -5*j = -3*p + 20 for j.
-1
Let w(j) = j - 4. Let q be w(7). Let r = 0 + q. Solve -5*c - r*x - 11 = -35, 3*c - 3*x = 0 for c.
3
Let a(t) = -6*t. Let h be a(1). Let j be ((-24)/10)/(h/60). Solve 2*f = 4*c + 26, 0 = 2*c + 5*f + 7 - j for c.
-4
Let l be (-2 + 4)*44/8. Suppose -r + 2*r - l = 0. Solve 4*k - 5*o + r = 0, 10 = 4*k + 2*o - 0*o for k.
1
Suppose 5*t + v - 25 - 7 = 0, 2*t - 5*v - 2 = 0. Solve 5*k = -15, 2*c - t*c + 5*k = -31 for c.
4
Suppose 9*a = 4*a + 10. Solve 19 = 5*w + 4, 7 = a*l + 3*w for l.
-1
Suppose 4*v = -v + 15. Let x be (8/(-6))/(-1)*18. Let c = x - 14. Solve -u + c = -6*u, -s = v*u + 1 for s.
5
Let z be 2/6 - 2/6. Solve f + k = z, k = 2*f - 2*k - 10 for f.
2
Let r be (-4)/10 - (-527)/5. Suppose 0 = -0*z + 5*z - r. Solve -3 + 13 = 2*j, -4*j + z = -b for b.
-1
Suppose 145 = 5*i - 5*l, 2*i - l = -2*l + 61. Solve 5*p = -5*k + i, -3*p - 4*k = k - 24 for p.
3
Let r(w) = w**3 - 6*w**2 - 15*w - 6. Let z be r(8). Solve -g - z = 0, -g - 2 = 4*n - 4*g for n.
-2
Let r(p) = p**2 + 3*p + 4. Let h be r(-2). Solve -b - 2*y = h*b - 20, -b + 8 = y for b.
4
Let l(m) = m - 7. Let q be l(6). Let c = 