= -17 - -13. Let k be l(d). Let p = k - 11. Solve 2*b + b = -p for b.
-1
Let b be (280/7)/8 + -1 + 0. Let y be 1*((3 - 2) + 19). Solve -b*h + 0*h + y = 0 for h.
5
Let u be (3/3)/(1/5). Suppose -32 = -2*w + 44. Suppose -3*p - 2*s - 5 + 67 = 0, 0 = -2*p - 3*s + w. Solve u*v + p = 2 for v.
-4
Suppose z + 23 = 5*r, 0 = 10*z - 7*z + 9. Let o = -10 + 14. Suppose -k + 72 = o*k - 4*h, 2*k - 4*h = 24. Solve 0 = -0*v - r*v - k for v.
-4
Suppose 2*r - 3*f - 1 = 0, -19 = 26*r - 29*r + f. Solve -21*x = -13*x + r for x.
-1
Let h = -135 + 150. Solve 0 = 3*o - 12 + h for o.
-1
Suppose 7*p + 7*p = 4*p. Suppose 2*i = i + 6. Suppose 2 = 2*h - i. Solve h*j + p*j - 4 = 0 for j.
1
Suppose 6*t - 16 = 14. Solve t*y = y + 16 for y.
4
Let y(t) = -t**2 + 13*t + 1. Let f(u) be the third derivative of u**4/12 + u**3/6 - 8*u**2. Let l be f(6). Let x be y(l). Solve -3*s = 2 + x for s.
-1
Suppose -6*h + 59 = -115. Suppose 0 = -5*j + h + 11. Solve -4*m - j = -0*m for m.
-2
Let r(x) = -x - 27. Let f be r(-43). Solve -13*u + f*u + 9 = 0 for u.
-3
Let q = -741 + 855. Solve -q*h = -117*h for h.
0
Let q = -288 - -291. Solve 4*j - 5*j = -q for j.
3
Suppose -9*u + 736 = 691. Solve 0 = -u*l + 20*l - 75 for l.
5
Let n be 2*3 + (-7 + 6)*2. Solve z + n - 8 = 0 for z.
4
Let p = 44 - 35. Suppose -3*q + 0*s - s + p = 0, 5*s = 0. Solve q = 4*n - 1 for n.
1
Suppose -4*i + 2 = -3*i. Let q(k) = -k**3 - 4*k**2 - 3*k + 2. Let l(a) = -3*a**2. Let u be l(-1). Let m be q(u). Solve -i = m*t - 4 for t.
1
Let w be (-5)/(-10) - (-9)/2. Let b be 3 + -4 + w - 3. Solve 2*i = b - 9 for i.
-4
Suppose 6*b - b - 60 = 2*y, -2*b + 5 = 3*y. Solve -80*t = -82*t - b for t.
-5
Let t be 2*(-123)/(-78) + (-4)/26. Suppose -2*b + 21 = 3*k + t, -3*b + 6 = k. Solve -k - 6 = -3*d for d.
4
Let z(d) = 2*d - 4. Let a be z(3). Suppose 5*w - 5*j - 5 = 0, -j = 4*w - a*j - 10. Let g = -191 + 201. Solve -2*m = w*m + g for m.
-2
Suppose 33*s - 34*s - 5*p + 30 = 0, 58 = 3*s - p. Solve -12*m - s = -17*m for m.
4
Let v(u) = u**3 - 6*u**2 + 3*u + 5. Let q be v(6). Suppose 3*z - q = -y, -4*z - 3 + 7 = -2*y. Suppose d - 4 - 4 = -4*b, 4*d + 4*b = y. Solve d*k - k = -2 for k.
2
Suppose 3*m - 122 = -32. Suppose 3*c = m - 6. Solve c = -2*i - 0 for i.
-4
Let l(p) = 50*p - 41. Let s be l(2). Solve -6 = -62*a + s*a for a.
2
Suppose -x + 5*r = -26, -x - 2 = -4*r + 6*r. Let v be 1 + 8 + 3 + 2. Suppose -4*t + 26 = 3*m, 0 = 2*t - 4*t - 2*m + v. Solve t*b - 14 = x for b.
4
Let i be -1*9/(-12) + 126/56. Solve i*a - 3 = 4*a for a.
-3
Let c be ((-1)/(-4))/((-9)/(-468)). Suppose 2*f - 5*f - 7 = 4*z, 3*f + c = -z. Suppose -3*v + 8*v = 4*o - 10, 0 = -z*o + v + 8. Solve -1 + o = -p for p.
-4
Suppose -1 = 5*w - 16. Let p = -7 + 22. Suppose -3*l + 1271 = 1253. Solve -w*i + l*i = -p for i.
-5
Let y(q) = -q**2 + 11*q + 3. Let r be y(11). Let i be r*1 + 4/(-2) - -2. Solve 3*c - i = 3 for c.
2
Suppose 34*o - 161 + 25 = 0. Solve -v + 6 = -o*v for v.
-2
Suppose 3*m = -3 + 3. Suppose m*o - 3*o = 0. Solve o = n + 4*n + 25 for n.
-5
Let k = 268 + -253. Let z(u) = -12*u**3 - u**2 - u. Let x be z(-1). Suppose r = -3*r + x. Solve r*i + 2*i - k = 0 for i.
3
Suppose 0 = g + g. Let b = 63 - 47. Let v be 3/((b/(-20))/(-4)). Solve -v = -g*n - 5*n for n.
3
Suppose -b + 4*b - 4*l - 4 = 0, 3*l = 15. Suppose 0 = 2*k + 2*k - b. Suppose -4*g + c = -21, 3 = 3*g - 4*g + 3*c. Solve -t - g = k*t for t.
-2
Suppose 4*d - 20 = -7*z + 4*z, 5*d - 35 = -5*z. Solve -z + 8 = -8*f for f.
0
Suppose 6*b = 15*b - 90. Solve b - 6 = -4*f for f.
-1
Let t = 310 - 310. Solve t = 4*p - 12 - 4 for p.
4
Let u = -1644 + 1653. Let t = -6 + 10. Solve u*o - 10 = t*o for o.
2
Suppose -39*v = -56*v. Suppose -2*h - c + 0*c = -8, 5*c = -h + 22. Suppose 0 = 3*s - 3*b, 5*s + 6*b - h*b - 9 = 0. Solve v = -2*i + 1 + s for i.
1
Let r = -16 + 20. Let s be -1*(-6 - -1) + 36/(-9). Solve -9 = -r*z - s for z.
2
Let v = -15 - -17. Suppose -l = -5*x + 11, 2*l - l = 2*x - v. Let p be ((-10)/l)/(4/(-8)). Solve -p*z - 17 = -2 for z.
-3
Let u = 13 - 9. Suppose 7*v - u = 101. Solve 2*y = -y + v for y.
5
Let m(n) = -n**2 + 11*n - 7. Let k be m(8). Suppose k*f = 13*f + 8. Let h be ((-4)/(-10))/((-1)/(-5)). Solve f = 4*j - h for j.
1
Let l be 1 + -4 + 7 + -1. Let d = -85 + 86. Solve -7 = l*v - d for v.
-2
Let d(h) = -h**3 - 5*h**2 - 5*h + 2. Let a be d(-4). Let v = a + -3. Suppose -14*y - 2*y = -80. Solve 0 = y*u - 7 - v for u.
2
Let q = 1 - -1. Suppose -7*x + q*x = -270. Suppose -5*r = -26 - x. Solve 6 - r = 5*p for p.
-2
Suppose 0 = -3*z - v + 11, -2*z + 10 = -7*z + 4*v. Let o = z + 1. Let u(m) = m**2 - 8*m + 17. Let i be u(5). Solve i = -o*a - 1 for a.
-1
Let m = 222 + -167. Solve 2*y = -9*y - m for y.
-5
Suppose 4*y - 28 = -4*s - s, 0 = -4*y - 2*s + 16. Solve 3*i + y + 13 = 0 for i.
-5
Suppose z + 199 = 5*c - 30, -2*c - 2*z + 82 = 0. Suppose -7*g - 2*g = -c. Solve 11 + 14 = -g*j for j.
-5
Let d be (2 + -2)/(-8 + 6). Let y be 5/((-10)/(-4)) + d. Suppose y*q = -5*q. Solve 2*f - f - 1 = q for f.
1
Let m = 324 - 304. Solve 0*s - m = 5*s for s.
-4
Suppose -3*x + 9 = -0*x. Suppose 0 = 4*n - 20, 0*w = -2*w - 5*n + 19. Let f be 1 - (1 + w + 1). Solve -f*j - 5 = -x*j for j.
5
Let s(l) = l**2 + 3*l. Let o = 52 - 56. Let z be s(o). Solve 0 = -z*c - 1 - 15 for c.
-4
Let w(h) = h**2 + 50*h + 230. Let a be w(-5). Let r(j) = -2*j + 4. Let v be r(-3). Let p(n) = -n**3 - 7*n**2 - 6*n. Let g be p(-6). Solve g*t - a*t = v for t.
-2
Suppose -4*v = 5*r + 3, 5*v + 6*r = 2*r - 6. Let j be (v/6)/(2/(-6)). Let d be (10/5)/j + -2. Solve -2*u - 4 - 4 = d for u.
-4
Suppose -5*c + 10 = 5*f, -4*f + 2*f - 10 = 0. Solve l - c*l = -12 for l.
2
Suppose -3*x - 14 = -11. Let t be 34/12 - x/6. Solve 3*w + t = 2*w for w.
-3
Let s(o) = o**3 - 13*o**2 + 39*o + 8. Let g be s(8). Solve -t + t - 2*t = g for t.
0
Suppose 0 = -b + 2 - 0. Suppose 3*q = -3*n + n + 11, -2*q = -n + b. Suppose -4*m - 2*o = -8, -3*m + n*m = -2*o - 1. Solve j + m = -0*j for j.
-3
Let c(g) = -5*g + 1 + 3*g**2 - 2*g + 11*g + 2. Let i be c(-1). Solve 2*r + i - 10 = 0 for r.
4
Suppose 5*v + 0 = 15. Let l be (8/8)/(-1) + v + -1. Solve -d - l - 1 = 0 for d.
-2
Let r(w) = 2*w**2 - 37*w - 210. Let n be r(-5). Solve -13 = 6*t - n for t.
2
Suppose 20 = -10*p + 50. Solve 2*l - p*l = 0 for l.
0
Suppose -2*x - 12 = -12. Suppose x = -2*d - 6*v + 2*v + 22, 4*v - 13 = d. Solve -d*l = 6 + 3 for l.
-3
Suppose -4 = -p + 2*t, 0 = 2*p + 44*t - 39*t - 17. Solve -11*o + p = -9*o for o.
3
Let o(p) = 8*p**2 - 7 + 17 - 19*p**2 + 12*p**2 + 9*p. Let m = -29 + 20. Let r be o(m). Solve -r = l + 4*l for l.
-2
Let g = -240 + 245. Solve -g*l = -0*l for l.
0
Suppose -4*p = 11 - 3. Let q be 6*p/4*-1. Solve q = -s + 4*s for s.
1
Suppose -6*c = 95 - 365. Let r = 51 - c. Solve 0 = 9*t - 7*t + r for t.
-3
Let w be 546/12 + 6 + (-1)/(-2). Let q = w - 36. Solve -5*j = -1 + q for j.
-3
Let r be (-15)/30 - (-38)/4. Solve 5*p + 4*p + r = 0 for p.
-1
Let v(f) = -f + 10. Let s be v(6). Suppose 15 + 25 = s*d. Solve -4*t - d = t for t.
-2
Let o be -15*40/(-50) + -6. Solve p + o*p = -21 for p.
-3
Let p = -440 - -450. Solve -1 = p*y - 9*y for y.
-1
Suppose 0*r + 3*i - 33 = -2*r, -4*i = 4. Suppose -2*s = -4*s + r. Let b be 50/3 + (-6)/s. Solve 3*f + f = -b for f.
-4
Let v = -39 - -43. Let m be -3 + 162/30 - v/10. Solve 3*g + m*g = 0 for g.
0
Suppose 5*t = 4*q - 23, -q + 13 - 2 = 4*t. Solve 0 = -4*m + q - 15 for m.
-2
Let m(u) = -u**3 - 3*u**2 + 7*u - 5. Let y be m(-5). Let p = 10 - y. Suppose -3*f + p*f = -9. Solve -14 - 1 = f*s for s.
-5
Let l be (1 - (-58)/(-4))/((-315)/630). Solve -l + 31 = 2*g for g.
2
Suppose -2*f = 2*k - 90, -5*f - k - k + 240 = 0. Solve -p + 47 = f for p.
-3
Suppose 0 = -5*l + 5*u - 5, -3*u + 32 = 4*l + 2*u. Solve 16 = l*j - 7*j for j.
-4
Let f be (5 - 5)/(1*-1). Suppose -5*w + 2 = v, f = -0*w - 4*w. Solve 6*o + 12 = v*o for o.
-3
Let u(j) = j**3 - 5*j**2 - 11*j + 32. Let d be u(6). Let y = -14 + 14. Solve y = -d*f + f - 2 for f.
-2
Suppose 0 = 4*i + 3*u - 44, -i + 3*i + 3*u - 16 = 0. Solve -3*h + i = 4*h for h.
2
Let q = -10 + 14. Let u be 11/q - (-6)/24. Suppose -u*v + v = -6. Solve 4 - 16 = -v*f for f.
4
Let b be (2 - -14 - -4)*1. Let r = -13 + 3. Let q = 15 + r. Solve -q*k = -k - b for k.
5
Suppose 33 = 2*s + 5*u, -4*s - 6*u + 3*u + 31 = 0. Let b(g) = g + 2. Let w be b(2). Solve w*z = 12 + s for z.
4
Let a(w) be