 0. Let a = y - -139. Solve -2*z + 3 = -a for z.
5
Let s = 5 - 3. Let i(z) = 4*z**2 - z**3 + z**s - 5 + 0*z**2 + 13*z + 6*z**2. Let o be i(12). Solve -2*x - 1 + o = 0 for x.
3
Suppose 0 = -14*y + 29*y - 120. Solve -2*h + 0*h + y = 0 for h.
4
Let p be (-10)/(-6) + (-1)/(-3). Suppose 39*n - 147 - 9 = 0. Solve -n = p*q + 2 for q.
-3
Suppose 0 = 9*q - 52 - 11. Solve 25 = -q*w + 4 for w.
-3
Let w be (3/1)/(2/6). Let d be ((-12)/(-14))/(3/21). Let c = w - d. Solve 15 = -3*b + c for b.
-4
Let y(t) = 6*t - 145. Let p be y(26). Solve -14*b - 15 = -p*b for b.
-5
Let t = 827 - 823. Solve -2 = t*s - 6 for s.
1
Suppose 0 = -3*a + 2*a + 9. Solve 4*b + a*b - b = 0 for b.
0
Let z = 143 + -138. Suppose -4*s + 24 = -4*t, -13 = 2*s - 5*t - 37. Let v be (s*(7 - 2))/2. Solve 0*h = v*h + z for h.
-1
Suppose -3*q - 5*t = -49, -136*t - 86 = -5*q - 140*t. Solve -6 - q = 24*j for j.
-1
Suppose 2*f - 4*s = -10, -f = 2*f - 2*s + 7. Let r(z) = 3*z. Let k be r(f). Let i be (k + 1)/(-2) + 1. Solve -i*j + 5*j = -9 for j.
-3
Suppose 5*r = -2*a + 39, 2*r = -2*r - 3*a + 34. Let w be (-3 - 4/2) + r. Solve 3 + 7 = -w*v for v.
-5
Let i be (-2935)/15 + (-6)/(-9). Let n be (-5)/20 - i/12. Solve -5*o + n = -o for o.
4
Suppose k - 3 = 2*y - 5, 10 = -y - 5*k. Let z be 22/10 + (-4)/(-5). Solve y = u - z*u - 4 for u.
-2
Suppose -s = -11 + 9. Suppose 5*k = -5*w + 40, -2*w + s*k - k = -1. Solve 0 = 2*z - 5*z - w for z.
-1
Let a be (-2)/(-10) - 3846/30*1. Let h be (-8)/(-6) + a/(-48). Solve -t + 0 = -h for t.
4
Suppose 2*p + 5*r - 244 = -0*p, r - 128 = -p. Let g be 24/p - (-16)/(-22)*-8. Solve -4*b + g = -2 for b.
2
Let c(u) = u + 6. Let r be c(-7). Let o be (-2*(-4)/(-4))/r. Solve y + o*y = 0 for y.
0
Suppose -6*x - 12 = -9*x. Let g be (x/(-6))/(8/(-36)). Let a(p) = p**2 - 2*p - 10. Let k be a(7). Solve -g*t - 2*t = -k for t.
5
Let w = -3 - -3. Let g(b) = -b - b**2 - b - 2 + 7*b. Let t be g(4). Solve 0 = t*u - w*u for u.
0
Suppose -4 = -2*v, -2*v - 2*v + 17 = 3*x. Suppose 0 = x*u + 18. Let q be (9/u)/((-12)/32). Solve 0*l + q*l - 16 = 0 for l.
4
Let w(r) = 7*r + 7. Let c(y) = -11*y - 11. Let f(i) = 5*c(i) + 8*w(i). Let u be f(11). Solve p - u = 5*p for p.
-3
Suppose 0 = 3*p - p - 24. Let g be 0*(-2)/p*-3. Solve -2*m - 10 + g = 0 for m.
-5
Let m be (3 - 6)/3 - (-31 - -28). Solve m*h + 29 - 19 = 0 for h.
-5
Let b be ((-1)/2)/(5/(-60)). Suppose 0 = 2*x - b*x. Solve 2*y + x = -6 for y.
-3
Suppose 0 = 2*t - 5*t - 5*g - 1, t - g = 13. Solve t*m - 4 = 10*m for m.
-2
Suppose 5*w - 30 = -3*h, -4*w + 62 - 16 = -2*h. Solve -w*a = -a + 32 for a.
-4
Let b(h) = 14*h + h**2 + 13*h + 8 - 21*h. Let m be b(-6). Suppose -3*a = a - m. Solve 4*o + 8 = a*o for o.
-4
Suppose 9*t = -17 + 143. Let j be (t/(-8))/7 + (-10)/(-8). Solve 0 = 4*v + 15 + j for v.
-4
Suppose -14*g - 902 = -1042. Solve 11*s + 2 = g*s for s.
-2
Let b be 2 + 7 + (-4 - 0). Suppose -b*c = -2*p - 8, 6*c - 16 = 3*c + 4*p. Suppose c = -2*d - 3*s - 6, -29 + 9 = -4*d + 2*s. Solve -8 = d*l + 4 for l.
-4
Let g be (-4)/(-12) - (-28)/(-3). Let b be (-32)/(-18) + (-2)/g. Suppose r = 3*i - b*i + 2, -5*i + 10 = -r. Solve 0 = -c + 1 - i for c.
-2
Suppose -2*u = 6 + 18. Let i = -10 - u. Solve -i*o + 3*o = -3 for o.
-3
Suppose v + v - 8 = 0. Suppose 2*g - v*q = 124, 121 = -5*g + 3*q + 424. Let j = g - 40. Solve -j + 0 = 4*c for c.
-5
Let z(t) = 8*t + 13*t + 24 - 23*t. Let x be z(10). Let j be ((-42)/70)/((-1)/25). Solve -x*o + j = o for o.
3
Let o = -368 + 368. Suppose 0*z - 4 = -2*z. Solve -6 + o = -z*c for c.
3
Let t = 572 + -564. Solve -10*u + t*u = 0 for u.
0
Let f be (3 - (-7 - -3))*(2 - 1). Suppose 17 + f = 4*y + 2*l, -y = 2*l - 9. Solve -j + 0*j + y = 0 for j.
5
Let w be (-10 - -1)*15*2/9. Let z = w - -34. Solve z*l + 1 + 3 = 0 for l.
-1
Suppose 0 = -3*j + 2*n + 47, 5*n - 23 = -4*j + 32. Solve 6*a + 3 = j for a.
2
Suppose -25*j + 65 + 60 = 0. Solve 4 = j*w - 1 for w.
1
Let u = 125 - 81. Let o = u + -22. Solve 4*w - o + 6 = 0 for w.
4
Let h = -13 - -12. Let k(r) = r**3 + 4*r**2 - 5*r + 1. Let z be k(-5). Let p be z + (-5 + 3 - h). Solve p = 7*q - 2*q - 10 for q.
2
Let s(i) = 4*i + 11. Let j be s(-5). Let n(z) = 2*z**2 - 3*z + 4. Let l be n(3). Let w = j + l. Solve -o - w = o for o.
-2
Let k(i) = i**2 - 1 + 3*i**2 - 5 - i**3 + 2*i**3 - 5*i. Let y be k(-3). Suppose -u + 7*u = y. Solve 2*f = u*f for f.
0
Let l = -26 - -44. Let v = -11 + l. Solve -v*t + 2*t = 5 for t.
-1
Suppose 0 = -0*n - 4*n - q - 20, 5*q + 10 = -2*n. Let g = n + 5. Solve 3*m + g*m + 9 = 0 for m.
-3
Let t be (-1)/(-1) + -3 + 2. Suppose 5*f = -12*h + 17*h - 5, 2*h = 5*f + 2. Solve 5*i + h - 6 = t for i.
1
Suppose y - 6 = -y. Let a = -51 - -71. Let q be a/110 + (-53)/(-11). Solve -q = -2*f - y for f.
1
Suppose -5*m + r + 58 = 0, 4*m - 2*r - 11 = 33. Solve m = o + 8 for o.
4
Suppose 0 = -3*o - 15, 4*g + 4*o - 5 = 3*g. Suppose 0 = 7*m - 11*m + 64. Suppose m = -3*z + 11*z. Solve -z*t - 3*t = g for t.
-5
Suppose x - 7 + 4 = 0. Let g be (-20)/(-50)*-5 - -8*(-1)/(-2). Solve -x*m = g*m for m.
0
Let s be (7 + -4)*(1 + 0). Solve -s*b - 2*b = -20 for b.
4
Suppose r - 2*x = -5, r = 3*x - 9 - 0. Suppose 0*b - 2*b = r*b. Solve -5*a = -b*a for a.
0
Let i = 1 - 122. Let v = i + 123. Solve 0*b - b = -v for b.
2
Let d(t) = -2*t. Let a be d(10). Let b = -18 - a. Solve b*k + k = 6 for k.
2
Let j = 9 + -6. Suppose -5*m = -3*w + 21, m - j*w + w = -7. Let a = m + 3. Solve g + 3 = -a for g.
-3
Let k be (-3)/3 - (-10 + -1). Suppose 0 = -2*c - 3*b - 53, 0 = 8*b - 4*b + 12. Let s be (-1)/(c/k - -2). Solve -l = -s*l for l.
0
Let n(l) be the first derivative of l**3/3 + 9*l**2/2 + 3*l + 2. Let q be n(-10). Let g(k) = -k**2 + 12*k + 17. Let r be g(q). Solve -r*h - 5 = 7 for h.
-3
Let p = 18 - -80. Let r = -98 + p. Solve r + 3 = j for j.
3
Let x(w) = -4*w - 7. Suppose 3*r - 6 = 0, -2*c - 5 = 4*r - 7. Let j be x(c). Suppose 1 = -v + 3. Solve -p = -v*p - j for p.
-5
Let f(l) be the second derivative of -l**3/6 + 6*l. Let j be f(-6). Suppose -j = -2*u - 3*y + 8, -18 = -3*u - 3*y. Solve -8 = u*n + 4 for n.
-3
Let r = -67 - -135. Let d = r + -63. Solve -13 + d = -2*u for u.
4
Let w(i) = 2*i**3 - 26*i**2 - i**3 + 1 + 10*i + 9*i + 6*i. Let b be w(25). Solve -3*f + b = -8 for f.
3
Let p be (11 - 11) + -1 + 1. Solve p = s + 3*s for s.
0
Let n be 86*7/126 + 8/36. Solve n*l - 6*l = -3 for l.
3
Let y(p) = -4*p + 16. Let n be y(3). Let c(f) = 2*f**2 + f - 3. Let t be c(2). Let s be 120/42*t/2. Solve v = -n*v + s for v.
2
Let i = 7 + 0. Let s = 15 - i. Let l be (20/s - 3)*0. Solve l = -o + 1 for o.
1
Let w = -541 + 553. Solve 7*m - w*m - 5 = 0 for m.
-1
Suppose -a + 30 = -6*c, -3*a + 6*a - 3*c - 15 = 0. Solve a = -g - 3 + 8 for g.
5
Let q(k) = k**3 + 7*k**2 + 17. Let l = -25 + 18. Let u be q(l). Solve -u + 1 = 4*s for s.
-4
Let h be ((-1)/1)/(2 - 1). Let o = h + 1. Suppose 0 = p + 5*m - 25, 0 = 5*p - 5*m - 26 - 39. Solve o = 4*z - z - p for z.
5
Suppose 0 = -53*l + 58*l - 250. Let s = 50 - l. Solve -3*r + 6 = -s*r for r.
2
Let t be (3*-1 + 87/145)*-5. Solve -g + t - 11 = 0 for g.
1
Let i be (-3 - 0)*(-2)/3. Let g be (i/7)/(16/112). Solve -10 = -7*u + g*u for u.
2
Let t(h) = -h**3 + 9*h**2 - 10*h + 4. Let b be t(7). Let r = b + -29. Solve r*s - 5*s + 2 = 0 for s.
1
Let h = 9 - 8. Let k be 1/h*(-4 + 25). Suppose 0 = 19*y - k*y. Solve y*z - 3*z - 6 = 0 for z.
-2
Let z(m) = m**2 - 14*m + 7. Let d be z(14). Solve d*f = 9*f for f.
0
Let p(g) = -g**2 - 6*g + 34. Let t be p(3). Solve 7*x = 4*x + t*x for x.
0
Suppose 63*g - 329 = 301. Solve -g*p = -2*p - 16 for p.
2
Let y be (0 + 5)*(-4)/(-5). Let q be 29/5 + (21/(-420) - 9/12). Solve -y*a + q*a = 5 for a.
5
Let w be 18/7 - 3/(-7). Suppose -w*q - 3*v = -18, 3*v + 5 = -2*q + 15. Solve 0 = 2*l - 0 - q for l.
4
Suppose -5*d - 3*o = 12, -5*d - 10 - 9 = -4*o. Let t be (-32)/(-3)*d/(-2). Suppose -2*l + 8 = -4*w, -3*l - w + 2*w = -7. Solve -t = -2*a - l*a for a.
4
Let v be ((-9)/24*-2)/(4/64). Let y(i) = i**3 - 11*i**2 + 9*i + 4. Let b be y(10). Let k = v + b. Solve 0 = 5*d - 3*d - k for d.
3
Let c(x) = x**2 + 6*x - 5. Let v = -11 - -4. Let s be c(v). Solve u + 1 = s for u.
1
Suppose -5*p + 4*r + 16 = 0, 5*p + 5*r = 2*r - 12. Suppose -3*c = -5*u - 2, 3*c + 2*u + 3*u - 22 = 0. Solve p = c*g - g + 9 for g.
-3
Suppose -7 + 16 = 3*j. Suppose 4 = j*l - 8. Solve -1 = o - l for o.
3
Let a(d) = -d**3 