t q be g(u). Solve 0 = -4*l - q*t - 2, -3*l - 2*l - 5*t = -10 for l.
-3
Suppose -5*s + 1030 - 355 = 0. Suppose 0 = -6*u + s - 15. Let y be 12*-1*1/(-4). Solve -4*x + 8*x - 20 = -4*p, 0 = -4*p - y*x + u for p.
5
Suppose 47 + 98 = 5*a. Suppose 9 = -5*n + a. Let r be (-55)/(-2 - 3) - n. Solve 4*m = -4*y, r*m + 7 = 4*m + 4*y for m.
-1
Suppose -157*l + 443 + 342 = 0. Solve 9*z = 6*z - l*y, 3*y = -z + 4 for z.
-5
Suppose 3 = -6*v - 15. Let n be (v/18*-9)/(2/4). Solve n*r = 3*h - 3, h = 3*r + 4*h + 9 for r.
-2
Suppose -2*y + 2*d = -10, 41*d - 37*d + 4 = 0. Solve -y*l - 26 = 5*p, l + 8 + 0 = -2*p for l.
-4
Let n = 6147 - 6145. Let r(s) be the third derivative of s**5/60 + 5*s**4/24 - 5*s**3/6 - s**2. Let z be r(-7). Solve -n*u - z = -4*k + u, 0 = -k + u + 3 for k.
0
Suppose 264 = -h + 7*h. Let r(c) = 6*c**3 - 3*c**2 + 3*c - 3. Let u be r(2). Let p = h - u. Solve 0 = 5*l + p*j - j, 5*l = -2*j + 10 for l.
4
Let d be 2/7 - ((-27)/45 - 16/140). Solve -3*v - 12 = -n, -n = v - d + 9 for n.
-3
Suppose -5*w + 9 = -1. Let h be -1*128/176*22/(-4). Suppose -w*i = -u + 10, 2*u + h = 6*u + 4*i. Solve 0 = 2*k - 4*y - 6, 0 = -u*y + y - 9 for k.
-3
Let s(k) be the second derivative of k**3/3 + 4*k**2 + 12*k. Let m be s(-2). Suppose -m*h = 5*h. Solve 2*g - 4*r = 8, h*r + 3*r - 3 = -3*g for g.
2
Suppose c + 81 = 4*j - 3, 2*j + c - 36 = 0. Solve -3*l + 3*q = 10 + 2, -3*q = 5*l - j for l.
1
Let a = 342 + -331. Suppose 3*t = -a + 20. Solve 2*s = -t*h - 13 + 2, 4*s + 19 = -3*h for h.
-1
Let m = 6467 + -6213. Solve 22 = -r + m*g - 250*g, -2*r = 5*g - 21 for r.
-2
Suppose -2*y + 5*u = -167, -3*u - u = 4. Let c be (4/(-6))/(305/(-915)). Suppose -y = -i - c*i. Solve 3*g + i = -4*f, 3*g + 4*f + 7 = 4*g for g.
-5
Let a(u) = -18*u**2 + 102*u - 18. Let s be a(6). Let v be 4/36 + (-156)/s. Suppose 2*p - 6 = -0*p. Solve -v*i + m - 7 = -4*i, 7 = 4*i - p*m for i.
4
Suppose -3*w + 4*v + 909 = 0, -6*v = 3*w - 3*v - 930. Let k = w + -302. Solve 0 = 2*l + 4, 4 = -k*s - 2*l - 0*l for s.
0
Let m(b) be the first derivative of b**3/3 - 41*b**2/2 - 37*b + 148. Let t be m(42). Solve -17 = -z - 4*x, 7 = -t*z + 4*x - 28 for z.
-3
Suppose 2089 = -4*y - 3*u, -2*u + 1034 = -0*y - 2*y. Let j = y - -528. Suppose 0 = -q - 10 + 25. Solve -4*p = b + j, 3*p + 2*p - q = 5*b for p.
-1
Let z(l) = -23*l + 27. Let v be z(6). Let m = v + 111. Solve -3*b - i - 14 = m, 5*b = -0*b + 5*i - 30 for b.
-5
Let t(n) = -n**3 + 16*n**2. Let u be t(16). Let a = -164 + 167. Solve 5*q - 3 = 2*f, -a*f + 6 = -u*q + 3*q for f.
1
Let z = -684 - -712. Suppose -26 = -5*u + 25*w - z*w, 0 = 3*u + 4*w - 20. Solve u*c + 0 = -4, 5*d + c - 14 = 0 for d.
3
Suppose -9 = -4*a + 23. Suppose 0 = 3*l - a + 2. Suppose 14 = -31*p + 138. Solve -l*i = -t - p, 2*i + 5*t + 0 - 4 = 0 for i.
2
Let y = -14335 + 14335. Solve y = -r + 6*p - 4*p + 3, -3*r + 4*p = -3 for r.
-3
Let g be 33/1*(-6 + 5). Suppose -2*u - 56 - 6 = 0. Let l = u - g. Solve c - 4*y = -3*y - l, -9 = 2*c + 3*y for c.
-3
Suppose 3*g - 7 = -5*o, g + 3 = -2*o + 4. Let n(b) = 2*b. Let y be n(2). Suppose -y*m + g = 1. Solve -m = -q, -4 + 0 = -f - 3*q for f.
-2
Let r be (-30)/((-29 + -10)/13) + 5. Solve -3*c - 3*p = r, -2*c = -117*p + 120*p + 13 for c.
-2
Suppose -5*x - 17*x = -12*x. Solve 5*f + 2*a + 1 = x, f = a - 2 - 1 for f.
-1
Suppose -4*g + 5*l + 25 = 0, 5*g - 12*l = -11*l + 26. Suppose 4 = 3*a - 17. Solve b - z - 4 = 0, -g*b - z + a = -1 for b.
2
Let v = -33 + 47. Suppose -n - 3*k = -16, 5*n - 3*k - k - 80 = 0. Let p = n - v. Solve a = -p*o - 4 + 1, -1 = o for a.
-1
Let k(s) = -5*s**3 - 94*s**2 + 17*s - 36. Let l be k(-19). Solve -b = -3*i + 17, -4*i + l*b = -37 + 11 for i.
4
Suppose -10*k - 38*k = -11*k - 148. Solve 6*f + 3*y = k*f, 5*f + 19 = 2*y for f.
-3
Let l be (-3)/((-6)/4) - 1*(-84)/28. Solve -6*m + 8*m = -l*w + 10, -m + 4*w = 8 for m.
0
Let h(c) = -2*c - 22. Let w(v) = -v - 10. Let r(p) = -3*h(p) + 7*w(p). Let t be r(-5). Solve -a - 4*m + 0 = -9, 3*a - 2*m = -t for a.
1
Let y = -119 - -123. Suppose w = -y*w + 45. Suppose 10*c - 59 = -w. Solve 23 = 3*b + 4*z, -3*z + 26 = c*b - b for b.
5
Suppose 3*d + 0*d - 27 = -3*p, 5*p - 5 = 5*d. Solve -3*o + d*u = 0, -o = 3*o + 4*u for o.
0
Let v = -1363 - -1368. Solve -4*h - v*s - 45 = 0, -s - 25 = 6*h - 2*h for h.
-5
Let u = 867 - 886. Let y be (u - -10)*(-3)/27 + 3. Solve 11 = -p - 5*w - 10, -16 = y*p + 3*w for p.
-1
Let q(c) = -c**3 + 7*c**2 - 12*c + 13. Let a = 198 + -193. Let r be q(a). Solve 3*n = -u - 13, u - 2 = r*u for n.
-4
Suppose 17 = 3*p - 4*k, -5*p - 2*k = -2 - 9. Suppose 0*f = -7*f. Suppose -12 = -4*m - f. Solve 2*s + m = -p*c + 5*s, 3*s - 3 = 2*c for c.
0
Let i(g) = g**3 - 4*g**2 + 6*g. Let c be i(4). Let m = c - 21. Let p(t) = 7*t - 5. Let a be p(1). Solve -m*o + 7*o + 14 = 5*y, 4 = y - a*o for y.
2
Let k = 11 + -3. Suppose -3*b = b - 4*w + k, -b - 2 = -3*w. Let r be -1*(4 + b)*-1. Solve r*f + 16 = -z - z, -3*z = f + 16 for f.
-4
Suppose -57*p + 101*p + 190*p = 702. Let i(a) = -a**3 + a + 6. Let f be i(0). Solve 2*r - 13 = z, -f*z = p*r - z for r.
5
Suppose -2503 = 23*d - 2871. Solve 16*r - 11*r + 2*y = -18, -5*r - d = 4*y for r.
-4
Let y(t) = -t**3 + 11*t**2 + 17*t + 17. Let i be y(11). Let f = i - 202. Solve -3*l + 6*s - f*s = 4, -4*l = -5*s + 6 for l.
-4
Let x(u) = -59*u - 54. Let r be x(-1). Solve -r*f - 14 = -4*w + 21, -5*w - 4*f = -13 for w.
5
Let l(n) = -21*n + 1706. Let o be l(81). Solve 0*w - 16 = o*w - s, s = 1 for w.
-3
Let z = 27 + -18. Let o = -2802 + 2804. Let k(n) = n**3 + 4*n**2 - 5*n + 4. Let x be k(-5). Solve 2*i = o*w - 12, -3*w + z = -4*i - x*w for i.
-3
Let i(b) = 4*b**2 + 38*b - 18. Let t be i(-10). Suppose t*j + 12 = -4*l, l = 10*j - 6*j - 3. Solve 0 = -3*o - 7 + 1, -4*z - 4*o + 12 = j for z.
5
Let k(d) = d**3 + 12*d**2 - 13*d + 5. Let p(x) = -11*x + 53. Let m be p(6). Let i be k(m). Solve 5*w + g = -23, 0 = 6*w - 4*w - i*g - 7 for w.
-4
Let h(s) = -s**3 - 29*s**2 - 27*s + 33. Let w be (-125 + 55)*(-2)/(-5). Let r be h(w). Solve -4*i = -2*z + 7*z - 3, 0 = r*z - i + 7 for z.
-1
Let h be 19 + -4 + 15/5. Suppose -3*o - t - 5 = -29, 3*o - h = -3*t. Solve 12 = -0*w + 2*w + 5*m, -o = -w - 4*m for w.
1
Suppose -x + 2*i = -168, 3*x - 80*i = -84*i + 504. Solve 5 = 5*n + 5*t, 167 = -5*n - t + x for n.
0
Suppose 2*d = -5*j + 35, -1 = -2*d - 2*j + 19. Let t be (126/35)/(-9)*-10. Solve 5*q - 4*x - x + d = 0, -q + 2 = -t*x for q.
-2
Suppose -9*d = -24*d. Let v(p) = 7*p + 7. Let b be v(d). Solve -b = -5*h + 3*m, -h + 0 = m - 3 for h.
2
Suppose 4*h - 316 = -4*p + 2*p, -3*p - 632 = -8*h. Let a be (-2)/(((-3)/26)/(-3)). Let b = h + a. Solve -3*t - 6 - 11 = -2*i, -3*i + b = -5*t for i.
4
Let y = 5247 - 5246. Solve 4*t = 4*f - 8, -f + 2*t = -5 - y for f.
-2
Let v be (-123)/(-7) + 54/(-21) + 3. Suppose 0 = -y + 10*y - v. Solve -4*s = y*m - 12, 2*s - 4*m + 8 = -6 for s.
1
Suppose -55*o + 6*o + 245 = 0. Solve 10 = 3*t + 9*f - 10*f, 0 = o*t - 2*f - 15 for t.
5
Let y be ((-84)/63)/(12/(-45)). Solve 9*o - y*o - 16 = 0, 4*s - 4*o = -28 for s.
-3
Let z(h) = h**2 + 12*h - 8. Let x be z(-13). Suppose -x*s = -5*k - 15, 1 = -2*s - 5*k - 0. Solve 3*j = s*b + 3, 3*b + j = 4 - 14 for b.
-3
Suppose -4*a + 7 = -1. Let t = 247 - 243. Suppose t + 2 = -2*o, a*v - 4*o = 20. Solve -v*y = 16, 13 + 23 = 4*z - 4*y for z.
5
Suppose -k - 14*s + 12 = -9*s, -3*k = s - 8. Suppose 2*v = -v + k*v. Solve -4*i + f + 7 = v, -2*i - 3*f = -4*i + 11 for i.
1
Let m(n) = -n**2 + 16*n - 59. Let s be m(7). Suppose s*v = -5*u + 4, -v + 2*v - 1 = -2*u. Solve 0 = -k + p - 2, -5*k + u*p + 3*p - 10 = 0 for k.
-2
Let i be ((-22)/(-55) - 6)/((-2)/10). Suppose -96*x = -95*x - 3. Solve -x*u = 12, -4*g + 2*u - i = 7*u for g.
-2
Suppose -c = c - 10, 4*g - 31 = -3*c. Suppose -o + g*o = 12. Let t = 367 + -365. Solve 0 = o*a - 4*l - 0*l + 8, 0 = -t*a - l - 7 for a.
-3
Let b be 3/12 + (2247/28)/3. Suppose -2*r - h = -18, b = r - 4*h + 9. Solve -5 = l, g + 2*l = -2*g - r for g.
0
Let y = -6008 + 6013. Solve -3*n - 31 = -y*h, -461 + 445 = 3*n - 2*h for n.
-2
Let u(t) = -t**3 - 5*t**2 + 11*t + 3. Let o(p) = -p**3 + 4*p**2 - 11*p + 37. Let r be o(4). Let z be u(r). Solve 4*y + 4*q + 4 = 0, 3*q + 11 = 5*y - z for y.
4
Suppose -25 = -3*g - 4*u, -4*g + 32 - 4 = 4*u. Suppose 0 = -g*l - 2 + 11. Solve 2*y - y = 3*w + 18, l*y - 3*w = 24 for y.
3
Let v(g) = g**3 - 7*g**2 + 3*g - 