 w be o(u). Solve w*h - 3 = h for h.
-3
Let x(f) = f**2 + 6*f - 8. Let d be (-12)/(-9)*(-2 - 4). Let k be x(d). Suppose 35 + 16 = 3*l. Solve 0 = -5*g + k + l for g.
5
Let w(n) = -7*n + 8. Let u(s) = -4*s + 4. Let c(d) = 10*u(d) - 6*w(d). Let t be c(8). Let m = t + -3. Solve k = m*k for k.
0
Suppose 5*k + 4*a - 6 = 0, -2*k - 2 = a - 5. Solve -k*r + 7*r - 15 = 0 for r.
3
Suppose -2*g + 28 = -p, 2*g + p + 52 = 6*g. Solve 3*q = -q - g for q.
-3
Let o(l) = 2*l + 2. Let b be o(-4). Let h = 6 + b. Solve 5*a = -h*a - 5 for a.
-1
Let g be ((-6)/7)/(1/(-7)). Suppose g*q = q. Suppose b + 4*b - 3*t - 3 = 0, 0 = -4*b - 2*t + 20. Solve 0 = -q*p + p + b for p.
-3
Suppose 3*h - 3 = 9. Let l = 16 - 13. Suppose 0 = 5*g + l*a, h*g = -g - 4*a. Solve -3*b + 6*b - 15 = g for b.
5
Suppose 3*o - 21 = -9. Solve -o*l + 5 = -3*l for l.
5
Let o(x) = x**3 - 3*x**2 - 2*x. Let a be o(3). Let s be (a/10)/((-1)/25). Let z(i) = i**2 + i. Let g be z(-1). Solve g*v = -3*v + s for v.
5
Let r(c) = 2*c**2 + 4. Let n be r(0). Solve -n*t + 3*t - 1 = 0 for t.
-1
Suppose 4*m + 5*u - 10 = 0, -2*m - 6 = -2*u - 2. Suppose -5*q - 6*k = -4*k - 8, -5*q + k - 4 = m. Solve -a + q*a - 4 = 0 for a.
-4
Let k = 6 + -9. Let v be 3 - (k - -4)*-2. Let a(u) = u**3 - 6*u**2 + 6*u - 2. Let y be a(v). Solve y + 1 = -4*l for l.
-1
Suppose -t + 0 + 4 = 0. Let l be 24/(-2)*t/(-12). Solve 0*d - l*d = 0 for d.
0
Let x be 0*((-15)/6 + 3). Solve x = 3*p - 0*p for p.
0
Suppose -3*c - 2 = -5*c. Solve k = 1 + c for k.
2
Let m be (-2)/3*(-4 - -1). Suppose 0*w = -m*w. Solve -5*v + w + 25 = 0 for v.
5
Suppose 0 = -v - i + 2*i - 5, 5*v = 4*i - 20. Solve 3*g - 7*g + 8 = v for g.
2
Suppose i + 7 - 3 = 0. Let r = i + 6. Solve -3*f + r*f = 0 for f.
0
Suppose 0*g - 2*j = -g + 10, -40 = -4*g - 3*j. Let v = g - -10. Solve 5*l + v = -0*l for l.
-4
Suppose 1 = 2*d - 1. Solve r + 4 - d = 0 for r.
-3
Suppose 0 = j + j - 24. Let o(z) be the third derivative of z**5/60 + z**4/12 - 5*z**3/6 + 3*z**2. Let y be o(-4). Solve 5*u - j - y = 0 for u.
3
Let h(n) = -n**3 + n**2 + 4*n - 3. Let t be h(2). Let x be (18/63)/(t/7). Solve x*k = 10 - 0 for k.
5
Let z = -8 - -11. Solve z*y + y = 16 for y.
4
Let i = -52 - -64. Solve 2*v + 2*v + i = 0 for v.
-3
Let c(d) = 6*d**2 - 4*d + 4. Let a be c(2). Solve -4*i - a = i for i.
-4
Suppose 0*n - 10 = -2*n. Suppose 0 = -5*t + 20, -3*w - 9 = -5*t + 2*t. Solve -n = -2*f - w for f.
2
Let f(g) = -g + 19. Let i be f(19). Solve -4*o + 20 = -i*o for o.
5
Let h(w) = w**3 - 4*w**2 - 2*w - 12. Let z be h(5). Solve 4*o + z = o for o.
-1
Let x(n) = n**3 - 7*n**2 - 7*n - 6. Let i be x(8). Suppose i = 2*h - h. Solve p - h = -p for p.
1
Let f(a) = a**2 + 11*a + 4. Let c be f(-9). Let d be (-6)/(-24) + c/(-8). Solve 0*g - d = g for g.
-2
Suppose 5*q + 24 = 4*z, q - 12 = -4*z - 36. Let i = -4 - q. Let w = 7 + 0. Solve 1 = -i*j - w for j.
-2
Suppose -3*q - 3*i + 12 = 0, -6*q + 5*i + 40 = -q. Let k(c) = -c**2 + 9*c + 2. Let x be k(q). Solve -4*s + 0*s = -x for s.
5
Let p(l) = 6*l**2 + l + 1. Let c be p(1). Solve 4*t - c = 8 for t.
4
Let t be 8/5 + 9/(-15). Solve t = -2*w + w for w.
-1
Let c be 2/11 + 54/66. Solve -x - 1 = c for x.
-2
Let n be -3*4/6 + 1. Let i(t) = 3*t**2 + 1. Let u be i(n). Solve u*q - 2 = -18 for q.
-4
Suppose -b = -2*f + f, 5*b = -2*f. Let r be 1 - (1*-2 - 0). Suppose 1 + 8 = r*y. Solve c - 5 + y = b for c.
2
Let c(x) = 2*x**3 - 15*x**2 - 9*x + 12. Let m be c(8). Solve -3*s + s + m = 0 for s.
2
Let p(w) = -w**3 + 4*w**2 + 5*w + 3. Let y be p(5). Suppose -3*v + 5*f - 1 = 4*f, f + 2 = 0. Let d(m) = 4*m**2 - m. Let a be d(v). Solve 2*l - y*l = a for l.
-5
Let i(u) = -u**3 - 18*u**2 + 40*u. Let m be i(-20). Solve -6*d + 2*d = m for d.
0
Let u be 100/(-15) - 2/6. Let c(q) = -q**3 - 8*q**2 - 6*q + 7. Let i be c(u). Suppose i = -0*n - n + 4. Solve 5 = -n*l - 3 for l.
-2
Let t(v) = -v - 3. Let h be t(-6). Suppose 0 = -h*j + 5*j. Solve -z + 6 - 3 = j for z.
3
Suppose -k - 48 = -5*k. Let h = k + -2. Solve 2 + h = -4*g for g.
-3
Let m be (-2)/(-10) - (-12)/(-10) - -3. Solve -4 + 2 = m*h for h.
-1
Suppose -3*n = -2*n - 2. Suppose n*j + j + 66 = 0. Let r = -14 - j. Solve -r = -v - v for v.
4
Let c = -7 - -11. Suppose -4*g + c + 0 = 0. Solve 2 = n - g for n.
3
Suppose 4*b = 3*d + 10, -7 = d - 5*b + 11. Suppose -10 = -2*t + 2*r, 4*r + 12 = t + 1. Suppose t*a = -2*y + 4*a + 12, 12 = 4*y + a. Solve -d = -y*n + 3*n for n.
2
Suppose 3*y = 3, 23 - 98 = 4*j + y. Let c = -17 - j. Solve -c*s - 2*s - 16 = 0 for s.
-4
Suppose 3*a - 5 - 4 = 0. Suppose 10 = 4*d - 5*x, a*d + x + 1 + 1 = 0. Suppose 3 = s - d*s. Solve -22 - s = -5*g for g.
5
Let r(q) be the third derivative of q**5/15 + q**4/24 - q**3/3 + q**2. Let f be r(1). Solve y - f = -2 for y.
1
Let z be -1*2 - (-5 + 0). Let x(c) = c**3 - 5*c**2 + 5*c + 4. Let r be x(4). Let g be 34/r + (-2)/8. Solve 0 = w - g*w + z for w.
1
Let g = -4 - -6. Suppose -k + 1 = -2. Solve -k*l - g = -11 for l.
3
Suppose -t - 5 = 1. Let u = 8 + t. Suppose -b + u*g - 18 = -5*b, -b - 3*g + 12 = 0. Solve 0 = -b*a - 10 - 5 for a.
-5
Suppose 5*n - 28 + 83 = 3*d, 2*n = -5*d + 71. Let t = d + -10. Solve 5 = -t*k + 4*k for k.
-5
Let z = 1 - -2. Suppose 0 = z*s - 2*s - 3. Suppose 0 = -6*g + 2*g + s*f + 6, -5*f = -5*g + 10. Solve g = 3*o - o - 8 for o.
4
Suppose 4*b - 10 = -2*x, 4*b - x = -5 - 0. Suppose -2 - 8 = -5*l. Suppose b = -u + l*u. Solve -4 = k - u for k.
-4
Suppose 10 = -o - 2*a, 5*o + 25 = -10*a + 5*a. Suppose -2*s = -5*x + 8 + 17, -2*s = 0. Let q = 10 - x. Solve -u + o = -q for u.
5
Let z be 2/(-12) + (-125)/(-30). Suppose 5*l + 41 = 3*b + z*l, 0 = 4*b + 5*l - 23. Solve b = -4*d - 0 for d.
-3
Let d be -2 - 21/(1 + -4). Solve x + 0*x + d = 0 for x.
-5
Suppose -103 + 106 = n. Let z = 1 + 0. Let r be (-1)/(z/(-2)*2). Solve k - n = -r for k.
2
Suppose -2*c = 2*c - 2*h + 4, 0 = 2*c + 2*h - 4. Let p = 3 + c. Suppose 0*u - 15 = -p*u. Solve x - u*x = 0 for x.
0
Let v be ((-12)/(-9))/(4/6). Let a be 6/(-4) + 5/v. Suppose -9 = -2*d - a. Solve -4*k + 2*k - d = 0 for k.
-2
Suppose -3*y = 2*y. Suppose r - 3*a = 4 - y, a = 3*r - 28. Let t(j) = -j**2 + 5*j + 9. Let d be t(6). Solve -r = -2*g - d*g for g.
2
Suppose 2*o = 5*s - 15, -o = s - 6*o - 26. Let l be 1/s + 2 + -1. Suppose 0 = -c + l*c. Solve c = -d - 1 for d.
-1
Suppose 3*x + 2*x = 2*t - 20, -2*t = -2*x - 8. Solve 3*s + t*s = 0 for s.
0
Let t(v) = v**2 - v + 86. Let r be t(0). Let h = r + -128. Let z be 2/7 - 156/h. Solve z*y + y - 15 = 0 for y.
3
Let b = 3 + -4. Let z = b + 2. Let h = -52 - -57. Solve 0 = -4*q + h*q + z for q.
-1
Let a = -11 + 9. Let r be (-4)/(-4) + (-38)/a. Solve 2*q + 2*q = -r for q.
-5
Suppose 4 = -5*i - 5*d - 76, 0 = 3*i - 2*d + 48. Let q = -8 - i. Solve -o = o + q for o.
-4
Let g(m) = 3*m - 7. Let q be g(5). Suppose -5*z = -z - q. Let k be z - ((3 - 2) + -1). Solve -k*h + 6*h + 4 = 0 for h.
-1
Suppose -f - 6 = 3*r, -3*f + 4*r = -5 - 3. Solve f = -g + 1 for g.
1
Suppose -7 = 3*d - 1, 0 = t + 3*d + 4. Solve -k - 1 = t for k.
-3
Let f = -28 - -45. Let d be 1/2*2 + f. Solve -5*l = 7 + d for l.
-5
Let h(c) be the first derivative of -c**2/2 + 2*c - 1. Let p be h(-7). Let x = 13 - p. Solve -1 - 3 = -x*w for w.
1
Let d be (2/(-6))/((-3)/27). Solve 2*w + w = -d for w.
-1
Let q be 2 - 1/((-3)/(-6)). Let g(m) = -m - 8. Let f be g(-6). Let c be 1/(0 + f/(-4)). Solve -c*n - n - 6 = q for n.
-2
Let o = -6 - -7. Let k be -1 - o/((-2)/12). Suppose k*w + 53 = 133. Solve 3*z - 1 + w = 0 for z.
-5
Suppose 2*q - 38 = -0*q - o, -4*q + 88 = -4*o. Solve -y + 6*y + q = 0 for y.
-4
Let p(a) = a**3 + 5*a**2 + 3*a + 4. Let o be p(-4). Let y = -6 + o. Let g be 1/(2 + (-12)/8). Solve -y*j = g*j + 16 for j.
-4
Suppose 6*p = 4*n + 2*p + 20, 0 = 2*p - 4. Let x be -1 + 4 + n + 2. Suppose -x*a = -f - 9, a + 7 = 3*a + f. Solve a*i + 4 = 24 for i.
5
Let n(f) = f**2 + 5. Let p be n(0). Suppose j = p*i + 32, 2*j - 24 = -0*j + 2*i. Solve -2*u + 25 = -j*u for u.
-5
Let n = -32 + 42. Solve n = -j - j for j.
-5
Let z = -11 - -18. Suppose 0 = -g + 5. Suppose 5*t - 5 = g. Solve -z = t*m + 1 for m.
-4
Let l be (42/63)/((-1)/(-3)). Solve 3 = -l*y + 1 for y.
-1
Suppose 3*q + 9 = 4*s, -s = 2*q + 3*q - 31. Let o = s + -3. Solve o*w - 10 = -4 for w.
2
Suppose g - 62 = -g - 2*p, 0 = -4*g - p + 121. Suppose 4*v + v = -2*z + 30, 5*v - z = g. Let k be (v/(-4))/((-3)/4). So