ve y - 3*u = -4, w = 2*y + o*u + 7 for y.
2
Let k(p) = -p**2 + 2. Let i be k(0). Suppose 2*z - 8 = 2*a, i*a - 4*a - 3*z + 12 = 0. Solve 3*y + a*y = -g + 4, -y = 5*g - 20 for y.
0
Suppose -5*a = -a + 16. Suppose 7 + 23 = 5*j. Let y = j + a. Solve -g = -3*g + c - 1, -16 = 2*g + y*c for g.
-3
Suppose -w - 4*z = 11, z = -5*w - 3*z - 7. Let l be 0/4 - (-3 - w). Suppose 3*o - 21 = 3*q, 2*q + 8 = l*o - 10. Solve t - 6 = o*n, 3*n - 3*t + 6 = 3 for n.
-5
Let n = -4 + 6. Let x be (2/(-6))/(n/(-12)). Solve -x*k - 2*h = h - 9, 11 = 3*k + 4*h for k.
-3
Let z = 14 + -10. Solve -z = -x, -2*d + d + 3*x - 17 = 0 for d.
-5
Let v be (-2 + 3)/(9/8 + -1). Solve -17 = -2*i + a - 4*a, -a + v = 3*i for i.
1
Let z = -21 + 5. Let q = z + 18. Solve -q - 2 = -5*g + 4*y, -5 = 5*y for g.
0
Suppose -3*u - 120 = -13*u. Let i be 1*3/((-6)/(-8)). Solve -3*t - u = t, 3*n + i*t + 18 = 0 for n.
-2
Suppose t - 11 = -2*n, -2*n + 5*t = -5*n + 34. Solve w + 2 = 5*q - 5, -n*w - 4*q + 17 = 0 for w.
3
Suppose -3*q = -y, 8*y = 3*y + 4*q. Suppose t + t - 8 = y. Let h = 5 - 1. Solve -h*l = t, -3*l = -4*r + 5 - 2 for r.
0
Suppose -3*t + a + 2 = -10, -4 = -t - a. Solve -3*q - 12 = -t*h, -2*q + 4*h - 8 = -0*q for q.
-4
Suppose s = -8 + 4, -12 = 2*r + 5*s. Solve -1 = r*g - 5*m, 5*g + 3*m - 9 = -m for g.
1
Suppose -6*h + 0 = -12. Let s be (1/5)/(2/10). Let p be 5/3 - s/(-3). Solve r + 0*r = m + p, h*m - 5*r = -16 for m.
2
Let i be (-4 + 0 - -7) + 0 + 0. Solve -i*m + 4*q = q, q = 2*m + 1 for m.
-1
Suppose -3*s - 21 = -3*j - s, 14 = 2*j - 5*s. Solve 0 = z - 3*u, -u = 2*z - 0*u - j for z.
3
Let t = 18 + -12. Let z be (t + -9)*2/(-3). Solve -i + z = -c - 0, 0 = -2*c + 3*i - 6 for c.
0
Let o be -7*3*8/(-12). Let b = o + -10. Solve b*d = -c - 18, -5*c = d - 2*d - 15 for c.
2
Let v(i) = -i - 3. Let n be v(-3). Let k = n + 2. Suppose -d = 3*d - 3*u - 18, u = 3*d - 11. Solve 0 = d*g + 2*g - z + 6, 4*g = -k*z - 2 for g.
-1
Suppose -i + 0 = -3. Suppose -3*m + i = 5*b - 22, -b + 4*m = -5. Let l = -6 + 11. Solve -b*d = l*g - 40, 2*g = -2*g + 5*d - 4 for g.
4
Suppose -3*d + 21 = 2*q, q - 2*d + 0*d = 14. Let n = 0 + q. Solve -1 = -3*x + 4*m + 3, 3*m = -n for x.
-4
Let l(j) = j + 4. Let p be l(0). Solve -4*m - 2*o + 7 = m, -p*m - 3*o = 0 for m.
3
Suppose -2*l = -0*l - 6. Suppose 0 = 3*d - l - 9. Solve 2*n - 6*n - 4*i - 8 = 0, -n = d*i + 2 for n.
-2
Let i(h) = -10*h + 5*h - 3 + 7. Let m be i(-4). Solve -m = -4*y + 4*n, 0 = 3*y - y - 3*n - 16 for y.
2
Let l = -95 - -99. Solve 3*w = -t + 12 - l, 2*w - 9 = 3*t for t.
-1
Suppose 0*z + 5*z = 55. Let a = -2 - -5. Let r = 6 + -4. Solve -5*t + 1 = 2*k - k, r*k = a*t - z for k.
-4
Suppose o = 4*v + 1 + 17, 2*o + 8 = -3*v. Let m(k) = k**2 - 2*k + 3. Let n be m(o). Solve z + 3*h - 9 = 0, 4*h - 3 = -5*z + n*h for z.
0
Let x = -4 - -7. Let k be x*(-3)/(-3)*-2. Let a be (-10)/(-8) - k/(-24). Solve -4*i + 17 = -2*o - a, -5*o = -3*i + 10 for o.
1
Let f(g) = 6*g**2 - g. Let a be f(-1). Let l = a - 1. Solve -j - 2*z - l = 0, -2*j = -3*z + 4 - 27 for j.
4
Suppose 0*k + 10 = 5*k. Solve -4*j - 4 = -k*f, 11*f - 6*f + 5*j = -20 for f.
-2
Suppose 3*s + 15 = 0, -4 = -u + 5*s + 25. Suppose -u*h = -8*h + 28. Solve -h*q - 5*l - 16 = -3*q, 3*q + 4*l = -12 for q.
-4
Let j = 29 - 9. Let u be 3/6 - j/(-8). Solve -3*k + 1 - u = n, 0 = k for n.
-2
Let l be -1*(6/(-4) + 6/4). Suppose -5*r = -20 - 0. Solve 0 = -r*o + 12, -3*t - 2*o - o = l for t.
-3
Let h(n) = 4*n - 6. Let l be h(6). Let v(i) = -i**3 + 4*i**2 + 9*i - 24. Let k be v(2). Solve 5*p + 2*z = -5, l = -p + k*z + z for p.
-3
Let s be (-1)/(-2) - 14/(-4). Let t be 2 - (s + -4 + -1). Solve 0 = -3*f + 2*d + 7, -t*f + 0*d - 2*d = 1 for f.
1
Suppose 4*q - 3 = 9. Solve -4*d = 2*o - 6, 0 = 4*d + q*o - 2 - 9 for d.
-1
Suppose -2*z = -11*z + 27. Let i(v) = -v**2 + 7*v - 6. Let c be i(4). Solve -4*q - z*m = -c, -m + 8 = 4*q + 3*m for q.
0
Let v = -72 + 90. Solve 3*i - 2*i + 5*y + v = 0, -2*i = 5*y + 21 for i.
-3
Suppose -2*v + 26 = -3*k, 3*k + 65 = 6*v - v. Suppose 0 = -4*y - 12, -w + 3*y - v = 8*y. Solve 15 - 3 = 4*c, -3*x - 3 = w*c for x.
-3
Let y = 3 + 2. Solve -y*u - 4*x = -20, -1 + 13 = 3*u - x for u.
4
Suppose -q + 9 = 3*i, 4*q - 3*i = -8*i + 22. Suppose 64 = 3*t - 4*k, -3*k = q*t + 2*t - 126. Solve c + 5*v - t = 0, 26 = -c + 5*v + 10 for c.
4
Let c = -20 - -23. Let v be ((-3)/3 + 1)/1. Let k(o) = -o. Let w be k(v). Solve 0 = c*z + 2*q + 13, 2*z + w + 9 = -q for z.
-5
Let k(d) = -d. Let p(z) = -z**3 + 5*z**2 + 9*z. Let u(o) = -3*k(o) - p(o). Let r be u(6). Solve -6 = -5*i + 2*a, r*i + 5*i = a + 3 for i.
0
Let n be -1 + 4/(4/5). Let a be ((-10)/6)/(2/6). Let b = 25 + a. Solve -n*k - b = 0, y - 2*k = -k + 4 for y.
-1
Suppose -4*x + 24 + 8 = 0. Suppose -11 = x*z - 9*z. Suppose -f + 3*t = -2, 2*f - 2 = f - t. Solve d + z = -2*k, 4*d + f*k - 1 = -27 for d.
-5
Suppose -5*t + 5*z - 3*z + 16 = 0, -3*z + 26 = 5*t. Suppose 0 + 4 = 4*w. Let g = t - w. Solve 1 = 4*n + g*s - 1, 0 = 3*n + s - 4 for n.
2
Let g(y) = 13*y - 3. Let i be g(2). Suppose -8 + i = 5*c. Solve -c*k + 0 = -p - 1, 0 = -k - 1 for p.
-4
Suppose 0 = 7*h - 3*h + 52. Let d = 17 + h. Solve 4*o = -0*o + d*i - 28, -5*i + 10 = 0 for o.
-5
Suppose 4*n - 8 = -4*x, 2*x - 7*x = -3*n - 2. Solve -3*v - 9 = 4*z, -11 = 4*z + n for v.
1
Let m(u) = -3*u - 5. Let g be m(-5). Let d = 4 - g. Let k be 30/8 + d/(-24). Solve 2*l = -x - 7, -5*x + k*l - 9 = l for x.
-3
Suppose 4*n = -2*m + 76, -7*m + 3*n - 71 = -9*m. Solve 8*c = 3*d + 3*c + 22, 3*d + 5*c - m = 0 for d.
1
Suppose 0 = -g + 6*g + 5. Let l = g - -9. Suppose l + 4 = 3*p. Solve -4*n - 2 = -o - 9, 0 = 2*n - p*o for n.
2
Let p(s) = s**3 - 3*s**2 + s + 1. Let x be p(1). Solve 2*m + 2*k = 4*m + 2, x = 4*m - 3*k + 5 for m.
-2
Let o be 4/(-8)*(1 - 1). Solve o = -d - r, -5*d + r = 51 - 21 for d.
-5
Let r(d) = d + 10. Let b be r(-9). Suppose 2*g = -b + 7. Suppose -10 - 5 = -g*q. Solve q = i, -2*i = -t - 11 - 1 for t.
-2
Suppose n - 4 = 2. Suppose -8 = -5*m + 3*s, -3*s = -3*m + n*m - 24. Suppose 4*w + v = 4*v + 48, m = v. Solve w = 5*h, -3*h + 35 = 4*z + 2*h for z.
5
Let y = 67 - 57. Solve 0*b - y = -5*j - 2*b, -3*j + 7 = b for j.
4
Let x = 7 + -5. Let a = 3 + x. Suppose 0 = a*q - 16 - 4. Solve -q*b - 5*k + k = -12, 4*b = k - 8 for b.
-1
Let l be -1 - 2*7/(-2). Let f be (-2)/(-7)*(1 + l). Solve -14 = 2*z + f*a, 2*a = z + 4*z + 7 for z.
-3
Let n(d) = 3*d + 17. Let h(w) = -2*w - 11. Let y(k) = 8*h(k) + 5*n(k). Let q be y(-5). Let c = 10 + -10. Solve -a + 14 = -5*b - 7, c = q*b - 3*a - 2 for b.
-5
Let k = -22 - -57. Let h = -16 + k. Let p = -2 - -7. Solve 1 = -r - 4*r - b, -p*b + h = r for r.
-1
Let d(v) = v - 8. Let m be d(11). Solve 3 = -m*r - 0*f - 3*f, -3*f = -2*r + 8 for r.
1
Suppose q + 2*u = 11, -5*q - 5*u + 23 = -4*q. Solve -2*v = 2*o - 3 - q, -2*v = -4*o + 12 for o.
3
Let i = 0 - -4. Suppose -i = -2*j, -4 = 5*r - r - 4*j. Solve p = 3*p + n + r, 0 = 4*n + 12 for p.
1
Suppose 2*f = -0*f + 8. Let l be 4/6 - 350/(-15). Let w(d) = -d + 18. Let o be w(0). Solve p - q - 4*q - o = 0, 4*p + f*q = -l for p.
-2
Suppose l - 2 = 0, 3*l + 3 - 48 = -u. Solve -4*g = 2*b - 2, -4*b - u + 10 = -3*g for g.
3
Let x(f) = -5*f - 24. Let q be x(-8). Solve 4*n - s = -4*s + q, 5*n - 20 = 4*s for n.
4
Suppose 0 = -5*d + 5*v + 10, 2*v = 5*v - 9. Suppose d*h - 12 = 3. Solve o = 4*m + 16, o + 16 = -h*o for m.
-5
Suppose 4*x + 4*u + 9 - 53 = 0, 0 = u. Let y = -7 + x. Solve -2*n + l + 1 = -4*n, 3*n - y*l + 7 = 0 for n.
-1
Suppose 0 = 4*c - 6*c + 8. Suppose -4*t = -2*a + 16, 3*a + c*t + 16 = -2*a. Solve -5*s = 2*v - 1, -5*v - 5*s = 5 - a for v.
-2
Let s = 11 + -9. Suppose s*h - 9 = -h. Solve 2*l + 4 = -2*n, -5*l - h*n + 10 = -2*n for l.
3
Let n(g) = -15*g - 4. Let o be n(-3). Let i be (-3)/6 - o/(-2). Suppose 0 = -4*z + 4*v - 2*v - 10, 4*v = 2*z + i. Solve -2*j = k + 4 - z, -3*j - 9 = 0 for k.
2
Let v(p) = -p**2 + 14*p + 16. Let a be v(15). Let l be -1*(-4 - a/(-1)). Solve -20 = -0*g + l*g + 4*c, 16 = -5*g + 2*c for g.
-4
Suppose 4*v - 2*j = 20, v - 4*j = 2*v - 23. Solve -2*h - 4*t = -4, 0 = 4*h + 5*t - v - 1 for h.
2
Let y = 20 + -2. Solve -1 = 2*p - d, -2*p - 4*d - y = p for p.
-2
Let o = -3 - -5. Suppose o*u - 12 = -u. Solve 0 = -3*p + u*k + 7, -p + k = -1 - 2 for p.
5
Let k(b) = b**2 + 11*b - 8. Let o be k(-12). Solve -2*t = -3*t - 4*n - 19, 0 = 4*t + o*n + 28 for t.
-3
Suppos