n - 5*z - j for n.
3
Let l = -535 - -468. Let c = 70 + l. Solve -2*y + 2 = h - c, 5 = h for y.
0
Let g = -431 + 451. Suppose -3*l + 15 + 5 = -2*c, -g = -l - 2*c. Solve 3*n + l = 5*z - 2*n, -15 = 3*n for z.
-3
Suppose -2*w + 5*s = 3*w - 1070, w = -2*s + 202. Let d = -205 + w. Solve -6*b + 5*n = -3*b + 5, -d*n = -2*b for b.
-5
Suppose 123*s - u = 126*s - 46, -4*s - 5*u = -65. Solve -4*t + 8*t - 18 = 2*y, y - 4*t + s = 0 for y.
-3
Let d = 20097 + -20092. Solve -2*v = -4*q + 5*q - 3, -d*q - 2*v = 25 for q.
-7
Let o(a) = 31*a**2 - 328*a - 128. Let n be o(11). Solve 25*h + 5*f + 15 = 21*h, 0 = 5*h - 5*f - n for h.
0
Let a be 2 + (-9)/(108/(-96)). Solve 2*g = 2, o + a = 13*g - 8*g for o.
-5
Let l(g) be the third derivative of 1/60*g**5 + 0*g + 8*g**2 + 0 + 7/12*g**4 - 7*g**3. Let s be l(-17). Solve -2*u + 5*m + 0*m = 7, -5*u - s = -4*m for u.
-1
Let q be ((-10)/(400/(-72)))/(1/(-5)*-3). Solve -21*u = -16*u - 4*w + 40, -2*w = -q*u - 22 for u.
-4
Suppose -32*m = -30*m - 4*u - 14, -u = 3*m - 21. Solve 2*d - 4*t = -m*t - 5, 15 = 4*d + t for d.
5
Suppose 0 = -80*k + 82*k + 34. Let t(m) = 2*m**2 + 32*m - 8. Let s be t(k). Solve d = -5*w + 31 - 6, 2*d = -4*w + s for d.
5
Let f(s) = s**3 + 22*s**2 + 67*s + 193. Let n be f(-19). Solve -4*x + 2*p + 18 = 0, n*x + p + 19 = -4*p for x.
2
Let h be (-12)/((24/36)/(6/9)). Let r be -2*5/30*h. Solve -5*w = -4*w - r*g - 1, 0 = -w + 3*g for w.
-3
Let f(y) = 93*y + 5. Let l be f(-2). Let s = l - -185. Solve 0 = 4*q + s*h - 4, -2*q + 0*h + 1 = h for q.
0
Let k(y) = -y**2 + 164*y + 1022. Let v be k(-6). Solve -v*c + 4*d = -18, 2*d + 11 = 2*c + 1 for c.
1
Suppose 2*a - 22 = -4*g, -67*g = -5*a - 66*g + 22. Let c be a*((-25)/100 - (-42)/40). Solve 4*n - 4*t = 3*n - 4, 0 = c*n - 4*t + 4 for n.
0
Suppose 5*m - 190 = -5*n, 2*n - 79 = m - 18. Let z be (-14 + n)*(2 + -1). Solve -h = -2*h + 5*i - z, -3*h + 2*i = 18 for h.
-4
Let w be 1/(12 - (-280)/(-24)). Solve 2*s - w*x = 14, -7*s + 7 = -8*s - 2*x for s.
1
Let g = 152 - 149. Suppose 0*q + g*q + 4*p - 6 = 0, 5*q + 4*p = 10. Let l = 14 - -17. Solve -4*o + q = 2*r, -3*o = -5*r - o - l for r.
-5
Suppose 10142*x = 10138*x + 8. Solve 0 = -2*y + 3*y - 5*p + 4, -x*p = 4*y - 6 for y.
1
Suppose -11*s + 11*s - 14*s = s. Solve 4*x - 3*j + 34 = 55, s = -2*j + 2 for x.
6
Let k(l) = -l**3 + 11*l**2 + 47*l - 65. Let r be k(14). Solve 11*a - 20 = 16*a, -r*p = -a - 19 for p.
3
Suppose 158*y - 156*y = -5*c + 19, -12 = -3*c - y. Solve -5*j - 18*h + 22*h = 1, -5*h + c = -5*j for j.
3
Suppose -7*k = k - 200. Suppose -21*y = -k*y - 16. Let v be y/(-4)*8 - -3. Solve 3*l + 13 = -5*p, 5*p + 10 = -l - v for l.
4
Let j be (3 - -1)*(30/(-40) + -10 - -12). Solve j*c = 2*g - 13, -3*c = -4*c + 3*g for c.
-3
Let g(b) = -5*b**3 + b**2 + 2*b + 1. Let l be g(-1). Suppose -9*s + 16*s = -13*s. Solve s = -l*r - 25, h - 3*r = -0*h + 20 for h.
5
Suppose 49*w - 100*w = -48*w - 12. Solve -w*o = 0, -5*o - 5 = -n - 3 for n.
2
Suppose v + 6 = 3*v. Suppose l - 38 = v*a, -38 = 4*a + 5*l - 0*l. Let r be -9 + 17 + (-3)/((-9)/a). Solve 2*h + w - r*w + 25 = 0, 2*h = w - 15 for h.
-5
Let k = 4 - 6. Let u = 370 - 374. Let q be u/2 - (-9 - k). Solve z = 2*t + 3, 2*t = -q*z + 23 + 4 for z.
5
Let g(k) = k**2 + 29*k + 6. Let c be g(-29). Let o be 3/c*(16 - -2). Solve 0*r + 3*q = -3*r + o, 15 = 5*q for r.
0
Let m(y) be the first derivative of -2*y**3/3 - 41*y**2/2 - 22. Let h be m(-20). Suppose f = -l + 5, 2*l = f - 0*f - h. Solve 5*g + s + f + 2 = 0, -s = 2 for g.
-2
Let i = -8939 + 8946. Solve i*p - 8*p = 3, 5*b = -p - 18 for b.
-3
Suppose 2*f = -6, 8*j - 11*j = -3*f - 54. Solve 3*h = 2*p + j, -3*h + 2*p - 7*p = 6 for h.
3
Let n be -22 + 1/6 + 33/18. Let v = 24 + n. Solve 0 = 2*f - v, -3*j + f - 3*f + 13 = 0 for j.
3
Suppose 4*j = 5*f - 6, -98*j = 3*f - 95*j - 9. Let n be -2*(-3 + 1)/(-2). Let h = n + f. Solve -4*w + 4*g - g = 2, 4*w + 3*g - 10 = h for w.
1
Let q = -5057 - -5060. Solve 0 = q*j - 14*v + 18, -5*j - 2*v - v = 30 for j.
-6
Let q be -1 + 13 - (-210)/(-21). Solve 5 = -7*t + 4*t - 2*h, 0 = q*t - 2*h for t.
-1
Suppose -48*l + 26*l = -220. Solve -4*f - 2*z = 12, 5*f - 15 = l*f - 3*z for f.
-3
Let z = -3 + 1. Let d = z - -4. Let g be (7/((-21)/10))/((-175)/105). Solve -f = -g*x - d - 1, -5*f = 5*x for f.
1
Let f be (-189)/54*10/35*-3. Solve o - f*g = -12, 87*o - 84*o - 2*g = -1 for o.
3
Let a(v) = -5*v - 61. Let d be a(-14). Suppose 0 = 108*c - 105*c - d. Solve 3*k + c*l - 5 + 26 = 0, -k + 8 = -2*l for k.
-2
Let q = 4796 - 4776. Solve 3*a + 6 = -3*h, 3*h + h = -q for a.
3
Let k(a) be the first derivative of -29 + 12*a - 31/2*a**2 + a**3. Let x be k(10). Solve 4*y - 5*m + 1 = -0*y, x*y + m + 11 = 0 for y.
-4
Suppose -4*f - 1 = 5*a, -5*f + 1245 - 1243 = 3*a. Solve 5*b + 7 = -5*u - 8, 2*b - 3*u = -f for b.
-2
Let b be (-5 + 5)/(0 - 1). Suppose 0 = -25*z + 26*z - 85. Let k = 86 - z. Solve o + n - 1 = b, n - k - 8 = 3*o for o.
-2
Let v(d) = 2*d + 1. Let z be v(-7). Let a = z - -4. Let j(g) = -g - 6. Let f be j(a). Solve 0*n = 3*n - 3, -2*i - 7 = -f*n for i.
-2
Suppose 3*z - 5*i = -29, -4*z - 7*i + 0*i + 57 = 0. Solve z*m - 4 = 3*q, 10*q = 2*m + 8*q - 6 for m.
5
Let f = -3056 + 3069. Solve -p + 2*b + f = 19, -6 = -p - 2*b for p.
0
Suppose 2165 = 82*c + 279. Solve 1 = d - 26*a + c*a, -3*a = 0 for d.
1
Let c(j) = -j**3 - 11*j**2 - 28*j - 94. Let s be c(-10). Solve s*k = 87*k + 5*u + 5, -u = 5*k + 1 for k.
0
Let w be ((-4290)/(-1040))/(1/8). Solve -5*a + w = -2*n, 113*a - 109*a - 40 = 5*n for a.
5
Let o = 1860 + -1860. Solve o = -2*f - 2*j - 16, -2*j + 3*j = f for f.
-4
Let m = 168 - 133. Suppose -72*p + 79*p = m. Solve p*c - 2*c + 12 = 0, -4*f + 4*c = -28 for f.
3
Let t = 269 + -285. Let g be 5/40*-4*t/2. Solve y - 4*f - 3 = 0, 0*f = 2*f + g for y.
-5
Let s(c) = -2*c**2 - 11*c - 7. Suppose 0 = 5*m + v + 18, -5*v + 2 = -30*m + 32*m. Let l be s(m). Solve 4 = -2*r - z + l*z, 0 = -3*z for r.
-2
Let y = 1361 - 1356. Solve 0 = 3*l - u - 2 + 7, 8 = 4*l - y*u for l.
-3
Let c(q) = -25*q + 49. Let i be c(-8). Let l = i + -237. Solve -l = 4*a - 2*n, 9*a = 4*a + n - 9 for a.
-1
Let g(i) = -i**3 - 13*i**2 - 2*i - 22. Let o be g(-13). Suppose -o*f + 67 = 3*w + 11, -4*w + 84 = -4*f. Solve -4*p + 2 = 2*h, -h - w = 3*h for p.
3
Suppose -5*b + 90 = 5*w, 2*b - 2*w = 5*b - 54. Let u = -2 + b. Suppose 0 = -11*s + 7*s + u. Solve -3*z = 2*a + 1, z - s*a - 13 + 4 = 0 for z.
1
Suppose -i = 3*k - 11, -4*k + 3 = 4*i - 5*i. Let o be 36/24*12/9. Solve 3*x = -2*c - 2 + 24, 0 = -o*x + i*c - 17 for x.
4
Suppose 0 = 284*v - 293*v + 36. Solve 2*q = -v*g - 20, 11*g = 10*g + 2*q for g.
-4
Let w = -3 - -6. Suppose 5 = f + w. Solve 4*a = -u - 5 - 14, -8 = 2*a + f*u for a.
-5
Suppose 33*s + 190 - 3280 = 3*s. Solve -w + 2*n = -3, 5*w + s = n + 118 for w.
3
Let f = 5893 + -5870. Solve -20*k + 3 = -f*k - 4*v, -4*k - 32 = -4*v for k.
-5
Let x(s) = -s - 1. Let k be x(1). Let f be 10/4 - k/(-4). Let q be 611/156 + -4 - (-6)/72. Solve -2*v = -q*v + 4*h + 6, -2*v - 2*h + f = 0 for v.
5
Suppose 5*z = 5*l - 55, -4*z + 30 = l + 4. Solve -8*b + l = -d - 5*b, 5*d - 10 = -5*b for d.
-2
Suppose -113*u - 36 = -119*u. Suppose u*f - 17 = 7. Solve -2 = -5*s + 5*o - 22, 3*o = f*s + 15 for s.
-3
Suppose 187*v + 9 = 190*v. Let r(a) be the first derivative of -a**3/3 - 3*a**2 + 4*a + 1. Let k be r(-6). Solve -k*x = -v*x + s + 2, 4*s - 8 = 4*x for x.
-2
Let v(p) = -2*p + 5. Let s be v(-5). Suppose 4213 = -16*o + 5*o. Let r = o - -385. Solve 4*w - 26 = -r*b, 3*w + 2*w - s = b for w.
4
Let x(o) = -o**2 - 69*o - 633. Let n be x(-11). Solve g - n*l - 11 = 0, g + 13 = -0*l - 3*l for g.
-4
Let w(z) = 4*z**3 + 10*z**2 + 14*z + 10. Let y be w(-5). Let r = -307 - y. Solve -2*t + 2 = -r*g - 5, -t = 2*g for t.
2
Suppose -9*f - 18*f = 5*f - 128. Solve 3*z - 12 = i + i, z = i + f for i.
0
Let r = 202900 - 202898. Let i be (-1 + (-6)/(-4))*8. Solve i*q - 5 = -5*w, 2*w + r - 17 = q for w.
5
Suppose 5*s - 9*g = -5*g, 0*s = s + 4*g. Let l be (2 + -6)/(1*-2). Solve b - l*k + 12 = 0, -9 = -s*b + 2*b - k for b.
-2
Let l = 5029 + -5029. Solve l = 34*t - 33*t - 2*x + 6, t + 5*x - 15 = 0 for t.
0
Let u(h) = 3*h**2 - 6*h + 16. Let j be u(-7). Let w = j + -203. Solve 32 + 1 = 5*b + 4*f, b - w*f - 1 = 0 for b.
5
Let x = 18955 - 18927. Solve i = 5*c + x, 13*c - 16*c - 5*i = 0 for c.
-5
Let k(s) = s**3 - 5*s**2 + 2*s + 1