+ u for h.
2
Let r = 7 - 12. Suppose 0 = 2*g + 2*g + 40. Let i = r - g. Solve 6*l + 3 = i*l for l.
-3
Let d(h) = -h**3 + 4*h**2 - 3*h + 2. Let u be d(3). Let w(t) = -3*t - 26. Let l be w(-10). Solve 6*a - u*a = -l for a.
-1
Suppose -4*j - 3 - 37 = 0. Let t = j + 14. Solve -t*r + 4 = -4 for r.
2
Let q(k) be the third derivative of -k**6/120 + k**5/15 - k**4/6 + k**3/3 - 3*k**2. Let s be q(2). Solve -3*r = -s*r - 4 for r.
4
Let c be 29/9 + 4/(-18). Solve z = c - 0 for z.
3
Suppose -3*r + 6*r - 54 = 0. Suppose 0*s = -2*s - r. Let c = s - -14. Solve 0*d = -c*d for d.
0
Let l = -16 + 51. Suppose -2*k - 3*k = -l. Suppose 2*z + 25 = k*z. Solve -16 = z*d + 4 for d.
-4
Suppose -14 = -7*k + 7. Solve 12 = k*w - 7*w for w.
-3
Let f(w) = -6*w**3 - w. Let z be (1/(-3))/(2/(-12)). Suppose -y = z*y + 4*g - 13, -4*y - 5*g + 16 = 0. Let o be f(y). Solve -5*p = -o*p - 8 for p.
-4
Let l(a) = a**3 - 6*a**2 + 6*a - 5. Let x be l(5). Suppose -2*n + 3*n = -3*j + 3, x = 2*n - 4*j - 6. Solve -n*z + 6 + 0 = 0 for z.
2
Let i = 6 + -5. Let c = 3 - -2. Let w be (-6)/(1 + 2 + -5). Solve w*x + i = -c for x.
-2
Let a(p) = -p**3 + 4*p**2 + 5*p - 5. Let j be a(4). Let x = j + -6. Suppose 20 = 5*k - 5*r, 0 = 5*k - 0*k - 4*r - 18. Solve x = f + k*f for f.
3
Suppose 0 = 4*n - 13 - 3. Suppose 5*r = -3*t + 5, -t - 23 = n*r - 4*t. Let x be -1 + 0 + (-14)/r. Solve 3*w - x = w for w.
3
Let i be 9 - (7/21)/(1/6). Solve -5*q = -i*q + 2 for q.
1
Let r be 4/18 + 4/(-18). Let g be 2*(r + 4) + 3. Solve 5*b - 1 + g = 0 for b.
-2
Let m = -53 - -62. Solve 0 = -5*x + 6 + m for x.
3
Let b(t) = -t**2 - 14*t - 12. Let g be b(-13). Suppose -4*x + 11 = -g. Solve 2*i + x = -i for i.
-1
Suppose 0*y + 5*y = 4*i + 3, 2*y + 3*i = 15. Solve -y = 5*v - 8 for v.
1
Suppose 2*q + 3*d + 1 = 0, q - 3*d - 6 = 2*d. Solve 5 + q = 3*j for j.
2
Let q(n) = -n**3 - 2*n**2 + n + 2. Suppose -4*h - 12 = -0*h. Let x be q(h). Let b(y) = y**3 - 7*y**2 - 9*y + 10. Let z be b(x). Solve -4*f - 10 = -z*f for f.
-5
Let w = -7 - -15. Solve -3*s - w = -7*s for s.
2
Suppose 5*b + 11 = -4*h, 2*b - h + 3*h + 6 = 0. Let q be -1 + 7 + (0 - b). Let o(g) = -g + 7. Let i be o(6). Solve q*j + 4 + i = 0 for j.
-1
Let k(i) = -i**3 - 15*i**2 + 17*i + 26. Let b be k(-16). Solve 10 = 5*y - b for y.
4
Let t = 50 + -30. Solve -t = 4*a - 0*a for a.
-5
Let c be ((-30)/25)/(3/20). Let a be 8/(-5)*20/c. Let n be 72/10 + a/(-20). Solve -n + 22 = 3*x for x.
5
Suppose -s + 32 = -5*s + 5*i, -2 = 2*s + i. Let v(f) = f**3 + 3*f - 1. Let o be v(2). Let w = s + o. Solve -c = c - w for c.
5
Suppose p + 0*i = -4*i + 17, 0 = -3*p - 5*i + 37. Let y be 2/3*30/4. Suppose y*z = z. Solve 5*l + 1 + p = z for l.
-2
Let v = 3 - -17. Let a = v + -17. Solve -f = -0*f - a for f.
3
Let y = -103 - -111. Solve -12 - y = 4*q for q.
-5
Let l(o) = 2*o + 34. Let h be l(-15). Solve -h = -4*k - 16 for k.
-3
Suppose 15 = 20*u - 17*u. Solve 14 = -3*j + u for j.
-3
Suppose 30 = 2*n + 3*n. Let k be (4/n)/((-4)/(-30)). Solve -k*a = -10*a + 5 for a.
1
Let i be 0/(2 - 0) - -4. Suppose -n - i*n = 0. Suppose 0*r = -2*r + 6. Solve 3*o + r = -n*o for o.
-1
Let o(s) = 2*s + 12. Let b be o(-4). Solve b = 5*x - 1 for x.
1
Let p(v) = -v**2 + 1. Let g = -2 - -3. Let c be p(g). Solve c = -3*s - 12 for s.
-4
Suppose -18 = -0*q - 2*q. Let u(i) = -i**2 + 4*i. Let m be u(2). Suppose -53 = -m*b + 7. Solve q*r = 4*r + b for r.
3
Let b(g) = -2*g - 20. Let y be b(-11). Solve 0*f - y*f = 2 for f.
-1
Suppose 2*f = -3*q + 55, -q = 4*q - 5*f - 50. Let r be q - -3 - 2/(-1). Solve -r = 2*u + 2*u for u.
-5
Let g = -1 - -1. Solve 2*l - 4*l - 10 = g for l.
-5
Suppose 2*w = 2*r - w - 18, -5*w = 2*r + 14. Suppose 3 + r = c. Let v = c + 1. Solve 4*g - v = -19 for g.
-3
Let u be (-1)/(-1) + (-7 - -12). Solve v = u*v for v.
0
Suppose -c = 4*o - 22, c = -5*o - 3 + 27. Let k = 14 - 13. Solve 5*j + c = -k for j.
-3
Let k(m) = m**3 - 3*m + 3. Let n be k(2). Let v = n - 9. Let i be ((-2)/1)/(v/6). Solve -b = -i*b - 2 for b.
-1
Let q = -22 + 63. Let p = -29 + q. Solve 0*c - p = 3*c for c.
-4
Let d = 11 - 8. Solve 14 = -d*k + 2 for k.
-4
Let y = -3 + 15. Solve -2*c + 6*c - y = 0 for c.
3
Let p(c) = c**3 + 1 + 36*c - 3 - 35*c - 2*c**2. Let n be p(3). Suppose 2*v - 6 = v. Solve -v*w + w = -n for w.
2
Suppose -2*k - 2 = -32. Let v be ((-8)/(-5))/(3/k). Let g = -3 + 3. Solve g*m = -4*m + v for m.
2
Let p be 2 - ((-8)/(-2))/(-2). Solve 0 = f - 1 + p for f.
-3
Suppose -2*z + 6 = r, 4*r + 2*z - 3*z + 3 = 0. Let y be -2 - (-7 - r) - 2. Solve 6*o = y*o - 6 for o.
-2
Let h = -75 - -76. Solve -2*q + h = -3*q for q.
-1
Suppose 13 + 1 = 7*b. Solve 0*q - b*q = 6 for q.
-3
Let v(a) be the third derivative of a**6/120 - a**5/20 - a**4/6 - a**2. Let k = -15 - -19. Let w be v(k). Solve w = -0*u - 4*u for u.
0
Let i = -128 + 131. Solve -2*k - i = 3 for k.
-3
Suppose -16 = -2*v + 4*v - 4*m, -2*m + 10 = 0. Solve 0 = -u + v for u.
2
Suppose 14*v = 16*v. Solve v = 3*f - 4 + 13 for f.
-3
Let o(k) = -2*k + 38. Let b be o(13). Solve 0*c - b = -3*c for c.
4
Suppose -5*x + x - 3*s - 9 = 0, -x + 3*s = -9. Let t(y) be the first derivative of y**3/3 + y**2/2 + 1. Let v be t(x). Solve v*i - 12 = 4*i for i.
-3
Suppose -v = 6*c - 3*c + 13, 0 = 3*v + 2*c + 4. Solve -4 + 14 = -v*y for y.
-5
Let c(j) be the first derivative of j**3/3 - 4*j**2 + 7*j + 1. Let u be c(8). Solve -u = -3*z + 8 for z.
5
Let n = 11 + -6. Suppose -3*d - n = 4. Let b(s) = s**2 + s - 3. Let k be b(d). Solve 3*a + k = 4*a for a.
3
Let c = -26 + 32. Solve p + c = -p for p.
-3
Let y(q) = q**3 + 3*q**2 + q. Let h(m) = 3*m + 2*m + m**2 - 5*m. Let z(f) = 3*h(f) - y(f). Let u be z(0). Solve -3*x + 4 + 2 = u for x.
2
Let p = 1 - 1. Let f be (p + 1)*-1 + 4. Suppose -4*z = 0, 2*t + 2*z = -3*t + 40. Solve -m = f*m + t for m.
-2
Let g(i) be the second derivative of i**5/5 - i**3/3 + i. Let u be g(2). Suppose 4*v - u = -4*n, 2*v + 0*n = n + 11. Solve -3*f - 6 = -v*f for f.
2
Let d(v) = -v**2 - 2*v - 1. Let t(l) = 6*l**2 + 10*l + 6. Let y(w) = 11*d(w) + 2*t(w). Let u be y(1). Suppose 0*f + 3*f = u. Solve f = 4*x - 0*x - 20 for x.
5
Let t(z) = 7*z - 24 + 24. Let x be t(3). Suppose 5*s = -3*l + 25, 2*s + 4*l - x = 3. Solve 1 = -s*a + a for a.
-1
Let f = 46 - 26. Let l be f/9 - (-4)/(-18). Suppose l*q - 15 = -3*q. Solve -q*r = -r for r.
0
Let y = 2 + 1. Suppose 4*w = y*w. Suppose -j + 5 - 2 = w. Solve -j + 0 = -t for t.
3
Let y = -27 + 31. Solve y*n = n for n.
0
Let o(f) = f**3 - 3*f - 107 - 14*f**2 + 19*f + 89. Let t be o(13). Solve t - 1 = 5*u for u.
4
Let d be ((-2)/2)/(7 + (-44)/6). Solve -d*p = -5*p + 8 for p.
4
Let p = -1 - 0. Let o be (-12)/(p*3) + 0. Let n be (-5)/((-10)/o) + 0. Solve -n*m + 3 = -1 for m.
2
Suppose -x + 5 = 2. Let q be (3 - x)*(-1)/2. Solve 0 = -q*n + 4*n + 4 for n.
-1
Let y(m) be the first derivative of m**4/4 - m**3 + 2*m**2 - 2*m + 6. Let p be y(3). Solve 0 = -2*x + 2 - p for x.
-4
Suppose 8*u - 4*j + 23 = 11*u, 27 = 5*u + j. Solve u*v - 1 + 6 = 0 for v.
-1
Let b(m) = 6*m - 4. Let c be b(1). Solve -7 - c = -3*o for o.
3
Let c(g) = 0*g + 2*g + 1 - 15. Let l be c(15). Solve l = -h - 3*h for h.
-4
Suppose -2*x + 2*i + 20 = -2*i, 8 = -2*x - 3*i. Suppose 0*h - 2*h = -x. Suppose 0 = a - 3 - h. Solve -a*k = k + 10 for k.
-2
Let l be 9/15 - 9/15. Solve -i - 6 + 2 = l for i.
-4
Let z(y) = -y**2 - 8*y - 10. Let v be z(-6). Solve q + 12 = -v*q for q.
-4
Let z(y) = -4 + y + 1 - 2. Let n be z(9). Let p = -1 + n. Solve 0 = 2*q - p - 3 for q.
3
Let y(z) = -2*z**2 + z**2 + 1 + 0 + 9*z. Let b be y(9). Solve k + b = 2*k for k.
1
Suppose 2*m - 10 = -4. Let c = 30 + -30. Let l = 11 - 7. Solve -m*h + l*h = c for h.
0
Let g(a) = 5*a**3 - a - 4*a**3 + 5 + 0*a. Suppose 5*h - 8 = -2*f, 0 = h - 3*f + 13 - 1. Let q be g(h). Solve q*d + 20 = d for d.
-5
Let t = -132 - -226. Suppose -5*l - t = -3*w - 34, 6 = 2*l. Suppose -w = o - 6*o. Solve 0 = -c + o*c - 16 for c.
4
Let u be 3*((-5)/(-3) + 1). Solve -5*z = 23 - u for z.
-3
Suppose -11*o + 0*o = -66. Solve o*f - 2*f = 16 for f.
4
Suppose -5 = -5*q - 0. Let v be ((-2)/(-2) - -4)*q. Suppose -25 = v*p, 3*i - 5*p - 19 = 6. Solve -4 = 4*w - i for w.
-1
Let i = -7 - -11. Let n be i/(-2)*(-4 + 3). Let d(h) = -h**2 + h + 3. Let u be d(0). Solve -4*x - n = -u*x for x.
-2
Suppose 0 = -5*u + 5*o + 35, 5*u - 8 = -o - 3. Suppose r - u*r = 0. Let q be r - (-10 + -2 -