= -o + 20, g + 1 = -2*o - q for g.
-4
Suppose -3*c = 6 - 21. Solve 17 = 4*s - 2*n - 3, c*n = 5*s - 25 for s.
5
Let m = 29 - 24. Solve 0 = n - m*j + 24, 4*j = -n + 10 + 2 for n.
-4
Suppose 18*f - 15*f - 12 = 0. Solve 4*z + 13 + 5 = -3*g, f*g + 5 = z for g.
-2
Suppose 0 = 3*k - 33 + 24. Solve 4*c - 2 = -k*j - 4, 4*c = -8 for j.
2
Let f(q) = -q - 4. Suppose -4*n + n - 21 = 0. Let w be f(n). Suppose 3*m - 20 - 20 = 5*z, -w*m + 2*z = -25. Solve -3*k - 3 - 8 = 2*u, -10 = -5*u + m*k for u.
-1
Suppose 4*r + r + z - 117 = 0, 0 = 4*z + 12. Solve k + 2 = -i - 0*i, 4*k - r = 4*i for k.
2
Suppose -3*s + 4*s - 2 = 0. Let u be (-14)/((-6)/2 - -1). Let k = s + u. Solve -n + 2*t = 6, -7*n - 3*t = -3*n - k for n.
0
Let x(c) = -6 - 2 + 1 - c. Let l be x(-7). Solve 4*y + s - 10 = l, 0*s + 6 = -y + 4*s for y.
2
Let j(s) = 2*s**2 - 2*s. Let c be (-3)/4*2*-2. Let u be j(c). Suppose -5*r + u = -2*r. Solve 0 = -4*o - 6*f + 5*f, -r*f = o - 15 for o.
-1
Let m = -63 - -68. Solve -a - m*k = 22, 0*a + 4*k + 24 = -4*a for a.
-2
Let m be ((-51)/15 - -3)*10. Let w be m/22 + (-57)/(-11). Suppose 0 = 2*i + 2*i - 8. Solve i = -5*o - 4*y - 6, 0 = -w*o - 5*y - 10 for o.
0
Suppose 14 = n - 2*i, 2*n = n - 3*i - 11. Suppose 4*v - 7*v = 0. Solve 2 = -2*r - 3*f - f, r - n*f + 1 = v for r.
-1
Let p be 6/(30/25)*28/10. Solve 4*r = 2 + p, k + r = 4 for k.
0
Suppose -2*n + 0*c = c - 5, 4*n = -c + 13. Solve -4*i = 4*r - 12, -5*r - n + 19 = 4*i for r.
3
Let h be 12/(-30) - 34/(-10). Suppose 6*x - h*x - 3 = 0. Suppose -5*u + 55 = 4*j, -3*u + 0*j + 5*j = 4. Solve 2*r = 3*m + x, -2*m + 11 = r - u*m for r.
-4
Let c be 1 + -3 + 30/10. Let r(t) = -t**2 + t. Let g be r(c). Solve 7 = 3*m + 4*s - g, 0 = m - 5*s + 23 for m.
-3
Let i be (-3)/6*2 + 3. Solve -5*d - 4*r = 7, -5 = 3*d + r + i for d.
-3
Suppose -v + j = -j - 44, -v + 42 = -j. Solve -4*t - 18 = 2*d, -3*t + 14 = 4*d + v for t.
-2
Let b(v) = -v**3 + 7*v**2 + v - 2. Let m be b(7). Solve -2*f - 8 = -2*r, -m*r - f - 16 = -10*r for r.
3
Let t = 0 + 0. Let q be (1 + -1)*(-4)/(-8). Let u be (q - -1)*(-6 + 10). Solve t*c + c - 11 = 4*k, -u*k = 4*c + 36 for k.
-4
Let v be -1 + (-1)/(3/(-12)). Let p(y) = -y**3 + 4*y**2 - 3*y + 3. Let n be p(3). Suppose -n*x = x - 40. Solve h + 5*u - 5 = v*h, -h = -5*u + x for h.
5
Suppose 0*o = -2*o + 164. Suppose -3*c + 17 + o = 0. Let x = 54 - c. Solve x = -3*m + 3*s, -5*m - s - 2 = 21 for m.
-5
Let s(c) = c**2 + 23. Let i = -12 - -8. Let b = 4 + i. Let y be s(b). Solve 2*q - 12 = -2*w + 2, 0 = 5*q + w - y for q.
4
Let i be (-510)/(-119) + (-1)/(14/4). Solve 0 = 5*d + 4*w + 4, -d - 4 = i*w - 0 for d.
0
Suppose 0 = 5*l - 1 - 14. Solve 3*s - 4*s = 4*m + l, -5*m = -2*s + 7 for m.
-1
Let u be (-81)/(-12) + (-24)/32. Solve -h = -j - 7, -8 = -4*j - u*h + h for j.
-3
Suppose 0 = 3*u - 8*u + 20. Solve -u*m + 3 = -w + 4*w, m = w - 8 for m.
-3
Let f be 130/52*8/10. Solve -y = t - 2, -f = 2*y + 4*t - 4 for y.
3
Suppose -5*n + s = -25, -3*n + 2 = 2*s - 26. Suppose 3 = -5*f + 6*f. Solve f*x - 4*q + 17 = 0, x + n = 4*q - 13 for x.
1
Let i be ((-4)/3)/(6/(-9)). Let b be (0*(-4)/(-8))/1. Solve 2*n = -4*y - 12, n + 0*y - i*y + 2 = b for n.
-4
Let g(l) = -l**2 - 2*l + 16. Let t be g(3). Solve t = -d + 3*p - 0*p, -3*d - 3 = 5*p for d.
-1
Suppose -i = z + 3, -3*z = -2*i - 3*i + 9. Suppose i = 5*y + 2*d - 12, d - 4 = -y - 1. Suppose -y*u = -3*u + 3. Solve -5*l + 20 = -p, -u*l - 1 = -2*p - 6 for p.
5
Suppose 0 = 3*m + 3, 3*c - 3*m + 14 = 4*c. Solve -b + c = -5*b - 3*t, 0 = -3*b - 3*t - 12 for b.
-5
Suppose 5*q - 16 = -3*v - v, -v = q - 5. Let m = v - 4. Solve 3*t - p - 15 = -4*p, -m*t + 9 = p for t.
1
Let o(r) = r**3 - 5*r**2 - 6*r + 3. Let c be o(6). Suppose -3*u + 23 = 20. Let q = u + c. Solve 5*d - 8 = s, 7*d - q*d - 16 = -5*s for s.
2
Suppose -2*q = 2*q. Suppose 0*b - 4*s = 3*b - 9, b - 4*s - 19 = q. Solve 0 = 5*v + 2*t + 23 + b, 2*v = 3*t + 7 for v.
-4
Let h be 130/(-13)*1/(-2). Solve 0 = -m + 2*u - 1, -5*u + 11 = -h*m - u for m.
-3
Let w = 29 + -29. Suppose 5*x - 30 = -0*x. Suppose -2*t + x + 0 = w. Solve 2*l - t*a = -14, a - 1 = 2*l - 5*l for l.
-1
Let a(o) = o**3 - 7*o**2 + 3. Let j be a(7). Suppose 1 = j*n + 7. Let p be (2 - (0 - n))/(-1). Solve -3 = 3*g, -3*r + p*r + g - 14 = 0 for r.
-5
Let i(k) = -k**3 + 4*k**2 + 4*k + 5. Let j be i(5). Let y = -25 + 54. Solve j*n = -4*n - 5*f + y, -24 = -4*n - 4*f for n.
1
Let g = -2 - -6. Let z(v) = 6*v**3 - 2*v**2 - 3*v - 1. Let x be z(-1). Let n be x/g - (-185)/10. Solve -5*a + 0*a - 4*q = -n, -2*q = -4*a - 2 for a.
1
Suppose q - 1 = -0*q. Suppose -4*o = -q - 19. Solve 35 = -4*v - 3*t, -20 = o*t - t for v.
-5
Let v(k) = k**2 + 4*k - 7. Let d be v(6). Suppose 0 = -5*n + d + 32. Solve -3*c = 5*l + 10 - 29, -l + n = 5*c for l.
2
Let t be -1 + (-1)/(3/(-9)). Let m be 2/(-7) - 4/(-14). Solve 3 = -3*o + 3*d, m = t*o + 2*d - 1 + 3 for o.
-1
Suppose 5*n - 40 = -0*n. Solve -5*c = -2*v - 12, 2*c - n = 4*v - 0*v for c.
2
Let w = -19 + 21. Solve -4*k + 14 = w*z, -2*k - 2*k + 2*z - 6 = 0 for k.
1
Suppose 3*a - 17 = -w + 127, -3*w + 138 = 3*a. Let v = 69 - a. Solve 6*j + v = 5*l + 2*j, l - 2*j = 10 for l.
0
Suppose -2*v + 0*v + 4 = 0. Suppose 5 = -5*d + 4*s - 39, -v*s = -4*d - 34. Let w = d - -11. Solve -w*b - 2 = 2*n - 0, -5*b - 3*n - 5 = 0 for b.
-4
Let q = 104 - 102. Solve -41 = -5*b + 4*i, -q*b + 6*b - 3*i = 32 for b.
5
Let i = -159 - -163. Suppose 5*c - 1 = 4*z + 30, z = 3*c - 13. Solve -3*w = i*n + 1, -5*n = c*w - 2*w + 15 for w.
5
Suppose 12 = -3*d + 2*d. Let l = d + 30. Solve 2*v + 2*v + l = -n, 5*v + 19 = -3*n for v.
-5
Let u be (2 + -1 - 1) + 5. Let o = 3 - -4. Suppose -4*k - 4*n - 16 = 0, o*n = 4*k + 2*n - 20. Solve -u*a + i - 17 = k, -3*a - 4 = -a + i for a.
-3
Let h(s) = -s - 4. Let v be h(-3). Let j = 2 + v. Solve -j = -2*l + 5, -2*o - 3*l = -5 for o.
-2
Let h = -27 + 30. Solve 0*i + 7 = -v + 3*i, -2*v - 5*i - h = 0 for v.
-4
Let j = 2 - 4. Let i = j - -8. Let d = 9 - i. Solve 2*x = 7*x + d*z - 26, -3*x - 5*z + 22 = 0 for x.
4
Let m(f) = f + 4. Let t be m(-4). Solve -5*r + 15 = -o - t*o, -4*o + 2*r = 24 for o.
-5
Suppose 0 = 3*v + 8 - 32. Let r be 1/(-5) + 36/5. Solve 0 = -5*t + 5*s - v - r, 0 = 2*t + 3*s - 19 for t.
2
Let d be 2/7 - (-26)/7. Let c = 6 - 3. Solve -5*n + 2*n - c = -d*g, 9 = 5*g - 2*n for g.
3
Suppose 4*z + 5*s - 45 = 0, 5*s + 6 - 26 = z. Solve 5*q + 2*g + 2 + 1 = 0, -25 = -z*q + 5*g for q.
1
Suppose 2 = 5*z - 18. Solve -2*v = -3*b - 0*b - 2, -2*b = z for v.
-2
Suppose -1 = -4*g + 5*g, -u = 3*g + 13. Let h = u + 15. Solve d + 2 = -0*f + f, 2*d - h*f = -1 for d.
-3
Let i = 54 + -28. Let l = i - 18. Suppose -2*x = 2*b - l, 3*x - b + 4 = -2*x. Solve 6*w - 2*w + 3*g + 5 = x, -5*g - 17 = -2*w for w.
1
Suppose 7*m - 4*m - 9 = 0. Solve 0 = -s - m*r + 6, s + 7 + 2 = 2*r for s.
-3
Suppose -g + 2 = -2*y, -5*g + 2*y = -2 - 0. Solve 5*k - 3*k - 20 = -2*c, 4*k - 20 = g for c.
5
Suppose -s + 12 + 3 = j, -3*j = -4*s + 95. Let a be (1 - -1)*(-84)/(-24). Suppose -11*p = -a*p. Solve -w + 0 - 17 = 3*g, -2*g - 5*w - s = p for g.
-5
Let r = -2 + 11. Let u(p) = -p + 12. Let h be u(r). Solve 3*m - 5 + 2 = 4*b, 0 = m - 2*b - h for m.
-3
Let h = 5 + -8. Let n = h + 3. Suppose n*x - 2 = -x. Solve -x*d - 15 = u, 5 = -2*d + d for u.
-5
Let i be 8/(-6)*9/6. Let y(z) = -2*z - 2. Let h be y(i). Solve -h = 2*o + 2*j, -4*j - 11 = -2*o + 17 for o.
4
Let b(w) = w**2 - 3*w. Let q be b(4). Let g be q/(-24) - (-50)/12. Solve -5*v - 1 + 4 = 2*j, -g*j - 6 = -2*v for j.
-1
Suppose 3*v = -2*a + 12, -3*v = 3*a + 2*v - 19. Solve 2*s + m = -a*m - 26, 0 = s + 4*m + 21 for s.
-5
Suppose -5*w = -0*w. Suppose x - 4 = -w*x. Solve 3*j = -j + d + 17, 0 = -x*d + 12 for j.
5
Let l(f) = f + 3. Let b(q) = -q - 1. Let n be b(2). Let u be l(n). Solve 3*a + u*a + 3*r = -15, -15 = 3*a + r for a.
-5
Let q = 3 + 4. Solve -4*u - 8 = 0, -2*z + 3*z = -5*u - q for z.
3
Let w(x) = -x**3 + 3*x**2 + 3*x - 4. Let h be w(3). Let g(l) = -l + 9. Let m be g(h). Solve -7 = -4*j + 3*t, -3*j + 2 + m = -2*t for j.
4
Let a(v) = v - 3. Suppose s - 3*s + 8 = 0. Let x be a(s). Solve 0*i - 4*r = 3*i + x, -3*i + 35 = -5*r for i.
5
Let i = 2 + -4. Let m = 5 + i. Solve -3*w + 0 = m*a - 9, -4*a - 9 = -3*w for a.
0
Suppose 0 = -0*v + 4*v + 24. Let k = v + 5. Let d be ((-4)/(-10))/(k/(-5)). Solve 0 = 5*y - d*c + 23, -2*c = -c - 4 for y.
-3
Let j = 15 - 6. L