et b(k) = -3*k - 2. Let g be b(f). Solve -2*y - 4*u = 16, -2*u = -0*y + 3*y + g for y.
-4
Let o = -2 + -2. Let s = 11 + o. Suppose 0 = -s*q + 2*q. Solve 5*y + 15 = q, -4*y - 9 = -5*x - y for x.
0
Let a be 5*4/(-30)*-3. Let p = 7 + -5. Suppose j - i = 6*j - 16, p*i - 12 = -5*j. Solve 5*m = f + 1, 2*m + a*m - j*f = -12 for m.
1
Suppose 12*r - 11*r = 3. Solve 0 = -r*k + 5*j, k = 4*k + 5*j for k.
0
Let j(f) = 3*f - 3. Let y be j(4). Let a = 13 - y. Let h be a*3/3*1. Solve 0 = -0*r + 2*r - h*m, 4*m - 8 = -2*r for r.
2
Suppose j + 10 = 22. Solve -6*p - 9 = -3*p - 5*r, 0 = -4*p - 3*r - j for p.
-3
Let x(n) = -n**2 + 6*n. Suppose 2*f = -2, -2*z - f = -3*z + 7. Let b be x(z). Solve 2*a = u + 1, -2*u - 3*u + 5 = b for a.
1
Suppose 3*q = -2*c + 22, -c + 2*c + 11 = 4*q. Solve c*p - 3*f = -20, 3*p - 3*f + 7 = -11 for p.
-1
Suppose -x = -m - 4, 7*x - 2*x = -2*m + 6. Solve -x*w = -3*p + 10, 7*w - 4*w - p + 15 = 0 for w.
-5
Let u(k) = 3*k**2 + 3*k - 2. Let s be u(1). Suppose 5*g + s - 29 = -3*b, -2*b = 3*g - 15. Solve -2*v - 2 = b, l - 2 = v + 1 for l.
2
Let g = 23 + -18. Solve -2*y + d + g = 0, 2*y = -2*d - 2*d - 10 for y.
1
Let s be 2 + 1 - (-32 - 5). Solve 2*x - 4*u + 0 = 26, 5*u + s = 4*x for x.
5
Let k = 9 - 7. Suppose 0 = -6*u + u - 2*h + 19, 4*u - 5*h - k = 0. Solve -4*d + 0*q - 2 = 2*q, 34 = -u*d + 5*q for d.
-3
Suppose -4*d + 7 = -c, -5*d + 2*c = 8 - 13. Solve 2*l - 16 = -4*r, 2*l - r + 6 = d*l for l.
4
Suppose 5*v + 0*v - 80 = 0. Solve 5*y = 15, 5*w - 5*y - 1 = -v for w.
0
Let b be (3/9)/((-7)/(-63)). Solve 4*z - 22 = -l, -12 - 9 = -3*z - b*l for z.
5
Suppose 3*s - 2*k - 3 = -7, -3*k = 4*s - 23. Let i be (5 + -2)*(s + -1). Solve 11 = -5*r - i*g + 2*g, 0 = 2*g + 2 for r.
-2
Let n = 3 - 0. Solve t + n = -2*i, 4*t - 3*t = 3 for i.
-3
Suppose 0*k + 2*k = -8. Let w = k + 7. Suppose -5*u - 60 = -10*u. Solve 5*d + 5*s = -15, w*s + 0*s + u = -4*d for d.
-3
Let u be 8/48 - ((-22)/12 - 0). Solve -5*h - 28 = -h - u*g, 4*g = -2*h + 6 for h.
-5
Let n(u) = u**2 + 8*u + 11. Let s be n(-7). Solve -s*b - 5*r + 1 = -0*r, 0 = 3*b - r - 15 for b.
4
Let f be -4 + -1 + (4 - 0). Let r(z) be the second derivative of 5*z**4/6 + z**2/2 + 4*z. Let b be r(f). Solve b = 2*o + 3*m, -4*o - 5*m + 18 = -o for o.
1
Suppose 2*j - 7 = -l, 0 = -2*l + 4*l - 4*j - 6. Suppose -l*w + 34 = -26. Suppose 0 = -8*f + 4*f + w. Solve 2*k = -y - 8, f*k - 1 = y + 4*y for y.
-2
Suppose 0 = z - 4, 5*x + 2*z - 28 = 0. Solve -9 = x*u + i, 4*i + 11 = -3*u - i for u.
-2
Suppose -4*i + 25 = i. Let v(u) = u - 1. Let f be v(i). Let j be 8/3*6/f. Solve 0 = -2*g + 2*t + 2*t + j, 4 = -4*t for g.
0
Let o(s) = 21*s - 13. Let m be o(9). Let v = -111 + m. Suppose v = 3*p + 2*p. Solve 5*h - p = -4*k, 5*h - 31 = k + k for h.
5
Suppose 2*b - 1 = -5. Let s be 7 - ((3 - 2) + b). Solve -s = -r + 4*r - 2*u, r = -u - 1 for r.
-2
Suppose -2*w - 2*v = -w, 5*w = -4*v. Solve -3*x + 4*q + 2 + 0 = w, -4*q - 8 = 0 for x.
-2
Let u be 2 + 6*2/4. Solve 4*f + 2*p = 5*p - 7, -7 = u*f - 2*p for f.
-1
Suppose -5*i + q + 14 = 0, -5*i = -0*q - 2*q - 18. Solve -3*k - 3 = i*j - 5*j, 0 = 3*k - 9 for j.
4
Let y be -2 + 1 + 21 + 4. Let l = y + -19. Solve n + 4*d + 3 = -0, -l*n = -4*d - 9 for n.
1
Let x be 13/3 + 2/3. Let g = -3 + x. Suppose 2 - 2 = 8*o. Solve g*c + 45 = -3*c - 5*v, -2*v - 10 = o for c.
-4
Suppose -22 + 54 = 4*b. Suppose 0 = 5*j - b - 2. Solve -j*w = -5*d - 6, -4*d = 2*w + 3 - 9 for w.
3
Let f(l) = 3*l + 1. Let y be f(1). Suppose 0 = g - 4*g. Let s = g + y. Solve -2*q + 4 = 0, -3*q = 4*k - s - 10 for k.
2
Let p = 0 + 5. Solve q - 4*r = 2, -p*r + 3*r - 2 = -q for q.
2
Let m(x) = 3*x - 15. Let p be m(6). Solve -3*t + 5*l + 23 = 0, -5*t - p*l - 2 = 5 for t.
1
Let t(h) = h**3 + 6*h**2 + 5*h. Let p be t(-5). Suppose 0 = c - 2, -26 = 2*y - 3*y + c. Solve 0 = 4*q + 5*b - y, p = -0*q + 5*q - b - 6 for q.
2
Let m be -1 + 5 + (-3)/(-3). Let d = -17 - -43. Solve -3*l = -m*v + d, -v + 2*l = 4*v - 24 for v.
4
Let o = -35 + 68. Solve 2*j = h - 5, -5*h - 8 = 2*j - o for j.
0
Suppose -3*b + v + 4 = 0, 3*v + 0 = 4*b - 7. Let a be b + 3/(6/2). Suppose 0*g - a = -g. Solve -g*j = c + 2*c + 21, -20 = 4*c for j.
-3
Let b(g) = -g + 1. Suppose -4*d - 11 = -31. Let z be b(d). Let n = -2 - z. Solve v + 7 = n*f, -5*f + 4*v + 15 = -v for f.
4
Let x = -11 + 14. Solve -u + 6 = 2*v - x, 0 = -2*v + u + 7 for v.
4
Suppose -s - 3 = 0, -7*s + 5 = 5*w - 2*s. Solve -5*k - 2*g + 2 = 0, k = -3*k + w*g + 24 for k.
2
Let g be -4*2*(-5)/10. Solve 3*i - 3 = g*i, 0 = 5*n - 3*i - 19 for n.
2
Let s(x) = 2*x**2 - x - 1. Let j(u) = -u**2 + u + 1. Let o be j(-1). Let r be s(o). Solve 6*g + r*c + 15 = g, -g - 25 = -4*c for g.
-5
Let w(r) = 2*r + 30. Let f be w(-13). Solve 3*b - 23 = f*n, n = b - 0*n - 7 for b.
5
Let t(i) = i + 1. Let s be t(5). Let l(q) = q**2 - 7*q + 9. Let b be l(s). Solve 0 = -m - m + g - 4, -3*g = b*m + 24 for m.
-4
Let x = 36 + -33. Solve 5*u + x*f = -16, 4*u = 3*f - f - 26 for u.
-5
Let c = -5 - -9. Suppose 4*w + 1 - 9 = 0. Suppose -16 = -w*y + 44. Solve -2*b - 2*p + 13 - 33 = 0, 0 = c*b + 2*p + y for b.
-5
Let b(f) = f**3 - 2*f**2 - 4*f + 4. Let t be b(3). Let d = t - -4. Let r be 209/22 + 2/4. Solve -d*o - 5*s + r = 0, -5*o + 4*s = 2*s - 24 for o.
4
Suppose 4*x + 2*p = 6, 0*x + 9 = 4*x - p. Suppose x + 10 = 2*k. Let t = k - 2. Solve -h = t*o - 21, 5*h = -0*h + o for h.
1
Let d(m) = -m**2 - 17*m - 25. Let r be d(-15). Solve 5*y = r*f - 25, 3*y + 0 = -2*f - 15 for f.
0
Let b(v) = 4*v**2 - v + 1. Let k be b(1). Suppose -2*t + k = -0*t. Suppose -3*n + 12 = 2*w + t, 5*n - 5*w = 0. Solve -n*l = -3*c, -5*c + 0*c + 16 = 2*l for l.
3
Let m(r) = r**3 + 4*r**2 - 5*r - 3. Let n be m(-5). Let o(i) = -13*i - 6. Let t be o(n). Solve t = 3*j + 5*q - 4, -3*q + 15 = 0 for j.
4
Let x(b) = -8 - 4*b + 0*b - 4*b - b**2. Let m be x(-6). Suppose 5*j = 2*j - 2*o + 54, 3*j + 4*o - 48 = 0. Solve -3*f - 4 = m*a, -a + j = a - 4*f for a.
2
Suppose -5*t = -4*j + 25, 3*t - j + 22 = -0*j. Let r be (-16)/64 + t/(-4). Let z = -1 - -4. Solve -2*f + 0*n - z*n = 11, -r*f = n + 1 for f.
2
Let l be 155/55 + (-2)/(-11). Suppose -d + l*k = -15 + 5, -3*d = k. Solve -d = -2*i - y, 4*y - 2 = -3*i + 3*y for i.
1
Let s be (-11 + 2)*1/(-3). Suppose -a + 3 + s = 0. Solve -c - 5*q + 3 = -a, -4*q + 12 = 2*c for c.
4
Suppose 4*h + 0*w = 2*w + 10, 1 = h - w. Solve 2*i - 6 = h*i, 0 = -4*z - 5*i + 1 for z.
4
Let v(c) = -c**2 + 2*c + 3. Let k be v(3). Let h = k - -5. Suppose -h*n + 18 = -2. Solve -3*d + 2*b = 3, 0 = -d - b + 3 - n for d.
-1
Suppose 0 = j + 2 - 13. Suppose 9 = -7*d + 4*d. Let c be -3 - (3 + d + -5). Solve 5*t - 4*x + j = 0, 13 = 4*t + t + c*x for t.
1
Let c = -3 + -7. Let o = -7 - c. Solve -4*h + r - 3 = 1, 0 = -4*h + o*r + 4 for h.
-2
Suppose -5*c + 6*c - 4 = 0. Solve -3*l + 4*w = -5*l, 0 = -c*l + 4*w - 24 for l.
-4
Let c(b) = 10*b - 17. Let u be c(2). Let p be 1 + -2 + 3 - 2. Solve u*s = 5*h + 32, 4*s - 3*h = -p*h + 28 for s.
4
Suppose -10*t - 23 = -11*t. Solve 3*v - t = -5*g, 0*g = v - g + 3 for v.
1
Let y = 85 - 82. Solve 3*o - y*l + 3 = 0, -5*o - l - 5 = 12 for o.
-3
Let y(w) = -w + 1. Let v be y(-3). Suppose 15 = v*t + 7. Solve -5*u = 5*s + 10, t*s - 3*s - 10 = 5*u for u.
-2
Let g be (-2)/10 - 168/(-40). Solve 0 = x + 4*s + 14, -g*s = s + 20 for x.
2
Let q = 74 - 72. Solve -2*i = 4, -q*i + 5 = 3*b - 0*b for b.
3
Suppose 3*l + 3 = 0, 4*l + 4 = -4*m + 20. Solve -r = m*q + 25, -3*r + q - 20 = 5*q for r.
0
Let o(c) = c**3 - 5*c**2 - 3*c - 4. Let m be o(6). Let d = m + -10. Solve -h + 4*x = -5*h + d, -5*x = -h - 29 for h.
-4
Let t(n) = n**3 + 7*n**2 + 6*n - 1. Let f be t(-6). Let a = -1 + f. Let v = 10 + a. Solve 4*q = 5*s - 36, 2*q - v = 5*q + s for q.
-4
Let r(s) = -s + 3. Let u be (-10)/(-45) + (-4)/18. Let f be r(u). Solve -3*k = -i + 2*i + 3, 5*i + f*k = -3 for i.
0
Suppose -4*a + 4 = -5*u + 4*u, -2*a - 16 = -5*u. Solve -c - a*x + 0 = 2, 0 = -3*c - 5*x - 4 for c.
2
Let o(c) = c - 1. Suppose -3*b = b - 12. Let n be o(b). Solve 13 = -5*u - 2*y + 5, 2 = n*y for u.
-2
Let v(x) = x + 8. Let d be v(-5). Solve 0*o = -o, 3*b - d = -4*o for b.
1
Let q be (1/(-1) - 1) + 9. Let r = -3 + 15. Suppose q*c - r = 3*c. Solve -4*u - t - 2*t = -4, 8 = 5*u + c*t for u.
4
Suppose -v + 0*v = -7. Suppose -2*a + v*a = 20, 0 = -s + a - 4. Let u be (-4)/(-6) - (-21)/9. Solve k = u*h - 8, -k - 1 = 4*h - s 