 4*(i + 0/3). Let d(k) = -k**3 + 8*k**2 - k + 11. Let w be d(8). Solve -w*u + 2*u = l for u.
-4
Let p(n) = n + 3. Let g(x) = -x**3 + 4*x**2 - 2*x. Let i be g(3). Let a be p(i). Suppose v - 3*r = 3 - 1, -3*v = 2*r - 6. Solve -v*y = -a*y - 4 for y.
-1
Suppose -a + 2*z + 2 = -9, -3*a = 5*z + 11. Solve 1 = -a*l - 2 for l.
-1
Suppose 0 = -r - 2*r + 12. Solve -8 = -4*m + r for m.
3
Suppose 2*u + 4 = m - 5, 3*m = -5*u - 17. Let r be (-16)/m*(-3)/6. Solve k + 3*k = r for k.
2
Let x(u) = u + 5. Let r be x(0). Suppose -h - s = 2*h - 50, 0 = 4*h - r*s - 35. Let o be (0 + 1)*(4 + -3). Solve h = 4*t - o for t.
4
Let a(r) = -4*r - 7. Let t be a(-3). Let x be ((-3)/2)/(3/(-4)). Let d = 12 + -7. Solve -t = -x*q + d for q.
5
Suppose 0*w = w - 2. Solve -7*y = -w*y for y.
0
Let v(q) = q**3 + 3*q**2 - 4*q + 4. Let j be v(-4). Suppose -3*a = -2*k + 10, j*k + 0*k - 20 = 5*a. Suppose -5*w + 32 = -3*w. Solve -4*d + a*d = -w for d.
4
Let m(q) = 0*q - 2*q**2 - 3*q**3 + 4*q**3 - 2*q + 2. Let z be m(3). Let k = 112 - 110. Solve p + z = k*p for p.
5
Let w(s) = -s**2 - 6*s - 4. Let z be w(-3). Suppose z*q = -0*q + 115. Suppose 0 = 4*j - 3*c - q - 5, -28 = -2*j + 5*c. Solve j*i - 17 = -1 for i.
4
Let i = -16 + 20. Solve -i*l - 12 = -l for l.
-4
Let c(b) = -b - 6. Let z be c(-8). Suppose -z*h + 7*h = 15. Solve 6 = -0*q + h*q for q.
2
Let n(t) = -t**2 - t + 4. Let p be n(0). Solve -21 = 5*k + p for k.
-5
Let z(a) = -a**2 - 6*a - 3. Let d be z(-5). Solve -h = d*h - 9 for h.
3
Let w be -1 + (3 - 1 - 1). Suppose w + 4 = c. Solve -l + 3*l - c = 0 for l.
2
Suppose 32 + 4 = 3*i. Solve 3*x = -0*x - i for x.
-4
Suppose 0 = 8*s - 25 - 15. Solve -33 = s*v - 13 for v.
-4
Let b = 78 - 76. Solve 0 = b*d - 6 for d.
3
Let m = 207 - 203. Solve 8 = m*a + 24 for a.
-4
Let l(z) = -z**3 - 3*z**2 - 2*z + 2. Let g be 4/6 + (-26)/(-6). Suppose 4*h = 7*h - g*f + 21, 5*f - 25 = 5*h. Let i be l(h). Solve 7*t = i*t + 15 for t.
3
Let v(c) = c - 9. Let h be v(8). Let y be (5/15)/(h/(-6)). Solve y*a - 20 = -2*a for a.
5
Let p(b) = b**2 + 2*b + 1. Let s be p(-1). Suppose -18 = -z - l - 2*l, -2*z = 4*l - 26. Solve -z*j + j + 8 = s for j.
4
Let g(z) = z + 3. Let c be g(-3). Solve -x + c + 1 = 0 for x.
1
Let a(r) be the first derivative of -r**3/3 + 5*r**2/2 - 2*r + 3. Let y be a(3). Suppose -5*x + 4*x - 4 = -h, -y*x = 2*h - 14. Solve h*n + 10 = -15 for n.
-5
Let x be 1 + 24 + (2 - 0). Suppose -x = -4*i - 7. Solve -1 = p - i for p.
4
Let b = -1 - -2. Let m be b/(34/(-12) + 3). Solve -z + m*z = 15 for z.
3
Suppose -2*d + 48 = 5*v, -8 - 12 = -4*v + 3*d. Solve 4*z - 2*z = -v for z.
-4
Suppose 5*l - 4*y = y + 55, 5*y = 4*l - 48. Solve 4*x - l = 1 for x.
2
Let h(u) = -u + 1. Let b be h(7). Let w be 3/b*-1*-8. Let g be -3 + (2 - w - 1). Solve g*c = 3*c for c.
0
Let v(h) = h**2 + 5*h + 3. Let k be v(-5). Suppose 0 = -4*z + k*z + 4. Let t = -2 + z. Solve -w = w - t for w.
1
Suppose -7*t = -2*t - 10. Solve -2 = t*l - 10 for l.
4
Suppose 7*q = 2*q + 5. Suppose -26 = -3*u - j, -5*u - 3*j = -6*j - 48. Let w = q + u. Solve -4*r = -2*r + w for r.
-5
Suppose 21 = q + 18. Solve q*h = 4*h + 1 for h.
-1
Let w be (-2)/(-3) - 2/3. Let d be 3 - 2*(-18)/(-4). Let n = d - -12. Solve w*q - n = 2*q for q.
-3
Suppose -5*x + t + 40 = -2*x, 3*x - 2*t - 44 = 0. Solve -f - 2*f - x = 0 for f.
-4
Let i(s) = s**2 - 4*s - 8. Let x be i(6). Let b = x + 0. Solve b = 3*v - v for v.
2
Let c = -76 - -91. Solve 4*q = q - c for q.
-5
Suppose -d + 3 - 4 = 0. Let z be (d + 1)/(-1 + -2). Solve z = -5*u + 3*u for u.
0
Suppose x = -x + 30. Solve 3 - x = -3*r for r.
4
Suppose 0*d - 2*d = 0. Solve d*l + l - 4 = 0 for l.
4
Let k be (-3 + 1 - -1) + 2. Let b(r) = -r + 9. Let i be b(6). Suppose -p - 1 = -i*w - 12, w = -k. Solve v = -v - p for v.
-4
Let f(n) = -n**2 - 9*n - 17. Let p be f(-6). Solve 7 = 2*i + p for i.
3
Let w = 0 - -3. Let k be (2 - 1)*(w - -1). Suppose -7*p + 4 = -k*i - 3*p, -i = -2*p + 4. Solve n - i*n = 1 for n.
-1
Let n(o) be the second derivative of -o**5/20 + o**4/3 - 2*o**3/3 + 3*o**2/2 + 2*o. Let b be n(2). Solve 2*f = -b*f for f.
0
Let t(r) = -7*r**2 + 8*r + 4. Let b(a) = -8*a**2 + 9*a + 4. Suppose y - 2*y - 6 = 0. Let l(c) = y*t(c) + 5*b(c). Let o be l(3). Solve -w + 8 = -o*w for w.
-2
Let u = -7 - -7. Suppose 4*j + a + 4 = u, 0 = -j - j - 5*a - 20. Solve 3*o = -j*o for o.
0
Suppose 5*z + 5*n - 20 = 0, -4*z - 3*n + 8 = -4. Solve -5*c + 5 = -z*c for c.
1
Let y = -4 - -5. Solve -3*j + y = -2*j for j.
1
Let b(g) = -7*g + 3. Let d be b(5). Let u be d/(-10) + 4/5. Solve 2*w - u = -0 for w.
2
Let r = 14 - 8. Suppose -d - d - 5*v + 25 = 0, -5*d = 5*v - 25. Suppose d*a + r = 3*a. Solve -3*j - a = -2*j for j.
-2
Let n = -16 + 17. Solve n - 5 = j for j.
-4
Suppose 8 = t - 6. Suppose -11 = -3*a - 2*y, 5*a - y = -0*y + t. Solve -2*m = a*m + 5 for m.
-1
Let k = -6 + 5. Let z be (-1)/(k + 4/5). Solve -z*d + 4*d - 2 = 0 for d.
-2
Let f be ((1 - 1)*4/4)/(-2). Solve 6*j - j = f for j.
0
Suppose 6*m = m. Suppose -d + v + m*v = -9, 3*d + 4*v = 62. Solve -6 + d = -4*b for b.
-2
Let u be ((-49)/2)/7*-2. Let w(m) = -m**2 + 8*m - 4. Let y be w(u). Solve -3 = -y*c - 0 for c.
1
Suppose 0 = -4*p + 5 + 3. Let s(g) = 2*g**2 - 3*g. Let h be s(p). Solve -c = -2*c + h for c.
2
Let f = 71 - 56. Solve 2*u = 7*u + f for u.
-3
Let a(x) = -x**2 - 7*x + 14. Let l be a(-8). Solve l + 9 = 5*d for d.
3
Let g be 4/22 + (-84)/(-22). Suppose 2*y = -9*q + g*q - 20, q - 13 = 3*y. Let m be y/(-4) + 6/(-24). Solve m - 6 = -j for j.
5
Let s = 2 + -2. Suppose s = -4*h + 8 - 0. Solve 15 = h*i + 3*i for i.
3
Let g be 38/6 + -6 + (-2)/6. Solve -9*n + 12*n = g for n.
0
Let c(t) = -t**3 - 4*t**2 - 2*t + 3. Let u be c(-3). Let h = 2 - -2. Suppose u = h*z - z. Solve -4 + z = 2*b for b.
-2
Suppose 0 = -4*x + 10 + 10. Suppose l - x*z = -10, -2*z - 4 = 4*l - 4*z. Suppose d + 4*t = 2*d + 8, l = -d + 3*t - 5. Solve 4*w = -4 - d for w.
-2
Let c(l) = -l**3 + 9*l**2 - l + 12. Suppose 5*b = -5*w + 50, 5 = 5*w - 5. Let x(y) = y + 1. Let o be x(b). Let s be c(o). Solve i + 12 = -s*i for i.
-3
Let l = -6 + 8. Let o = l + -2. Solve 0 = -n - o - 2 for n.
-2
Let b = 0 + 8. Suppose 3*j = -2*j + 10. Let o be (b/10)/(j/5). Solve 0 = s - 1 - o for s.
3
Suppose -11 = -4*y + 1, -8 = 2*x - 4*y. Solve 0 = x*v - 7*v + 15 for v.
3
Let b = 13 + -13. Solve b = q + 2*q for q.
0
Let y be (-2)/(-13) + (-999)/(-351). Solve -5 = -y*j + 10 for j.
5
Suppose -4*k - 16 = 0, x + 6*k - 7*k - 6 = 0. Solve -1 = x*w - 5 for w.
2
Suppose -15 = -5*k, 4*x + 3*k = -0*x + 21. Suppose 2*a - x = -a. Solve 0 = 5*m - 4 - a for m.
1
Let t(p) = 2*p**2 + 3*p. Let c be t(-2). Let q be -6*(c - (-7)/(-3)). Let f be (-186)/(-15) - q/5. Solve 0 = -5*d - 2 + f for d.
2
Let w = 7 - 3. Let o be w/(-4*2/(-4)). Solve -3*h - 5 = -o for h.
-1
Suppose -z = 4*z - 50. Suppose -2*r = 2*r - 8. Suppose -p + 0 = r*o + 4, -15 = -3*p + 3*o. Solve -p*q + 0*q + z = 0 for q.
5
Let c be 3/9 - (-8)/3. Suppose -6*r + c*r = -4*o - 79, 3*r = 5*o + 74. Suppose r = 5*s + 8. Solve s = -j + 1 for j.
-4
Suppose 2*a = f + 4, -2*f - 4 = -4*a + 2*f. Solve 0 = -i + a - 6 for i.
-3
Let t(w) = -5*w**3 - w - 1. Let y be t(-1). Suppose -5*c = -2*c - 5*d - 14, -d - 34 = -3*c. Solve y = 4*r + c for r.
-2
Let r(g) = g**2 + 7*g + 8. Let u be r(-6). Solve -u*w = w + 6 for w.
-2
Let t be (1 + 2)/(6/8). Suppose 0 = t*m - 0*m - 32. Suppose -2*c - 14 = 3*b - 36, -2*b - 3*c = -m. Solve -5 = 3*f + b for f.
-5
Let r = 56 + -56. Solve -4*a - 4 = -r for a.
-1
Let z(l) = 5*l + 20. Let d be z(0). Solve -8*r + 3*r + d = 0 for r.
4
Suppose p + 7 = -4*s + 28, 5*s + p = 25. Suppose 2*v - 12 = d, -5*v + s*d + 6 = -24. Solve -c = -v*c for c.
0
Suppose 5*v - 638 - 227 = 0. Suppose 2*q = -3*q - y + v, q - 4*y = 43. Suppose -3*n + 5*p = -63, -n = n - p - q. Solve 3*u + u = n for u.
4
Let f(s) be the third derivative of -s**5/60 - s**4/4 - 7*s**3/6 - 5*s**2. Let o be f(-5). Let h = -2 - o. Solve h = a + 3*a for a.
0
Suppose -i - 3*u - 4 = 0, i + 10 = -0*i - 5*u. Suppose -4*c = -f + 5*f - 16, -i*f + 20 = -4*c. Solve -m - 5 = -c for m.
-5
Suppose 0 = -5*r - g + 4*g + 21, 4*r - 3*g = 18. Solve r*v = -v - 16 for v.
-4
Let g(f) be the first derivative of 0*f**2 + 0*f + 1/3*f**3 + 2. Let v be g(-1). Solve -v = -q - 2 for q.
-1
Suppose 4*q = 2*x + 30, -3*q = q + 2*x - 26. Suppose -q - 3 = -2*r. Suppose 3*n + 1