= i - a. Solve 4*c = -z*c - 20 for c.
-5
Let n be (-6)/(-21) + (-160)/(-28). Solve 0*g - 3*g - n = 0 for g.
-2
Suppose 0 = -2*z + 3*y - 233, 339 = -2*z - z + y. Let k be z/(-18) - (-8)/(-36). Solve -4*i = -k*i for i.
0
Let k(n) be the third derivative of n**5/30 - 7*n**4/24 + 5*n**3/6 + n**2. Let l be k(4). Suppose -l = -4*u + 15. Solve 0 = -2*m + 4*m - u for m.
3
Suppose -3*k + 48 = -6*k. Let f = 11 + k. Let r be 1/5 + 1/f. Solve r = -o - o + 8 for o.
4
Suppose 5*x - 51 = x + r, 0 = 2*x + 3*r - 15. Let v be (-8)/6 + (-8)/x. Let p = v - -4. Solve -p*g = g for g.
0
Suppose -8 = -2*p + 4*s, -5*s - 16 = -0*p - p. Let t be (-4)/8*p/1. Solve 6*k = t*k for k.
0
Let u = -48 + 51. Solve -6 = j - u*j for j.
3
Suppose -20 = 5*s, -3*q - 2*s = 3 - 7. Solve 3*o - q = 8 for o.
4
Suppose 0 = -r + 3*r - 10, -21 = 4*u - 5*r. Suppose -18 = -3*w - 3*z, 13 = w + 3*z - u. Solve w = -3*q - 1 for q.
-1
Let f be 30/7 + 4/(-14). Let y be 2 - 7*(-1)/1. Let c = -2 + y. Solve -c*k + f*k = -3 for k.
1
Let h = 4 - 4. Suppose h*c + 4*c = 0. Solve -4*u + c*u = -12 for u.
3
Suppose 0 = 4*s - i - 12, -32 = -4*s + s - 5*i. Let m(x) = -x**2 - 3*x. Let r be m(-3). Solve r = u + s*u + 5 for u.
-1
Suppose 2*y - 13 = -2*q - y, 6 = 2*q - 4*y. Suppose 3*n = n. Suppose 2*h - 6 = -n*h. Solve -h*x + 10 = -q*x for x.
-5
Suppose -12*o + 2 = -11*o. Suppose -o*b = -b - 3. Solve -b*c + 2 = -4*c for c.
-2
Let y(u) = u**3 + 4*u**2 - 5*u + 3. Let o = -6 + 1. Let d be y(o). Let w be -1 + (4 - -2)/d. Solve -2*p - 5 = -w for p.
-2
Suppose -5*k + 70 = 5*n, 12 = n - k - 6. Solve f + 3*f = n for f.
4
Suppose 3*q = -2*q - 4*m + 14, -2*m = -5*q + 8. Let p(k) = k**2 - 3*k + 1. Let c be p(4). Solve c*h = 4*h + q for h.
2
Let a = 6 + -4. Let u(i) be the first derivative of -i**3/3 - 4*i**2 - 4*i - 3. Let p be u(-7). Solve p*t + a = 11 for t.
3
Let q be 4/((-8)/(-6)) - 1. Solve q*k = k + 4 for k.
4
Let k = 104 - 104. Solve j + k = -5 for j.
-5
Let j be -5*(3 + 68/(-20)). Let x = 1 + 2. Solve d + j = x for d.
1
Suppose -z + 12 - 3 = 0. Solve -11 = 4*h + z for h.
-5
Let f(b) = b**3 + 4*b**2 - 6*b - 5. Suppose -5*r = -2*c + 29, -3*c + 2 = 2*r + 6. Let w be f(r). Solve -4 + w = 2*g for g.
-2
Suppose 2*c - 6*c + 4 = 0. Let o(r) = -2*r**2 - r + 1. Let d be o(c). Let u be d - (0 + -2 + 0). Solve u = -2*v - 3*v + 25 for v.
5
Let t(b) = -b**3 - 2*b**2 - b + 1. Let i be -3*(3 + 14/(-6)). Let c be t(i). Solve c*y + y = 4 for y.
1
Let w(d) = d**2 + d - 16. Let g be w(4). Solve 0 = g*s - 9*s for s.
0
Suppose -9*n = -4*n - 10. Solve -n*f - 5 = -f for f.
-5
Suppose -13*s + 17*s = 16. Solve 0*u = 4*u + s for u.
-1
Let y be 1 + (0 + -1)/1. Let l(z) = y*z**3 - z**2 + 3*z**3 - z + 0*z**2 + 1. Let a be l(1). Solve -a*h + 20 = 2*h for h.
5
Let o = -23 - -25. Solve 0 = o*c - 2 - 0 for c.
1
Suppose -3*s + 0*k + 35 = 5*k, -3*s + 55 = k. Solve -p + s = 4*p for p.
4
Let n(u) = -6*u**2 - 2*u. Let k(t) = 3*t**2 + t. Let i(q) = 5*k(q) + 2*n(q). Let s be i(1). Solve -s = -2*y + 4 for y.
4
Let x = -3 - -3. Suppose 0 = -x*n + 4*n. Solve k = -n*k for k.
0
Let q = 9 + -7. Let d be 3 - (q - 3/3). Solve 0 = 4*c + 22 - d for c.
-5
Let r = 7 - 11. Let z = r - -7. Solve -3*f + 0*f = z for f.
-1
Let q(k) = k**2 - 6*k + 4. Let p be q(6). Solve -p*f = 3 - 11 for f.
2
Let o(j) = j**2 + 7*j + 4. Let h be o(-8). Solve 2*r + h = -2*r for r.
-3
Suppose 0 = -4*a + 3*v - 2*v + 65, -4*a = 5*v - 59. Suppose -8 = 4*k + 3*z, 3*z + 8 = z. Solve 3*j - a = -k for j.
5
Let t(u) = -u**2 + 7*u - 6. Let j be t(4). Let w = j - 4. Solve 2*l + w*l + 20 = 0 for l.
-5
Suppose -12 = -5*c - 2*b, -c + 5*b + 36 = 3*c. Solve c - 10 = -2*p for p.
3
Let j = 12 - 10. Let u be (j + 2)*(-3)/(-6). Solve 0 = -u*g + g for g.
0
Let r be (-4)/10 + (-64)/(-10). Let t be (2/r)/(2/30). Solve 0 = -0*k - t*k for k.
0
Let y = 2 - -1. Let p be (-52)/6 - 1/y. Let f be 3/p*(-8 - 1). Solve f*i - 4*i = -3 for i.
3
Let b = 0 + 0. Let o be (-11)/(-3) - 2/3. Suppose 0 = 8*x + x. Solve x*l - o*l = b for l.
0
Suppose 5*s + 6 = 7*v - 10*v, 3*v + s = 6. Solve 0 = -v*f + 4*f - 2 for f.
2
Let c(k) = -k. Let d be c(7). Let m be (d/2)/((-13)/26). Solve 23 = 4*h + m for h.
4
Let x(q) = -q**2 - q. Let i be x(-1). Suppose 0*k + 4*t + 7 = k, -2*t - 2 = 0. Let f = 8 - k. Solve f + i = -y for y.
-5
Let g(p) = -p**3 - 4*p**2 + 4*p + 4. Let y be g(-5). Solve -8*m = -y*m for m.
0
Let f(w) = 0 - 5*w**2 - 4*w**2 - w**3 - w + 2*w**2 - 2. Let i be f(-7). Solve 6 = -2*p + i*p for p.
2
Suppose -2*f - j - 22 = 0, 3*f + 5*j + 3 = -23. Let d = 0 - f. Solve -3*x = -7*x - d for x.
-3
Let h(v) = -v**2 + 8 - 1 - 6*v + 0*v. Let z be h(-5). Solve -b - 3*b = z for b.
-3
Suppose 2*g + 2*a = 0, -g + 4 = -a - 0*a. Solve -2*r - 4 = g*r for r.
-1
Let k = -23 + 44. Let h = k + -15. Solve h*s + 4 = 2*s for s.
-1
Suppose -107 = 3*f - 5*u, -f - 52 + 11 = u. Let b be -12*(f/12 + 3). Solve 0 = b*g + g - 4 for g.
1
Let q be (-1 - 0)*3/1. Let c = q - -3. Let u be 10/((3 - 5)/(-4)). Solve c = -3*v - v - u for v.
-5
Let b(x) = -x**3 - 5*x**2 + 2. Let z be b(-5). Solve 0 = z*a + 15 - 5 for a.
-5
Suppose 0 = 2*n - 3*m + 5, -3*n - 5*m + 5 = -7*m. Let r = -1 - -4. Let c be 2*2 + r + -2. Solve -c*d - n = -0*d for d.
-1
Let v be 4/(-3)*(-1107)/6. Suppose -2*b = -2, 4*b = 5*x - 0*b - v. Suppose 0 = -0*s - 5*s + x. Solve 3*g = g - s for g.
-5
Suppose 0 = -3*d - d. Let q = 504 + -499. Solve -q*p + 1 - 11 = d for p.
-2
Suppose -3 = 4*r + 5, 3*y - 30 = 3*r. Solve -2*k + 2 = y for k.
-3
Let f(g) be the third derivative of g**6/720 + g**4/12 + 2*g**2. Let p(h) be the second derivative of f(h). Let n be p(1). Solve 4*a - 7 = n for a.
2
Suppose 0*c = 3*c - 6. Solve d + c = 3*d for d.
1
Let j = -57 - -57. Let i be (-2)/(-3) + (-13)/(-3). Solve j = -i*v - 10 for v.
-2
Let z(j) be the first derivative of j**3/3 + j**2/2 - 3*j + 4. Let g be z(4). Solve 3*y = -g + 2 for y.
-5
Let p(m) = m**2 - 7*m - 9. Let q be p(7). Let s(o) = o**2 + 8*o + 11. Let g be s(q). Solve -g = 2*k + 2*k for k.
-5
Suppose m = 2*m - 1. Let c be (m/(-3))/(2/(-18)). Solve -a + 1 = c for a.
-2
Let c(v) = v + 8. Let d = -1 - 7. Let p be c(d). Solve o = -p*o for o.
0
Let j = 3 + 0. Suppose r = -4*t - 7, -j*t + r - 8 = -2*t. Let h be (-3 + 0)*(2 + t). Solve 13 = -4*p - h for p.
-4
Let p = -10 - -3. Let j be 4*(-28)/8 - 1. Let t = p - j. Solve -4*c + t = -0*c for c.
2
Let h = 0 + 12. Suppose f - h = -3*f. Solve -i + 8 = f*i for i.
2
Suppose -2*y + 8 - 2 = 0. Let f be 7/1 + (-3)/y. Solve 2*m - 12 = f*m for m.
-3
Suppose -23 = -3*g - x, -28 - 10 = -2*g + 5*x. Solve g = -2*z - z for z.
-3
Let l = 44 - 27. Suppose -3*s = 4*o - 23, -5*o + o + 3*s = -l. Suppose 9 = o*w - 1. Solve 3*i = w*i + 4 for i.
4
Suppose 4*v - 11 = 1. Let d be (-3 + -6 + -1)*(0 - 1). Solve d = v*n - n for n.
5
Let w = 10 - -2. Solve w = -2*s + 2 for s.
-5
Let u = 7 - 2. Suppose h = 5*i - 4*h, 0 = -4*i - u*h + 18. Suppose -22 = -5*q - 0*q - r, i*r + 1 = -q. Solve -3*p + 4 = -q for p.
3
Let a be (-2 - 5/(-1))*-7. Let s be (a/6)/(-7)*58. Solve -s = -5*q - 4 for q.
5
Let c = 15 - 15. Let t be (c - -2)*(-27)/(-18). Solve t + 0 = l for l.
3
Let x(i) = i**2 + 1. Let u(q) = -17*q**2 - 5. Let j(v) = -u(v) - 4*x(v). Let w be j(1). Suppose -w = -3*l + 1. Solve -15 = -l*z - 5 for z.
2
Let c be (3/(-4))/((-1)/4). Suppose -2*t - c*t = 40. Let h = -6 - t. Solve 2*q = -h*q + 4 for q.
1
Let k be 0 + 2 - (-8 + (13 - 6)). Solve -l = k*l + 16 for l.
-4
Let l(u) = 3*u**3 - u**2 - u + 1. Let i be l(1). Solve i*x - 3 = 5 for x.
4
Suppose 0 = q - 4 - 1. Suppose -2*y = q*v + 8, -5*v - 42 = -3*y - 4. Let c be -3 - 9*y/(-9). Solve -h + 2 = -c*h for h.
-1
Let t(s) = s + 7. Let p be t(0). Suppose 0 = p*m - 9*m + 4. Let c = 3 + 0. Solve -v = -m*v - c for v.
-3
Let q(s) = s**2 + s - 2. Let m(n) = -n**2 - n + 2. Let i be m(0). Let t be q(i). Solve 0 - t = -p for p.
4
Let j be (-16)/(-6) - (-2)/6. Suppose -7*a - 37 = -177. Solve k - a = -j*k for k.
5
Suppose 0 = u - i + 8, 6 = 4*i - 6. Let m = -1 - u. Suppose -m = -4*q - 0. Solve 0 = -5*l - 4 - q for l.
-1
Let w(g) = g**3 - 7*g**2 + 6*g + 4. Let j be w(6). Suppose 0 = 3*m - j*m. Solve 4*c + 19 + 1 = m for c.
-5
Let f = 4 + -4. Suppose f = -2*b + 4*w - 0*w + 18, -4*b + 2*w = -18. Suppose 0 = -3*d + 12, -b*g + 2*d + 56 = 7*d. Solve -h - 3*h = -g for h.
3
Let r be (0 + -1)*-10 - -3. Suppose -4*h - 32 = 4*u - 8*u