 for z.
-4
Suppose 139*t - 130*t - 36 = 0. Let g(d) = -d + 15. Let l be g(7). Suppose -t*s + l*s = 8. Solve 3*p = x + 7, 4*p + s*x = p + 4 for p.
2
Suppose -14*r + 10 = 2*i - 10*r, -68 = -4*i + 4*r. Suppose i*z + 41 = 93. Solve -5*b = -5, z*t - 2*b + 4 = 3*t for t.
-2
Suppose -3*h = -j + 14, 0 = -5*j + 15*h - 18*h - 2. Solve -2*l = l - 6, -j*l = -5*a + 21 for a.
5
Let y(w) = -2*w**2 - 17*w - 22. Let u(o) = -6*o**2 - 52*o - 65. Let l(k) = -6*u(k) + 17*y(k). Let s be l(-11). Solve 5 = -s*r, 0 = 2*i - 6*i + 5*r + 21 for i.
4
Let l = 4 + -1. Let c(q) = -4*q**2 - 16*q + 2. Let v be c(-4). Suppose 0 = -3*r + 3*u, -4*r - v*u + 15 = -l*r. Solve -3*z = h + 8, 0 = r*z - 2*h - 0 + 6 for z.
-2
Let x = -980 + 547. Let g = x + 443. Solve g = 3*s + b, -s + 3 + 3 = -b for s.
4
Let m(b) = -20*b - 39. Let o be m(19). Let s = o + 424. Solve -12 = -4*y + 2*r, s - 16 = -3*y + r for y.
5
Suppose -7*z - 11*z = -2113 + 2023. Solve 5*s - 10 = z*m, 14*m - 2 = 19*m - s for m.
0
Suppose 2*n + 3*g = -108 + 862, 746 = 2*n + 5*g. Let j = 393 - n. Solve 4*b - u + 0 = -2, 5*u - j = 3*b for b.
0
Let c = -51 + 31. Let k = c - -30. Let t be (-4)/k*(5 - 20). Solve 4*l + 0*h = -h + 4, -3*l - 3*h - t = 0 for l.
2
Let s(d) = -d**2 - 9*d + 5. Let z be s(-7). Let p(i) = -2*i**2 + 37*i + 11. Let n be p(z). Let k = -5 - n. Solve -3*l = -c, -5*l + 0 = -k*c + 4 for c.
3
Suppose 20 = 2*i + 3*w, -4*w - 48 + 64 = 0. Solve 4*x + 6*r - 10 = 8*r, 28 = 4*x + i*r for x.
4
Let l(s) = -s**2 + 33*s - 156. Let o be l(7). Solve -q + 4 = x, x + 5*q = 2*x + o for x.
-1
Let a(k) = -k**2 - 11*k - 6. Let x = 27 + -37. Let o be a(x). Suppose 3*c - o = -m - 0, -m + 5 = 2*c. Solve -t - 3*f + 9 = -m, -4 = -3*t + 2*f for t.
4
Let g = -1044 + 1049. Solve -g*y = -2*x - 10, 15*x + y = 10*x - 25 for x.
-5
Let z(p) = -4*p**3 - 160*p**2 + 7*p + 283. Let f be z(-40). Solve -17*x + 14 = f*m - 22*x, -3*m - 2*x + 7 = 0 for m.
3
Suppose 20 = -5*w - 0. Let s = w + 4. Suppose 660 = -287*f + 320*f. Solve f = -5*n - 2*t, -t = -s*t for n.
-4
Let d be (4/12*-16)/(58/(-87)). Solve 2*y = -4*o + d, 18*o - y - 11 = 15*o for o.
3
Let m = -9245 - -9253. Solve 2*r + 4*n + 4 = 0, 14*n - m = 4*r + 17*n for r.
-2
Let g be (((-1920)/140)/24)/((3/(-7))/3). Solve -z - 3 = o, -2*o = -8*z - g*o - 6 for z.
0
Let h(g) = 2*g**2 + 9*g - 1. Suppose -c - 2 = 2*y - 1, 4*y + 5 = c. Let i be y + 1*-3 + (-1 - 0). Let z be h(i). Solve 0 = 3*q - 9 + 3, -3*q = -z*v + 10 for v.
4
Let v(y) = 24*y + 2. Let i(t) = 1. Let c(s) = 5*i(s) + v(s). Let u be c(2). Suppose -114 = -13*z + u. Solve 5*l - 3*l - 19 = 5*r, 2*l - z = 3*r for l.
2
Let n = 101 + -80. Solve -27*c + 31*c - 3*j + 11 = 0, -4*c + 5*j = n for c.
1
Let d(t) = 18*t**2 - 954*t + 4. Let k be d(53). Solve 0 = 5*h + k*v - 3, -5*h = 103*v - 108*v + 15 for h.
-1
Suppose 0 = -0*w - 3*w + 3*c + 174, 4*c = 3*w - 177. Let y = 60 - w. Let x be (-1 - -3)/(y + -4). Solve -3*p + 5*u + 7 = 0, 0*p - 12 = x*p + 5*u for p.
-1
Let l be (5/(-5) - 3) + 145. Let q(y) = -29*y + 19. Let g be q(5). Let t = l + g. Solve w + 5*s - 3 = 0, -5*w + 2*s + t = -3*s for w.
3
Suppose 4*x + 5 + 15 = 2*y, -2*y - 5*x = 25. Solve y = -g + 4*b + 11, 3 = b + 5 for g.
3
Let p be (-5*48/(-200)*-1)/((-2)/25). Solve -4*x - 21 = r, 2*r - 3*x - p = -13 for r.
-5
Let a(y) = 2*y**2 - y - 13. Suppose 3*j = 12 - 3. Let t be a(j). Solve -5*x - 3 = 2*q + 17, -t*x - 8 = -q for q.
0
Suppose 9 + 0 = g + 5*t, 0 = 4*g + t - 17. Let c = g + 7. Let h(s) = -s**2 - 5*s - 2. Let f be h(-2). Solve -k - 4*a = -f*k - 32, a = -4*k - c for k.
-4
Suppose 0 = -57*f + 34393 - 33823. Suppose 4*s = 5*s - 35. Solve f = 2*z + 5*y, -5*y = z - 4*z - s for z.
-5
Let k be 1/4 - (-94)/8. Let u be -49 + 25 + 1176/42. Solve -4*n + 0 = -x - k, -18 = -n + u*x for n.
2
Let r(n) = -n**2 + n + 8. Let c be r(0). Let m be 2*(7/56 - 17/c). Let w be ((1 - 0)/(m/(-12)))/1. Solve w*g + 0*a + 3*a - 18 = 0, -2*a + 16 = 4*g for g.
2
Let t be ((-4254)/24)/(8/(-32)). Let f = t - 706. Solve f*m = -6, -4*m = 4*v - v + 17 for v.
-3
Let f(b) be the third derivative of 5*b**4/12 - 13*b**3/6 + 11*b**2 - 3. Let w be f(3). Solve 4*d = 5*h - 18, 0 = -3*h + 3*d - 5 + w for h.
2
Let a be (108/24)/3*(-2)/(-3). Let d be (64 - 60)/(a/2). Solve 3*b + d = 2*f - 3, 0 = 3*f + 6 for b.
-5
Suppose -o + 0*o + 3*u - 13 = 0, -2*o = -4*u + 16. Suppose -3*g + 8*y + 55 = 7*y, -3*y = 4*g - 56. Solve -o*b = -8, -2*b + g = -v + b for v.
-5
Let v = 102 + -98. Suppose 0*y = 6*y - 36. Solve v*l + 3*j + 9 = 0, 0*j - y = 5*l + 2*j for l.
0
Let r(d) = -30*d - 147. Let j be r(-5). Suppose 5*u - 15 = n + 14, j*u + 5*n = -5. Solve -5*a = -u*z - 0*a - 25, 0 = -2*a + 2 for z.
-4
Let p(y) = 12*y**2 + 429*y + 1287. Let x be p(-3). Solve v = -x + 107, 9 = r - 4*v for r.
5
Suppose 0*b + 15 = 5*b, -171 = 3*a + 2*b. Let k be ((-7)/(-2))/((-1)/18). Let l = a - k. Solve -3*d + 2*d = -2*f, 0 = 3*f + l*d - 22 for f.
2
Suppose -22 = -22*j + 21*j + 4*d, 5*j = 5*d + 140. Solve -5*r - j = 5*k, -32*r + 5*k = -35*r - 26 for r.
-2
Let f = 10 - 4. Let m be 6/1 + -9 - (1 - -16). Let g be 2*f*(-5)/m. Solve 0 = -g*w + 4*y - 14, 0 = 2*w + 2*w - y - 3 for w.
2
Suppose -644 = 9*l + 31. Let y = -65 - l. Solve -3*g + y = g + 2*u, 0 = 4*g - 4*u - 16 for g.
3
Let u(k) = -671*k + 4042. Let d be u(6). Solve 3*j - d = 5*g, 158*g = 155*g - 6 for j.
2
Suppose 73*o = 72*o + b + 6, 4*o = b + 33. Solve -3 = -2*l + 66*k - 67*k, 5*l - 3*k + o = 0 for l.
0
Suppose h = 35 + 33. Let f be (15/2)/(34/h). Solve -3*k = -4*o + 9, 5*o = -k - 4*k - f for k.
-3
Let k be -33*(120/18 + (6 - 13)). Suppose 5*i = -5, -2*n + i = -2 + 3. Let j be (1 + k)/(n/(-1)). Solve -2*z = 2*s + j + 4, -2*s - 5*z = 31 for s.
-3
Let p(w) = w**3 + 10*w**2 - 29*w + 144. Let v be p(-13). Solve -2*h - 4*b - v = 0, -4*b + 12 - 1 = -3*h for h.
-5
Let z = 40 + -40. Suppose z = -3*d - 5*c + 50, -4*d = -2*c + 4*c - 62. Suppose 30 = 3*w + d. Solve 5*y = -v + 17, -4*v - 3*y = -w*y + 20 for v.
-3
Let v be (10 - (-132)/(-15))*20/6. Solve 2 = v*h - 14, 0 = -4*p + 4*h for p.
4
Let d = -244 - -247. Let z be (-4)/(12/d)*-5. Solve -n = 4*w + 14, z*w - 4*w + 6 = n for w.
-4
Let x be ((-5 - 244/(-40)) + (-3)/2)*-10. Solve -q = q - 2*c + 4, -x*c = 8 for q.
-4
Let n(f) = -f**3 - 7*f**2 - 6*f + 11. Let b be n(-6). Let q be 2/(-1)*(b - 13). Solve 4*u - q*p + 26 + 6 = 0, -u = -3*p + 16 for u.
-4
Let w(t) = -t**2 - 7*t + 15. Let k(a) = 3*a - 56. Let l be k(17). Let h be w(l). Solve 0 = -5*r + v - h, 2*r + v = 2*v - 13 for r.
-4
Let f be (-1 - 9)*1368/48. Let k = f + 288. Solve 3*d = 4*i + 1, -2*d - k*d - 2*i = 7 for d.
-1
Suppose -43*s = 4*d - 39*s - 36, 3*d - 15*s = -63. Solve -4*l - 30 = -0*o - 3*o, 0 = -d*o + l + 27 for o.
6
Let x(i) = -634*i + 4466. Let d be x(7). Solve d = 5*v - b, -3*v - 280*b + 284*b + 27 = 0 for v.
5
Suppose 0 = -25*g + 60 + 15. Solve 4*q - 2*u = 6, g*q + 5*u = -24 - 4 for q.
-1
Let d = 387 + -364. Let b = -20 + d. Solve 5*q = -3*f - 4, -b*f + 3 = -q - 5 for q.
-2
Suppose -27*y + 29*y = -558. Let u = y - -279. Solve -3 = -v + 2*a, -v + 6*v - 2*a + 1 = u for v.
-1
Let l(u) = -56*u + 6. Let c be l(-4). Let y = 237 - c. Solve 29 = 4*a + v - 4*v, -y = -2*a - v for a.
5
Let x = 12209 + -12206. Solve -u - x*i = 11, -4*u + 37*i = 36*i + 5 for u.
-2
Suppose 3*x + 6 = l - 3, x - 5 = 3*l. Let p = 2 - l. Solve 25 = -p*f + 5*w, 2*f + 22 = -w + 6*w for f.
-1
Suppose -24*z - 206*z + 260 + 890 = 0. Solve -22 = h - 5*g, -5*g + 5 + z = 5*h for h.
-2
Let y = -185 + 180. Let n be (-5 - y)/((-1)/((-4)/8)). Solve -2*l + 7 = 3*q, -q - 4*l + 1 + 18 = n for q.
-1
Suppose 0 = -30*w + 42*w - 24. Suppose a - 8 = -a. Suppose 0 = v + v - a. Solve 2*t - 14 = -w*c - 2*t, -1 = v*c + t for c.
-3
Suppose -3*h + 5*h + u = 805, 4*h - 2*u = 1598. Let q = -399 + h. Solve -5*l = -15, q = 5*r + l - 2*l for r.
1
Let n be 14/(-1 - 2 - -5). Let l(g) = 11*g - 64. Let f be l(6). Solve -4*k + 7 = y - n, y + f*k - 6 = 0 for y.
-2
Let z = 5417 - 5397. Solve 3*v - 2*f = z, -2*v + 12 = 3*f - 4*f for v.
4
Let g(i) = i - 27. Let f be g(-8). Let z = 56 + f. Let r be z + (-4 - -4) + -2. Solve -3*a = 2*h + r, h - 3*h + a = 7 for h.
-5
Suppose 0 = -21*j - 3*j - 2880. Let k = j - -120. Solve -4*b + 12 = -c - c, -4*c + 5*b - 9 = k for c.
4
Suppose -4*d + 2*k = -122, -2*k + 48 = -6*d + 7*d. Solve 3*i = -3*x + d - 19, -4*i + 8 = 0 for x.
3
Let q(l) = 2*l - 6