*2 + 58*o + 8. Let p be t(18). Solve 3*v = -74 + p for v.
2
Suppose 8*i - 655 = -631. Solve -12 = i*v - 6*v for v.
4
Let v be (-5 - 152/(-40))/((-3)/15). Solve -39 = -9*w + v for w.
5
Let r(g) = g**3 - 4*g**2 - 5. Suppose -2*b + 0 = 2*c - 2, 0 = 2*c + 8. Let l be r(b). Suppose 2*m + 12 = 4*m. Solve 2*z - l = m*z for z.
-5
Let u = 26 + -38. Let p = u - -14. Solve -4*n - p = -5*n for n.
2
Let h = 43 + -63. Let u be ((-8)/h)/(1/5). Let q be ((-30)/(-25))/(2/5). Solve 0 = q*d - u*d for d.
0
Let h(p) be the third derivative of p**4/4 - p**3 + 4*p**2. Let o be h(2). Solve o*k = 2*k + 4 for k.
1
Suppose -2*b = 17 - 57. Suppose 0 = -2*a + 6, -5*h = a + 2 - b. Solve -q = h - 4 for q.
1
Suppose -2*v + 56 - 4 = 0. Let h = -367 - -345. Let l = h + v. Solve -10 = -q - l*q for q.
2
Suppose -11 = 2*r - 5. Let g be (r - -1)/(7/(-35)). Solve 0 = 6*m - m - g for m.
2
Let i be (6/(-21))/((-3)/42). Let y be 1*(-3)/(-1 - 2). Suppose 3*c + i = 2*a, -a + 1 = -y. Solve c = -0*z - 4*z - 8 for z.
-2
Let c(v) = v**2 - 43*v + 289. Let k be c(35). Solve -8 = -k*g + 10 for g.
2
Suppose 0 = -5*i - 12 + 32. Suppose 0 = -i*w + 20, -u = 2*w - 0*w + 8. Let b = u + 18. Solve b = -3*t - 7 + 1 for t.
-2
Let i be 6/8 - (-42)/8. Let x(m) = 5*m + 0*m**2 - m**3 - 1 - 3*m**2 + i*m**2. Let c be x(4). Solve -r = c*r for r.
0
Let i = -34 - -36. Suppose o = d + i, 0 = o - 3*d - 2*d + 6. Solve w = o*w for w.
0
Suppose 2*m - 8 = -2*d, 0*m = -3*d - m + 4. Suppose -5*v + 4*i + 1 - 4 = d, -2*i = v - 5. Solve 0 = -5*n + 9 + v for n.
2
Let c = 24 - 52. Let n = 39 + c. Let w(r) = r + 5. Let u be w(n). Solve -4*d + 0 = u for d.
-4
Let n(k) = -k + 13. Suppose 0 = -107*u + 105*u + 4. Let a be n(u). Solve 8*q - a*q = 0 for q.
0
Suppose b - 69 = -0*b - 3*p, 0 = 2*p - 2. Suppose 11*y - b = -22. Solve 0*n - 2*n = y for n.
-2
Let z(l) = 2*l**2 - 5*l + 6. Let c be z(3). Suppose -12 = -4*d - 0*b + b, -3*d - b = -16. Solve -d*a = -7*a - c for a.
-3
Suppose -2*x + 4*z = 1 - 55, -3*z + 9 = 0. Solve p - x = -29 for p.
4
Let b(g) = -3*g + 1. Let t be b(5). Let w = t + 18. Solve 0*k + 4 = -w*k for k.
-1
Let y = 14 - 14. Suppose 24*x - 23*x - 3 = y. Let u be ((-14)/4)/(4/(-8)). Solve -x*p - 2 = u for p.
-3
Let r be (-4)/(-1) - (-11 - 2). Suppose -2*h + 5 = -h - d, 4*h - 3*d = r. Solve -3*x - 2 = -h*x for x.
-2
Suppose -5*u + 2*u - 3 = 0. Let p = 12 + -15. Let t be u/((p - -6)/(-3)). Solve i + t = -4 for i.
-5
Let y = -9 - -42. Let d = 39 - y. Solve -d = h - 1 for h.
-5
Suppose -2*y = -6*y + z + 183, 0 = 4*y - 4*z - 180. Suppose d - 5*d = -b - y, 3*d + 108 = -4*b. Let s be (b/(-40))/(1/4). Solve -h = -s + 4 for h.
-1
Suppose -d - 170 - 79 = -5*j, -3*d + 233 = 5*j. Let m = j + -35. Let y be 4*(3 - m/8). Solve 12 = 2*a - y*a for a.
-4
Let i(a) = -9*a + 2. Let v be i(-1). Suppose v*r - 9 = 8*r. Suppose c = -3*d, -r*d + 6 = 2*c + c. Solve -5*b + 28 = c for b.
5
Suppose -h + 28 = 2*v + 10, 4*v + 74 = 3*h. Let a = -20 + h. Solve 0 = -a*i + i for i.
0
Let q = 1991 - 1991. Solve q = 12*m + 15*m - 135 for m.
5
Let w = 14 + -6. Let d(r) = r**3 + 5*r**2 + r + 8. Let p be d(-5). Solve -1 = -p*h + w for h.
3
Suppose -5 + 1 = 2*p. Let n be 0/(p/(0 + 1)). Suppose 3*q - 7 - 8 = n. Solve 0*d + q*d = 25 for d.
5
Let z = 8 - 26. Let h = -15 - z. Solve -s + h = -0 for s.
3
Suppose 24*s - 35 - 13 = 0. Solve 0 = s*q - 3 - 3 for q.
3
Suppose 38 = -5*l + 218. Let q = l - 33. Solve -v = q*v for v.
0
Suppose -d + 0 = 4. Let q be ((3 - 6) + 20/8)*d. Solve -q*o - 8 = -4*o for o.
4
Suppose -3*r + 39 = 5*s - 37, 3*s - r - 40 = 0. Suppose 6*z - s = 4*z. Solve -m + z = 2 for m.
5
Suppose 2*a - 18 = -o, o + 4*a - 27 = -a. Suppose m = 5*m + 12, -4*m = -5*j + o. Solve 5*v + 25 - 5 = j for v.
-4
Let k(c) be the first derivative of -c**4/4 - 7*c**3/3 + 5*c - 6. Let n be k(-7). Suppose -5*f + 0*f = 5*i, 2*i = -4*f + 6. Solve 1 = f*o - n for o.
2
Let g(r) = -2*r**2 - 5*r + 3. Let z be g(-6). Let d = z + 59. Solve -4*b = -0*b - d for b.
5
Suppose -36 = -11*x + 5*x. Suppose -4*b - j = -62, x = b + 5*j - 19. Solve 0 = -5*f + 2*f - b for f.
-5
Let t = -429 - -429. Solve -2*n = -10 - t for n.
5
Let y be (0/6 + -7)*26/(-14). Solve -9*x + y + 14 = 0 for x.
3
Let n be 9/(-2)*(-434)/279 + 3. Solve 40*c = 38*c + n for c.
5
Suppose 0 = 5*t + 2*i - 12, 3*t + t - 4*i = 32. Suppose 2*w = -s - 0*s - t, 3*s = 3*w + 15. Solve 1 = -z - s for z.
-3
Suppose 13*w = -22 + 100. Suppose -9*z = -7*z - w. Solve -j + 2 = -z*j for j.
-1
Suppose 53*n = -237 + 449. Suppose -l - 12 = -5*t + t, 2*t + 3*l - 6 = 0. Solve -b = -n*b + t for b.
1
Suppose -4*n = -29 - 11. Let l be ((-10)/8)/(2/(-8)). Suppose 2*j = -j + 5*j. Solve l*p = n - j for p.
2
Suppose 4*k + h - 44 = 0, -k - 3*h - 2 + 13 = 0. Let u(b) = -6*b**2 - 8 + 0*b**3 + 17*b**2 + b - b**3. Let x be u(k). Solve w + 0*w = -x for w.
-3
Let v = -601 - -611. Solve -s - v = -9 for s.
-1
Let i = 52 + -89. Let m = 39 + i. Solve 4*r - 10 + m = 0 for r.
2
Let l(y) = y - 25. Let k be l(25). Solve -9*q + 7*q = k for q.
0
Suppose 3*t - u - 2 + 3 = 0, -3*t - 2*u + 11 = 0. Let i be (t + -1)*3/(-6). Solve -5*f + 2*f = i for f.
0
Let u = -6 - -17. Suppose 0 = -u*b + 9*b. Solve b = -4*j - 0*j + 12 for j.
3
Suppose -4*l + 830 = l. Suppose 0 = 5*c - 4*b - l, -3*c - 2 = 2*b - 84. Let i = c - 26. Solve -g - i*g + 20 = 0 for g.
4
Let j(u) = 2*u**2 - 7*u + 5. Let y be j(3). Let l = -1 - -3. Solve -y + 12 = -l*r for r.
-5
Suppose -9*f = 12*f - 105. Solve f*m + 10 = -0 for m.
-2
Let x(n) = -n**3 + 5*n**2 + 6*n. Let l be x(6). Let m(h) = -h**2 - 5*h - 1. Let q = 7 - 9. Let w be m(q). Solve -b - w = -l*b for b.
-5
Suppose -2*g + 5*j + 41 = -4*g, 0 = 2*g - 2*j + 62. Let l be (-8)/g + (-3 - (-412)/28). Solve -3*s + l = 3 for s.
3
Suppose x - 29 = -25. Let d(i) = i**3 - 9*i**2 + 11*i - 24. Let k be d(8). Solve k*t - x = -t for t.
4
Suppose 0 = -4*h + 7*h - 9. Let j be (0 - 1)/(h/(-21)). Solve -3*c - 4 = -j*c for c.
1
Let r = -2433 - -2445. Solve 75*h - r = 81*h for h.
-2
Suppose -16 = 4*b - 40. Suppose 0 = -b*h + 7*h. Let s be (-1 + 0)*(0 + h). Solve -y = -s*y + 5 for y.
-5
Suppose 0 = 5*t - 28 + 13. Suppose w = -t*n + 5, 0 - 10 = -2*w - 3*n. Solve -w*p = -0*p + 15 for p.
-3
Let x(g) = -3*g - 10. Let m(d) = d - 1. Let p(q) = -m(q) - x(q). Let f be p(-4). Solve f*l = -l + 4 for l.
1
Suppose -3*m + c = -3*c - 29, 3*m = -5*c + 38. Let g be (-2)/((-6)/m) + 2/(-3). Solve g*k = -3 + 12 for k.
3
Let t be (3 - 2) + (-22 - -21). Solve 6 = -t*g + 2*g for g.
3
Let x = 13 + -6. Let d(z) = -z**3 + 2*z**3 - 6*z**2 - 7*z + 0*z. Let o be d(x). Solve o*b + 15 = -3*b for b.
-5
Suppose 2*q - 1 - 7 = 0. Suppose -q*d + 15 = -d. Let y(j) = -j**3 + 4*j**2 + 5*j. Let x be y(d). Solve x = 3*t + t for t.
0
Let h be (-6)/4 - (-627)/66. Solve 5*l + h*l = 13 for l.
1
Let v = -34 + 70. Let x = -29 + v. Solve 5 = -3*w - x for w.
-4
Suppose 233*p - 204 = 221*p. Solve 0 = -p*h - 7 + 7 for h.
0
Let s(m) = -m + 6. Let i be s(4). Suppose 7*o + 10 = i*o. Let c be (4/(-8))/(1/o). Solve 0 = z + c for z.
-1
Let s = -1953 + 1965. Solve 0*l + s = 3*l for l.
4
Let b be (3 - 6/(-3)) + -1. Suppose -7*a + 894 = 880. Solve -3*r - b = -a*r for r.
-4
Let o(c) = 16 - 16 + 2*c - c. Suppose -2*a = -2*w - 3 - 5, -16 = w - 4*a. Let p be o(w). Solve 3 = d - p for d.
3
Suppose 0 = -w - 0 - 2, 0 = -4*h + w + 18. Suppose 3*x = -4*n + 28, -2*x + 5*n + 9 = -2. Suppose -6*o + x*o = h. Solve c - 3 = o*c for c.
-3
Suppose 0 = 3*h - 5*h + v + 9, 3*v = -2*h - 11. Solve h = -0*l - 2*l for l.
-1
Let f = -885 + 933. Solve -39*u + 9 = -f*u for u.
-1
Let v(i) = -i**2 - 9*i + 5. Let j be v(-9). Let p(h) = h**3 - 5*h**2 - h + 5. Let x be p(j). Solve x = 5*b - 4*b - 3 for b.
3
Let q be 0/4*(-5 + 6). Let a be q/(9/((-18)/4)). Solve 4*f = -a*f - 8 for f.
-2
Let t = 13 + -8. Suppose t = f - j, -3*f + 34 = 3*j + 7. Solve -1 = 2*i - f for i.
3
Suppose 23 = w - 4*m, -3*w - 6*m = -2*m + 11. Suppose 3*q + w = 5*u, -q + 21 = 3*u + 2*q. Solve -12 = -u*y - 0*y for y.
4
Suppose -4*q + 108 = 84. Solve 2*v - 6 = -q for v.
0
Suppose -30 = x - 30. Solve x = 2*q - 12 + 14 for q.
-1
Let h(y) = 6*y**3 + y**2 + 3*y - 3. Let c be h(1). Solve -c*p = -p for p.
0
Let q(b) = b**2 + 3*b + 3. Suppose 5*r + 4*y - 8*y + 45 = 0, -y = 4*r + 15. Let d be q(r). Suppose 5*u = -15, l = -4*u - u - d. Solve o - l = -1 for o.
1
Suppose -149*z + 87*z + 372 = 0. So