ve -3*b + 3*o + 3 = -3, v = -o + 1 for b.
3
Suppose -y - 5*v = -3*y - 28, -2*y + 4 = 3*v. Let m = -4 - y. Suppose -4*l = -m*l - 20. Solve l*k - 10 = u, -3*u + 5 = 20 for k.
1
Suppose 29 - 31 = -p. Solve 0 = p*d - 2*u - 2, 2*d = -4*u + u + 17 for d.
4
Let k(a) = -a - 2. Let m be k(-2). Let n be 0 + (m - (-1 + -1)). Solve 4*t + n*h = -8, 5*t - t = 3*h + 12 for t.
0
Let t(u) = 2*u - 4. Let x = 0 - 2. Let w be -1*(-2 - (-1 - x)). Let p be t(w). Solve p*f - 3*f = 2*j - 2, -4*j + 12 = 0 for f.
-4
Suppose -4*r = 3*i - 22, 3*r - 3 - 1 = 4*i. Suppose 5*t - 3*c + 66 = t, -8 = -4*c. Let x be ((-8)/10)/(3/t). Solve s + 3*n = -n - 12, 0 = -r*s - 3*n + x for s.
4
Let r = 11 + -7. Let b be (1 - 2/(-2)) + 0. Let l = b + -2. Solve 5*j - r*o - 8 = l, 2*j - 6*o = -o - 7 for j.
4
Let c = 7 + -4. Let w be 2*c*-5 + 1. Let p = 41 + w. Solve 0 = 3*h + 2*g - 8, -g - p = 5*h - 4*g for h.
0
Let c be 1/(-4) + (-1)/(-4). Let s be 0 - -12 - (-12 - -15). Suppose 0 = -7*b + 35 + 70. Solve o - s = 3*o - 3*a, c = -3*o - 5*a + b for o.
0
Let d(c) = c - 1. Let a(x) = 3*x - 1. Let p(y) = a(y) - 2*d(y). Let u be p(1). Solve u*j - 3*i = 1, j - 2*i - 8 = -4*j for j.
2
Let z(q) = q**2 - 2*q + 3. Let d be z(2). Solve h + 4 = 5*o, o + 12 = -d*h + 5*o for h.
-4
Suppose -4*b = -0*b. Suppose -p + 0 - 1 = b, m - 2*p - 5 = 0. Solve 5*a = -2*k - 18, -m*a - 3*k - 15 = 3 for a.
-2
Let g = -9 - -12. Solve 8 = 2*l + 4*a, 6 = -2*l - 3*l + g*a for l.
0
Let p(c) = c**3 - 3*c**2 + 3*c + 1. Let t be p(3). Solve 0 = -5*m - 4*s - 26, -m + 2*s = -s - t for m.
-2
Let b(f) = 2*f. Let r be b(4). Let w be (-8)/4 - (1 - 6). Suppose -6 = -3*t + i + 3, -5 = t - w*i. Solve -t*d - 8 = s, 2*s - 4*d + r = 7*s for s.
4
Suppose -n + 12 = 2*n. Solve -n*o = 4*u - u + 32, 5*u = -2*o - 30 for o.
-5
Suppose 0 = -4*w - 2 - 10, 3*q - 5*w = 21. Suppose 3*p + s - 1 = 2*s, -4*p = q*s - 18. Solve p*t + 4*z - 28 = -t, 5*z - 8 = 3*t for t.
4
Suppose -4*s + 5*d + 23 = 2*d, 0 = 2*s - 3*d - 19. Let v be (-16)/(-24)*3/s. Solve -n = 3*r + 5, -n - 2 + v = r for n.
1
Let c = -19 + 26. Suppose -5*z = -c*z + 6. Let s = 5 + -2. Solve 4*t + 32 = -s*r, -2*r + z*t = -6*r - 31 for r.
-4
Let h = -4 - -6. Suppose y = -h*y + 24. Solve y = -4*c + z, -z + 8 - 3 = -3*c for c.
-3
Let v(f) = f**3 - 11*f**2 + 14*f - 40. Let l be v(10). Let j(x) = x**3 - 3*x**2 + x + 1. Let d be j(3). Solve 3*q + 3 = -d*p, -2*p = -l*p for q.
-1
Let y(n) = n**2 - 12*n + 16. Let h be y(12). Solve 0 = 4*q - h, r = -3*q + 4 + 6 for r.
-2
Let h(j) = j**2 - 4*j - 2. Let k be h(5). Solve k*a + 2*c - 2 = -a, -2*a - 2*c = 0 for a.
1
Let v be 78/18 + (-2)/6. Solve -p = 2*w - 3*p, 0 = -5*w + 4*p + v for w.
4
Let t = 131 - 125. Solve 5*c + d - 15 = t*d, -5*d = -c + 7 for c.
2
Suppose 70 = -3*x - 2*x. Let h = 7 + x. Let k be (h + 4)*(-10)/6. Solve -k*i + 3*a - 3 = 0, -2*i + 3*i = -3*a - 15 for i.
-3
Let s = -5 + 7. Solve 2*u + 2*u - 6 = 2*o, s*u = 2*o + 4 for o.
-1
Suppose 0*l + 4*l - 2*r = 26, 5*l = 5*r + 40. Let u be (-1)/(-3)*(-6 + 24). Solve -3*n + 35 = -l*a, n = -n - 4*a - u for n.
5
Let g be (32/(-20))/(14/(-35)). Solve 4*j = -5*w + 1, -g*w + 3 = -4*j - 5 for j.
-1
Suppose -5*w - 3*a + 2*a + 74 = 0, 42 = 3*w + 3*a. Solve 2*r - 5*j = 6*r + 25, w = -2*r - 5*j for r.
-5
Let n(j) be the third derivative of j**4/24 - j**3 + j**2. Let s be n(6). Solve 5*y + 5 = -5*t, s*t = 2*t + y for t.
1
Let g(a) = 0*a**2 + 3*a - 10 - a**2 - 11*a. Let d be g(-8). Let t be (d/(-4))/(-1)*-2. Solve -5*x = -t, x - 8 = 5*z - 2 for z.
-1
Let c(k) = k**3 - 10*k**2 + 11*k - 16. Let g be c(9). Solve 4*p = g*j - 0 - 2, 0 = -j + p - 1 for j.
-3
Let j be (-9)/(-12)*(4 + 0/(-2)). Solve -15 + 2 = -t + 2*v, -j*v - 24 = -3*t for t.
3
Let p(i) = i**2 - 2. Let c(v) = -v + 1. Let z(x) = 6*c(x) + 3*p(x). Let h be z(4). Solve 8*g + h = f + 3*g, f + 5*g = -16 for f.
4
Let t(l) = -2*l - 10. Let w be t(-7). Let r = -4 + w. Suppose r*y = -y + 4. Solve 0*s = 3*q + y*s + 7, 2*q - 2 = 4*s for q.
-1
Let t = -6 + 0. Let d(x) = 8*x**3 - x**2 + 1. Let q be d(1). Let b = q + t. Solve -r - b*y = 3*r + 2, -4*r + 8 = 4*y for r.
-3
Suppose -4*j - 3*i + 1 = -11, 5*i = 4*j + 20. Suppose 2*v - 3*v + 13 = 0. Solve t + 21 = -5*d - j*d, -t = 3*d + v for d.
-4
Suppose 256 = 5*u + 6. Suppose -2*p = 3*z - 15, 4*p - u = -z - z. Suppose 3*r - p = -3. Solve 3*k - 5*j = 9, -r*j = 3*k + 23 - 5 for k.
-2
Suppose 0 = 4*o + 4*w - 23 - 17, -o - 3*w + 20 = 0. Solve 6*h - h - 30 = 5*m, -o*m - 18 = -h for m.
-3
Suppose n = 4 - 0. Solve 4*f + 5*c + 11 = 0, 0*f = 2*f + 2*c + n for f.
1
Let l = 74 + -71. Solve 0 = -t - 2*v - l, -3*t + 6*t = v - 2 for t.
-1
Let d = -61 - -65. Solve r + 4*j - 23 + 3 = 0, -2*j - 8 = -d*r for r.
4
Suppose 2*z - 3*n = 7*z - 20, 0 = 3*z - 5*n - 12. Let c be (-95)/(-20) + 1/z. Solve 0 = c*f + 2*v, -2*f - v - 1 = -0*v for f.
2
Let p be -6*((-110)/(-33) - (3 + 1)). Let a be 0/1 + 5/1. Solve -2*h + 8 = -a*c, 0 = 3*c + p*h + 11 - 1 for c.
-2
Suppose -g = -2*x - 3, 4*x - g + 5*g + 24 = 0. Let u = x + 7. Solve -5*z = 5*y + 10, u = -y + z - 0 for y.
-3
Let u be 6/30 + 0 + 9/5. Solve 7 = -2*k + c, u*k + 5*c = -0*k - 13 for k.
-4
Suppose -4*q + 4*h - 41 = -5, -5*q - 3*h = 5. Let p be (-16)/12*78/q. Solve 0 = -3*k - 3*s, -2*k + p = -3*s + 6 for k.
4
Suppose 0 = 4*s - 0*s - 2*l - 20, -4*s - 2*l + 12 = 0. Solve -6 = 2*q + q - 3*f, 11 = -5*q + s*f for q.
-3
Let c(v) = 2*v**2 + v - 2. Let a be c(-2). Let s be (0 - (3 + -3))*-1. Suppose -r + 0*r + 5 = s. Solve 2*z + 1 + 11 = f, -r*z - a = 4*f for f.
4
Suppose -2*p - 6 = -0*p. Let v be p + -4 + (-1)/1. Let s = -8 - v. Solve -f = b + 3, s = 2*f + 4*b - b + 9 for f.
0
Let c be (-10)/50 - 49/5. Let y = -8 - c. Solve -x - y - 10 = -2*a, 2*x = 3*a - 19 for a.
5
Let w be ((-14)/6 + -1)/(8/(-12)). Solve w*a + 40 = -5*f, 3*f + 3*a - 4*a + 4 = 0 for f.
-3
Let g be (-6 + 6)*2/4. Solve 3*d = g, -9 = -3*b + d + 4*d for b.
3
Suppose -52 = -r - 2*k - 6, -k - 166 = -4*r. Suppose 3*z = 3*o - 36, -3*o = 4*z - 5*z - r. Solve -2*u + 3*c = 3*u - 25, 3*u - o = -c for u.
5
Suppose 0 = -2*u + 4*u. Let f be 2 - (0 + u/1). Solve f*i = 5*i + 4*h, 5*i + 3*h + 11 = 0 for i.
-4
Suppose -2*t = -58 + 10. Solve -w + 5*k = 28, -3*k + 0*k = -3*w - t for w.
-3
Let x(m) = -m**2 + 9*m + 5. Let u be x(8). Let j(s) = -1 + 1 - s + 1. Let v be j(-3). Solve u = 5*z - 2*h, z - 14 = 3*z + v*h for z.
1
Let q be ((-4)/5)/((-1)/5). Let a = -11 + 13. Let t be a/(-10) + 4/20. Solve q*d = -4*s + 20, -s = -t*s + 3*d - 11 for s.
2
Let i be (-216)/(-60)*15/6. Solve -4*p - 3*t = i, 3*p + 0*t = 4*t + 12 for p.
0
Let f be (-23 - -23)/(4/2). Solve -q - 3 = m - f*q, 23 = -5*m - q for m.
-5
Let w(u) = -2*u - 6. Let z be -1*8 - (-1 - 2). Let c be w(z). Solve 6 = -2*l + c*v, -9 - 6 = -3*l - 2*v for l.
3
Let v be (-22 - -28) + 1*4. Solve -2*g + 7*g + v = -5*i, 0 = 4*g - 3*i - 13 for g.
1
Let u(y) = 6*y**2 - y**3 + 2 + 7 - 4. Let d be u(6). Suppose d*f = -3*g + 7, f = 6*f + 5. Solve -c = g*j + 4 - 17, -5*j + c + 14 = 0 for j.
3
Suppose -2*t = -k - 5, 4*k + t - 13 = k. Solve 4*n - k*i = 4, 0 = -5*n - i - 2*i - 22 for n.
-2
Let j(b) = -b**3 + 5*b**2 + 3*b - 3. Let i be j(3). Suppose 3*t + i = 2*t. Let w be ((-6)/4)/(4/t). Solve -2*l + 10 = -2*r, -3*l - 4*r - w = 4 for l.
1
Let a = -118 - -122. Solve -a = -5*h - q + 11, -6 = h + 2*q for h.
4
Suppose -4*c + 68 = n, -21 = -4*n - 5. Let m = c + -11. Let d = m - 3. Solve 5*l + 3*g = 1, -3*l + d*g = -g - 15 for l.
2
Let g be (2 + -1)*0/1. Suppose -4*v + 23 = 11. Solve g = 4*b - 2*m, -2*b = -0*b + v*m - 16 for b.
2
Let x be 0 - 0 - (0 + -9). Suppose 7 + x = 2*c. Solve 16 = 7*l - 3*l, -3*l = u - c for u.
-4
Let t = 107 - -18. Let s be (t/15)/((-1)/(-3)). Solve 5 = -4*n - 3*p + 2, -2*p - s = -5*n for n.
3
Let t be 4/(-32)*-4 - (-9)/2. Solve -t*l + 2*s + 19 = 0, -3*s + 3 = 3*l - 0 for l.
3
Let z = 38 - 34. Suppose 2 = 2*l - 2. Solve z*x + l*s - 22 = 0, -4*x - 2*s = -s - 19 for x.
4
Let x = 16 + -12. Solve -y + 2 = d + y, -d - 3*y = -x for d.
-2
Let j be -1 - (-4 + 1 + -1). Suppose 0 = y - 2*z + 6, -y + 2*z = -z + 9. Solve 4*b + j*l - 6 - 8 = y, -3*l = -4*b + 2 for b.
2
Let l = 100 + -93. Solve 0 = -x + 3*u - l, -4*x = -u - 0*u + 6 for x.
-1
Let h(k) = -k**3 - 3*k**2 + k. Suppose 2*c + 8 = c. Let j = 3 + c. Let t be h(j). Solve 5*u = 4*d + t, d + 0*u + 30 = 5*u for d.
-5
Let x = 4 + -4. Solve x = -0*w + 2*w - 2*l -