2. Let d be t(9). Let s be d/10 + 42/5. Solve -3*w - 4 = s for w.
-4
Let s be 2/4*(2 - 56). Let p = 32 + s. Solve p = 2*l - 3 for l.
4
Let p(q) = -q**3 + 4*q**2 - 3*q - 2. Let b be p(3). Let k be -3 - (b + -2 + 1). Solve 15 = 3*t - k*t for t.
5
Let w(h) = 0 - 2*h + 16 - h + 7. Let q be w(7). Solve -j = q*j for j.
0
Let i = -584 + 588. Solve 31 = i*z + 15 for z.
4
Suppose 34*g - 8*g = 52. Let z = 7 - 4. Let t = 4 - z. Solve -g*l = -l - t for l.
1
Suppose 3*c + 3 = -3*a, 0 = -5*c + 4*c + 5*a - 1. Let z be (-2 - c)*(12 - 16). Solve -q - z*q = 20 for q.
-4
Let o(u) = -u**3 + 2*u**2 + 2*u + 6. Let k be o(3). Suppose p + k*p = 20. Solve 0 = 2*v - 3*v + p for v.
5
Let x = 284 + -281. Solve 10 = -x*d + 8*d for d.
2
Let v = -2369 - -2397. Solve b = 33 - v for b.
5
Suppose 82 = 6*k - 296. Solve 2*m + k - 59 = 0 for m.
-2
Let h be (-389)/(-7) + (-8)/14. Let o be (-10)/h - 40/22. Let a be ((-6)/(-5))/(o/(-5)). Solve -a*y - 17 = -5 for y.
-4
Let t be 42 - ((-2)/5 + (-4)/(-10)). Let o = -3 + t. Solve -5*m + 14 = o for m.
-5
Let l be 0/(-8)*1/(-2). Suppose -8*g + l*g = -88. Solve 2*d + g - 3 = 0 for d.
-4
Suppose b - 36 = -u, -u - 32 = -2*u + 3*b. Solve 10*o = 3*o + u for o.
5
Suppose 2*w - 50 = -z, 0 = 2*w - 0*w + 2*z - 52. Let r be (-3 + 4 + -20)/(-1). Let m = w - r. Solve o = m - 2 for o.
3
Suppose -5*j - r = 0, -5*j - 2*r = -5 - 0. Let c be j/(((-4)/(-6))/(-2)). Let b be (-7)/((-28)/24) + -3. Solve -2*u + c*u + b = 0 for u.
-3
Let x = 2 - 0. Suppose 0 = x*k + 4 - 10. Solve k*l + 0*l = -6 for l.
-2
Let t = -8 + 12. Suppose -t*l + 8 = 0, 4 = -0*j + 2*j + 2*l. Solve -3*x + 4*x = j for x.
0
Suppose 15 = u - 5*i - 7, -5*u + i + 62 = 0. Let r(a) be the first derivative of a**2/2 + 9. Let n be r(u). Solve 0 = 5*p - 32 + n for p.
4
Suppose q - 39 = -2*q - 4*w, 0 = q - 3*w. Solve -r - 2*r = q for r.
-3
Let b be 6/4*160/48. Solve b*f = -1 - 14 for f.
-3
Let t = 1929 + -1896. Solve -6 - t = 13*m for m.
-3
Let m be ((-324)/(-144))/(3/12). Solve m*p = -14*p - 46 for p.
-2
Suppose 66*v - 40*v - 2860 = 0. Solve 24*g - 2*g + v = 0 for g.
-5
Suppose 3*r - 84 = -d, 13 = -r + 3*d + 41. Suppose -r = k + k. Let j = k + 18. Solve 0*a = -j*a for a.
0
Let m = 150 - 143. Let p(y) = -4 - 9 + 8*y**2 + 3 - y**3 - 5*y. Let g be p(m). Solve 2*u = g*u + 4 for u.
-2
Suppose 0 = -10*i + 68 + 12. Solve 0 = -i*z + 4*z for z.
0
Suppose -8 = 4*w + 4. Let n(f) = -f**3 - 3*f**2 + 3*f + 7. Let b be n(w). Let j be (-1)/(-3 + (-5)/b). Solve j*d - 3*d = 2 for d.
-2
Let o = -23 + 40. Let q be (-44)/(-4) + -3 + -3. Solve -2 = q*w - o for w.
3
Suppose 2*c - 1553 = -1551. Let o = 20 - 17. Solve 4*p = -c - o for p.
-1
Let c be 1/(4 + (-76)/40*2). Solve -c = 3*a + 1 for a.
-2
Suppose -6*c = 5*u - c, 4*u + 5*c + 5 = 0. Solve 12*q + 7 = u*q for q.
-1
Suppose 0 = -4*h + q + 13, -4*h - 10 = -5*q - 43. Suppose -4*u + 46 + h = 0. Solve -2 + u = 5*d for d.
2
Let r be -4 + (3 - 1) - -4. Suppose -6*o + 7*o - r*o = 0. Solve 4*f = -o*f - 4 for f.
-1
Let y(k) = k**2 + 13*k + 56. Let i be y(-6). Solve -6*l + i*l - 24 = 0 for l.
3
Let y be (12/8)/(12/8). Solve f + 4 = -y for f.
-5
Suppose 2 = o - 1. Suppose 5*p + 0 = 5, 2*w - 7 = -3*p. Solve o*z - 20 = -w*z for z.
4
Let w be (-20)/(-2) + (-20)/(0 + -10). Solve 4*c = c - w for c.
-4
Let y(d) = d**3 + 24*d**2 + 27*d + 92. Let m be y(-23). Solve m = 7*j + 7 + 7 for j.
-2
Let d = -345 + 352. Suppose -3 = -4*p + 5. Solve -p + d = t for t.
5
Let p(v) = 7*v**2 - 4*v + 4. Let s(y) = 6*y**2 - 4*y + 4. Let o(a) = -5*p(a) + 6*s(a). Let q be o(3). Let x be q + (4 - 3/1). Solve x*w + 0*w = -10 for w.
-5
Suppose 4*l + f = -5, -5*l + 3*f = -4*l - 2. Let n be 16 + (l + 3)*-2. Solve -h = -4*h + n for h.
4
Let y = -1476 + 1482. Suppose -2*z + z = 3. Let v(f) = f**2 + 2*f - 1. Let k be v(z). Solve -4*x + y = -k*x for x.
3
Let g(m) = m - 6. Let l be g(8). Let s = 31 + -28. Suppose -s*k = 3*u - 15, -3*k - l*u = -0*u - 13. Solve -k*v = 5 + 4 for v.
-3
Suppose 5*u + 10 = 3*k + 3, -k + 5*u = 1. Suppose 9*a - 75 = k*a. Solve -7*x - a = -2*x for x.
-3
Let j be ((-20)/8)/(2/(-4)). Suppose -10 = 4*u - 3*i + 5, i - j = 4*u. Solve u*l + 3 = -l for l.
-3
Let u(d) = -10*d + 1. Let v be u(-1). Suppose -14*a = -v*a - 30. Suppose -2*y + a = 3*y. Solve y*i + 1 = 5 for i.
2
Suppose -4*s - s - 65 = -5*t, t - 17 = -3*s. Let d(a) = -3*a + 42. Let j be d(t). Solve 3*z - z + 4 = j for z.
-2
Suppose 0*y = -4*y. Suppose -q + 7 = -4*d, -4*q - d = -5*q + 4. Solve y*i = -q*i for i.
0
Let i be (-195)/(-35) + 3/7. Let f be -13 + 16 - (0 + 2). Suppose -o - 1 = 0, -f = -2*t - 2*o + 1. Solve -4 = -i*q + t*q for q.
1
Let c be ((-642)/8)/(-3) - (-37)/148. Solve 30 = r + c for r.
3
Suppose -2*s = -3*l + 315, 4*l - s - s = 422. Solve -l*r = -109*r - 6 for r.
-3
Suppose 23*f - 3*p - 3 = 19*f, -3*f + 4*p = -4. Solve 7*b - 5*b = f for b.
0
Let t(p) = p**3 - 4*p. Let m be (-2 + 0)/((-5)/(-15)*-3). Let g be t(m). Solve g = r - 0*r - 1 for r.
1
Let n be (5 + -2)*23*7. Suppose -3*w - 141 = f - 6*w, -n = 3*f + 3*w. Let o be f/(-32) - (-1)/8. Solve x - 20 = o*x for x.
-5
Let g be 2*((-9)/(-36))/((-2)/(-16)). Suppose 2*p + 2*a + 7 - 5 = 0, 20 = 4*p - g*a. Solve 2*y = -p - 6 for y.
-4
Let c be (-43)/(((-32)/(-48))/((-4)/3)). Solve -84*s + c*s = -2 for s.
-1
Suppose -6*f = -2*f - 0*f. Suppose 17*v - 50 = 7*v. Solve -v = j - f for j.
-5
Let o(k) = 2*k**2 - 32*k + 68. Let g be o(14). Solve -g*x + x = 33 for x.
-3
Suppose 0 = 5*s - 31 + 1. Suppose s - 54 = -4*j. Suppose -t + j = -5*t + 3*x, 0 = -x + 4. Solve 2*w - 2 = -t for w.
1
Suppose -c + 4*h + 16 = 0, h - 2 + 5 = 0. Suppose r - 4*x + c = -2*r, 4*x - 16 = 0. Solve 1 = w - r for w.
5
Suppose -116*m - 2142 = -167*m. Solve 30 = -6*t + m for t.
2
Let m be 0/(0 + -2 + 1). Let k be m/(-1 + -2 + 4). Let c(l) = -l**2 - 9*l - 16. Let r be c(-5). Solve 0 = f - r - k for f.
4
Suppose 8*o - 6*o - 6 = 0. Suppose -o*r + 12 = -18. Solve -3*a = -8*a - r for a.
-2
Let t = -139 + 205. Let x be 4/6*t/4. Solve -6 = 5*o - x for o.
1
Suppose 75 = -4*n + 2*o + 3*o, 4*n = 3*o - 69. Let f be (-84)/n - (-6)/(-10). Let w be (2 + 1)*(196/(-21))/(-1). Solve f*k + w - 3 = 0 for k.
-5
Let w(p) = 3*p**2 + 44*p + 43. Let x be w(-14). Solve -3 = 3*b - x for b.
4
Suppose 12*m = 72 + 24. Solve 5*k - m = -18 for k.
-2
Suppose 0 = 4*i - 5*z + 48 - 248, 0 = -z. Solve -q - 47 + i = 0 for q.
3
Let i(q) be the second derivative of q**4/12 - q**3/2 - 3*q**2 - 16*q. Let r be i(-2). Solve 0*v - r = 2*v for v.
-2
Let g be (30/4)/(3/4). Suppose -99 = -5*t - 3*d, 66 = 4*t - 0*t - 2*d. Let c be (-29)/(-5) + t/90. Solve c*j - g = j for j.
2
Let s(g) = g**3 + 11*g**2 - 13*g - 10. Let y be s(-12). Suppose -5*q = -12 + y. Solve -q*b + 0*b - 10 = 0 for b.
-5
Suppose 0 = -6*k + 5*k. Suppose 0 = 5*w - k*w. Solve 5*p + w*p = -25 for p.
-5
Let l be (19 - (-1568)/(-80))/((-2)/10). Suppose -4*c = c. Solve l*q + q = c for q.
0
Suppose 2 = 4*s - 10. Let k(w) = 2*w**2 - 4*w - 1. Let m be k(3). Let j be (-21)/7*5/30*-4. Solve -s = -j*r - m for r.
-1
Suppose 0 = 3*s + 81 - 93. Solve x + s = -3*x for x.
-1
Suppose 150 = 3*m + 3*m. Suppose 23 = 4*q + 3*n, -3*n - 2*n + m = 0. Solve -q*p = 2*p for p.
0
Suppose 0*w = -5*w + 685. Let g = w + -135. Suppose -5*u + u = 0. Solve a + a - g = u for a.
1
Suppose -721*p + 4 = -720*p. Let g be 3/1*(-5)/(-3). Solve -y = p - g for y.
1
Let h = -973 + 978. Solve -120 = 19*k + h*k for k.
-5
Let p(d) = d**3 + 11*d**2 - 13*d + 13. Let h be p(-12). Suppose 0 = 3*c - 2*l + 6 - 34, -3*c + h = -5*l. Let r = -10 + c. Solve -10 + r = 5*f for f.
-2
Let u = -323 - -328. Solve 6*m = -u*m + 55 for m.
5
Suppose 8 = i - 2*y, -14 = 63*i - 66*i - 4*y. Solve i*b + 15 + 9 = 0 for b.
-4
Let f = -232 - -235. Solve f*y = y for y.
0
Suppose j - 13 = 2*z, -5*z = -9*j + 8*j + 28. Solve -j*t + 2 = -10 for t.
4
Let i(h) = -h**3 - 6*h**2 - 2*h + 19. Let f be i(-5). Solve -v = -2*v - f for v.
-4
Let m be 4/(-22) - 245/(-77). Let i = 28 + -8. Solve -o = m*o - i for o.
5
Let t = -7 + 16. Let q be 60/t - (-4)/(-6). Suppose 2*x - 16 = -2*h, 2*h - q - 1 = x. Solve -h*v = -10*v for v.
0
Let l be (10/4)/((-3)/(-6)). Suppose 0 = l*x - 2 - 8. Solve 0 = 3*p + x*p - 25 for p.
5
Suppose -6*b + b = -80. Suppose 0 = -3*v + 2 + 13. Suppose -2*i + 6 = -4*i, 30 = 3*o - v*i. Solve -y = -o*y - b for y.
-4
Suppose 6*n - 3*q = -4*q + 112, 5*n - 2*q = 99. So