 Solve -5*y + i = -10 for y.
4
Let m(x) = 18*x**3 - x**2 + 5*x - 3. Let n be m(1). Suppose -8*v + 9*v = -5*g - n, 4*g + 20 = 0. Solve -4*p + 6*p + v = 0 for p.
-3
Let v(z) = -z**3 + 15*z**2 - 45*z - 34. Let c be v(10). Solve -c = 5*y + 4 for y.
-4
Let c = 203 - 141. Let z = 67 - c. Solve 2*n + z = -3 for n.
-4
Let b(a) = -3*a**3 + a + 1. Let m be b(-1). Suppose 4*o = -5*c + 20, 2*o + 2 = -5*c + 12. Solve m*d - 12 = -c*d for d.
4
Let g = 91 - 90. Solve g = p - 1 for p.
2
Let x be 6 + -2 + 8 - -162. Solve v - 172 + x = 0 for v.
-2
Suppose 0 = k - 5*j - 7, 2 = 5*k + 2*j - 6. Suppose 4*c = -5*g - 8, g + 12 = -k*g. Solve -c = 2*b - 1 for b.
-1
Let q be 38/(-12) + 1/6. Let v = -1 - q. Suppose -s - v*s + 9 = 0. Solve -u + s*u = -8 for u.
-4
Suppose 4*i - 1 = -3*x - 29, x = 0. Let m be (4 + i/2)*10. Suppose 4*f - m*l - 23 = f, -2*f + 6 = -l. Solve -2*z + 1 = -f for z.
1
Let w(i) be the third derivative of -i**6/120 + 7*i**5/60 + 7*i**4/24 + 2*i**3 + 22*i**2. Let f be w(8). Solve -f*n = n + 15 for n.
-3
Let g(x) = -x**2 + 3*x + 4. Let j(q) = 5*q**2 - 13*q - 17. Let o(k) = -9*g(k) - 2*j(k). Let w be o(3). Let y = -12 - w. Solve -z + 3*z = y for z.
1
Suppose t + 9 = 4*t. Suppose 0 = -x + t. Let j = -14 + 23. Solve j + x = -4*p for p.
-3
Let r be (1 - -1)/(-2) - -1. Suppose -6 = -2*l, -4*w + 3*l + 3 + r = 0. Solve -3*b - 6 = w for b.
-3
Suppose 0 = -j + z + 1, -2*j + 3*z - 1 = -0. Solve 3*g + j = 2*g for g.
-4
Let d = -5 + 9. Suppose 0 = 37*s - 20 - 54. Solve -d*t + 6*t = -s for t.
-1
Suppose -3*d = 1962 - 1974. Solve 23*p - 24*p = d for p.
-4
Suppose 0 = 3*v + 5*v - 24. Suppose 0 = -3*a - v*n + n + 20, 0 = 4*a - 2*n - 8. Solve a*h = -3 - 1 for h.
-1
Suppose -3*i + 112 = 415. Let c = i - -110. Solve 0 = 6*a - c*a + 3 for a.
1
Let t = -8 + 20. Suppose -10*v = -t*v. Solve 4*p - 6 - 2 = v for p.
2
Let d be (-20)/(-90) - 25/(-9). Suppose 4*o - 14 = -2*g, 2*o - 7 = -d*o + g. Solve 0 = o*h - 1 + 5 for h.
-2
Suppose 4*z + 160 = -z. Let h be (z/(-6))/((-3)/(-9)). Let l be (-15)/(-10)*(-24)/(-9). Solve 0 = 4*u + h + l for u.
-5
Suppose -17 = 4*x - 61. Let k(g) = g**2 - 11*g. Let p be k(x). Solve p*a = -5*a - 15 for a.
-3
Let f = -10 - -15. Suppose 0 = p + c - 2, p - c = 3*p - f. Let v = p + 15. Solve 3*o - v + 6 = 0 for o.
4
Let g = 4 - 2. Suppose -2*r + c = -r - 7, 0 = 5*r + 2*c - 14. Let v be 0/(-5) + 0/r. Solve 0 = -g*w - v*w for w.
0
Let b = 10 + -3. Suppose b - 3 = -h. Let g be 1*3*h/(-6). Solve g*m = 2 + 8 for m.
5
Let u = 11 + -11. Solve u = -18*y + 15*y + 6 for y.
2
Let n be 16/6*(546/(-4))/(-7). Suppose n = -4*r + 56. Solve -5 + r = i for i.
-4
Let i(w) = -w**3 - 10*w**2 - 14*w + 4. Let q be i(-2). Solve q = -2*f + 8 + 2 for f.
5
Let b = -11 - -6. Let u = b - -12. Let r = u - 7. Solve 4*s - 20 = -r*s for s.
5
Let x be ((-6)/(-12))/(1/4). Let c(g) = -g - 8. Let q = -6 + -4. Let w be c(q). Solve -x*l - 8 = w*l for l.
-2
Suppose 0 = 5*p + p + 2*p. Let b be 2 + -2*(p + (-1)/2). Solve -b*r + 3 = 18 for r.
-5
Let k(h) = h**2 - 9*h + 32. Let q be k(5). Solve 9*u = q*u - 6 for u.
2
Let b(a) = -75*a - 4. Let h be b(-1). Suppose -h*r + 20 = -67*r. Solve -3 = r*l + 7 for l.
-2
Let g(b) = 10*b - 19 + 14*b - 25*b. Let x be g(-24). Solve 2*o + x + 1 = 0 for o.
-3
Let m(b) = -b**2 - 6*b - 5. Let p be m(-3). Suppose 6*q = p*q. Solve -s + 2*s - 5 = q for s.
5
Let j = -63 - -35. Let q = 42 + j. Solve -3*w - 2 = -q for w.
4
Let q(o) = 6*o - 43. Let a be q(9). Solve -a*y + 5*y + 30 = 0 for y.
5
Let w = -57 + 46. Suppose 2*v + v = 2*f - 19, 0 = -5*v + 3*f - 33. Let x = v - w. Solve x*q = 4 + 2 for q.
3
Let l = -99 - -110. Solve l*j = 12*j + 2 for j.
-2
Let r(z) = 4*z**2 - 13*z + 3. Let k be r(3). Solve 5*i + k = 10 for i.
2
Let p = 108 + -63. Let r = 29 - p. Let a = -12 - r. Solve -3 = -a*c - 15 for c.
-3
Let x(o) = o**3 + 7*o**2 - 10*o - 11. Let v be x(-8). Suppose -6*h - 10 = v*a - h, -3*h = -4*a + 20. Solve -5 = a*m - 3*m for m.
5
Let f be (-1)/2 + (-2)/4. Let b be 6 + 2 - (-3)/f. Suppose -b*a + a + 12 = 0. Solve 0*o - 3 = a*o for o.
-1
Let c(g) = g**3 + 13*g**2 - 14*g. Let v be c(-14). Solve v = 5*z - 3*z for z.
0
Let u(b) = 5*b + 2. Let t(y) = 14*y + 6. Let d(w) = -4*t(w) + 11*u(w). Let f be d(-6). Solve 20 = -0*g + f*g for g.
5
Let y be (-6)/21 - 27/(-21). Let t be 20/4 - 1/y. Solve 0 = t*c - 0 - 8 for c.
2
Suppose k + 175 = 6*k - 4*l, 5*k - 2*l = 185. Suppose -3*h + k = 2*z + z, -40 = -2*z + 5*h. Let y = z - 11. Solve -4*w + 0*w + y = 0 for w.
1
Let a be (-4)/(3*8/(-258)). Solve -a*b = -38*b - 10 for b.
2
Suppose -4*y = 15 + 5, y - 15 = -5*g. Suppose -5*u - 2 = -n, -2*n - g*u + 4 = -0*n. Solve -4*h = -n*h - 4 for h.
2
Let z(m) = m**3 - 12*m**2 - 14*m + 15. Let o be z(13). Suppose o*d = 7*d. Solve d = 5*k - 8 - 2 for k.
2
Suppose 0 = -0*z - 2*z + 4. Suppose -z*r + r + 22 = 0. Let d = r + -18. Solve 3*h = d*h + 5 for h.
-5
Let j(v) = -4*v + 65*v**2 - 68*v**2 + 2*v**3 - v**3. Let z(p) = p + 15. Let b be z(-11). Let c be j(b). Solve 3 = 3*m - c for m.
1
Suppose -7 = -3*w + 5, 5*w - 64 = 4*g. Let a be (2/(-6))/(g/(-297)). Let v = a - -11. Solve v*o = 7*o + 25 for o.
-5
Let n(x) = -9*x + 74. Suppose -1 = -k - 2, -2*r + 4*k = -20. Let s be n(r). Solve m - s*m = -2 for m.
2
Suppose -25 = 15*l - 10*l - 5*z, 5*l - 5 = -z. Solve l = -c + 5 - 4 for c.
1
Let w(h) = h - 1. Let k = -74 + 77. Let p be w(k). Solve 0 = 2*i - 6 + p for i.
2
Let k be 5/(-55) + 68/22. Solve 0*g + 12 = -k*g for g.
-4
Let x be (-16)/(-5) - (-2)/(-10). Let h(z) = 12*z + 160. Let u be h(-12). Suppose -2*t + 2*r + 14 = -r, -t + u = x*r. Solve 2*j = -0 - t for j.
-5
Suppose 9*a - 132 = 5*a. Suppose -2*n + a = -39. Suppose -3*f + n = -24. Solve v = -3*v - f for v.
-5
Let a = 565 + -560. Solve -8*z - a - 19 = 0 for z.
-3
Suppose y + 6*y = 588. Suppose d + y = 13*d. Solve d*n = 2*n - 15 for n.
-3
Let c(p) = -11*p - 14. Let r be c(-2). Solve -2*m + 4*m = r for m.
4
Let u = 2830 - 2821. Solve -108 = u*y - 108 for y.
0
Suppose -3*c + 0*c + 9 = 0. Let t = 34 + -28. Suppose -5*q - 25 = -5*d, -q + t = -c*d + 25. Solve -5 - d = -3*g for g.
4
Let p be (6/(-5))/(8/(-20)). Suppose 0 = p*q - 0*q + 4*u - 24, -2*q + 14 = 2*u. Solve 25 = -q*l - l for l.
-5
Suppose 0 = -3*p - 0 + 21. Suppose -p*l + 3*l + 12 = 0. Solve -l*j + 4 = 1 for j.
1
Let i(p) = -p**3 + 5*p**2 - 2*p - 3. Let q be i(4). Suppose q*t - 15 = 5*y, -5 - 3 = -5*t - 2*y. Let l be (-6)/18 - t/(-6). Solve l*s = -s for s.
0
Let y = 1079 - 1071. Solve -28 = -12*g + y for g.
3
Suppose -3*b + 3*i + 6 = 0, -55 + 33 = -b - 4*i. Solve b*c - 4*c - 10 = 0 for c.
5
Let l be 20/(-380)*-19 - (-6)/2. Solve -80*h = -82*h - l for h.
-2
Let w(y) = -y**3 - 5*y**2 - 4*y - 2. Let i be w(-3). Let z be 6/(((-36)/i)/(-3)). Let g = 1 - z. Solve -2*t + 15 = -g*t for t.
-5
Let l(h) = h - 10. Let x be l(16). Let z = -5 + 7. Let y = x - z. Solve r = -r - y for r.
-2
Let c(x) = -x**3 + 38*x**2 + 264*x + 1. Let b be c(44). Solve 6*o = 5*o + b for o.
1
Suppose -6*l = -0*l + 18. Let h be (4 + l - 0) + (2 - -1). Solve h*z = 1 + 15 for z.
4
Let x = 12 + -8. Let t = -16000 - -16010. Solve -2 + t = x*w for w.
2
Let i = -73 - -5. Let u = 113 + i. Let w be 595/u - (-2)/(-9). Solve w - 3 = -2*r for r.
-5
Let c(l) = l**3 - 8*l**2 + 6*l + 7. Let v be c(7). Let a be 86/4*(2 + v). Suppose 5*b - 40 = -4*n + 13, a = 4*n + 3*b. Solve n*o = 2*o + 25 for o.
5
Let c(x) = x**3 - 10*x**2 + 27*x - 7. Let i be c(4). Solve p - p = i*p for p.
0
Suppose -56*n = -69*n + 78. Solve -n*w = -w + 25 for w.
-5
Let i(p) = p**2 - 15. Let r be i(-7). Suppose 4*w - r = -6. Suppose -4*z + 3*s + 32 = 0, -5*z - 4*s = -3 - 6. Solve -w = -z*v + 18 for v.
5
Let w = 90 + -80. Let m be (1 + w/(-4))*(-168)/36. Solve -2 = -3*q + m for q.
3
Let u = 86 - 50. Let p = u + -24. Solve 5*g - p = g for g.
3
Let m(b) = -b**3 - 8*b**2 - 2*b + 39. Let n be m(-7). Solve n*p + 245 = 237 for p.
-2
Let k be (2/(-10)*-2)/(43/860). Suppose 2*d - 3*y = d, 0 = -2*d + 3*y. Solve 2*z = -k - d for z.
-4
Suppose -24 = -30*y + 22*y. Suppose y*n = -2*g + 8, 4*g - 16 = 6*n - 11*n. Solve -g*h - h = 0 for h.
0
Suppose 5*h - 4*o - 13 = 0, -5 = -h + 3*h - 5*o. Solve 0 = -h*x + 6*x + 2 for x.
-2
Let i(z) = 2*z + 1. Let p be i(1). Suppose 4*o = 5*h - 15, -p*o = h + 3*h - 43. Solve -2*f + h = 11 for f.
-2
Let f be (4/(-20))/((-16)/80). Solve b + 0 = f for b.
1
Let p(b) 