- 2*u**3. Let x be k(1). Solve n + 0 = x*h for h.
1
Suppose -4*g + 3*j = 0, -4*g + 2*j + 0 - 4 = 0. Let o be (-1)/g + (-65)/(-3). Let n = -3 - -9. Solve n = -4*u + o for u.
4
Let z = 20 + -15. Let t = 11 - z. Solve -p + t = 2*p for p.
2
Suppose 12 = 3*j + 3. Solve 0 = q - j*q + 2 for q.
1
Suppose -k + 10 = -0*k. Solve 0*m = 5*m - k for m.
2
Suppose -28 = -4*a - 108. Let s = a + 25. Solve s = 2*o + 1 for o.
2
Suppose 5*d + 8 = 2*o, -5*o + 2 = -d + 5. Let s be -7*(d - (-36)/21). Solve -s*j = -0*j - 4 for j.
2
Let u be (1 + -7)/(0 + -1). Suppose 0 = -u*o + 2*o. Solve o = -4*z - 15 - 1 for z.
-4
Let o(q) = -q**2 - 13*q - 11. Let v be o(-9). Suppose 0 = a - x - 11, -4*x = -2*a + v - 9. Let r be 1/(3 - a/5). Solve -r*d - 15 = -0*d for d.
-3
Suppose -2*v + 5*g + 4 + 21 = 0, -3*g = 3*v - 6. Let x be ((-2)/6)/(5/(-45)). Solve 2 = v*z - x for z.
1
Let w(h) = 2*h**2 + 2*h - 1. Let c be w(-2). Suppose c*l - 12 + 3 = 0, 0 = -3*v + 3*l + 3. Suppose -v*b - b = 0. Solve b = -3*g + 2*g - 1 for g.
-1
Let i(k) = -2*k**3 + k**2 + 2*k - 1. Let h be i(-2). Suppose -7 = 4*l - h. Solve l*m - 5 = 3*m for m.
-5
Suppose 0 = 9*a - 10*a. Solve a = 2*s + 3*s - 5 for s.
1
Let k = -2 + 0. Let j be ((k - -2)/3)/2. Solve j*b + b + 3 = 0 for b.
-3
Suppose z - 2*z = 0. Suppose -2*o - 1 + 7 = z. Let k be 8 - (1 - 6/3). Solve 0*q + k = o*q for q.
3
Suppose l - 2*y - 4 = 8, 3 = -2*l - 5*y. Suppose 5*h - d - l + 14 = 0, -11 = 2*h - 3*d. Let a = 1 - h. Solve 3*p = -a*p for p.
0
Let i = -5 + 8. Let o(f) = 4*f**2 + i + 2*f - 3. Let z be o(-2). Solve -5*a + a = -z for a.
3
Suppose 3*r = 2*r + 4. Suppose n + 9 = -4*p, p + 0*n - r*n = 19. Let k = 5 - p. Solve -k*c = -4*c for c.
0
Let d = 5 - 0. Suppose d*a - 5*i = 2 + 13, -3*a = -2*i - 11. Solve -a*p + 4 = -p for p.
1
Let h(g) = -g + 8 + 1 + 0. Let u be h(9). Solve u*q + 6 = -2*q for q.
-3
Let u = 18 + -40. Let r be 2/(-6) + u/6. Let t = 2 - r. Solve -4*n + t*n = -2 for n.
-1
Let b(z) = 2*z**3 - z**2 + z - 1. Let p be b(1). Let h be p/3 - 114/(-9). Suppose -4*t = -h - 7. Solve 0 = 4*s + 15 + t for s.
-5
Let v be 1712/22 + (-6)/(-33). Let y = -53 + v. Solve y = -5*x - 0*x for x.
-5
Let x(b) = b**2 - 13*b + 14. Let l be x(12). Solve l*k + 4 = -2 for k.
-3
Let v(f) = -2*f + 5. Let i be v(8). Let d = i - -23. Solve -d = 4*p - 8*p for p.
3
Suppose -3*m - 208 = -226. Solve 3*w = m - 0 for w.
2
Suppose 5*w - 9 - 16 = 0. Suppose 0 = -3*r + w*v + 25, 2*r + 0*v - 5*v = 20. Let h = 5 - r. Solve t = -h + 3 for t.
3
Suppose t - 5*t = -16. Suppose 2 = t*f - 3*f. Let a be f/(-5) - 208/(-20). Solve -a = 3*u + 5 for u.
-5
Suppose -5*o = h, -3*o + h - 3*h = 0. Solve -3*s + 13 + 2 = o for s.
5
Suppose 2*c - 2 = m + 6, m = -4*c + 10. Suppose -w + 2*w - 3 = 0. Let a be (m/(-4))/(w/12). Solve u = -a*u for u.
0
Let d be (-1)/((-22)/(-12) - 2). Solve d*f + 4 = 2*f for f.
-1
Let c(t) = t**2 - 7*t + 8. Let a be c(6). Let d(q) = q**3 + q - 1. Let b be d(a). Let g = 34 - b. Solve 0 = -7*p + 2*p - g for p.
-5
Suppose p = -2*p - 4*m + 225, -2*p + 150 = 2*m. Suppose -p + 19 = -4*n + 2*x, 5*n - 70 = -x. Solve -2*k + 6 = n for k.
-4
Let r be (4 - 28)*2/(-6). Solve l - 3*l = r for l.
-4
Let z(o) be the second derivative of -o**3/3 + 8*o. Let m be z(-1). Solve 1 = -b + m for b.
1
Suppose -3 = -4*h - 15. Let p be 1/(h/(-6)) - -1. Solve 4 = j - p*j for j.
-2
Suppose -h - 2*c + 8 = -5*h, 4*h - 16 = -4*c. Solve h*i - 3*i + 6 = 0 for i.
2
Let s be 1 + -1 - -29 - 2. Suppose 4*k - s = y, 4*y - 2*k = k - 56. Let l be (-31)/y - (-10)/55. Solve -10 = l*c + 2 for c.
-4
Let t be 2/6 + 2/(-6). Solve t = 3*y - 6*y - 3 for y.
-1
Let m be -7 + (1 - 2) + -1. Let k = -7 - m. Solve -6*w = -k*w - 4 for w.
1
Let u = -31 - -35. Solve -6 - u = 5*v for v.
-2
Let x(b) = -3*b - 7. Let k(n) = -n**2 - 9*n - 12. Let u be k(-8). Let v be x(u). Solve -v*y + 2*y - 9 = 0 for y.
-3
Let b = 11 + -9. Suppose l - b = 1. Solve -2*v = l*v - 15 for v.
3
Let o = 2 - -2. Suppose -o*z - k = -6, -2*k + 3 = -2*z + 11. Solve q - 3 + z = 0 for q.
1
Suppose 2*z - 2 - 4 = 0. Solve -z*w - 4 = -19 for w.
5
Suppose 8*d = 2*d + 84. Solve -d*w + 10*w = -20 for w.
5
Let w be 3/2 + (-3)/(-2). Solve -2*x = -w*x + 1 for x.
1
Let a = 1 - -1. Solve 0 = d + a*d + 15 for d.
-5
Suppose 0 = -25*r + 21*r. Solve 3*l + 0*l - 15 = r for l.
5
Let u = 1 + 0. Let z be 2 + 1*3/3. Let h = z - u. Solve 7*b - 25 = h*b for b.
5
Suppose 0 = s - 0*s + 4. Let g = s + 7. Solve 2*a - 1 + g = 0 for a.
-1
Let u(k) = -4*k**3 - 4*k**2 + 2*k. Let z(r) = 3*r**3 + 4*r**2 - 2*r. Let q(t) = -6*u(t) - 7*z(t). Let g be q(2). Solve w + g = -2*w for w.
-4
Suppose 2*l + 2*q = 20, 4*l - 15 = 2*l - 3*q. Let g = 0 - -3. Let b = -6 - -6. Solve 0 = g*t - b*t - l for t.
5
Suppose 6 = -2*k - k. Let d(y) = y**3 + 2*y**2. Let f be d(k). Solve f = -0*s + 3*s for s.
0
Suppose 3*z = b - z - 24, 1 = -b - z. Solve -b*a = -a + 15 for a.
-5
Suppose 0*u + 6 = u. Solve -2*p = -u*p - 8 for p.
-2
Suppose 0 = 4*q - 10 - 10, -2*g + 3*q - 11 = 0. Solve -5 = -3*v - g for v.
1
Let w(v) = 2*v**2 + v - 2. Let s be w(1). Solve -2*j + s = -5 for j.
3
Suppose 4*j = 4*q - 12, -3*j - 6 - 3 = 5*q. Solve 5*c + q*c = 25 for c.
5
Suppose -5 = -l - 1. Suppose 0*d - 4*d = 0. Solve d + l = 2*p for p.
2
Let i be (0/(2 - -1))/1. Suppose -4*w + w - o + 29 = i, -4*w + 34 = -o. Let p = w - 6. Solve p*v - 11 = 1 for v.
4
Let z(j) = -j**3 + 5*j**2 - 5*j + 4. Let w be z(4). Solve w = 3*g - 8*g for g.
0
Let a be (-38)/(-10) - (-2)/10. Solve 7*f - a*f = -12 for f.
-4
Let x = -8 + 15. Let q(o) = 3*o + 7. Let p(m) = -7*m - 15. Let t(k) = -4*p(k) - 9*q(k). Let s be t(x). Solve y - 1 = -s for y.
-3
Suppose 1 = -s - 2. Let u = s + 3. Solve u - 2 = -w for w.
2
Let a = -39 + 55. Solve -a = 2*i - 6 for i.
-5
Let r(f) = -f**3 - 5*f**2 + 5*f - 6. Let i be r(-6). Solve i = 3*l - 8*l - 5 for l.
-1
Suppose -22 = i - 4*d, i - 3*d = -17 - 3. Let q = -12 - i. Solve 0 = -3*v + v + q for v.
1
Suppose 4*q + b - 12 = 0, -5*q - 5*b + 14 = -16. Solve q*v + 4 = 14 for v.
5
Let w be (1 + 2)*16/12. Suppose -6 = -s - w. Solve 0 = 7*q - s*q for q.
0
Let q = 2 - 2. Let i(a) = -1 + 0*a - a - 4*a. Let r be i(-1). Solve q = -3*g + 5*g + r for g.
-2
Let r(a) = -a**3 - 6*a**2 - 6*a - 2. Let i = -13 + 8. Let x be r(i). Let m(g) = g**3 - g**2 - 4*g + 2. Let w be m(x). Solve -w*h = -4*h for h.
0
Suppose 0 = -r + 2*r. Suppose -4*w - 10 = m, -3*m - 3*w - 17 = -7*m. Suppose 5*f - 12 = -m. Solve r = -a - f - 3 for a.
-5
Suppose -110 = -4*s - 2*z, -111 = -0*s - 4*s - z. Solve 3 - s = -5*k for k.
5
Suppose 2*d - 60 - 8 = 0. Suppose 2*r = 2*i + 28, 4*r - 13 - d = -5*i. Let t be r - (-1)/(-2 + 3). Solve -t = 5*j - 4 for j.
-2
Let h be 3/(-5)*-2*5. Suppose -7*s = -6*s. Solve s = 2*d - h - 0 for d.
3
Suppose 4*p = k - p - 23, 0 = k - 2*p - 8. Let r be (-3)/((-3)/k*-1). Solve -r*d = -3*d + 1 for d.
1
Suppose -10*y + 52 = -6*y. Solve 2*q = -3 + y for q.
5
Let g be 0/(2 + -3 - 0). Solve -3*p = -g*p + 12 for p.
-4
Let y = -10 - -12. Suppose 0*k - k + 4 = -y*n, -3*n = -9. Let g be (3 - -7)*2/2. Solve g = -5*j - k for j.
-4
Suppose -f + 35 = 4*f. Solve f*p = 2*p - 10 for p.
-2
Let q be -1*(-2)/(-4)*0. Suppose -5*v = -q*v - 30. Let u be 4/(-8) - 7/(-2). Solve -u*b + v = -0 for b.
2
Suppose 4*w + 0*w - 41 = -5*d, -3*w = -5*d + 13. Let u be (12/4 - 3)/1. Let n be 1/(-1 + u) - -1. Solve -4*c + n*c = -w for c.
1
Let k be (-2 + 1)/((-10)/140). Let x = 19 - k. Solve 3*i - 2*i = -x for i.
-5
Let a(w) = -3*w + 4. Let i be a(0). Suppose 2*v - 10 = v. Solve -z - i*z = v for z.
-2
Let r(x) = 1. Let w = 0 + -1. Let b(f) = f - 2. Let a(y) = w*b(y) - 6*r(y). Let l be a(-8). Solve z + 2 = l for z.
2
Let v be 1*(4 + 1 + 0). Suppose -g = 4*g - v. Solve g = 2*x - x for x.
1
Let j be (4 - 3 - -2)*-1. Let n = j + 2. Let g be (-1 - 0)/(n/11). Solve 3*s + g = -4 for s.
-5
Let q(o) = -o**3 + 3*o**2 + 2*o - 2. Let v be q(3). Solve v*a + 0 = -12 for a.
-3
Let u(j) = -2*j**2 - 13*j - 11. Let r be u(-5). Solve -o - 15 = -r*o for o.
5
Let o(z) be the third derivative of -z**6/120 + z**5/30 - z**4/24 + 5*z**2. Let q be o(1). Solve 0 = -3*b - 3 - q for b.
-1
Suppose -3 = -s + 2. Let j(a) = a**3 + 2*a**2 + 2*a + 2. Let t be j(-2). Let o be (t + s)/((-6)/(-4)). Solve 15 = -o*l + 5 for l.
-5
Let l be 0 - -1*(-2)/(-2). Let y be -1 + 11/l - -2. Solve 2*m = -2*m + y for m.
3
Let m = 12 + -20. Let