 m = 82 + -80. Suppose 5*g - 14 = -m*h, 0 = -3*h + g + 5 - 1. Let b be 4/1 + 2*-1. Solve -h = b*u + 2 for u.
-2
Suppose -3*d + 36 = 5*t, -3*t + 0*t - 3*d = -24. Solve -t*l + 26 = -4 for l.
5
Suppose 0 = -2*t + 2 + 6. Suppose 15 + 81 = t*j. Let f = 26 - j. Solve -f*o + 8 = 2*o for o.
2
Let w = 242 + -242. Solve 6*k - k = w for k.
0
Let s = 193 - 110. Suppose 85*o = s*o + 4. Solve 0*m = -o*m - 2 for m.
-1
Let x = -156 + 176. Solve 0*r - x = 4*r for r.
-5
Suppose 5*c + 2*f + 15 = 163, 5*f = -3*c + 104. Solve 52*o = 59*o - c for o.
4
Suppose 0 = 17*x - 15*x - 30. Suppose -4*t = 17 + 3, 5*v - t - x = 0. Solve v*n + 2 = -0 for n.
-1
Suppose -390 = 157*y - 183*y. Solve -3*f + 12 = y for f.
-1
Let m(x) = -x**3 + x**2 - x. Let a be m(2). Let v = 13 - a. Solve -5*l = -4 + v for l.
-3
Let w be (6/4 - (-15)/(-10)) + 7. Solve 4*k + w + 5 = 0 for k.
-3
Let o be (-3*1)/(1/(-2)). Let p(u) be the second derivative of -u**4/12 - 3*u**3 + 19*u**2/2 + 2*u. Let h be p(-19). Solve -4*w + o + 2 = h for w.
2
Let k be (-2)/(-1) - 2/(-2). Suppose 6 = 2*f - 2*d, d + 5 + 6 = k*f. Suppose 0*v - 7 = -2*j - 3*v, f*j - 4 = 4*v. Solve -x + j*x = 3 for x.
3
Suppose -303 + 15 = -16*g. Solve -22*x + 4 = -g*x for x.
1
Suppose 4*y - 13 = -2*n - 3, y = -4*n + 13. Suppose -4*z + 2*j + 10 = 5*j, -4*z = -3*j + 2. Solve -n*q - z = -10 for q.
3
Suppose -21606*x = -21645*x. Let w(o) = o**2 + 1. Let i be w(1). Suppose 0 = -2*s + 2 + i. Solve 2 = -x*j - s*j for j.
-1
Suppose -4*o + 4*c = -o + 3, -2*c - 6 = -4*o. Let h(s) = s**2 - s - 3. Let x be h(o). Solve -x*b = 2*b - 25 for b.
5
Let j = 759 - 749. Solve -6*d + j = 22 for d.
-2
Let u(c) = c**3 + c**2. Let w(t) = -2*t**3 + 14*t**2 + 16*t - 17. Let q(i) = -u(i) - w(i). Let k be q(16). Let a = -7 + k. Solve 0 = -4*j + 2*j - a for j.
-5
Let z = -239 - -248. Solve -6*q = -3*q - z for q.
3
Let g = 6 - -3. Let n = g - 16. Let c(j) = -j**2 - 8*j + 5. Let q be c(n). Solve 3*z + q - 3 = 0 for z.
-3
Suppose 0 = -2*p + 5*v - 6, 0*p - 2*v = -2*p. Suppose p*h + 16 = 6*h - 2*g, 0 = 4*h + 2*g. Suppose -h*o = 2*o. Solve -2*m = -o*m - 6 for m.
3
Suppose 13 - 133 = -10*a. Solve p - 7*p - a = 0 for p.
-2
Let n be -3 - (-26*1 - 4). Let w = n + -24. Suppose c + 1 = -4*q, 0 = -3*q - 3*c - 3 - 0. Solve q*v = w*v + 12 for v.
-4
Let i(j) = -120*j + 122*j - 1 + 4 - 3*j**2 - 1 + 3*j**3. Let w be i(1). Solve 0 = -w*y + 3*y + 4 for y.
4
Let p(f) = f**2 - 38*f + 238. Let w be p(31). Solve 6*o - w*o = 0 for o.
0
Suppose -6*p + 82 = 16. Suppose p = 4*n - 21. Solve q + n = -q for q.
-4
Let d(f) = -9*f - 30. Let c(w) = 1. Let h(t) = 4*c(t) + d(t). Let n be h(-3). Solve 5*m + 6 - n = 0 for m.
-1
Let f be 36 + -29 + (1 - 2) + (-12)/2. Let l = -25 + 40. Solve -2*t + 7*t + l = f for t.
-3
Suppose z - 1144 = -43*z. Solve -8*u - 18*u = -z for u.
1
Let k(c) = c**2 + 3*c - 7. Suppose 2*s = -5*g, -3*s - g - 3 = -2*s. Let h be k(s). Solve 4 = v + h*v for v.
1
Suppose -5*i = 0, 2*q - 4*i = i + 8. Suppose 0 = -0*b - b - q*j + 16, 0 = -3*b + j + 9. Solve -14 - 2 = b*p for p.
-4
Suppose -231*q = -229*q - 4. Solve q*u - 85 = -75 for u.
5
Suppose -3*k - 3*v + 20 = -1, 4*k + v = 25. Solve 0 = -o - o - k for o.
-3
Let x = -67 + 74. Let b be (-2)/x + (-7)/((-49)/16). Solve b = -0*w - w for w.
-2
Let j = -289 - -349. Solve j*k = 64*k - 4 for k.
1
Suppose -14*o = -8*o + 28*o. Solve 6*r - 6 + 18 = o for r.
-2
Let c = -212 - -308. Let y be ((-3)/(-6))/((4/c)/1). Solve 0*p - y = -3*p for p.
4
Let s be 3 + (2 + 1)/(-3). Suppose 19 + 1 = s*z + 3*j, -2*j = -4*z + 56. Suppose 2*p - z = 1. Solve 4*f = -5 - p for f.
-3
Suppose -214 = -31*c + 933. Solve -31 + c = 3*j for j.
2
Let s = 30 + -27. Suppose -s*b + 10 = -b. Solve -y = -b*y - 12 for y.
-3
Suppose 2*g = -0*g - 172. Let o = 86 + g. Solve 4*m - 6*m = o for m.
0
Let m be -5*(-2)/10 - -3. Solve -b - m = b for b.
-2
Suppose 4*q = -3*o + 65, -2*q = q + 2*o - 49. Solve -15*s + 6 = -q*s for s.
-3
Suppose -2*o - 6 = r + o, 4*o + 12 = 0. Suppose -r*l = 2*b + 49, 3*b - 2*b + 42 = -5*l. Let w(v) = v**2 + 14*v - 12. Let m be w(b). Solve 5*u = -14 + m for u.
5
Let w(f) = f**3 + 11*f**2 + 12*f + 5. Let b be w(-10). Let y = 11 + b. Let v(n) = -n - 3. Let i be v(y). Solve -u = i - 3 for u.
2
Let z = 516 - 506. Solve 0 = -5*r - 0*r - z for r.
-2
Let i(l) = l**3 - l**2 - 7*l + 8. Suppose 0 = -2*c - 8, 2*y + 7 = -3*c + 1. Let v be i(y). Solve -v = -2*x + 1 for x.
3
Suppose 0 = 2*r - 18*r. Solve r*j = -j for j.
0
Let x(n) = -3*n**3 - 14*n**2 + n - 15. Let p be x(-5). Solve p*z + 11 - 1 = 0 for z.
-2
Let h be (-246)/12 - 3/(-6). Let c = h + 23. Suppose 3*r + c*p = -3 - 0, 0 = 4*r - 2*p - 20. Solve 0*s = -r*s - 6 for s.
-2
Suppose -3*g = -2*g. Suppose 4*z = -z + 2*r - 18, 0 = 2*z - r + 7. Let h = 9 + z. Solve w = -g - h for w.
-5
Let q = -39 + 43. Suppose -13*a = -14*a + q. Solve a*z - 25 = -z for z.
5
Let p be ((-46)/8 + 2)/(4/80). Let w = -73 - p. Solve -3*g + w + 1 = 0 for g.
1
Let x be 0/(2 + 0/(-2)). Suppose 0 = 4*o + 2*u + 2, 5*o + 5 = -x*o - 3*u. Solve 0 = -3*j - o*j - 25 for j.
-5
Let f(d) = -2*d + 48. Let l be f(16). Solve 7*c = -5 - l for c.
-3
Suppose 10*b + 4*b - 56 = 0. Solve b - 29 = 5*h for h.
-5
Let t = -12 + -2. Let d = t - -20. Let f = -6 + d. Solve -8*j + 3*j - 10 = f for j.
-2
Suppose -2 = c - 5. Suppose c*d - 360 = 4*t + 2*d, t - 2*d + 90 = 0. Let b be (72/t)/(2/(-10)). Solve 12 = -b*l - 8 for l.
-5
Let c be ((-561)/55 + 9)/(3/(-25)). Solve -5 = c*h - 5*h for h.
-1
Let r(h) = -h - 10. Let q be r(-5). Let g be (2/q)/((-10)/50). Solve 1 = g*x + 7 for x.
-3
Let s = -78 + 81. Suppose -s*b = b - 28. Solve 3*w - 1 = -b for w.
-2
Let i be (-18)/6 - (-3 + -1). Let c(s) = -2*s**3 + s**2. Let b be c(-1). Solve 4*h + i = b*h for h.
-1
Let v(s) = -2*s + 2. Let z be v(-1). Solve z*y - 4 = 6*y for y.
-2
Let r be (-4 + -4)/(4 + -3). Let l be (2 - (-36)/r)*-2. Suppose -l*x = -x. Solve 4*c + c - 15 = x for c.
3
Let r(s) = -s + 14. Let k be r(18). Let b be (-3)/(10/k + 1). Solve b*w + 2 + 8 = 0 for w.
-5
Suppose -3*u - 5*y - 312 = 0, -4*u + 6*y - 381 = y. Let t be 128/22 + (-18)/u. Solve -t = 2*x + x for x.
-2
Let d(z) = -9*z + 35. Let u be d(-4). Let o = u - 68. Solve -o*a = -5 + 17 for a.
-4
Let t(h) = h**3 - 3*h**2 + 6*h. Let x be t(2). Solve -7*m + x = -3*m for m.
2
Let m be (1/1)/(11/473). Let g = m - 29. Let t be g/6 - (-3)/(-9). Solve -j + 3 = t for j.
1
Suppose -3*q = 24 - 66. Let m = 16 - q. Suppose 4*p = 3*j, 4*p + m*j + j = 0. Solve p = 2*t - 7*t - 5 for t.
-1
Let d(x) = x**3 - 2*x**2 + 2*x - 10. Let i be d(3). Solve u = -i*u + 6 for u.
1
Let w(k) = -5*k**2 - 3*k + 9. Let v be w(2). Let l = v + 27. Solve 0 - l = -2*t for t.
5
Let p(r) = -2*r + 9. Let n = 57 + -54. Let k be p(n). Solve -v = k*v for v.
0
Suppose 3*j + 3*o + o = 4, 2*o + 50 = 5*j. Solve -j*m = -16 - 0 for m.
2
Let v(t) = -3*t + 4. Let x be v(1). Let w be (0 + x)*(3 - 1). Solve -4 + 2 = w*z for z.
-1
Let j be (1*-2 - 2)/(-2). Let y = 2 - j. Suppose 6 = i - 5*l - 19, 2*l + 4 = 0. Solve 7*t - 4*t + i = y for t.
-5
Let u = -181 - -127. Let o = 83 + u. Suppose 0 = 5*r + 4 - o. Solve -s = -r*s for s.
0
Let v = 40 + -40. Solve l + 5 - 4 = v for l.
-1
Suppose -53 = 9*j - 4*j - 3*o, 2*o = 4*j + 44. Let f(k) = k**2 + 4*k - 2. Let l be f(-3). Let v = l - j. Solve -s = s + v for s.
-4
Suppose -3*t + 18 = -l, -4*l + 5*l = 0. Let p = t - 4. Suppose 2*s - 3 = -2*a + 7, -5*s + 28 = 2*a. Solve -p*n = -s*n for n.
0
Let g be (-13)/3*(-21)/(-7). Let s = -14 - g. Let z be ((2 - s) + -4)*-1. Solve 2*x = 3*x + z for x.
-1
Let f be (12 - (2 - -2))/1. Let j(z) = z - 8. Let o be j(f). Solve o = 3*g - g - 2 for g.
1
Let g = -34 - -21. Let s = -2 - g. Solve 5*b + s = -14 for b.
-5
Let n(b) = 9*b**3 + 11*b**2 - 5*b + 26. Let m(k) = 5*k**3 + 5*k**2 - 3*k + 13. Let a(x) = -7*m(x) + 4*n(x). Let w be a(-9). Solve w*u - 2*u + 8 = 0 for u.
-4
Let r(y) = -y + 29. Let u be r(13). Let i(l) = -l**2 - 23*l + 1. Let g be i(-23). Solve -3*s - u = -g for s.
-5
Suppose -14*i = -3*i. Solve i = -13*j + 8*j - 10 for j.
-2
Let n(s) = 9*s + 95. Let l be n(-9). Solve 2*v = 6 - l for v.
-4
Let y be 4 - 0/(1 + 2). Suppose -13 = -x - 8. Suppose 0 = 2*k + x*o - 24, 0 = -3*k + 4*o - 0*o - 10. Solve -y = 4*s - k*s for s.
-2
Let j be (-2 - (-15)/6)*0. Suppose -2*h + 3*h = j. Suppose 2*v + 10 = 4*i - 0*v, -5*i + 2*v + 10 = h. Solve i = -3*x 