7*a**2 - a + 1. Let g be x(1). Solve -o - g = -h*u, 4*u + o + 2*o = -8 for u.
1
Let p = -125 + 126. Suppose 5*m = 4*m + p. Solve 0 = b + 4, -3*b + 4 - m = 5*i for i.
3
Let a(x) = -x**2 + 24*x - 21. Let z be a(23). Solve 2*i + 12 = -3*n, 4 + 4 = -z*n + 5*i for n.
-4
Let r = -15 + 15. Suppose 0 = -r*t + 3*t - 9. Suppose -6 = -k + q, 5*q = 5*k - t*k - 12. Solve 2*m = v - k*v - 11, 5*v = -3*m - 14 for m.
-3
Suppose 0 = 3*y + 2*y + 5, -r + 5*y = -1. Let o be 8*(r/16 - -1). Suppose -l + 0*l + 2*j = -o, 8 = -l - 5*j. Solve 3*d + l = q, q - 8 = 3*q for d.
-2
Suppose 0 = k - 5*k + 20. Suppose -6*q + k*i + 27 = -3*q, -5*q = 3*i - 45. Solve 3*o + 3*g = q, 5 = -o + 5*o - 3*g for o.
2
Let v = -10 - -21. Suppose -v + 3 = -2*a. Let b(s) = 2*s**3 - 14*s**2 - 15*s + 9. Let y be b(8). Solve 4*o = 4*m + 16, 2*o - a*m - y = -3*o for o.
1
Let p = -10 + 31. Suppose -2*s + p = -4*s - 5*l, -s + l + 7 = 0. Solve -s*c - 14 = 2*o, 2*c + 2*c = 3*o for c.
-3
Let s = 12 + -136. Let d = s - -134. Solve 2*h = -4*g + 20, g + g = 3*h + d for h.
0
Let s(d) = 4*d**3 + 2*d**2 - 2*d. Let t be s(1). Solve g + t*g = -4*c + 13, -4*g + 8 = 4*c for g.
5
Let u(c) = -c + 1. Let x(m) = m**2 - 5*m + 11. Let w(g) = -3*u(g) - x(g). Let n be w(4). Solve d + 2 = 2*h, 5 = 2*d - n*h + 7*h for d.
0
Suppose 0 = l + 7. Let o = 16 + l. Solve -u + 0*x + x = o, -2*u + 5*x = 30 for u.
-5
Let r = -47 - -50. Suppose 0 = r*q - 5 + 2. Solve 4*d + 4 = 0, -q = -5*j - d + 13 for j.
3
Let o = -118 + 120. Suppose -2 = -4*z + 6. Solve -o*y + 5 = 3*a, 0*y + z*y = 5*a - 3 for a.
1
Let b be -3 + -4*(-42)/24. Solve b*y - 32 = -4*q, 0*y + 3*y - 9 = 2*q for q.
3
Suppose 4*i + 5*g = 45, g = 19 - 14. Solve -m = i*c - 22, 4*c - 10 = -5*m + 16 for m.
2
Let j(a) = a**2 + 5*a + 6. Let t be j(-4). Suppose -12 = -m - 3*m. Suppose -6 = -m*q + q. Solve z - 19 = -t*z + g, 3*g = -q*z + 3 for z.
5
Let q(y) = -y**3 + 6*y**2 + 4*y - 1. Let w be q(-1). Solve 2*k = r - 8, 2*r + w*k = -2*r - 18 for r.
-2
Suppose q + 63 = 8*q. Let u be (-8 + q)*3/1. Solve 5*y = -2*v + 13, v + u*y + 2 = 9 for v.
4
Let d(y) = 18*y**2 - 91*y + 8. Let m be d(5). Solve -4*q + 3*u = -11, -m*q = -q + u + 7 for q.
-1
Let t be (-1 + -6)*114/(-133). Let k be (20/12)/(2/t). Suppose -k*g + 110 = 4*d + d, 5*g + 10 = d. Solve -2*l + 0*i - 3*i = -16, -2*l = 4*i - d for l.
2
Suppose -5*g = 12 - 92. Solve -a - 8 = o, a = -3*o - 0*a - g for o.
-4
Suppose -4*l + 12 = -8. Solve -2 = -3*r + 6*r + 5*b, l*r = -3*b - 14 for r.
-4
Let g(q) = -q**3 - 6*q**2 - 4*q + 7. Let j be g(-5). Suppose j*b - 144 = -4*b. Suppose 4*d - b = -4. Solve 5*c = -4*v - 19, 3*c = 3*v + v - d for v.
-1
Suppose 2*k = 5 + 1. Let v be (1 - -8) + 16/(-4). Solve -v*r - 3*a - 6 = a, 3*r + 3 = -k*a for r.
-2
Suppose -3*f - 8 = -2*r, 4*f + 2 + 10 = 2*r. Let y be f/18 - ((-608)/36)/4. Solve y*u - 3*l + 0*l + 21 = 0, 12 = -5*u - l for u.
-3
Let g be ((-90)/10 - -9)/1. Suppose -34 + 14 = -4*t. Solve g*c + t*m - 40 = 5*c, 4*m + 8 = -4*c for c.
-5
Let c be ((-4)/5)/((-14)/35). Solve c*s - 2 = -4*j - 14, -37 = -3*s + 5*j for s.
4
Let g(w) = w**3 + 7*w**2 - w - 3. Let y be g(-7). Suppose 0 = -0*c - y*c + 8. Suppose -k + 6 = c. Solve 0 = -k*p - 5*o - 35, -11 = 3*p + p - 3*o for p.
-5
Let y = 157 - 154. Solve u = y*f - 2*f - 6, 0 = 4*u + 8 for f.
4
Suppose -6 = -2*t - 5*w, 5*w - 3*w + 12 = 4*t. Solve -5*h + 2 = -t*g, -3*h - 3*g + 1 = -5 for h.
1
Let o(s) = -s - 10. Let v be o(-14). Suppose -h - 4*i + 10 = 0, -5*h - v*i + 13 = -85. Solve -5*x = -w - h, 2*w - 1 = -3*x + 7 for x.
4
Suppose -21 = -g - 2*u - 27, g - 5*u - 29 = 0. Solve -r + q - 21 = -6*r, 20 = g*r + 4*q for r.
4
Suppose -4*r = -69 + 49. Solve 0 = -4*t + 3*g - 10, 0*t - r = -t - 3*g for t.
-1
Let r be (((-125)/5)/(-5))/1. Solve -r = 3*a - 2*x - 0*x, -a - 2*x = -1 for a.
-1
Let o(l) = 2*l**2 - 1. Let p be ((-16)/48)/((-1)/3). Let y be o(p). Solve -2*h = 4*c - 20, 5*c - 2*h = 2*h - y for c.
3
Let g be (-290)/(-14) + (-22)/(-77). Let h be (-8)/(-5) + (-2)/(-5). Suppose -h*u + 8 = -0*u + y, 9 = u + 3*y. Solve u*s + g = -3*d, -22 = 2*d + 2*d + s for d.
-5
Let p(o) = -o**2 + 4*o - 2. Let l be p(2). Suppose -2*q + 0*n + 2*n + l = 0, -5*q - 4*n = 13. Let m = 3 - q. Solve 2*b - 4 = 2*d, 3*d + m = 2*b + 5*d for b.
2
Let m(q) = -2*q**2 - 8*q + 5. Let i be m(-4). Suppose -i*v - 34 = -z, -2*z + 5*v + 8 = -35. Solve -5 = 3*s + 4*n, 6*s - 2*s + 3*n = -z for s.
-3
Let i(w) = 3*w + 3. Let c be i(-4). Let z = c + 13. Let l = -4 - -6. Solve 4*d - 36 = -4*b, 16 = -l*b + b + z*d for b.
4
Suppose 0 = -5*k - 11 + 26. Suppose 0 = -43*g + 45*g - 8. Solve -c - 3*m + 2 = -0*c, -g*c = k*m + 1 for c.
-1
Let n = -1218 + 1230. Solve -f = 2*j - 2*f + 4, 3*f + n = 0 for j.
-4
Let x(i) = -4 - 4*i + 3*i + 0. Let v be x(-9). Suppose 4*q = 5*q - h - 5, 0 = -4*h + 4. Solve -v*l - 4*y = 12, 2*l - 2*y = l + q for l.
0
Suppose 1 = -3*t - 23. Let f = t - -9. Let b(m) = 9*m**2 + 1. Let j be b(f). Solve 0 = a - 1, -a + 6*a - j = -5*s for s.
1
Let d = 60 + -58. Suppose j - 5 = d*q - q, 4*j = 5*q + 25. Solve l = -j*o - o + 8, 4*l + 5*o - 37 = 0 for l.
3
Let l(x) = -x**2 + 21*x - 5. Let o be l(11). Let u = o - 103. Solve -3*f = -0*r + 2*r - 17, 0 = u*r + 4*f - 20 for r.
4
Let h be 440/16 - 3/(-6). Solve 5*q = 3*g - 19, 9*g - h = 4*q + 13*g for q.
-5
Let s be 7/28*(0 - (3 - 3)). Solve 10 = 2*q - s, 5*m - 20 = -2*q for m.
2
Let d = 0 + 3. Suppose 0 = h + d, -3*o - 30 = -4*h + 2*h. Let y = -10 - o. Solve 0 = 5*q + 2*b + 26 - 3, b = y*q + 11 for q.
-5
Let j be (-16)/(-9) - 8/(-36). Suppose 5*a - 5 = -5*t, 0*t - 10 = -j*t + 2*a. Solve 3*w + 2*u = -22, 3*u + 7 = -t*w + 4*u for w.
-4
Suppose -4*w = -14 - 18. Let x(q) = -q**3 + 9*q**2 - 9*q + 10. Let n be x(w). Solve 5 = 2*z - z, -n*c = -3*z + 11 for c.
2
Suppose 5*q - 6*q = -2*i, -5*i = 4*q - 26. Solve 0 = 2*u - k + 1 - 2, 3*k = -i*u - 19 for u.
-2
Let p(b) = b + 1. Let x be p(4). Suppose -4 = -i + 5*d - 2, 4*i = -x*d + 8. Suppose l = i + 5. Solve 2 = -y - 2*t, 4*y - 2*y + l = -t for y.
-4
Let v = -1 - -1. Let u(a) = a**3 - 17*a**2 + 3*a - 49. Let f be u(17). Solve 4*k - 2*p + 12 + v = 0, k = -f*p + 2 for k.
-2
Suppose -32*f = f - 66. Solve -5*k - 1 = -x, 1 = x - 3*k + f*k for x.
1
Let m(s) = -85*s - 335. Let p be m(-4). Solve y - 4*y - 15 = 0, 10 = -p*o - 4*y for o.
2
Let t = -95 + 159. Suppose t = 4*h - 4*k, -h + 3*k + 11 = -1. Suppose -3 = 5*p + 3*d, -5 = 2*p + 2*p + 5*d. Solve 0 = 5*n + 3*j + 19, p*n - 2*n + 4*j = h for n.
-5
Let n(u) = u**2 + 2*u + 1. Let s be (1/3)/(3/(-9)). Let g be n(s). Suppose g*r = -5*r + 25. Solve -4*c + 0*c = -r*v + 27, 0 = -2*v + c + 9 for v.
3
Suppose -8*m = -m - 84. Suppose 4*p - m = p. Solve q - 19 = 4*t, 0*q + p*q - 21 = 5*t for t.
-5
Suppose 0 = -2*x + 7*x - 35. Let p be (12/9 - 0)/((-5)/15). Let u = p + x. Solve -9 = 2*t + u*f, 2*t + f + 4 = -f for t.
3
Suppose -4*x + 20 = i, 7*i - 6*i = x. Solve -5*r = 4*d + d + 20, x*r = -4 for d.
-3
Let q = -7 + 12. Let i be 2 - ((-364)/6 + (-14)/42). Let t = -61 + i. Solve -t*b = -q*c + 3*c + 20, b - 10 = -3*c for b.
-5
Let u(x) = x + 1. Let l(i) = 6*i + 7. Let d(g) = l(g) - 5*u(g). Let r be d(-1). Let a(z) = -z + 2. Let c be a(2). Solve -3*b = -5 - r, -2*n - b - 6 = c for n.
-4
Suppose 30 = 2*m + m + 3*r, -5*r = -2*m + 13. Suppose -g = 2*f - 10, -3*g = f - 2*g - 6. Solve 5*o + 0 = f*i + m, -2*i = -3*o + 5 for i.
-1
Suppose 6*h + 2 = 7*h. Suppose h*y - 2*d = 12, d - 36 = -4*y - d. Suppose -o + y = o. Solve 5*n - 1 = -2*m + 4, o*m + 4*n + 8 = 0 for m.
-5
Let q be (11 - 276/24)*-10. Solve q*b + 4*s + 9 = 4*b, -4*s = 2*b + 6 for b.
3
Let j(s) = -s**2 + 14*s - 26. Let a be j(10). Suppose -18*b = -11*b - a. Solve 2*z = -b*z - 5*y - 16, -24 = -4*z + 5*y for z.
1
Let d(u) = u**3 - 6*u**2 + u - 4. Let p be d(6). Let n = p - 0. Let h = 30 + -18. Solve -3*i + 14 = 4*q, 0*q + n*q = i + h for i.
-2
Let z(y) = -y**2 + 10*y - 21. Let i be z(6). Solve 5*k = -2*p - 5, -i*k - 3*p = p - 11 for k.
-3
Let k(a) = a**3 - 5*a**2 - 8*a + 19. Let u be k(5). Let b(r) = 2*r**2 + 41*r - 17. Let d be b(u). Solve -d*v - 5*i - 21 = -v, -5*v = -3*i + 1 for v.
-2
Suppose -3*o + 2 = -2*d - 7*o, -5*d + 5*o + 40 = 0. Let w = -3 + 5. Suppose i - w*c - 2 = 0, -3*i + 5*c - 1 = -2*i. Solve -u - 30 = d*p + i*u, 0 = u + 3 for p.
-3
Suppose 3*w + 117 = 5*x - 124, -2*x = 3*w + 206. Let b = 75 + w. Solve 0 = b*v + 4*g - 14, 