 + h = 4*i, 0 = -0*i - 2*i + 2 for s.
-1
Suppose -3*p + 10 + 1 = -2*x, -p + 4 = -x. Solve -15 = 3*r, -p*v - 5 = r + 6 for v.
-2
Suppose 17*l - 4*l = 26. Solve 0 = -l*a - 4*p + 20, 18 = 3*a + 3*p - 0*p for a.
2
Let g be (3/(-9))/(2/(-12)). Suppose -g*o - 17 = -3*p - 0*o, 2*o = -2*p + 18. Let a be 51/p + (-4)/14. Solve -5*y - 5*r - 5 = 0, 4*y + 5*r + 2 + a = 0 for y.
4
Let n = 16 + -10. Let r = -5 + 8. Solve 0 = r*b - 5*l + 24, -l = l - n for b.
-3
Suppose g + 22 = 4*z, 0 = -4*z - 5*g + 4 + 6. Solve -5*q + 2*q - 22 = z*f, 5*q + 18 = f for q.
-4
Let w(o) = 3*o + 22. Let h be w(-5). Solve -4*i - s + 2 + 6 = 0, i - s = h for i.
3
Let l be 0/(2 + (-7 - -4)). Let t(i) = -i + 3. Let m be t(0). Solve l = 3*f + 6*s - s - 8, m*s + 4 = -4*f for f.
-4
Let j(x) = 19*x**3 - x + 1. Let v be j(1). Let r = -6 - -8. Solve -r*n = 3*b - 0*b - 11, 4*n = -3*b + v for n.
4
Let u be (2/(-3))/((-2)/(-6)). Let k = -3 - u. Let d = k + 13. Solve -2*i - d + 2 = 5*z, 2*z = 5*i - 4 for i.
0
Let w be ((-1)/4)/(16/(-192)). Solve 2*y = y - 4*j + 11, 2*j - 13 = -w*y for y.
3
Suppose 0 = 2*y + 2*b - 10, -b = 4*y - 0*b - 20. Let i = 5 + -7. Let x be 1/1 + 1 + i. Solve -2*o + 9 + 7 = -4*r, 4*o + y*r + 33 = x for o.
-2
Suppose 0*o = -o + 1, -3*o = 4*z - 115. Suppose -2 = f + u - 11, 2*f - z = -4*u. Solve -13 = p + 3*m, -12 = 4*p + m - f for p.
-1
Let x = 135 - 130. Solve -3*w = -3*r - 9, 2*w - x*w - 15 = 5*r for w.
0
Let y(b) = -2*b. Let q be y(-1). Suppose 0 = -3*a - 4 - 17. Let i be a/(-2) + 8/(-16). Solve 0 = -i*m - 0*m - 12, -t - 9 = q*m for t.
-1
Suppose 0 = c + 5*r - 19, 6 = r + 3. Solve t = 0, -3*t = c*w - 9*w + 15 for w.
3
Let p be 2/1 - -5 - 3. Solve 3*b - 18 = 3*d, -b + d + p = 2*d for b.
5
Suppose -2*a - 2*a = -24. Suppose -2*w + 3 = -5. Suppose -2*b - g + a = 0, -g = -5*b + w*g. Solve 2*u = 6*u - y - 15, 0 = -5*u - b*y + 9 for u.
3
Suppose 0 = -4*q + y + 104, 3*q - 5*y + 26 = 4*q. Let z be 4/q - 128/(-13). Solve z = 3*s - 5, -p - 3*s = -12 for p.
-3
Let z(u) = -6*u - 1. Let h(y) = 12*y + 3. Let q(a) = -2*h(a) - 5*z(a). Let t be q(1). Solve 0 = 5*n - t*i - 25, -2*n - 5*i - 25 = 3*n for n.
0
Suppose -10*d + 16 = -14. Solve d*s = 4*y - 10, 3*y - 3 = -0*y for s.
-2
Suppose 4*r - 6 = 6. Suppose 5*s = 1 + 54. Suppose c + s = 3*o, 5*o - 4*c = -c + 21. Solve -2*d = -o*x + r, -x + 2*d + 2 = -3 for x.
-1
Let o be (-8)/(1 - (2 + 1)). Suppose j + 0*r + 3*r = 0, 5*j + o*r = 0. Solve k - 20 = -4*g, 5*k + g + 3*g - 20 = j for k.
0
Let f be 14/21 + 8/6. Solve 3*d = -4*n - 7, 4 = -f*d + 3*n - 6*n for d.
-5
Let x(j) = j**3 - 4*j + 3. Let f be x(2). Suppose -f*q - 5*a + 44 = 18, 0 = -a + 4. Solve 0*s - 15 = q*n - s, s = -n for n.
-5
Let h(m) = -m**2 + 9*m + 24. Let p be h(11). Solve 6 = -3*s - 2*q + 25, -s = -p*q + 7 for s.
3
Suppose -2*x + 2 = 0, 7*u - x = 2*u + 24. Solve 5*k = -u*f - 35, -4*k + 4*f + 3 = -9 for k.
-2
Let t(s) = 3*s**3 + 17*s**2 - 3*s + 21. Let v be t(-6). Suppose -4*w - 4 + 68 = 0. Suppose x = -x + w. Solve -4*z + 0*z = v*h + 11, -h = -z - x for h.
3
Let g be (-18)/6 - (-5)/1. Let q be (g/(-5))/((-2)/20). Suppose -2*v = -3*v + 2. Solve q*a = 3*t - v, 5*t - a = 4*a + 5 for t.
2
Suppose 4 = c - 1. Suppose -2*r - 15 = 3*q, c*r + q = 2*q + 5. Solve r = w - 3*s + 4 - 3, 4*w - s = 7 for w.
2
Let p(z) = 2*z - 5. Suppose -5*m = -9 - 16. Let a be p(m). Solve -u + 2*u - 4*i = -7, -a*i + 20 = -5*u for u.
-3
Suppose 0*c - 5*c = -15. Solve -c*w = -2*v - 8 - 3, 4*w = v + 13 for w.
3
Let o(b) = b**3 + b**2 - b - 2. Suppose 0 = 3*w - 4 + 10. Let u be o(w). Let k be 3/u - (-30)/8. Solve 3*m + 5 = p, 0 = m + k*p - 0 + 15 for m.
-3
Suppose 16*m = 22*m - 24. Solve 0 = -5*s - 2*z + 26, -2*s + 1 = -m*z + 5 for s.
4
Let k = -34 + 40. Solve -4*g = 4*c, 2*c + c = k for g.
-2
Let i be (-12)/(-2)*4/6. Suppose -i*o = -28 + 12. Solve x + 0 = -5*z - 24, 0 = 3*z + o*x + 11 for z.
-5
Let y be 0*3/(-6) - -9. Let c be y/(-6) - (-7)/2. Suppose 0 = c*m - 0*m - 3*d - 60, 3*m + d = 68. Solve 0 = 2*a + 4*f - m, -8 + 3 = 5*a - 3*f for a.
2
Let l(a) = -a**2 - 4*a - 2. Let p be l(-5). Let d be p/7 + (-2)/(-2). Suppose d*n = -n. Solve -2 = -2*c - 4*m, n = -c - 0*m + 4*m - 17 for c.
-5
Suppose -3*m + 34 = 4*x - 37, 2*m = -2*x + 48. Suppose 7*o = 2*o + m. Solve 0 = 3*n + o*k - 11, 3*k - 15 = -4*n + 5*n for n.
-3
Suppose 0 = s + 2 - 8. Solve -10 = 5*p + 5*d, -2 = -2*p + d - s*d for p.
-4
Suppose -5 = -o - m, -6*o = -3*o + 5*m - 15. Let n be 0 + -1 + -1 + o. Solve 2*g = -f + 10, -f + n*f - 2*g + 4 = 0 for f.
2
Let d = -145 + 145. Solve d = -v + 5*f + 3 - 10, f = 2*v + 5 for v.
-2
Let c(a) = a - 7. Let t be c(10). Suppose -n - 3 = 1, -5*n = -t*z + 26. Solve -2*l + 6 = 3*j + 1, -j - z = -3*l for j.
1
Let l be 6/(-15)*(-4 + -1). Suppose 4*w + 3*k - 22 = -5, -l*k + 12 = 3*w. Solve -5*y = 25, w*s = s - y for s.
5
Let r(z) = 3*z - 2. Let b be r(3). Let s = 17 + -10. Solve 0 = j + 2*j + 4*c + b, 0 = -j + c - s for j.
-5
Suppose -50 = -3*t - 2*t. Solve 0 = g + 2*i + 3, -t - 5 = g + 5*i for g.
5
Let k = 13 - 11. Solve -4*s + 3*v - k*v + 8 = 0, -v = -2*s + 2 for s.
3
Suppose -3*f - f = -20. Suppose 2*t - 5*n = -25, -t - n = -7 + 2. Suppose t = 4*c + 2*j - 74, 24 = c - j - 2. Solve f*l + 0*l - 2*d = 0, -5*d = -2*l + c for l.
-2
Let b be ((-6)/(-3) - 0) + 1 + 7. Solve 0 = 3*z + 2*z - 5*f + 15, 4*f - b = 2*z for z.
-1
Suppose -5 = 5*h, -3*t + 3*h - 3 = 6. Let z be 6/(-4)*t/3. Solve z*i + i + 15 = -4*j, j + 2*i = -5 for j.
-3
Let r = 5 - 0. Suppose -3*k - 1 = -r*g - 6*k, 16 = 2*g - 4*k. Solve g*t + 9 = -5*w - t, 4*t = 5*w + 23 for w.
-3
Suppose 3*k = 3*l - 6, -4*k + 2*l - 2 = -4. Solve 25 = 5*y + 4*b, 7*y + k*b = 3*y + 20 for y.
5
Suppose 0 = 13*r - 20*r + 28. Solve -5*t + 5 = -5*v, -4*v + 3 + 9 = r*t for t.
2
Let q(x) = -3*x**3 + 6*x**2 + x - 8. Let j(k) = -k**3 - 1. Let t(o) = -2*j(o) + q(o). Let y be t(6). Solve -3*z - d - 17 = 0, z - 4*d + d - 11 = y for z.
-4
Suppose 0 = 5*s + 10 + 10. Let z = s + 9. Solve -3*n + 4 + 20 = 3*m, -z*n = -3*m for m.
5
Suppose -3*p + 15 = -3*c, c = -2*c - 6. Suppose 0 = p*f - 3*m - 15, 3*f - m + 20 = -5*m. Solve f*r = 5*z - r + 9, 4*r = -5*z - 14 for z.
-2
Let m be (-2)/(4/(-25)) + (-2)/4. Let q = -1 + 7. Suppose m = q*y - 4*y. Solve 4*i = z + 7, -5*i + 2 = -y*i + z for i.
3
Let f be 6 + (-66)/78 + 4/(-26). Solve -z - 2*g - 10 = 0, f*z + 3*g + g = -26 for z.
-2
Suppose -9*v + 9 = -6*v. Solve 0*k = -t + 3*k + 10, -v*t = -k - 6 for t.
1
Let d(n) = -n - 21. Let j be d(-26). Solve -2 = -4*k - p, -j*k - p = -3*k for k.
1
Suppose 6*z + 9*z = 6*z. Solve -p + 19 = -4*c, z = -c - 5*p + 2*p + 5 for c.
-4
Suppose -5*m + 13 = -o, -3*m + 5*o - 6 = -27. Solve 5*k - 8 = 2*a, -2*a = m*k + 2*k - 10 for k.
2
Suppose 6*l - 21 = 9. Solve 2*n + 5*z - 2*z + 17 = 0, l*n + z = -23 for n.
-4
Suppose -2*l + 58 = 20. Solve 0 = -3*q + 5*a - l, 0 = -q - q + a - 8 for q.
-3
Suppose 3*z = 2*f + 4 + 13, 21 = 5*z + 4*f. Solve 0 = z*r - 15, -4*v - v = -3*r + 29 for v.
-4
Suppose 3*h - 2*h = 4. Suppose 3*k - 9 = -y - 2, -2*k = 2*y - 6. Let t = 5 - 3. Solve 0 = -3*p + t*b - h + 26, -k*p + 5*b = -33 for p.
4
Let s = 24 - -4. Suppose 5*d - c = s, -d + 10 = 4*d + 5*c. Let h be ((-2)/(-5))/((-23)/(-115)). Solve -4*r - h = 4*q + 2, 3*q - d = r for r.
-2
Let l be (-3 - -7 - (1 - -7))*-1. Solve l = -0*w + w, 2*w = 4*d for d.
2
Let f = 14 - 8. Suppose -5*n = -5 - 10. Suppose 3*u = n + 6. Solve -f*c + 2*w - 22 = -u*c, -4*w + 36 = -4*c for c.
-4
Let n(p) = -p**3 - p + 1. Let b(z) = 5*z**3 + 5*z**2 + 5*z - 3. Let v(f) = -b(f) - 6*n(f). Let u be v(5). Solve x = u, -t + 4*x + 2 = t for t.
5
Suppose 5*k - 4*b = -23, -4*b = -2*k + 5*k + 1. Let i be 4/k*9/6. Let h be 5*i/(-10)*14. Solve 5*x = 5*p - p + h, 0 = 4*p + 5*x - 6 for p.
-1
Suppose -5*j - 3*a + 11 = 0, -7*j + 2*a = -3*j - 22. Let k = j - 2. Suppose k*h - 4*s + 6 = -6, 2*s - 10 = 0. Solve -2 = i - 0*i - q, 0 = 5*i + h*q - 8 for i.
0
Suppose -7*b = -3*b + 72. Let a be (-2)/4 - b/4. Solve -4*k - 3*n = 22, a = k + 2*n + 12 for k.
-4
Let k be (2/(-4))/(9/54). Let b = 5 + k. Solve -2*g - 1 = l, -l + 5 = -b*g - 2 for g.
-2
Suppose 2*g + 1 = 7. Solve 0 = -g*y + z + 14, -4*y - 5*z + 3 = -3 for y.
4
Let n be 1/(3/51) + -5 + 2. Solve -5*h + h + n = -u, h = -3*u - 3 for u.
-2
Suppose 2*v + 2*o - 20 + 6 = 0, v - 3*o + 13 = 0. Suppose -v*a = 3*a - 35. Solve 0 = -u + 5*c - a, 3*u + 2*c + 3*c + 1 = 0