2*o - 6*w, 2*w = 10 for o.
-2
Suppose 2*q = -3*q. Suppose 8 = 6*a - 7*a. Let f(k) = -k**2 - 8*k + 2. Let d be f(a). Solve -2 = -n + 2*z, q = n - 3*n + d*z - 2 for n.
-4
Suppose -12 = -19*h + 15*h. Solve -1 = 4*b - 5*p + 2, -h*p + 12 = b for b.
3
Suppose 5*w + 1 = -3*f, f + 0*f + 2 = 0. Suppose 1 + w = -5*p + 2*r, 1 = r. Solve p = -4*j + 2*l + 22, -3*j + 3 + 15 = -3*l for j.
5
Suppose 2*s - 3 = 4*o + 9, -3*o - 49 = -4*s. Solve -r = 5*n - 28, 3 = 3*r + 2*n - s for r.
3
Suppose 26*n = 23*n + 42. Solve -s = 4*g - 2*g - 9, 4*s + n = 2*g for g.
5
Suppose 0 = 5*m - 2*n + 9 + 18, 0 = -4*m + 4*n - 24. Let g = m + 8. Solve -5*a = -2*c - c + 26, 4*a + 22 = g*c for c.
2
Suppose 5*c - 33 = n, -3*c + 8*c - 2*n - 31 = 0. Solve 0 = -3*p - 5*l - 1 - 4, -c = -3*p - 2*l for p.
5
Suppose -3*r - 2*r = -25. Solve 3*l + 8 = -5*g + 21, r*l + g = -15 for l.
-4
Let p = 8 + -6. Solve 0 = -z + p*z - 5*t, 0 = 5*t for z.
0
Let v be -213*4/(-42) - (-8)/(-28). Solve -3*h = 5*m - 10, v = -6*h + 3*h + m for h.
-5
Let o be (-1)/(2/(-6)) + -3. Suppose 2*a = 2*r, r = -a - 2*a + 8. Suppose 0 = a*n + 8, s - 4*n - n - 22 = 0. Solve o*d = 2*d - s*h + 6, -5*d = -h - 1 for d.
1
Let y(o) = -o**3 + 4*o**2 + 4*o + 5. Let n be y(5). Suppose n*q = -2*q. Let c be 2*(10/4 + 0). Solve 4*r + c + 27 = 4*w, -5*r - 15 = q for w.
5
Let b(w) = -w**2 - 5*w - 4. Let z be b(-3). Suppose x + 3*x - 4 = 0. Suppose 3*v - 9 = 0, -3*v = k - 5*k - x. Solve 3*q - 2 = -z*s, -6*s = k*q - 3*s + 2 for q.
2
Suppose q - 20 = a - 5*a, 0 = -4*a + 5*q + 20. Solve n + 10 = -4*n, -a*z + 9 = 3*n for z.
3
Let z(u) = u + 4. Let q be z(0). Suppose v - k - 8 = 2*k, -q*k - 8 = 0. Suppose 8 = 2*l + v. Solve -5*a + l = -4*d - 12, -25 = 5*d for a.
-1
Let t be (2 + -1)*(-1 + 3). Let v be (5 + -26)*t/(-3). Suppose -3*l = 4*z + 2, -2*l + 2*z + 8 + 0 = 0. Solve l*g = 4*x - v, 2*x - 4 - 6 = 2*g for g.
-3
Let z(i) = i - 1. Let c be z(6). Suppose 4*s + c*o = 13, 0*o - o = 2*s - 5. Suppose -4*h = -s*h. Solve -3*u = -p, h*u + u = 0 for p.
0
Let t be -44*(-2)/20 + 6/(-15). Suppose u + 0*u - 2 = 0. Solve 14 = -t*l + l - 5*f, 3*l + 2*f + u = 0 for l.
2
Let n(s) = 2*s + 9. Let q be n(-3). Solve 4*j = -q*o + 5, -2*j - 5*o = -7*j + 15 for j.
2
Let a = 4 + -3. Let s be 0 + 7 + a + -1. Solve -5*k - s = -4*p, -3*k - 4*p + 18 = p for k.
1
Let v = 7 + -1. Let d(a) = a**3 - 5*a**2 + a - 4. Let b be d(5). Let h be b*(v/2)/1. Solve 3*n = 2*w - 2, 2*n + 5 - h = 2*w for n.
0
Suppose d - 1 + 9 = 0. Let x(s) = -s**3 - 8*s**2 + 5. Let v be x(d). Solve -v*y = -4*r + 9, 0 = -y + r + r + 3 for y.
-5
Let p = 6 - 4. Suppose 7*n - 125 = p*n. Let b be ((-2)/4)/(3/(-30)). Solve 2*q + 2*k - 3 = 5, -b*q = -4*k + n for q.
-1
Let t(s) = s**3 - 13*s**2 + 12*s. Let j be t(12). Solve -u = 4, -3*i + 0*u - u - 16 = j for i.
-4
Let p(t) = 3*t**2 + 2*t - 5 + 0 + 2 - 2*t**2. Let f be p(-3). Solve f = -2*n - 2*n - 3*x + 11, -2*x + 8 = 3*n for n.
2
Suppose -3 - 1 = -2*b. Let x be (-3)/(-1)*(-5)/(-5). Solve -x = v - 3*c, 2*v + b*c = -2 - 4 for v.
-3
Let b(y) = y**3 - 5*y**2 + y - 7. Let a be b(5). Let i be 1 - -3 - (0 - a). Let j = -32 + 36. Solve -o + j*v + 9 = -11, -i*v = -o + 12 for o.
4
Let a = -13 + 30. Solve -a = -m - 5*s, -4*s + 11 + 14 = -3*m for m.
-3
Suppose 5*p - 2*p = 0. Solve -2*w + l = 3*l + 12, p = 2*l + 6 for w.
-3
Let v be (-52)/(-14) - 16/(-56). Suppose -12 = -6*a + 3*a. Solve c + 4*y = -y - 5, v*y = c - a for c.
0
Let f = -4 + 9. Suppose 2*s + 4*z = -0*s - 14, f*s + 20 = 5*z. Let j = s + 7. Solve -2*u = -h - 0 - 2, 2*h = j*u for u.
2
Let c(o) = o + 2. Let t be c(-2). Suppose 27 = 4*k + 7. Suppose 0 = 88*m - 92*m + 56. Solve -3*b + t*b + m = -k*z, 2 = -b for z.
-4
Let d be (3 - 3)/(-2 - 2). Solve d = -3*m + m + 4*n - 16, -m = 2*n for m.
-4
Let z = 21 + -15. Let y = z - 0. Let o be -2 - y/(-9)*3. Solve 4*w + 20 = -2*g, o*w + 4*g + 19 = -w for w.
-3
Suppose -2*u = 4*w, w - 15 = -2*u + 2*w. Let c be 9/(-6) + (-3)/(-2). Let n be (c - (4 + -2)) + 4. Solve 4*a = 2*y - u, -3*y - n*y - a = 29 for y.
-5
Let t(p) = -p**2 + 7*p - 4. Let z be t(5). Let l = 4 + 2. Suppose -3*w = -l*w + 9. Solve -z*o + 3*o - 3 = w*b, 0 = 5*o - b - 7 for o.
1
Let y(j) = j**3 + 5*j**2 - 7*j - 2. Let g be y(-6). Solve 3*n - d + 13 = g*d, -5*d + 5 = 5*n for n.
-1
Let v(d) = -d**2 + 9*d - 7. Let a be v(6). Let z = a - 11. Solve 5*k + 2*x + 5 = z, -2*k + 0*x + 4 = 2*x for k.
-3
Let h(u) = -3*u + 7. Let l(c) = -7*c + 13. Let x(s) = 5*h(s) - 2*l(s). Let p be x(6). Solve -5*i - 4*d - 7 = -25, p*i - 4*d + 2 = 0 for i.
2
Suppose -c + 11 = 2*i, -2*c + i = -4*c + 13. Let n(t) = 2 + 4 - 5*t + 4*t. Let b be n(c). Solve 2 = 3*q - w, -2*q - 3 = -2*w + b for q.
2
Suppose -5*i + 15 = -60. Let a be (-10)/i - 17/(-3). Let b be 1/(-5) - (-16)/a. Solve -3*g = -4*d - 8, 0*d - 2*g - 23 = b*d for d.
-5
Suppose 0 = -4*l - 0*l + 12. Suppose -3*p - 3*d + 12 = -0*d, 2*p + 4*d - 8 = 0. Let v = p + -3. Solve 2*i + 4*f + 1 = l*i, v = i - 3*f for i.
1
Let c = -15 + 20. Solve -c*n - 6 = 2*k - 3*n, 3*k = 2*n - 14 for k.
-4
Suppose p - 8 = 5. Let l = -8 + p. Solve -h - 23 = -l*z, 4*z - h - 14 = 2*h for z.
5
Suppose -u = -4 + 12. Suppose 5*k + 1 = 6. Let j be u/((k + 1)*-1). Solve a - 4*l = 2 - 6, -4*a - j*l = 16 for a.
-4
Suppose 4*j = -2*s + 22, 3*j = 6*s - s - 3. Solve l - s*q + 16 = 0, l - 5*l = 3*q + 4 for l.
-4
Let i = 2 - 0. Suppose -1 - 17 = -i*h. Suppose h*w - 5*w = 0. Solve -4*l + 4 = 0, w = -5*g + 5*l - 0*l - 10 for g.
-1
Suppose -2*t + t = -9. Let w be (-2)/(-5) - (-46)/10. Solve -y + 4 = w, -5*u + y = t for u.
-2
Suppose -5*m + 3 = -2*m. Suppose -m = -x + 5*f, -x + 2*f = f - 1. Let k be 33/12 + x/4. Solve 3*p + p = 4*n + 4, 5*p + 19 = -k*n for p.
-2
Suppose 4*h + 4*x - 56 = 0, x = -5*h - 2*x + 60. Let z be 29/h - (-10)/(-45). Solve 0 = m + 5*o + 27, 3*m + z*o = 6*o + 9 for m.
-2
Let z(g) = -2*g**3 + 2 - 7*g + g**3 - 2*g + 10*g**2. Let r be z(9). Solve -r*n + 3*h + 10 = 8*h, n - 3*h + 6 = 0 for n.
0
Let f = 2 - 7. Let k be 39/15 + 3/f. Solve 0 = k*z - 2*a - 4, 5*a + 0*a + 37 = -4*z for z.
-3
Let c = 0 - 3. Let i be 110/6 - 2/c. Solve -4*j - z = -i, j + 3*z + 3 = 16 for j.
4
Let u(p) = p**2 + 2*p - 6. Let w be u(-5). Let d be ((5 - 2) + 0)*w. Solve 5*b - d = -3*x, -4*b - 5*x + 3 + 29 = 0 for b.
3
Let v(d) = -2*d + 1. Let x be v(0). Let k be 2/(-3)*-6 + x. Solve -k*o - 10 = r, r = -o + 3*r + 9 for o.
-1
Suppose 4*f = 2*f + 10. Let x = f - 8. Let r be 1 - x/(0 + -3). Solve 2*t = -r*v + 2*v - 12, v = 4*t + 21 for v.
1
Let i be (-3 + 4 - -1)/1. Solve -3*r + 12 = 4*k - 3, -4 = i*r - 2*k for r.
1
Suppose 0 = -6*z + 12*z - 24. Solve -l + 4*t = z*l - 31, -4*t = -l + 19 for l.
3
Suppose 0*f = -3*f, -4*f = 2*h - 4. Solve -h*s = -3*v - 3 + 5, 4*v - 1 = 3*s for s.
5
Let h be 2/(-7) - (342/(-21) - -3). Solve -5*g + 2*k - 18 = -g, 3*g - 2*k = -h for g.
-5
Suppose 3*f - 2*f = 5*u - 26, -2*u + 11 = -f. Let j = -3 + u. Let h be (-1 - -3) + j*9. Solve -4*x + h = -3*d, -5*x - 11 = 4*d - 36 for x.
5
Let f = 29 - 24. Solve -4*x + 7 = 2*p + 23, f*x + 22 = -3*p for x.
-2
Let v(d) = 6*d**2 + 3*d. Let t = -1 + -1. Let f be v(t). Solve -4*q + 5*r - 25 = 0, -9 - f = 5*q - 2*r for q.
-5
Let l(h) = 6*h - 1. Let c be l(1). Suppose c*g - 2*z - 4 = 0, 2*g - 6 = -z + 1. Solve -2*a + 0*n + g*n - 16 = 0, -3*a + 8 = 5*n for a.
-4
Suppose 0 = -7*c + c + 12. Suppose 8*v = 7*v + 2. Suppose -3*t + 11 = 2*r, -3*t - 3 = -6*t. Solve -v*x + 6 = -c*b, -2*b = x + r*x + 20 for b.
-5
Suppose -4*w = -7*w. Suppose -8 = -w*m - m + t, -5*m + 24 = -t. Let o be (-1 - -1)/(m - 6). Solve -4*g + 33 = -5*s, o*s + 27 = -5*s + g for s.
-5
Suppose -2*h + 4 = -4*n + 20, -5*h - 16 = -4*n. Suppose 4*m = -4*p + 32, -2*m - m - p + 20 = h. Solve 10 = -5*g, -b - m = 2*g - 3 for b.
1
Let s(w) = w**2 - 2*w - 4. Let t be s(4). Suppose 0 = -t*i + 16 - 4. Let l be 6/(-9) + 56/i. Solve o - 4*f + 23 = 0, -5*o + 3*f - l = -4*o for o.
-3
Suppose p - 15 = -2*a, -p + 17 = 5*a - 16. Let h = -2 + a. Solve h*w - 3*o - 7 = 0, -w - 5*o + 27 = 2*w for w.
4
Suppose -i = 2*w - 10, -3*i + 5 = -4*i + 3*w. Solve -12 = i*c, 4*c + 27 = -7*o + 2*o for o.
-3
Let t = -17 + 20. Solve -2*u - d = 1, 4*u + d + t = -2 for u.
-2
Suppose 20 = 9*s + s. Solve s*u = 2*n, 0*n = 2*u - n + 2 for u.
-2
Suppose -13*h + 240 = 7*h. Solve -2*l + s = -6, -2*l - 4*s + h = 2*l for l.
3
Let y(r) = -3*r - 2. Suppose -j + 15 - 2 =