g*o - 20 + 8 = 0 for o.
4
Let j(q) be the second derivative of q**5/20 + q**4/12 - q**3/6 + 15*q**2/2 - 3*q. Let d be j(0). Solve s = 4*s + d for s.
-5
Suppose 0 = 2*w + 10 - 0. Let y = 7 + w. Solve y*f - f = -3 for f.
-3
Suppose p + 0 = 4. Suppose p*o + 4*l - 16 = 0, 3*o + l - 12 = -0. Solve -3*w + 2 = -o*w for w.
-2
Let r(p) = p - 2. Let u be r(4). Suppose 3*y + 20 = -u*y. Let j = -3 - y. Solve -2 = -3*m + j for m.
1
Let q be 0 - (40/(-15))/(1/3). Solve -5*k = q + 2 for k.
-2
Suppose -2*n = x - 64, -5*n + n + 128 = -5*x. Solve 7 = 5*t + n for t.
-5
Let u(h) = 7 - 3*h**2 + 3*h**3 - 3 - h**3 - 5*h. Let o be u(3). Suppose 0 = 4*n - o. Solve 3*v - 3 = n*v for v.
-3
Let g be (4/3)/(5*(-4)/(-30)). Solve -2*m = g*m + 20 for m.
-5
Let z(x) = 4*x - 9. Let v be z(3). Solve -7 = -v*o + 5 for o.
4
Let j = -33 + 35. Solve 2*y = j - 6 for y.
-2
Let d(z) = -2*z**2 + z - 1. Let t be d(3). Let j be (t/12)/((-1)/3). Solve 0 = j*b - 5 - 7 for b.
3
Let c = 2 - 1. Let l(j) = -7*j**3 - 4*j**2 - 2*j. Let s(q) = -6*q**3 - 3*q**2 - q. Let t(f) = 2*l(f) - 3*s(f). Let n be t(c). Solve -k - n = k for k.
-2
Let u(y) = y**2 - 8*y + 2. Let k be u(8). Let x = k + -2. Let p be 0 - (-18 + 0) - 2. Solve x = 2*b + 2*b - p for b.
4
Suppose -i - 3*u = 3*i - 1, i + 3*u + 11 = 0. Solve 0 = i*a - 3*a - 5 for a.
5
Let k(f) = -f**3 + 3*f**2 - f. Let c be (-21)/(-14) + 1/2. Let m be k(c). Solve 0*w + m*w = 0 for w.
0
Let m = 7 - 10. Let i = m - -10. Suppose -2*v + i = -v. Solve 2*j + v = -3 for j.
-5
Suppose -4*x + 16 - 4 = 0. Let q be 12 - (0 - 1 - -1). Solve -x*p + q = p for p.
3
Let w = -33 - -43. Solve 3*h = h - w for h.
-5
Let t be 4/(-1) + (21 - -3). Solve -r = -5*r - t for r.
-5
Let h(j) = -j + 5. Let k be h(3). Let n be 3 + (3 - (k + -1)). Solve -n*o + 2 = -3 for o.
1
Suppose -11 = -2*a + 7. Let n be 2 + a - (2 - 0). Let o be (-15)/n*(-6)/2. Solve 2*w = o*w - 3 for w.
1
Let p(v) be the first derivative of v**4/4 - 2*v**3 - 4*v**2 + 9*v + 5. Let f be p(7). Solve -6 = f*w - 0 for w.
-3
Let c be 168/32 + 2/(-8). Suppose -c*y + 3*p - p + 6 = 0, y + 12 = -4*p. Solve y = 2*b + 15 - 5 for b.
-5
Let y(h) = -1 - 5*h - 2*h + 3*h + 3*h. Let v be y(-3). Solve v*t + 15 = -t for t.
-5
Suppose 7 = -c + 4. Let w = -4 - c. Let m be ((-3)/w)/3 - -2. Solve 16 = 7*b - m*b for b.
4
Let n(d) = d**3 + 5*d**2 - d + 8. Let r(z) = -z**3 - 5*z**2 - 7. Let k(y) = 2*n(y) + 3*r(y). Let m be k(-5). Solve 0*c - m*c - 5 = 0 for c.
-1
Let c = 5 - 12. Let y = c - -7. Solve -2*d - 1 + 9 = y for d.
4
Let p(a) = -a**2 + 5*a + 7. Let r be p(6). Suppose 5*j - 12 = 13. Let w be j/((-10)/(-4)) - 0. Solve -w*i = r + 5 for i.
-3
Let m(d) be the first derivative of 3*d + 2 + 3/2*d**2. Let n be m(3). Solve -2*g + n = -5*g for g.
-4
Suppose 0 = 2*o + 2*t - 2 - 0, -4*t - 41 = -5*o. Solve -i = -o*i + 12 for i.
3
Let o(f) = 2*f**2 - f - 1. Let s be o(2). Suppose -14 = -3*k + 4. Let n be 0/(k/(-5 - -2)). Solve n*u = -u - s for u.
-5
Let w(t) = t**3 + 10*t**2 + 9*t + 3. Let z be w(-9). Suppose -3*x + z = -15. Solve -x*d + 2*d = -4 for d.
1
Let r be (-32)/(-12) + 4/(-6). Let o(a) = 3*a - a - 2*a**2 + 5*a**r + 0 + 4. Let i be o(-3). Solve -4*k = k - i for k.
5
Suppose 7*q = 2*q. Solve 5*d + q*d + 10 = 0 for d.
-2
Let g(t) = t**2 - t - 2. Let n be g(3). Suppose 38 = 4*v + 2*z, 2*v + n*z + 0*z = 22. Suppose v = 3*h - 21. Solve -a + h = -3*a for a.
-5
Let n(k) = k**2 + 5*k + 6. Let m be (3/(-2))/((-1)/(-2)). Let t be n(m). Solve t = 3*h - 11 - 4 for h.
5
Suppose -5*q = -8*q + 36. Suppose r = -3*r + q. Solve 7 = 2*k + r for k.
2
Suppose -3*g + 5*s = s + 10, 5*s = 20. Solve -g*f = -f for f.
0
Let s = 26 + -17. Let f(m) = -m - m + m + s. Let i be f(8). Solve j = 4 + i for j.
5
Suppose 21 = 4*d + 5. Let l be (-28)/(-6) - d/6. Let x = l + -4. Solve i = -x*i for i.
0
Let d(t) = t**2 - t + 1. Let q(v) = 7*v. Let j(h) = 2*d(h) - q(h). Suppose 2*m = 7*m - 30. Let w be j(m). Solve -u + w = 3*u for u.
5
Suppose 0 = t - 1 - 2. Solve -t*d = -0*d + 3 for d.
-1
Suppose 4*j = 3*j + 2. Solve -j*k = 1 + 7 for k.
-4
Let x(a) be the first derivative of -a**2/2 - 2. Let w be x(-10). Solve -4*v = -9*v + w for v.
2
Let b be (-68)/(-18) + 2/9. Solve -d - b = -1 for d.
-3
Suppose 0 = -d - d - 12. Let m(k) = -k**2 - 6*k - 3. Let l be m(d). Let n(s) = 3*s**2 + 4*s - 1. Let g be n(l). Solve 3*v + 1 = -g for v.
-5
Let v = -4 - -3. Let i(l) = -5*l**3 + 2*l**2 - 1. Let f be i(v). Let z be (-1 + 1)*(-2)/f. Solve z = t + 2*t - 6 for t.
2
Suppose -4*w + 34 = -4*a - 6, w - 5*a = 14. Let j(g) = -g**2 - g + 2. Let l be j(0). Solve -w = -l*v - 1 for v.
4
Let g be (5 - -1) + (-1 - 0). Let c(y) = -y. Let u(f) = -7*f - 4. Let a(r) = 6*c(r) - u(r). Let k be a(-4). Solve -g*z = -k - 5 for z.
1
Let h(p) = -p**2 - p + 6. Let x be h(-3). Solve x = -4*i + 5 + 15 for i.
5
Let o = -1 - -4. Let w = o - 1. Suppose -6 = t - 2*x - 1, 5 = 3*t - x. Solve 2*k = t*k + w for k.
-2
Let v(k) = -k + 7. Let q(t) = 1. Let w(z) = -3*q(z) - v(z). Let y be w(10). Solve y = -2*n - 5 + 3 for n.
-1
Let i(c) = 8*c**2. Let p(y) = y**2 - 5*y + 3. Let j be p(4). Let n be i(j). Suppose 0 = 4*u - 2*h + 10, -4*u = -h + 6 - 1. Solve -3*l + 5*l + n = u for l.
-4
Suppose -4*m - 21 = -d + 6*d, 5*m = 3*d - 17. Let v be (2/d + 2)/(-1). Solve -1 = y - v*y for y.
-1
Let f(p) = -3 + 7 + 0*p - p. Let k be f(0). Solve -3 = k*s + 9 for s.
-3
Let y be (-2 - -7)*(-36)/(-60). Solve -4*i - 2 = -y*i for i.
-2
Suppose 4*u - v - 34 = -10, -3*u = 2*v - 29. Suppose u = 2*p - p. Solve -z - 3 = -p for z.
4
Suppose h - 7*i - 5 = -6*i, 3*i = -2*h. Solve -9 = -0*r + h*r for r.
-3
Suppose -3*u + 4*g - 3*g = -14, -4*u + 22 = -2*g. Suppose -4 = -u*m + 5. Solve -12 = 3*o - m for o.
-3
Let f be (2 - 2) + (4 - 1). Solve 0 = -f*u + 1 - 7 for u.
-2
Let j = 1 + 6. Let y = 8 - j. Solve s + 1 + y = 0 for s.
-2
Suppose 0 = -4*a - 0 - 8. Let z be a/(-1) - -4 - 0. Solve 0 = z*n - 2*n - 8 for n.
2
Let t(b) = -3*b - 17. Let y be t(-7). Suppose -3 = -y*g + 5. Solve -g*k = -3*k - 3 for k.
-3
Let w(j) be the third derivative of -j**6/120 - 13*j**5/60 + 7*j**4/12 + 2*j**3 + 9*j**2. Let u be w(-14). Solve 5*s + 8 = -u for s.
-4
Let t be (-141)/(-11) + 2/11. Suppose -5*q - 3*k + 6*k = 0, -t = 4*q - 5*k. Solve 0 = q*o - o - 8 for o.
4
Let h be -2 - 2/(-1)*1. Suppose -z - 6 = 5*g - h, 19 = -2*z - 3*g. Let m = -8 - z. Solve 7*b = m*b for b.
0
Let d = 5 - 8. Let g = -14 + 21. Let j = d + g. Solve -j = 3*p + 5 for p.
-3
Let l(k) = -k**3 + 6*k**2 + 9*k - 10. Let h(c) = c + 2. Let q be h(5). Let p be l(q). Let i = 3 - 1. Solve i*j = 2 + p for j.
3
Suppose 0 = -31*g + 32*g - 3. Solve -9 = -g*s + 6 for s.
5
Suppose 0 = 2*v + g - 2, -5*v = 3*g - 3. Suppose -5*h + 14 = -v*t, 2*h = 3*t + t. Solve -t = -4*j + 2 for j.
1
Let u = 4 - -5. Let z be u/(-3) + 4 - -3. Suppose -5*p = -z*p. Solve p = -3*d + 5*d - 10 for d.
5
Let m(k) = 6*k**2 - 1 - k**3 - 6*k**2 - 9 - 7*k**2 - 2*k. Let v be m(-7). Solve 0 = c + v*c + 10 for c.
-2
Suppose 0 = 3*z - 16 + 4. Let b(t) = 2*t**2 - 7*t + 4. Let n(y) = y**2 - 4*y + 2. Let c(i) = 3*b(i) - 5*n(i). Let o be c(2). Solve 20 - z = o*d for d.
4
Let y be 124/8 - (-1)/(-2). Solve 3*i - y = -0 for i.
5
Suppose 3*z - 9 = -4*g, 2*z - 6 = g - 0*z. Suppose 4*r + 4*d - 4 = 0, -10 = -r + 2*d - g*d. Solve -3*h = -r*h - 3 for h.
-3
Let h be (-4)/14 + (-74)/(-14). Let g(z) = z + 1. Let c be g(-5). Let j = 7 + c. Solve j*k + h = -10 for k.
-5
Suppose 0 = 5*r - 20 - 20. Let w = r - 3. Let d(l) = -l**2 + 5*l + 5. Let h be d(w). Solve 0*i = -h*i - 15 for i.
-3
Let i be 3 - (2 - (-1 - -3)). Suppose 0*j - 9 = -i*j. Solve -j = p - 2 for p.
-1
Let z = -10 + 9. Let w be (-4)/z + -6 - -12. Solve 3*p - w = -4 for p.
2
Let t(g) = g**2 + 4*g - 8. Let d be t(-6). Suppose d*k - 6*k = -6. Solve -k = -3*w - 6 for w.
-1
Let w(k) = -3*k + 24. Let r = 21 + -14. Let u be w(r). Solve -5 = 4*c + u for c.
-2
Let a be (1 + -2)/2*0. Suppose -q + 5 = -b - 4*q, -1 = -b - q. Solve a = -i - i + b for i.
2
Suppose -8 = -y + 16. Suppose 2*b + y = 4*b. Solve -b = -4*t + t for t.
4
Suppose g + 3*g - 416 = 0. Suppose 0 = -4*f + 4 + g. Suppose 4*c - 9 = f. Solve 0 = 4*u - u + c for u.
-3
Let j be ((-6)/(-5))/(6/20). Suppose 2 = 4*x - 10. Suppose -2*i = x*q + 2*q - 8, -2*i - 4*q + 8 = 0. Solve j*m - 12 + i = 0 for m.
2
Let o = -155 - -158. Solve -3*w + 9 + o = 0 for w.
4
Let r(h) = -