ve -4*z = -14*z - c for z.
-3
Let v be (8/(-6))/(4/(-6)). Suppose -231*y + 243*y = 0. Solve -v*x - 2*x - 8 = y for x.
-2
Let o(v) = 8*v + 4. Let x be o(3). Suppose -9*r = -17 - x. Solve -6*i - r = -7*i for i.
5
Suppose 4*a = -2*p - a - 15, -a - 3 = -p. Suppose -q + 2 - 8 = p. Let v be (-40)/(-24) + 4/q. Solve 4*r = -v - 7 for r.
-2
Let m(s) be the third derivative of s**5/60 + s**4/8 + s**3/3 + 8*s**2. Let c be m(-2). Suppose -2*l + 6 = -c*l. Solve -j + l + 0 = 0 for j.
3
Let o(k) = k**3 - 5*k**2 + 5*k. Let s be o(3). Let a = s + 7. Let u be (-60)/(-14) - a/14. Solve -u = -r - r for r.
2
Let n(q) = q**3 + 18*q**2 - 3*q - 54. Let v be n(-18). Solve 15*g - 14*g + 2 = v for g.
-2
Let r = -14 + 26. Suppose 3*y - r = -3*q, 2*q + 3*q - 17 = -2*y. Suppose 12 = q*n - 6. Solve -n = -0*j + 2*j for j.
-3
Let w be 1/1*-1*-1. Suppose w = 5*d - 9. Suppose -4*v + k = -3*v - d, -4*v + 10 = -5*k. Solve v = -4*l + 5*l - 3 for l.
3
Suppose s - 4*s - 12 = 0, 20 = v - 4*s. Suppose -5*p + v + 21 = 0. Solve p*i - 2 = 8 for i.
2
Let b = -766 + 782. Solve 3*s + b = 19*s for s.
1
Let o(f) = -f**3 + 7*f**2 - 3*f + 14. Suppose -n = -0*c + 3*c - 24, 0 = -2*c + 3*n + 5. Let g be o(c). Let h be (-16)/4 + (-3 - g). Solve -s = -h*s + 4 for s.
-4
Let r(l) = l**3 + 13*l**2 + 13*l + 14. Let g = 15 + -27. Let v be r(g). Solve v*y - 4 = y for y.
4
Let b(q) = -2*q - 5. Let u be b(-4). Suppose 5 - 20 = -3*w. Solve w*z = u - 23 for z.
-4
Let t(u) = u**3 - 19*u**2 + 8*u - 150. Let y be t(19). Let z(x) = -x - 3. Let w be z(-5). Solve -y*k - w = -8 for k.
3
Suppose -2*b + 11 = k, 4*b - 3*b = 3*k - 12. Suppose 0 = 5*h - 134 - 186. Suppose 20 = 5*j, -3*o - 4*j + h = -0*o. Solve p - o = k*p for p.
-4
Suppose 0 = -2*h + 3 + 9. Let y = 11 - h. Solve y*l - 10 = -0*l for l.
2
Suppose 2*v + 5*y + 0*y = 26, -3*y = -12. Suppose -v*l + l = 0. Suppose l = c + 3*c - 20. Solve 20 = c*q - 0*q for q.
4
Let k(c) = 8*c - 19. Let g be k(6). Let f = -23 + g. Solve 2*h = f*h - 12 for h.
3
Let z(c) = -2*c - 1. Let l(v) = -2*v + 7. Let r be l(4). Let o be (-6)/(-3) - (-5)/r. Let y be z(o). Solve y + 0 = -k for k.
-5
Let c(b) = 9*b + 6. Let f(w) = -4*w - 3. Let n(d) = -3*c(d) - 7*f(d). Let q be n(8). Let u be (-13)/(-11) - 2/11. Solve 4*x - u = q for x.
3
Suppose 4*o - 37 = -17. Solve -m + o - 3 = 0 for m.
2
Let a(g) = -17*g**2 + 118*g + 9. Let z be a(7). Solve 0 = -z*s + 5*s - 15 for s.
5
Let s = -476 - -476. Solve 0 = -p - s for p.
0
Let t be -4 - -3 - (-7 + 1). Suppose 1 = -4*b - 2*s - t, 5 = -5*b - 2*s. Solve 0 = -2*n - b + 5 for n.
2
Suppose 3*j - 28 = 5*v, j = 2*v + 8 + 3. Let k be (-5 + 5)*(1/j)/3. Solve 4*l + k = 8 for l.
2
Let d = 53 + -47. Suppose -d*r + 30 = 9*r. Solve -r*q + 5*q + 6 = 0 for q.
-2
Let i be 5 + -1 + 18 + -10. Let t be 177/i + (-7)/(-28). Suppose -4*p + t = p. Solve p*l = -0*l + 6 for l.
2
Let y = 181 - 124. Suppose -y*r + 10 = -55*r. Solve r*c = 2*c for c.
0
Suppose 5*z = 2*z - 15. Let w = z + -4. Let k be (-3)/(w/(-6)) - -7. Solve -k*c + c = 8 for c.
-2
Suppose -4*u - 126 = -2*u. Let j = -63 - u. Solve 0 = -j*p + p for p.
0
Let l be (-1)/(-3)*6/(-2). Let y = l - -2. Let j(n) = -n**2 + 7*n + 17. Let h be j(7). Solve 0 = -4*s + y - h for s.
-4
Let o = 1 + 32. Let h be o*1*12/18. Suppose 2*x + 5*j + 10 = -1, 5*x = 4*j + h. Solve 5*s - 18 = x for s.
4
Let n = 65 + -68. Let b be n/1 - (-1)/2*10. Solve 2*j = 3*j - b for j.
2
Let b = -16 - -18. Suppose 5*l + 4 = -2*m + 33, -20 = -b*m + 4*l. Let c(i) = -2*i - 8. Let j be c(-5). Solve j*d = 5*d + m for d.
-4
Let p be (-11)/22 - 58/4. Let l be ((-25)/p)/(5/6). Solve 0*i + l*i = 8 for i.
4
Let x(y) = -y**2 - 3*y. Let s be x(-5). Let t be s/(-3) + 16/(-12). Solve 0 = -z - t - 2 for z.
-4
Let v = -4 + 17. Let r be 0/4 + v + 2. Solve r = 5*t - 0 for t.
3
Suppose 3*d + 8*l = 3*l + 4, 0 = 2*d + 5*l - 1. Suppose 0 = -2*q + 3*t - 7*t - 200, -4*q - t = 428. Let u = 111 + q. Solve d = u*y - 3 for y.
2
Suppose -5*x + 6*x - 5*o - 13 = 0, -x = 4*o + 32. Suppose -b + 2*b = 3*l, -b - 10 = -5*l. Let z = b + x. Solve 0 = d - z*d - 4 for d.
-2
Let s be -1 + (-84)/(-1 - 3). Let d = 27 - s. Solve 2*k - d + 3 = 0 for k.
2
Suppose -607 = 2*l - 623. Let y(m) = 11*m + 18. Let p(b) = -7*b - 12. Let h(a) = -8*p(a) - 5*y(a). Let d be h(0). Solve 2*g - d*g - l = 0 for g.
-2
Let b = -267 + 270. Solve b*g - 40 = -28 for g.
4
Let p(h) = -h + 9. Let l be p(-9). Let m be 1*(-15)/l*-6. Solve -m*d - 3 = 12 for d.
-3
Let i = 36 + -16. Suppose m + 0*d = 2*d + 10, -4*d - i = 3*m. Solve m*n - n + 3 = 0 for n.
3
Let h be (1/6)/((-1)/120*-4). Solve 3 - h = -i for i.
2
Let s be (6/8)/((-12)/(-64)). Suppose -21 = -s*z - 1. Solve 4 = z*j - 16 for j.
4
Let s(x) = x**3 + 5*x**2 - 2*x - 6. Let h be s(-5). Let r be (-203)/(-42) - (-2)/12. Solve -w + r - h = 0 for w.
1
Let w be -2 + 3 + -1 + -12. Let v = w - -24. Solve 0 = -2*r - 4 + v for r.
4
Suppose -f - 27 = -2*d - 32, -2*f = 5*d - 1. Solve f*x + 20 = -2*x for x.
-4
Suppose -33 = 2*h - 5*g, -2*h - g - 29 = -2*g. Let v be 13/5 + h/(-35). Suppose -25 = v*z - 5*t, 4*z - 2*t + 15 = t. Solve z = 4*b - 4 + 16 for b.
-3
Let w be 750/12*12/15. Let i be ((-3)/(-3))/(5/w). Solve -m - m + i = 0 for m.
5
Let i = 24 + -15. Suppose -17*j + 18*j = 6. Solve -i = -3*s + j*s for s.
-3
Suppose -5*b - 77 = -n, -b + 3*n = 11 + 10. Let h = -10 - b. Suppose 2*m = 4*y - h + 1, -6 = -4*m + y. Solve -g = -1 - m for g.
3
Suppose -5*h = -j, 3*j + h = 3*h. Let m be (30/(-9) + 4)*3*1. Suppose -90 = -m*w - 74. Solve -2*r + j*r = -w for r.
4
Let b = -67 - -69. Let h = 10 - 4. Let d = b + h. Solve c = -c + d for c.
4
Let t(v) = -v**2 + 17*v + 5. Let s be t(9). Suppose 3*u + 2*u + 3*n - s = 0, -5*u + 85 = 5*n. Let k = u + -9. Solve 19 = -3*j + k for j.
-5
Suppose 74*a - 873 = 15. Solve a*u - 4*u = 8 for u.
1
Let i be ((-3)/5)/(4/(-20)). Let l be (0 - i - -2) + -2 + 5. Solve l*u + u = 12 for u.
4
Suppose -2*j = j - 6, -94 = -5*m - 2*j. Suppose m*s - 25 = 13*s. Solve -s*i + 2 = -3 for i.
1
Suppose c - 4*r = -8, -18*c + 22*c - 4*r - 16 = 0. Solve c = 2*x - 4*x for x.
-4
Let f be ((-20)/6)/(84/(-504)). Solve -6*p + p = -f for p.
4
Let a be -16*(-3)/6 + -4 - 4. Solve -5*l - 3 - 2 = a for l.
-1
Let x be (-2)/(33/(-9) - -3). Suppose x*q = -q, 0 = -c + 3*q. Suppose -4*n - 2 = 5*l, 4*l - 4*n - 30 + 10 = c. Solve 0*j = -l*j for j.
0
Let f be ((-45)/(-6))/(-7*(-8)/112). Solve -5 = -5*h + f for h.
4
Suppose 7*i - 18 = i. Solve -i*m = 1 + 8 for m.
-3
Suppose -13*c = -12*c - 44. Suppose 6*s + c = 2*r + 3*s, -119 = -5*r + 3*s. Solve 0 = -p + 6*p + r for p.
-5
Let t = -1225 + 1244. Solve -2*m = t - 9 for m.
-5
Let d be 2 - (2/(-2) - 11). Let g = 16 - d. Suppose -g*p + 3*p + 3 = f, -3*f = -5*p - 9. Solve -3*m + 7 + 5 = p for m.
4
Let g be (11/11)/(0 + 1). Suppose 0 = -m - 0*h - 5*h + 7, 0 = 2*m - 5*h + g. Solve -6*p = -m*p for p.
0
Suppose -4*z - z + 5 = g, 5*z - 5*g + 25 = 0. Solve z = 6*k - 7*k for k.
0
Suppose -125*p = -121*p - 84. Solve 5*x - 46 = -p for x.
5
Let w = 64 + -57. Solve -5*u - 2*u + w = 0 for u.
1
Suppose -n + 12 = 2*n. Suppose -n*x = x. Suppose x = -5*c - 1 + 16. Solve 4 = c*j - 2*j for j.
4
Let t(s) = s**2 + 2*s - 3. Let x(l) = 6*l + 2. Let b be x(-1). Let r be t(b). Solve r*p - 6 = 14 for p.
4
Let u(k) = -k**3 + 10*k**2 - 5*k - 33. Let l be u(9). Solve 2*s - l - 3 = 0 for s.
3
Let i(o) = -2*o**3 + 9*o**2 - 2*o - 5. Let b be i(4). Solve -2*u + b = -u for u.
3
Let q = 46 - 34. Suppose x + 12 - q = 0. Solve x = -2*p + p + 4 for p.
4
Suppose 13*d - 30 = 308. Suppose -3*m + u + 4*u = -d, 4*m - 12 = u. Solve 3*b + m*b = 15 for b.
3
Let l(z) be the first derivative of -4*z**2 - 10*z + 9. Let o be l(-4). Let h be o/(-143) + (-28)/(-13). Solve -h*a + 7*a - 5 = 0 for a.
1
Let y be 8/24 + (-16)/(-6). Suppose y - 7 = -4*p. Let i = 0 + p. Solve 0 = -0*m + m + i for m.
-1
Suppose 3 = 2*m + 5. Let v(n) = -5*n**3 + 2*n + 1. Let z be v(m). Suppose -t + z = 3. Solve 3 = -q - t for q.
-4
Let q be (-6)/(-8) + 4*(-50)/(-160). Solve -5*w + 18 + q = 0 for w.
4
Let b be 320/3*(-36)/(-30). Suppose 0*x - 4*x = -b. Let r be -6*(x/(-6) + 4). Solve -2*y + r = 2*y for y.
2
Suppose -j = -2*p + 4, -p + 2 = -j - 5. Let h be (-163)/(-11) - j/55. Suppose -2*l + h = 3*l. Solve 0*c = -l*c + 15 for c.
5
Suppose 4*g + 285 = 4*j + 1777, 0 = -2*g - j + 761. Let n be ((-2)/4)/(9/g). Let p = n + 30. Solv