 85 = q*w, -2*h = -4*w + h + 68. Solve -w - 8 = -5*l for l.
5
Let l be (3 - 1 - 1)/(9/90). Let h(j) = -j**3 + 7*j**2 - 7*j + 6. Let b be h(6). Suppose 5*y - l = -b*y. Solve y*m + m = -9 for m.
-3
Let p(y) = -20*y. Let d be p(-1). Let h be 8/24 + (-178)/(-6). Suppose 5*b + 10 = h. Solve -b*s = -0*s + d for s.
-5
Suppose 0 = -d + 1, d = -3*m - 2*d + 3. Solve 4*u - 2*u - 2 = m for u.
1
Let z(l) = l**2 - 13*l - 59. Let r be z(17). Solve -6*q - 3 = -r*q for q.
1
Suppose 4*c - 6 = 14. Let o = -1227 - -1227. Solve o = -c*r + r for r.
0
Let g be 6 - 0 - 9/9. Solve -g*o = -12*o + 7 for o.
1
Suppose 4*l - 5*l = -5. Suppose -2*x - 13 = -l*q, -2*q + 6 = -3*x + 14. Solve -2*a + x = 8 for a.
-1
Suppose k - 6*n + 5*n - 9 = 0, 23 = 2*k - 3*n. Solve 0 = 2*p - k*p + 8 for p.
4
Let r = 4 - 2. Let m = 60 + -52. Let n be (3 + 0)*m/(-12)*-3. Solve 4 = r*s - n for s.
5
Let f = 152 + -148. Solve 0 = f*y - 3*y + 4 for y.
-4
Let u = 2008 + -1999. Let r be (-1)/(((-2)/(-3))/(-2)). Solve -u = r*z - 0*z for z.
-3
Let m(p) = -p**2 + 6*p + 80. Let h be m(12). Solve 0 = -0*x - 2*x - h for x.
-4
Suppose -h = 2*j - 21, -h + 5 = 6. Solve -j*l - 39 = 2*l for l.
-3
Let n(v) = v**3 + 21*v**2 + 7. Let j be n(-21). Solve -9*z = -j*z + 4 for z.
-2
Let u be (9/12)/(-1)*8. Let d = 9 + u. Suppose -2*i + w + 12 = -d, -i - w = -15. Solve -10 = -4*r + i for r.
5
Let z be 3/(-6)*2*-3. Suppose -2*i + z*i - 5 = 0. Suppose -24 = -4*s - 8. Solve 1 + s = i*v for v.
1
Let y(u) = u + 13. Let n be y(0). Solve -3*a - 19 + n = 0 for a.
-2
Suppose 0 = 11*s + 11*s - 8*s. Let l be 0/(1 + 16/(-4)). Let i be (-1)/(-1 - 4/(-6)). Solve l = i*w - s - 9 for w.
3
Let j be (-20)/(-5)*(-1)/(-2). Suppose j*l + 12 = 6*l. Suppose -s - 2*s + 9 = -t, 0 = -l*t. Solve -x = s*x - 8 for x.
2
Let i = 20 + -20. Let h be (i/(-8))/(2/(-1)). Suppose h = -0*b + 3*b - 9. Solve -b*p - p - 4 = 0 for p.
-1
Let v be 6/(-1)*4/(-6). Let q be (-3)/1 + 40/v. Let u = -5 + q. Solve u*t = 3*t for t.
0
Let k = 470 + -466. Solve -10 = -k*n + 10 for n.
5
Let k be (-6)/8 + 268/16. Suppose -k = j - 5*j. Solve 6 = -j*r + 14 for r.
2
Let w = -1 - -7. Let q be w/(-9)*1 - 2/(-3). Solve q = 2*v + 4 for v.
-2
Let z be 15/(-75)*(-113 + -2). Solve -5*t + 2 = -z for t.
5
Let c(a) = -a**3 + 4*a**2 - 6*a + 5. Let f be c(2). Let m = 10 - 9. Solve -s - m = f for s.
-2
Let f be (1 - 2)/((-5)/45). Let z be 3 - (2 + -2)/(-4). Solve -z*y + 0 = f for y.
-3
Let c be 3/18 - 175/(-30). Let x be ((-5)/c)/((-9)/54). Suppose 4 = x*a - 4*p, -3*a = -6*p + 2*p + 4. Solve 0 = a*f - f for f.
0
Suppose 0 = 3*h + h. Let x(z) = -z + 26. Let w be x(h). Let i be (-2)/(-13) - (-308)/w. Solve -4*a - 4 = -i for a.
2
Suppose 0 = -5*t + 3*n + 4 - 3, 3*t + 7 = -2*n. Let l be -5 - -4 - t/(2/8). Solve 0 = s - l for s.
3
Suppose 5*d + c - 4*c = 56, 0 = 4*d + 3*c - 34. Suppose -3*p - 4*b + d = -20, -b = -4*p + 21. Solve 3*y - 6*y + p = 0 for y.
2
Let t(m) = -m + 8. Let d = 21 - 25. Let l be t(d). Suppose 3*y - l = -y. Solve w = -6 + y for w.
-3
Suppose -3*q + 2*q = -2*u - 2, 0 = 5*q - 3*u - 24. Let h(b) = -b**3 + 6*b**2 + b - 3. Let v be h(q). Let x = -6 - -12. Solve -v*p + x*p = -9 for p.
-3
Let l be (13 + -10)*(-1)/3. Let d(q) = -4*q**3 - q**2 + 2*q**2 - 3*q**3. Let k be d(l). Solve k = 2*g + 4 for g.
2
Let m be 10 - 6/12*12. Solve 7*c = m*c - 15 for c.
-5
Suppose 79 - 91 = -3*j. Suppose 0 = -j*x + 4*u + 2 + 2, -3*x + 2*u + 7 = 0. Solve -x*h = -2*h - 6 for h.
2
Let j(v) = -11*v**2 + 18*v**2 - 6 - 8*v**2 + 5*v. Let d be j(3). Solve 2*w - 10 + 2 = d for w.
4
Suppose 8 - 5 = f. Suppose -5*q + 2*j = -0*q - 31, 0 = 3*q + f*j - 6. Suppose -c = q*d - 6 - 16, 3*d = -2*c + 16. Solve c = 5*p - 18 for p.
4
Let n = 643 + -638. Solve -3*w = -8*w + n for w.
1
Let t be (0/2)/(-3 + 1). Suppose t = p - 3 + 8. Let i = 0 - p. Solve 2 = i*f - 4*f for f.
2
Suppose 6 + 15 = 7*q. Suppose -p + q*s + 17 = 0, 6 - 3 = -s. Solve -4*w + p = -0*w for w.
2
Let n(b) = -35 + 16 - b + 14. Let i be n(-8). Suppose 6*k = i*k + 15. Solve -k*h - 16 = -h for h.
-4
Suppose -3*d = 5*o - 17, 0*d = -2*d - 5*o + 8. Suppose -4*x + 17 = d. Solve 8 + x = -2*g for g.
-5
Suppose -u + 60 = 5*o + 4*u, 3*o - 5*u + 4 = 0. Suppose 0 = o*y - 2*y + 60. Let s be 2*y/(-8) - 3. Solve -4*h - 11 + 31 = s for h.
5
Let r be (-42)/(-11) - -9*36/1782. Solve -r*j + 2*j + 10 = 0 for j.
5
Suppose -3*k - 3*h + 39 = 0, 7*k - h = 2*k + 65. Suppose k = 5*c - 22. Solve m = -c + 10 for m.
3
Let b = -7 - -10. Let f = 4 - 2. Suppose -f = 2*o - 32. Solve -b*u + o = -0*u for u.
5
Let d = 588 - 570. Solve 3 - d = 5*x for x.
-3
Suppose 87 = -14*d + 325. Solve d*q - 80 = q for q.
5
Suppose 7*b - 44 = 26. Solve -5*n - b = -20 for n.
2
Let i = 127 + -124. Suppose i*y + 7 = 25. Solve -y*j + 2*j = 16 for j.
-4
Suppose 0 = 3*s + 5*r + 9, 0*s + 2*r - 15 = 5*s. Let j = s - -3. Suppose 0 = 2*m + 3*x - 31, -2*m - 2*x + 7*x + 23 = j. Solve -3*i - m = 1 for i.
-5
Let m = 386 + -380. Solve 1 = m*h - 11 for h.
2
Let g(x) = 13 + 7 + 3*x - 4. Let h be g(-4). Solve y + 0*y + h = 0 for y.
-4
Let o(i) be the first derivative of -i**3/3 - 4*i**2 - 7*i + 4. Let m be o(-5). Suppose -6*u + 2*u = -m. Solve -u*b - 8 + 0 = 0 for b.
-4
Let i be 261/6*(-12)/18. Let y = -26 - i. Solve y*b - b = -2 for b.
-1
Let m = -30 - -91. Let t = m - 45. Solve -5*z = -z + t for z.
-4
Let g = -10 + 35. Suppose 3*q = -2*j + 4*q + 6, 3*q + 6 = 3*j. Solve -n - j*n = -g for n.
5
Let n(l) = l**2 - 9*l. Let i = 10 - 35. Let m = -16 - i. Let t be n(m). Solve 3*k = -t*k for k.
0
Suppose -3*g + 7*t - 4*t - 75 = 0, 5*g + 80 = -4*t. Let h be g/(-6)*(-3)/(-2). Let l(c) = c**3 - 11*c**2 - 11*c - 12. Let i be l(12). Solve i = -h*x - 5 for x.
-1
Let b(u) be the second derivative of u**4/12 + u**3/3 + 10*u. Let m be b(0). Let v = -6 - -6. Solve m = -j - v - 3 for j.
-3
Let w(n) = -n**3 + 3*n**2 + 7*n - 5. Let x be w(4). Solve 1 + x = 4*y for y.
2
Suppose 110 = -4*q + 290. Suppose -q = 2*w + 319. Let m be 82/26 + 28/w. Solve 4*o = m*o - 5 for o.
-5
Suppose 0 = -18*u + 106*u. Solve 0 = -u*y + y for y.
0
Let b = -9 - -17. Suppose -2*k = -6*k + b. Let n(t) = 2*t**2 - 4*t - 1. Let c be n(3). Solve c = -k*g - 5 for g.
-5
Let f(k) be the first derivative of k**4/4 - 11*k**3/3 + 19*k**2/2 - 4*k + 11. Let r be f(9). Solve -8*u = -r*u + 15 for u.
-5
Let u = 2054 - 2044. Solve -35*f = -37*f - u for f.
-5
Let n(c) = 17*c**3 + 2*c - 16*c**3 + 5 - 9 + 5*c**2. Let y(r) = 3*r + 2. Let m be y(-2). Let d be n(m). Solve 3*z + d = z for z.
-2
Suppose 10 = 5*r, -f + 0*f - 2*r + 13 = 0. Let u = f - 5. Solve 2 + 6 = u*s for s.
2
Let n be (44/(-33))/(4/6). Let b be 17*n/2*-1. Let y(j) = j**2 + 11*j + 14. Let o be y(-10). Solve -b + 5 = o*v for v.
-3
Suppose 4*w + 172 + 46 = -c, 2*c = 5*w + 266. Let a be 3/21 - w/14. Suppose 3*y + 33 = 4*d, 0 = -a*d - 2*y + 4*y + 38. Solve -d = 2*j - 4 for j.
-4
Let b be 3/(6/(-1))*12. Let j(s) = -s**2 - 5 + 13 - 4*s - s. Let v be j(b). Solve v*x + x = 3 for x.
1
Suppose 0 = 3*m - 6. Suppose m*w - 60 = -w. Let f be (-4)/6 + w/30. Solve f = 2*j + 2*j - 20 for j.
5
Let v be (-32)/240 - 118/15. Let w be (-15)/v + (-2)/(-16). Solve -2*i + 3*i = w for i.
2
Suppose 3*p = -4*v + 45 + 23, -v - 3*p + 26 = 0. Solve v*s + 5 = 13*s for s.
-5
Suppose -2 = -4*s + 3*y + 6, 0 = s + 3*y - 2. Let v be 2/(-9) + 33/27. Solve k - s*k - v = 0 for k.
-1
Let r(c) be the third derivative of c**6/120 - 11*c**5/60 - c**4/12 + 25*c**3/6 - 11*c**2. Let p be r(11). Solve p*g = -g + 12 for g.
3
Let q be (-1*3/1)/(-1). Let u be (-16 + 4)/(3/(-3)). Solve q*c + 0*c + u = 0 for c.
-4
Let f(d) = 2*d - 1. Let s(p) = p**2 + 1. Let y be s(0). Let v be f(y). Solve -v + 5 = -4*x for x.
-1
Let f = -284 - -340. Solve -2*z + 16*z = -f for z.
-4
Suppose 0 = 6*v - 4*v + 4*x - 34, -4*x = 3*v - 41. Suppose -4*n - v*n + 22 = 0. Solve 3*h = -n - 1 for h.
-1
Let v(d) = d + 12. Let y be v(0). Suppose 20 = 2*u + y. Solve g = -u - 1 for g.
-5
Let q = -50 + 56. Suppose 0 = 17*h - 15*h - q. Solve h*i = 4*i - 5 for i.
5
Let b = -22 - -21. Let q = 1 + b. Solve q = -4*i + 2 + 2 for i.
1
Let x = -1 + 1. Let v = -779 - -782. Solve x*p + 3 = v*p for p.
1
Let h be -2 + (-3 - -6)*6. Let q = 19 - h. Solve r + q = -2 for r.
-5
Let t = 13 - 7. Let x be (-1)/2*(t + -18). Solve 4*p = 2*p + x for p.
3
Let a = 254 + -247. Solve 0 = a*h + 9 + 5 for h.
-2
Suppose 0 = -5*a + 3*a. 