/88). Let z = v - -15. Suppose 5*h = 23 - 3, -2*c = z*h - 20. Solve l + 0 = -c for l.
-2
Suppose -346*k = -384*k. Suppose 2*u = 5*z - u - 6, 4*u = 12. Solve k = 4*l + 1 + z for l.
-1
Let m(p) be the first derivative of -3*p**4/4 + 2*p**3/3 + p**2 + p - 5. Let f be m(-1). Suppose f*j = -j + 15. Solve j = -k + 5 for k.
2
Suppose 11*b - 9*b - 6 = -2*z, 0 = -4*z - 2*b + 8. Solve 1 + z = -2*t for t.
-1
Let q(b) = 3*b - 3. Let u be q(0). Let x be u/(3*(-3)/9). Solve -x - 1 = i for i.
-4
Let w(k) = -k**2 + 12*k + 28. Let h be w(14). Suppose -15*j + 20*j - 20 = h. Solve g = -0 - j for g.
-4
Let u = 136 - 131. Solve -u*z + 17 - 2 = 0 for z.
3
Let z = 150 - 147. Solve -z*s = -2*s for s.
0
Let z be 1 + -5*(-16)/40. Solve 0 = -4*j + 19 - z for j.
4
Suppose 5 = 4*o + 1. Let b = 3252 + -3249. Solve 2*u + b = -o for u.
-2
Suppose -5*x + 20 = 5*n, -5*n + x + 20 = -x. Suppose -n*z + 15 = z. Let w be z/(-6) - 6/(-4). Solve w + 19 = -5*r for r.
-4
Let h(o) = -5*o - 15. Let i be h(-6). Suppose 2 = -3*t + 4*g + 24, 3*g = -3*t + i. Let n be (4 - t - 2)/(-2). Solve -3*j = -1 - n for j.
1
Suppose 0 = -2*n - 2*i, -4*n - i = -2*i. Suppose 2*q = -3*r + 22, -3*q + n*r + 11 = -r. Suppose -4*x = -q*x. Solve x*d - 1 = -d for d.
1
Suppose 5*y - 3*v = 1 + 3, -2 = 2*y - 3*v. Let i(o) = 13*o**2 + 16*o - 17. Let g be i(1). Solve -y*h = h - g for h.
4
Suppose 17*t - 15*t = 4*d - 34, 2*t = -5*d + 38. Solve -7*z + d*z = 3 for z.
3
Suppose l - 5*o + 23 = 0, -2*l - 3*l = -2*o. Solve g + l = 5 for g.
3
Let f be ((-2)/(-3))/((-1)/(-6)). Suppose -4*d + f*i = 2*i - 4, 0 = d + 5*i + 10. Let m = 6 - 2. Solve m = -d*k - k for k.
-4
Suppose 0 = -0*p + 5*p - 10, -2*l = -3*p + 4. Solve 16*z = 17*z + l for z.
-1
Let t(y) = -y**2 - 4*y + 7. Let r be t(-5). Suppose z - 3 = -2*h, 6 = h + z - r*z. Let c be (-1 - (-18)/h) + 1. Solve -c = -4*b - 2 for b.
1
Let x(z) = -z**2 + 20*z - 60. Let m be x(7). Solve -6 = 5*q - m for q.
5
Suppose 78*i + 12 = 80*i. Solve -i = -17*o + 20*o for o.
-2
Suppose 1 = 3*v + 4*j + 2, -8 = 2*j. Solve -45 = v*y - 14*y for y.
5
Suppose -j - 5*p - 13 = 0, j + 3 + 4 = -3*p. Suppose j*g - 2 - 10 = 0. Suppose 4*x - g = x. Solve -x - 3 = -n for n.
5
Suppose -12 + 2 = -x. Let k be 72/x + (-7)/35. Let t be ((-2)/k)/((-3)/21). Solve 0 = -t*p + 1 - 3 for p.
-1
Let y = -2269 + 2273. Solve 58*u - 60*u = y for u.
-2
Let s = -108 - -96. Let j be 3/(3 + 27/s*1). Solve 0 = -j*k + 8*k - 8 for k.
2
Let f be -8 - (0 + 2)/(-2). Let a = 7 + f. Let n = 0 + a. Solve 12 = -n*d + 3*d for d.
4
Suppose 128 = 70*b - 12. Solve -6 + 4 = b*c for c.
-1
Suppose -1225 = -14*q - 35*q. Solve -h + 29 = q for h.
4
Let s(j) = -j**3 - 18*j**2 + 19*j + 2. Let u be s(-19). Suppose -2*l + 22 = c - 0*c, 0 = -5*c + u*l + 62. Solve -c = 4*f + 2 for f.
-4
Suppose -g = -10*g + 27. Suppose -9 - 91 = -5*t. Solve g*z + z = -t for z.
-5
Let c = -6 + -12. Let z be c/(-8)*4/3. Solve z*d - 9 - 3 = 0 for d.
4
Suppose 4*g = 3*z - z + 14, -30 = -5*z - 3*g. Suppose -4*w + 2*v + 12 = 0, -3 = -w + 8*v - z*v. Solve 4*y = w*y + 5 for y.
5
Suppose 2*t - 3*l = 15, 4*t - 3*l - 27 = 2*l. Suppose -t*u = 3*u - 30. Solve 0 = o - 0*o + u for o.
-5
Suppose 0 + 66 = -5*x - 3*q, -6 = x - 3*q. Let m = x - -12. Suppose -z + 6*j - 2*j + 28 = 0, m = -5*j. Solve 0 = 5*n + 3 - z for n.
5
Let j(m) = m. Let n(r) = -7*r + 6. Let x(q) = -6*j(q) - n(q). Let u be x(6). Solve -5*g + 0 - 5 = u for g.
-1
Let p = -28 - -67. Let q = p - 34. Solve 6 + 9 = q*s for s.
3
Suppose 0 = 5*a - 3*a. Suppose -4*r - 2*n + 4 = -a*n, 5*r + 3*n = 6. Suppose t - 5 = -r*t. Solve -b - t = 4*b for b.
-1
Suppose 0 = 3*n + 459 - 495. Solve -12*z + 6*z + n = 0 for z.
2
Let k be (-1)/(-1 - 6/(-4)). Let t be 14*4/(-6 + k). Let q = t - -11. Solve q*f + 6 = f for f.
-2
Suppose n - 9*n = -24. Suppose -5*o = -d + 9, -o + n = 4. Solve -d*s + s = 0 for s.
0
Suppose -6*t + t + 15 = -2*r, 2*r - t = 5. Suppose 11 = -3*h + 2. Let v = r - h. Solve 5 = 3*z - v*z for z.
-1
Suppose 3*u - i = 330, 474 = 4*u - 2*i + 36. Solve 115*b - u*b = 12 for b.
3
Suppose 271*s = 270*s - 2*c + 2, 5*s - c - 65 = 0. Solve -11*a + s*a = 4 for a.
4
Let u = -45 - -21. Let i = -2 - u. Let k = i - 15. Solve -3*o = -k*o + 20 for o.
5
Suppose -4*b = -i + 9, -i + 7*b = 2*b - 10. Suppose 0 = i*z - s - 44, -z - 2 = -4*s - 7. Let r = z + -6. Solve -r*a = 2*a + 20 for a.
-4
Suppose 30 = 3*j + 2*j. Suppose w - 2*w + 14 = 5*m, 2*m - 26 = 3*w. Let n = -3 - w. Solve -j*l + n*l = -9 for l.
3
Let o = 974 + -710. Solve -g = -o + 263 for g.
1
Let c(a) = 2*a**2 - 17*a + 10. Let y be c(8). Let v be y + -3 - (-5 + 4). Solve v = -4*z + 2*z for z.
0
Let i be (-556)/(-139) + (2 - 2)/2. Solve 4 = -i*g - 4 for g.
-2
Suppose 0*p - 3*p = 3*b - 69, -p = -2*b + 37. Let n(l) = -l + 6. Let r be n(3). Solve -2*q = r*q + b for q.
-4
Suppose -2*o - 4 = 0, -2*o = 3*u - 6*o - 8. Suppose -3*y - 3*s + 45 = u, 35 + 4 = 3*y + s. Let r be (-10)/(-3) + 8/y. Solve w + 0 = r for w.
4
Let u = -21 - -24. Suppose 2*w + 8 = 0, 7 = 5*h + 4*w - 2*w. Solve -u + 6 = -h*q for q.
-1
Let p be (10/4)/((15/(-6))/(-5)). Suppose -2*m + 18 = -4*y, -p*m + y = 4 - 22. Suppose -5*t = -0 - 5. Solve z - m = t for z.
4
Let x(b) = 3*b**3 + b**2 - 2*b + 2. Let q be x(2). Let a = q - 22. Solve 0 = -a*c - c + 15 for c.
3
Suppose 0 = 3*o - 4*g - 28, -5*o + 2*g - 8 + 36 = 0. Let l be o/((-4)/(3 - 7)). Solve -l*n + 21 - 5 = 0 for n.
4
Suppose -121*q - 15 = -126*q. Suppose 4*l = -0*d - 3*d + 77, -4*l + d + 81 = 0. Solve l = -2*x - q*x for x.
-4
Suppose 3*u + 16 = 2*v, v + 6 = 3*u - 5*u. Let x = 629 + -614. Let m = -25 - -25. Solve m = -l - v*l + x for l.
5
Let a = -1 + 3. Suppose -90 = -4*o - a*o. Suppose 3*v = 6*v - o. Solve 0 = v*x - x for x.
0
Let d(w) = w**2 + 14*w + 27. Let a be d(-2). Solve 5*s + a = -12 for s.
-3
Let o(h) = h**3 + 4*h**2 - 2. Let i be o(-1). Let p(j) = -j**2 + 5*j - 4. Let t be p(4). Solve s + t*s = i for s.
1
Let f(s) = 2*s**2 + 17*s - 27. Let t be f(2). Solve 12*v - t*v - 15 = 0 for v.
-5
Let x = -50 - -78. Let t be 6 + ((-21)/x)/((-2)/(-8)). Solve 0 = -i - t*i for i.
0
Let v = 15 + -10. Suppose 0 = v*t + 5, g + 0 = 4*t + 8. Solve 0 = -g*a - 2 + 18 for a.
4
Suppose -2*w = 2*u - 112, 0 = -u + 3*w + 68 + 8. Solve -15*c - u = -16 for c.
-3
Let z(m) = 13*m - 5 + 3 + 3 - 12*m. Let g be z(5). Let f(y) = -5*y - 1. Let u be f(-1). Solve -u*h = -22 + g for h.
4
Suppose 3*z - 12 = 2*m, 4*z = -4*m - 7 + 23. Solve m = 4*r - 20 + 4 for r.
4
Suppose 32 = 5*m - 233. Let d = 68 - m. Solve -9 = 3*c - d for c.
2
Let w = 10 - 9. Suppose 41 - w = -5*y. Let a be y/3*12/(-16). Solve a*f = -f for f.
0
Suppose -6*l = -3*l + 4*b - 23, -5*l + 3*b + 19 = 0. Solve 0 = -l*a - 2 - 3 for a.
-1
Let j be ((-10)/(-4))/((-10)/(-72)). Solve 21 = j*y - 25*y for y.
-3
Let o be 9/(-12)*40/(-2). Let k be 0 + 3 + (o - 2). Solve -l + k = 3*l for l.
4
Suppose -2*b - 14 = -4*n, 2*n - 24 = -5*b + 1. Suppose -6 + 21 = n*v. Solve -1 = -v*p + 14 for p.
5
Suppose -4*p + 21 = 5. Suppose 63 = -5*c + 12*c. Solve c = p*s - 7 for s.
4
Let z = 310 - 307. Solve 1 = -z*d - 2 for d.
-1
Let n = -7 - -1. Let w(z) = z - 6. Let r(q) = -1. Let m(t) = n*r(t) + w(t). Let i be m(4). Solve i - 8 = -2*b for b.
2
Let n = -605 + 611. Solve 0 = -n*m + m - 15 for m.
-3
Suppose 2*p - 4*h = 10, p = h - 0 + 10. Solve -2*s - p + 17 = 0 for s.
1
Suppose 5*c + 3*k - 16 = 18, -5*c + 5*k = -10. Let r = -129 + 132. Solve 8*a + r = c*a for a.
-1
Let y = -4 + 16. Let l = y + -7. Suppose 4*f - 5*q - 6 = 0, -2*f - 3*q + 9 = -l. Solve -2 = -f*z - 6 for z.
-1
Suppose 0 = o - 3*u - 23 - 6, 2*u = 2*o - 46. Solve o = -14*m + 10*m for m.
-5
Let u be (-5)/1*13/((-130)/4). Solve 0 = -u*p + 6 - 10 for p.
-2
Let b = 78 - 76. Solve i + b = 1 for i.
-1
Let t = 967 + -959. Solve -6*d + 8*d = t for d.
4
Let j = -28 + 52. Suppose 8 - j = -2*c. Suppose -5*v = -9*v + c. Solve -v*p = -3*p + 5 for p.
5
Let b(x) = -x**3 + 16*x**2 - 25*x - 30. Let z be b(14). Solve 16 - z = -2*r for r.
-2
Suppose o + 18 = 5*k - 3*o, 39 = 5*k + 3*o. Solve -6 = -4*l + k for l.
3
Let y = 420 + -415. Solve y*g - 10 = -15 for g.
-1
Let m be 256/22 + (-164)/(-451). Solve k + m = -3*k for k.
-3
Let t be (8/9)/(250/(-90) - -3). Solve -3 = t*f + 17 for f.
-5
Let o = -58 + 86. Let v be (o/35)/(4/10). Suppose v = -h - f, -3*f = f + 16. Solve -5*l + 3 + h = 0 for l.
1
Let k(s) = -6*s - 66. Let