f -g**6/120 + g**5/60 - 4*g**3 - g**2. Let q be h(0). Let c be (6/(-4))/(18/q). Solve -c*k = 2*k - 4 for k.
1
Suppose -7*y - 19 = -q - 2*y, -11 = q + 5*y. Solve 20 = -q*m + 4 for m.
-4
Let v(m) = -3 - 2*m + 3*m - 5*m - m**3 - 5*m**2. Let i be v(-5). Solve -i + 2 = 3*s for s.
-5
Let z be (-7*(-3)/84)/(1/4). Let l = 0 - 1. Let c = z + l. Solve 3*t + 0*t = c for t.
0
Let c = 10 - 6. Let b = c - -3. Solve 4*m - b = 1 for m.
2
Let w(x) = -x + 11. Let b be w(6). Let v be 1 + 8 - (-4 + b). Solve 5*f - 2 - v = 0 for f.
2
Let n be 111/3 - 2/1. Suppose -w = a - 3*a + 23, -w - n = -3*a. Suppose 2*i + i = a. Solve h - i = -h for h.
2
Let b(o) = -o + 6. Let c be b(6). Solve c*l = 3*l for l.
0
Let i = -2 + 4. Let u = -20 + 35. Solve -i*o - u = -5 for o.
-5
Suppose h = 2*i - i - 2, 2*h + 1 = i. Suppose 0*s + h = s. Solve -b + s - 5 = 0 for b.
-4
Suppose -10*y + 6 = -114. Solve 0 + y = -4*n for n.
-3
Let a be -4*4/(-32)*2. Solve -a = 3*i - 7 for i.
2
Suppose l - 5*a - 19 = -2*a, 2*a + 1 = -l. Let g = 7 + 8. Let v = g - l. Solve 2*u + 2 = -v for u.
-5
Suppose 18*b - 20 = 14*b. Solve -15 = b*g - 0*g for g.
-3
Let g(b) = -b**2 - 5*b + 1. Let t be g(-4). Let u be t*-3*1/(-15). Solve 3 - u = 2*f for f.
1
Suppose -3 = 3*v + 5*m, 4*m = -m - 15. Let h be ((-2)/v)/(1/(-2)). Solve 5 - h = -4*p for p.
-1
Let f = -13 + 17. Let h be 1/(-4) + (-1)/(-4). Solve 2*d - f = -h*d for d.
2
Let b(o) = o**2 - 11*o + 28. Let d be b(7). Suppose 2*q - 4*r - 16 = 0, 4*q = -4*r + 11 + 33. Solve d = 4*i + 26 - q for i.
-4
Let r = -32 - -36. Solve 0 = l - 2 + r for l.
-2
Let q be (7 + -4)*(-12)/(-9). Solve 1 + q = 5*v for v.
1
Suppose n - 7 = -2*l, n = -2*n - l + 26. Let q = n - 6. Solve -m - q = -2*m for m.
3
Let q be (-2 - -11) + 4/(-6)*3. Solve -3*u + q*u = 0 for u.
0
Let m be (-100)/(-15) - 2/3. Suppose -4*l + 3*k = -m, 5 = -3*l - 3*k + 20. Solve -h + 0 - l = 0 for h.
-3
Let l be 4 + (0/2)/1. Suppose 0 = 2*g - l*g - 5*o + 25, 4*g - 5*o = 95. Solve -g = -0*b - 4*b for b.
5
Suppose -h + 5 - 2 = 0. Suppose 0 = 3*r + b - 8, 0*r - b - 4 = -h*r. Solve r*c - 5 = -1 for c.
2
Suppose -4*f = -4*r - 24, 0 = -3*r - 0 - 6. Solve 4*q + 12 = -f for q.
-4
Let b(u) = u + 1. Let k be b(1). Let f = 8 - k. Solve 0*w = 3*w + f for w.
-2
Let l(q) = q**2 - q + 12. Let p be l(0). Let k = p - 6. Solve -3*j - 3 = k for j.
-3
Let x(u) be the third derivative of u**4/24 + 3*u**3 - 3*u**2. Let a be x(-11). Suppose -a*t + 3*t = -16. Solve 2*z = -2*z - t for z.
-1
Suppose 0 = 4*l + 4*k + 4, 0*k - 26 = -4*l + 2*k. Solve 2*w + 2 = l for w.
1
Let m(k) = -k - 5. Let t(n) = n**3 - n**2 - 2*n + 1. Let y be t(-2). Let h be m(y). Solve 2*f - f = h for f.
2
Let o = 16 + -14. Solve -o*m = -5*m for m.
0
Let i(t) = -t - 2. Let m be i(4). Let d = m - -11. Let l = 2 - 2. Solve d = z - l*z for z.
5
Let b = 3 - -1. Solve -v = -5*v - b for v.
-1
Let r(z) be the first derivative of -z**4/4 + 2*z**3 - 5*z**2/2 + 3*z - 1. Let l be r(5). Let b(w) = -w - 1. Let n be b(-4). Solve 0 = l*f + n - 12 for f.
3
Let f be 6 + (-5 - (-4 + 2)). Let w be (f + -8 - 3)/(-1). Suppose 4*q + 1 = -d, -2*q - w = -0*d - 2*d. Solve -3 - d = 3*z for z.
-2
Suppose 0*t + 3*t + 24 = 0. Let n = t + 5. Let o be (-1 - n/(-12))*-8. Solve 5 + o = -5*p for p.
-3
Suppose 0 = -l + 25 - 17. Let y(m) = 6*m**2 - 1. Let f be y(1). Solve 0 = f*d - 23 + l for d.
3
Let b(f) = -f**2 - f + 1. Let t be b(-3). Let v = -2 - t. Solve -2*c + v*c = -2 for c.
-2
Suppose 0 = q + 5*h - 1, 5*h - 40 = 5*q - 15. Let x = q - -7. Suppose -x*k - 1 = c - 8*k, 2*c + k = 9. Solve -c*v = 8 + 4 for v.
-3
Suppose 4*p - 7*p = 0. Let v(r) = r**2 - r + 2. Let y be v(p). Let n(k) = -k. Let h be n(0). Solve -y*a - 4 - 4 = h for a.
-4
Let i = -31 + 46. Suppose 3*l = b - 1, b - 2*l + 3 = 5. Suppose b*o = o. Solve o*s - i = -5*s for s.
3
Let n(z) = -z**3 + 3*z + 2. Let g be n(-2). Suppose g*i + 11 = 27. Solve -x + i - 5 = 0 for x.
-1
Suppose 4*y + 28 = 4*n, -n + 5*n - 2*y - 22 = 0. Suppose -2*t = -2*a + 16, -3*t = -n*a - 11 + 38. Solve -j = 1 + a for j.
-4
Let x be (2 - 5)/((-9)/6). Let m be -1 + -2 - (-6)/x. Solve m*c + 25 = 5*c for c.
5
Let l be (1/1)/((-13)/(-39)). Solve l*q - 10 = 8*q for q.
-2
Let h be (-4 + (-8)/4)*(-2)/6. Solve 0 = 2*s - 6 - h for s.
4
Let j(y) = y - 6. Let n be j(0). Let f = n - -12. Let l = f + -2. Solve 5 = 3*r - l for r.
3
Let l(p) = -6*p - 27. Let s be l(-5). Solve 2*r - s = 7 for r.
5
Let q(n) = n**3 + 8*n**2 + 5*n - 7. Let l(g) = 5*g + 3. Let f be l(-2). Let s be q(f). Solve 0 = s*j - 2*j + 5 for j.
-1
Suppose 9 = -5*l + 2*l. Let i be l/3 - 0 - -3. Solve 4*d + 4 = i*d for d.
-2
Suppose -3*p - n - 13 = -4*p, -3*p - 4*n + 32 = 0. Solve 0 = p*v - 7*v + 25 for v.
-5
Let u = -8 + 10. Suppose -u*g = -g. Solve -b - 2*b = g for b.
0
Let d(f) = 2*f + 8. Let m be d(-6). Let k be (m - -5)*6/2. Solve -k*r = 2*r for r.
0
Suppose -5*q + 0*q = -35. Suppose q = u - 2*u + 3*w, w - 14 = -2*u. Solve u = -v + 1 for v.
-4
Suppose 5*q - 2*j - j = -5, -4*q - j - 21 = 0. Let h be 0/((6 - 3) + q). Let f = -1 + 4. Solve h = f*u + 16 - 7 for u.
-3
Let d(a) = -a**3 - 3*a**2 + 1. Let o be d(-3). Suppose 0*l - 20 = -4*l. Suppose h + 1 = l. Solve h*g - 11 - o = 0 for g.
3
Let l(r) = r**3 - 9*r**2 - 11*r + 4. Let x be l(10). Let n(i) = i**2 + 5*i - 3. Let z be n(x). Solve 0 = -z*s - 2*s + 10 for s.
2
Suppose 2*f + w - 1 = 0, -2*f - 4*w + 5 = w. Solve 0 = -h - f*h + 1 for h.
1
Let u = 16 - 11. Let d = u - 0. Suppose d*q - 19 = -3*o, 4*o - 8 = -2*q + 8. Solve o = -2*a + 7 for a.
2
Let h = 9 + -9. Suppose h = 4*m - 5 - 7. Solve m*t = -2*t + 10 for t.
2
Let i = -3 + 18. Solve 4*q = i - 35 for q.
-5
Suppose -2*g + 6 = p, -5*g + p - 3*p + 16 = 0. Solve -g*f = 7 + 9 for f.
-4
Let r(h) = h + 7. Let n be r(-8). Let d = 1 - n. Suppose 0 = -4*p + c + 9, -2*p + d*c + 9 = 3*p. Solve p*a = 2*a + 1 for a.
1
Suppose q = -5*c + 24, -2*q = -7*c + 2*c + 27. Suppose -40 = -c*f + f. Solve w + f = 3*w for w.
5
Suppose 16*o = 23*o. Solve 3*x - 5*x + 8 = o for x.
4
Suppose 5*t = 9*t - 20. Let x be 12/t*15/6. Solve 8 = -2*n + x*n for n.
2
Suppose 2*l = 3*l - 2. Solve -6 = 4*x - l for x.
-1
Let c(u) = -2*u**3 + u**2 + 3*u + 2. Let w be c(-1). Solve 9 - 1 = w*b for b.
4
Let y be (-4 + -4)*(-1 + 0). Suppose -b = -3*b + y. Solve -j = -b*j for j.
0
Let u be (-2)/3 - (-2)/3. Let f(p) = 17*p - 46. Let g be f(3). Solve u*l = l + g for l.
-5
Let r = 0 + 0. Let j(z) = -z**3 + 12*z**2 - 11*z + 3. Let f be j(11). Suppose -5 = -5*n - 4*a, 5*n - 2*a = -f*a + 5. Solve r = v + n for v.
-1
Let t(v) = -v**3 - 6*v**2 - v. Let r be t(-6). Suppose 205 = 5*i + 2*d, 4*d + d = 25. Suppose r*y + 3*a = y + i, 5*y - 42 = -4*a. Solve -2*h - 16 = -y*h for h.
4
Suppose -o = 4*o. Solve 0 = -i - o - 5 for i.
-5
Suppose 3*n + j = 22, 3*n - 2*j = -0*j + 10. Solve 2*v - n = -0*v for v.
3
Let h be 3/(-6)*60/(-6). Solve 0 = 3*g + 20 - h for g.
-5
Let q(a) = -a - 9. Let g be q(-11). Solve g*v + 8 = -2 for v.
-5
Let i = 3 - 3. Suppose -2*s - 6 = -i. Let m = s - -6. Solve 0*u - 15 = m*u for u.
-5
Let p(n) = -n**2 + 9 - 2*n - 2 + 8*n + 0*n. Let z be p(6). Solve z*s + 6 = 4*s for s.
-2
Suppose -19 = -7*c + 51. Let k(h) = 2*h**3 - 2*h**2 - h - 2. Let b be k(2). Solve 3*f = -b + c for f.
2
Suppose 0 = -4*q + 22 + 2. Suppose -4*j = j - 10. Let k = 1 + j. Solve 0 = -k*c + q - 0 for c.
2
Suppose q + 16 - 17 = 0. Solve -3*i - 5 - q = 0 for i.
-2
Suppose 0 = -3*h - 0*b - 2*b + 6, -3*h + 4*b = -6. Solve -j + 2 = -h*j for j.
-2
Let g = 98 - 98. Suppose 2*p + i = 6, -2*p + 3*i = -p - 10. Solve -s + p - 3 = g for s.
1
Suppose 4*u + 2*r = 8, -4*u + 14 = -4*r - 6. Let s(k) = -3*k - u*k**2 + 0 - 4 + k - k**3. Let l be s(-3). Solve 0*v - l = v for v.
-2
Let l(x) = -x**3 - 6*x**2 - 5*x + 4. Let t = -12 + 7. Let s be l(t). Suppose 10*w = 5*w + 15. Solve 0 = -4*k + w*k - s for k.
-4
Suppose 3*g + 1 = -a, -2*g + 5*a = -7*g + 5. Let j be (-4)/(g*2) + 2. Solve t - j = -t for t.
2
Let j(z) = -z**2 + 18*z + 45. Let r be j(20). Solve -7*k - 8 = -r*k for k.
-4
Let q be (-1)/((0 + -2)/8). Let h = -6 - -9. Solve h*s - q = 8 for s.
4
Suppose 2*t + 3*t = -15. Let h be 0 + -2 - (t - -1). Solve -o + h*o = -5 for o.
5
Let o be -4 + (-376)/(-11) + (-28)/154. Solve -10*l = -4*l + o for l.
-5
Suppose -g + 11 = 9. Solve -3*k - 15 = g*k for k.
-3
Let g be (-1)/2*(-5 + 3). Let f be g/(-4) + 60/(-16). Let 