r x.
-4
Suppose 2*c - 4*s - 144 = 0, -3*c + 2*s + 264 = c. Suppose -3*d + 5 - 11 = 0, -2*d - c = 2*g. Let p be g/(-8) + 1/4. Solve -p - 1 = -j for j.
5
Let p = -15 - -21. Suppose -p*g = -5*g. Solve g = -2*j - 0*j for j.
0
Suppose -3*i - 5 = 5*b, -b - 2*i - 11 = -3. Let w(f) = -f**3 - 3*f**2 + 5*f + 6. Let r be w(-4). Let n = 4 + r. Solve 0 = x + b*x + n for x.
-2
Suppose 0 = l + 2*l. Suppose 5*m - 10 = -l, -6 = 5*x - 3*m. Solve x = 3*n + 5 + 4 for n.
-3
Let v(m) = -4*m**3 - m**2 + 2*m + 2. Let i be v(-1). Suppose 0*f + 2*f - 4 = 0. Suppose 4*p + u = 8, p + f*p - 7 = -u. Solve -p = i*l - 4 for l.
1
Let n(v) = -4*v - 10. Let m be n(-4). Solve 0 = -2*q - 16 + m for q.
-5
Let n(k) = -k**3 - k**2 - 1. Let w be n(-2). Suppose -4*l - 15 = -3. Let f be (-10)/(-2) + (l - -2). Solve -2 = -w*t + f*t for t.
-2
Suppose 3*g + 23 = 4*o - 11, 2*g - 4 = 0. Let p = o - 8. Solve 4*v = p*v - 2 for v.
-1
Let y be 4 - 1*(1 - 2). Let c be (2 - 7)*3/(-5). Suppose 1 = 2*i - c. Solve 6 = -y*m + i*m for m.
-2
Suppose 3*o + 18 = c, 5*o + 38 = -c - 0*c. Let s(j) = j + 2. Let n be s(o). Let b be 0/(-2 + n/(-1)). Solve -8 = -b*r - 2*r for r.
4
Let b(n) = -n**2 + 6*n - 6. Let w(f) = -1. Let t(g) = b(g) - 2*w(g). Let d be t(4). Suppose -i + 15 = d*i. Solve -r - i = -5 for r.
2
Suppose 0 = -5*n + 10 + 10. Let p(g) = -g + 5. Let h be p(n). Let a = h - -3. Solve -i = a*i + 20 for i.
-4
Let c be (-1)/(-2) + 33/6. Let f(d) = -d**3 + 7*d**2 + 3*d - 6. Let r be f(6). Suppose 3*k - 7 = 5*a - 85, 3*a = 3*k + r. Solve -c*g + g = a for g.
-3
Let k = -20 + 30. Let i = -6 + k. Solve i*g + 0*g - 16 = 0 for g.
4
Suppose 37 = 2*n - 3. Suppose 6 = -3*r, -2*r = -5*g + 8 - 49. Let i be (-22)/(-6) - (-6)/g. Solve i*v + v = n for v.
5
Let v(a) = -a**3 + 4*a**2 + a - 4. Let q be v(4). Solve q = -m + 5 - 4 for m.
1
Let o be (-42)/(-9) - 5/(-15). Solve -o*a = -0*a for a.
0
Let u(p) = -16*p + 113. Let w be u(7). Solve w = 4*o + 9 for o.
-2
Suppose -r - 5*q = 3*r - 34, -4*r = -2*q - 20. Solve -18 = -4*c - r for c.
3
Let w = 11 + -5. Let d = w + -4. Let c = d + -2. Solve c = 3*y + 8 + 1 for y.
-3
Let n = 5 + -3. Let u be 9*(44/(-12) + 4). Solve n + u = 5*x for x.
1
Let s = 32 - 28. Solve 6 = -2*i + s*i for i.
3
Suppose 2*c - 7 = 1, 2*r - 12 = -3*c. Solve 2*t + r = -8 for t.
-4
Suppose 16 = 5*u + 1. Solve 0 = u*x + 1 + 2 for x.
-1
Suppose 4*c - 3*c = 0. Solve 6 + c = -3*m for m.
-2
Suppose -5*n = -3*q - 3, 3*q + 5 = 2*n - 2*q. Let v be ((-24)/(-10))/(1/5). Solve 3*a + n + v = 0 for a.
-4
Let x be (40/25)/((-2)/(-5)). Solve -2 = 2*m + x for m.
-3
Suppose -2*u = -5*f - 40 + 112, -5*f + u + 71 = 0. Let s = 24 - f. Solve 8*i + s = 3*i for i.
-2
Suppose 3*w = -0*w - 15. Let r = 10 + w. Suppose -4*i + 1 = r*s, 0 = -5*s - 0*s - 15. Solve -i*f = -f for f.
0
Suppose 0 = -5*c + 19 + 6. Solve 2*n + 1 = -c for n.
-3
Let w = 15 - 14. Solve 6 - w = -5*q for q.
-1
Suppose 6*x - 9*x = -12. Solve x*m = -0*m for m.
0
Let h(i) = -i**3 - 5*i**2 - 2*i - 7. Suppose -10 = 5*c, t + 4*t = -3*c - 31. Let r be h(t). Solve 0 = -r*o - 3 - 6 for o.
-3
Suppose -4*w + 12 = -0*w. Let s be (-4*4)/(-4) - 4. Suppose -c + w + 1 = s. Solve 0 = c*n - 2 + 14 for n.
-3
Let x = -9 + 24. Let g(z) = -z**3 - 3*z**2 - 2*z + 2. Let i be g(-3). Solve i*j - 3*j = -x for j.
-3
Let d(t) = t**3 + 7*t**2 + 7*t + 4. Let o be d(-6). Let k = 2 + o. Suppose 4*p - 2*p - 4 = 0. Solve k*s = p*s - 4 for s.
2
Let v be 5/(-5) - (-1 + -1). Suppose -m + v = -1. Let l be (-1 - 0)/(m/(-20)). Solve 0 = -2*s + 7*s - l for s.
2
Suppose 2*u - 12 = -3*c, 0*c + 2*c = -2*u + 8. Suppose u*v = -5*v + 10. Let a be 3/(1/((-6)/(-9))). Solve -v*b - a - 2 = 0 for b.
-2
Let y(x) = -x**2 - 9*x - 8. Let s be y(-8). Solve -4*t + 8 + s = 0 for t.
2
Let s be (-130)/(-15) + 1/3. Let v(k) = k**2 + k - 2. Let a be v(-3). Solve -a*i + i + s = 0 for i.
3
Let c(p) = p + 13. Let n be c(-5). Solve w + n = -w for w.
-4
Suppose 3*o + r = -o + 21, -3*o - 2*r + 22 = 0. Suppose 4*t = 5*t - o*w + 20, 0 = -t - w + 5. Suppose 0 = 5*y, -5*j - 5*y + 5 = -t. Solve f - j + 2 = 0 for f.
-1
Let v be 473/22 - 6/(-4). Suppose -4*j = -a + v, -3*a + 37 = a - 5*j. Solve -12 = a*f + f for f.
-3
Suppose 2*c + c - 2*m + 4 = 0, -4*c = -3*m + 6. Solve 0*q - 4*q = c for q.
0
Let x = -1 - 3. Let q be (-5 - -1)*x/8. Let f = -17 - -26. Solve 0 = q*t + t - f for t.
3
Suppose -2*c + 8 = 2*c. Suppose 4*o - 4 = -5*s, -s - c*o = 1 + 3. Solve -s*i - 20 = -0 for i.
-5
Suppose 3*v = v + 8. Let s be (-603)/(-36) + 1/v. Let j be (-22)/55 + s/5. Solve 7 + j = -2*y for y.
-5
Suppose -v = 2*o + 6, 2*v + 7 = -2*o + 1. Let a(g) = -g**3 - 4*g**2 + 3*g + 5. Let r be a(-5). Suppose -4*x = -r - 5. Solve v*h - x = -h for h.
5
Let q(m) = -m**2 - 6*m - 1. Let p be q(-5). Suppose -o + p = o. Let w be 22 + -1 + (1 - o). Solve w = -3*x - 2*x for x.
-4
Suppose 0 = 5*j - 4*p - p - 5, 3*j = -3*p - 3. Let k = 5 - 3. Suppose 0 = -2*l - k*l. Solve 4*f + 4 + j = l for f.
-1
Let s be (-72)/(-39) + (-2)/(-13). Let t be 8/3 - s/3. Suppose 2*w = -t*w. Solve w*v - v = -2 for v.
2
Let y(s) = s**2 - 5*s + 6. Let x be y(4). Solve n + 6 = -x*n for n.
-2
Suppose -4*j = 3*z - j - 33, 8 = -2*z + 4*j. Solve z*q = q - 5 for q.
-1
Suppose -4*t - 2 = -5*q, 2*t = 3*t + 2*q - 6. Solve 10 = 7*b - t*b for b.
2
Let w be ((-13)/26)/((-2)/12). Solve w*b + 7 + 2 = 0 for b.
-3
Let b(j) = 5*j. Let m be b(1). Suppose -m*p = 10, p + p - 11 = -3*u. Suppose 5*a + 5*h - 6 = 24, -u*a = 2*h - 42. Solve a = v + 4*v for v.
2
Suppose 3*m - 4 = m. Suppose 2*i + 0*i = -4*q + 14, -3*q + 8 = 4*i. Let r be (-1 - i)*(-5)/(-10). Solve r*j = m*j + 4 for j.
-2
Let x(r) = 2*r**2 - 4*r - 7. Let u(h) = h**2 - 2*h - 3. Let z(m) = -9*u(m) + 4*x(m). Let j be z(3). Let c = -2 - j. Solve 0 = 3*p + c*p for p.
0
Let z = -3 + 8. Let l = -5 + z. Suppose l*d = d. Solve d = -0*f - f for f.
0
Let m be 2/6 + 4/(-12)*-11. Solve 0 = m*a - 4 - 4 for a.
2
Let d(m) = m**2 - 7*m + 3. Let o be d(7). Suppose 6*s = o*s + 36. Let l be (4/(-8))/((-2)/s). Solve 0 = a + l*a + 8 for a.
-2
Suppose -81 = -3*o - 69. Solve -4*s = -2*s + o for s.
-2
Suppose 55 = 5*o - 5*k, 4*o = -2*k + 9 + 17. Suppose y - 5 = -w, 2*y - 9*w + 4*w = -25. Solve 4*r - 4 - o = y for r.
3
Let z = -2 - 1. Let q be 2/z + 22/6. Solve 8 = -7*x + q*x for x.
-2
Let b(u) = -u**3 + 7*u**2 + 9*u - 8. Let s be b(8). Suppose s = 2*m - 4*m + 8. Solve a = m*a - 3 for a.
1
Suppose -3*i = 2*h + h - 15, -3*h = -3*i - 9. Solve 2*p = h*p for p.
0
Suppose 10*r - 7*r = 3*d + 6, -5*r = -4*d - 8. Solve 4*i + i - 20 = r for i.
4
Suppose 5*s = 3*r + 18, -5*r - 2 + 6 = 3*s. Let g be r/(11/(-5) - -2). Solve 0*u + g*u - 25 = 0 for u.
5
Let x(d) = 7 + 5 - d + 2*d - 4. Let b be x(8). Solve 0 = -l - 3*l + b for l.
4
Let c(s) = 2*s**2 + s - 2. Let f be c(-2). Solve -f*v = v - 15 for v.
3
Let p be -1*(-4 + 1 + 1). Suppose 0 = -p*a + 4*l - 9*l + 9, -2*l + 10 = 4*a. Let m = 1 + a. Solve -4 + 10 = -m*x for x.
-2
Suppose 0 = 2*a - 3*a. Suppose a = r + 4*r - 90. Suppose 4*q = -d - d + r, -2*d + 2*q = 0. Solve 5 = d*s - 1 for s.
2
Let m = 4 - -1. Suppose -m*u - 22 = 2*v, 4*v + u = -0*u - 8. Let k be 2 + -1 + (-3)/v. Solve k = -r + 3 for r.
-1
Suppose 0 = 3*j + 110 - 167. Let h = 0 + 5. Suppose -h*c + 20 = -0*c. Solve c*b + j = -1 for b.
-5
Let b(t) be the second derivative of -t + 1/12*t**4 - 1/2*t**2 - 1/2*t**3 + 0. Let n be b(4). Solve 21 = -n*a + 6 for a.
-5
Let f = 29 - 25. Solve -f*b = 13 - 5 for b.
-2
Suppose -38 - 4 = -7*t. Solve -t - 4 = -2*a for a.
5
Suppose d = -3*j - 12 + 94, j = 2*d - 178. Suppose -5*q = -d - 52. Suppose -3*c + 14 = -q. Solve -2 = -4*o + c for o.
4
Let h(l) = l**2 - 4*l - 3. Let q be h(4). Let n be (-1 - q)*8 + 0. Solve -n = 3*j + j for j.
-4
Let d(m) = -m**3 - 6*m**2 + 7*m + 2. Let q = -24 + 17. Let k be d(q). Solve -k*r + 0 = 6 for r.
-3
Let s be 1/(-2)*(-7 + 1). Solve 0 = y - s*y - 2 for y.
-1
Let z = -2 + 10. Solve -z = -3*p + 1 for p.
3
Suppose 2*m - 5 = -h, 7 = 2*m + 2*h + 1. Suppose 5*t = 4*k, m*t = -2*t + 16. Solve 0*r = -k*r + 5 for r.
1
Suppose 0 = -k - 17 + 6. Let f(p) = -p - 9. Let g be f(k). Solve -g*d - d = 15 for d.
-5
Let y(u) = -u**3 + 5*u**2 + u. Let t be y(5). Suppose -t = 4*i + 3. Let l = i + 4. Solve 0 = l*w + 3*w - 10 for w.
2
Let a(o) = -3*o + 5*o - o**3 + 2*o**2 + 2 + 1. Suppose -4*w + 3*w = -3. Let i be a(w). Solve i*k = k - 3 for k.
3