= -2*x - r*x - 4, w + 2*x + 12 = 0 for w.
-2
Let h(o) be the first derivative of o**2 + 5*o + 13. Let i be h(-1). Suppose -5 = -i*r + 10. Solve -x + 2*t - 3 = 0, 3*x + r = 4*t - 2 for x.
-1
Let r(n) = -4*n**3 + 22*n**2 + 24*n + 2. Let j be r(-1). Solve u - 1 = -j*l, 3*u + 2*l - 3 = 6*l for u.
1
Suppose -60*a = -34*a - 52. Solve -a*d + 2*v = -6, -48*d + 51*d + 5*v = 17 for d.
4
Let u be 6*1/(-2)*(-10)/(-3). Let f be -10*(-20)/35*(-35)/u. Solve 3*m + 0*r = 4*r - 23, 0 = 5*m - 3*r + f for m.
-1
Let y be (-3)/(-3) + (-1)/(-1). Suppose 3*q = -9, 2*j - q = -5*q - y. Let g = -14930 + 14934. Solve g*p = j*p + 2*k + 7, -k + 4 = -2*p for p.
-3
Let i be -10*(-2)/4 + (-20)/(-2). Let n = i + 0. Let h(u) = -u**2 + 7*u - 3. Let b be h(6). Solve 1 = -3*k - 4*s + n, -4 = k - b*s for k.
2
Let y be 18/2 + 62/(806/26). Solve i = 3*q + y, 2*q + 4 = 47*i - 43*i for q.
-4
Suppose -v = 4*f - 17, -162*f + 164*f = 5*v + 3. Solve -f*l - 26 = 2*y, -l + 18 = 23 for y.
-3
Let n be (((-27)/6)/1)/(9/216). Let p = -92 - n. Suppose -3*m = -y + p, -2*y = -3*y - 5*m - 16. Solve -y*o + r - 2 = 0, 3*o - 1 = 3*r - r for o.
-1
Let l be ((-256)/48)/(((-8)/6)/2). Let u be (l/10)/((-6)/(-15)). Suppose u*r + 18 = 8*r. Solve 0 = -2*t + v - 3, 0*v = -r*v + 15 for t.
1
Suppose 0 = -5*o + 2*j + 3728, -4*j - 1472 = -2*o - 8*j. Let w = o - 730. Solve 4*d - 3*d = 4*s + 6, 0 = -4*s + 5*d - w for s.
-1
Let d = 1816 + -1809. Solve -5*g + 3*f = 0, 4*f = g + d*f for g.
0
Let l(b) = 6*b - 26. Let m be l(6). Suppose -s = m*g - 5*g - 65, -2*g + 33 = -s. Solve -w - d = -3, -g = -w + 3*w - 3*d for w.
-1
Suppose 0 = a + a - 4. Suppose 6 = 2*c - 0. Suppose 31*m + 175 = 38*m. Solve a*p = -3*i - 19, c*i + 7*p = 2*p - m for i.
-5
Let v = -559 - -555. Let y be (-2 - (-33)/(-6))*(2 + v). Solve y = 2*j + 2*j - g, -3*j + g = -12 for j.
3
Let j be 850/(-238) + 3/(-7). Let v be -4*(75/j)/15. Solve 2*i = 3*h - 5*h + 2, -v*i = -4*h + 40 for h.
5
Let n = 333 - 338. Let m be n/6 - ((-595)/30 - -7). Solve -m = -4*l, 2*l = 2*o - 5*o for o.
-2
Let q(u) = -u**2 + 17*u - 12. Let g be q(16). Suppose -14*n + 19*n - 25 = 0. Suppose -17 = -x - 7. Solve -n*f - 2*k = -0*k + x, 2*f + g = 2*k for f.
-2
Let b be 6 - (160/(-60))/((-6)/9). Solve -3*o + 8 = -b*k + o, -2*k - 8 = -5*o for k.
-4
Suppose -2*c + 12 = -2*i, -3*c + 11 = 14*i - 10*i. Solve -5*z - 2*t = -13, 0 = 3*z + 7*t - c*t - 11 for z.
1
Suppose d + 59*s - 71*s - 27 = 0, -3*s - 27 = -d. Solve 3*o + 3*m + d = 0, -m - 26 + 29 = -3*o for o.
-3
Let m(b) = 2*b**2 - 6. Let x be m(-3). Let g(k) = 3*k**2 - 33*k - 15. Let o be g(x). Let z = o + -18. Solve -c = -2*c + z, c - 11 = -4*h for h.
2
Let x = 10794 + -10790. Solve -4*r + 36 = x*b, 128*b = -2*r + 133*b - 10 for r.
5
Suppose -97*i + 494 + 929 = 259. Solve 5*f + l = -i, -l + 5 = -f - 1 for f.
-3
Suppose -19*u - 208*u = -30*u - 197. Solve 0 = 4*w + 6*k - 6, 3*w + u = 5*k - 4 for w.
0
Let a(t) = -6*t - 3. Let d be a(13). Suppose 9*v - 7*v - 172 = 0. Let j = d + v. Solve -2*h + 0*h = 5*f + 12, -2*h + 28 = -j*f for h.
4
Let s(r) = -r**3 + 6*r**2 + 8*r - 36. Let u be s(6). Let m(v) = -5*v + 34. Let q be m(6). Solve 1 = -a - t - 2, -a - q*t - u = 0 for a.
0
Let h(s) = -s**3 + 38*s + 71. Let x be h(-2). Suppose 5*n - 138 - 22 = 0. Suppose -n = -4*o - 8. Solve -t + o*t - p = 15, t = 4*p + x for t.
3
Let f = 1786 - 1814. Let t be 6/(-21) - (-116)/14. Let j be 7/f + (0 - (-42)/t). Solve 20 = -j*r, 4*r = 5*i - 38 - 3 for i.
5
Let n = 104 - 100. Suppose 0 = -5*l + 3*l - 2, -14 = -2*s + n*l. Solve -s*m - 25 = 0, 2*m + 0*m + 26 = -4*b for b.
-4
Suppose 126 + 378 = 56*h. Solve -2*f - 3 = g, -g + 14*f - 3 = h*f for g.
-3
Suppose -4*k - 1311 = 3*t, 7*k - 9*k + t - 643 = 0. Let g = k + 324. Solve g = -2*x + 2, x + 10 = 3*j - 1 for j.
4
Let p = -2528 + 2534. Solve -21 = -5*n + 2*b - 27, -2*n - b - p = 0 for n.
-2
Suppose 28 - 12 = 4*t. Solve t*g = 5*u + 13, -4*u = -7*g + 2*g + 14 for g.
2
Suppose -39 = 11*d + 5. Let u be (((-6)/d)/1)/(1/2). Let z be (2 - 1)/((-9)/(-63)). Solve 2*n - z = m, -3*m - 12 = -0*m + u*n for m.
-5
Let f(c) = -2*c**2 - 20*c + 7. Let o(b) = -6*b**2 - 60*b + 24. Let g(q) = -8*f(q) + 3*o(q). Let p be g(-10). Solve 0 = 4*s - 8, 0 = -5*h + 4*s + p + 1 for h.
5
Let x(r) = -r**2 + 6*r - 4. Let p be x(4). Suppose -p*m + 3*m = 0. Suppose k + 9 - 34 = m. Solve 2*h - g + 3 = -0*g, 0 = 5*h + 4*g - k for h.
1
Let w(i) = 12*i - 89. Let z be w(33). Let k = z - 305. Solve -1 = 4*v - 5*d, -2*d + 3 = 3*v - k for v.
1
Suppose -5*r + 24 = 2*b, 28*r - 2*b + 16 = 29*r. Solve 86*j = 89*j - 4*y + 18, -r*y - 30 = 5*j for j.
-6
Let x(q) = -q + 31. Let r be x(-13). Suppose r*g - 45*g + 9 = 0. Suppose 0 = 4*y - 7*y + g. Solve y*i - 3*c = 7 + 5, -2*i - c + 11 = 0 for i.
5
Suppose 3*v - 7 = -2*z + 9, -3*z - 10 = -4*v. Suppose 0*b = -z*b + 8. Suppose 6*l = b*l. Solve -5*m + l*m - 19 = 3*x, -5*x + 5 = m for x.
2
Let u(z) = 296*z - 2649. Let b be u(9). Let q(d) = -d + 10. Let h be q(7). Solve -16 = h*a + o, -a + b = -3*a - 5*o for a.
-5
Let w be 1*(-2 - -1) - -4. Suppose 5258 = 19*f - 3995. Let k = f + -483. Solve -10 = k*q - w*v + 18, -5*q = -5*v + 40 for q.
-4
Suppose 0 = h - 3*j - 8, h - 9 = j - 5. Solve -11*l + h*q = -16*l - 10, 3*l = 4*q - 32 for l.
-4
Suppose -8*h + 16*h = -8. Let m be (h*(5 - 0))/(80/(-32)). Solve 2*g = 2*z - 10, 1 = m*g + 5*z + 4 for g.
-4
Suppose -9 = -3*y + 36. Let q be -1 + (-5)/(y/(-12)). Suppose q - 11 = -4*h. Solve 5*o = 2*g + 20, 3*g - h*g = 3*o - 12 for o.
4
Let i be 6/8*(82/164)/((-1)/(-8)). Solve -i*l - 1 = 7*m - 3*m, -4*m - 7 = 5*l for m.
2
Suppose -2*v - 4*i - 19 = -35, -32 = -4*v + 5*i. Solve -5*w = 5*j + 10, -41 = -2*j + v*w - w for j.
3
Let k(b) = 424*b - 1270. Let c be k(3). Solve 3*n = 7*f - 9*f - 7, 0 = c*n + 2 for f.
-2
Suppose -g + 16 = 3*g. Suppose 1237 = -9*r - 59. Let z be 2/(10 - r/(-15)). Solve -g*l + z*f + 7 = 0, -2*l + f = -3*f - 8 for l.
-2
Let g be 3/2*74*1. Let m = g - 96. Solve -5*z + m = a, -z - 18 = -a - 3*a for a.
5
Let n = 57 + -50. Suppose 11*m - 90 = -n*m. Let l = 8 - 3. Solve l*w = p + 15, 0*w + m*w = 2*p + 20 for p.
-5
Suppose 359*y - 3090 = 50*y. Solve 3*r = 13*f - 15*f + y, 0 = 5*r for f.
5
Let a be -1 + 1 + (-36)/(-2). Suppose 26 = 4*y + a. Let i(k) = -k**3 - 16*k**2 + 16*k - 15. Let q be i(-17). Solve -4*c - 5*l + q = -5, 2*c = -y*l + 4 for c.
3
Suppose -d - 3 + 6 = 0. Suppose 3*a + f = 324, 5*a + d*f - 533 = -f. Let h = a - 108. Solve -3*u = 2*s + 2*s + h, -3*s - 12 = 0 for u.
5
Let s = 77 + -81. Let h = s - -9. Suppose -8*i + 4 = -4*i, -h*i = g - 33. Solve 2*q = -l + 8, 3*q = 4*l - q + g for l.
-2
Suppose 0 = 3*y - 3*x - 288 + 18, y - 70 = -3*x. Suppose -y*v + 90*v = 10. Solve 0 = 5*z - 4*a + 28, 0 = z - v*a - 4 + 12 for z.
-4
Suppose 26*v + 19*v = 19*v. Solve 3*s = o - 8 - 0, v = -s - o - 4 for s.
-3
Suppose 19*c - 105 + 10 = 0. Let f be (-6 + ((-100)/c)/(-5))*-2. Solve -3*d - 16 = -i, f*d = -2*i - 0*i - 8 for d.
-4
Let k be -2*(-18)/8*1106/237. Solve -33*r + 28*r - h = k, 3 = -2*r + 5*h for r.
-4
Let w = 45 + -44. Let t be (w/(28/(-16)))/((-2)/28). Solve -t = -p + 4*y, 3 + 3 = -5*p - 3*y for p.
0
Let h = -25 + 27. Suppose v + h*v = 12. Suppose -2*s - 5*k = -52, -11 = -2*s - v*k + 37. Solve -s = 4*z + 4*m, 2*m + 5 = 3*z + 17 for z.
-4
Let b be -5 - (-5 + (3 - 2)). Let c be (4/4 + b)*-1. Suppose c = -2*t - 3*t + 2*u + 18, -5*t + 24 = 4*u. Solve -t*h - 10 = h + 2*k, -k = 0 for h.
-2
Let k be 11/2 - 1/2. Suppose 5*i + 4*z - 208 = -0*i, -k*z = -10. Let o be 3/1*-1*i/(-12). Solve 24 = -3*g - 3*u + 6*u, -5*g - 5*u = -o for g.
-3
Let k = -13606 + 13646. Solve 3*s - 5*a - k = 0, 0 = 94*s - 96*s - 2*a for s.
5
Let h be 25/(-6) + -1 + 35/30. Let u be -6*(h/(-6) - 3). Let g = 1 + -1. Solve -2*k = 2*b - g*b - u, -5*b + 27 = 3*k for k.
4
Let t be (-20)/1*4/(96/(-18)). Solve 0 = 4*u - 7*q + 2*q - t, 2*u + 3*q - 13 = 0 for u.
5
Let d(q) = q**3 + 8*q**2 + 3. Let o be d(-8). Let s(c) = -7 - 13 - o*c + 17. Let h be s(-2). Solve -5*p + 30 = a, 7*p - 2*a - 10 = h*p for p.
5
Let y = 35588 - 35574. Solve p = 4, z + 121*p - y = 117*p for z.
-2
Let b be -3 - (-86)/8 - 80/(-64). Solve -4*a - 11*c = -b*c - 22, -5*a + 25 = 2*c for a.
3
Suppose 5*v + 37 = 4*d - 27, -4*d - 5*v + 64 = 0. Suppose 0 = 5*w - 7*w + 14. Suppose w*a = 4*a + 6. Solve 2*c = 4*n - 8, a*n - 4*c - d = -2*n for n.
0
Let p be (-1)/(-5) - 