lve l*w = 7*w + a for w.
-5
Let j = 164 - 164. Solve -5*m + 8 - 33 = j for m.
-5
Let r = -25 - -10. Let a be (-1)/(1 - r/(-12)). Suppose 0 = -5*y - 3*b + 12, -2*y + 5*b - 1 = -a*y. Solve -y*g = 12 - 0 for g.
-4
Let i(z) = z**2 - 4*z - 2. Let c be (-6)/(-4) + (-28)/(-8). Let r be i(c). Suppose r*x - 18 + 3 = g, -3*g - 13 = -x. Solve w - x = -0 for w.
4
Suppose -2*a - 7 = -13. Let p be (-5)/(-20) + 3/4. Let c be (p + -4)*-1 + a. Solve -c = -5*h + 4 for h.
2
Let b = -632 - -647. Let j = 12 + -10. Solve -3*z = j*z + b for z.
-3
Suppose -11*l = -12*l + 56. Suppose -54 + l = o. Solve -o*z = -5*z for z.
0
Let r(q) = 4*q + 4. Let f be r(0). Suppose -3*n = 4*v - 5, -f = -5*v + v - 4*n. Solve v*s + 3*s = 0 for s.
0
Let c(a) = -15*a + 504. Let q be c(33). Solve -14*f + q*f = -10*f for f.
0
Let y(j) = -3*j + 12. Let s be -1 + -2 - (-4 - 3). Let c be y(s). Solve -o = -c*o + 1 for o.
-1
Let v(w) = w**2 + 2*w + 15. Let f be v(0). Suppose -f = 3*x, c - 6*x + 2*x - 25 = 0. Solve -c = -2*t + 1 for t.
3
Let l = 10 + -7. Suppose l = k - 10. Let p(z) = -z - 9. Let m be p(-9). Solve 4*y - k + 1 = m for y.
3
Let x(z) = z**3 - 4*z**2 + 5*z - 3. Let i be x(3). Let m be -2 - (4 - (i - 1)). Let p = -2 - m. Solve -2 = p*k - 0 for k.
-1
Suppose 3*u - 25 = 5*a, 2*u = 3*a + 10 + 6. Suppose 3*p - 3*z - 10 = 8, -2*z = -u*p + 45. Let d = p + -8. Solve 0 = d*v + 2*v + 25 for v.
-5
Let b = 241 + -239. Solve -7*v = -b*v + 25 for v.
-5
Let z(c) = -c - 18. Let s be z(-9). Let t be (3/s - -1) + (-4)/6. Solve 0 = -3*v - t*v - 9 for v.
-3
Let j be -2*(-2)/(4/(-2)) + 5. Solve -2*b + j + 1 = 0 for b.
2
Suppose -r - 3*r - 15 = -3*d, -5*d = r - 25. Let f(z) = -z**2 + 15*z + 131. Let g be f(21). Solve -y + g = -r*y for y.
5
Let y(x) = 3*x**3 + 4*x**2 + 3. Let u(c) = 4*c**3 + 5*c**2 + c + 4. Let v(h) = 2*u(h) - 3*y(h). Let d be v(-3). Solve -d*i = -2 - 8 for i.
5
Let v(r) = -r**2 + 7*r - 5. Let i be v(5). Suppose -i*z = 4*d - 15, 3*d - 19 = -2*z - 6. Suppose 2*s - s - 29 = 5*g, 5*g = -5*s - d. Solve s = h + 3 for h.
1
Suppose -4*h = -b - 5, -2*b + 7*b - 19 = -2*h. Let r be 1 + 52/4 + -2. Let a be r/(-6)*(-1 - 0). Solve -h*u = a + 2 for u.
-2
Let x(h) = h**2 - 9*h + 10. Let v be x(8). Suppose -2 = f - v*f. Suppose 41*q - 56 = 26. Solve -8 = f*c + q*c for c.
-2
Let i = 85 - 81. Solve 6*p - i*p = 6 for p.
3
Let b(t) = -5 + t - 2 - 2 - 3. Let z be b(14). Solve 2*o - 10 = -z for o.
4
Let t be (-7)/91 - (-135)/65. Solve r = -t - 0 for r.
-2
Let y be (-4)/(-2) - ((-56)/(-7) + -6). Solve y = -27*x + 23*x for x.
0
Let r be 16 + -12 - 3*1. Suppose -r = -u - 0*u. Solve -x + u = -4 for x.
5
Let i(m) = 8*m - 14. Let n be i(6). Suppose -5*z - 6 = n. Let g be (0 - 4)*6/z. Solve -g*a - 2 = 4 for a.
-2
Let q = -358 + 371. Solve 17*r - q*r = -20 for r.
-5
Let c(j) = j**3 + 10*j**2 + 7*j - 8. Let o be c(-9). Suppose 35 = 5*r + o. Solve 0 = -r*b - 5 - 0 for b.
-1
Let n = 39 - 58. Let b = -1 - n. Suppose -l - 3*y + b = 0, 2*l - 28 = l - 5*y. Solve 0 = l*c + 10 + 2 for c.
-4
Suppose -4*m + 5*g - 4 = 0, m - 3 = -4*g + 17. Solve 0 = -3*r + m*r - 4 for r.
4
Let y = 183 + -177. Solve 3*q - y = 5*q for q.
-3
Let h(x) = 11*x**2 + 3*x - 9. Let o(m) = 4*m**2 + m - 3. Let g(t) = -3*h(t) + 8*o(t). Let y be 4/(-10) + 6/15. Let v be g(y). Solve -v*z = z for z.
0
Suppose -3*w + 3*k + 6 = 0, -3*k = -23*w + 24*w - 2. Solve 4*t - 24 = -w*t for t.
4
Suppose 2*r = 6 - 2. Suppose 12 = -4*t + 6*t. Suppose -r*c = c - t. Solve 3 - c = -a for a.
-1
Suppose -34*c + 78 = -31*c. Solve -4*g + 10 = c for g.
-4
Let u be 7 + (-2 - (-6)/(-3)). Let f(m) = -m**3 + 5*m**2 - 4*m. Let c be f(u). Suppose -2*a + 4*a = c. Solve -q + a = 1 for q.
2
Suppose 4*x + 240 = x. Let f be (2/4)/((-8)/x). Solve 0*s - f = -5*s for s.
1
Let m(b) = -b**2 - 3*b + 5. Let a be m(0). Suppose -14 - 6 = -a*y. Solve -y = -2*t - 2 for t.
1
Let r(m) = -2*m**3 - 12*m**2 + 2*m + 14. Let i be r(-6). Suppose -4*s + f + 6 = -2*f, i*s = -2*f + 10. Solve s = -z - 2 for z.
-5
Let v(z) = 2*z**2 - 5*z + 3. Let o be v(4). Suppose 3*q - o = -6. Solve q*p - 5*p + 4 = 0 for p.
2
Let m(c) = 1 - 3*c**2 - 1 + c + c**3 - 3. Let h be m(3). Let q be 335/(-134)*24/(-10). Solve -7*o + q*o + 3 = h for o.
3
Suppose 0 = -n + b + 24, n + 4*b - 6*b - 22 = 0. Let z = -24 + n. Let v(f) = 2*f - 2. Let p be v(z). Solve -2 - 2 = p*c for c.
-2
Suppose 0 = 3*j + 2*b + 14 - 24, -5*b = -3*j - 4. Solve -2 = j*i - 8 for i.
3
Let f(q) = 45*q + 866. Let v be f(-19). Solve -v*y = -17*y + 18 for y.
3
Let g(v) = -v**3 + 8*v**2 - 11*v - 7. Let i be g(5). Suppose -8*x - 20 = -i*x. Solve 4 = -5*h + x*h for h.
-4
Suppose 81 = 13*f - 36. Solve -f*r + 13*r = 4 for r.
1
Suppose 28 = -2*f - 3*h + 90, -130 = -5*f + 5*h. Let b = f - 28. Suppose -6*x - x + 14 = b. Solve -5 = -x*r + 5 for r.
5
Suppose 590 = 7*a - 47. Let g = -85 + a. Let x = 9 + -7. Solve -g - 2 = x*i for i.
-4
Let t be ((-1)/1)/((-2)/26). Suppose q - 3*u - t = 0, q + 14 = -q - 4*u. Suppose 0 = -22*f + 51 - 7. Solve -q = f*r - 3 for r.
1
Suppose -18*f = -32*f + 28. Solve 4 = -f*g - 4 for g.
-4
Suppose 5*q - i - 14 = 0, -3 = -4*q - 3*i - 7. Solve -3 = -q*l - l for l.
1
Let l(m) = -m - 3. Let y(z) = -z**2 - z - 1. Let a be y(-2). Let u be l(a). Let h be 6 - (u/(-2) + -4). Solve 0 = -4*r - h + 2 for r.
-2
Let k = -65 + 67. Let n be 6 + 0/k + -4. Solve 3 = -n*d - 5 for d.
-4
Suppose i - 82 = -i. Solve -3*w + 56 - i = 0 for w.
5
Let d = 17 - 5. Suppose 2*w = -2*w + d. Suppose 0*k = -3*k + 6. Solve k*z = w*z for z.
0
Let r = 46 + -67. Let v = 21 - r. Suppose -v - 8 = -5*k. Solve u - 6*u = -k for u.
2
Let p(x) = -x**2 - 28*x - 89. Let k be p(-24). Solve 12 = -4*n + k*n for n.
4
Suppose s = -4*w + 15, -2*s - 2*w + 18 = 2*w. Suppose j + b = 11, 0 = 4*j - 33*b + 30*b - 9. Solve 5*u = s*u + j for u.
3
Suppose 3*b - 9 = 0, -2*k - b = 3*k - 28. Suppose -10 = j - 30. Suppose -4 = 4*y, 3*z - k*y + 3*y - j = 0. Solve -c = c + z for c.
-3
Suppose 0 = -4*x + 6*x - 6. Let j(c) = -1 + x*c + 4 - 1 - c**3 + 0*c**3 + 2*c**2. Let k be j(3). Solve k*f - 1 = 5 for f.
3
Let g be (-10 - (-3 + 3))*2/(-5). Suppose 26 = 5*p - 2*d + 4*d, d = -p + g. Solve w + p = -2*w for w.
-2
Let u(r) = -r**2 + 7*r - 7. Let x be ((-8)/(-5))/(4/10). Let f be u(x). Solve f*z + 5 = -10 for z.
-3
Let h(z) = z + 3. Let g be h(2). Let a be (-2)/6 - 31/(-3). Suppose a + 0 = g*i. Solve -7 = i*w + 1 for w.
-4
Suppose 3*p = 3*j, -4*j = -8*j - 3*p - 28. Let n(t) = -t**2 - 4*t + 3. Let h be n(j). Solve -h*s - 1 = 2 for s.
-1
Suppose 0 = -35*a - 12*a. Solve a = 5*z - 12*z - 35 for z.
-5
Let y = -93 + 101. Suppose -4*w + 2*w - 4*t = 4, -5*w - t = -y. Solve w*k = -9 - 1 for k.
-5
Let w(m) = 14*m + 70. Let n be w(-5). Solve i = -n*i + 4 for i.
4
Let q(x) = x**3 - 7*x**2 + 15*x - 25. Let w be q(5). Solve 16*p + w = -0 for p.
0
Let z be -3*2*1/(-3). Let t be 6 + (-3)/3*z. Let l be 6 + (-1)/1 + (-780)/260. Solve -l + t = 2*p for p.
1
Let y(m) = -3*m + 42. Let u be y(5). Solve 6*p = -u - 3 for p.
-5
Let v be 1 + -1 - 0/(-1). Let g be (0 + v)/(-1 - -2). Suppose 114*t - 118*t + 62 = 2*y, 4*y + 71 = 5*t. Solve -5*x + g*x + t = 0 for x.
3
Let o = -6 - -9. Let g be 0*7*11/(-77). Solve g = -p + 2 + o for p.
5
Let j be (-10)/6 + (-85)/(-51). Solve j = -2*a + a - 4 for a.
-4
Suppose -10*o + 352 = 6*o. Solve -o*g - 56 = -8*g for g.
-4
Let c(h) = -23*h**3 + h - 1. Let a be c(2). Let u be a/24*-2 + (-3)/12. Solve v + u = 6*v for v.
3
Let q = 145 - 140. Let w(z) = z**3 - z**2 - 2*z + 3. Suppose 0 = -y - 2*p - 1 + 5, 0 = 5*p - 5. Let i be w(y). Solve -i*b = -q*b - 10 for b.
-5
Suppose 5*q - 3*j = -10, -4*q + 4*j - 2*j = 6. Let o be q/((-3)/4 + 1). Solve o*i = -4 - 8 for i.
-3
Suppose 198 + 37 = -5*d. Let p = -43 - d. Solve -4 - 8 = p*s for s.
-3
Let k = -129 - -137. Solve 0 = -k*q + 4*q - 4 for q.
-1
Let u = 2 - -3. Suppose b - 3*o - 13 = 0, 0 = u*b - 3*o - 27 - 2. Suppose 2*p + b*n - 22 + 4 = 0, -5*n = -15. Solve -p*j = j for j.
0
Let j(k) = -k**2 + 38*k + 33. Let q be j(38). Solve 4*d + q = 17 for d.
-4
Let l(o) = 2*o**2 + 7*o - 1. Let j be l(-4). Suppose -24 = -0*d - j*d. Suppose 0 = b - 3*b + d. Solve -b = 4*w - 8 for w.
1
Let r(n) be the second derivative of -n**5/20 - n**4/6 - 2*n**3/3 - 9*n**2/2 - 11*n. Let y be r(-3). Solve 0 = -6*x + 2*x + y for x.
3
Let a be 88/9 - (-94)/423. Solve -u - 15 = -a for u.
-5
Let r = 0 - 11. Let