x - 3, 0 = -4*x + 20. Let o be (-24)/d - 2/6. Solve b = g - o for g.
4
Let p(y) = 7 + 8 + 2*y - 6*y - y**3 - 12 + 4*y**2. Let k be p(3). Solve -3 + k = 3*x for x.
-1
Suppose 47*h = 43*h. Solve h*f - 15 = 3*f for f.
-5
Let a(p) = -p + 1. Let k(z) = z**3 - 3*z**2 + 2*z - 1. Let m(t) = -2*a(t) - k(t). Let r be m(2). Solve r*x = -2*x for x.
0
Let i = 61 + -57. Solve -i*h - 12 = -8*h for h.
3
Suppose 3*s - 9 + 6 = 0. Suppose 2*w - s = 7. Solve -t + w*t - 9 = 0 for t.
3
Let t be (14*(-5)/30)/((-2)/6). Solve b + 2 = t for b.
5
Let d = -2 - -1. Let r = 5 + d. Suppose 8*x = r*x. Solve -2*t + 10 + x = 0 for t.
5
Let p be 2/(-8) + (-319)/(-44). Suppose -4*a + 2*a + p = -3*q, -q + 1 = 0. Solve -a*w = -27 + 2 for w.
5
Let j(i) = 6*i + 3. Let l be j(7). Suppose 4*c - c = r - 28, 0 = 5*r + 4*c - l. Solve 1 = -4*v + r for v.
3
Suppose 4*c - 5*l + 25 = 0, -5*c - 3*l + 15 = -3*c. Solve -4*o + o + 9 = c for o.
3
Let k(m) = -m**2 + 5*m - 4. Let p be (-16)/(-7) - (-36)/(-126). Let u be k(p). Solve -u*x - 15 = -7*x for x.
3
Let c(r) = -r**3 - 5*r**2 - 5*r - 2. Let b be c(-3). Let m = b + 5. Suppose m = 4*l + 1 - 41. Solve -4*y + 30 - l = 0 for y.
5
Let c(b) = -b**3 - b**2 - b + 3. Let h be (0/(-4))/(2*1). Let x be c(h). Solve 0 = -w + 2 + x for w.
5
Suppose -4*w = 3*w - 14. Solve n + 1 + w = 0 for n.
-3
Let k be (1 + 0)*(-1 + 0). Let d(j) = -5*j**3 - 1. Let f be d(k). Solve -12 = r - f*r for r.
4
Suppose 3*b = 4 + 11. Let w = b - 2. Solve 3*c - 2*c - w = 0 for c.
3
Let u(n) = 2*n**3 + 3 - 4*n**3 - 5*n**2 + n**3 + 0*n**3. Let f be u(-5). Solve f*w = -w + 12 for w.
3
Let i(p) = 3*p - 1. Let k be i(3). Suppose -5*c - 7*m + 95 = -3*m, 3*c + 3*m - 60 = 0. Suppose c = -3*d - 2*d, 17 = o - 5*d. Solve -o = -5*x + k for x.
2
Suppose 4*b = -w - 6, -w - 3*b = -2*w + 8. Solve -5*k + 12 = -w*k for k.
4
Let m(c) = 0*c**2 + 2*c + c**2 - 1 - c. Let r be -1*(-3)/4*-4. Let x be m(r). Solve x + 1 = 3*q for q.
2
Suppose 0*n + 4 = 2*n. Let u be 15*n/((-12)/(-2)). Let z(k) = 2*k**2 + 2*k + 1. Let w be z(-1). Solve -u*i + w - 26 = 0 for i.
-5
Suppose -8*a - 5 = -5. Solve -5*y + 3*y = a for y.
0
Let o be -4 + 2 + -1 + 5. Solve 0 = -o*i - i for i.
0
Let y(p) = -p. Let r be y(-4). Suppose 13 - 2 = 5*t + 2*n, -3*n + 13 = r*t. Solve 4*q - 3*q = t for q.
1
Let l be (-22)/(-6) - 12/18. Solve -l*v - 15 = -8*v for v.
3
Let u be (-2 - 3)*12/10. Suppose 2*r - 5*c + c - 26 = 0, -2*c = r - 9. Let w = r + u. Solve w*h - 5 = -25 for h.
-4
Let o = -4 + 6. Solve 4 = -o*v - 2 for v.
-3
Suppose -29 = -3*g - 2. Let v(t) = -g*t + 13*t - 2*t. Let a be v(1). Solve a*f = 7*f + 15 for f.
-3
Suppose -4 = -4*x + 2*x. Suppose -q = -3, 0 = n - x*q - 2*q + 12. Solve -v + n*v + 5 = 0 for v.
5
Suppose -3*y = -8*y. Solve -v - 2*v = y for v.
0
Let h(s) = -s**3 - s**2 + s + 1. Let k be h(-1). Suppose 2*m - 6*m = k. Suppose 24*y = 19*y. Solve m = -y*v - 3*v + 9 for v.
3
Let y be 3 - 3*(-2)/(-2). Suppose 2*f - 4*f = y. Suppose -j = -3*m - 10, 0*j + 5*j - m - 50 = f. Solve d = -4*d - j for d.
-2
Let k be 4/8 + 9/2. Suppose -x + 18 = 5*q, 2*x - 6*x = k*q - 12. Solve 6 = -q*u + u for u.
-2
Let b be (-1)/((-10)/(-6) - 2). Let a = -3 - -7. Solve 0 = -b*z + 11 + a for z.
5
Let b(d) = 0 + 2 - 4 + 3 + d. Let v be b(1). Solve 4*w - v = 2 for w.
1
Suppose -5*u = -5*l - 10, -2*l = -u + 4*u - 11. Suppose -5 = 7*h - 8*h. Suppose -5*f - 20 = -h*n, -3*n - 2*f - u = -0*n. Solve -3*j - n - 5 = 0 for j.
-2
Let x(f) = f**3 + 8*f**2 - 11*f - 13. Let r be x(-9). Let k be (-8)/(-10) + r/25. Solve 5*i - k = 19 for i.
4
Let t(w) = 4*w + 6. Let a be t(5). Let x(k) = -2*k + 1. Let d be x(-1). Suppose z - d*z + a = o, 10 = 5*o. Solve -4*n = -n - z for n.
4
Suppose -l + 12 = -3*l - 3*g, 0 = 3*l + 5*g + 20. Solve 2*w - 5*w = l for w.
0
Suppose -2*w + w = -2. Let v = w - -3. Let o = 2 + -2. Solve o*d = v*d for d.
0
Suppose r = -4*l + 6, 4*l = l + 2*r - 1. Solve s - 5 = -l for s.
4
Let q = 4 + -55. Let b = -22 - q. Suppose -3*h + b = -5*v, -3*h + 12 = -2*h - 4*v. Solve z + 3*z = h for z.
2
Let k = 11 + -7. Suppose -4*d + 5*g - 14 = -8*d, 0 = -2*d - 4*g + 4. Solve k*s = d*s + 4 for s.
-2
Let q(h) = h**2 + 2*h. Let g be q(-4). Let b(j) = -3*j. Let l be b(-3). Let k = -6 + l. Solve g*y = k*y for y.
0
Suppose 7 = 5*y + 2*n - 5*n, -n = -4*y. Let p be 0 - y - -3*8. Let f = 45 - p. Solve -f = -4*u - u for u.
4
Suppose -4*o + 6*o - 4 = 0, -3*g + 4*o = -1. Suppose 2 = g*u - 4*f - 3, u + 3*f = 19. Solve -3*r - 1 = -u for r.
2
Suppose -3*t + t - 4 = 0. Let g be t/(-6) + 7/(-21). Solve g = 5*p - 0 - 10 for p.
2
Let z be 4/(-12) + (-26)/(-6). Let k = z + -4. Solve 0 = -2*q - k*q - 4 for q.
-2
Let o(q) = -q - 14. Let p be o(-7). Let t(r) = r**2 + 6*r + 3. Let g(d) = -d - 1. Let z(k) = -g(k) + t(k). Let f be z(p). Solve -12 + 32 = f*n for n.
5
Let n = 23 - 23. Let l be (14/4)/(2/4). Let h(f) = f**3 - 4*f**2 + 2*f - 4. Let r be h(4). Solve -j - l + r = n for j.
-3
Let x(t) = -t**2 - 8*t. Let l(q) = -5*q**2 + 7 + 2*q + 4*q**2 + 0*q. Let u be l(5). Let h be x(u). Solve 0 = -h*r - r + 4 for r.
4
Let a = -3 - -2. Let p be (1 + a)/(10/(-5)). Solve 5*t - 12 + 2 = p for t.
2
Let r be (-51)/(-5) - (-2)/(-10). Solve -9*x - r = -4*x for x.
-2
Suppose -v - 3*v + 3*p + 9 = 0, 16 = 4*v + 4*p. Let g(u) = 4*u - 5. Let t be g(v). Solve t*h + 16 = 3*h for h.
-4
Suppose 4*z = 3*z - w - 2, -4*z + 1 = w. Suppose z = g - 2. Suppose -26 = -g*u + 22. Solve 3*t = -t - u for t.
-4
Let y = -19 + 25. Suppose -4*w = -2*b - 20, -y*b - 2*w = -3*b - 10. Solve -8 = -2*l - b*l for l.
4
Suppose 0 = -0*r + 3*r - 21. Let k = r - 4. Solve -k*g - 1 + 4 = 0 for g.
1
Suppose 0 = 5*p + 4*d - 581, -5*p - 5*d = -0*p - 585. Suppose 0 = -0*q + 5*q + 4*b - p, 2*q = 2*b + 56. Let n be (-6)/4*12/(-9). Solve 3*t - q = -n*t for t.
5
Let u = 15 + -10. Suppose 0 = w - 18 + 4. Solve -u*c + w + 11 = 0 for c.
5
Let l(c) = -2*c - 17. Let i be l(-10). Solve 5 - i = -t for t.
-2
Let h be (32/(-16))/((-6)/9). Solve h*s = 5*s + 8 for s.
-4
Suppose -3*g = -0 - 3. Solve -2*q - 5 = g for q.
-3
Suppose w + 3 = 5. Suppose 4*h = 10 + w. Solve 0 = h*g + 2*g for g.
0
Let y = 7 + -9. Suppose -2 - 2 = -4*p. Let o be (p - 1) + (-2 - y). Solve 2*m - 5*m = o for m.
0
Suppose 21 = 4*o - 15. Suppose o = -n + 4*n. Solve 0 = p - n + 8 for p.
-5
Let j be 7/3 + (-1)/3. Let m be (-2)/4 - (-5)/j. Let a be (0 - (-1)/2)*(-16 + 26). Solve -a = m*s - s for s.
-5
Suppose -3*b + 2 = 17. Let a = b + 0. Let d be a*(1 - 9/5). Solve 0 = -3*c + d*c for c.
0
Let u = 3 + 5. Suppose 3*t = 7 - 1. Suppose 24 = -t*x + 8*x. Solve -u = -0*m - x*m for m.
2
Let k(t) = -t + 9. Let g be k(4). Suppose 5*c = 4*v + g - 37, -11 = -5*v - c. Suppose 0 = -v*q + 12 - 3. Solve -q = 3*n + 9 for n.
-4
Let j be (-12)/9*(-2 - 1). Solve 4*o - 24 = -j for o.
5
Let v(o) = -3*o - 8. Let y be v(-8). Suppose 3*w + 4 - y = 0. Let x be 2/w + (-49)/(-14). Solve m = x*m - 3 for m.
1
Suppose 5*z + 10 = k, -7 = 2*z - 3. Let w be 1/((-1)/(-2)) - k. Suppose -3*a - w*a = -20. Solve -a*x = x for x.
0
Let i(s) = s**2 - s - 6. Let r be i(-6). Suppose 4*y + 0*y = r. Let q(j) = j**3 - 3*j**2 + 1. Let u be q(3). Solve 4*g - u = -y for g.
-2
Let z(j) = -5*j**3 + j**2 + j. Suppose 0*y + 3 = 3*y. Let c = 0 - y. Let x be z(c). Solve -13 = -x*h - 3 for h.
2
Suppose 3*f = -2*n + 15, 3*n - 6 = 2*f - n. Solve 0 = -f*q - q for q.
0
Suppose f - 1 = -0*f. Let v be 3 + f - 3 - -6. Solve v = 3*b + 16 for b.
-3
Let k(s) = 0*s - 6*s**2 + 2*s + 1 - 4*s + s**3 + 3*s. Let w be k(6). Solve 0 = 4*v + w + 13 for v.
-5
Let k(u) = u**2 + 24*u + 46. Let i be k(-22). Solve 0 = i*q + 3 - 1 for q.
-1
Suppose -r + 2 = -0*r. Let l(y) be the third derivative of -y**5/60 + y**4/24 + y**3/3 + y**2. Let t be l(r). Solve 0*c + c = t for c.
0
Let i = -113 + 114. Suppose u - 2*u = -4. Solve i = -m - u for m.
-5
Suppose 2*n - 2 = -4*d, -3*n - 9*d = -6*d - 15. Solve 8 = -n*j + 7*j for j.
-4
Let m(r) = -r**2 - 8*r + 6. Let l be m(-8). Let y(z) = 5*z - 3*z - 4*z - l. Let x be y(-4). Solve -x*j - 3 = -5*j for j.
1
Suppose 2*c - 8 + 22 = 0. Let s = 0 - c. Let r = -2 + s. Solve -4*n = -r - 7 for n.
3
Suppose -4*i - 5 = -21. Solve -i = -b - 3*b for b.
1
Suppose 8 - 20 = -4*t. Solve -g = t*g + 8 for g.
-2
Suppose -2*w + 4*x - 7 = 23, x - 81 = 4*w. Let g = -16 - w. Solve 0 = -0*c - g*c for c.
0
Let r = 20 - 17. Suppose 0 = -2*y + r*o + 16, 0 = 2