 for h.
-3
Suppose 5*h + 14 = -4*m, -2*h + 7 = -3*h - 5*m. Let k be 2/3*(-5 - -2). Let a = h - k. Solve -s + 3*s - 4 = a for s.
2
Suppose -4*v + 5*r - 1 + 14 = 0, -v + 22 = 5*r. Solve 2*q = 1 - v for q.
-3
Let r be -4 + (6 - 2) - 0/1. Solve r = 16*j - 12*j for j.
0
Let o be ((-2)/(-6))/(3/27). Solve 3*k - o = 4*k for k.
-3
Suppose 0 = -4*q - 3*i + 97, 0*i - 2*i + 23 = q. Suppose 0*o = -3*r + 5*o + 7, -2*r = 5*o - 13. Solve c = -r*c - q for c.
-5
Suppose 2*d = -15 - 5. Let r be 5/d + (-1)/(-2). Solve r = l - 2*l - 3 for l.
-3
Let m be (1 - 2)/(2/(-26)). Solve 4*c - m = 3 for c.
4
Let b be (-1 - (0 + -6)) + -1. Solve 0*r - 12 = -b*r for r.
3
Let p = 64 + -59. Solve p = -2*n - 3 for n.
-4
Let v(l) = 2*l - 9. Let a be v(12). Solve f = -4*f + a for f.
3
Suppose -5*m + l + 9 = 0, -4*m + 0*m + 3*l + 5 = 0. Solve -5 = m*i - 13 for i.
4
Suppose 0 = 2*u - 7 + 3. Suppose -u*n = 2*n. Solve 4*w - 12 = -n*w for w.
3
Let d(t) = -t**2 + 2*t + 3. Let r be d(0). Solve 12 + 3 = r*v for v.
5
Let y be (-4)/16*4*(1 + -5). Solve 21 - 9 = y*f for f.
3
Suppose -6*m = -m. Let l be 2/(-6)*(-45 - m). Let a be (-4)/6 + (-2)/(-3). Solve 4*u - u - l = a for u.
5
Let d(i) = i**2 + 4*i + 4. Suppose -3*b = -4*b - 1. Let u be ((-8)/6)/(b/(-3)). Let o be d(u). Solve -2*p = -o*p + 8 for p.
4
Let b(h) = -5*h - 3. Let u(o) = 4*o + 2. Let r(g) = -5*b(g) - 6*u(g). Let s be r(-2). Let m be s/2 - 23/(-2). Solve -3*a - a = -m for a.
3
Let v = -2 + 6. Suppose 38 = 5*a - 12. Solve 0 = 6*x - v*x + a for x.
-5
Suppose -2*g = -5*o + 3 + 7, -23 = -2*o - 3*g. Solve -20 = -0*c + o*c for c.
-5
Suppose -c + 2*c = 3. Solve 25 - 10 = c*t for t.
5
Let c be 54/81 + (32/6)/1. Solve 6 = -c*j + 4*j for j.
-3
Let t(w) be the third derivative of -w**6/120 + w**5/10 - w**4/4 + w**3/6 + 3*w**2. Let m be t(4). Suppose -m = -4*z + z. Solve -s - z + 5 = 0 for s.
2
Let g(c) = c**3 + 6*c**2 - c - 3. Let q be ((-10)/(-3))/(4/(-6)). Let t be g(q). Let i = t - 19. Solve -7*n - i = -3*n for n.
-2
Let l(q) = q**3 - 10*q**2 - 11*q + 1. Let z be l(11). Suppose -16 + z = -3*n. Solve -n*j = -6 - 14 for j.
4
Let o = 75 + -61. Solve -5*f = -o - 11 for f.
5
Let j be 4/6 + (-24)/(-18). Solve 0 = -4*u + 6 - j for u.
1
Let x be (0*3/9)/(-1). Let k = x - -2. Solve 4 + k = 3*t for t.
2
Suppose 4*t = -v + 48, 2*v - 59 = 5*t + 11. Suppose -5*m + 10 + v = 0. Solve r = -r - m for r.
-5
Suppose 1 = -3*a + 7. Let g = -2 + a. Solve -3 = h - g*h for h.
-3
Let a(u) be the first derivative of -u**2/2 + 6. Let m be a(-3). Solve -5*q + 8 = -m*q for q.
4
Let a(b) = b + 7. Let s be a(-5). Suppose -5*v + s + 27 = 2*q, -v = 5*q + 8. Solve v + 3 = 2*t for t.
5
Let f be (-13 + 14)/(1/2). Suppose -5 = -f*c + 3. Solve 13 - 29 = c*s for s.
-4
Suppose -2*j = -6 - 2. Solve -p + j*p = 0 for p.
0
Let m = -31 - -33. Solve -m*p + 8 = -0*p for p.
4
Let c(w) = -w**3 + 4*w**2 - 3*w + 6. Let i be c(4). Let u be (-8)/i - 18/(-27). Solve 0 = -u*s - 2*s - 8 for s.
-2
Let h be 2/4 + 3/(-6). Suppose 0 = -g + 1 + 1. Solve -m = -h*m + g for m.
-2
Suppose -5*q + 87 = -58. Let c = 1 + -14. Let g = q + c. Solve -6*o + g = -2*o for o.
4
Let n = -21 - -37. Let m be 180/n - (-2)/(-8). Let h = -8 + m. Solve h*v = 5*v for v.
0
Let a = 18 - 13. Suppose -2*x - 19 = -3*f - 1, a*f = -x + 17. Solve -2*b - f = -0*b for b.
-2
Let j(c) = c**3 + c**2 - 2*c. Let o be j(-2). Suppose 1 = -4*m + 13. Suppose 0*d - 6 = -m*d. Solve o = -f + d*f + 3 for f.
-3
Suppose -3*w + m = -6, 2*w - 3*m + 6*m = 15. Suppose -2*d + 0*j + 15 = -5*j, w*d - 16 = j. Solve -x - 20 = -d*x for x.
5
Suppose -4*o = 3*v - 27, 3*o - 10 = v - 2*o. Suppose -w - v*b = w - 14, 5*w - 5*b = 0. Solve 3*q = -w*q for q.
0
Let z(f) = f + 5. Let m be z(-4). Solve -7 + m = -2*h for h.
3
Let m = 6 - -5. Let c be (-1)/(2*(-2)/12). Suppose r + c = 4. Solve -m = -5*z - r for z.
2
Suppose -5*v = -10, y + 8 = 3*y + 4*v. Solve c + 2*c = y for c.
0
Let u be (0/(-1))/((-18)/(-18)). Let k be u/((-4)/(4/(-2))). Solve k = -4*p - p for p.
0
Let z(g) = -g**2 + 7*g - 6. Let f be z(5). Suppose -2*c = -2*l - f, -4*l + c - 11 = -3. Let t be (-1)/(0 + l/10). Solve -t*b = -32 + 12 for b.
4
Suppose -48*w + 18 = -45*w. Solve l - w = -2*l for l.
2
Let g = 36 - 7. Suppose -4*v - g = -3*d, 2*d + 2*v + 4 = -0*v. Solve -10 = d*s - 1 for s.
-3
Let r be (-6)/(-10) + 192/(-20). Let k be ((-4)/12)/(1/r). Solve 2*b = 3*b + k for b.
-3
Let x be (-14)/10 - (-2)/5. Let l be (-19)/(-3) - x/(-3). Solve -l*a = -2*a + 16 for a.
-4
Suppose 0 = 4*u - 45 - 35. Let w(j) = -j**3 - 10*j**2 - j - 6. Let m be w(-10). Solve u = -f - m*f for f.
-4
Let a be 1*0/(2/(-2)). Let s(b) = b + 1. Let i be s(-5). Let l = -2 - i. Solve -l*r = -a*r - 6 for r.
3
Suppose 0*s - 2*d = 3*s + 4, -4*d - 8 = -3*s. Let a = s - -6. Let q be (-4)/((-1)/(1/2)). Solve q*c + a = -2 for c.
-4
Suppose -4*j = -8*j - 12. Let t(f) = -f**3 - 2*f**2 + 4*f + 4. Let z be t(j). Let o = z + 7. Solve -5*m + o = -m for m.
2
Let f be (-70)/(-4) + 2/(-4). Let n = -27 + f. Let z = -7 - n. Solve -z*g + 10 = -5*g for g.
-5
Suppose 3*f = -3*r + 27, -f - 4*r + 41 = 4*f. Let i = 4 + 0. Suppose i*z - 2 = 2. Solve f = 3*k - z for k.
2
Suppose 10 = 2*o - 10. Suppose -16 = -2*x - 2*x. Let a = o - x. Solve 3 = -u + a for u.
3
Suppose 5*d + 20 = 5*q, d = -4*d - 2*q - 27. Let v = d + 7. Solve 3 = p - v*p for p.
-3
Let c(k) = 3*k + 22. Let x be c(-7). Solve -4*f + x - 5 = 0 for f.
-1
Let b be ((-2)/2)/(11/(-55)). Solve b*m + 0*m - 10 = 0 for m.
2
Let m = 29 - 26. Solve m*h - 5 = 7 for h.
4
Let t(h) be the second derivative of -h**3/6 - 15*h**2/2 - 7*h. Let g be t(-15). Solve g*q - 2*q = 0 for q.
0
Let b(z) = -z**2 - 6. Let i be b(0). Let q = i - -8. Suppose -5*l + 18 = q*k, -l = -k - 2*k + 10. Solve 3 = -r + l for r.
-1
Let f be (-6)/(-21) - (-4)/(-14). Suppose -4*z - z = f. Solve 4*a + 3 + 5 = z for a.
-2
Let v(o) = -4*o**2 + 5*o - 10. Let u(s) = s**2 - 2*s + 3. Let n(y) = -7*u(y) - 2*v(y). Let w be n(-7). Solve 5*g = g - w for g.
-5
Suppose l = -3*t + 25, 0*t - 50 = -4*l - 2*t. Suppose 5 = 3*b - l. Suppose 2*o = b - 3. Solve -2*v - 5 + o = 0 for v.
-2
Suppose 2*a = -a + 18. Let r = a - 6. Suppose -2*t - 5*v - 5 = r, -2*t - 3*v - 3 = 2*t. Solve -j - j = t for j.
0
Suppose -5*n = -54 - 51. Let h be (-10)/25 - n/(-15). Solve c + 2 + h = 0 for c.
-3
Let y = 0 + -5. Let m = 8 - y. Solve -1 = 3*v - m for v.
4
Let r be (-1 + (-1 - 3))*-1. Suppose 4*h - 2*j = 64, -3*h + r*j - 22 = -77. Suppose 0*u = 5*u - 4*v - 17, u + 2*v - 9 = 0. Solve -u*n + h = -2*n for n.
5
Let f(j) = j**3 + 9*j**2 - j + 2. Let p be f(-9). Let h = -8 + p. Solve -h*m = -6*m + 12 for m.
4
Let y = -9 + 12. Suppose 0 = y*d + 6*c - c - 24, 0 = -2*c. Solve -4*m + d = -0 for m.
2
Let m(h) = -h**3 - 9*h**2 + 13*h + 33. Let i be m(-10). Solve i*s + s - 20 = 0 for s.
5
Let q = -2 + 5. Suppose -q = -n - 0*n. Solve 2 - n = -o for o.
1
Let o be (-8)/(-12) + (-32)/(-6). Suppose -h = -o + 1. Solve 0*i + h = i for i.
5
Suppose 0*j - 12 = -4*j. Let u(w) be the third derivative of w**6/120 - w**5/5 + w**4/2 - 3*w**3/2 - 4*w**2. Let i be u(11). Solve j*r = i + 4 for r.
2
Suppose 3*y - 1 = 5. Solve -4*f = -6 - y for f.
2
Let z(g) = g**2 - 1. Let d(u) = 3*u**2 - u - 5. Let x(q) = 3*q - 6. Let j be x(4). Let c(p) = j*z(p) - d(p). Let v be c(-3). Solve -4*f - 3 = -v for f.
5
Let o = -2 + 4. Let n be (1 - (-2)/(-1))*-3. Solve k + n = o for k.
-1
Let y(f) be the second derivative of -f**5/20 - f**4/4 + f**2 + 2*f. Let d be y(-3). Solve 2 + d = -a for a.
-4
Suppose -v - 3 = -9. Solve v*l = 3*l - 9 for l.
-3
Suppose -9 = 5*c + 5*k - 34, 0 = c + 3*k - 9. Solve c*q = -5 - 10 for q.
-5
Let z = 9 + -6. Suppose 0 = 4*u - 3*y - 11, z = -5*y - 2. Solve 0*d + u = -2*d for d.
-1
Let l = -3 + 0. Let w be 1/(l/18)*1. Let a = 11 + w. Solve -3*q + a = 2*q for q.
1
Let u(c) = -c**3 + 3*c**2 + c + 1. Let y be u(3). Suppose 0 = 2*g - g - 27. Suppose -5*s + 5*d = -75, s - 5*d - g = -s. Solve 4*p = -y - s for p.
-5
Let r(u) = -u**2 - 13*u - 10. Let x be r(-10). Solve h - 5*h = -x for h.
5
Suppose -7*v = -0*v - 224. Solve 0 = 5*o + 7 - v for o.
5
Let p be (-146)/10 + 22/(-55). Let z = 15 + p. Solve t - 6*t = z for t.
0
Let o = -17 + 10. Let d(g) = g**3 + 7*g**2 - 2*g - 4. Let w be d(o). Solve n = 6*n + w for n.
-2
Suppose -v = 3*v - 16. Suppose -d + 15 = 3*k, -k + 2*d - 18 = -v*k. Suppose u = -u + k. So