 + 0*h = 0. Let o be h/(2 + -1 + 0). Solve t + 1 = -o for t.
-1
Suppose 2*y + 8 = 6*y. Solve -3 = -y*t - 5 for t.
-1
Let y(s) be the first derivative of s**3/3 + 9*s**2/2 + 12*s - 3. Let o be y(-9). Solve 0 = 3*t - o + 27 for t.
-5
Let p(x) = x**2 - 12*x + 14. Let v be p(11). Suppose -5*s = -v*s. Suppose -18 - 4 = -5*o + 2*d, 2*o + 3*d - 5 = s. Solve -o*w + 2*w = 10 for w.
-5
Let x = 4 - 11. Let r be (-28)/(-8)*(-4)/x. Suppose 7 = 4*v - 1. Solve r*o - o = v for o.
2
Let d(g) = -g + 8. Let v be d(4). Solve -m - v*m = 0 for m.
0
Let s be (12/3)/((-1)/(-2)). Let n = s - 3. Solve n*o + 12 = o for o.
-3
Let m(j) = -j**3 - 18*j**2 - 2*j - 20. Let n be m(-18). Solve -4*t = -0*t - n for t.
4
Suppose 5*o + 4*s = 6, 3 = -s + 2. Suppose 0 = -o*m - 4*q + 12, 4*m - 5*q = 3*m - 1. Solve -10 = 2*u - m*u for u.
5
Let d = 11 + -9. Solve -10 = 4*h - d*h for h.
-5
Let z(l) = -3*l**3 - l**2 + l + 2. Let x be z(2). Let q be 6*4/x*-2. Solve q*w + 25 = 7*w for w.
5
Let b be 3/3 - 1/((-1)/3). Solve 0 = -b*k + 1 + 11 for k.
3
Let j = -10 - -15. Suppose j*x - 13 = 27. Let k(f) = -f**2 - 7*f + 4. Let o be k(-7). Solve -o*z + 4 = x for z.
-1
Let h be 6/18 - (-23)/3. Let v = -8 + h. Solve -2*q + v*q = -4 for q.
2
Suppose -2*w - 5 - 3 = 0. Let i(m) = m**3 + 5*m**2 + 5*m + 3. Let r be i(w). Let f be 0/(-3) + 1 - r. Solve o = f*o + 4 for o.
-4
Suppose 0 = -3*l + 2*l + 4*v - 46, v + 83 = -2*l. Let c = -28 - l. Let q = 9 - -2. Solve -q = -5*u + c for u.
5
Let g = 1 - -4. Suppose 15 + 5 = -5*c. Let p be c/((-36)/(-21) - 2). Solve -11 = g*a + p for a.
-5
Let c(v) = v**3 - 4*v**2 + 2*v + 3. Let p be c(3). Let k be ((-18)/(-12))/((-3)/(-8)). Solve 2*t - k*t + 10 = p for t.
5
Suppose l + n - 9 = 0, -5*l + 3*n = -10 - 11. Let a = l + -3. Solve -a*d = -0*d for d.
0
Let c(j) = -j**3 + 15*j**2 + 16*j + 3. Let t be c(16). Solve 0*u - 12 = t*u for u.
-4
Let p(z) = z**2 - 1. Suppose -4*b + 6 = 2*s, -4*s + 7 = -2*b - 5. Let u be p(s). Let t(q) = q - 2. Let k be t(u). Solve h = k*h for h.
0
Let j(g) = -g**2 + 10*g - 9. Let t be j(9). Suppose 0*q + 21 = -4*z + 5*q, 2*z - 5*q + 13 = t. Let i = -1 - z. Solve 0 = -w - i*w for w.
0
Let j be -35*(-1)/1 + -1. Suppose j + 26 = 4*t. Solve -2*k - t = 3*k for k.
-3
Let c(z) = -2*z - 4. Let f(x) = x**3 + 6*x**2 + 5*x. Let u be f(-5). Let r be -2 - (u/(-2) + 2). Let b be c(r). Solve b*o - 16 = 4 for o.
5
Let w(l) be the second derivative of -l**3/6 - 2*l**2 - 2*l. Let k be w(-9). Suppose 9 = 2*i - h, 0*h - 29 = -2*i + 5*h. Solve -i*t - k = 5 for t.
-5
Suppose 4*g = -3*l - 3, -3*l = 2*g + g + 3. Solve g*k - 2*k = 10 for k.
-5
Suppose 5*n - 2*n = 0. Suppose n = 5*i - 2*v - 15, -5*i - 6*v = -2*v - 15. Solve 2*a - i = -1 for a.
1
Let r(p) = p**2 + 6*p + 5. Let m be r(-6). Solve -2*z + m = 1 for z.
2
Let y be -1 + (0 + 0 - 2). Let t be -7 + 5 - 11*y. Suppose 0 = 3*x + 4*r - 13, 80 = 2*x + 3*x - 5*r. Solve -5*o + x = t for o.
-4
Let u = -65 - -70. Let f = 2 + 1. Solve f = -2*o + u for o.
1
Suppose -3*g - 3*k - 5 = 10, 5*g - 4*k - 20 = 0. Solve g = t - 0*t + 4 for t.
-4
Let h = -22 - -2. Let y = h + 24. Solve -y*l + 20 = l for l.
4
Let c(t) = -t**2 - 5*t - 3. Let r be c(-3). Let f be -4*(27/(-12))/r. Solve f*b + 21 - 6 = 0 for b.
-5
Suppose -4*o = -0*w + 5*w - 36, -5*o + 2*w = -12. Solve -5*c - o = -4*c for c.
-4
Let p be (-2)/(-5)*(117 + 3). Suppose p = 8*i - 5*i. Suppose -5*s = 1 - i. Solve s*o = -o for o.
0
Suppose -o = -5*i + 23, 3*o + 2*i = 4*i - 4. Let z = 3 - 0. Suppose 0*d + z*d - o = -4*u, 8 = -2*d - 5*u. Solve -2 + d = 2*r for r.
2
Let p(x) = -x**2 + x - 1. Let r be p(1). Let h be (-2 - r)*(-14)/7. Suppose -3*i - 4*z = 17 - 55, -h*i - 13 = -5*z. Solve -4*l + l - i = 0 for l.
-2
Let h(m) = -m + 1. Let a be h(3). Let r be ((-33)/(-6))/((-1)/a). Solve 4*o - r = -31 for o.
-5
Let b(g) = g**3 - 12*g**2 - 13*g + 7. Let f be b(13). Solve 12 = f*z - 3*z for z.
3
Let d = 7 - 5. Suppose -2*u - 3*w - 7 = 0, -7*u + 15 = -d*u + w. Suppose -3*m = y + 9 - 22, 3*m + 7 = u*y. Solve -m*z + 4*z - 1 = 0 for z.
1
Suppose -8 = -z - 3. Solve z*l = 3*l + 4 for l.
2
Let i = -10 + -5. Let o = -10 - i. Solve -7 - 3 = o*g for g.
-2
Let f(y) = y + 8. Let z be f(-8). Suppose -2*c + 3*g - 166 = 2*c, -5*g - 225 = 5*c. Let k = 63 + c. Solve j - 5*j + k = z for j.
5
Let w(b) = -b**2 - 10*b. Let y be w(-10). Solve -k + y = -1 for k.
1
Suppose 3*s + 2*s + 50 = 5*m, 0 = 2*m - 3*s - 22. Let d be (9*7/(-84))/((-2)/8). Solve d*j - j = -m for j.
-4
Suppose -3*b + 25 = -5*g, b - 6 = -b - 2*g. Suppose -5*i = -5 - b. Solve -u - 15 = i*u for u.
-5
Let l = -50 - -52. Solve -2 - l = -g for g.
4
Let t be 1/(-3*3/(-27)). Solve -4*j + t = 23 for j.
-5
Let n(t) = 14*t**2 + t + 2. Let y be n(-1). Suppose -2*k + 23 = -0*k + 3*v, 5*v - 33 = -2*k. Solve -y = -k*p + p for p.
5
Let f(p) = -p**2 + 6*p - 5. Let l be f(4). Suppose 2*g - 5*r - 29 = 0, 14 = l*g - 5*r - 17. Solve g*t = -10 - 0 for t.
-5
Let q be 3/6 - -4*(-5)/40. Solve q = 2*t - 6*t + 16 for t.
4
Let g be (-1)/((-2)/(-22) - 0). Let v = -4 - -21. Let m = g + v. Solve 0 = -0*p + 2*p + m for p.
-3
Suppose f + 3*f - 16 = 0. Solve 0 = f*z - 5*z + 2 for z.
2
Let q(t) = -t - 4. Suppose -11 - 10 = 3*i. Let n be q(i). Suppose 4*a - 2*y - 18 = 0, -n*y - 8 = -a + 4. Solve -5*g = a + 22 for g.
-5
Let z = 2 - -8. Solve 4*q - z = 10 for q.
5
Let n = -41 + 28. Let p = n + 15. Suppose 4*t + 34 = 5*z + 3, 0 = -5*z + t + 19. Solve p*o - z*o = -1 for o.
1
Let f be 4 - (4 - 4/2). Let l(j) = -j**2 + 5*j - 2. Let m be l(f). Solve 0 = -m*k + k + 15 for k.
5
Suppose 0 = 3*m + m - 16. Suppose 6 = -n - m. Let q be 6*2*(-5)/n. Solve -5*z - q = -1 for z.
-1
Let g(y) = -y**3 + y**2 - 2*y - 2. Let h be g(-1). Solve -h*l = -2 + 6 for l.
-2
Let w(l) = l**2 - 2*l. Let g(n) = n + 1. Let x = -5 - -9. Let q(o) = x*g(o) - w(o). Let h be q(6). Solve -5*y + 21 = -h for y.
5
Let d be (-45)/(-18)*4/10. Solve 1 + d = w for w.
2
Let s(m) = 0*m**2 - 10*m**3 - 4*m**2 + 2 + 3*m + 11*m**3. Let j be s(3). Solve -3*f + f + j = 0 for f.
1
Let p be 15/(-6)*4 - -1. Let a be -1*(0/(-1) - p). Let n be (15/a - -1)*-3. Solve -n = -2*y + 4 for y.
3
Suppose -a - a = -8. Solve m - a*m + 3 = 0 for m.
1
Suppose -2*o - 2*d = 6, 0*o + 5*o - d - 15 = 0. Suppose 3*i + 31 = 4*w - 41, 5*i = -w + 18. Let k = w + -3. Solve -k = -o*y + 5*y for y.
-5
Let c(b) = -b**3 - 5*b**2 - 10*b - 4. Let j be c(-3). Solve 0 = -j*m + 4*m for m.
0
Let j = 145 - 139. Solve 4*a - j*a = 2 for a.
-1
Suppose 5*t - 26 + 10 = 2*h, 5*h - 10 = 0. Suppose 0 = -d + t. Let n = d - 2. Solve -n = -4*s - 18 for s.
-4
Suppose 0 = -5*r - 5*b + 10, r - 4*b - 5 - 7 = 0. Solve r = -0*o + 2*o for o.
2
Let w(p) be the third derivative of p**5/60 + p**4/12 - p**2. Let x be w(5). Suppose 5*s = -5*g + x, -5*s = -4*g - 3 + 4. Solve g*u + 1 = -7 for u.
-2
Suppose -13*v = -16*v. Solve v = -4*r - 8 + 4 for r.
-1
Suppose 5*v = 14 - 39. Let b = -4 - v. Suppose 6*r - 19 = 11. Solve 4*o - b = -r for o.
-1
Suppose 2*h - 2*i - 24 = -0*i, -1 = 2*h + 3*i. Solve h*x - 3*x = -16 for x.
-4
Suppose -p = 5 - 8. Suppose -4*u = u - 20. Solve 5*y = p*y - u for y.
-2
Let i(r) = 3*r**2 + 2*r - 2. Let s(d) = 4*d**2 + 2*d - 3. Let w(f) = -3*i(f) + 2*s(f). Let n be w(-2). Solve n = -0*v - 2*v for v.
0
Suppose 5*c + 0*c - 15 = 0. Let w be (c/(-2))/((-6)/16). Solve w = -b - 0 for b.
-4
Let o be 3*(2 + 2 - 3). Solve -2*s = -o*s + 5 for s.
5
Let f(c) = -2*c - 6. Let j be f(-5). Let l(b) = -4 - 4*b + j*b + 3 - b. Let r be l(-3). Solve -5 + 1 = -r*u for u.
2
Suppose 0*m = -5*o + 3*m - 15, -3*o + 25 = 5*m. Let v be o/(1/(-3)*-3). Solve -l + 0*l = v for l.
0
Let z be (-2)/2*(-5 - -1). Solve 0 = z*l + l + 20 for l.
-4
Let m = 85 - 81. Solve 0 = m*b - 3*b - 2 for b.
2
Suppose -4*l = 2*w - 137 + 53, -2*w = -2*l + 48. Suppose 0 = 4*r - 38 - l. Solve -f = 2*f + r for f.
-5
Let b be -4 + 3 - (-5)/1. Suppose 4*a - 3*a = b. Solve 0 = -3*h + a*h - 5 for h.
5
Let h(a) = -a + 7. Let w be h(6). Let p = w - 21. Let o be p/(-6) - 2/6. Solve -t = o*t - 8 for t.
2
Suppose 4*v - 5*p = -2*p - 1, -3*p = -2*v - 5. Solve -5*b = -v*b for b.
0
Let o be 2 - -1*9*2. Let m(h) = h**2 + h - 7. Let j be m(-4). Solve o = -l + j*l for l.
5
Let h = -11 + 13. Solve -10 + h = -2*r for r.
4
Let k be (35/21)/((-2)/18). Let m = k + 18. Solve 0 - 3 = m*c for c.
-1
Suppose -4*l = 2*n + 10 - 36, 3*n = 15. Solve -2 = l*h 