t be 16/(-6)*(-4)/(-16)*-6. Solve z = t*k + k + 5 for k.
-1
Suppose 3*v - 2*s = 24, 0 = -v + 4*v - s - 24. Suppose -5*o + 2 = -v. Suppose 2 = o*f - 2. Solve -5 = q - f for q.
-3
Let y be 11/3 - 4/6. Let w(a) = 2*a**2 - 4*a + 4. Let v be w(y). Solve 0 = -2*f - 3*f - v for f.
-2
Let q = 10 - 10. Solve -3*b + 2*b - 3 = q for b.
-3
Suppose -h - h + 12 = 0. Let y be h/4 - (-3)/2. Let m be y/(-2) - (-3)/2. Solve q = -m*q + 4 for q.
4
Let u be (-34)/(-6) + (-6)/9. Suppose u + 0 = -w. Let b = 5 + w. Solve 5*a - 15 = -b for a.
3
Let t be (40/12 - 3)*0. Solve -5 = -t*m + m for m.
-5
Suppose -2*p - 5 = 3*b - 7, -5*b - 2 = -2*p. Solve 0 = -4*c - 5 + p for c.
-1
Suppose i = -4*q - 15, 4*q + 15 = -2*i - q. Solve -2*h - 3*h = i for h.
-1
Suppose 0 = -2*x + 2*i + 5 + 1, -5*x - 5*i + 55 = 0. Suppose -5*y + 8 + x = 0. Suppose 2*m = -y*m. Solve m = -2*f - f - 6 for f.
-2
Suppose 4*b + 0*b = 20. Solve 0 = -b*j - 9 - 11 for j.
-4
Let q = 113 + -113. Solve 1 = -q*x + x for x.
1
Let o = -3 + 9. Suppose o - 4 = a. Solve a = 3*u - 2*u for u.
2
Let a(n) = n**3 + 8*n**2 - n + 8. Let u be a(-8). Suppose -3*q - z + 4 = 0, 3*q = 5*z - 13 + 47. Suppose -y - q*y = -u. Solve -5*v + 21 = -y for v.
5
Let i(k) = 3*k + 28. Let d be i(-8). Solve s = -d*s for s.
0
Suppose 0 = 4*g - 2*o - 30, 2*g + 0*o + 5 = -3*o. Suppose g*c - 3 = -28. Let w be (-2)/(-2) - (c + 2). Solve w - 6 = 2*s for s.
-1
Let z(w) = 2*w. Let m be z(1). Let a = 2 - -2. Solve 12 = -m*f + a for f.
-4
Let r(v) = v**2 + 7*v + 5. Let t(s) = -s**2 + 3*s - 3. Let n be t(4). Let c be r(n). Solve c*y - 41 = -16 for y.
5
Suppose 3*p + y - 1 - 6 = 0, -15 = -5*p - y. Solve -2*k = 2*k - p for k.
1
Suppose 4*x + 84 = -6*v + 2*v, -3*x - 53 = v. Let c(b) = -b - 14. Let n be c(x). Solve 2*h = -n*h - 8 for h.
-2
Let z = 8 - 4. Suppose 0 = -z*f + f + 6. Solve -f*o - 3 + 9 = 0 for o.
3
Let w = -1 - -1. Suppose 0*q - 2*q + 66 = 5*c, w = -q + 3. Solve -c = 3*i + 3 for i.
-5
Let j(u) = 4*u**2 + 2*u + 1. Let w be j(-1). Solve w*y - 12 = -0*y for y.
4
Let d(p) = 9*p - 2*p + 8 + p - p**2. Let x be d(7). Suppose b = 2*v - 2, 2*b + 2*b - 31 = -5*v. Solve -5 - x = -b*o for o.
5
Suppose -3*g + n - 3 = -2*n, -20 = -4*g - 4*n. Suppose -y - 5 = -3*u, g*y - u + 7 = 4*u. Solve y*k - 2 = 6 for k.
2
Let z(h) = -h**2 + 8*h + 4. Let i be z(4). Solve -3*w - i = w for w.
-5
Let y be (-20)/6*(-3)/2. Solve -4*s = -y*s + 3 for s.
3
Let h(m) = m**2 - 2*m - 4. Let b be h(4). Let v(r) = 2*r - 6. Let s be -7*(-2 - -4)/(-2). Let x be v(s). Solve -x*w = -b*w + 16 for w.
-4
Let g(c) = -c**3 - 4*c**2 + 5*c + 4. Let i(z) = -2*z**2 + 2*z + 1. Let y be i(2). Let w = y - 2. Let q be g(w). Solve 1 + 3 = -q*u for u.
-1
Suppose 0 = 2*i - 4, -5*z + 71 = -3*i + i. Suppose 0 = p - z + 12. Solve -2*c - 15 = p*c for c.
-3
Suppose 5*y + 10 = 0, 5*b - b - 26 = 5*y. Suppose 4 - 20 = -4*l. Suppose -14 = -4*m - 2*w + 7*w, 2*w = l*m - 20. Solve -5*s + m = -b for s.
2
Let v be (-8)/(-16) - 6/(-4). Solve -v*w + 6*w - 12 = 0 for w.
3
Suppose -5*p + 92 = 4*c, 0 = 5*c - 9 - 6. Suppose -2*x + 5*r + p = 2*x, -x + 5*r = -4. Let n = -12 - -24. Solve 0 = -0*d + x*d + n for d.
-3
Let n = 132 - 120. Solve n*q = 9*q for q.
0
Let x(q) = -q - 8. Let r be x(-6). Let w be (3/r)/((-4)/56). Let b = w + -15. Solve j + j = b for j.
3
Suppose -4*w = -w - 6. Solve w*x = -3 + 9 for x.
3
Let w(n) = -n + 10. Let s be w(7). Solve f = -2*f - s for f.
-1
Let x be (5 + 16/(-4))*3/1. Solve -16 + 4 = x*j for j.
-4
Let k be ((-1)/(-2))/((-1)/(-6)). Suppose k = a + 4*h - 5, a = 4*h. Suppose 2*i = 2*w - a, -i - 10 = -4*w + 2*i. Solve -z - w*z = -15 for z.
3
Let y be (-3 - 2)*(-2 + 1). Suppose y*a + 10 = 0, 5*v + 5*a = -2 - 3. Solve -z + 0*z + v = 0 for z.
1
Let m(g) = 0*g + g + 1 - 2*g - 11. Let z be m(-11). Solve -7 + z = 2*f for f.
-3
Let j(i) = 6*i - 2. Let x = 7 + -5. Let y be j(x). Solve 0*w + y = -2*w for w.
-5
Let j = -1 + 4. Suppose -3*x = 9, 0*d - 4*x = d + 9. Suppose d*l = 4*n - 54, j*n = 5*l + 61 - 15. Solve -4*k + n + 4 = 0 for k.
4
Suppose -2*g = g + 3*a - 39, -g - 2*a = -13. Solve -5*h + 3 = g for h.
-2
Let q(g) = -7*g + 2. Let m(v) = 13*v - 5. Let z(f) = 4*m(f) + 7*q(f). Let a be z(4). Let b = -6 + a. Solve -t = -b*t + 3 for t.
-3
Let v(n) = 2*n + 1. Let x be v(3). Solve -3*j + 12 = -x*j for j.
-3
Suppose 5*x + 10 = 5*i, 3*i - 5 = -3*x + 13. Solve -7*d + x*d = -10 for d.
2
Let s = 0 - 2. Let d be 1 + -1 + s/(-2). Let a be d*7 + (-8)/4. Solve 3 = -a*p + 28 for p.
5
Suppose 4*k - 2*k - 3 = q, -5*k + 3*q = -6. Solve k*s - 2 = 5*s for s.
-1
Suppose 7*w - 10 = 3*u + 3*w, 0 = 2*u - 4*w + 12. Solve u*s - 2 = 8 for s.
5
Let u = -9 - -14. Suppose 5*q - 5*m = u, 3*q + 4*m = 2 + 8. Suppose -4 = -d - 0*d. Solve -q*w + d*w = 0 for w.
0
Let k = -1 + 0. Let l = k + 1. Suppose 4*z - 6 = 2*z. Solve l = -j - z*j + 12 for j.
3
Let u be (-1)/(-3) - 68/(-12). Let q(c) = 6*c - 4. Let w be q(3). Solve u + w = 4*z for z.
5
Suppose 4*d = j + 4*j - 472, j - 83 = -3*d. Let a = 44 - j. Let t be 2/(-6) + a/(-9). Solve t = -6*q + q for q.
-1
Let u(k) = k**2 + 2*k. Let d be u(-2). Solve r - 1 + 5 = d for r.
-4
Let g(z) be the first derivative of z**3/3 + z**2/2 - 2*z - 2. Let v be g(-3). Solve 2*d = d + v for d.
4
Let a(z) = z**2 + 2*z - 4. Let v be (-20)/4 + (-3)/(-3). Let s be a(v). Solve 3*y = s*y + 3 for y.
-3
Let w = -41 - -47. Let q be ((-4)/(-5))/((-1)/(-5)). Suppose -q*i + 20 = i. Solve 26 = i*t + w for t.
5
Let m(h) = -5*h**3 + 2*h**2 + 2*h + 1. Let d be m(-1). Let f(b) = -b**3 + 7*b**2 - 6*b + 7. Let u be f(d). Solve -3 + u = -4*l for l.
-1
Suppose 5*m - 5 = 4*m. Solve 0 = -2*k + m*k - 15 for k.
5
Suppose 0 = 3*d - 2*z - 4, -5 + 3 = z. Solve 2*o + 2*o = d for o.
0
Let m = 1 - -2. Suppose 2*p + 0*p = -m*d + 21, 0 = d - 5. Suppose l + 4*s = -16, 3*s + 12 = -3*l - 0*s. Solve -f + l*f = p for f.
-3
Let k be 21/56 + (-9)/24. Suppose 4*f - 3*f - 2 = 0. Suppose 0*q + r + 4 = f*q, 10 = 5*q + 2*r. Solve -q*y = -2 - k for y.
1
Let y(c) be the third derivative of c**5/60 + c**4/6 - 11*c**3/6 - 4*c**2. Let x be y(-6). Solve -b - 3 = -x for b.
-2
Let h = 13 - -1. Let x = -12 + h. Solve x = -q - q for q.
-1
Suppose -4*d + 4 = 0, 5*m - 21 = -3*d + 7. Suppose 3*s = j - 6, -m*s - 3 - 12 = -2*j. Suppose -z + j = 2*z. Solve k = -2 + z for k.
3
Let h = -3 + 4. Solve a + 3 - h = 0 for a.
-2
Suppose 4*b - 14 = -2*h, 4*b + 4*h - 4 = -0*b. Solve g + 25 = b*g for g.
5
Let z(v) = -3*v + 3. Let b be z(-3). Suppose 0*n + b = 4*n. Solve -n*p = p - 20 for p.
5
Let k be (-3 - (-3)/6)*-2. Suppose 25 + 35 = k*q. Let f be 2/(12/(-7) - -2). Solve 3*j - q = f*j for j.
-3
Let w be (((-40)/12 - -3)*0)/(-3). Suppose -d = -5*q + 76, 3*q = -2*q - 3*d + 72. Suppose 1 = -l + 3*m, 0*l - l - 3*m = -5. Solve w = -5*o + l*o + q for o.
5
Let d = -19 + 17. Let w be (-3 - 0 - 1)*d. Solve 4 = w*k - 6*k for k.
2
Let i = 5 + -2. Let y(b) = -b**3 - 5*b**2 - 6. Let a be y(-5). Let o = a + 10. Solve -i*c = -o*c for c.
0
Let r = 57 - 53. Solve 7 = -r*x - 13 for x.
-5
Let l be (3 + -3)/(-1 + 0). Suppose -r + 1 + 0 = l. Solve -z + 0*z = -r for z.
1
Suppose 2*t + 5*r - 5 = 0, -r - 4 = -4*t - 5*r. Solve t*c = c + 1 for c.
-1
Let h = 7 - 4. Solve -1 = h*s - 7 for s.
2
Let d(n) = n**3 - 4*n**2 + 2*n - 6. Let t be d(4). Suppose 24 = 2*k - 3*z, -2*k + t*z + 9 = -11. Solve -h - k = -1 for h.
-5
Let i(v) = v**3 - 4 + 2*v**2 - 2*v - 2*v + v**2. Let x be i(-4). Let s be -3 - -4 - (x + -1). Solve -3*d + d = -s for d.
3
Suppose -2*k + 5*k = 0. Suppose 4*i - 6*i - 18 = k. Let c be ((-8)/(-12))/((-2)/i). Solve c*y + 10 = y for y.
-5
Let j = 7 - 4. Suppose -10 - 5 = -j*q - 3*n, 2*q - 2*n + 10 = 0. Suppose -t = -q*t - 4. Solve t*l + 7 = 27 for l.
5
Suppose i - 3*i = 2*y - 16, -y + 2 = -i. Solve -9 - 11 = y*n for n.
-4
Let z be (-25)/(-9) + 2/9. Suppose 4*o - 5*o = 0. Suppose -a + 21 = 5*b, o*a - a - 9 = -5*b. Solve a*y = 3*y - z for y.
-1
Suppose 0 = 4*k - 4. Let c be (2 + k)*(-4)/(-4). Solve -2 - 4 = -c*h for h.
2
Suppose -23*v + 19*v = -12. Solve 6*k - v*k = 15 for k.
5
Let m(f) = f**3 - f**2 + 2*f + 2. Let o(c) = c**3 + c + 2. Let v(g) = -3*m(g) + 4*o(g). Let x be v(-3). Solve t = -t - x for t.
-4
Let b(v) = -v**2 - 7*v - 6. Let l be b(-5). Suppose 2*j - j = -l*z - 1, -1 = -3*z + j. Solve -w = -z*w + 3 for w.
-3
Suppose 0 = 3*h - 5*i + 46, 0*h - 1 = 3*h + 4*i. Let j(y) = -y**3 - 7*y**2 