e -2*h - h + r = 0 for h.
3
Let g be -1*(-10)/(-2 - -7). Solve 0*v = -g*v - 6 for v.
-3
Let l(m) = 3*m - 6. Let i be l(3). Solve 4*x - 5 = i*x for x.
5
Let p = 15 + -14. Suppose 14 + p = 5*v. Solve -2*b - v = 3 for b.
-3
Let w(g) = g**2 - 2*g - 3. Let i be w(7). Suppose -i = -4*b - 3*s, 1 = 3*b - 2*s - 6. Let m be 2/5 - (-9)/15. Solve b*h = 4*h - m for h.
-1
Let o = 18 - 9. Solve 1 - o = 4*z for z.
-2
Let k be 81/15 + (-2)/5. Solve -k*j - 9 = 6 for j.
-3
Let c = 6 + -4. Let b = c + 3. Let l(h) = 2*h**2 + 45*h + 24. Let y be l(-22). Solve -b*q = -y*q - 6 for q.
2
Let u(v) = -8 - v**3 - 16*v**2 - 2*v**2 + 9*v**2 + 9*v. Let h be u(-10). Solve 0 = w + h + 1 for w.
-3
Let u(v) = v**2 + 10*v + 1. Let b be u(-10). Solve w + b + 3 = 0 for w.
-4
Let g(v) = -v**2 + 4. Let b be g(0). Let r(m) = 2*m - 4. Let d be r(b). Suppose -8*i = -d*i. Solve 2*u - 8 + 18 = i for u.
-5
Let n = 0 - -6. Let m(l) = -2*l**2 - 3*l**2 + 3*l**2 + 2*l + 3*l**2. Let f be m(-5). Solve -n*b - f = -b for b.
-3
Let q = 1 + 4. Let o = -6 - -9. Solve -o*z = -q*z for z.
0
Suppose 0 = -42*r + 46*r - 12. Solve 4*h + 7 - r = 0 for h.
-1
Let t = -3 + 5. Suppose 0*f - 2*f = -12. Let h be 2 - (-3)/((-9)/f). Solve h = s - t*s + 3 for s.
3
Let b = 73 + -68. Solve b = 5*s - 0*s for s.
1
Let v(c) = 2*c**2 - 2. Let d be v(2). Let u = 64 + -62. Solve u*b + d = 4*b for b.
3
Let l = 18 - 15. Let k = -5 + 5. Solve k = l*d + 6 + 9 for d.
-5
Let k = -10 - -10. Let u = k - -3. Let y be (-4)/(1 - 2 - 1). Solve -y*m = u*m - 15 for m.
3
Suppose -5*a - q + 2*q + 13 = 0, 0 = -4*q - 12. Solve -a*p - 16 = 2*p for p.
-4
Let z(k) = k - 6. Let d be z(6). Suppose d = -2*v + 12 + 42. Suppose -6*o + 3*o = -v. Solve -29 = 5*h - o for h.
-4
Let q = 24 - 15. Solve -y = -4*y + q for y.
3
Suppose 2*c - c = 8. Solve 5*z = 3*z - c for z.
-4
Suppose -2*l = 2*j - 264, -3*j + 7*l - 4*l = -414. Let o be j/(-25) - 4/(-10). Let f = 5 + o. Solve -12 = -f*x - 3*x for x.
4
Let f = -15 - -9. Let q be 4/f - 71/(-3). Let c = -11 + q. Solve c = -0*m + 3*m for m.
4
Let i(x) = x**3 + 2*x**2 - 3*x + 4. Let z be i(-3). Solve -10 + 2 = z*p for p.
-2
Let r(p) = p**2 + 14*p - 32. Let t be r(-16). Solve t*q + 5*q = 20 for q.
4
Let t(q) = -9*q. Let v be t(-1). Solve 1 - v = -2*j for j.
4
Suppose 4 = -t - 1. Let n(w) = w**3 + 5*w**2 - 2*w - 7. Let d be n(t). Solve -d*j - 9 = -0*j for j.
-3
Let a(z) = -8*z + 40. Let p be a(3). Solve 3*b - p = -b for b.
4
Let j = -2 + 3. Suppose 2*u + 4 - 12 = 0. Solve o - j = u for o.
5
Let c(t) = -t**2 + 6*t - 6. Suppose 4*k - 6 = 2. Suppose -g = -k - 2. Let l be c(g). Solve -3*z + 15 = l*z for z.
3
Let c(s) = s**2 - s + 2. Let f be c(3). Suppose -2*q = -f, u - 3*q + 0 = -4. Solve -m - u + 3 = 0 for m.
-5
Let x be 2/(-7) - 0 - 629/(-119). Suppose -32 = -3*m - 11. Suppose 4*r + 5*y - m = 0, 6*r - 5*y = r + 20. Solve r*d + 1 = -x for d.
-2
Suppose 4*g = -4*z + 4, 5*g = -0 - 15. Solve w - z = -w for w.
2
Let a(l) be the third derivative of -l**5/60 + l**4/3 + 7*l**3/6 - l**2. Let r be a(8). Solve 0 = -r*q + 4*q - 6 for q.
-2
Suppose l = 4, -2*z + 5*l = -4*z + 70. Solve f = -4*f + z for f.
5
Suppose -j = 4*m - 13, -3*m + j + 11 = m. Suppose -m + 0 = -3*k. Solve -k = -i - 6 for i.
-5
Let z be -22*(-2 - 3/(-2)). Let k(u) = u**2 - 11*u + 7. Let b be k(z). Solve -2*y - 3 = b for y.
-5
Let g = -2 - -3. Let k(m) = m**3 + 10*m**2 + m + 9. Let b be k(-10). Let n = g - b. Solve 0 = l - n + 6 for l.
-4
Let j = 6 - 2. Let p = 25 - 17. Solve 4 = j*t - p for t.
3
Let v(z) = z**3 - 6*z**2 - 8*z + 10. Let a be v(7). Suppose 5 = 2*h - a. Solve 0 = 2*r - h*r for r.
0
Let t(n) = 5*n + 1. Let h be t(1). Solve -3*y = -h - 0 for y.
2
Let o = 0 + 1. Let x(q) = 2 - q + o + 2. Let u be x(5). Solve u = -3*r - 0*r - 9 for r.
-3
Suppose b - 2 = -0*b. Suppose -4 + 6 = r. Let l(u) = -u + 2. Let f be l(r). Solve 0*k + b*k = f for k.
0
Let w(g) = -g**3 - 3*g**2 + g + 3. Let t be w(-3). Suppose t*s = q + s + 2, 0 = 5*q + s - 10. Solve 2*k = q*k - 5 for k.
5
Let n = -41 + 41. Solve n = -3*z + 2*z + 5 for z.
5
Suppose -k + u + 10 = 0, -2*k - 2*u - 5 = u. Solve 1 - k = -4*o for o.
1
Suppose 5*l + 9 = 2*r, 5*r - 2*l - 15 = 3*l. Suppose -2*n + 2*f + 24 = 0, r = n + 3*f - 2. Suppose 3*w = -w - 5*s + 15, 2*w - n = -2*s. Solve w = -c - c for c.
-5
Let d be ((-8)/3)/(14/(-21)). Solve -4 = -d*w + 12 for w.
4
Let g = 15 + -11. Solve -g*p - 5 = p for p.
-1
Let n = 11 - 6. Suppose -n*y + 11 = -4*o, 5*o + 0 + 1 = 2*y. Suppose 4*j - y*z = j + 6, 0 = -3*j - 4*z - 8. Solve 2*q + 3*q - 10 = j for q.
2
Let a be (-21)/(-6)*(-72)/(-42). Solve a*r - r = 0 for r.
0
Let s = -7 + 13. Suppose 2*y - s - 4 = 0. Solve -4 = -q - y for q.
-1
Suppose -39 = 6*b - 3*b. Let m = 13 + b. Solve r + 4 = -m for r.
-4
Let g be (0 + -2 + -1)*1. Let a be 1 - 0 - 9/g. Suppose 0 = -5*y + a + 11. Solve -2*d = -y*d for d.
0
Let j(y) = -y + 6. Let p be j(2). Solve -4*b + p = -0*b for b.
1
Suppose a - 3*g - 30 = 0, -3*a + 3*g = -0*a - 66. Suppose -2*j = -4*j + a. Let m be 0/(3 + -2) + 4 + -1. Solve -4*x = -m - j for x.
3
Let j(l) = -l + 12. Let o be j(6). Solve -2*r - o = 2 for r.
-4
Suppose -4*g + 20 + 4 = 0. Suppose 3*w - 4*w + 8 = 0. Solve 4*h - g*h = -w for h.
4
Let f(k) = -k**2 - 4*k - 1. Let i be f(-2). Solve 0 = -i*z - 2 + 11 for z.
3
Suppose 4*r + 14 = 6*r. Let x(b) = -b**3 - b**2 - 3*b - 2. Let h be x(-2). Solve -3*l + h = -r*l for l.
-2
Let j(d) = d**3 + 6*d**2 + 2*d. Let s = -14 - -10. Let p be j(s). Solve -p + 4 = 5*f for f.
-4
Let y be 1*(1 + -1 + 2) - -13. Solve -2*g - g - y = 0 for g.
-5
Let s = -6 + 7. Suppose -s = 2*x - 15. Solve 0 = -5*a + x + 13 for a.
4
Let z(b) = -b**3 + 3*b + 2. Let u be z(-2). Let a be (0 - (3 - u))*1. Let y be 5/(-2)*(-2)/a. Solve 9*g - y = 4*g for g.
1
Let r = -5 + 8. Suppose 7*n - 2*n = 5. Suppose -n = -b - d - 4, -11 = -r*b + d. Solve 0 = b*c - 11 + 1 for c.
5
Suppose -2*y - 12 = -o - 3*o, 0 = -3*o + 4*y + 9. Suppose a - x + 2 = 0, 2*a + 2*x - 5 = x. Solve -2*b + o = -a for b.
2
Suppose -3*l + 0*n = -4*n + 46, -3*n = -3*l - 42. Let c be l/(-4)*(-32)/(-20). Solve 0*b + c = -4*b for b.
-1
Suppose -4*y + 2*z = -y - 5, 0 = -2*y + 5*z + 7. Let r = 3 + -3. Suppose 2*l - 10 = r, -l = -5*x + 3*l. Solve 5*j - x*j = y for j.
1
Let p(i) = -4*i - 1. Let k(u) = 21*u + 4. Let h(f) = 2*k(f) + 11*p(f). Let a be h(-2). Solve 10 - a = -3*j for j.
-3
Let x(p) = -2*p - 24. Let s be x(-12). Solve y + 0 + 4 = s for y.
-4
Let q(n) be the second derivative of n + 0 + 0*n**2 + 1/6*n**3. Let r be q(4). Solve -2 = -2*z + r for z.
3
Suppose 1 + 17 = 3*w. Let r = -15 - -16. Let n be 1/3 + (-2)/6. Solve n = t + r - w for t.
5
Let l = 9 + -1. Let x = l + -5. Solve -t - x = -8 for t.
5
Let l be 4/(-3)*-6 + 2. Suppose 2*q - 2*x = q - l, -2*x = -3*q - 10. Solve q = d + d for d.
0
Suppose 0 = 3*q - 6*q + 5*w + 27, 3*q - 15 = w. Solve 5*d = q*d + 5 for d.
5
Let d = -13 - -18. Suppose -3 = -4*o + d. Let z be 2/4*(-1 + 1). Solve z = i - 0*i + o for i.
-2
Suppose 0 = -2*p - 3 - 13. Let b = p - -10. Solve -b*r = -3*r - 5 for r.
-5
Suppose 0*n - 3*z = -3*n + 45, -z - 4 = 0. Suppose 19 = 5*d - n. Solve -j = -2 + d for j.
-4
Let s(d) be the third derivative of -d**4/24 - d**2. Let f be s(-2). Solve 3*y - 15 = -f*y for y.
3
Let c be (-2)/1*3/(-2). Suppose 0 = b + c*b + 5*x + 27, 2*b - 4*x = 6. Let s = 0 - b. Solve -s*m - 2*m = 15 for m.
-3
Let g = 1 - -3. Suppose -5*c = -20, -g + 2 = -5*h + 2*c. Solve 0 = h*f + f + 9 for f.
-3
Suppose -z + n = 3, 3*n = -3*z - 2*n + 23. Solve -z = 3*x - 16 for x.
5
Suppose -5 = 5*m, 34 = 4*p + 6*m - 4*m. Solve 2*w + w - p = 0 for w.
3
Suppose 8*l = 3*l - 2*d - 74, 0 = 3*l + 2*d + 46. Let p be (-38)/l + (-6)/(-21). Suppose -s + 5 = -5*w, 2 + 1 = p*w. Solve -5*t + 25 = -s*t for t.
-5
Suppose 6*s - 7 - 17 = 0. Solve l + s = -0 for l.
-4
Let d be (-2)/(-8) + -30*5/(-40). Solve -2*w - d = 6 for w.
-5
Let b(s) = -s**2 - 8*s + 2. Let l be (4 + 0)/((-2)/4). Let q be b(l). Solve -q*y + 4*y = 4 for y.
2
Let w be -2 - (-4)/1 - 0. Let z = 6 - w. Suppose 0 = -z*g + 5*g + 1, -4*b - 4*g + 20 = 0. Solve b*s - s = -15 for s.
-3
Suppose -z = 4*z - 30. Suppose 0 = -2*m + z*m. Solve 2*h + h - 12 = m for h.
4
Let l(i) = 2*i**2 + 8*i + 6. Let s be l(-5). Suppose 5*u + n = -s, 0 = -2*u - n + 2 - 9. Let m = u - -8. Solve -m = -2*c - 1 for c.
2
Let b(s) = -s**2 + 4*s + 3. Let d(i) 