b be y(-2). Let s = b - -65. Solve 0 = 5*i - 0 - s for i.
2
Suppose -8*x + 13*x - 20 = 0. Suppose 2*u = 4*l, x*l + 16 + 2 = 5*u. Solve 0 = 2*o + u - 2 for o.
-2
Let a(u) = 12 + 3*u**3 - 15*u + 6*u**2 - 5*u**3 - 5*u**3 + 8*u**3. Let b be a(-8). Suppose g = 2*n - 5, 4*n + 15 + 5 = -4*g. Solve -b*y + y + 15 = n for y.
5
Let h(f) = 2*f + 20. Let y be h(-8). Suppose c - 14 - 7 = -y*j, -j + 29 = 5*c. Solve -c = s - 1 for s.
-4
Let s = -20 - -22. Suppose 2*m + 2*r - s = 0, 20 = -3*r - 2*r. Solve -9 = -m*q - 29 for q.
-4
Let y = 168 - 118. Let x = y + -44. Solve 4*l + x = -2 for l.
-2
Let a(j) = -6*j + 133. Let o be a(-2). Solve 45*m - o = 16*m for m.
5
Let k(b) = b**3 + 58*b**2 + 117*b + 289. Let x be k(-56). Solve 0 = -t + x*t - t for t.
0
Suppose 15 = 2*v - 13. Suppose 0 = -v*g + 18*g - 8. Solve 4 - 8 = -g*q for q.
2
Let c(z) = -4*z - 10. Let o(b) = -11*b - 29. Let u(s) = 8*c(s) - 3*o(s). Let h be u(-7). Suppose -p + h = -6. Solve -n - n - p = 0 for n.
-3
Let a be 2/(-2) - 2 - (-100)/4. Let y = 23 - a. Solve -o + 5 = y for o.
4
Suppose -20*u + 21*u = 19. Solve -u*r + 22*r = 3 for r.
1
Suppose 56*t - 247 = 1993. Solve -8*l + 0*l = t for l.
-5
Suppose 4*m + 0*l - 6 = -2*l, 4*m - 2*l - 2 = 0. Let z be 68/17*m/2. Solve -z*t = -t + 2 for t.
-2
Suppose 11*d - 10*d + 20 = 0. Let u(c) = -c - 19. Let n be u(d). Solve -n = 2*v + 1 for v.
-1
Let i(m) = m**3 + 3*m**2 - 7*m - 8*m**2 + 14 - 6. Suppose -8 = 2*z + 5*u, -4*z + 5*u - 18 = -62. Let l be i(z). Solve c + l = -0*c for c.
-2
Let t = -188 - -194. Solve 0 = 4*v - 6*v + t for v.
3
Suppose -j - 52 + 52 = 0. Solve 17*v - 22*v = j for v.
0
Let y(c) be the third derivative of -c**6/120 + c**5/15 - c**4/8 - 10*c**2. Let i be y(3). Solve 0 = p - i*p for p.
0
Let j be -3 - (175/3)/7*-3. Solve v - j = -18 for v.
4
Suppose 13*i - 5*i = 14*i. Solve i = 5*a - 8 + 3 for a.
1
Suppose 5*v + 199 + 31 = 5*i, -188 = -4*i + 3*v. Solve -18*u - i = -8*u for u.
-5
Suppose 3*k = -9, -r + 2*k = -0*r - 5. Let o(f) = 7*f**2 - 2 - f - 5*f**3 - 7*f**2. Let b be o(r). Solve -u + b - 3 = 0 for u.
1
Suppose -5*x - 13 = -23. Suppose -2*c = -x - 18. Let r(v) = 3*v + 1. Let n be r(1). Solve c = -n*z + 2 for z.
-2
Let h be 38 + -42 + 13*1. Solve -3*n = h - 0 for n.
-3
Suppose 8 = 5*g - 7. Let s be (-2)/g - 4/(-6). Suppose 5 = -w + 2*h, s*h - 5*h + 14 = -2*w. Solve -2*c = -w + 1 for c.
1
Suppose 3*f - 37 - 47 = 0. Let s = -25 + f. Solve -5*w - 8 = -s*w for w.
-4
Let b(m) = -2*m**2 + 40*m + 192. Let q be b(24). Solve q = 3*r - 14*r + 22 for r.
2
Let l be (12 + -8)/((-2)/(-1)). Suppose 0 = -6*c + l*c. Solve 4*b = -c*b - 4 for b.
-1
Let r be (-3 - 1)*4/2. Let j = -4 - r. Let i be 6/2 + -2 + 2. Solve i*h = -2 - j for h.
-2
Let l be 10/(-25) - 54/(-10). Let u be (-10)/(-45) + 4/(-18). Suppose 0*f - f + 2 = u. Solve 0 = l*n - 8 - f for n.
2
Suppose 32*t = 28*t + 80. Suppose 2*x - t = -8*x. Solve -x*w + w = -1 for w.
1
Let n(w) = -5*w - 24 + 5*w - 4*w. Let c be n(-7). Solve -2*h = 6 + c for h.
-5
Let r(n) be the second derivative of n**5/20 + n**4/2 + 2*n**3/3 + n**2 + n. Suppose 11*t - 4 = 13*t. Let o be r(t). Solve -5*u + 30 - o = 0 for u.
4
Let u = 170 - 170. Solve w = -2 - u for w.
-2
Suppose 3*p - 3*n + 42 = 0, 0*p + 3*n + 3 = -2*p. Let w = p - -13. Let k be -2 - (-2 - -2 - w). Solve k - 7 = 5*i for i.
-1
Let n(u) be the first derivative of -u**4/4 + 6*u**3 + 8*u**2 + 27*u + 8. Let b be n(19). Let h = b + 30. Solve 0 = -h*p - 4*p + 16 for p.
4
Let a be 483/4 - 1/(-4). Suppose -3*m = 5*d - 0*m + a, 4*d + 98 = -2*m. Let n = 38 + d. Solve 4*w = w + n for w.
4
Let r(k) = -36*k**2 - 142*k + 8. Let n be r(-4). Solve -7*i + n*i = i for i.
0
Let c(t) = -t + 3. Let u be c(-5). Suppose -u*g = -13*g + 5. Solve 0*i = -i - g for i.
-1
Suppose -2*v = 4*v. Solve 0*d + 4*d = v for d.
0
Let m = 2 + 6. Let p be m/3 + 4/12. Let w(t) = t**3 + 5*t**2 + 2*t + 1. Let d be w(-3). Solve -d = -p*k - 1 for k.
4
Let m be 470/2585 + (-1 - (-766)/22). Solve 19 = -3*h + m for h.
5
Let r(o) = o**3 - 5*o**2 + 2*o - 7. Let b be r(5). Let z be ((-9)/(-2) - 2) + 6/(-12). Solve z*g + b - 1 = 0 for g.
-1
Suppose 0 = -7*u - 3*u + 2*u. Solve p = -u - 3 for p.
-3
Let w(r) be the first derivative of -33*r**4/4 - 3. Let l be w(-1). Let g be (-4)/(-22) + 60/l. Solve 5 = g*s - 3 for s.
4
Let p = -1092 + 1111. Solve -3*j - p + 7 = 0 for j.
-4
Suppose 2*l = -3 - 3, -2*q = 5*l + 3. Let o be ((-18)/4)/(q/12). Let m be 2/9 - (-2)/o. Solve -2*g = -m*g - 2 for g.
1
Suppose -4*y = -0*y + 44. Let q be y/(-3) - 10/15. Solve 0 = -2*h + 3 + q for h.
3
Suppose 0 = 5*d - 86 + 321. Let m = d + 47. Suppose 3*w + 2*p = 0, 3*p = -3*w + 2*p. Solve 3*y - 12 + w = m for y.
4
Let h(d) = -37*d - 248. Let w be h(-7). Solve w*j + 0 - 22 = 0 for j.
2
Suppose -6*l = 2*l - 16. Suppose -3*i + 0*i - 3*p = -30, -p - 11 = -l*i. Solve -2 = -u - i for u.
-5
Let t = -20 + 26. Suppose 4*z + t = 5*u + 17, 19 = 4*z + 3*u. Let n = -1 + 3. Solve -z = n*f - 3*f for f.
4
Suppose 0 = -d + 5*h - 2 - 2, -2*d - 4*h = -6. Let i be ((-10)/8)/d*-20. Solve -2*u + i = 3*u for u.
5
Let p be (-13)/(-4) + (-4 - (-225)/60). Let q be (-2)/(-1) - 11/(-1). Solve q = p*a + 1 for a.
4
Let l be (-4)/(-8)*-1*-4. Suppose -l*s + 8 = -2. Let u be 6/(-21) - 4/(-14). Solve h = -u*h + s for h.
5
Let j(g) = 8 + 0*g - 22 - 3 + 2*g. Let x be j(4). Let s = 11 + x. Solve q = s*q for q.
0
Let y(z) = z**3 - 4*z**2 + 3*z + 2. Let k be y(2). Solve k = -3*q + 13 - 10 for q.
1
Suppose 3*v + n + 8 - 26 = 0, -5*v = 4*n - 23. Suppose -v = -4*d - j, 6*d = 2*d + 4*j - 8. Let m be (-1 - (0 + -1))/(-1). Solve m = -k + d - 5 for k.
-4
Let x(c) be the third derivative of c**5/60 - c**4/8 - 2*c**3/3 + 4*c**2. Let f be x(4). Let i(s) = 2*s + 22. Let a be i(-9). Solve a*y + 2 - 14 = f for y.
3
Let b(y) = 11*y + 17. Let k be b(0). Solve q - k = -14 for q.
3
Let w(v) = 2*v**2 + 3*v - 8. Let d be w(-6). Solve -6*k - 16 = -d for k.
5
Let d = 108 + -97. Let y(z) = -z**3 + 12*z**2 - 10*z - 8. Let w be y(d). Solve 2*u = 5*u - w for u.
1
Let s(v) = v + 2. Let u be s(2). Suppose 5*q + 12 = 2*q, 2*q = -2*h - u. Solve 0 = h*z - z - 3 for z.
3
Suppose -4*v + 25 = -5*d + v, d - 2*v = -4. Let x(g) = -g**3 - 6*g**2 - 2*g - 7. Let m be x(d). Solve -m*w - 2 = -6*w for w.
2
Let j = -36 - 21. Let w = j - -62. Solve 4*d + d + w = 0 for d.
-1
Let a = -43 - -25. Let y(p) = -p - 10. Let w be y(a). Let v = -4 + w. Solve 0 = v*u - 0*u - 8 for u.
2
Let p(l) = l**2 + 22*l + 4. Let s be p(-22). Solve -a = -7 + s for a.
3
Let o be (1 + 10/4)/((-19)/(-494)). Suppose -92*r + o*r + 8 = 0. Solve 0 = 3*q - q - r for q.
4
Let w(j) = 2*j + 34. Let m be w(-8). Solve -2*x - 4*x + m = 0 for x.
3
Let d = 1154 - 1152. Solve 0 = -4*p - d*p for p.
0
Suppose 18 = 42*n + 18. Solve n = -t - 61 + 65 for t.
4
Suppose j = 3*r - 4*r + 38, 5*r = -3*j + 110. Suppose l + 2 = d, -2*l + j = 4*d + 2*l. Suppose 2*t + n - 3 = 0, -2*t + d = -2*n - 0*n. Solve t*f = -4 - 4 for f.
-4
Suppose 2*w + 17 = 4*g - 51, 4*w = g - 31. Solve 3*d + 27 = g for d.
-4
Let y(g) = -g + 1. Let k be y(-2). Suppose -6 = -4*b - k*q, -4*b = b - 3*q + 6. Suppose -4*t + 10 + b = -r, -4*t + 12 = 0. Solve o = 3 - r for o.
1
Let z = 1 - -3. Let l = 55 + -51. Let d = l - z. Solve d*y - 6 = -2*y for y.
3
Let j be (-9)/4*(-112)/42. Solve 0*x = j*x - 12 for x.
2
Suppose -3*r - 42 = -9*r. Suppose -3*x = k + 4, 4*k - 30 = k + 5*x. Suppose s - 6*g - 2 = -k*g, g + 2 = 2*s. Solve s = j + 2 - r for j.
5
Suppose -m - 14 = r, -m + 95 - 19 = -5*r. Let f(g) = -g**2 - 15*g + 2. Let i be f(r). Suppose 2*n = -2*n + 8. Solve -n*h + i = -h for h.
2
Let o(l) = -4*l**2 - 88*l + 4. Let c be o(-22). Solve u = 2*u - c for u.
4
Let h be 4 - -1 - (0 - -1). Let u = -33 - -46. Suppose -f - 4*q + 3 = -6, -3*f - q = -5. Solve h*g - f = -u for g.
-3
Let j(f) = -22*f - 20. Let v be j(-1). Solve 0 = -v*x - 2*x - 4 for x.
-1
Suppose 13 = 3*x - 2. Suppose -x*g - 2*c - 344 = 0, g - 2*c + 25 = -51. Let o be 6/14 + (-1370)/g. Solve -o = -4*z - 4 for z.
4
Let o be -17*(-7 - -1 - -5). Solve o - 5 = 3*p for p.
4
Let i = 6 + -4. Let k(x) = 9 + x - 6*x + 6*x + x**i. Let q be k(0). Solve 0 = 5*s - q - 6 for s.
3
Let y be 2/(-20)*-4 - (-27)/45. Solve -5*j + 11 = y for j.
2
Let o be (-1188)/(-24) + 2/(-4). Let a = o + -29. Solve -4*u = u - a for u.
4
Let u(n) = 2*n**3 + 17*n**2 + 8*n + 6. Let d be u(-8)