2*w + n*s for w.
-3
Let z(c) = -c**3 + 19*c**2 - c + 19. Let y be z(19). Suppose 2*j - 4*u = -y*j - 8, 0 = -3*j - 5*u + 32. Solve 2*a - 13 = 3*o - 3*a, 0 = j*o - a - 11 for o.
4
Let q be -3 + -4 + 3 + 1. Let y be (-8 - q) + 2 + 8. Solve h - 1 + y = p, -5*h = 5*p for h.
-2
Let d = -1056 - -1058. Solve d*j - k = -14, 5*k = 3*j - 2*j + 25 for j.
-5
Suppose -5*c = -58 - 17. Let r = -9 - -4. Let i = r - -9. Solve w - i*n - c = -n, -20 = 5*n for w.
3
Let t = -1920 + 1920. Solve -2*i + 9 = d, t = -15*i + 10*i - 2*d + 23 for i.
5
Let a = 2276 + -2271. Solve 2*n - 20 = 4*q, 0*q = -2*q - a*n + 2 for q.
-4
Suppose 2*t + 2 = 0, -44*t = 5*h - 43*t - 14. Solve m - h*m = 3*k + 1, m + 3*k + 2 = 0 for m.
1
Let x be 2/(-6) + (-18)/(-54). Solve -v + k - 6 + 2 = x, 0 = -3*v - 3*k - 18 for v.
-5
Suppose -12 = -4*n + 2*o, -3*n = -5*n + 4*o. Let h = 0 - n. Let i be h/(-3)*(-3)/(-2). Solve -6 = 3*s, -5*z + i*s + 3*s = 10 for z.
-4
Let c = -146 - -148. Solve 0*f + c*f = 5*w, 5*f + 17 = 4*w for w.
-2
Let q be (-4)/14 + (-186)/(-14). Let a = -7 + q. Suppose -2*m - 4 = j, 0*j - a = 4*j + 3*m. Solve j = 5*c - f + 7, 0*c - 4 = -4*c - 4*f for c.
-1
Suppose -3*f - 2*f + 368 = l, -6 = 3*l. Let z = -70 + f. Solve -x - z*x + 25 = 0, -v + 2*x = 5 for v.
5
Let x be 1*-4*-3 + 0. Let r be x/15*(5 + -10). Let d be (r - -8)/((-1)/(-2)). Solve -4*m - d - 10 = v, 12 = -m - 4*v for m.
-4
Let x = -67 + 86. Suppose -i + 6 - x = -2*o, 5*o - 35 = 3*i. Let w be (3/(-2))/(-3)*6. Solve 5*j = -w*y - 2 + 6, o*y + j = 11 for y.
3
Let d be (-2)/10 - (-264)/120. Suppose d*x = 3*i + 1, 5 + 5 = 3*x + 4*i. Solve -2*c - 2*t = -6, 3*c + x*t - 13 = -2*t for c.
-1
Let s be 16/(-24)*(7/(-2) - -2). Let i be 4 + (-1 - -2)*1*s. Solve 3*c + 1 = -i*p, -p = -0 - 1 for c.
-2
Let s = -120 + 123. Solve 8*v + 7 = o + s*v, 5*o + 2*v = -19 for o.
-3
Let z(s) = -3*s + 5. Let q be z(4). Let h be 2/8*(-56)/q. Solve 4 = 4*r - h*i, -4*i - 17 = -1 for r.
-1
Suppose 150 = -5*q + 225. Solve -q*d - 5*r - 11 = -19*d, -10 = d + 3*r for d.
-1
Let t be 2 - ((-4 - -4) + (0 - 0)). Let i(s) = 2*s**3 - 2*s**2 - 5*s + 6. Let u be i(t). Solve -u*o + 2*x + 4 = -2*x, -x = 4 for o.
-3
Let n = 22 - 14. Suppose 5*l - 6*s = -3*s + n, -4 = -s. Solve 9 = 2*a - i, -3*a = 5*i + 10 - l for a.
3
Let n = -272 - -276. Solve -3*g - 2*z = -n, 2*g - 3*g + 5*z = 10 for g.
0
Let j(i) = i**3 + 11*i**2 + 2*i + 27. Let b be j(-11). Solve 4*d - 3 = -0*w + b*w, -2*d + 9 = 5*w for d.
2
Suppose t = -3*x + 155, 5*x + 0*t + 2*t - 259 = 0. Let m be ((-376)/(-6))/(34/x). Suppose m = 3*y + 37. Solve 3*n + y = 5*v - 21, -4*n = -3*v + 35 for v.
5
Let g(m) = 3*m + 1. Let r be g(4). Let h be ((-65)/(-15) - 4)/(4/(-132)). Let f = h + r. Solve 5*u - 3*a = -5*a + 10, -u - f*a = -10 for u.
0
Let x be 402/(-134)*(-8)/6. Solve -q + x*g + 2 = 0, -6 + 0 = 5*q - 4*g for q.
-2
Let b be 6/36 - 46/(-12). Solve 0 = -2*q + 2*n + b, -q - 5*n - 10 = -2*q for q.
0
Let a be ((2/(-4))/1)/(1/(-6)). Solve i - 10 = a*y, -2*y - 4*i = -0 + 2 for y.
-3
Suppose 2 = -2*g, 4*r + 10*g - 6*g - 44 = 0. Solve -h + 4 + r = 5*d, 5*d = -2*h + 12 for h.
-4
Let u = -203 + 207. Solve -u = -7*g + 2*g - 2*r, -5*g + 5*r = 10 for g.
0
Let f be (1 - -5)/(6/12*6). Solve -f*t + 24 = -v - 6*t, 5*v - t = -15 for v.
-4
Let p(s) = s**3 - s**2 - s - 2. Let b be p(0). Let c be -5 + 3/1 - 22/b. Solve 0 = d + 4*l + 17 - 4, d + c = -2*l for d.
-5
Let i be -1 - -2 - (-18 + 3). Let x(n) = -18*n - 14. Let z be x(-1). Suppose -c - 3 + 7 = 0. Solve -16 = -c*a, j - z*a + i = 6*j for j.
0
Suppose 0 = 60*s - 51*s - 45. Solve -4*h - 16 = -3*a, -2*h + 15 = 3*a - s*h for a.
4
Let i be 10/(-35) - 855/21. Let y = i - -46. Solve 5*s = 3*h + 2*h - 15, s + y*h = 27 for s.
2
Let p be (21/(-4))/(15/(-40)). Solve 2*r + 3*j + 4 = 0, -3 - p = 5*r + 4*j for r.
-5
Suppose 9*a - 18 = 9. Suppose l + 4 = 2*r - 0, a*r + 4*l = 17. Solve 0*c + 2 = d - 2*c, -r*c = 2*d + 17 for d.
-4
Let m(x) = 2*x + 15. Let g be (-6)/(-21) + ((-264)/(-14))/(-3). Let s be m(g). Solve 7 = -3*r + 4*v, 0 = s*r + 2*v - 3 + 22 for r.
-5
Suppose -8*i + 36 = -44. Let n be (14/i*-3)/((-6)/30). Solve -4*y - 6 - n = 3*h, -3*h - 6 = -3*y for y.
-3
Let i = 23 - 23. Let f be i/(-2) + 18/6. Suppose 0*h - 3 = -h. Solve -2*d = -f*d - c - 1, -h*d + c = 3 for d.
-1
Let g = 20 - 13. Let k(m) = -4*m**2 + 16*m - 2. Let q be k(4). Let l = q + g. Solve 2*r + l*x - 15 = 0, 0 = 4*r - 0*r + 2*x + 10 for r.
-5
Let r(i) = 2*i**2 + 3*i - 5. Let u be r(3). Let p = -19 + u. Suppose 0 = -p*w - 5*s - 5, -3*w = -5*w - s + 6. Solve -w*a - 2*g - 2 = -4, 2*a = g - 1 for a.
0
Let j be 2*-1*(-89)/2. Let k = j + -76. Solve 2 - 6 = -5*n + 3*d, k = 2*n - 5*d for n.
-1
Suppose n = 2*l - 4*n - 13, 2*l - 6 = -2*n. Suppose v - l*b = -3*b, 4*v - 12 = b. Solve 5*p - p + v = -4*w, -2*w + p + 1 = 0 for w.
0
Let u = 3 + 5. Suppose 0 = -6*n + u + 10. Solve 5*d - 2*d = -n*f, -6 = 4*f + 2*d for f.
-3
Let m(r) be the first derivative of -r**3/3 - 5*r**2 - 21*r - 5. Let v be m(-6). Solve -2 = f, -l = -3*f - 2 - v for l.
-1
Suppose -5 - 4 = -3*o. Suppose 0*g = -o*g. Suppose -4*y + 10 + 6 = g. Solve -q + 2*r = 10, -14 - 2 = -y*r for q.
-2
Let h be (4/10)/(11/2640). Let x = 99 - h. Solve x*p + 4*v = -15, -3*v = 5*p + 2*v + 25 for p.
-5
Let r be (-16)/2 + 4 - -26. Suppose r*f - 10 = 78. Solve 10 = t - f*c, -5*t + 5*c + 1 = -4 for t.
-2
Suppose 3*j - 5 = -17. Let l be 3 - (j + 4 + 0). Solve -3*y + 15 = 0, -2 = l*m + 4*y - 7 for m.
-5
Let q be -5 + (76/19)/(1 + 4/(-8)). Suppose -t + 0*t = -5. Let s be (t/(-2))/((-2)/12). Solve -s - 4 = 2*u + q*j, 4*u - 3*j = 7 for u.
-2
Let i(d) = d**3 + 12*d**2 + 11*d - 90. Let k be i(-10). Solve k = 19*l - 18*l + a - 5, -5*a + 22 = 2*l for l.
1
Let k be 5*(1 + 2/(-5)). Let z be (9 - (0 - 7))/1. Solve 0*o + 4*o + 10 = -k*g, 0 = 5*o + 2*g + z for o.
-4
Let k = 292 - 290. Solve k*u + 4 = -2*v, 5*u - v + 3 = u for u.
-1
Let g(c) = c**3 - 4*c + 3. Suppose -3*q + 9 = 0, 2*m - 3*m = 4*q - 14. Let i be g(m). Suppose -j + 4 = 2. Solve -y = -j*a + 2, -i*y + 4 = 4*a - 0 for a.
1
Suppose -a - 2 = 4*k + 4*a, 4 = k - a. Let m be -9*(2 - 0) - k. Let q be m/70 - (-37)/7. Solve -5*g = -i + q, -2*i + 4*g = 1 - 11 for i.
5
Let r = 8 + -6. Let i(a) be the first derivative of -3*a**2/2 + 17*a - 4. Let w be i(0). Solve w - 1 = -4*q, -3*b = -2*q - r for b.
-2
Suppose 5*l + 3*k = 159, 3*l + 2*k + 0*k - 96 = 0. Let t = l - 26. Solve t*b - a + 20 = 4*a, -2*b + 12 = 3*a for b.
0
Suppose -3*t - 60 = -0*t. Let a(q) = 45*q - 2. Let x be a(1). Let o = x + t. Solve -5*u = -3*b - o, 4*u - 8 = 4*b + 12 for u.
4
Let c be ((-24)/(-10))/((-9)/(-30)). Suppose 5*p - 4*j + 12 = 0, -j + 3 = c*p - 3*p. Solve 4*x = s + 13 + 1, p = -3*x - 2*s + 16 for x.
4
Let w(o) = -2*o + o**2 - o + 0*o + 4*o + 3. Suppose 5*p = t - 1, 3*p + 0*t = 3*t - 3. Let q be w(p). Solve -q*i + 3 = 3*v - v, -3 = -v for i.
-1
Let y be (50 - 56)*(1/(-3) - 1). Solve -4*s + 8*s = 5*i + y, s = -5*i - 23 for s.
-3
Let v(j) = -11*j**2 - 625*j + 119. Let c be v(-57). Let d be (1/1 - 1) + 2. Solve -3*z = -d*u + 15, 3*z + 27 = c*u - z for u.
3
Suppose 42*i = y + 40*i - 2, -3*i + 4 = 2*y. Solve 0 = 5*l - n, -y*n + 4*n + 10 = 0 for l.
-1
Let z = -31 + 36. Suppose 2*w = -4*h - w + 26, 4*h - 10 = z*w. Solve h*c - 13 = t, 5*t - c + 12 = -5 for t.
-3
Let n = 16 - 12. Let v(h) = -h**2 + 4*h. Let u be v(n). Suppose u = 4*o - 16 - 4. Solve -2*c - 21 = o*j, -3*c - 3*j + 2*j = -1 for c.
2
Let j(u) = 7*u + 21. Let g be j(-3). Suppose -3*n - z = -g*z - 5, -4*n - 15 = -3*z. Solve 4*l - r + 14 = n, 3*r = -l - l for l.
-3
Suppose -3 = -5*d + g + 10, -2*g = d - 7. Suppose o = -d*o - 24. Let k = -6 - o. Solve -2*t + 12 = -3*b + 1, 3*t - 12 = k for b.
-1
Let a(m) = 2*m**3 - 5*m + 10. Let t be a(0). Solve 0 = -5*y - n + t, 4*y - 3*n = n - 16 for y.
1
Let i(p) = -p**2 + 3. Let f be i(0). Suppose -2 = -f*k + 2*k. Suppose -k*c + 12 = 5*d, 2*c + 2*c - 10 = -3*d. Solve -6 = d*o - 2*q - 3*q, 3*o - q = -9 for o.
-3
Suppose i - 282 = -3*o, 3*o = -o - 3*i + 371. Let w be ((-4)/(-10))/(38/o). Solve -4*r = 5*m - w, 0*r = -2*r + 8 for m.
-3
Suppose 13*o = 27*o - 70. Solve o*d + 13 = 2*f - f, 2*d = -f - 8 for d.
-3
Let f = -31 + 42. Suppose 0*h + 3*h - 6 = 0. Suppose -z + 4*z = -h*o + 24, z = 4. Solve -3*x + f = -o*x - 4*b, 0 = -4*x - 5*b - 13 for x.
3
Suppose 80*d - 91*d = -44. Suppose 1 = 5*k - 6*k. L