 2*y - 3 = 0. Let b be k(y). Solve b = -5*w - 0*w - 20 for w.
-4
Let d = 94 + -46. Let y = -45 + d. Solve -1 = 4*u + y for u.
-1
Let m(q) be the third derivative of q**5/20 + q**4/24 - 3*q**2. Let t be m(-1). Solve 0 = -x + t for x.
2
Let c = 73 + 9. Suppose 22 = 2*m - c. Let q be m/39*(-30)/(-4). Solve -q = -5*f - 0*f for f.
2
Suppose -2*x - 3 - 3 = 2*g, -4*x - 2*g - 2 = 0. Solve -5*h + x*h + 6 = 0 for h.
2
Suppose -67 = 4*d - 3. Let y = 40 + d. Let w = -22 + y. Solve 10 - 2 = -w*n for n.
-4
Let m = -911 + 911. Solve 7*c + 9 + 26 = m for c.
-5
Let d(z) = -3*z - 33. Let g be d(-12). Solve -4*y + 9 = -g for y.
3
Let z(o) = 2*o + 2. Suppose 17*a - 18 = 8*a. Let h be z(a). Solve -s = -h*s for s.
0
Let c be 15/((-45)/(-12)) + 0. Suppose -32 - 34 = -2*l. Suppose 2*w = -6, -2*i + 9 = 3*w - 8. Solve i = -c*v + l for v.
5
Let s be (3 - 1) + 0 + 3 + -1. Solve 9 + 11 = s*i for i.
5
Let j(k) = 14*k + 336. Let y be j(-21). Solve 7*z + y = 14 for z.
-4
Suppose -31 - 9 = -10*t. Solve t*n - 21 = -1 for n.
5
Suppose -31 = -4*v - 11. Suppose 1 = -w - 2*r + 14, 0 = 5*r + v. Solve 0 = -5*x + 2*x - w for x.
-5
Let k be (-70)/50 + 6/(-10). Let g be (-2)/k - (0 + 1). Solve g = -0*l + l + 5 for l.
-5
Let v = 7 - 1. Let t(h) be the third derivative of -h**5/60 + h**4/4 - h**2 + 18. Let s be t(v). Solve 2*y + y + 12 = s for y.
-4
Let b be 750/27 - 2/(-9). Solve 23*k - 30*k + b = 0 for k.
4
Let d be (-6)/(-4)*(-8)/(-3). Suppose 0 = -d*m + 4 + 8. Let s(b) = b**2 + 51*b + 499. Let x be s(-13). Solve -x = -2*r - m*r for r.
1
Let z be -6*4/(-24) - 23*-1. Solve -h + 9*h + z = 0 for h.
-3
Suppose -s = 1 - 0. Let y be (1 - s) + -5 + 30. Suppose z - 2 = -q + 1, -5*z - q = -y. Solve 0 = 4*f + z + 2 for f.
-2
Let m be ((-1485)/108)/((-5)/24). Solve -12*z - m = -18 for z.
-4
Let h be (-135)/(-20) + (-3)/4. Suppose -2*n + 0 = -h. Solve -16 = -n*z - 7 for z.
3
Let r = 79 + -75. Suppose -r = -i + 9. Solve 12 = -5*a - i for a.
-5
Let i = 7 + -5. Suppose -i*n + 13 = 3*x, 4*x - 14 = -n - 0*n. Solve 6 = -x*z + z for z.
-3
Let h(q) be the first derivative of -q**2 + 6*q + 4. Let y be h(-11). Let i be 104/y - 6/(-21). Solve z = -i - 0 for z.
-4
Let c(k) = -k + 14. Suppose -t = -6 + 3. Suppose -5*b + 80 = p + 22, t*b + 3*p = 30. Let w be c(b). Solve -5*j - 15 = -w*j for j.
-5
Let n be (-10)/(-3)*186/310. Solve -7*a - n*a = 9 for a.
-1
Suppose 0*o = 3*b + 2*o - 36, 5*o - 27 = -3*b. Suppose b = -4*q + 18. Solve f + q = -0*f for f.
-1
Suppose -o - 2 = -1. Let x be (-22)/(-121) - (31/11)/o. Solve x*r - 8*r = 5 for r.
-1
Let y(x) = -x**2 - x + 25. Let t be y(4). Let p be (t - (-105)/(-20))*16/(-2). Solve -2 = -0*s - p*s for s.
1
Suppose -2*u + 4 = 2*g, -3*g + 3 + 0 = 2*u. Let h(w) = -4*w - w**3 + 6*w**2 + w + 5*w. Let q be h(6). Solve -o + q = u*o for o.
3
Let o(r) = -r**3 + 5*r**2 - 4*r + 2. Let y be o(3). Suppose 2*v = -s + y, -2*v + s - 13 = -5*v. Solve 3*k + v = -7 for k.
-4
Let x(h) be the first derivative of 1/4*h**4 - 11 - 12*h - 5/3*h**3 + 3/2*h**2. Let y be x(5). Solve 16 = y*k + k for k.
4
Suppose -6 = -11*b + 10*b. Solve -k = 3*k - b*k for k.
0
Suppose -2*x - 34 = -4*x. Let w(s) = -7*s - 124. Let y be ((-168)/(-98))/((-5)/(105/2)). Let z be w(y). Solve 0 = -5*g + x - z for g.
3
Let f be 3/9*(-1 + 22 - 0). Let m = f - 4. Solve m = 3*r + 15 for r.
-4
Let h(y) = 4*y**2 - y - 1. Let x be h(1). Let l be 4/3 + (-6)/(-9). Suppose -l*j = 2*j. Solve j = x*k + 3*k - 10 for k.
2
Let g be (-13)/(203/(-261) + (-2)/9). Solve -1 = -6*l - g for l.
-2
Let t = -113 - -118. Solve -o = -t*o - 12 for o.
-3
Let y = -1519 - -1519. Solve y = -3*b + 30 - 18 for b.
4
Let a = -1 + 3. Let j be -1 + 4 + (3 - a). Suppose 2*n = -j + 8. Solve -i + 0 = n for i.
-2
Suppose -3*t - w + 4 = -9, 0 = -w - 2. Suppose 2*a + t*y = 35, -4*a = -9*a - 4*y + 45. Solve 12 = a*p + 2 for p.
2
Let d = 1067 + -1059. Let s = -30 - -43. Suppose -d*g - 80 = -s*g. Solve -b = -5*b - g for b.
-4
Let j be (-2)/(-5) + (-440)/(-25). Let i be j/(-5)*5/(-2). Let g = i - 8. Solve -1 = -p + g for p.
2
Suppose 3*c - 3*o - 12 = 0, -2 = -3*c + 4*o + 9. Suppose -5*v = -c*x + 2*x + 14, -2 = 2*v. Solve 2*k - 10 = -x*k for k.
2
Let u be ((-3)/15)/((-1)/5)*11. Solve -2*l - 17 = -u for l.
-3
Let r = 3 + 46. Suppose -14*k - 7 = -r. Solve 0 = k*j - 0*j for j.
0
Let x be 2 + 5 + (1 - 3). Let l = x + -3. Solve -2 = l*g - 12 for g.
5
Let r = 29 + -26. Let v(y) = -5*y**2 - 15*y + 20. Let j(z) = -3*z**2 - 10*z + 13. Let m(t) = 8*j(t) - 5*v(t). Let u be m(4). Solve u = -0*s - s - r for s.
-3
Suppose -5*h + 708 = -47. Let b = h - 146. Solve 0 = -3*j + 2 - b for j.
-1
Let a = -498 - -498. Solve 4*s - 9*s + 15 = a for s.
3
Let r(g) = g**2 + 3*g - 4. Let m be r(-4). Let p(l) = m*l - l - l + l. Let k be p(-5). Solve -6 = k*v + 4 for v.
-2
Suppose -17 = -4*z + 3. Solve -g = -z*g for g.
0
Let u = 18 - 12. Suppose -u*t + 87 = -5*v - 3*t, 0 = -3*v + 2*t - 53. Let z = v + 17. Solve 0 = 2*g - 0*g + z for g.
-1
Let m be (-8)/(-20) - 8/(-5). Suppose -2*o = -m*z + 24, 0*z - 2*o + 24 = 4*z. Solve 3*v - 4 - z = 0 for v.
4
Let v be (2 - 0)*2475/198. Solve -v*o + 21*o = 8 for o.
-2
Let k(o) = o**2 + 6*o - 2. Let i(c) = c**2 + 6*c - 2. Let y(z) = -4*i(z) + 3*k(z). Let j be y(-6). Solve -1 = j*h + 1 for h.
-1
Let j = 1 - 5. Let m be j*1*(3/2 - 2). Solve -c - 1 + m = 0 for c.
1
Let o = 1603 - 1590. Solve -o = v - 12 for v.
-1
Suppose -9*v + 5*v - 8 = 0, -5*z = 3*v - 9. Solve 0*u - z*u = 0 for u.
0
Let r(d) = -d**3 - 4*d**2 - 4*d + 3. Let j be r(-3). Solve 0 = f - 3*f + j for f.
3
Suppose -14*p = -59 - 11. Let a be (-8)/(-5) + 9/(-15). Let q be 3 - -3 - (0 + a). Solve 0*y + q*y = p for y.
1
Let k = -148 + 148. Let h be (-15)/6*((-48)/15 + k). Solve 0 = 2*c - 4*c + h for c.
4
Suppose -4*g + 8 = 2*p - 28, -3*g = -2*p + 1. Solve p*m = 4*m + 12 for m.
3
Let i = 5 - 1. Let j be (-4 + i)/(1*(3 - 2)). Solve -2*l + j - 2 = 0 for l.
-1
Let b be (-2 - (-20)/12)*3*0. Solve b = -r - 35 + 39 for r.
4
Let i = 1 + 6. Suppose 3*l + 0*x = -3*x - 9, -3*x - i = 5*l. Let o be -2 - (-6 + (5 - l)). Solve -n = -o*n for n.
0
Suppose -15*k + 136 = 19*k. Solve -k*m + 3*m = 2 for m.
-2
Let c(u) be the second derivative of -u**4/12 - u**3/2 + 5*u**2 + 5*u. Let v be c(-5). Suppose 5*x - 23 = -4*i, -7*x + 22 = 5*i - 3*x. Solve v*h = h - i for h.
2
Let d(b) = -2*b + 11. Let k be d(2). Solve -5*f - 2*f - k = 0 for f.
-1
Suppose -3*l + u = 24, 5*l + 0*u + 29 = -2*u. Let b(t) = t**3 + 8*t**2 + 7*t + 9. Let j be b(l). Solve 2*m + m = j for m.
3
Let m(b) be the third derivative of b**5/60 - b**4/12 - 31*b**3/6 - 10*b**2. Let v be m(7). Solve -u + v*u = 3 for u.
1
Let h be (-32 - -28)*1/(-2). Solve -20 = 6*z - h*z for z.
-5
Suppose 0 = -3*x + 7 + 2. Let s(y) = 1 - 2*y**2 - 11*y + y**2 + x*y + 3. Let u be s(-8). Solve -u*j + 12 = -8 for j.
5
Let u = -453 - -467. Solve 0 = -9*p - u - 4 for p.
-2
Let c be (-4)/(-24) + (-69)/(-18). Suppose 92 + 12 = 5*r - 2*g, 4*g + 76 = c*r. Let a be 34/8 + 9/12. Solve a*t - r = -2 for t.
4
Let x(d) = -3*d + 3. Let c be x(0). Solve -c*u = -14 + 5 for u.
3
Let p(w) = -3*w + 21. Let v be p(-10). Let y = v + -48. Solve -2*u - 25 = y*u for u.
-5
Let m = -1948 + 1953. Solve -2 = -m*i - 17 for i.
-3
Let v be 15/(-10)*(-40)/15. Solve -v*k + 6 = 26 for k.
-5
Let c be -4 - (7 - -15)/(-5 - -3). Solve 14*r = c*r + 21 for r.
3
Let v(k) = k**2 + 11*k - 18. Let l be v(-12). Let b(p) = -3*p - 15. Let m be b(l). Let i be 10/3 - 2/6. Solve m*o - i = 6*o for o.
-1
Let w = -319 - -319. Solve m = -w*m for m.
0
Suppose 4 = 4*v - 2*v. Suppose 0 = -3*s - a + 18, v*s - 13 = -0*s - a. Suppose 5*i - 54 = -s*q - 14, -18 = -3*i - q. Solve i = -b + 6*b for b.
1
Let r(z) = -7*z - 1. Let h be r(-1). Let m = -4 + h. Suppose 0 = -6*w - 0. Solve w = m*t + t + 12 for t.
-4
Let f(b) = -b - 5. Let o = 23 + -29. Let v be f(o). Solve -4*m - 5 = -v for m.
-1
Let m(l) = -6*l + 26. Let z be m(4). Solve z = 4*k - 14 for k.
4
Suppose 30 = 5*a - a + 2*r, -2*a + 20 = 2*r. Suppose 0*m + a*h = 5*m - 40, -5*m - 3*h = -8. Solve -w - w - m = 0 for w.
-2
Let u be (-286)/(-65)*10/4. Solve -u = 15*y + 49 for y.
-4
Suppose 0 = 4*y + 80 - 228. Let b = 15 - y. Let x be 8/(-44) - 114/b. Solve -x = -5*z - 0 for z.
1
Suppose 0 = 3*k + 2*b + 4 - 22, 5*k + 4*b = 28. Solve k*f = 14*f for f.
0
Suppose 0 = -l - 2*k + 4, -2*l + k + 19 = -l. Let x be 