0*u - u + x = 3 for u.
-1
Suppose 15 = -3*k + 21. Let n(v) = 2*v**2 + 4*v + 1. Let s be n(-3). Let m be s - (2 + (-2)/k). Solve y - 2*b + 2 = -0, 2*y - 5*b + m = 0 for y.
2
Suppose -7*y + 3*y + 12 = 2*d, -d = 0. Solve 0 = o - 4*v - 3, y*o + 4*v = 3 + 6 for o.
3
Let f be (-8)/(-12) - (38/(-6) + 0). Solve 4*z - 6 = -3*m + f, -2*m + 2*z = 10 for m.
-1
Let u = 27 - 24. Solve -4*l + 12 = -l - u*d, -6 = 2*d for l.
1
Let m be (-32)/(-20) + 2/5. Suppose -m*l + 4 = -0. Let q = -33 + 59. Solve -4*v + 5*a + 33 = 0, 0 = -l*v - v + 4*a + q for v.
2
Let r = 6 + 6. Let g(u) = -u**2 + u + 3. Let o be g(0). Solve r - 5 = -2*x - o*h, -2*x - 5*h - 17 = 0 for x.
4
Let m(n) = n - 5. Let y be m(7). Suppose 6 = y*h - 4*a, -5*h + 40 = -2*a - 3*a. Solve 3*r - h = -c, -11 - 15 = -4*r + 3*c for r.
5
Suppose 0 = 4*h + h. Let z be h - ((-3 - 0) + 1). Solve z*b - 9 = 5*b - f, 4*f + 12 = 0 for b.
-4
Let i be (-846)/(-78) + (-4)/(-26). Suppose -3*g + i = 2. Suppose -5*f = -f. Solve -3 + 0 = 3*m + g*r, m + 3*r + 11 = f for m.
4
Let j be ((-12)/(-10))/(6/15). Suppose -p - j*p = -16. Solve -p*u - 5*o + 15 = 0, 5*u + 2*o = 3*o - 3 for u.
0
Suppose 120 = 5*q - 5*m, 0*q + 3*q - 5*m - 80 = 0. Suppose 6*j - j - q = 0. Solve 17 = 3*x + 4*d, -3*x - d = j*d - 22 for x.
-1
Let l = -16 + 18. Let a(m) = m - 4. Let s be a(6). Let n = 0 + 2. Solve -3*u = s*i + 7 + l, -5*i = n*u + 17 for i.
-3
Let b(d) = d + 9. Let h be (-88)/(-20) - (-2)/(-5). Suppose -3*p - h - 11 = 0. Let v be b(p). Solve -3*y + 2*y = -f - 1, -4*y = v*f + 12 for y.
-1
Suppose 9 = 4*z + 1. Suppose 0 = 3*k - 0*k - 2*d - 21, 2*k - 25 = 5*d. Suppose 0 = -3*o + k + 7. Solve z*j - o*u + 23 = 3*j, u + 4 = 3*j for j.
3
Suppose 3 = 2*x + 1. Let c(m) = 6*m**3 - m**2. Let a be c(x). Solve -4*s - 26 = -5*k + 2*k, 33 = 4*k - a*s for k.
2
Suppose 0 = 4*s - 27 - 13. Solve -2*n - 4*d = -16, -2*d + 26 = 5*n + s for n.
2
Let v be -4*(1 + 14/(-8)). Solve v*s - 7 = -2*c, -5*c + 2 = 7 for s.
3
Suppose 0 = w - 5*l - 45, 2*l + 6 = -0. Suppose -4*r + r = -w. Solve -c + 5*j - r = c, -5*j = -4*c for c.
5
Let b = 9 + 0. Let k = 0 + b. Solve 15 - 3 = r + 3*t, 5*r - 2*t - k = 0 for r.
3
Suppose 4*p + 37 = -27. Let t = p - -33. Solve 3*l - q + 3 - t = 0, 0 = 2*l + q - 11 for l.
5
Suppose -2*d = -4*d. Suppose d = 4*w - 0 - 8. Solve -2*s - w*j = -6, -2*s + 2*j = -7*s for s.
-2
Let i be 2 + 4 + (-1 - 3). Solve -i*x + 3*k + 3 = -4, x + 2*k = -7 for x.
-1
Let o(f) be the first derivative of -f**4/4 - f**2/2 + f - 1. Let v be o(0). Suppose -2*b + v = -7. Solve 4*q = 3*x - 17, -3*q + 0*x = b*x + 19 for q.
-5
Let p(r) = -r + 1. Let a be p(-1). Suppose o = -a*o + 60. Suppose 0 = q + 3 - o. Solve 5*g - m = -q, -2*g = 3*m - 0*m for g.
-3
Let k = -11 + 18. Let y = 11 - k. Solve -4*d + y = 0, 5 = 4*u + u - 5*d for u.
2
Suppose a + 4 = 3*a. Suppose -5*w + 9*w = -8. Let j = 5 + w. Solve j*h + r + 1 = 0, 5*h + r - a*r + 7 = 0 for h.
-1
Suppose 0 = b + 3*o - 19, -1 - 1 = -3*b + 2*o. Solve -x + 16 = -5*f - 5, 4*x + b = -2*f for x.
1
Suppose 12 = 6*c - 2*c. Suppose -c*n + 12 = y - 6*n, 2*n + 8 = 2*y. Suppose -2*b = -y*b. Solve 3*w = 2*t - 0*t + 12, b = -4*t + w - 4 for t.
0
Suppose 0 = -3*n - 15 - 0. Let w = n - -7. Solve 0 = j + y + w - 0, 3*y = j - 14 for j.
2
Let c be (2 + 15/(-9))/(1/6). Solve 1 = -y, -3*l - c*y - 7 = -2*l for l.
-5
Let k = 5 - 9. Suppose -2 - 28 = 5*u - 2*v, 0 = 2*v. Let t be (u/k + -2)*-4. Solve i - 4*q + 10 = 0, t*q + 0 = 4*i - 2 for i.
2
Let c(v) = v + 13. Let m be c(-8). Solve -11 = -4*b + 5*f, -m*b + 3*f + 5 - 1 = 0 for b.
-1
Suppose 6*z = z. Suppose 16*j - 13*j - 9 = 0. Let l = j - z. Solve l*i + 7 = -h - h, -h - 11 = 3*i for i.
-5
Suppose -2*o = 3*o - 20. Suppose 0*x - 22 = -4*x - 3*k, -o*x + 10 = -3*k. Solve 5*m + 3*u = 0, 3*u - x*u = m - 2 for m.
-3
Let a be (1 + (-10)/15)/((-2)/(-24)). Solve 0 = -3*y + h + 6, a*h + 3 + 4 = -5*y for y.
1
Let m be (-6)/3*3/(-2). Let j = m - 3. Let g be (2 + 2/(-6))*15. Solve o - 5 = -2*f, 0 = -5*f - j*o - 5*o + g for f.
0
Let h = -7 - -12. Let f = -2 + h. Solve 4*l = -5*i - 3, -5*l + 24 = f*i - 6*i for l.
3
Let p(a) = -4*a - 31. Let l be p(-10). Let q = 6 - 4. Suppose q*v + v = 5*o - 23, 0 = -5*o - 5*v + 15. Solve -3*n - o*w - l = -0*n, -3*w = 5*n + 15 for n.
-3
Let l be ((-8)/22)/((-18)/99). Solve 2*p + 5*x = 14, -12 = -5*p + x - l*x for p.
2
Let h(a) = -a**3 + 6*a**2 - 3*a + 1. Let r be h(4). Let y be -1 + 0 + 1 + 6. Let v = y - -7. Solve 3*b + r = -2*l + 5*l, 4*l = -b + v for l.
4
Let u = 16 + -6. Suppose 0 = n - 5*i - u, 0*i - i = -n + 6. Solve 0 = -z - n*t + 20, -2*z - 4*t - 4 + 14 = 0 for z.
-5
Let a = 4 - -1. Solve 10 = -a*w - s, 3*w + w = 2*s - 22 for w.
-3
Let d be 34*(1 - 3/2). Let q = -14 - d. Solve 2*j + 1 = -5*l, 1 - 6 = q*j + 4*l for j.
-3
Let p = -1 + 5. Solve -3*q = -5*g - 3, 2*g + 3*g = -p*q - 31 for q.
-4
Suppose 2 = o - 0. Let u be (-24)/16*20/(-6). Suppose 1 = -5*l + v - 0, 0 = u*l + 5*v - 5. Solve 0 = 3*g + o*n - 7, 2*g - 3 = -l*n - 3*n for g.
3
Suppose 5*r - 4*h = -5 - 11, 3*r = -5*h + 20. Suppose 40 = 5*i - r*i - 3*v, -5 = v. Suppose 1 = z - i. Solve -5*c - z*j - 8 = -2*j, -2*j = 5*c + 14 for c.
-4
Let q(j) = 0*j**2 + 9*j**2 - j - 8 - j**3 - 7*j. Suppose 3*i = 3*k + 8 - 2, 3*i + 2*k - 31 = 0. Let m be q(i). Solve 0 = 3*r + 4*s + s - m, r - 4*s = -17 for r.
3
Let c(h) = -h**2 + 3*h - 3. Let s be c(4). Let u be -2 + (-2)/3*3. Let f = u - s. Solve 2*j - 6*d = -f*d + 16, d = 4*j - 22 for j.
5
Let p = -4 + 6. Suppose p*z = -3*z. Solve 4*y - 11 = -h, -4*y - y - 3*h + 19 = z for y.
2
Let f(j) = j**2 + 4*j - 1. Suppose 5*l = -24 - 1. Let g be f(l). Solve -3*r - 7 = -g*n + 5*n, -9 = 3*r + 3*n for r.
-2
Let u be (1/3)/((-3)/(-45)). Suppose u*j - 4*j = 3. Let x = 5 - j. Solve -3*b - 5*g - 16 = 0, 0 = x*g + 4 for b.
-2
Let u be (75/2)/((-2)/(-4)). Suppose 0 = 2*g + 27 + u. Let m = g + 86. Solve 16 = -s + 4*l, -3*s + 8*s = 5*l - m for s.
-4
Let a(o) = -o**2 - 9*o - 12. Let m be a(-10). Let u be 4/m + 316/44. Solve 4*i + 2*s - 3*s - u = 0, 0 = s + 3 for i.
1
Let p be (8/6)/(12/27). Solve -4*o + 7 = 3*n - 0, 0 = -p*n - 3*o + 9 for n.
5
Let y(t) = t**2 - t + 2. Let w be y(2). Let f be w*(1/(-2) + 1). Solve h = -2*z - f*z - 12, 16 = 4*h for z.
-4
Suppose -4*m + 10 = -2*m. Suppose 0 = m*u - 3 - 22. Solve 25 = u*j - 3*x + 8*x, -4*x = -20 for j.
0
Let w be (-1 + 3)/(6/75). Solve 0 = -i - 4*o - 21, i + 2*o = -3*o - w for i.
-5
Suppose 0*p - 5*p = -3*a - 22, 0 = 2*p - 4*a - 6. Solve 5*c = 2*y - 33, 1 = c - p*y + 26 for c.
-5
Let t be 2/(-10) - (0 - (-42)/(-10)). Solve t*i - q = 13, 3*i + 3*q = -0*i + 6 for i.
3
Suppose 2*b - 5 = 1. Solve -2*k - 5*v = -3*k - 3, -b*k = v + 9 for k.
-3
Let i(f) = 2*f**2 - 28*f + 4. Let k be i(14). Solve 0 = -4*r - k*t + 8, 3 - 1 = 5*r + 3*t for r.
-2
Let q = -7 - -10. Suppose -26*d + 14 = -24*d. Solve a = q*o - o - d, -2*a = 2*o - 4 for o.
3
Suppose -3*w = -17 + 2. Suppose 3*g - 162 = -v - 2*v, w*g + 4*v - 268 = 0. Suppose -2*i = 2*i - g. Solve -4*r + 5*o - 2 = 0, -5*r - 6 = 2*o + i for r.
-3
Let t(n) = 3*n + 12. Let q be t(-3). Solve 0 = -q*z - 9, -d + 3*z + 11 = -0*z for d.
2
Suppose -4*n + 4 = -4*x, 5*n + 4*x = 40 - 8. Solve -3*i + 2*v = -2*v + 21, 4*i = -n*v for i.
-3
Suppose -2*n + 14 - 6 = 0. Solve c = -4*c + z + n, -5*c = 3*z - 8 for c.
1
Suppose 0 = -5*i + 4*n - 10, -2*n = 4*i + 6 - 24. Suppose c = 10 - i. Let p = c - 1. Solve 0 = -l + 2*d - p, -5*d + 2*d - 22 = 5*l for l.
-5
Suppose -4*r + 9 = -5*q - r, 3 = -q + r. Solve -b - 5*y = 25, 0 = -b + 4*y - q + 11 for b.
-5
Suppose 0 = -5*m + 2*d, 4*d = 34 - 14. Suppose -2*a = m*a - 12. Solve -14 = -3*b - 2*n - a*n, 5*n = -b + 8 for b.
3
Let u(d) = d**2 + d - 4. Let h(r) = -2*r**2 - 5*r - 4. Let l be h(-3). Let w be u(l). Let p = w + -25. Solve 10 = -4*m - 0*m - 2*k, 5*m + 3*k + p = 0 for m.
-2
Suppose -393 + 43 = -2*k. Suppose 3*o - 31 = w + 66, 5*w = 5*o - k. Solve -3*n - 23 + 10 = -t, 5*n - 4*t = -o for n.
-3
Suppose 0 = 3*o - 8*o + 25. Let w be ((-72)/15)/((-1)/o). Solve 3*h = 5*r + 13, 4*h - 8 + w = 0 for r.
-5
Let z(j) = -j**3 + 8*j**2 + j - 3. Let h = 0 - -8. Let m be z(h). Solve k = 2*b - 1, 0 = m*k + 2*b - 0*b - 31 for k.
5
Let s be (-4)/6 - 1/3. Let o be s/3 + (-496)/(-12). Solve -4*k + o = -5*q, q + 2 = -2*k - q for k.
4
Let q(b) = b**2 - 6*b - 1. Let x = 14 + -8. Let c be q(x). Let j be (-2)/(1/c - 1). Solv