 + -1. Solve o*b - 9 = t*u, u = 4*b - 0*b + 3 for b.
-2
Suppose 0 = -2*t + 39 - 7. Suppose t + 0 = 4*f. Let b = f - 0. Solve i + b*c + 10 = 0, c = 5*i + 6*c + 5 for i.
2
Suppose -4*y - l + 3 = -20, -3*y + 2*l = -9. Let x = -24 - -46. Suppose -2*h + 0*f + f = -6, -3*h - y*f = -x. Solve 5*q = -3*b - 29, -h*b - 1 - 3 = -2*q for b.
-3
Let h = 163 + -160. Solve 4 = q - 5*v - 9, 0 = h*q + 2*v + 12 for q.
-2
Suppose 4*q - 1 = 7. Let i(p) = 3*p**2 - 3*p + 2. Let m be i(1). Solve 5*l + q*w + 5 = 0, -2*l - m*w - 14 = -6*l for l.
1
Let z be (30/(-20))/((-2)/4). Solve -3*t + z*r + 0 = -3, -10 = 4*t + 3*r for t.
-1
Suppose 4*m = -21 - 39. Let s be (-171)/m - (-6)/(-15). Suppose 5*d - 4 = s. Solve 2*r + 4 = 0, d*r = -h + r for h.
4
Let b(d) = -d - 4. Let n(o) = -1. Let j(f) = -b(f) - 6*n(f). Let x be j(-5). Solve 0 = -5*l + 3*h + 15, x*h + 0 = 2*l - 6 for l.
3
Let r be 8/5 - (-4)/10. Let g be (3 + r)*(0 + -10). Let v = 71 + g. Solve 4*p + 3*f - 1 = 0, f + v = p + 3*p for p.
4
Suppose 0 = -2*x + 5*x - 2*x. Solve x = h - n - 5 + 3, 0 = -3*h + 5*n for h.
5
Let y = -3 - -15. Solve 4*g - 10 = -3*x, -4*g = -4*x + 6*x - y for g.
4
Let i(f) = -f**3 + 3*f**2 + 5*f - 4. Let u be i(4). Suppose 2*l = -5*r - l + 60, -4*l = u. Solve q = -p + 3*p - r, 0 = -4*q - 16 for p.
4
Let n be 42/(-8)*(10 - 2). Let d be n/(-9) + 2/(-3). Solve 0 = -2*z + 2*p - 10, -d*z - 4*p = 3 + 1 for z.
-3
Suppose -4*g + 2*g + 3*h = -40, -5*g = 3*h - 58. Solve 5*a = -0*a + 4*y + 21, -g = -2*a - 4*y for a.
5
Let w = 1 - -2. Solve -19 = -4*i - p, 5*p = -4*i + w + 28 for i.
4
Suppose -o - 2*v = 0, -o - 3*v + 3 - 2 = 0. Let y = 7 + o. Suppose 0 = y*r - 4 - 36. Solve 0 = 5*p + 2*f + r, 5*f + 3 = -3*p + 2 for p.
-2
Let a(w) = w**3 - 5*w**2 - 6*w + 9. Let k be a(6). Let s be 3/(2*(-9)/(-24)). Suppose s*p - 20 = -0*p. Solve -z = 4*z - p*t + 40, -3*z - 2*t = k for z.
-5
Suppose 0 = 3*v - 3*h - 6, 2*v + 4*h - 2*h - 4 = 0. Suppose -k - 49 - 25 = -4*m, 0 = 2*k - 4. Solve 0 = -0*b - 2*b - 5*q - m, v*b - 4*q - 8 = 0 for b.
-2
Suppose -n + 32 = 3. Solve 0*i + 5*i - 2*m + n = 0, m - 2 = 0 for i.
-5
Suppose 7 = -2*m + 3*h, 0*m + m - 14 = -2*h. Solve 2*l = -g + 9, -4*g = -0*g - m*l for g.
3
Let g(l) = -l + 9. Let d be g(7). Solve -d*o + 22 = -4*f, 5*f + o = -o - 23 for f.
-5
Let s = -16 - -9. Let g(a) = -a**2 - 9*a - 9. Let c be g(s). Suppose -c*f = -93 - 52. Solve -3*m + v - 5*v = -f, 0 = 5*m + 3*v - 30 for m.
3
Suppose 0 = -5*w - 2 + 17. Suppose 0 = w*k - 12, 5*i = -3*k + 2*k + 14. Suppose 0*f - i*f = -4. Solve 19 = 5*n - 3*s, -f*n - 7*s + 18 = -3*s for n.
5
Suppose -3*l = -4*l. Suppose l = 2*a + a. Suppose 4*f = 19 + 1. Solve a*r + 45 = f*j + 5*r, 3*j - 2*r - 2 = 0 for j.
4
Suppose -5*o + 105 = -0*o - r, 2*r + 78 = 4*o. Suppose -5*b + o = 3*z + z, -4*z + 10 = -b. Solve 2*c + 0*c + 6 = -b*d, 12 = -5*d - 2*c for d.
-2
Suppose 0 = -0*d + 3*d. Solve 0 = -2*x - 2, -5*x = -2*u - d - 5 for u.
-5
Let v(p) = -2 + 10 + 1 - p + 0*p. Suppose 3*c - 2*y = 6 + 6, 2*c - y - 8 = 0. Let j be v(c). Solve -3*t - j*x + 2 = 9, 4*t - 6 = x for t.
1
Suppose 2*r - 2 = -5*g, 0 = -0*g - 2*g + 4. Let o = r + 2. Let m be (-18)/(-8) - o/(-8). Solve m*x - 2*a = 3*x - 8, a = 2*x - 1 for x.
2
Let z be (-2)/(-3) - (-10)/(-6). Let m be (-4)/(-12)*(7 + z). Suppose -m*p = p. Solve p = -2*a, -a = -2*s - 2*s + 8 for s.
2
Suppose 0*l - 3*p + 2 = -4*l, p = 2. Let n be (l - (-34)/4)*4. Solve 15 - n = -4*q - 5*r, -4*q - 4 = -4*r for q.
2
Let h = 12 - 7. Let s = h + -2. Solve -2*n + 0 = 4*t - 14, -n + s*t - 8 = 0 for n.
1
Let s be 75/9 - 2/6. Solve -4*h + 8 = 4*v, -3*h - h = -3*v - s for v.
0
Suppose 0 = o - 3*o + 5*i - 6, 0 = -4*o - 5*i + 18. Solve -o*s - 19 = 4*b + s, 2*b + 27 = -5*s for b.
-1
Suppose -o + 10 = -0*o - 5*h, 2*o - 6 = 3*h. Solve c + 1 = o, x - 3*c = -4*x + 8 for x.
1
Let c(j) = j - 5. Let h be c(0). Let q(m) = -m**3 - 6*m**2 - 6*m + 6. Let i be q(h). Solve 2*l = -4, 5*t - 39 + i = 4*l for t.
4
Suppose -1 = -g - 2. Let z be g/1*(-4 + 2). Solve 3*i - 3*f - 9 = -8*f, f = z*i - 6 for i.
3
Let o = 13 - 20. Let g = o + 7. Solve 0*t + 4*t - 8 = -3*u, g = -5*u for t.
2
Suppose -5*c = -2*c. Let y(n) = -4*n - 11. Let x(v) = -3*v - 10. Let j(i) = -3*x(i) + 2*y(i). Let q be j(-6). Solve -2*r - 8 = 4*m, c*r - 12 = 5*r + q*m for r.
-2
Suppose 5*n = 2*n + 12. Suppose 5 + 86 = n*l + 5*w, 2*w - 118 = -5*l. Solve u + 2*q = -9, 3*u - 2*q + 7*q + l = 0 for u.
-3
Suppose 4*u + 2 = -6, 22 = -4*t + u. Let x be 10*((-3)/t - 0). Solve 2*c - 3*z = z - 14, -2 = 4*c + x*z for c.
-3
Let f be -4 + 21/(-3 + 6). Solve f = t - 4*t, 3*w + 5*t = 4 for w.
3
Let g = 2 + 2. Let j be (1 - 1) + (g - -1). Solve -n + 2*n = -2*r - j, 5*n - 11 = -r for n.
3
Let h = -139 - -141. Solve h*q + 14 = 4*i, -2*q + i = -2*i + 11 for q.
-1
Let s(z) = 2*z - 5. Let m be s(4). Let u be (-11 + 11)*(1/2 - 1). Solve -16 = -a - 4*i, u = -5*i + m*i + 6 for a.
4
Suppose 5*s = 3 + 2. Solve -5*a + 24 = -d, -5*a + 17 = d + s for d.
-4
Let q(k) = 2*k**2 - 3*k + 2. Let x be q(2). Suppose -v + x + 1 = 0. Solve 5*y - 5*w = v, -4*y + 5*w + 2 = -1 for y.
2
Let x = 25 - 11. Solve 4*z - 2*a = -z, -3*z + x = -4*a for z.
-2
Suppose -2*g = -3*c + 12, c = -g - 1 - 0. Let o be g - 0 - (-6 - -1). Suppose 3*b - 1 = 5. Solve 5*a + b*j = o*a, 5*a = 5*j for a.
0
Let n be (-1 - -2)/(11/33). Solve 3*x = 4*c - 13, -x + c + 0 = n for x.
1
Let x be (2 - 0)*1 + 1. Suppose 0 = 3*i - 16 + 1. Suppose -1 = i*v - 21. Solve 4*u = 2*u + v*p + 20, 27 = x*u - 5*p for u.
4
Suppose 5*a + 4 - 27 = x, -x = 3. Solve 0 = -5*c + m - 4, -2 = -4*c + a*m - 18 for c.
0
Let a(l) = l**3 - 8*l**2 - 8*l - 6. Let k be a(9). Let s = -1 + 5. Suppose -k*o + 5*p - p - s = 0, 4 = p. Solve -3*f + 0*f - 2 = -2*z, -20 = -o*f - 3*z for f.
2
Let f = 2 - 4. Let q be (-3)/f*(-16)/(-6). Solve 4*s + 5 = -3*p, 3*s + 1 = -q*p - 1 for s.
-2
Let l = 16 + -14. Solve -2*q = l*o - 16, -o + 2*q = -1 + 2 for o.
5
Suppose -4*c + 8 + 12 = 0. Solve 3*g = c*s, -g + 5 = s - 3 for s.
3
Let s(j) = -j**3 - 7*j**2 - 7*j - 4. Let l = -5 - 1. Let p be s(l). Let w be p + 1*(1 - 0). Solve 2*k + k + 18 = z, 4*k + 11 = -w*z for z.
3
Let p be -2 + 4*(1 + -2). Let t = 19 + -9. Let g = p + t. Solve -g*x + 1 + 13 = -2*z, 2*z = 6 for x.
5
Let b = -3 - -8. Solve -15 = -x - b*q, -3*q - 4 = 2*x - 20 for x.
5
Suppose 0 = -2*m - 5*p + 53, -4*m - 73 = -4*p - 193. Suppose m = v - 3*f, 0 = -5*v - 2*f - 3*f + 65. Solve 5*h - b = 2*b + v, 22 = 2*h - 5*b for h.
1
Let n(p) = p. Let t(k) = k**3 + 4*k**2 - k + 3. Let x be t(-4). Let b be n(x). Solve -3*f - 2*l + 1 = 0, -4*f + f = 4*l + b for f.
3
Suppose 0 = -5*f - 3 + 73. Let l = 21 - f. Suppose -5*c + 3*b - 5 = -22, -3*b = c - l. Solve 2*q = -4*a + 4, -q + c*q = 5*a + 17 for a.
-1
Let k be (10/8)/(2/8). Let h = -6 - -1. Let q be (h + 5)/(1 - 0). Solve r - 3 = q, m + k*r - 10 = -0*m for m.
-5
Let n = 77 - 70. Solve -z + 4*d = -0 + 2, 5*z = 3*d + n for z.
2
Suppose q + 22 = -4*q + 2*h, -3*q - 3*h - 9 = 0. Let c be 17/q*4/(-1). Solve -2*m + 3*l + 2 = c, -l = -3*m - 5 for m.
0
Suppose a = -2*l - 3*a + 32, 0 = -3*l - 3*a + 45. Let i(w) = -w + 7. Let q be i(3). Solve 0*z - q*k - 5 = z, 0 = -4*z + k + l for z.
3
Suppose -5*r - 22 = -57. Solve -q + 5*q - 5*d + 2 = 0, -q - 2*d = r for q.
-3
Let y be 4/(-6)*54/(-12). Let w(h) = -2*h**y + 3 + h**3 - 7*h - 6*h**2 - 2*h**2. Let j be w(-7). Solve -5*f = 3*t + 29 - 10, -3 = 3*t - j*f for t.
-3
Suppose -2*s + 0*a + 1 = a, -5*s + 35 = -4*a. Solve -4*d + 12 = 0, -4*o - d = s*d - 16 for o.
1
Let c be (-13)/(-26) - 1/2. Let o be c - (4 + -4)*-1. Solve -w = 2*g - 9, o = 3*w - 2*g + 6 + 7 for w.
-1
Let d(p) = p**3 - 10*p**2 + p - 3. Let i be d(10). Solve -2*k + 3*w - 12 = i*w, -3*k - 4*w = 16 for k.
-4
Let p be (1/2)/((-3)/12)*-3. Solve 0 = -4*a + p*a + 3*o - 4, 3*a - 3*o = 6 for a.
2
Let y(k) = -4 + k + 3 + 2. Let x be y(6). Solve -10 = -v + 4*l, l + x = v - 2*l for v.
-2
Let j = 126 - 121. Solve -6*y = -j*a - 2*y + 36, 0 = -2*a + 4*y + 24 for a.
4
Let u = -26 + 29. Let y = 5 - 5. Solve 3*c - 3 = -3*a, a - u*c - 2 - 15 = y for a.
5
Let c = 7 + -5. Solve -t = 2*t - c*a - 6, 4*t - a - 13 = 0 for t.
4
Let z be ((-3)/2)/((-11)/22). Solve 3*r + 3*m + 9 = 0, -4*r = z*m - 5*m + 18 for r.
-4
Suppose 5 = 3*p - 1. Solve -p*a = 3*n - 3, 0*a = -4*a - n + 11 for a.
3
Let n(m) = 6*m**2 + 2*m + 1. Let k be n(-1). Suppose -y - k = -2*y.