 x(8). Solve 2*t + n = t for t.
-1
Suppose g - 5*g + 3*s + 18 = 0, 0 = g - 5*s - 13. Suppose 40 = g*v + v. Solve 10*j - 5*j - v = 0 for j.
2
Let x(f) = 37 + 0*f + f - 28. Let c be x(-6). Solve -c - 9 = -4*w for w.
3
Suppose 0 = v + 2*c + 3*c + 17, c = -4. Let p = v - -4. Suppose 5*x - 4*x - p = 0. Solve -x*n = -2*n for n.
0
Suppose 3*k - k = -2*r + 18, 3*r + 29 = k. Suppose 4*l - 5 = 5*i + 17, 4*i + k = 5*l. Let v = -2 - i. Solve 2*z - 3*z = v for z.
-4
Let d be 2*1*((-114)/(-12) - 5). Let v = -11 - -15. Suppose v*u - d = -1. Solve -u*c = -4*c + 2 for c.
1
Let b(y) = -2*y - 2. Let o be b(-3). Let c(m) = 5*m - 5 + 2 + 13 + m**2 + 3*m. Let k be c(-7). Solve -o*u = -u - k for u.
1
Let i(h) = h**3 - 5*h**2 - 6*h + 9. Let a be i(6). Let v = a + -5. Solve -5*c - v = 1 for c.
-1
Let n = 6 + -4. Let d = n + 1. Solve -4*v + v + d = 0 for v.
1
Let w be (-2)/(-5) - 12/5. Let k be 6/w - -1 - -2. Suppose 3*g = -6, -2*s = -k*s - 5*g - 22. Solve -16 = s*f - 2*f for f.
-4
Suppose 2*t = -0*t + 6. Solve -2*d = d - t for d.
1
Let g = 32 + -23. Suppose g*t = 4*t. Solve t = -5*l + 3*l - 2 for l.
-1
Let l = 4 + -2. Let y be 3/6*(l - -8). Suppose -2*p + 6*p = y*j + 22, 3*j = -p - 3. Solve -t - p*t = 12 for t.
-3
Let l be (-37)/(-5) + (-6)/(-10). Solve 2 = -3*i + l for i.
2
Let q(h) = -8*h + 7. Suppose f - 2 - 2 = 3*o, -4*f + 2 = -5*o. Let j(c) = 4*c - 3. Let a(w) = f*q(w) - 5*j(w). Let p be a(-1). Solve 0*l = p*l + 10 for l.
-2
Let h(b) = 2*b**2 - b. Suppose 0*o - 4*o - 4 = 0. Let d be h(o). Solve -d*c + 3 = -0*c for c.
1
Let z(h) = -26*h**3 + 2*h + 1. Let m be z(-1). Suppose -f + m = 5*v, -f - 25 = -8*v + 3*v. Solve v*y - 3 = 17 for y.
4
Let q = -8 + 11. Let x(g) = g**3 - 3*g**2 + 3*g - 3. Let u be x(2). Let a be (6*u)/((-6)/9). Solve 6 = -q*k - a for k.
-5
Let i(x) be the third derivative of x**5/60 - x**2. Let w be i(-2). Suppose 4*l - 2 = l + s, 8 = l - w*s. Solve -2*a - a - 3 = l for a.
-1
Suppose 1 = 4*n - 5*n. Let d be -1 - ((1 - n) + -3). Solve d = -3*h + 10 - 1 for h.
3
Let t = -24 + 28. Solve 0 = -4*w - t - 8 for w.
-3
Let p(k) = k**3 - 3*k**2 - 2*k - 8. Let d be p(4). Solve -1 = -d*r - r for r.
1
Let j(w) = -w**3 - 11*w**2 - w. Let v be j(-11). Solve v = 4*r - 1 for r.
3
Suppose -2*k + 2 = 2*f - k, -2*k = 8. Solve -2*c + 1 = -f for c.
2
Let i = -1 - -3. Suppose 3*v + 2*d = i, v - 4 = 2*v + 3*d. Suppose -3*s - a + 14 = 2*s, 2*s = a + 7. Solve w = v*w + s for w.
-3
Let u be (-1 - -5) + 2/2. Let s(t) = 2*t - 2 - 4 + 0 - u. Let h be s(8). Solve 7 + 13 = h*v for v.
4
Suppose 0 = -0*h - 9*h - 576. Let c = 11 + 1. Let u be 1/(-3) - h/c. Solve u = 4*v - 11 for v.
4
Suppose -4*j + 0*j = 0. Solve -y + j*y = -5 for y.
5
Let b = -17 - -37. Solve 0 = h + 3*h - b for h.
5
Let c = -4 + 6. Let u = c + 1. Solve 4 = 2*l - u*l for l.
-4
Suppose -9 = -8*v + 7. Solve -v*k = 3*k + 20 for k.
-4
Let u be (-18)/(-1 - 2)*3. Suppose -4*q + 3*l = -0*q - u, 3*q - 5*l = 8. Let f = 3 - -1. Solve 2 = -f*w + q for w.
1
Let i(s) = s**3 - s**2 + 2*s + 3. Let l be i(0). Solve -2*h = h + l for h.
-1
Let s(m) = m**3 + 7*m**2 + 5*m - 4. Let v be s(-6). Suppose u = -v + 5. Suppose -d = 2*d. Solve -u = -l - d for l.
3
Let m = 5 - 3. Let p = 5 - 1. Let h = 7 - p. Solve -h*w = -m - 1 for w.
1
Let w be (-7 - -10)*4/6. Solve w*q = -11 + 3 for q.
-4
Let m(y) = -4 + 3 - 1 - 2*y - 5*y**2 + y**3 - 3*y. Suppose -18 = 4*h - 7*h. Let j be m(h). Solve j*k - 1 = -13 for k.
-3
Let y(a) = -2*a - 6. Let n be y(-4). Solve -f = -n - 2 for f.
4
Suppose 6 = 2*c - 4. Suppose 0 = -4*n + 4*u + 40, -c*u + 4 = 3*n + 6. Let t be 3/9 + 118/n. Solve t = 4*r + r for r.
4
Let l(p) = p**3 + 4*p**2 - 5*p + 5. Let k be l(-5). Suppose -a - 4 = -2*a. Suppose y = g - 7, k + a = -3*g - 3*y. Solve 0 = -g*w - 0*w for w.
0
Suppose -6 = -x + 3*x, h = x + 9. Suppose -n + 3*n = -h. Let i be -3*2/(-6) - n. Solve i*j - 6*j - 4 = 0 for j.
-2
Suppose g = 6*g - 25. Suppose w = -g*t, -2*t - t - 112 = -5*w. Solve 0*k + w = 5*k for k.
4
Suppose -4*y + 13 - 5 = 0. Suppose -18 = -4*c + 2*n, -y*n + 4*n + 21 = 5*c. Suppose -z = -c - 3. Solve -3*b + z - 21 = 0 for b.
-5
Let r be 24/1 - (1 - 2). Suppose -5*z - 2*l = -0*z - 20, -5*l = r. Suppose 0 = -4*o + 2*o + z. Solve 0 = y + o*y - 20 for y.
5
Suppose 20 = 5*j + 5. Solve z - j*z + 4 = 0 for z.
2
Let o(k) = -k + 3. Let c be o(3). Suppose c*x + 12 = x. Solve x = q + 2*q for q.
4
Let h(t) = t + 8. Let q be h(-6). Solve -4*r + 4 = -q*r for r.
2
Let j(x) = 5 - 4*x**3 - x + 5*x**3 - 3. Let m be j(0). Let n be ((-2)/(-4))/(3/60). Solve 3*d + n = -m*d for d.
-2
Suppose 5*n = 3*n + 2*y - 6, -13 = n + 4*y. Let m(w) = -w**2 - 3*w. Let p be m(n). Let q be 5*-1*4/p. Solve z = 2*z + q for z.
-2
Let p = -10 + -2. Let y be (-3)/p*0*-1. Solve -2*a - 1 - 7 = y for a.
-4
Let o be ((-10)/(-3))/((-2)/(-3)). Suppose -32 - 98 = o*z. Let t be z/(-5) + 3/(-15). Solve 4*d - t = 3*d for d.
5
Let z = 230 - 110. Let s be (3/(-2))/((-45)/z). Solve 0 = -s*i - 1 - 3 for i.
-1
Let k(a) = 4*a. Let u be k(1). Suppose 2*z = -3*m + 48, -u*m + 84 + 4 = 4*z. Let s = z + -6. Solve 0*i = -3*i + s for i.
4
Let d = 44 - 18. Let o = 26 - d. Solve o*f - 2 = 2*f for f.
-1
Let u = 33 + -9. Suppose o - u = -o. Let r be (-1)/(-3) - (-236)/o. Solve 5*v - r = -5 for v.
3
Suppose -4*s + 29 = -5*u, -2*s - 2*u + 5 = -5. Suppose 0 = 3*w + s, 5*a - 5*w - 10 = -0. Solve -4*y + 0 + 12 = a for y.
3
Suppose 2*q = 1 + 3. Solve 5 = 3*n - q*n for n.
5
Suppose -4*m + 5*m = -2*w - 3, -2*m + 15 = -3*w. Suppose 0 = -3*b + 2*t + 33, 0*b + b = -m*t. Let g be (b/(-6))/(1/(-2)). Solve s - g*s = -4 for s.
2
Suppose 5*r = 5*l + 10, 1 = 5*r - 24. Solve l = 5*f + 8 for f.
-1
Let y = -11 - -15. Solve -y*h - 3 - 5 = 0 for h.
-2
Let z(t) = t + 5. Let b be z(-5). Suppose 7 = 4*a + 3*k, b*a = 3*a + k - 4. Solve 2*s - 1 = a for s.
1
Let z(g) be the first derivative of -g**4/4 + 2*g**3 + 5*g + 1. Let n be z(6). Solve 2 = -n*f - 8 for f.
-2
Suppose 2*j - 132 = -5*n, 2*n - 38 = 4*j + 10. Suppose 4*r - n = 74. Solve 4*y + y = -r for y.
-5
Suppose -2*q = 2*q. Solve 2*p - 4*p + 4 = q for p.
2
Let x = 11 - 5. Let q = x + -6. Solve 2*c = -q*c - 4 for c.
-2
Let i be (6/(-8))/(3/(-36)). Let m be (42/(-9))/((-6)/i). Solve 0 = 2*s + m + 3 for s.
-5
Let y = 9 + -5. Let v = y - 3. Let s = 6 - 3. Solve v = -s*f - 11 for f.
-4
Let y = -2 - -8. Let c = 17 - 12. Let d = y - c. Solve -2*g - d = 1 for g.
-1
Let k be ((-8)/6)/(8/(-24)). Solve -x = -2*x - k for x.
-4
Let q(z) = z**3 + 14*z**2 - 14*z + 21. Let f be q(-15). Solve -2*l + 0*l = -f for l.
3
Let a(f) = 9 + 4 + 2*f - 4*f + f. Let p be a(10). Solve l + p = -0*l for l.
-3
Let c = -27 - -32. Solve 0 = c*y + 39 - 14 for y.
-5
Suppose 24*a = 15*a + 45. Solve -3*m - a - 1 = 0 for m.
-2
Let q = -7 + 10. Suppose 0*g - q*g + 18 = 0. Solve 0 = 2*w - g*w - 12 for w.
-3
Let n be 2/6 - (-29)/3. Suppose 0 = 4*z + z - n. Solve -z*s + s = 0 for s.
0
Let h(f) be the third derivative of -f**5/60 + 5*f**4/24 + f**3/3 + 2*f**2. Let y be h(5). Solve -u + 1 = -y for u.
3
Let j(u) = -u**3 - 5*u**2 - u + 1. Let n be j(-5). Solve -n + 2 = h for h.
-4
Let f = 29 + -28. Suppose 4*m = -4*n + 27 + 5, 4*n + 5*m - 36 = 0. Solve f = -n*q - 19 for q.
-5
Suppose -i + 3*p + 8 = p, -4*i + 14 = -2*p. Solve -f = -1 + i for f.
-1
Let j be ((-12)/(-8))/((-3)/(-8)). Let d = 17 - -3. Solve -n - j*n = -d for n.
4
Suppose 0 = 3*h - 2*t - 0*t + 25, 2*h = 3*t - 25. Let o be -3 - h - 2 - -8. Suppose -6*w + 2*w + o = 0. Solve 0*b + w*b = 4 for b.
2
Let l = 3 - 1. Let g = l + -1. Let c = -4 + 7. Solve -g + 4 = c*z for z.
1
Let j be 4/10 + (3 - (-17)/(-5)). Let x = 0 - -6. Suppose 0*l - 2*l = -x. Solve j = -2*m + l*m - 3 for m.
3
Let z be 2/(-5) + (-33)/5. Let q(n) = n**2 + 8*n + 9. Let r be q(z). Solve 3*a = -r*a for a.
0
Let r(h) = 36*h - 1. Let x be r(1). Let o = -25 + x. Suppose 3*p - o = 8. Solve p = -3*b - 3 for b.
-3
Suppose 0 = -3*n - 2*n + 15. Suppose 0 = -3*o + 3, -2 = -3*s - 5*o + 6. Let r be 2*(s + -9)/(-1). Solve l + n*l = -r for l.
-4
Suppose -5*g - w + 1 = -0*g, -3*g = -4*w + 4. Suppose g = 4*r - 3*b + 11, -5 = -7*b + 2*b. Let z be (-2*3)/(3/r). Solve 2*s = -2*s + z for s.
1
Suppose 2*y = o + 4*o, -3*o + 19 = -5*y. Let d = y - -5. Solve 4 + d = 2*v for v.
2
Let z(v) = v**2 - 2*v - 1. Let k be z(-1). Suppose 0 = 5*n + 5*b - 4 - 6, 5*n - 18 = -3*b. Solve n*q - k*q = 8 for