. Let o be h(-7). Solve -v - o*v = u for v.
-2
Suppose -3*l - 12 = o - 4, 3*o - 3*l + 24 = 0. Let c be (-2)/o + 3/(-12). Solve c = -4*r - 5 - 3 for r.
-2
Let b be (120/(-5))/(-2) - -2. Suppose -3*y - 3*s = 9, 5*y + 4*s + b - 3 = 0. Solve 0 = j + y for j.
-1
Let d(j) = -4*j**3 - 6*j**3 + 7*j**3 + 4*j - 12 - 5*j**2 + 2*j**3. Let r be d(-6). Solve r*q = -5*q for q.
0
Suppose 86 = 13*u - 369. Solve -39*s = -u*s - 20 for s.
5
Let x be 18 + -8 + (-5 - 4). Let n(a) = 4*a**2 - a + 1. Let t be n(1). Solve -x + 13 = t*w for w.
3
Let b be 40/(-16)*12/(-10). Let w(n) = -n + 1. Let y(x) = 15*x - 15. Let m(h) = 12*w(h) + y(h). Let p be m(b). Solve -k + p = k for k.
3
Let g(a) = -10 + 11*a + 3 + a**2 + 0*a**2. Let x be g(-12). Suppose s - 4*v = x, -v = -3*s - 8 + 34. Solve 4*u - 29 = -s for u.
5
Suppose 22 - 64 = -5*n - 3*a, -3*n + 5*a = 2. Suppose w + 2*w = n. Solve 0 = -b - w*b for b.
0
Suppose 478*q = 469*q + 18. Solve q*o + 24 = -4*o for o.
-4
Let o = 1330 + -1309. Let z = 11 - 7. Solve z = -5*a - o for a.
-5
Suppose 0 = 3*u - 6*u + 3. Let w be (u - 1)/(1 + -3). Suppose 8 = 4*r - w. Solve r = k - 0*k for k.
2
Let c(r) = 6*r + 20. Let m be c(6). Let d be (-14)/m - (-18)/8. Suppose 5 = d*u + 3. Solve -3*k = -u - 2 for k.
1
Let w be (-1 + (-1)/(-2))/((-4)/56). Solve -x = w*x for x.
0
Suppose 3*p - 29 = 3*b - 5, -50 = -5*p + 3*b. Suppose -p = -5*y - 0*t - 4*t, -3*y + 21 = -2*t. Solve y*m = m - 4 for m.
-1
Suppose 6*s + 360 = 10*s. Suppose 3*u + 2*u = -2*g - 81, 0 = 5*u + 5*g + s. Let v = u - -22. Solve 0 = -v*x + 4*x + 12 for x.
4
Let j(u) = -3*u - 19. Let h = 262 + -187. Let i be (-15)/h + (-39)/5. Let p be j(i). Solve -p*l - 5 = -0 for l.
-1
Let o = -6 + 9. Suppose 18 - 54 = o*n. Let l be ((-2)/6)/(2/n). Solve -g - l*g = 0 for g.
0
Let w(g) = g**3 + 6*g**2 + 4*g - 1. Suppose 0 = 3*b - 9 - 6. Suppose 2*p = -2*p - 8, 0 = 3*t - b*p + 5. Let n be w(t). Solve -n*q - 7 = -27 for q.
5
Let s(a) = a**2 + 6*a + 17. Let n be s(-7). Let c be (n/32)/(1/4). Solve c*g = -0*g + 6 for g.
2
Suppose 0 = 17*f + 17*f - 34. Suppose 8*a - 32 = -0. Suppose -r = 3*i + r - 3, 3*r = -3*i. Solve i + f = a*w for w.
1
Let i = -72 + 69. Let c be -4*i*4/12. Solve c*k - 3*k = -2 for k.
-2
Let b(y) = 4 + y**3 - 2 + 0*y**3. Let r be b(0). Suppose -22*j + 13*j + 135 = 0. Solve -r*p = p - j for p.
5
Let p(m) = -3*m**2 - 26*m - 33. Let z be p(-7). Solve z*i - 11*i = -9 for i.
1
Let b be (-608)/(-14) - (-3)/(-7). Solve 9*k = -16 + b for k.
3
Let c(d) = 2*d**2 - 4*d + 2. Let r be c(2). Let z = -2 + r. Suppose l - 6*l = -10. Solve -l*v + z - 4 = 0 for v.
-2
Let j(d) = -d**3 + 14*d**2 - 12*d - 3. Let z be j(13). Suppose 2*i + 5*t - 26 = 0, -i = -2*i - t + z. Let x = -8 + i. Solve 0 = -x*f + f - 1 for f.
1
Suppose 3*k - 10 = -3*j - k, 3*j - 5*k - 28 = 0. Let n(w) = -2*w + 14. Let u be n(j). Solve -5 = 3*l - u for l.
-1
Suppose 0 = 11*a - 15*a + 12. Let t be 0*a/(-13 - -4). Let x(h) = h - 4. Let w be x(4). Solve t = -w*f + f for f.
0
Suppose -2*a = u - 14, u + 2*a = -u + 24. Suppose -u - 8 = -3*t. Solve b - t = -b for b.
3
Let h(y) be the third derivative of y**4/24 + 13*y**3/6 + y**2. Suppose 0 = -z - 6 + 1. Let o be h(z). Solve 3*l = l + o for l.
4
Suppose -5*s = -f - 18, 0 = 4*s - 2*s - 2*f - 12. Solve 8*d + s = 11*d for d.
1
Let m(p) = -23*p - 640. Let t be m(-28). Solve -2*f + 4 = -t for f.
4
Let g be 0/(4/(3 - -1)). Suppose -6*c + c - 5*m + 85 = g, -m = 4*c - 62. Let j be c/2 + (-2)/(-4). Solve 3*p = j - 2 for p.
2
Let v = 272 + -251. Solve 12 = -25*w + v*w for w.
-3
Let m be -1*0/7*1. Solve -10*t + m = 30 for t.
-3
Let f(g) = 140*g - 38 - 282*g + 137*g. Let p be f(-8). Solve 0*q = p*q - 8 for q.
4
Suppose 2*v = -7*i + 3*i + 40, i - 2*v = 15. Solve 52 = -i*s - 2*s for s.
-4
Let s be (-8)/12 + (-62)/6. Let n = -11 - s. Solve n = -4*k + 2 + 6 for k.
2
Let h be (20/70)/((-1)/(-7)). Let l(j) = -1 + 1 + h*j**2 - 2 - 4*j. Let z be l(4). Solve 0 = -5*m + z + 11 for m.
5
Let o be -1 + (10 - 1 - 4). Suppose -o*g = a - 11 - 11, -g + 5*a - 5 = 0. Suppose 2*y = 5*y. Solve d + y = g for d.
5
Let n(o) = o**2 - 6*o. Let w be n(6). Suppose w = 4*q - g - 3, 5*q + 0*g - 15 = -g. Solve -q = 4*l - 14 for l.
3
Suppose s - 5 = -2. Let t(x) = 3*x - 4. Let h be t(s). Suppose h*o = 23 - 8. Solve -o - 9 = -3*g for g.
4
Let y(w) be the first derivative of -w**4/4 - 2*w**3 - w**2 - 3*w - 2. Let f be y(-5). Let x = -12 - f. Solve -x*g = -3*g for g.
0
Let f = 67 + -64. Solve -f = 2*q + 1 for q.
-2
Suppose 9*r = 3*r. Solve -3*y - 3*y - 12 = r for y.
-2
Let o = 28 - 27. Let y be o*(3 + -7 + 4). Solve -3*m - 15 = -y*m for m.
-5
Let o(n) = 3*n - 6. Let v be o(6). Let a be (-14)/(-10) - 48/(-80). Solve v = -a*y - y for y.
-4
Let l = 2 + 0. Let j = 3 - l. Let c = -128 + 132. Solve -c*o - j = -17 for o.
4
Let a(w) = -w**2 - 4*w - 1. Let j be a(-3). Suppose 0 = -3*d + j*m + 56, -3*m = 5*d - 9 - 59. Suppose -c = 5, 2*v + 3*c = 5*v - 30. Solve -v*b - d = -6 for b.
-2
Let v be (27 - 27) + (-45)/((-1)/1). Suppose 0 = -3*t - t - m + v, 20 = 3*t - 2*m. Solve -4*y - t = y for y.
-2
Suppose 2*v - 5*b + 19 = 0, -v + 2*b = -2*b + 14. Let j be (2 - v)*2 - -2. Suppose -5*r + j + 13 = -u, 5*u = r + 5. Solve -u*n - 2*n + 4 = 0 for n.
1
Let w(o) = 37*o**2 + 5*o + 3. Let r be w(-1). Let n = r - 35. Let h = -4 - -7. Solve n = -q + h*q for q.
0
Let a = -805 - -811. Solve 48 = -22*g + a*g for g.
-3
Suppose 3*z - 16 = n, 4 = -4*z + n + 25. Suppose z*x = x - 2*l + 46, 5*x - 40 = l. Solve -15 = -x*q + 4*q for q.
3
Let z be (-6)/9*(-5 - -2). Solve z*i - 12 = -6 for i.
3
Let u(j) = -j**3 + 6*j**2 + 12*j + 32. Let t be u(8). Solve 4*c - 10*c + 24 = t for c.
4
Suppose 3*q = 5*x + 25, 0*x + 23 = 3*q - 4*x. Let u = q + -5. Solve u = r - 3*r - 10 for r.
-5
Suppose -5*x + 9 = 9. Let s(t) = t**2 + 8*t + 7. Let y be s(-7). Suppose 2*i = 4*c + 3 - 9, -5*i + 5*c = y. Solve a + i + 1 = x for a.
-4
Let a(d) = -d**3 + 24*d**2 - 2*d + 57. Let j be a(24). Solve j = 5*i - 8*i for i.
-3
Let p = 3 + 0. Let z be -1 - 0 - (2 + -7). Solve -z = -d - p*d for d.
1
Suppose 4*i = -4*q + 780 + 120, 0 = 3*q + 5*i - 681. Solve 3*r - 207 = -q for r.
-5
Let s = -1035 - -1046. Solve -s*g - 43 = 12 for g.
-5
Suppose 0 = 3*y - 0*y - 18. Let s(t) = -t**3 + 5*t**2 + 7*t - 1. Let n be s(y). Suppose 8 = n*u + 3. Solve -u + 3 = -j for j.
-2
Suppose 4*j - 16 = -4. Solve j = -2*v + 11 for v.
4
Suppose 5*u = -5*r + 230, 3*u - 164 = -4*r + 4*u. Suppose -2*x - 3*d = -0*d + r, -3*x = -3*d + 48. Let h be (-2)/11 - x/99. Solve f = 1 - h for f.
1
Let z(c) = -c**2 - 3*c + 6. Let o be z(0). Let t be (-14)/(-6) - o/18. Suppose -2*v + 0 + t = 0. Solve -y + v = 4 for y.
-3
Let a be (3/(-3))/(5 + -4) - 28. Suppose -5*f + 3*f = 62. Let o = a - f. Solve t + 2 = -o for t.
-4
Let t(w) = -15*w - 21*w - 26*w + 58*w - 4. Let b = 4 + -6. Let z be t(b). Solve 3*k - 4*k = -z for k.
4
Let a = 65 - 86. Let i be (-12)/a - 304/(-56). Solve i*b = 5*b + 2 for b.
2
Suppose 2*s + 25 = 7*s. Suppose 2*t - s*i = -77, 33 = -2*t + t - 3*i. Let c = 40 + t. Solve 2*q - 6*q = -c for q.
1
Let t(c) = 2*c**3 + 21*c**2 + 10*c + 4. Let k be t(-10). Solve k*m = -3*m + 21 for m.
3
Let o(u) = -u**3 - 15*u**2 + 24*u + 135. Let v be o(-16). Solve 0 = -3*t + 5*t - v*t for t.
0
Let z be (-125)/(-50)*1*2. Solve 6 = -z*j - 19 for j.
-5
Let b be (16875/300)/(1/4). Solve b*i - 8 = 229*i for i.
-2
Let m(k) be the third derivative of -7*k**4/24 - 5*k**3/3 + 2*k**2. Let p be m(-2). Suppose 3*g + r - 84 = -19, 115 = 5*g + 3*r. Solve -p*u - u = g for u.
-4
Suppose -14*z + 11*z - 57 = 0. Let y = -56 - -39. Let s = y - z. Solve s*j + 6 = -0 for j.
-3
Suppose h - 12*f - 19 = -9*f, 0 = -3*h - 5*f + 1. Solve h*i - 10*i + 15 = 0 for i.
5
Suppose 4*y = 5*q - 55 + 5, q + y = 1. Let x be q/3*-1*-2. Suppose 2*w - 2 = -x*i, 2*i - 13 = -3*i + w. Solve t + 0 = i for t.
2
Let r(l) = 2*l**2 + 19. Let f be r(0). Let q = 24 - f. Solve q*a + 0*a + 10 = 0 for a.
-2
Let d(u) = u + 5. Let t be d(1). Solve 5*h = -h + t for h.
1
Let p(l) = -2*l**3 + 5*l**2 - 5. Let n be p(3). Let s be 6/n + 155/35. Solve s = 5*g + 24 for g.
-4
Let h be 14/6*21/7. Let t be (12/(-3) - -3)*-13. Solve -4*n = -h - t for n.
5
Let c = 29 - 27. Suppose -2*m - 2*u - 8 = 2*u, 0 = c*m - 2*u - 16. Solve w = -0*w - m for w.
-4
Let l = 307 + -305. Solve 8*z + 30 = l*z for z.
-5
Suppose -350*t = -346*t