+ 1 + 1, f*y - 3*b - j = 0 for y.
3
Suppose 0 = -h - 0 + 5. Solve -3*g = -h*z - 31, -3*z + 2*g - 23 = -2*g for z.
-5
Suppose -p + 20 = 4*p. Solve -2*v - 3*n = -2, 3*v - p*n = -n - 27 for v.
-5
Suppose 27*o = 26*o. Suppose -2*m + 9 = m. Solve -m*w + 6 = o, 5*j + 23 = w - 2*w for j.
-5
Let x = -2 - -2. Let m(b) = b - 2. Let l be m(8). Let r = -1 + l. Solve -4*a - 4 = x, -y + r*a = -0 - 1 for y.
-4
Suppose 0 = 2*u - 4*u. Solve 10 = 2*g, -i - g + 4 + u = 0 for i.
-1
Suppose -4*g + 13 = -a - 8, -2*g + 15 = -5*a. Let u be 1 + (g - 1) + 1. Suppose d - u + 3 = 0. Solve d*m + 24 = -5*j + 2*m, 0 = -j + m for j.
-4
Let w be 4/(-3)*504/(-48). Solve 2*v + 3*s = 9, -5*s + w = 4*v - 3*s for v.
3
Let l be (8/(-10))/(2/(-20)). Let t be (-4)/12 - 4/6. Let u = t + 3. Solve 4*n - l = 4*p, 3*n + u = 2*p + 4*n for p.
0
Let c be 2 - 1/(1 + -2)*1. Solve -4*g + 12 = -3*b + 4, -g + c = -b for g.
-1
Let f be 1/(-2) - (-21)/6. Suppose -5*m - s = -15, -2*m - f*s + 12 = 2*m. Solve -m*h + q = -9, -2*h + 7*h + 5*q + 5 = 0 for h.
2
Suppose 0*a + 2*a + 18 = 0. Let f = -5 - a. Solve -5 - 3 = 3*l - n, 8 = 2*l - f*n for l.
-4
Suppose 0*l - 9 = -3*l. Let t be ((-255)/34)/(l/(-4)). Solve -2*c = -h, -2*h - 3*h + 5*c = -t for h.
4
Suppose -3*w = 5*z - w - 18, 5*w - 20 = 0. Solve -d = d - z*i - 6, -2*i - 9 = -3*d for d.
3
Let y = -11 - -13. Let o be 1 + (0 - -1) + y. Solve r = -x + 3*r - 9, -r = -o*x - 15 for x.
-3
Suppose -2*k = -0*k - 8. Suppose d = -p, 3*d - k*d - 4*p - 15 = 0. Solve -5*o - 4*u + 11 = -d, -8 = -o - 2*u for o.
0
Suppose 2*v - 106 = 4*r, -3*v = 3*r - 5*r - 143. Solve 4*l + 4*n + v = -n, 3*n + 35 = -4*l for l.
-5
Suppose -4*b - 6 = -3*w - 5, 21 = 5*w + 3*b. Let g be (51/(-34))/(1/(-2)). Solve g*n = -5*m + 11, m - 2*n + 0 = -w for m.
1
Let l(i) = 3*i**3 - i**2 - 3*i + 3. Let h be l(1). Solve -3*v - 11 = a, -h*a + 6 - 22 = 3*v for a.
-5
Let p(u) = u + 10. Let b be p(-6). Suppose 4*g = -r + 17, b*g - 5 - 6 = -3*r. Let n be 6 - (r + 1)*-1. Solve -3 = -3*y + 3*o, -y = n*o - o - 9 for y.
3
Let f = 4 + -1. Suppose -7*b + 2*a + 52 = -3*b, f*b - 45 = 3*a. Suppose -4*i - 3 + b = 0. Solve -1 - 7 = -4*o, n + i*o = 0 for n.
-4
Suppose 4*d = -d + 145. Let o = d - 19. Let v be -5 + 13 + 0 + 3. Solve 4*f = c - o - v, 3*f + 2 = -2*c for f.
-4
Let k be -1 - (2 + (-21)/3). Let w be 1 + 2 + (k - 3). Solve 2*d + 0*d - 5*n + 18 = 0, -3*d + w*n - 13 = 0 for d.
1
Suppose -2*d - 4*u + 4 = -u, -3*u = -3*d + 6. Suppose 2*v = -5*s + 70, -3*s = 4*v + 30 - 72. Solve 0 = h - d*h - 3*k - s, 2*k = h - 11 for h.
1
Let n(u) = -3*u - 16. Let q be n(-7). Solve 0 = q*z + 10, 2*i + 5*z = i - 10 for i.
0
Let l = 2 - 1. Let r = l + 2. Solve -4*w - 13 = -w + 2*z, 0 = 3*w - 3*z + r for w.
-3
Let f = 350 - 343. Suppose -5*t - 22 = 3*u, 4*u + 3*t = -2*t - 21. Solve -3*h + 4*k = 14, h - 3*k + u = -f for h.
-2
Suppose -24 = -4*u - w, 0*w + 4*w - 6 = 2*u. Solve -4*n = -u*v + 18, -v + 3*n = 2*v - 12 for v.
2
Suppose -6*f + 3*f + 2*i - 6 = 0, 0 = -5*i. Let x(w) = -4*w**2 - w + 2. Let y be x(f). Let j be 1/(-1 - y/10). Solve 2 = 2*d, d - 2*d - j = 2*a for a.
-3
Suppose 0 = -3*n, 2*v - n = -9 - 7. Let d = v - -11. Solve -d*r = -5*h + 15, h = -0*r + 4*r + 3 for r.
0
Let d be (-1)/(-2)*6*1. Let f = d - 2. Solve -3*l + f = -2*l - o, l + 5*o - 13 = 0 for l.
3
Let a(m) = m + 10. Let h(o) = o**2 - 9*o - 7. Let l be h(9). Let j be a(l). Solve 4*x - 2*z = -22, -5*x - j*z + 5 = -4*x for x.
-4
Suppose -2*l - 5 = 5. Let t(b) = -b**3 - 4*b**2 + b - 6. Let a be t(l). Solve -4*g + 3*o = 0, o = 2*g - 4*o - a for g.
-3
Let k(s) = s**2 + 4*s + 2. Suppose l = -l - 8. Let n be k(l). Suppose -4*z - 3*y = -n*y - 21, -5 = 5*z - 5*y. Solve -4*i + 8 = 2*b, -i = z*i + 4*b - 7 for i.
3
Let h(m) = 21*m**2 + m + 1. Let x be h(-1). Solve -3*a - 11 = -s, 0 = -5*a - s + 4*s - x for a.
-3
Let d be 1/((-62)/(-20) - 3). Solve -5*m = -4*u + 7, u + d = -4*u for m.
-3
Suppose 27 = 4*i - b, -6 = -3*i - 0*i - 4*b. Solve 5*g + 24 = -3*q, -q - 4*q = -3*g + i for q.
-3
Let d = 12 + -19. Let v(s) = -s**2 - 7*s + 5. Let c be v(d). Let b = c + 0. Solve b*o = -0*g + 4*g, 3*o - 3*g = 0 for o.
0
Let p(s) = -10*s - 5 - 4 + 3 - 5 + s**2. Let w be p(11). Suppose 4*v - 4*a - 24 = w, a - 3 = 2*v - 11. Solve r = 3*d + 12, v*d = -r + 4*d + 7 for r.
-3
Let f = -3 + 5. Let t be (f/(-4))/((-3)/12). Suppose -2*h - h + 12 = 0. Solve r - 9 = -c, -t*r + h*r + 17 = 5*c for c.
5
Let q(i) = -i**2 - 4*i + 5. Let m be q(-4). Let j be (36/(-45))/(2/(-5)). Solve -r + j = -5*u + 1, -5*u = m*r + 25 for r.
-4
Let c(o) = o**2 + 14*o - 4. Let u be c(-15). Solve 3*j - f - 6 = -0*j, 5*f = -4*j - u for j.
1
Let y be (-2 + 2)/(-1) + 2. Let q be (-13)/(-4) - 3/(-4). Solve q*a + 4*c = a - 7, -3 = -y*a + 5*c for a.
-1
Suppose 10*u - 15*u = -65. Solve i - u = -3*b + 3, 4 = i for b.
4
Let q = 23 + -32. Let t = -15 + 34. Let p = t + q. Solve 0 = -3*a - m - p, 2*a + 24 = -2*a + 4*m for a.
-4
Let s be 11 + (-3 - -6) + -2. Solve 2*b = -5*m + s, 0*b = 3*m - 3*b - 3 for m.
2
Let o = 1 - -2. Let d be -3*(-2)/o*1. Suppose 2*r + 0 + 8 = 4*q, 5*r + d*q - 16 = 0. Solve 0 = 2*j - j - r*g - 10, j + 6 = -2*g for j.
2
Suppose 0 = 27*h - 28*h + 10. Solve 4*k + h = 4*i - 2*i, 4*i - 10 = -2*k for i.
3
Let q be (-2)/(-4) + (-6)/(-4). Suppose 0 = q*v - v - 5, -4*v + 20 = -4*l. Solve 4*y + u = -13, l = -2*y - 0*u + 2*u - 14 for y.
-4
Let f be (9/6)/(9/66). Let j = -5 + f. Solve 0 = 3*d + 4*b - 21, b + 9 = -2*d + j*b for d.
3
Let p(j) = j**2. Let z be p(2). Suppose 2*t = 2*c - 30, z*c = t - 4*t + 67. Solve -2*f + 2 = 0, 2*f = -4*x + 2 + c for x.
4
Suppose -f - 2 - 2 = 0. Let v = f - -9. Suppose -2*x + 2*s + 53 = -3, 3*x + v*s = 44. Solve 0*m = 3*t + 5*m - x, t + 19 = 5*m for t.
1
Let s be (-10)/4*(-2)/5. Let y be ((-19 - -2) + s)*-1. Solve 5*a = 7*a - 3*r - 4, -y = -4*a + 2*r for a.
5
Let c be (-4)/(-6)*(-63)/(-6). Let s be c/(-7) - (1 + -4). Solve 2*m + 4*w = -14, s*m = 4*w + 8 + 10 for m.
1
Suppose 4*o = 5*y - 36, -5*y = -y - 3*o - 28. Suppose -2*v - 2 = 3*i, i + 3*i + y = -2*v. Solve 0 = -2*a - 2*x + 4, -2*a + 16 = -0*a - v*x for a.
5
Let p(s) = -s**2 + 19*s - 16. Let q be p(17). Solve -t + 5 = t + v, 0 = 3*t + 5*v - q for t.
1
Let j = -18 + 15. Let l be (-100)/(-24) + j/18. Solve 5*o - 2 = -l*a - 28, -10 = a + 3*o for a.
-4
Suppose 3*f + v = -1, -2*f + 0*f + v = 4. Let w be -2*f*(2 - 1). Solve -2*t - 10 - 4 = 4*i, -2 = -4*t - w*i for t.
3
Suppose 0 = -v + 7 - 4. Suppose -2*z + v + 3 = 0. Solve -5*d - 3*p = 1, -5*d + z*p = -d + 17 for d.
-2
Let r be (-9)/(-12) - 3/4. Let l = r - 0. Let o(n) = -n**3 - n**2 + n + 5. Let s be o(l). Solve -2*p - 2*p - 6 = -2*b, -3*p - s*b + 2 = 0 for p.
-1
Suppose 0 = -2*n + 5*j, -j = -n + 2*n - 7. Let t be -2*(-2 + (-5)/2). Suppose -6*l - 15 = -t*l. Solve -5*y - 30 = -n*x, -2*y - 20 = 3*y + l*x for y.
-5
Suppose -4*i + 36 = -5*f, 4*i + 4*f = 3*i - 12. Let t be 18/(10/i + -1). Let h = t - 8. Solve 4*c - h*r - 19 = r, 0 = -2*c - r - 1 for c.
1
Let k(u) = u - 11. Let v(f) = f**3 - 2*f**2 - 4. Let z be v(3). Let n be k(z). Let i = n - -8. Solve -5*w - i*q - 13 = 0, 2*q = -6 - 2 for w.
-1
Suppose 0 = -2*j + 4*r + 6, -r + 11 = 4*j + 35. Let o = j - -7. Solve -5*q = o*w - 11, -2 = 4*q + w - 3*w for q.
1
Let o be 7 - (-6)/(0 - -2). Let s be (-4)/10 + 44/o. Solve -3*p - s*q - 7 = 7, -6 = 3*q for p.
-2
Let o(g) = -g - 5. Let f be o(-8). Let j(r) = -r**2 - 3*r + 3. Let w be j(-3). Solve 0*y - f = w*l - y, y = 5*l + 7 for l.
-2
Let k = -34 - -37. Solve -2*p - 2 = 2*b, b = k*p + 6*b + 13 for p.
4
Suppose -11*p + 6*p + 90 = 0. Solve g - p - 7 = 5*l, -2*g = 4*l + 6 for g.
5
Let r(k) = -k**3 - 12*k**2 - 13*k - 4. Let l be r(-11). Let i be 9/2*12/l. Solve -4*b = 3*v + v - 20, b - i*v = -11 for b.
1
Let r = 3 + 2. Solve r*s - 7 = k, 3 = 3*k - 6 for s.
2
Let t be (15/(-10))/(2/(-4)). Suppose 16 = 2*a + 2*m, -4*a - t*m + 8 = -20. Let g be (-25)/20*(-7 - 1). Solve -g = 2*s - s + 3*o, a*s - 3*o + 10 = 0 for s.
-4
Let v(n) = -n**2 + 3*n - 1. Let q be v(2). Let c(y) = 3*y**3 + 2*y - 1. Let i be c(q). Solve x + i = r - 2*x, 4*x = 0 for r.
4
Let q = 21 - 5. Let y be 6/8 - (-18)/8. Let r(a) = -a**3 + 3*a**2 + a - 2. Let z be r(y). Solve -z = 3*t + 4*j, 0*j - j = 4*t - q for t.
5
Suppose 4 = -3*d + 10. Suppose 0 = -d*v + 11 - 5. Solve -4*r - 3 = -5*s - 2, 3*r - v = 0 for s.
1
Let w(a) = a**3 - 5*a**2 + 5. Let p