 - 6*c - 70 = 0. Let u be 1/(-3) - c/6. Solve u = -k*x - 7 for x.
-3
Let r(q) = 5*q + 2*q - 4*q - q**2 - 10*q. Let l be r(-6). Solve 0 = -4*t - 2 - l for t.
-2
Suppose -15 = -5*c, a = 2*a + c + 8. Let h = 21 + a. Solve -4*w - h = -2*w for w.
-5
Let s = -1 - -5. Solve -s*k = -2*k + 10 for k.
-5
Suppose -3*b = -3*z + 8 + 16, 8 = 4*z + 2*b. Suppose -17 = -l + 5*c + 33, 48 = l - z*c. Let n = -12 - -27. Solve -5*a = l - n for a.
-5
Let a be (-3)/(2*3/(-4)). Suppose l - 2*w - 7 = -0*l, 3*l - 21 = a*w. Suppose 2*h - h - l = 0. Solve 1 = -2*n - h for n.
-4
Suppose -9*a + 14*a - 10 = 0. Let v(t) = t - 2. Let h be v(a). Solve h = i - 3*i + 8 for i.
4
Let i(t) = t**2 + 3 - 4*t + 4*t**2 - 3*t**2. Let c be i(3). Solve 2*n = -n - c for n.
-3
Let x(o) = 11*o - 8*o**2 + 3*o**2 - 8 - 6*o**2 + o**3. Let t be x(10). Solve t*v - 8 = -2*v for v.
2
Let m be 1/1*(-1 + 16). Let z = -206 - -212. Solve m = -c + z*c for c.
3
Suppose 3*y + 12 = -3*j + 3, 3*y + j = -13. Let a be (48/y)/4*-10. Let b be a/11 + (-2)/11. Solve 2 = r - b*r for r.
-2
Suppose -3*q + q = -16. Suppose -20 = 3*u - q*u. Solve a + 0 = -u for a.
-4
Let a(i) = 2*i + 19. Let f be a(-7). Solve -f*w = 7 + 13 for w.
-4
Let p(z) = z**3 + 8*z**2 + 8*z + 8. Let n be p(-7). Let h = n + 5. Solve h = 2*b + b for b.
2
Let f = 10 - 6. Suppose 4*y - 3*y + 5 = -5*b, f*b + 4 = -3*y. Let s be (1 + 1 + -1)*y. Solve w + 0*w - 3 = s for w.
3
Let j(m) = 12*m + 78. Let h be j(-6). Solve 0*g + 3*g = -h for g.
-2
Suppose 0 = 3*b - 0*b - 9. Suppose -5*q = -2*q + b, 3*p + 5*q = 7. Solve 0 = -4*z - 0 + p for z.
1
Let i = 2 + 16. Suppose 3*g = i - 6. Solve -m = g - 0 for m.
-4
Let i(l) = -l**3 + 10*l**2 - 16*l + 2. Let z be i(8). Solve 25 = 3*o + z*o for o.
5
Suppose -3*d = -4*a - 0*a + 17, -2*d = 6. Let m be a*(-3)/6*-1. Let v = m + -1. Solve 3 = f - v*f for f.
3
Let q be (-1)/(-1)*(-4 - -4). Let d be q*(-4)/(-12) + 4. Solve -3*n = -5*n - d for n.
-2
Let u be (4/(-6))/(10/(-45)). Let m = u - 0. Solve m*k - 3 - 6 = 0 for k.
3
Suppose -u + 0*u + 4 = 0. Let x = -4 + 4. Solve u*d = -x*d - 16 for d.
-4
Let m(u) = -5*u - 2. Let f be m(-1). Solve f*z + 13 = 4 for z.
-3
Let h(y) = y**3 + 7*y**2 + 11*y + 4. Let s be h(-2). Suppose -3*n - 15 = -q, -4*n - 18 = -q - 0*n. Suppose d = q*d - 15. Solve -d*p - 4 - s = 0 for p.
-2
Let i be 1 - 0 - (10 - 9). Solve i = t - 3 - 2 for t.
5
Let b(a) = -a + 2. Let p be b(-7). Let y be 4*-1*p/(-6). Suppose 4*h - 6*h = -y. Solve -w = h*w - 4 for w.
1
Suppose z + 6 = 3*p, 4*z - 5*p = 5*z - 10. Solve z*m = 4*m for m.
0
Let s(i) = -i**2 - 5*i - 4. Let h be s(-5). Let x = -6 - h. Let p be (-13)/(-4) + x/8. Solve -6*v + p*v = 0 for v.
0
Suppose 0 = 3*v - 0*v. Suppose v = -3*z - w - 4, 2*z + 5*w + 8 = 3*w. Solve z = 5*c + 16 - 1 for c.
-3
Let z be 10 - 9 - (-4 + 0). Solve 0 = -3*h - 7 - z for h.
-4
Let w(q) = -q. Let n(y) = y**3 - 4*y**2 - 5*y + 1. Let d(j) = n(j) - 6*w(j). Let z be d(4). Solve 3*g - 8 = z*g for g.
-4
Let k be 3/2*-2*-1. Suppose -3*i + j - 4*j = 0, -k*i = -j - 12. Solve 0 = -m + i for m.
3
Suppose 0 = -9*k + 6*k + 9. Suppose 0 = -4*c - k*i - 12, -12 = 2*c - 2*i + 5*i. Solve 8 = 2*r - c*r for r.
4
Suppose -2*d = 3*x + 2*x - 23, -2*x + 7 = 3*d. Solve 9 = -2*y + x for y.
-2
Let q be ((-6)/(-12))/((-1)/(-10)). Solve 0 = c - 2*c + q for c.
5
Suppose c + 4*z - 12 = -3*c, 15 = 4*c + 3*z. Solve c*v - 4 = 4*v for v.
2
Suppose 3*x = 4 + 29. Solve -9 = 4*v + x for v.
-5
Let h = -14 + 22. Suppose -48 = -5*s + 27. Solve h*n - s = 3*n for n.
3
Suppose 4*m - 50 = -m. Let k = 21 - 15. Solve k = 4*w - m for w.
4
Let v be (2/(-5))/(12/(-90)). Solve 4*u = u + v for u.
1
Suppose 4*a = 6*a - 4. Suppose -4*l = r - 7, -54 = -r - 3*r - 3*l. Solve -r = a*x + x for x.
-5
Let i be 6/4*(3 + -1). Suppose 3*h + 2*h = -i*p, 4*p = -2*h. Suppose 3*a + h*a = 6. Solve -a*d + 8 = -2 for d.
5
Suppose -h = -6*h + 4*a - 8, -3*h + 5*a = 10. Let i be (4/(-10))/(1/(-15)). Suppose -4*l + i*l = h. Solve l = t + 5 for t.
-5
Suppose 0 = 4*t - 2*t. Suppose t = -3*g - g. Solve -3*n + 2*n = g for n.
0
Suppose -5*n = -0*n - 15. Let y be 6/(0 - n/(-3)). Let s = y + -3. Solve -2 - 4 = s*j for j.
-2
Let s be ((-5)/2)/(35/(-28)). Solve -s*p = -0*p + 10 for p.
-5
Let h = -5 + 8. Let f be (0/1)/(h + -1). Let a be (1 - 1)/(2 + f). Solve a = -d + 6*d - 10 for d.
2
Let m(v) = -v**3 + 13*v**2 + 12*v + 32. Let r be m(14). Solve 6*d = r*d - 4 for d.
-2
Let y(z) = -21*z + 3. Let k be y(-1). Solve 5*v - 4 = -k for v.
-4
Suppose 3*v - 6 = -2*y, v + 4*v - 10 = y. Let d be (-27)/(-6)*(-2)/(-3). Let l be 1*3 + (d - 3). Solve -v = -l*z + 1 for z.
1
Let h = -1 + -5. Let y be h*((-5)/2 - -2). Suppose 0*f = -y*f. Solve -g - 2 = -f for g.
-2
Suppose 10 + 2 = 4*q. Suppose 0 = -t - q*h - 0*h - 1, 4*t + 3*h = 14. Solve t*o = -0*o - 5 for o.
-1
Let p be 7 - (3 - (4 + -3)). Solve p*q - 3 = 2 for q.
1
Suppose -k - 3*k + 4 = 0. Let t(r) = -4*r + 2*r + 3*r + k + 3*r**2. Let h be t(-1). Solve -h*m + 6 = -m for m.
3
Let c(b) be the third derivative of b**5/60 + b**4/12 - 2*b**3/3 + b**2. Let w be c(-3). Let z be -7*w*12/7. Solve -l = 2*l + z for l.
-4
Suppose -5*f = -2*f - 27. Solve t - 4*t = -f for t.
3
Let g(t) = -t**2 - 4*t + 2. Let a be 2/(-9) - (-34)/(-9). Let i be g(a). Let u = 332 + -326. Solve -r + i = u for r.
-4
Let x = 4 - 2. Suppose 0*f + 1 = n + f, x*n = f + 11. Solve 6 + n = -5*k for k.
-2
Let v(o) be the second derivative of -o**3/2 - o**2/2 + o. Let c be -3*(2 - -1)/9. Let f be v(c). Solve f*p = 16 - 6 for p.
5
Suppose 0 = -3*v - 3*o - 2*o - 20, 4*v = 5*o + 20. Solve v = f + 3 + 2 for f.
-5
Let l(r) = -2*r**2 - 5*r + 1. Let h(j) = j**2 + j. Let q(m) = 5*h(m) + l(m). Let n be q(-1). Solve -3*o + n - 13 = 0 for o.
-3
Suppose 3 - 1 = d. Suppose -d*p - 3*f + 60 = -7*f, f + 25 = p. Suppose -2*n = 3*n - p. Solve 16 + n = -5*g for g.
-4
Let a be 57/11 + 4/(-22). Suppose 0 = 5*o - 2*o. Suppose -c = -o*c - a. Solve -c*h = -2*h for h.
0
Suppose t = -0*t + 6. Suppose 0 = -2*u + t*u + 4. Let x be (u + -1)/2*-1. Solve -l + 2 = -x for l.
3
Suppose -5 = 2*z - 11. Let j be 10*(1 + 3/6). Solve -j = z*i - 8*i for i.
3
Let r be (-4)/(-1 - 0) - 2. Let k = r - 0. Solve -5*j + 4*j = -k for j.
2
Let g(m) = m**2 + 25. Let d be g(0). Let p = -3 - -14. Let z = p + -11. Solve 2*r + 3*r + d = z for r.
-5
Let p be (-6)/(-9)*9/2*1. Solve -2*c = -p*c for c.
0
Let z(o) = -o**2 + 6*o + 6. Let q(a) = -5*a**2 + 30*a + 31. Let y(l) = -2*q(l) + 11*z(l). Let s be y(6). Solve k = -k + s for k.
2
Suppose 6 + 2 = 4*s. Let c be 3/(-9) + 74/6. Solve h + c = -s*h for h.
-4
Let w(u) = -3*u - 17. Let f(n) = n + 6. Let c(k) = -17*f(k) - 6*w(k). Let i be c(3). Solve i*z = -z for z.
0
Let d(h) = -7*h**2 - h - 4. Let s(l) = 6*l**2 + l + 3. Let x(v) = 3*d(v) + 4*s(v). Let y be x(1). Let q = -4 + y. Solve 3*i + q*i - 9 = 0 for i.
3
Let w = 10 - 6. Let g be (-1)/((-24)/(-9) - 3). Let d = 3 - g. Solve -w*p + 14 - 2 = d for p.
3
Let z(b) = -b**3 + 7*b**2 - 10*b + 4. Let y be z(2). Suppose -h + 8 = h. Solve -y - 16 = h*q for q.
-5
Suppose 0*n + 2 = 3*o + 2*n, 0 = -5*o + n + 25. Solve d = -o + 3 for d.
-1
Suppose 4 = -3*t - z, 3*t - 2*z - 9 = -1. Solve t = -2*y + 7*y + 20 for y.
-4
Let x = -5 + 9. Let t = x + -2. Solve k = -t + 3 for k.
1
Let b = 0 + -2. Let y be (2 - b/(-1)) + 1. Let s be y*(2 + -1)*0. Solve 3 = -s*q + 3*q for q.
1
Suppose 0 = -3*q + 3*p - 3 + 15, -3*q = p + 4. Solve -r + 2*r + 4 = q for r.
-4
Let l be 0 - (1 - (0 + 1)). Solve l*h + h = -1 for h.
-1
Suppose -d + 0*d = -10. Let x = -3 - -5. Let w be 2 + 12/3*x. Solve w = -5*l - d for l.
-4
Let g(x) = -x. Let c be g(-5). Suppose 1 = -2*m + c. Solve -w = -0*w + m for w.
-2
Let s(t) = -t**2 - 16*t - 12. Let h be s(-15). Suppose 11 = 4*g + h*i, -3*g = -i + 5*i - 3. Solve g*y + 5 = -0 for y.
-1
Let f(j) = -3*j - 9. Let v be f(-6). Let l = v + -9. Solve l*r = -r - 3 for r.
-3
Let p(g) = -3*g + 6. Let h be p(-3). Suppose -18 + 2 = -4*j. Solve -t - h = -j*t for t.
5
Let q(v) = -v + 1. Let i be q(1). Solve i*h - 4 = -2*h for h.
2
Suppose 5*g - 2*b - 21 = b, -4*g - 2*b = -8. Let t = g - -1. Solve -m - t = -3*m for m.
2
Suppose -v - 2 + 6 = 0. Let i(g) = 3*g + 2. Let u be i(-3). Let w be u/42 + (-37)/(-6). Solve 5*n + w = -v for n.
-2
Suppose -4*g - 2*r = g - 10, -3*r - 23 = -2*g. Let d = -5 - -5. Solve w + d = -g for w.
-4
Let v(a) = -a**2 - a + 10. Le