-2, 2*u + g = -0*u + m for u.
-2
Let u(x) = -x + 12. Let i be u(8). Suppose -3*d - 5*l + i - 9 = 0, -d = -l - 1. Solve -m + 5*q + 5 + 4 = d, 2 = -4*m + q for m.
-1
Suppose 14*d = 10*d + 28. Let j(i) = i - 4. Let v be j(d). Solve q - 2 = x - v*x, -q + 7 = -3*x for q.
4
Suppose -4*j + 4*q = 2*q - 16, -4*q - 16 = 0. Solve -j*y + 5*y = -3*w + 9, 5*y = -10 for w.
5
Suppose 0 = w + 4*w - 35. Let p = w + -2. Let d be ((-2)/p)/((-4)/20). Solve x = -f + 4, d*x - 6*x = -5*f + 2 for f.
2
Suppose -11*j + 21 + 12 = 0. Solve 5*w - 35 = 5*g, -8*w + g + 23 = -j*w for w.
4
Let p(z) = 6 + 2*z**2 - 4*z - 3*z**2 - z. Suppose k + 5 = -1. Let a be p(k). Solve -3*d + 2*d = 5*y - 5, -2*y - 5*d + 2 = a for y.
1
Let a(k) = -k**2 - 7*k + 13. Let p be a(-8). Solve p*f - 24 = -4, 2*v - f = -4 for v.
0
Let t(d) = -d - 4. Let w be t(-4). Let s be (0 - -2) + 3 + 0. Suppose 2*o - 1 = 3*v - 0*v, o = -3*v + s. Solve -10 = 4*j - 4*p - o, w = p - 4 for j.
2
Let w be (-4)/(-6) + (-6)/9. Suppose 8*l + 48 = 16*l. Solve 4*v - 2*b + l = -w*b, -3*v + 18 = 3*b for v.
1
Suppose -2*t = -3*v + 2 - 5, 0 = 4*t + 5*v + 5. Let f be (-4 - 420/(-49)) + (-8)/14. Solve f*j - y - 14 = t, 2*j = -4*y + y for j.
3
Let i(y) = -y**3 + 5*y**2 + 10. Let t(k) = -k - 1. Let m(f) = -i(f) - 3*t(f). Let h be m(5). Solve 2*b = -0*p + 4*p - h, 5*p + b + 4 = 0 for p.
0
Let v = -54 - -63. Solve 5*s = 3*c + 8, -4*s + 7*c = 2*c - v for s.
1
Let q be -2 - (2 - 7/1). Suppose 3*o - 4 = 11. Suppose -2*z = -l - o, 5 - 16 = -5*z + 3*l. Solve q*y - c - 6 = -5*c, -z*y = -4*c + 20 for y.
-2
Let a be 330/21 - -3 - (-6)/21. Solve -4*g + 3*o = g - a, 0 = -4*g + 5*o + 23 for g.
2
Suppose k - 21 = -3. Let f be k/12 - (-2)/4. Solve -f*h + 7 + 5 = -a, -2*a + 3*h - 20 = 0 for a.
-4
Let w(o) = o - 2. Let y be w(3). Let v be 1*-8 - (0 - y). Let s(c) = -2*c - 9. Let a be s(v). Solve -5*x - a*k = -2*x, 5*x - 19 = -2*k for x.
5
Let z be 3/(-18) - (-47)/(-6). Let k = -6 - z. Solve -2*q = -2*c - 0*c - k, 0 = 5*c + 15 for q.
-2
Suppose 10 = 2*q, -6*q + q = 5*o - 20. Let k be o/2*0/(-2). Solve c - 4 = 3*c + w, 3*w = k for c.
-2
Let d(j) = j**2 + 9*j + 26. Let t be d(-8). Solve -4*g + 8 = 3*y - 0*g, -4*y + 2*g = -t for y.
4
Let y be (2 - 3)/(2/(-30)). Let k(s) = s**3 - 8*s**2 - 18*s - 15. Let j be k(10). Solve 0 = -3*f - 15, -j*g + 2*f - y = f for g.
-4
Let a(k) = -k**3 + 6*k**2 + 7*k + 3. Let n be a(7). Solve f + 3*u + 3 = 0, f - 8 = -n*f - 2*u for f.
3
Suppose 0 = -5*z + z + 5*f + 25, 3*f = -3. Solve -2*s + 0*s - 10 = -4*h, 2*s - 26 = -z*h for s.
3
Suppose 0 = -2*m - 10, -s - 2*m + 3*m + 10 = 0. Solve -s*d = 5*q - 10, -4*d - 1 = 3*q - 4 for q.
5
Suppose -20 + 20 = -5*r. Solve 4*w - 3 = -h, -4*h + r*w = -4*w - 12 for h.
3
Let t be -23*(2 + -1)*1. Let y = -2 - t. Solve 4*m = j - m - y, -j = -3*m - 11 for j.
-4
Suppose -3*s = 5*b - 0*b + 9, 0 = 5*s - 4*b - 22. Solve -l = -s*z + 3*z - 4, -13 = 3*l - 2*z for l.
-1
Suppose -4*z - 4*p = 236, -3*z + 3*p = -7*z - 231. Let t be ((-4)/(-6))/(1/(-57)). Let u = t - z. Solve 3*d = -5*f + 10, -4*f + 0*d = 4*d - u for f.
-1
Let n = -2 + 5. Suppose -3 = n*m - 18. Solve 0*v + 2*v + 23 = -m*i, -2*i - 3*v - 18 = 0 for i.
-3
Let n be (-2)/7 - 4/(-14). Suppose 4*i + n = 20. Let u = 0 + 3. Solve -5*v - 25 = 5*k, i*v + 25 = 7*k - u*k for v.
-5
Let w = 21 + -15. Let q(r) = r**2 - 4*r - 8. Let k be q(w). Let x(c) = -c**3 + c**2. Let s be x(-1). Solve 2 = -k*h + 3*g, 2*h + 0*h - 2*g = -s for h.
1
Let k = 8 + -5. Suppose -4*b = 3*m - 18, -2*m - 3*m = k*b - 19. Suppose 4*o = 3*o + 21. Solve 3*h - o + b = -3*g, -5*h = -3*g - 14 for h.
4
Let h = 43 + -28. Solve -5*z = 5*d + h, d + d + 13 = 5*z for d.
-4
Let a = -5 + 13. Solve 0 = -3*h + 6, 8*f - a = 4*f - 4*h for f.
0
Suppose x - m - 26 = -4*m, -2*x + 48 = 5*m. Let q = -11 + x. Solve -2*f = -2*h, 2*h - q = 4*f - h for f.
-3
Suppose 24 = -2*s + 5*s - 3*i, 4*s - 12 = -i. Solve 4*k - 1 = d, -s*d - 3*k = -5*k + 4 for d.
-1
Let p be (1 - 1) + (12 - -1). Suppose -3*c + 9 = -0, -2*c = 2*k - 16. Let t(x) = -x + 3. Let y be t(3). Solve y = -5*b + 4*i + p, b = 2*b + 3*i + k for b.
1
Let c = 8 - 7. Let a = c - -2. Suppose -k - a + 4 = 0. Solve 3*r = -2*r + 3*g + 14, 2*r + g = -k for r.
1
Let t = 71 + -65. Let n be 2/(-6) - 124/(-3). Let l = n - 13. Solve 0 = b + z + t, 5*z + l = -4*b + b for b.
-1
Let z(j) = 2*j**2 + j + 1. Let o be z(-2). Suppose -3*d - 17 = 2*i - o*i, 3 = 3*d. Solve v + 5*k + 3 = -5, i*v + k = -13 for v.
-3
Let j(f) = 3*f - 21. Let b be j(8). Solve 2*x = -3*u - 10, -17 = b*x - 0*u + 5*u for x.
1
Let k = 41 + -25. Let p = -3 + 8. Suppose 0 = c - p*c + k. Solve c*f + 2*h - 6 = -0*f, 5 = -5*h for f.
2
Let a = -43 - -46. Solve 0 = -0*h + 3*h, -c - a*h = 5 for c.
-5
Suppose -22 = -4*m - 3*l, -m + 5 + 5 = 3*l. Solve n = -m, -3*d + 4*n + 22 = 3 for d.
1
Let b be (-1)/(-3) + 2/3. Let h be (4 + -10)/(b + -2). Solve 7 + 0 = -5*j + 4*q, 4*j - 3*q + h = 0 for j.
-3
Let q = 14 + -20. Let m = -5 - q. Let x be m/((3/(-19))/(-3)). Solve 5*v - x = -2*t, -4*t - 2 = -v - 5*t for v.
5
Let f(x) = -x**3 + 9*x**2 + 14*x - 15. Let g be f(10). Suppose i = 6*i - g. Solve 4*o = d - i, o + 2*d - 3*d = -2 for o.
-1
Let o be 0/4 - -1*25. Let u(a) = a**2 + 8*a - 3. Let h be u(-6). Let p = o + h. Solve -4*m - p = q + 1, 0 = -2*q - 4*m - 6 for q.
5
Suppose -6 = -11*f + 9*f. Solve g - 2*g - 4*l - 8 = 0, 5*g + f*l + 23 = 0 for g.
-4
Suppose 0 = 3*y + 2*y + 2*w - 2, 3*w = -12. Suppose 0*l - 24 = -6*l. Solve -y*o + 26 = -5*c - 4*o, -4 = l*c - 4*o for c.
-4
Let r = -19 + 10. Let g = -9 - r. Solve -2*w + 4*q + 24 = g, -w = 4*w + 3*q - 8 for w.
4
Suppose -u - u = -4*h + 18, 5*h - 22 = 3*u. Solve -3*k + 6 = -5*v, -h*k - 2*v - 27 = 2*v for k.
-3
Let i be -2 + 19 + (3 - 4). Let u = -16 + i. Solve 4*b + 3*c + 12 = u, -5*b - 3*c - 12 + 0 = 0 for b.
0
Let h be -2*((-15)/2 - -2). Suppose -9 - h = -5*l. Suppose -5*b + 3*w = -6*b + 13, 2*b - 2*w - 50 = 0. Solve n - 3*j = b - 5, -l*j - 14 = 3*n for n.
2
Let q(d) = -d**2 + 4*d + 1. Let v be q(3). Suppose c = 2*r - 4, -7 = -2*r - v*c + 7. Solve 0*w = -5*w - 4*f - 11, -3*f = r*w + 9 for w.
1
Let n(d) = 3 - 4*d**3 - d**3 + 4*d**3 - d - d**2 + 0*d**3. Let l be n(0). Solve 3*q = -3*b - 3, q + 7 = l*b - 6 for q.
-4
Suppose 3*u - 4*p + 4 = 0, -u + 4*u - 5*p + 8 = 0. Solve 2*t = 4*a + 10, -u*t - 1 = -2*a + 9 for t.
-5
Let a(c) = -c**2 + 7*c + 2. Let g be a(7). Solve 0*b + 22 = -4*b + 2*n, -g*b - 15 = -5*n for b.
-5
Suppose k = -d + 8, -2*k + 2*d = -5 - 3. Suppose -l + k*l + 3*g - 17 = 0, -15 = -5*l - 5*g. Solve -2*h - 4 = -v, 15 = -h - 4*v + l for h.
-3
Let t be 2/7 + (-6)/21. Let d be (-2 - -3) + (-1 - t). Solve d = -5*i - 15, -5*z + 3*i - 23 = 4*i for z.
-4
Let v(h) = -h**3 + 3*h**2 + 4*h + 2. Suppose 0*f + 16 = 4*f. Let m be v(f). Solve 2*w + 2 = 0, -2*w + m = c - w for c.
3
Suppose i + 1 = 4. Solve -2*t + t = 3*h + 17, -i*h + 5*t - 5 = 0 for h.
-5
Let x be (1/(-2)*-8)/2. Suppose -6 + 2 = 2*u + v, 4 = 5*u - v. Solve -b + u*b - x*z = -13, 3*b - 11 = z for b.
5
Let f = -11 + 7. Let z = -1 - f. Suppose z*c - 5*c = -10. Solve -c*u - 2*v - 3*v = -15, -5*u = -5*v + 35 for u.
-2
Let u(o) = -10*o + 45. Let g be u(4). Solve -63 = g*t + 4*n - 18, t + 25 = -4*n for t.
-5
Suppose 0 = -0*w - 3*w + 9. Solve q + 5 = a, -3 = a + w*q + 8 for a.
1
Let u be (-2)/(1/((-10)/4)). Suppose 8*z - 2*l - 78 = 3*z, 0 = -2*z + 3*l + 29. Suppose 2*n = -2*n + z. Solve 5*o = u*a + 5, -o + n = 4*a + 23 for o.
-3
Let l(s) = -s**2 + s + 5. Let p be l(0). Suppose -5*o = -j + 37, -4*o + 7*o + 39 = -p*j. Let m = o + 36. Solve -4*h = -5*d - m, 2*d - 20 = 6*d - 2*h for d.
-4
Let y = -26 - -32. Let z = 9 - 5. Solve -z*p - 4*w - 8 = -y*p, 4*p + 20 = -w for p.
-4
Let o(l) = -l - 9. Suppose -8*d - 56 = -4*d + r, 0 = -5*d - 4*r - 70. Let m be o(d). Solve 5*y - 8*y - 7 = 2*a, 2*y + m*a = -23 for y.
1
Let k(n) = 3*n + 24. Let t be k(-7). Solve s + 6 = -q, 4*s = -t*q - 2*q - 26 for s.
-4
Suppose 7*g = 4*g + 120. Solve -3*d - 22 = -2*d + 5*i, -5*d + 5*i = -g for d.
3
Let p(k) = -k - 1. Let u be p(-4). Let z(l) = l**3 + 10*l**2 - l - 7. Let c be z(-10). Solve c*b + 5*i - 10 = 0, 5*i - 6 = u*b - 26 for b.
5
Let p be 11*-4*4/(-4). Suppose -p = -4*x - 8. Solve l - 2*i = 3, -l - i - x = l for l.
-3
Let x(k) = -4*k**2 - 2 - 9*k - k + 3*k**2. Let b = -22 + 13. Let n be x(b). Solve j - 15 = -4*u, -5*u + 3*j - n*j = -5 