e i = -5*o - j, -o - i + 3 = -6*o for o.
-1
Let n be (48/40)/(4/30). Let h be n/9 + 1*-1. Suppose -2*t = 0, 4*j - 21 + 5 = 2*t. Solve 5*o = -d + o + j, 4*d + 2*o + 12 = h for d.
-4
Let w(u) = 3*u**2 + 2*u - 1. Let s be w(1). Solve -1 = -c - s*y + 3, 0 = 5*y for c.
4
Let d be (20/(-12) - -2)*6. Solve 4*m = -4*h + 8, 4*m - 18 = -d*h - 8 for h.
-1
Let b = 13 + 22. Solve c + b = -2*c + 5*w, 5*c + 41 = 4*w for c.
-5
Let o be (-3)/2*(-24)/18. Suppose -o*r + 5 = -r. Solve 3*q - 5*h = r, 2*q = -0*h + 5*h for q.
5
Let d = 25 + -23. Solve -2*n - 10 = m, d*m - 5*m - n - 10 = 0 for m.
-2
Let u(o) = 2*o**2 - 2*o + 2. Let r be u(2). Solve q + 4*g - 3 = r*g, -2*g + 12 = 4*q for q.
3
Let x = -5 - -10. Suppose -x*w + 2 = -4*w. Solve 0 = w*f - 6, 5*f = -3*c + 9 - 3 for c.
-3
Suppose 2*a = -2*i + 3*i - 24, -3*a - 2*i - 50 = 0. Let p be (4/a)/(1/(-7)). Solve g + 3 = p*z - 2, g - 7 = -z for g.
3
Let o = 14 + -9. Suppose 5*w - 37 = -12, o*w = -5*d + 50. Let x(a) = a**2 - 5*a - 6. Let t be x(6). Solve -d*y = -3*y - 4*h - 16, t = y - 3*h - 11 for y.
2
Suppose -5*r = 2*u + 6, 15 = 3*r - 6*u + u. Suppose r = -4*o + 9*o. Solve o = t - 2*t + 4*s - 3, -s + 9 = -3*t for t.
-3
Let y = -2 + 6. Suppose -y*i - i = 70. Let o be 4/6 + i/(-6). Solve -a + o = 2*j - 0, -j = -2*a + 6 for a.
3
Suppose 4*s - 5*q = 86, -5*q + q = 5*s - 87. Suppose -8*y + s = -7*y. Solve -2*h = 4*n - 0 - 2, 2*n - y = 5*h for n.
2
Suppose 2*o + 1 = 2*q + 3, 0 = 2*o + 2. Let t = 5 + q. Suppose 5*l - 4*u - 76 = 0, -2*u - 3*u - 20 = 0. Solve -3*k + k + 6 = t*b, l = -4*b + 4*k for b.
0
Suppose -z + 2*z = 0. Suppose z = -3*x - 3, f - 3*x = -0*x + 5. Solve -3*p - 7 = j, -f*j - 7*p - 10 = -2*p for j.
5
Let f(q) = -q + 5. Let y be f(5). Let c be (y - -14) + (1 - 2). Solve 3*i + v = -c, -2*v = -i - 3*i - 4 for i.
-3
Let u(a) = -3*a + 9. Let g be u(0). Solve -5*j + 8 = 3*d - j, -2*d = -j - g for d.
4
Let b be 6*4/36*(4 + -1). Solve -b*g = 5*t - 33, -5*g = -3*t - 7 + 2 for g.
4
Let c = 11 - 2. Suppose 2*z - 29 = -c. Solve 0 = -5*t - b - 2*b - 7, z = -3*t + 4*b for t.
-2
Let p be (1 + -2)/(3 - 4). Let u be p/3 - 5/(-3). Suppose 4*l + 0*l = 80. Solve -8 = 4*g - 4*c, -u*g + l = 3*c + c for g.
2
Suppose 0 = 5*d + 2 - 17. Suppose -5*n + 22 = -d. Let u(b) = b**2 - 6*b + 5. Let g be u(n). Solve g = 4*c - 4*l + 16, 4*c + l + 4 = 3*c for c.
-4
Suppose 2*h = g - 88, -4*h = -3*g + 89 + 165. Suppose g + 53 = 5*d + 4*l, 0 = d - 2*l - 15. Solve -4*v + 4 = 4*p, 4*v - 5*p + d = 3*v for v.
-3
Let b = 3 + -4. Let q = b - 1. Let f be (q - -3)/(1/5). Solve 4*i - o + 16 = 0, -5*i = o + 4*o - f for i.
-3
Let b be (1/(-2))/(11/(-132)). Solve -3*y + 4*s = 11, b*y = 2*y - s + 17 for y.
3
Let r be -4*3/12*-2. Suppose 2*v = 4*m - 4, r*v = -m - 2*m + 17. Suppose -s - 29 = -2*s. Solve -s = 5*z - 4*l, -4*z - m = 2*l + 15 for z.
-5
Suppose -3*o = 2*c - 51, 0 = -3*o + 1 + 8. Solve -5*q + 0*q + 3*u - 17 = 0, 5*q = 4*u - c for q.
-1
Let f = -22 - -26. Solve 5*u = f*h + 11, 2*h + 8 = 2*u + 4*h for u.
3
Let q = -12 + 16. Solve -5*d - 10 = 2*j, -j - 4*d = q*j + 25 for j.
-5
Let p(l) = l**2 + 4*l - 17. Let c be p(-7). Solve c*z = 3*o - 0*o - 6, -2*o - 3*z - 13 = 0 for o.
-2
Let y = -18 + 20. Solve y*l + 3 = 5*c, -c + 6*c = -3*l + 8 for c.
1
Let u be 10*(4 + (-10)/4). Solve -3*j + 0*j = 3*q - u, 4*j - 8 = -q for j.
1
Let s = -5 + 9. Let f be (-69)/(-9) + (-2)/(-6). Let u be (2 - 2) + (f - 3). Solve 2*g + 5 = -r, 5*g = r - u - s for r.
-1
Let o = -4 + -7. Let n be o/(-3) - 1/(-3). Solve 3*i = 6, n*s - 5*i + 3 = -3 for s.
1
Let g = -8 + 11. Let y(h) = -h - 2. Suppose -2*f - 2*t - 2 = 0, f - 2*t = 2*t - 11. Let k be y(f). Solve 3*i = -g*x - 2 - 1, k = i for x.
-2
Suppose 2*d = 4*s + 3*d - 21, -6 = 2*d. Let w(n) = -n**2 + 8*n - 9. Let u be w(s). Suppose -h = u*h - 12. Solve -h*v = 3*f, -f + 6*v - 12 = v for f.
-2
Suppose 6*m - 18 = -3*m. Solve 5*w = 2*z - 17, 0 = -8*z + 4*z - m*w - 26 for z.
-4
Suppose 2*d + 0*d + 3*o - 10 = 0, -d = 4*o. Solve -3*w - 20 = -2*q, w + d = -0*w + q for w.
-4
Suppose 2*q - 1 = -1. Solve 0*l = -l + 1, q = -2*x + 5*l - 1 for x.
2
Let r be (1/(-2))/((-1)/8). Let a(d) = 2*d**3 - d**2 - 2*d + 2. Let g be a(2). Let f = 20 - g. Solve -q + 18 = 4*s, 0 = -r*s + q + 4 + f for s.
4
Let j(h) = h**3 - 4*h**2 + 3*h - 4. Let v be j(3). Let d = -19 + 28. Let k = d + v. Solve -k*z = -2*n - 31, 0 = -0*z + 4*z - 20 for n.
-3
Suppose 0 = s - 2*d + 3, -5*s - 2*d + 0*d = -21. Suppose 0 = -f + s. Solve f*l - 3*z + 3 = 0, -l + 2*z + 8 = 4*z for l.
2
Suppose s + 2*s - 330 = 0. Suppose -7*o = -12*o + s. Solve -2*b + 4*m = o, 5*b + 5*m - 10 = 10 for b.
-1
Let v = 3 + -1. Suppose -v*r = -6*r + 24. Solve 3*c - 8 = 2*n, c + 2*n - r = 6*n for c.
2
Suppose -3*m - 90 = -3*c, 0 = -2*m - 10 + 2. Suppose c = 3*v - 22. Solve v = 4*f + p, -f - f - 3*p - 2 = 0 for f.
5
Let v be 16/5*(-25)/5. Let s be ((-76)/v)/(2/8). Solve 3*c + 6 = -3*b, 3*c - 4 = -s for b.
3
Let p = 11 + -7. Solve -o - p*n - 17 = 0, -3*o + 4*n + 5 = 2*n for o.
-1
Let b be -1 + (-3 - (2 + -8)). Solve -3*v + 9 = -5*g + b, -5*v + 4*g = -16 for v.
4
Let b(l) = 17*l**2 - 6*l**2 - l**3 - 7*l + 8 - 3*l + 0*l**3. Let g be b(10). Solve -2*d + g = q + 3*d, -5*d - 4 = -3*q for q.
3
Let k = 2 + 0. Solve k = i + 2*o, 4*i - 10 = -i - 5*o for i.
2
Suppose -5*w = -9 - 86. Solve -3*h = -g + h + 16, -4*g + w = -h for g.
4
Suppose -5*w + 13 = -12. Solve -o - 4 = w*c, 5*c - 5*o = -7 - 3 for c.
-1
Suppose -b = -2*b + 3. Suppose b*l = l + 16. Solve -2*t = -5*z + 28, 3*z - 8 = t + l for z.
4
Let o(z) = -z. Let c(r) = -r**2 - 10*r + 4. Let d(b) = -c(b) + 3*o(b). Let m be d(-8). Solve 3*u + 4*v = -21, m*v = -3*u + 7*u for u.
-3
Let m(g) = g**2 - 3*g - 6. Let r be m(7). Suppose -4*b - 2*c = -r, -2 - 1 = -c. Solve w = b*u - 0*u + 4, -5*u - 22 = 3*w for w.
-4
Suppose -q - q + 44 = 0. Let x = 5 - 3. Solve -h + 3*l - 12 = 0, -4*h + 0*l = x*l - q for h.
3
Suppose 1 = -b + 2. Solve 5*i = 5*r + 15, 0*r + b = r for i.
4
Suppose 2*a = 4*a. Let t = 29 - 27. Solve 3 = -t*z + h, 0 = -a*z + 2*z - 4*h - 6 for z.
-3
Let l(d) = -3. Let p(m) = m + 5. Let c(v) = -5*l(v) - 3*p(v). Let x be c(-1). Let a be 30/(-4)*(-2)/x. Solve -5*f - 2 = k, 5*f + 5*k = -a - 5 for f.
0
Suppose 5*i = 2*m + 23, -19 = -0*m - 4*m - 3*i. Suppose -3 = -3*d - 2*d + 2*p, 5 = 3*d - 2*p. Let j = m + d. Solve -v + u - 2 = j, -2*v + 5*u = -4*v + 10 for v.
0
Let y(i) = i**2 - 2*i - 1. Let r be y(5). Solve 1 = j, -3*l - 2*j = l - r for l.
3
Suppose 4*o - 7 - 13 = 0. Let t = -2 + o. Let m(c) = c**2 + c + 4. Let u be m(-3). Solve -u = -3*k - k + 3*g, 3*k - t*g - 9 = 0 for k.
1
Suppose -2*u + 126 = 4*u. Solve 5*w = 3*r + w + u, 3*w - 9 = 0 for r.
-3
Let i(y) = y**2 + 4*y - 1. Let j be i(-5). Let b = 9 - j. Solve -3*p - p - b*k = 5, 2*k = p + 11 for p.
-5
Suppose 6 = 2*g + 2. Solve -4*x = d + g*d + 14, 2*x - 4 = 4*d for d.
-2
Let y(q) = -q**3 + 11*q**2 + 15*q - 30. Let g be y(12). Solve -3*l - 4*o - 1 = 0, 3*o + g = -l + 4*l for l.
1
Let h(p) = -2*p**2 - 5*p - 4. Let c be h(-4). Let d be ((-9)/(-12))/((-2)/c). Solve -i = 5*m + i + d, -m + 4 = 3*i for m.
-2
Let n be (-48)/36*(-30)/4. Solve h + 5*c + 28 = 0, 5*h + c - 6*c = n for h.
-3
Let p = 7 + 5. Suppose -53 = -j - 4*s - 21, -4*s = -p. Solve 4*w = -y + 5*y + j, w - 5 = -y for w.
5
Let b = -11 - -20. Suppose q = 4*q - b. Suppose -5*f = 5*o - 4 - 106, -4*o - 5*f + 86 = 0. Solve q*j + 9 = -w, 8*j - 5*j - 4*w + o = 0 for j.
-4
Suppose -9 - 9 = 2*j. Let l be (j/6)/((-9)/24). Solve l*k + 0*k - 1 = -s, 5*k = 5*s - 5 for k.
0
Suppose 0 = -2*x + 5*x - 15. Suppose v = 2*v + 5. Let i = -1 - v. Solve 20 = -3*u - x*o, -4*u + 12 = o - i*o for u.
0
Let t = -2 - -5. Let b = t + -3. Suppose 0 = -5*l - 5, -7 = -3*h - 2*l. Solve h*m = 3*c + 4 - 10, b = -3*m + c + 4 for m.
3
Suppose -5*m - 10 - 18 = -4*q, q + 3*m + 10 = 0. Solve -q*y = -5*w + 22, -w + 6*y = 5*y - 5 for w.
4
Let g be 2/2 - -3 - (-6 - -7). Solve -y + g = 5*p, -2*p - 3 = -3*p + y for p.
1
Suppose 18 + 7 = 5*n. Suppose -r = 3*s - 18, -3 = -n*s + 12. Suppose h = 6*h + x - 36, -r = -h - 2*x. Solve 9 = 3*i - h*i + b, -2*b = 2*i + 2 for i.
-2
Let v = -32 - -34. Solve 0 = 5*b + 4*o + 40, 5*b - v*b + 32 = -4*o for b.
-4
Suppose -5 - 5 = -5*m. Solve 3*a - 10 = -2*d + 5*a, m*d + 4*a = -8 for d.
2
Let q = 1 - -3. Suppose -13 = -2*d + 3*d. Let c = d - -13. Solve -18 = -l - 5*i, 4*l - 8 =