 = 0 for h.
3
Let l = 25 - 17. Let k = l - 2. Let s = k - 3. Solve 3 + s = 3*w for w.
2
Suppose 2*y - 2 = -0*y. Let i(p) be the second derivative of p**4/12 - p**3/6 + 4*p. Let l be i(y). Solve 4*f - 3 - 5 = l for f.
2
Let m(c) = -2*c + 3. Let u be m(3). Let l be 12/15*(u - -8). Solve 20 = -0*z + l*z for z.
5
Let o be (-10)/3*24/(-16). Solve -3 = -r - o for r.
-2
Let s = 75 + -40. Let a(y) = -y**3 - 2*y**2 - 3*y + 2. Let h be a(-3). Let x be 1/1*h/2. Solve x = -5*g + s for g.
5
Suppose 2*i = -5*g - 36, 0*g + g + 41 = -3*i. Suppose -s = 5*h + 89, -2*h + 5*s = 8 + 33. Let r = i - h. Solve r*p = 2*p for p.
0
Let c = 101 - 98. Solve y = c*y + 4 for y.
-2
Suppose -3*g + 13 = w - 0, g = 3*w - 9. Let v(m) = -m**3 - m**2 + 2*m + 2. Let t be v(-2). Suppose 0 = -t*o - 2 + w. Solve -2 + o = -s for s.
1
Suppose -9 = -4*r + 83. Let c = 39 - r. Solve -2*m - 2*m = -c for m.
4
Suppose 6*x = -x. Solve -1 = -w - x for w.
1
Suppose 7*o - 90 = 2*o + 5*k, 5*o + k - 78 = 0. Solve -2*c - 2*c = -o for c.
4
Suppose 2 = 5*c - 18. Solve x = c - 5 for x.
-1
Suppose 58*x = 56*x + 4. Solve x = 3*f - 1 for f.
1
Let t be (6 + 0)/((-4)/(-2)). Suppose 0 = -l - 4*l - 3*n + 37, 3 = 3*l - 3*n. Suppose 2*w = -b + 24, w + 4*b - 10 + l = 0. Solve w = t*g + 4 for g.
3
Let m(s) = -7*s**2 + 8. Let f(o) = -o**2 - 5*o**2 + 7 - 3*o**2 + 3*o**2. Let q(c) = -6*f(c) + 5*m(c). Let y be q(2). Solve -y*t = 2*t + 8 for t.
-2
Suppose 0*c = 11*c + 8*c. Solve f + 0*f = c for f.
0
Let m(r) = -r**2 - 7*r + 6. Let o be m(-8). Let d = o - -8. Solve -d + 1 = 5*g for g.
-1
Suppose 0 = 4*g + g + 3*p - 36, 6 = 3*p. Let i be (2/4)/(2/12). Let f be (-1 - 9/3 - 2)/(-1). Solve f = i*z - g for z.
4
Suppose -2*s + 20 = 3*s. Let w be 2/(42/9 - s). Suppose b - 6*b + 10 = 0. Solve b*n + w*n = 25 for n.
5
Let f be -1 + 2 + -3 + -4. Let c(r) be the second derivative of -r**5/20 - 7*r**4/12 - 4*r**3/3 - 4*r**2 + r. Let u be c(f). Solve 2*g = g + u for g.
4
Let g(z) = z**3 - 9*z**2 + 3. Suppose -2*x = -3*x + 9. Let i be g(x). Solve o = i*o for o.
0
Let y be (-15)/(-5)*(1 + 2). Suppose -1 = 4*g - y. Suppose 0 = -4*p - 2*q + 48, -3*q = 2*p + g*q - 40. Solve c + p = -4*c for c.
-2
Let k be (16/(-6))/(-4)*-3. Let w be (3 - 1) + (-2 - k). Solve q + 0 + w = 0 for q.
-2
Let s(g) = g**3 + g + 4. Let r be s(0). Solve 3*d = r*d - 1 for d.
1
Let k(y) = -y - 1. Let q(v) = 4*v - 6. Let f(u) = -3*k(u) + q(u). Let g be f(2). Solve 2*t - g + 3 = 0 for t.
4
Let t be 6/15 - 0 - (-18)/5. Solve j - t = -3*j for j.
1
Let l(i) = i**2 + 6*i. Let q be l(-6). Let b = 74 + -68. Solve 2*z + q = b for z.
3
Let j = -3 - -5. Let w = 26 - 14. Solve -w = j*i - 5*i for i.
4
Let z(n) = 4*n**2 + n. Let q be z(1). Let i(o) be the first derivative of -o**3/3 - 2*o**2 + 3*o - 1. Let m be i(-4). Solve -2*g + m*g - q = 0 for g.
5
Let q = 15 + -11. Suppose -4*f + 4*y = 12, 17 = -q*f + 2*y + 3*y. Solve 5*k + 7 = f for k.
-1
Let v be 24/(-2)*(-3 - (-16)/6). Solve 0 = -5*s + v*s + 2 for s.
2
Let n be 7/(42/(-12))*-5. Let k = 4 + 1. Suppose -z - 8 = -0*h - 4*h, k*h = -5*z + n. Solve z = c + 4 - 1 for c.
-3
Let n(g) = g + 9. Let t be n(0). Solve 0 = -3*m - t - 6 for m.
-5
Let v = -34 - -34. Solve v*f = 4*f for f.
0
Let g(o) = -o**3 - 8*o**2 - 6*o + 10. Let j be g(-7). Suppose -24 - 21 = -j*z. Suppose 3*m = z - 3. Solve -x + m - 2 = 0 for x.
2
Suppose 5*q + 12 = -2*y - 8, -12 = 3*q. Solve y*f + 4 = f for f.
4
Let s be 4/(5*2/15). Solve 11*w = s*w + 5 for w.
1
Let l(g) = g**2 + 12*g - 10. Let u be l(-13). Solve 0 = -2*y + 5 - u for y.
1
Suppose 4*h = 5*q - 32, 3*h + 21 = -q + 4*q. Solve q = -w + 6 for w.
2
Let q = 488 - 478. Let b be 5*(-2)/(-2)*1. Solve -b*t + q = -10*t for t.
-2
Let j be 2/(-6) + (-74)/(-6). Suppose -4*k = -48 - j. Solve 3*w = -2*w - k for w.
-3
Suppose 0*m - m + 2 = 0. Suppose -3*v + 25 = m*v. Suppose c + 5*k + 5 = -0*c, 4*c - 5 = v*k. Solve c = 3*h - h - 4 for h.
2
Suppose 2*s + 5*c - 10 = 0, 3*s = -s + 5*c + 80. Let x = 23 - 18. Let y be ((-9)/x)/(12/(-40)). Solve -j = -y*j - s for j.
-3
Let b be (-3 + 14/4)*0. Solve -p - 3*p + 20 = b for p.
5
Suppose -3*l = -2*n - 64, 0*n + 2*n = l - 16. Solve -1 = 5*s + l for s.
-5
Suppose 4*y = 12, -3*y - 10 = -4*b - 3. Let t(z) = -z**3 - 6*z**2 - 6*z - 7. Let p be t(-5). Let g = p + 3. Solve 0 = -b*l + 9 - g for l.
2
Suppose j = -j - 18. Let c be (0*3/j)/(-1). Solve c = -2*l + 7 - 1 for l.
3
Let q = -22 - -23. Solve 0 = 4*l - q + 5 for l.
-1
Let o(d) be the third derivative of d**4/24 - d**3/6 - d**2. Let q be o(4). Suppose 31 = q*c + u + 4*u, -23 = c - 5*u. Solve -2 + 12 = c*y for y.
5
Let m be 434/6 - (-2)/(-6). Let d be m/(-28)*28/(-6). Let k be d/(-4) - (-2 - 1). Solve k = 3*l + l - 4 for l.
1
Let n(o) = -o**2 - 9*o - 2. Let t be n(-8). Suppose -6*p = -p + 5. Let g(f) = -4*f + 1. Let a be g(p). Solve -u + t*u = a for u.
1
Let r = -9 - -10. Suppose 6*t = r + 17. Solve 2*u = t + 5 for u.
4
Let c = 22 - 25. Let k(p) = -p**2 - 3*p - 3. Let q be k(-3). Let n be c*(-3)/q + 5. Solve -n = 2*y + 8 for y.
-5
Let k(p) = p**3 + 5*p**2 + 3*p + 3. Let z be k(-4). Suppose -4 = 2*r + 5*n, -z = -r + n - 2. Solve 0*c - r = 3*c for c.
-1
Suppose s + 1 + 3 = 0. Let n = s + 6. Suppose -i = -4, -2*m + i = -0*m. Solve -n = o - m*o for o.
2
Let n = -15 - -15. Let y = n - 0. Solve -1 = l - y*l for l.
-1
Let p(b) be the first derivative of -b**3/3 + 6*b**2 + 3*b + 1. Let h be p(10). Solve 5*k - 2 = h for k.
5
Let v(g) be the third derivative of -g**5/60 - g**4/4 - g**3/2 - 4*g**2. Let m be v(-4). Solve -m*a + 5 = -10 for a.
3
Let y = -7 + 10. Let d be 2 - 0 - (6*-1 + 4). Solve -d = -l + y*l for l.
-2
Suppose 3*g - 12 = g. Let m = 8 - g. Solve -j + m = j for j.
1
Suppose 5 + 15 = -5*k. Let v(x) = -2*x - 4 - 6 + 4. Let u be v(k). Solve -z = -u*z + 2 for z.
2
Let l(x) = -2*x + 17. Let j be l(7). Solve -4*q = -q + j for q.
-1
Suppose -c = -0*c - 2. Suppose 3*u - 10 = -1. Suppose l + 2*i + c = 0, 3 = -2*l - u*i + 2. Solve -x = -l*x + 12 for x.
4
Suppose 0 = -2*o - 3*o. Suppose -17 - 18 = -4*m + 5*v, o = 2*m + 5*v + 5. Solve -13 = -m*g - 3 for g.
2
Let d be (20/(-5))/(0 + 2)*-2. Solve -d = -2*x - 0*x for x.
2
Suppose -6*m + 14*m - 16 = 0. Solve 0 = 3*y - m*y + 2 for y.
-2
Let g(j) = -j**3 - 6*j**2 + 5*j - 6. Let c be g(-7). Let r be (c/(-14))/((-16)/56). Solve 0 = r*l - 3*l - 4 for l.
-4
Let j(t) = -3 - 2*t + 8 - 1 - 2. Let g be j(-6). Solve 0 = -3*l - 2 + g for l.
4
Suppose 3*p = 2*d - 10, -p + 2*p = 5*d - 25. Solve d + 7 = 4*q for q.
3
Suppose g = 2*f - 3*g, 3*f - 3*g - 3 = 0. Let m = -10 + 13. Let j be (-2 + m + -1)/f. Solve j*t = -t for t.
0
Let g = -170 - -172. Solve 2*f = -g*f - 8 for f.
-2
Suppose -f = 2*b - 2*f - 18, -2*b + 14 = f. Let l be ((-6)/(-4))/((-6)/b). Let g be 10*l/(-4) + 0. Solve -g*m = -m for m.
0
Let g = 9 - 4. Suppose g*l = 3*q + 32, 0*l - 4*q = 4*l. Suppose r + 7*w - 5 = 3*w, -2*w = r - 3. Solve 17 - r = l*x for x.
4
Let v(s) = s**2 + 5*s. Let p be v(-6). Solve 0 = -2*d + p*d for d.
0
Suppose 11 = 3*h - 25. Suppose -p = p - h. Solve 0 = -2*g + p*g - 4 for g.
1
Let p = -1 - -1. Let t be (-1)/((2 - 3)*1). Let s = p + t. Solve -u + s + 0 = 0 for u.
1
Suppose 4*w - 5*z = 337, z + 74 + 243 = 4*w. Suppose 0 = -3*s - 114 - w. Let g be s/(-10) + (-2)/5. Solve 3*d + 12 = g*d for d.
4
Let g(z) = -4*z**3 + 12*z**2 + 16*z + 7. Let k(i) = 3*i**3 - 13*i**2 - 16*i - 6. Let c(x) = -2*g(x) - 3*k(x). Let n be c(16). Solve 0*t - 8 = -n*t for t.
2
Let r(h) = -3*h + 3. Let q be r(2). Let a(u) = -2*u. Let n be a(q). Let p(y) = -y**3 + 5*y**2 + 7*y + 3. Let i be p(n). Solve -m - 2*m = i for m.
-3
Let o be 2/7 + (-23)/7. Suppose d + 1 = -f, 0 = d + 3*d + 5*f + 8. Let n = o + d. Solve n = 6*r - 3*r + 9 for r.
-3
Let y(v) = -5*v + 47. Let d be y(9). Solve -2*f + 12 = d for f.
5
Suppose 0 = -0*h - 3*h + 12. Let w(a) = a**2 - 3. Let p be w(-5). Let s = p - 13. Solve h*o = s - 1 for o.
2
Let q be 1 - (-3)/(-6)*-2. Suppose 6 = q*j - 4. Suppose 80 = 2*p + 20. Solve -p = -5*y - j for y.
5
Let t be 20/(-6)*(-6)/5. Suppose -l - 1 + 7 = 2*h, t*l - 5*h = -15. Solve -5*z = -l*z for z.
0
Let b(w) = -w - 3. Let c(h) = -h - 3. Let k(t) = -6*b(t) + 7*c(t). Let d be k(-4). Solve d = -0*i - i for i.
-1
Let y = -3 - -11. Let n = 13 - y. Let g(p) = -p**2 - p + 29. Let x be g(-4). Solve 3*q - x = -n for q.
4
Suppose 3*s + 4 - 10 = 0. Solve 0*r = s*r +