+ 72. Solve -1 = h*g - 9 for g.
2
Suppose -7*r + 6*r + 5 = 0. Solve 0*h = r*h + 10 for h.
-2
Suppose -3*d + 5*g + 45 = 8*g, 3*g + 39 = 4*d. Solve -d = 2*r + r for r.
-4
Suppose -2*h = 3*z - 0*z - 23, -4*h = 4*z - 36. Let x = h + -2. Let b = 4 - x. Solve w + b*w = 12 for w.
4
Suppose -8*l = -7*l - 11. Solve -l + 1 = -2*t for t.
5
Let u = 40 + -25. Suppose -4*j = -j - u. Suppose -j*v + 30 = -0. Solve -4*k + v = -k for k.
2
Let k be 4/(2*(0 + 1)). Suppose a - 10 + k = 0. Solve -3*x + a = x for x.
2
Let z = 2 - 1. Let m be 48 + (2 - (z + 2)). Let u be m/9 + (-4)/18. Solve 16 = u*r - r for r.
4
Suppose -a + 1 + 2 = 0, -w + a = -1. Solve 0 = 3*z - w*z for z.
0
Suppose -4*f = -u + 18, -2*u + 2*f + 0*f + 24 = 0. Solve 0 = -9*o + 4*o - u for o.
-2
Suppose -w = -0*w. Solve 15 = -3*h - w for h.
-5
Let w(p) = -p**2 + 4*p + 1. Let a be w(5). Let v be a/3*(-162)/12. Solve -v = -5*c - 3 for c.
3
Suppose 6 = 3*z - 9. Suppose -i = -z*i + 16, -3*b + 7 = -2*i. Suppose b*w = -2*y + 8, -5*w + 2*y + 8 + 4 = 0. Solve 0 = -3*c - 4 - w for c.
-2
Let s(x) = -2*x**3 - 6*x**2 - 7*x + 2. Let h be s(-2). Let l be (-1 + -1)/((-4)/10). Solve -t = -l*t - h for t.
-2
Let s be (4*-1)/1*1. Let k be (-2)/s*6/3. Suppose -4 = -a + k. Solve -a*t = 4 + 1 for t.
-1
Let r = -8 + 8. Solve r*v = -2*v - 4 for v.
-2
Let z(k) = -4*k - 3. Let a be z(-2). Suppose 4*y = 2*b - 10, 20 = b + 3*b + y. Suppose 0 = -5*v - 4*c + a*c + 29, -5*c = -b. Solve 5*p - v = 4 for p.
2
Let h(l) be the first derivative of -l**5/30 - l**4/6 + 2*l**3/3 - 1. Let q(n) be the third derivative of h(n). Let z be q(-5). Solve b + 3*b = -z for b.
-4
Suppose 4*b - 12 = l - 43, 0 = 2*b + 10. Solve -4*d + l = -9 for d.
5
Let l = 53 - 41. Solve 3*h + h - l = 0 for h.
3
Let b be (1/(-2)*2)/(-1). Let j = 1 + b. Solve 2*u + 12 = -j*u for u.
-3
Let w = 9 + -15. Let j be 16/w*18/(-12). Suppose 0*l + 5*o - 32 = -3*l, -4*o - j = -5*l. Solve 0*n = n - l for n.
4
Let c = -80 - -82. Solve -3*h - 5 = -c*h for h.
-5
Let s = -41 - -46. Solve s*h - 16 = h for h.
4
Let z = 8 - 1. Suppose 3*w = z - 1. Solve w = -q - q for q.
-1
Let u = 3 + 1. Let n be -1 + -3 - (3 - 1). Let v = 9 + n. Solve v - u = r for r.
-1
Let f = -2 - -6. Solve f*d - 2*d + 4 = 0 for d.
-2
Let n be (-10)/25 - (-18)/(-5). Let a be (3/2)/(2/n). Let l = -3 - a. Solve -5*m + 2*m = l for m.
0
Let r = 2 - -2. Solve -r - 11 = -5*f for f.
3
Suppose 6*u - 32 = -26. Solve k - 2*k = u for k.
-1
Let g(x) = -x**3 + 3*x**2 - x - 1. Let q be g(2). Let z = 6 - 1. Let a be (-2 - (-8)/5)*-5. Solve q = a*s + z for s.
-2
Suppose 0 = 5*a - 0*a - 5. Let j be (1/a)/(1/4). Solve 5*z = 6 + j for z.
2
Suppose -17 = -3*o + 7. Let l = o - 6. Solve l = 2*w - 6 for w.
4
Let v(f) = f**3 + f**2 - 1. Let h(y) = -2*y**3 - 2*y**2 - 2*y + 1. Let z(k) = -h(k) - 3*v(k). Suppose -35*t + 8 = -39*t. Let u be z(t). Solve -m - u = m for m.
-1
Let r(i) = 0*i**2 - 5 + 35*i + i**3 - 6*i**2 - 29*i. Suppose 4*u = 2*q - 0 + 20, -2*u + 10 = -4*q. Let o be r(u). Solve -4*k - 4 = -o*k for k.
-1
Suppose -14*c + 10 + 4 = 0. Solve 3 = -2*i + c for i.
-1
Let s(u) = u**3 - 2*u**2 + 5*u - 6. Let i be s(2). Solve i*o + 19 = -1 for o.
-5
Let b(m) be the second derivative of -1/6*m**3 + m + 0 - 5/2*m**2. Let z be b(-8). Solve -z*k + 5*k = 6 for k.
3
Suppose -3*l - 26 = -5*h - 7, 0 = 4*l + 2*h - 18. Suppose -l*d + 3*d - 4 = 0. Solve -d = f - 0 for f.
-4
Let m(x) = -x**3 + 3*x - 3. Let q be m(2). Let b = q + 6. Let o = 2 - b. Solve -2*r - o = -r for r.
-1
Let a = 2 - 1. Let y be (-3 + a)*(-3)/2. Suppose 0 = 4*g + 10 - 18. Solve k = g*k - y for k.
3
Let w = -7 + 12. Solve -2 = 3*t - w*t for t.
1
Let q(y) = -y**2 + 4*y. Let u be q(2). Suppose 3*x - 5*n = 25, -u*x - n = -8 - 33. Solve -k - k = x for k.
-5
Suppose -b = -1, -3*b - 3 = -0*a - 3*a. Solve 2*j + a = 4 for j.
1
Let a = -7 - -10. Let f be 120/9*(-24)/(-20). Suppose 3*r - 8 = -l, -a*l - 6*r = -r - f. Solve -l*u + 3 = -5*u for u.
-1
Let p(x) be the first derivative of -x**5/40 + x**4/24 - 2*x**3/3 - 4. Let c(g) be the third derivative of p(g). Let j be c(-1). Solve j*u = -u for u.
0
Suppose 2*l = -3*n - 2 - 9, l - 14 = 5*n. Let r = n + 8. Suppose -5*c + 10 = -r*d, -3*c = 5*d - 27 - 3. Solve g - c = -4 for g.
1
Suppose j = -3*m + m, -m = 3*j. Solve j = 3*c + 7 - 1 for c.
-2
Let h(o) = 6*o + 5. Let i be h(4). Suppose -5*x = 9 - i. Suppose 1 = -2*q + 5*l - 3, -4 = -x*q + 4*l. Solve -t + 0 = -q for t.
3
Suppose -18 = 3*z + 5*l, 0 = 2*z - 2*l - 2*l + 12. Let r = -4 - z. Solve d + 6 = r for d.
-4
Suppose 5*c + 25 = 0, 2*g + 3*c = 3*g - 11. Let p(s) = s**2 + 2*s - 5. Let i be p(g). Solve i = -3*h - 3 for h.
-2
Let z = -8 - -8. Suppose 0*w - w = z. Solve w*i - 1 = -i for i.
1
Suppose -3*i - 19 = 2*u - 8, -i = 5. Solve 3*v - 1 = u for v.
1
Let s be 0/(2 + (3 - 3)). Solve -u + 2*u = s for u.
0
Suppose -5*o - 3*x + 57 = 0, o - 3*x = 3*o - 30. Let g = o + -9. Let j = -1 + 4. Solve -2*z + j*z - 1 = g for z.
1
Let i(k) = -k**3 - 10*k**2 - 9*k - 8. Let r be i(-9). Let g = 12 + r. Suppose 0 = g*x - 8. Solve x*a - 12 = -a for a.
4
Suppose -5*u = -2*u + 3. Let b be 2 - 1 - (-1 - u). Let g be -1*2*-1*b. Solve g = o + o for o.
1
Let o = -42 + 44. Solve 0*x - 4 = -o*x for x.
2
Suppose 3*j = 6*j. Solve j*g = 5*g + 5 for g.
-1
Suppose 4*d + h = 5*d - 1, 2*d + 5*h = 30. Let l(s) = -s + 3. Let m be l(d). Let v = 5 + m. Solve -1 = v*y + 5 for y.
-2
Let b(n) = -n + 2. Let s be b(0). Suppose -h + 21 = -0*h - 3*c, -s*c = h - 11. Solve h = -9*v + 4*v for v.
-3
Let c(w) = -5*w + 1. Let f be c(-2). Solve -9 = -4*y + f for y.
5
Let r = 74 + -36. Solve 5*b - 13 = -r for b.
-5
Suppose -b - 4*t = 2*b - 4, -b = -2*t - 8. Solve 5*k + b = -1 for k.
-1
Suppose 6*k - 20 = k. Let c(u) = -4*u. Let l be c(-2). Suppose t - 2*s = -0*s + l, -s - 24 = -3*t. Solve 0 = k*x - t*x for x.
0
Let g = 10 - 8. Solve -3*t + 2*t = -g for t.
2
Let l(b) be the second derivative of b**4/12 + 4*b**3/3 + 6*b**2 + 4*b. Let x be l(-7). Let y be (6/(-4))/(3/(-4)). Solve -y*t + x = 3*t for t.
1
Suppose w + 4*w + 21 = 2*b, -3*b - 3 = 4*w. Let v = -3 - -3. Let o = 5 - -4. Solve v*s + o = b*s for s.
3
Let t(j) = j**2 - 9*j + 5. Let z be t(8). Let n(m) = -m**2 - 5*m - 4. Let p be n(z). Solve -p*x + 4 = 2*x for x.
1
Let z(t) = -2*t**2 + 15*t + 6. Let l be z(7). Let p(n) = -n**2 - 6*n - 1. Let x be p(-4). Solve x + l = -5*c for c.
-4
Let l(u) = u**2 + 3*u - 3. Let q be l(2). Solve -2 + q = -t for t.
-5
Let u = 16 - 11. Let l be (-5 + 0)*(u + -6). Let s = -44 - -64. Solve w - s = l*w for w.
-5
Let m(c) = -c - 7. Let a be m(-12). Suppose -2*j + 4 = -0*u - u, -j - a*u + 2 = 0. Solve -j*q + 0*q = -6 for q.
3
Let w(h) = -h**2 - 7*h + 2. Let x be w(-7). Suppose -3*o - 2*q - 2 + 0 = 0, -x*o + 4*q - 12 = 0. Let s be 1/2 + (-3)/o. Solve -5*l = 3 + s for l.
-1
Suppose -5*j - 11 = -3*o, 2*o + 2*j = -0*j + 2. Solve o = -3*q + 8 for q.
2
Let p be 132/20 + -4 + (-2)/(-5). Solve -p*n = -n for n.
0
Let u(m) = -m**2 + 8*m. Let l be u(7). Solve 0 = -l*p + 2*p for p.
0
Let q(x) = -x**2 + 12*x - 4. Let l be q(11). Solve 4*n = 9 + l for n.
4
Let t(p) = 2*p + 4. Let c be t(-5). Let n be (-1 - -2)*(c + 6). Solve n = -h + 1 + 3 for h.
4
Suppose 2*s + 2 = 3*s. Solve w - 5 + s = 0 for w.
3
Let u(i) = i**2 - i - 4. Let r be u(3). Let v be (r/(-6))/((-2)/30). Solve 6 = v*m - 3*m for m.
3
Let n(l) = l - 3. Let b be n(5). Let j = 7 - b. Solve -j - 15 = 5*u for u.
-4
Let l be -1 + 1 + -1 + -2. Let g = 1 - l. Solve 15 = u + g*u for u.
3
Suppose 2*a + 13 = 53. Solve 6*s = 2*s + a for s.
5
Let w(s) = s + 2. Let l be w(0). Suppose 0 = -l*u + k - 4, 3*u = 4*u + 3*k - 12. Solve -3*g - 17 + 2 = u for g.
-5
Suppose b = 3*h, 4*b + b - h - 28 = 0. Suppose b*r = r. Solve r*n = -n - 4 for n.
-4
Suppose 0 = -5*b - 23 + 3. Let v = b + -6. Let h be 2/v + (-84)/(-20). Solve 0*f + h = f for f.
4
Suppose 3*u - 9 = 0, -2*i = -u - 2*u - 1. Suppose -2*x - 3 = -2*g + x, -4*g + 5*x + i = 0. Suppose -3*a = -k - 26, g = 5*k + 30 - 5. Solve a*h - 3*h = 16 for h.
4
Suppose -i = -2*n + 4*n, -3*i - 12 = 0. Solve n*h = 7*h + 20 for h.
-4
Suppose 5*v = -3*m + 31, -5*v + 4 = 5*m - 31. Solve -v + 20 = -5*r for r.
-3
Let z(m) = -m**3 - 8*m**2 - 7*m + 4. Let f be z(-7). Suppose f*o - 53 = 7. Solve 4*k + o = -k for k.
-3
Let f be 10 - 5/((-5)/(-3)). Suppose -l - 6 = -f. Let b = -2 - -3. Solve 0 = c + b + l for