1 = d for g.
3
Let v = -116 + 116. Solve -2*f = -v*f for f.
0
Let v(p) = p - 5. Let j be v(-4). Let r be 5 + (-3)/(j/(-6)). Solve 0 = 2*x - r + 1 for x.
1
Suppose -5*q = -5 - 0. Let s be (-3)/6 - 2/4. Let l = q - s. Solve 6 = -0*v + l*v for v.
3
Suppose 3 + 5 = 4*q. Solve -q*z - 16 = -6*z for z.
4
Let v = -7 - -9. Suppose n + 0 = 2, -2*b = n - 4. Solve -v - b = h for h.
-3
Suppose -k - 8 = -5*k. Suppose -68 = -6*h - 20. Solve k*a + 2*a - h = 0 for a.
2
Let s = -5 + 10. Solve 0*b = b - s for b.
5
Suppose -2*v = -3*i + 4*i - 5, 0 = 3*v + 4*i. Solve o = -v*o - 5 for o.
-1
Let p(o) = -o + 2. Suppose 26 = 5*i - 5*l + 1, 4*i - 3*l - 19 = 0. Let u be i/2 - (4 - 0). Let f be p(u). Solve m = f + 1 for m.
5
Let g(j) = j + 7. Let f be g(-5). Suppose 0 = -4*t + 3*u + 35, -5*t + f*t - 3*u = 0. Solve 6 = -t*d + 1 for d.
-1
Suppose 3*i = i. Let v = 5 + i. Solve 0 = -v*h - 0*h + 10 for h.
2
Let n = 74 + -73. Let o be (-6)/10 - (-16)/10. Solve b = n + o for b.
2
Suppose 5*j = 9 + 1. Suppose 5*q - 6 = 2*h, 0*q = j*q - 4*h + 4. Suppose 2 - 18 = -q*m. Solve -5*k = -3*k - m for k.
4
Let r = 1 - -2. Let s = 7 - r. Solve 0 = s*m + 5 - 1 for m.
-1
Suppose -2 = -2*q + 8. Suppose 5*d + 30 = q*b, d + 1 = -b - 1. Let i(x) = x + 4. Let w be i(d). Solve t + 0 + 2 = w for t.
-2
Let b be 1*(3 + (-9)/3). Suppose b = -5*s, 3*l - 3 - 9 = -3*s. Let u(m) = -3*m - 3. Let j be u(-3). Solve l*h = j*h for h.
0
Let g(j) = -5*j + 3. Let b be g(-2). Solve -3*v + 2 = -b for v.
5
Let c be 18 + (-1)/(4 - 5). Let u = -16 + c. Solve b + u = -1 for b.
-4
Let g(m) = m**2 - 4*m - 3. Let i be g(4). Let z be (-2 - 10)*2/i. Solve -3*k + z = -1 for k.
3
Let q = -28 + 30. Solve -q*t = -t for t.
0
Let f be (-76)/(-13) - 22/(-143). Suppose 4*w + f = 7*w. Solve -3 = k + w for k.
-5
Let r = -29 - -34. Solve 10*j = r*j + 5 for j.
1
Let k(i) be the third derivative of 0 - 7/60*i**5 - 1/120*i**6 + 3*i**2 + 0*i - 5/24*i**4 + 4/3*i**3. Let z be k(-6). Solve 0 = -z*h - 6 for h.
-3
Let f(a) = -a**3 + 4*a**2 + 5*a + 4. Let c be f(5). Solve -1 = -x - c for x.
-3
Let p = 22 + -20. Solve -1 + 3 = -p*w for w.
-1
Let g = 23 + -21. Let t = -5 - -7. Suppose 5*b - 25 = -5*n + t*b, 0 = 4*n + 4*b - 28. Solve g*o - n = 4 for o.
3
Let a = -127 + 130. Solve -a*f = -f + 6 for f.
-3
Let n be 0/(-2)*(-2)/(-2). Suppose -4*w + 4*x + 44 = n, 4*w = 5*x + 32 + 13. Solve 0 = -o - o + w for o.
5
Let o = 17 - 13. Suppose h + o*h = 10. Solve -h*y - y = -6 for y.
2
Let o(b) = 3*b. Let r be o(0). Solve -3*h - 16 + 4 = r for h.
-4
Suppose 46 - 2 = 11*u. Solve -2 - 2 = u*s for s.
-1
Suppose -7*k - 14 = -8*k. Solve k = 4*j + 2 for j.
3
Suppose 9*r - 4*r = 20, 0 = -4*j - 4*r + 36. Suppose 4*o - 20 = 0, 3*o = -t - t - j. Let a be 3/(-6) + t/(-4). Solve 1 = -a*k + 9 for k.
4
Let b(z) be the second derivative of -z**4/12 - 7*z**3/6 - 3*z**2/2 + 6*z. Let j be b(-6). Solve -16 = i + j*i for i.
-4
Let o be ((-24)/36)/(2/(-6)). Suppose 59 = 5*v + a, -2*v + o*a + 3 = -11. Solve 3 - v = 4*d for d.
-2
Let w = -159 + 223. Suppose -5*o + w = 4. Solve z + o = -3*z for z.
-3
Let a(b) = -b + 9. Let y be a(7). Let u = 0 + y. Let s be (8/32)/((-1)/(-12)). Solve 10 = u*k + s*k for k.
2
Let f(p) be the second derivative of p**4/12 - 4*p**3/3 + p**2 + 3*p. Let l be f(8). Solve -4 = 2*i + l for i.
-3
Let j be -2 + -3*(-6)/9. Suppose j*i - 12 = -4*i. Let r(h) = -h**3 + 4*h**2 + h - 2. Let k be r(4). Solve -5 = -i*w - k for w.
1
Let i be 1 - (-3)/(-6)*-2. Suppose -6*g = -g - 25. Solve -g = -3*y - i for y.
1
Suppose 3*j - 4 + 19 = 5*u, -3*u = j - 9. Solve j*q = -5*q + 15 for q.
3
Suppose 0 = -3*d + 4*d - 3*y - 38, -2*d = -2*y - 60. Suppose -3*u + d = -49. Solve 0*v - 5*v - u = 0 for v.
-5
Let g be (12/6)/((-4)/10). Let d = 8 + g. Suppose -2*i - i = -d. Solve -5 = -2*r - i for r.
2
Let a(p) = -p**3 - 2*p**2 - 3*p - 3. Let o be a(-2). Suppose -o*w = w. Suppose w = 3*d + d - 16. Solve -7 = d*l + 1 for l.
-2
Let b(u) = u**3 + 12*u**2 - 12*u + 15. Let d be b(-13). Solve d*j = -0 - 2 for j.
-1
Let y = 3 + 7. Suppose -5*g + y = -5. Let s be (-4)/(g - 1) - -5. Solve -3 = -s*k - 0*k for k.
1
Suppose 4*w - 7*w + 12 = 0. Solve -w*u - 2 = 6 for u.
-2
Let c be 0 + 10 + 1 + -3. Let p be (2 - -1)/(2/28). Let u = -30 + p. Solve -u = -4*l + c for l.
5
Let q be (-2)/2*0 + 8. Let w be (-16)/10*(-20)/q. Solve -w*c - 1 = -5 for c.
1
Let b(i) = i**3 + 5*i**2 + 3*i - 2. Let r(l) = -l + 1. Let n be r(5). Let q be b(n). Solve 3*g - 20 = -q*g for g.
4
Let u(y) = y + 5. Let i be u(-4). Solve -3*w = -i + 4 for w.
-1
Suppose 5*r + 5*l = -0*r + 50, 2*l = 3*r - 25. Solve 6*o - r = 3*o for o.
3
Suppose -i - 3*y = 2*i, 3*i - 2 = -y. Solve -i = r - 0 for r.
-1
Suppose -5*m + 3*z = -2*z, 2*m + 5*z - 35 = 0. Solve -5*i + 0 = m for i.
-1
Let s(t) = -t**3 - 10*t**2 - 2*t + 14. Let g be s(-10). Suppose 0 = 4*l + 6 - g. Solve -3 + l = -4*m for m.
-1
Let i(b) = 2*b**3 + b**2 + b + 2. Let d be i(-2). Let w = d + 13. Solve -w = -2*a - 5 for a.
-2
Let b be ((-36)/(-30))/(4/50). Solve q = -2*q + b for q.
5
Let m be ((-8)/(-4))/(2*1). Suppose 2*t - m = 3*u - 27, -2*t = 4*u - 44. Solve -h + u = h for h.
5
Let l(q) = 4*q + 10. Let s be l(-2). Solve -s*p - 7 = -3 for p.
-2
Let n(w) = 6*w - 3*w - 4 + 3. Let t be n(1). Suppose t*q - 5 = 3. Solve -m = q*m for m.
0
Suppose 2*x + 5*q = 4 + 14, 0 = q. Solve x = -3*z + 6*z for z.
3
Let b be (0 - -2 - -2)/(4/6). Solve 0 = 4*k - k + b for k.
-2
Let w = -6 + 8. Solve i - w + 1 = 0 for i.
1
Suppose -27*l = -30*l. Solve -3*s - 5 - 4 = l for s.
-3
Let z = -26 - -30. Solve -3*k + z = k for k.
1
Let a(h) be the third derivative of -1/3*h**3 + 0 + 0*h + 3*h**2 - 1/8*h**4. Let w be a(-2). Solve 0*i = w*i for i.
0
Suppose 0 = r + r - 3*f - 13, 5*f = 3*r - 18. Solve 1 = 5*y + r for y.
-2
Let a(g) = -2 + 2*g + 3 - g. Let t be a(1). Solve -t*h = -0*h for h.
0
Suppose 0*c = -3*c + 12. Solve 12 = 2*a + c for a.
4
Let p(a) = -a**2 - 7*a - 1. Let r be p(-6). Let x = r - 0. Solve -x*u - 11 = -36 for u.
5
Let r(m) = -m + 2. Let o be r(-5). Suppose u + i - o = 0, 3*u - i - 4 - 1 = 0. Let t = -15 + 15. Solve t = -c + u for c.
3
Let n(q) be the third derivative of -1/120*q**6 + 0*q + 1/10*q**5 - 1/24*q**4 + 0 - 1/6*q**3 + 2*q**2. Let m be n(4). Solve 4*l + 7 = m for l.
5
Let h be (2/(-8))/((-1)/4). Let g = h + -9. Let b be g/(-5)*5/2. Solve 14 = b*n - 2 for n.
4
Let a = 16 + -32. Let k = a + 19. Solve 0 + k = -w for w.
-3
Let x = 41 - 19. Let f = x + -20. Solve -f = -2*d + 4*d for d.
-1
Suppose -2*c + 14 = -0. Suppose c - 3 = g. Solve 15 = g*v - 5 for v.
5
Let t(u) = u + 3. Let i(j) = 2*j**2 + 1. Let v be i(1). Let h be t(v). Solve h - 16 = 5*s for s.
-2
Suppose n + 3*n = -12. Let u = 0 + n. Let d = u - -3. Solve d = 5*t - 4 - 1 for t.
1
Suppose -6*u + 3 = -15. Solve 2*m + u = 3*m for m.
3
Let a(w) = -w + 14. Let i be a(13). Let v = i - -17. Solve -4*b - v = -6 for b.
-3
Suppose -5*s + 3*y + 9 = 0, -4*y = 4*s - 8*s + 4. Solve -s*i - 8 = i for i.
-2
Let i(j) = j**2 - 2*j - 2. Let f be i(2). Let v(p) = 3*p**2 + 2. Let m be v(f). Solve -4*g + m = 2 for g.
3
Let y = -6 + 17. Let r = y + -11. Solve -8 = 4*d - r*d for d.
-2
Suppose s = 8*s. Solve 0 = -2*y - s*y + 6 for y.
3
Let s = 0 - -12. Suppose 0*i - i + 4*r - s = 0, 3*r + 8 = 5*i. Let q be (96/40)/(-3)*15/(-2). Solve i*w - w + q = 0 for w.
-2
Suppose -10*x + 8 + 42 = 0. Solve -x*m = -0*m for m.
0
Let f(d) = 2*d - 4. Let g be f(3). Suppose -11 = -3*w + 5*p + 40, 5*p = -g*w + 9. Solve -r - 2*r = -w for r.
4
Let m(t) = -t**2 + 2*t - 1. Let i be m(1). Let q be (-4)/(-3)*3 + -2. Suppose 0 = 3*f - 4*w + 2 - 58, q*w - 8 = 0. Solve 3*y + 9 - f = i for y.
5
Suppose 2*x = 5*p + 8, -5*x - 2*p = -4*x - 4. Let d be 0 + (x + 2)/2. Solve -d*m + 2*m - 4 = 0 for m.
-4
Let o(g) = g**2 - 11*g - 8. Let l be o(12). Solve l = t + 3*t for t.
1
Suppose 3*l = 5*q - 20, -3*q = -6*q - 3*l + 12. Let x = q - 1. Solve -2*w = -3*w - x for w.
-3
Let w = 1 - -1. Suppose y + 1 = w*y. Solve -5*n = y + 14 for n.
-3
Let q(a) = -2*a**3 + 5*a**2 - 3*a - 3. Let x(n) = -n**3 - n**2 + 1. Let u(t) = -q(t) + x(t). Let p be u(5). Let l = -5 - p. Solve -2*j - l = 1 for j.
-1
Let s(j) = -j**3 - j**2 + 5*j + 2. Let l be s(-3). Solve -4 - l = -3*p for p.
3
Suppose -2*j - 15 = -5*f, 2*j = -2*j + f - 3. Solve j = 2*x - 6*x + 12 for x.
3
Let u(w) = 3*w. Let s be u(1). Let v be 45/54 - (-2)