 - 3*k - 5, -m*k = -4*k - 2 for d.
4
Suppose 4*h - 3*p - 6 = 0, -h = -4*h + 3*p + 3. Suppose 1 = 4*c - h. Let t = -124881 + 124884. Solve -5*o = -0*i + i + c, 5*o - 3 = t*i for o.
0
Suppose -u - h + 0 + 2 = 0, 0 = -4*u - 5*h + 3. Suppose -85 = -u*f + 27. Solve 5*j - 6 = -0*w - w, -f = 4*w for j.
2
Let q be (-216785)/65 + (54/13 - 4). Let a be 6/(-8) + q/(-116). Solve -5*z = -3*c - 9 + a, 4*z + 23 = 5*c for z.
-2
Let c be (-3)/((-62)/104 + (-4)/26). Suppose -c*i + 5*h - 13 = 0, 12 = h + 7. Solve -5*t + 3*t + i*v = 5, -10 = 3*t - 2*v for t.
-4
Let t = 13 + -28. Let x be ((-16)/24)/(2/t). Suppose 0*a = -x*a + 25. Solve a*n - 9 = 5*h + 11, 2*n - 8 = 3*h for h.
0
Let q be (8/(-16))/(1/8). Let b be (-15)/(-6) - (7/2 + q). Solve 5*f = 5 - 25, 21 = -b*r - 3*f for r.
-3
Let s(o) = o**2 + 57*o - 403. Let r be s(7). Solve r*k + 4*m = 40*k + 1, -3*m + 1 = 4*k for k.
1
Let w(z) = 2*z**2 + 7*z + 13. Let c = -152 - -149. Let o be w(c). Solve 5 = -h - p + 2*p, o = -2*h - p for h.
-5
Suppose 96 + 1099 = 313*a - 370. Solve -3*w + 2*h - 8 = 0, -3*w + 1 = a*h - 19 for w.
0
Suppose 4*w + 2*s = -18, 1 = 5*s - 14. Let l be 18/27 - 2/w. Solve q + 3*n - l = 0, 5*q - n - 5 = -6*n for q.
1
Suppose -2*c + 103 - 105 = -2*r, -4*c + r + 8 = 0. Solve k + 2*s - 333 = -319, -2*s = -c*k - 6 for k.
2
Suppose -31 = 3*o - 265. Let r = o + -74. Solve 5*p + 25 = 0, -3*p = r*s - 0*s - 5 for s.
5
Let h(z) = 3*z + 5. Let a be h(1). Let q(x) = -x**3 + 13*x**2 - 39*x. Let o be q(a). Solve -5*k + o + 32 = 5*y, 0 = 2*k - y - 7 for k.
5
Let r = 32879 + -32863. Solve 3*k + 84*s - 80*s - 19 = 0, 3*s = -4*k + r for k.
1
Let w = 29 - 21. Let m be (47 + -17)*(-8)/3. Let y be ((-1)/3)/((m/(-195))/(-16)). Solve 2*a = 5*c - 11, -c - 4*a = -w*a - y for c.
1
Let u = 1597 + -1596. Let y be -2 - 1 - (0 + -4). Suppose 4*i = -y + 9. Solve -4*x = 2*q - 22, -i*q - 7 = -3*x - u for x.
4
Let j be -5 + ((0 - 1)*-5 - (-336)/84). Solve 16 = -2*f - 2*q, 2*f = 6*q - j*q + 4 for f.
-3
Let r = -143 + 135. Let o(m) = 3*m**2 + 18*m. Let u be o(r). Suppose u*g - 52*g + 16 = 0. Solve 2*v = -i - 0*v - 5, v + g = 0 for i.
3
Let t(w) = -w**2 - 6*w + 4. Let k be t(-6). Let x(i) = -i**3 + 80*i**2 - 78*i - 77. Let n be x(79). Solve -n*d - d + 16 = -5*v, -v = -d + k for d.
2
Let u(z) = 12*z**3 + 224*z**2 - 79*z - 23. Let x be u(-19). Solve -y - x = s - 30, 0 = y - 2*s + 1 for y.
-3
Let h(v) = v**2 + v + 2. Let c be 3/(1/3*-3). Let m(z) = 4*z + 11. Let s be m(c). Let y be h(s). Solve 2*q + 0*q + 2*f + 10 = 0, f + 10 = -y*q for q.
-5
Suppose 126*b - 389 = -11. Solve -b*r + 2*d + 1 + 3 = 0, -5*r + 8 = -4*d for r.
0
Let m be 33/((-231)/(-112)) - 27/3. Solve m = -2*y - o, 0 = 13*o - 9*o + 20 for y.
-1
Let j be 1184/296 - (-1 - 6/(-2)). Solve 4*s - 3*v = -4 - 2, 3*s + j*v = 4 for s.
0
Let h = 6090 - 6073. Solve -20 = 3*z + 5*x, -5*x - 20 = 12*z - h*z for z.
0
Let v be 0 + 7 + (-282)/47. Let p be 60/36*9/v - -1. Solve 4*g = 4*k - p, g - 1 = -4*k + 5 for k.
2
Suppose -6*b + 6*b + 213 = 71*b. Solve v + 8 = -2*f, -3*v - 3*f - 24 = -b for v.
-6
Let s = -739 + 745. Suppose 5*t - 160 = -0*a - 5*a, -4*a + 32 = t. Suppose 35*d - s = t*d. Solve -l - 13 = 5*q, -q = 4*q + d*l + 11 for q.
-3
Let c = -126 - -133. Let t be 7 + -3*(c - 18). Solve -3*b - 25 - 10 = -4*u, 5*u - 3*b - t = 0 for u.
5
Suppose 3*c - 4*r - 90 = 0, -39 - 51 = -3*c + 5*r. Let d be ((0/(-1))/1)/(-2). Suppose d*w + w = c. Solve -4*v + 11 - 27 = -4*a, 0 = 5*a + 5*v + w for a.
-1
Let a be (-1)/4 + 2686/632. Solve u - 5 = -a*r, -u = 5*r - 3*u + 10 for r.
0
Suppose 10*v - 1315 = -3835. Let a be (-68)/(-18) - (v/(-81))/(-14). Solve 2*y - a*y - 27 = -5*q, -17 = 2*y - 3*q for y.
-1
Suppose 404*s = 397*s + 7 - 0. Solve 3*n + 2*f = 16, -2*f + s + 1 = -4*n for n.
2
Let a = -10530 + 10530. Solve 3*n - 5 + 20 = 0, a = 4*q + 4*n + 24 for q.
-1
Suppose 0 = 4*u + 4*n - 92, 5*u + 8*n - 127 = 7*n. Suppose 2*z - 10 = -5*y, u*y - 20 = -4*z + 22*y. Solve -5*l - 5*g = -7*g - 3, 3*l + 2*g - z = 0 for l.
1
Let s be (-6)/(-2) - -1 - 4/1. Let y be s + 58/16 + (-171)/(-456). Solve 5*f - 23 = 3*l, -1 = -3*l - y for f.
4
Let h(o) = o**3 + o**2 - 4*o - 2. Let v be h(0). Let g be v/(-8) + 418/88. Solve -4*p - g = -3*n, -4*p - 3 = -4*n - n for n.
-1
Let h = -419 - -426. Solve 18 = 4*u - 7*u + 3*o, 0 = 3*u - h*o + 34 for u.
-2
Let h = 11688 + -11685. Solve f + t = 6, -h*t - 7 = 4*f - 26 for f.
1
Suppose 241*w = 63*w. Solve -3*b + 4*o - 5 = -w*o, -14 = 3*b + 5*o for b.
-3
Suppose 2*w = 83 - 333. Let m = -124 - w. Let q be 8 + 11 - 5/m. Solve -7 = -2*v + r, 6*v + r - q = v for v.
3
Let z(w) = -316*w**2 - w - 2. Let j be z(-1). Let m = j + 320. Solve 2*d + 1 = -4*c - 1, -m*d = c + 8 for c.
1
Suppose -2 = 5*s - 6*s - 3*t, 0 = t + 1. Solve -3*o + 5*o + 18 = -s*y, y - 6 = 2*o for y.
-2
Suppose -5*d - 3*l = -25, -d - 30 = l - 35. Solve 18 = d*g - 2*f, -2*f - 9 = -4*g + 7 for g.
2
Suppose -v + 13*d = -108, 4*v - 13 = 2*d + 19. Solve 5*z + 30 = -3*c - 0*z, 30 = -v*c - 5*z for c.
0
Let u be ((-8)/((-64)/6))/((-23)/(-20) - 1). Solve -u*c + 2*g = 21 + 4, 0 = c + 2*g + 5 for c.
-5
Suppose 4*i = -w + 17, -i + 5*w + 10 = -10. Solve -150*l + 145*l + 15 = i*t, 2*l + 9 = 3*t for l.
0
Suppose 7*j - 2 = -30. Let x(i) = -5*i - 12. Let u(g) = 14*g + 35. Let v(y) = 4*u(y) + 11*x(y). Let c be v(j). Solve -4*r - 9 = h, -6 = 5*r - 0*r - c*h for r.
-2
Let n be 114/8 - 2/8. Let d be (-9 - -4) + 4 - -11. Suppose 6 = -0*f - f - 2*c, 12 = 2*f - 2*c. Solve n = 3*r + f*r - o, 3*r = o + d for r.
2
Let t be (10/6)/(20/24). Suppose 0 = -2*h - 2*h + p + 10, -13 = -3*h - t*p. Solve n + 3 = -q, -6*n = -5*n + 5*q + h for n.
-3
Let d(v) be the first derivative of -6*v**2 + 100*v + 119. Let k be d(8). Solve 0*t = -5*t - r - 14, -2*t = -k*r + 10 for t.
-3
Let r = 3377 + -3359. Solve -5*o = 4*s + 38 - r, -s - o - 5 = 0 for s.
-5
Suppose -14*m + 10*m + 2*x + 20 = 0, 12 = -3*x. Solve u = -b - 1 - 2, m*b - 5*u = -25 for b.
-5
Let m(p) = -p**2 - 10*p + 45. Let j be m(-14). Let z be j - -13 - (3 + -1). Solve 0 = 5*o - 4*b + b, o - 4*b - 17 = z for o.
-3
Let p = 314 - 840. Let l = p + 526. Solve 0 = -f + 1, -5*g - f = -l*g - 21 for g.
4
Let n = -2217 - -2221. Solve -5*m = n*z - 117 + 64, -3*z + 11 = -2*m for m.
5
Let a = -932 + 1622. Let y be a/180 - -1*2/12. Suppose -7*k = -y*k. Solve q = 0, k*i + 5*q = -2*i - 8 for i.
-4
Let t = -174 - 102. Let k = t + 279. Solve -3*h - 5 = 4*f + 4, 3*f = -k*h - 6 for f.
-3
Let p be (-71)/4 + (-2)/8. Let s be (-54)/243 + (-40)/p. Suppose -15 = -0*t - 5*t. Solve 5*q - s*c = 9, -4*q + 5*c - t*c = -6 for q.
3
Let c be (-15)/20 - 78/(-8). Suppose 34*v - 31*v = -24. Let s be ((-5)/20)/((2/v)/1). Solve 12 = -4*x - 2*j, -x - s - c = -3*j for x.
-4
Suppose -2*u + 4*g + 102 = 728, 5*g = 2*u + 626. Let t = u + 315. Solve -t*y + 3 = s - 1, 3*s = -2*y + 12 for y.
0
Suppose -144 = 4*t - 4*z, -t + 3*t + 72 = -2*z. Let x be ((-6)/90*-5)/((-3)/t). Solve o + x*s - 7 = 3*s, -o - 5*s + 23 = 0 for o.
3
Suppose 18*s - 1606 = -418. Let b be 3/(-6)*(s/(-6) - -5). Solve 2 = -t - 0*t + b*m, -t - 3*m = -10 for t.
4
Suppose 11*j - 27 = 2*j. Let r be (0 + 1)/((-11)/11). Let n be -1*((11 + r)/(-1) - 3). Solve -3*x + 12 = s, -n = -j*x + x + s for x.
5
Let q = 8603 + -8601. Solve g - 4*g = -3*f, q*f + 3 = -g for f.
-1
Let y(x) = 2*x**3 - 3*x**2 + 58*x - 116. Let d be y(2). Solve 4*l - 3 = -5*r, -2*l - d*r = 46 - 52 for l.
-3
Let u = 7 - 11. Let c = 0 - u. Suppose -6*z + 8*z = 4. Solve -c*d - 5 = 5*x - 1, 0 = 2*d - 5*x + z for d.
-1
Suppose -3*s = -4*x - 97, 2*s + 0*s + x - 61 = 0. Suppose -871 + 846 = -3*h + 5*n, 0 = -2*h + 3*n + 17. Solve -5*v - s = -4*k, -h = 2*v - 0*k - k for v.
-3
Let h be 6 - (-180)/(-22) - 2/(-11). Let f be (-21)/(-6) - h/4. Let o be (-32)/28*((-14)/f)/1. Solve -o*n = -i + 14, -n = -4*i + 2*n + 4 for i.
-2
Let s(d) = -93*d + 87*d + 131 - 47. Let r be s(12). Suppose 0 = -q - 2*q + 6. Solve 0 = z + w - 7, q*w - r = -2*w for z.
4
Suppose 0 = -14*w - 2*w + 240. Let s be (-9 + w)/((-9)/(-6)). Solve c = 3*d + 16, 2 = -d - s*c + c for d.
-5
Let d(b) = 7*b**2 - 5*b - 2. Let x be d(3). Let m = x + -32. Let k = m - 9. Solve -k*a - 5*n + 1 = -4, 2*n + 7 = a for a.
3
Let s = 239 - 223. Let y be (0 + (-4)/4)/((-8)/s). Solve 5*m = -0*m - 20, -3*t = y*m + 2 for t.
2
Let r(u) = -u**3 - 14*u**2 - 46*u - 55. Let d be r(-10). Solve -5*p - i =