*x - x - 3*i - 8 = 0 for x.
1
Let c = 132 + -130. Solve 0*i - c = 2*i + 4*j, -2*j = -i - 9 for i.
-5
Let y be 0/(-1*(1 - 0)). Let p(l) = l**2 + 2*l - 3. Let u be p(3). Suppose 3*x - u + 0 = y. Solve 16 = 2*z - 4*z + 2*a, -x*z - 28 = -3*a for z.
-4
Let g be 0/1 - 8/(-2). Solve 0 = -5*x + 2*a + 1, g*x = a + 4 - 2 for x.
1
Let k = -6 + 10. Solve -k*d + 16 = -q, 4*d + 5 = q + 7*d for q.
-4
Suppose 2*o - 161 = -5*m, -4*o + 223 = 2*m - 107. Suppose 5*y = o + 22. Solve -f + 0*f + 5*s = y, 4*s = f + 16 for f.
4
Suppose -4*g - 4*f = -8, 4*g + 5*f = 3 + 7. Let y = g + 0. Solve -q - 18 = -4*a, y = -q - 2*a + 10 + 2 for q.
2
Suppose -9 = -r + 8. Solve -n - 2 = -5*x - r, 2*x + 4 = 0 for n.
5
Let f be (-64)/(-20) - -3*16/60. Solve -f*c - 3*z = 16, 3*c = -2*z + 4*z - 12 for c.
-4
Let r(p) = -2*p. Let z be r(-3). Let d be (-1 - (2 - 1)) + z. Suppose 3*v - 17 = d. Solve 0 = 5*h - c + 21, -5 - v = 3*c for h.
-5
Suppose -5*q = -3 - 7. Solve -5*n - i = 7, 3*i + q*i = 15 for n.
-2
Let f(b) = 15*b - b**3 + 2 - 4*b**2 - 11*b - 3. Let h be f(-5). Solve 2*z = -5*a + 3 - h, -z + 2*a - 5 = 0 for z.
-3
Suppose -2*w + n = 8, 0*n = 2*w - 4*n + 2. Let o(m) = m**2 + m - 3. Let k be o(3). Let v = k + w. Solve v*c = -g + 15, c - 2*g + 3 = -0*c for c.
3
Suppose -3*f - 3*p + 18 = 0, -5*p + 6 - 1 = 0. Solve -3*h + 5 = -2*u - 3, 0 = -3*u - f*h - 12 for u.
-4
Let m(n) = -2*n - 8. Let o be m(-6). Suppose 21 = 5*s - 9. Let d be 546/22 - s/(-33). Solve -o*r - y = -0*r + 20, -d = 5*r - y for r.
-5
Let d be (-26)/247 + 344/19. Solve 0 = -4*p - 3*k + 7*k + 8, -3*k + d = 3*p for p.
4
Let j = -10 - -12. Solve -2*n + 3*s - 24 = -5*n, -4*n + j*s + 2 = 0 for n.
3
Let s = -2 + 4. Suppose 5*a - 45 = -3*w - s*w, -4 = 2*w. Solve 4*c - 28 = 2*o, -c - 4 - a = 5*o for c.
5
Let s be (4/6)/(-2) - (-336)/144. Solve 2*o = -g, -2*o = -4*o - s for g.
2
Suppose 0 = -3*i + 4*i - 4*i. Solve 0*f - 2*f - 2 = -c, -3*c = i for f.
-1
Suppose 0 = 5*h - 2*h. Solve 0 = 4*r + 4, 2*r = 4*d - h*r - 6 for d.
1
Suppose -5*d + 16 + 4 = 0. Let l be (19/((-38)/12))/(-3). Let x be (-2)/((-1)/(-3) + -1). Solve -l*f - 6 = 3*w, x*w = -w + d*f - 8 for w.
-2
Suppose -6 = -3*z + z. Solve 5*o - 25 = z*h, h + 3 + 4 = o for o.
2
Suppose -3*h = -2*m + 3, 4*m - h + 1 = 12. Suppose -3*g - 10 = 2*g. Let w(r) = r + 3. Let k be w(g). Solve 4*t - m*b = -14, -t + b - k - 2 = 0 for t.
-5
Suppose -4*x - 7 = -5*c, -3*x + x = -5*c + 11. Suppose 15 = 4*w - 17. Suppose -5*h + 132 = 112. Solve x = -h*t + m, t - 3*m + w = m for t.
0
Let o be (39/(-21) + 3)*7. Solve -r = 3*t + o, 5*t + 15 = 5 for r.
-2
Let u(p) = -p**2 - 12*p - 15. Let z be u(-10). Suppose -z*i = -i - 8. Let j be 78/9 - i/(-6). Solve -4*x + j = 3*b, -2 = -2*x + x - b for x.
3
Let w(i) = i**2 - 8*i + 1. Suppose -5*t + 34 = 3*k, -3*t - 3*k + 4 + 14 = 0. Let a be w(t). Solve 4*p + 2*f = -12, 4*p + 4*f = a - 5 for p.
-5
Let v = 9 + 6. Suppose -3*s + v = -3*x, x - 3 = -5*s + 10. Suppose -s*q - 25 = -5*n - 4*q, -2*n - q = -13. Solve 0 = -2*z + r - 9, -4*z + 5*r - 15 = n*r for z.
-3
Suppose -4*t = -0*t - 24. Solve 3*h - z - t = 2*z, -5*z = -2*h - 5 for h.
5
Let o(w) = 12*w**3 + w. Let c be o(1). Let n = 13 - c. Solve -3*y + 7*y + 5*u + 8 = n, -2*u = -y + 11 for y.
3
Let d(x) = x**2 - 15*x + 18. Suppose -z + 4 + 10 = 0. Let p be d(z). Solve -5*o + 5 = -3*h, -p*o - 5*h = 6 + 27 for o.
-2
Suppose 11*t + 9 = 14*t. Solve -p - t*p = -4*m - 32, -4*p = m - 7 for p.
3
Suppose -5*f + 7*f = 0. Solve k = -2*k - 3*z + 15, -5*k + 4*z + 25 = f for k.
5
Let q(p) = -p**2 + 3*p + 4. Let b be (18/(-4))/(-3)*2. Suppose t = 2*c - 5, b*c - 4*c - 2 = -2*t. Let x be q(c). Solve -14 = -2*v + 3*r - x*r, 5*r = -10 for v.
4
Let d = 31 - 27. Suppose 5*y + 12 = -2*v, 0 = 5*v - 4*v + y. Solve d*i - 17 = -2*j + 1, 0 = -v*j - i + 22 for j.
5
Let x be (-1)/(-2 - 11/(-5)). Let y = 9 + x. Let g(i) = 8*i. Let m be g(2). Solve 2*t = -y*f - m, 16 = -4*f + 2*f - 3*t for f.
-2
Let q = 61 - 56. Solve q*i - 8 = 2*i + 4*p, 0 = -p - 2 for i.
0
Let k = 42 - 37. Solve 6*g - 2*g + k*q = 27, -3*g - 4*q = -21 for g.
3
Suppose 2*q - 9 = -q, 4*q - 6 = 3*m. Solve 2*d = 2*l - 18, -2*d = m*d - 3*l + 31 for d.
-4
Let d = -22 - -25. Solve 5*w + 2*v = 3, 1 = -2*w - 0*v - d*v for w.
1
Let k = -4 - -13. Suppose -3*l + k = -3. Solve 0*w + 4*w = -4*u + 20, l*u - 4 = 0 for w.
4
Suppose -2 = 2*q - 6. Let p(l) = 3*l**2 - 2*l + 1. Let j be p(q). Suppose -r + 5*r - 16 = 0. Solve r*k - 5*i - 14 = 0, -j = -3*k + 4*i - i for k.
1
Suppose 5*z - s - 172 = 2*s, -s = -3*z + 100. Solve 4*r = 2*w - 8, 5*r - w + z = -4*w for r.
-4
Let c be ((-6)/(-24))/(5/60). Solve r - 2*r = 4*x - c, 3*x = 5*r + 8 for x.
1
Let j(d) = -d**2 - 17*d - 21. Let u be j(-15). Solve -f = 4*f + 4*g - u, -3*g = -4*f + 1 for f.
1
Let a(q) = -11*q - 19. Let k be a(-2). Solve 2*r + 10 = 5*c + k*r, -3*r = 5*c - 10 for c.
2
Let v = 36 - 32. Solve -v - 5 = -a + 4*g, g + 4 = 2*a for a.
1
Let s(m) = -3*m - 4. Let l be s(-3). Solve 0 = 5*d + 2*g - 5*g - 18, -3*d - l*g = -4 for d.
3
Let l = 3 - 1. Suppose -a = -3*a - 8. Let c = 6 + a. Solve -27 = -3*d + 5*u, -l*d + 28 = c*d - 4*u for d.
4
Let p(u) = -5*u - 8. Let f be p(-2). Solve -2*n = -0*n, -a - f = -5*n for a.
-2
Suppose 0 = 4*r - 2*s - 20, -2*s = -6*r + r + 25. Suppose -r*a = -4 - 11. Solve 0*q - 2 = 4*m - q, -6 = -a*m - 3*q for m.
0
Suppose 2*j + 5*x + 97 = 0, -5*j + 2*x - 5*x = 195. Let n be (-482)/(-18) + (-8)/j. Let u = n + -18. Solve 3*h = -5*q - u, -2 = -3*h - 2*q - 11 for h.
-3
Let v(f) = f**3 + 8*f**2 + 6*f - 6. Let y be v(-7). Solve 2*k + y = -u, 4*u - 13 = k + 2*u for k.
-3
Suppose 2*p = -2*p - 2*q + 10, -p + 7 = 5*q. Suppose 2*z + p*z = 12. Solve 0 = 2*y - g + 9, -y - 25 = z*y + 5*g for y.
-5
Suppose 4*d = 3*d - s - 2, 0 = 4*d - 5*s - 37. Suppose -10 = -d*f + 5. Solve -2*k = f*n - 20, 0*n - 20 = -5*n - 5*k for n.
4
Let v(g) = g - 7. Let a be v(11). Solve n - 3*t = -0*n + 3, 0 = n - 4*t - a for n.
0
Suppose 4*v + 2 = 10. Suppose -44 = -6*s + v*s. Let u be 2/9 - (-25)/9. Solve u*l = b, -3*b + 5*l + s = -5*b for b.
-3
Suppose q - 5*q + 8 = 0. Suppose -f = q - 5. Solve 4*r - 7 = x + 15, f*x = 2*r - 16 for x.
-2
Let m(d) = -d**3 - 9*d**2 - 8*d + 10. Let x be m(-8). Solve 0 = -3*q + 5*r + 7, -x = -0*r + 5*r for q.
-1
Let d(u) = -u + u**3 + 0*u**2 + 2 + 2*u**2 + 0*u**2. Let q be (-1)/(-2) - (-10)/(-4). Let a be d(q). Solve -g + 0*k + a*k = -1, k = 1 for g.
5
Let w(g) = -2*g + 4*g - 3*g - 5 - g. Let b be w(-5). Solve -4*f = -2*j + 8, -3*f + b*j = -0*f + 6 for f.
-2
Let b = 24 - 12. Suppose a - 29 = -3*f, 3*a + 4 = 3*f - a. Suppose 0 = -4*i + f*i - b. Solve -4*m + 5 = -2*o - i, -o - 13 = -5*m for o.
2
Let i be (-6)/21 + (-172)/(-14). Suppose 4*t = 4*k - 2*k - 6, 4*k - i = -3*t. Solve 4*n = k*y + 1, -2*n + y = -4*n - 7 for n.
-2
Let o(g) = -3*g - 10. Let d be o(-7). Solve -5*p - 4*q - 11 = 0, 3*q + 1 + d = 0 for p.
1
Let h(a) = 6*a - 4. Let d be h(1). Solve 2*t + 6 = -d*u - 2, 0 = -4*t - 8 for u.
-2
Let h(s) = -s + 1. Let a be h(-1). Solve 5 + 0 = 3*j + a*w, 5*j - 5*w - 50 = 0 for j.
5
Let q = -2 + 8. Suppose 3*h = -4*c, q*c = 5*c - 2*h. Solve 1 = -3*d - p - 4, c = 4*d - 3*p - 15 for d.
0
Let i(b) = 6*b - 20. Let h be i(4). Solve 18 = z + 4*m - 1, 4*z - h*m + 24 = 0 for z.
-1
Suppose -t + 26 = t. Let k = 76 - 42. Suppose 5 + 23 = 2*r - 4*a, 5*r - k = a. Solve -v + 4 = -r*v + 3*f, t = -2*v + 5*f for v.
1
Suppose -3*a + 5*a = -5*f + 26, 0 = 4*a - 12. Solve -f*z + 4 + 4 = 2*p, -4*z + 2*p = 0 for z.
1
Let y(c) = 3*c - 1. Let m be y(7). Suppose 4*j = -m, -4*j + 17 = -2*p - 9*j. Solve -4*g = p*b - 20, 0*g + 2*g = b - 5 for b.
5
Suppose 0 = 4*w - 9*w + 350. Suppose 3*h + 2*q - w = -h, 3*h + 3*q = 51. Let v be 40/h - (-6)/(-27). Solve -v*l + k = 0, 8 = 3*l - l - 3*k for l.
-2
Suppose 2*w + w = 15. Solve -5*s = -w*r + 5, 7*s = -3*r + 2*s - 29 for r.
-3
Let a(l) = 2*l**2 + l + 2. Let y(g) = -g**2 - 2. Let z(r) = 3*a(r) + 4*y(r). Let k be z(-3). Solve 5*p - 6*f + 2*f + 30 = 0, f - k = p for p.
-2
Let p = 97 + -68. Suppose 2*n - 1 = p. Suppose 2*f + 6 = 0, 0*v + 4*v = -2*f - 6. Solve 5*d - 2*a + 10 = v, a - n + 0 = 5*d for d.
-4
Let y(j) = j**2 + 12*j + 4. Let k(d) = -12*d. Let i be k(1). Let m be y(i). Solve -m = -6*b + 4*b + 2*s, -4*s = 4*b - 32 for b.
5
Let h be 3 + -2 - (1 - 4). Let l(b) = b**2 - 13*b - 9. Let o be l(14). Solve o*n + 8 = 4*p, -h*p 