2/(-138)). Solve t = -l + 4 + 3, -l + 5*t - k = 0 for l.
2
Let p be (-20)/(-6) - 2/(-3). Suppose 2*d + 19 = 5*a, -2*a = 5*d + a - 30. Suppose -p*h + d = -h. Solve 0 = r + h, -4*w + 7*r + 1 = 2*r for w.
-1
Let l = 168 + -158. Suppose 0 = 9*m - 7*m - l. Solve 5*k + 7 = 2*n - 12, -m*n = k - 7 for n.
2
Let p be 0/(-1) + (67 + -2 - -7). Let l = -68 + p. Solve -2*q = 2*w + 3*q - 13, 4*q = 2*w - l for w.
4
Let i(t) = t + 4. Let n be i(-3). Let z = 80 - 128. Let d be ((-2)/4)/((4/1)/z). Solve -3*h + d = 5*r + n, -5 = 5*r + 5*h for r.
4
Let a be 15*(-1 + 3)/6. Let p(s) = -12*s - 346. Let u be p(-29). Solve 3*z - 3 = a*c, -3*c + u*z + 2 = 4*z for c.
0
Let z = 3651 - 3646. Solve -3*u = -4*u - 5*x - 25, z*u = 3*x + 15 for u.
0
Let d(i) = 3*i + 17. Suppose 40 - 16 = -6*t. Let x be d(t). Solve -b + 4 = -o, -x*b = -0*b - o - 24 for b.
5
Let d = 471 + -467. Suppose 0 = -d*r + 5*f + 19, r - 4*f = -0*f + 2. Solve -11 = 2*x - 3*o, 2*x - o - 13 = -r*o for x.
-1
Suppose i - 3 = 0, 2*f - 6*f + 4*i + 24 = 0. Solve 2*d + f = -4*h - 13, 2*h = -4*d - 26 for h.
-3
Suppose -2*n - 2*h - 8 = 0, -4*n + 20 = 5*h + 44. Solve -n*o - 110*p = -114*p + 24, 2*p = o + 11 for o.
-1
Suppose 9*h + 2788 = 565. Let a = h - -269. Solve 0*w + w - a = 4*s, 0 = 5*w + 2*s for w.
2
Let j be 7/(-2)*(-6)/21*8. Let i be 27/9 + j/4. Let k be 1/2*(6 - 2). Solve i*a + 2*m + 3 + k = 0, 5*a = -5*m + 10 for a.
-3
Suppose -16*p - 8*p = -48. Let q(z) = -10*z + 23. Let b be q(p). Solve o + 10 + b = 4*f, 5*f + 5 = -3*o for o.
-5
Suppose -6*k + 2 = 4*g - 8*k, g - 5*k = -22. Solve 3*z + 12 + 5 = 5*y, 0 = g*y + 3*z + 9 for y.
1
Let i be 72 + (7 - (15/(-5))/(-1)). Let n = 81 - i. Solve 0 = z - n*z - 5*a - 13, 3*z - 5*a + 1 = 0 for z.
-2
Let p(a) = a**3 - 2*a**2 - 6*a - 4. Let d be p(-1). Let q be 7/(6 + 1) - d. Solve 4*o + 6 = q*n - 8, -4 = 3*o + 5*n for o.
-3
Suppose 2*a + 81*w - 79*w - 14 = 0, 5*a + 3*w = 41. Solve -13*o - 3*m - a = -9*o, 0 = -4*o - 4*m - 8 for o.
-4
Suppose 916*g = 823*g. Solve 4*t + 2 = 3*t + k, g = -5*k + 15 for t.
1
Let h(w) = -4*w**3 + 6*w - 20. Let c be h(2). Let l be ((-10)/c)/(4/64). Solve j - 2*j + 4*s = -20, 4*s = -3*j - l for j.
4
Let k(w) = 9*w - 108. Suppose 74 = 5*d + 5*m + 24, -2*d + 18 = 3*m. Let p be k(d). Solve 2*b = q + 4*q + 5, p = b for q.
-1
Suppose -2*y - 3*u = 53 - 79, 4*u - 30 = 2*y. Solve 15 = -3*h, h + 2 = 4*s + y for s.
-1
Let b = -657 + 661. Let n(l) = -l**3 + 8*l**2 - 3*l - 21. Let u be n(7). Solve 4*q = -2*i - 4, b*i - u = -0*q - 3*q for i.
4
Let f = -3054 - -3056. Solve f*q = -8, 2*q + 28 = -i - 3*i for i.
-5
Let r(g) = -7*g + 69. Let p(m) = -8*m + 65. Let d(y) = -3*p(y) + 2*r(y). Let h be d(6). Solve 2*z = 0, 5*k + 5*z = h*z for k.
0
Suppose 0 = -0*y + 2*y - 12. Let a(w) = w**3 - 4*w**2 - 11*w + 3. Let h be a(y). Let u be h/((-27)/2)*-6. Solve 5*l = -g + 3*g - 18, 3*l = -u*g + 10 for l.
-2
Let k = 634 - 372. Let i = k + -259. Solve -i*c - 12 = -3*a, 2*c + 4 = -4 for a.
0
Suppose 25*x = 20*x + 30, -3*v = -3*x - 156. Solve 4*i - u - 25 = 0, -v*i - 5*u = -53*i for i.
5
Let d be (-18)/(-4)*8/6. Let y be -1*4*(2 - 6). Suppose -3*b + y = -k, 19 - 5 = 3*b + k. Solve -t = b*m - 21, -t + 0*m = 2*m - d for t.
-4
Let s(a) be the first derivative of 2*a**3/3 - 17*a**2/2 + 11*a - 1. Suppose -90 = u - 99. Let o be s(u). Solve 5*w - 23 = 2, 0 = -2*g + 2*w - o for g.
-5
Let n = -5516 + 5509. Let l(q) = -q**2 + q + 168. Let r be l(0). Let d be 72/r - (39/n - -1). Solve 0*b + 5*b - d*x - 15 = 0, 2*x = 5*b for b.
-2
Let b = -52 - -56. Suppose 4*t = 4*q - 12, t = -3*t - 4. Suppose -3*s = -k + 14, 19 = 2*k - q*s - s. Solve 5*u - 16 = b*j - 3, -5*j = 5*u + k for j.
-2
Suppose 2*q - 1 = g, -19 = -5*g - 41*q + 43*q. Solve 4*x = -3*c + 6*x - 9, 0 = -g*x for c.
-3
Let i(z) = 7*z - 693 + 389 + 286. Let w(j) = -j**2 - 3*j + 3. Let v be w(-3). Let q be i(v). Solve 5*k - 4 = -q*r - 5, 0 = -5*r - 5*k - 5 for r.
-2
Suppose 5*p - 33 = 4*n, -4*n + p - 3*p = -2. Let l be 5 + -3 + (-1 - n - -2). Solve -l*r - 2*h = 21, 2*r + 3*h + 2 = -h for r.
-5
Let d(t) = 3*t + 40. Suppose -78 = -2*i + 8. Let j = i + -55. Let z be d(j). Solve 4*r + 2*p = 2, -2*p = -4*r + 7*r - z for r.
-2
Suppose -5*o - 2*y = -43, 20 = 5*o - 2*y - 7. Solve 5*b + 23*x - 25*x + 16 = 0, o*b + x = -11 for b.
-2
Let d be (4 + -7 - -2)*0. Suppose d = -4*b + 3*p + 30, -5*p - 22 = -b - 6. Suppose -21 + b = -5*n. Solve -4*m - m - 3*f = -n, 0 = -4*m + 5*f - 5 for m.
0
Let u be (6 + (-84)/14)/(-12). Solve -14 = -p - 4*p + g, u = -2*p - 4*g - 12 for p.
2
Let k be 133/70 - 22/(-220). Solve 3*u - 1 = 5*f + 7, -k*u + 6 = -4*f for f.
-1
Let u = 11304 - 11275. Solve -5*a - 62*o + 59*o + u = 0, 0 = 5*a - 5*o - 5 for a.
4
Let v(k) = 21*k + 23. Let a be v(-1). Suppose a*c = -2*h + 30, -6*c + 8*c = -4*h + 50. Solve 0*t = 3*t + 2*p + h, 5*p = -3*t - 16 for t.
-2
Let l be (-17)/(-3) + (-4)/(-12). Let u(x) = 3*x - 8. Let z be u(l). Let c = 0 - -5. Solve 2*k - z = -5*h, -c*h = k - 2*k - 25 for k.
-5
Suppose 15*y - 31*y + 1568 = 0. Let n be ((-336)/y)/((-8)/42). Solve 4*x = -2*o + 2 + n, 0 = 2*x - 3*o - 2 for x.
4
Let q(p) = p**2 + p - 2. Let i be q(2). Let j = 1448 - 1440. Suppose -2*t + 3*m + j = 0, -t - 3*m = m - i. Solve a - 6 = -2*u - 0, 0 = -3*a + u + t for a.
2
Let d = -398 + 402. Solve d*j = -4, -3*h - 23*j = -24*j + 8 for h.
-3
Let k be (4 - (-63)/(-15)) + (-1)/(-5). Suppose k = -t + 15 - 6. Let d be (0 + -1)*(8 + -8). Solve i + d*i + n = -t, -3*n - 12 = 0 for i.
-5
Suppose -5*r = 3*n - 43, 2*r - 2 = -2*n + 8. Solve 0 = -4*c + 3*x - 12, 2 = 4*c - 5*x + r for c.
-3
Let k be ((0/(2 + -5))/(-2))/(4 - 5). Suppose -3*o = -2*o - 21. Solve g + 3*h - o = -6, k = 4*g - h + 5 for g.
0
Let o(b) = b**3 - 9*b**2 + 9*b - 13. Let j be o(7). Let h be 2/4*2 - j/12. Solve y + 2*i + h = 0, 2*y - 3*i + 2*i + 5 = 0 for y.
-3
Let o = -13289 - -13301. Solve 2*k - 6 = -4*l, 51*k = 49*k + 5*l - o for k.
-1
Suppose 3*l - 29 = 2*n - 0*n, 2*l - 3*n = 16. Suppose -l*o + 30 = -14. Let d = 3 - -4. Solve -d*y = -2*g - o*y - 8, 5*g - 3*y + 11 = 0 for g.
-1
Let z = 353 - 349. Suppose -n = 2*h - 4, -n + z = -6*h + 10*h. Solve 3*k - 3*r - 30 = h, -k - 2*r - 10 = r for k.
5
Suppose 15*k = 21*k - 47*k + 82. Solve k*u - h = 2 - 15, 5*h + 5 = 0 for u.
-7
Let d = -95 + 63. Let h = d - -36. Solve 23 = 2*y + 5*k, 0*y + h*k - 8 = y for y.
4
Let h be 18/27*(2 - (-2)/2). Suppose h*q - 3 = 7. Let v = q + 7. Solve -5*r + 4*g = -v, -4*r + r + 3*g + 9 = 0 for r.
0
Let b = 693 - 668. Suppose 8 = -7*w + 11*w. Solve -12 = 3*q + w*y, 5*q - 5 + b = -4*y for q.
-4
Let y be (-38 - -37)*(0/(-7) - 2). Solve s = -4*g + 16, -y*s + 2*g = -3*g + 20 for s.
0
Let p be (-2)/(-11) + 243/297. Let z be 11 + -3 + p/((-4)/12). Solve -5 = -n, 2*h - z*n = 6*h - 45 for h.
5
Suppose 5 = q + 4*x - 0, 20 = 4*q - 3*x. Let g be (-2)/(-2) - (8 + 3). Let m = -6 - g. Solve m*s + 8 = 0, 0 = -4*j - 0*j + q*s + 26 for j.
4
Suppose -j + 1 = 4. Let f be j + 45/6 - 2/(-4). Solve f*z = -2*u - 10, -3*z = -2*z + 3*u + 2 for z.
-2
Suppose 4*a = 2*r - 14, 16 = 4*r + 4*a - 0*a. Suppose -2*n = -r*z + 19, z = 2*z + n - 1. Solve k + 2*f - 6 = -0*k, 2*k - z*f + 23 = 0 for k.
-4
Suppose 15*r = 4*r + 55. Let a = -77 - -49. Let j = 37 + a. Solve -3*k = -d - 3*d + 16, -r*d = -k - j for k.
-4
Suppose -114*y = -113*y - 51. Suppose -6*k + y = -87. Solve k - 3 = 5*d - 4*b, 0 = 3*d + 5*b - 12 for d.
4
Suppose -6*g - 9*g + 1515 = 0. Suppose 6*t - 203 = -g. Solve 3*i + y = t, -7*y = -2*y - 25 for i.
4
Let j = 410 + -185. Let w = j - 225. Suppose -o - 5 = -4*u, 0*o + 4*u = -3*o + 33. Solve d - o = 3*s, w*d + 18 = 2*s + 5*d for s.
-1
Let w(j) = 2*j + 23. Let v be w(17). Suppose -4*t = -5*u - 46 + v, -13 = -5*u + 2*t. Solve -u*m - 12 = 4*z, -4*z + 3*z - 3 = 3*m for z.
-3
Let k = -10 - -12. Suppose k = 4*g - 6. Let j = 7723 - 7718. Solve a + 6 = g*n - 2*a, 4*n - 12 = -j*a for n.
3
Suppose 81*d - 107 - 168 = 26*d. Suppose -29 = 5*k + 1. Let w be ((-34)/k)/((-1)/(-3)). Solve 0*t + w = -4*r + t, d*r = -t - 19 for r.
-4
Let w(v) = -2*v**3 - 4*v**2 - 4*v. Let h be w(-3). Let a = 34 - h. Suppose -m + a = m. Solve -3 = -5*x + 5*y - 2*y, 3*x - m*y - 2 = 0 for x.
0
Suppose g + 34 = 40. Let o(b) = -b**2 + 3*b + 2. Let v be o(4). Let y = v + g. Solve 3*r + x = y, -r = -4*x + 5*x - 4 for r.
0
Let n = -22 - -66. Suppose 30 = 47*q - n*q. Suppose 2 = 4*l - q. So