5*f + d = 5*n + 31 for n.
0
Let q be ((-384)/30)/(10/(-25)). Solve -3*d + q = -4*f, 1 = -2*d - 4*f - 11 for d.
4
Suppose 90*a - 51*a = 61*a - 88. Solve 2*i - 5*z = 18, -10*i - 17 = a*z + 9 for i.
-1
Let c = 41417 + -41405. Solve 0 = f + 3*z - c - 3, -4*z + 4 = -4*f for f.
3
Let v be 2/5 - (-476)/10. Let f be 622/6 + 3/9. Let z be (f/v)/(2/12). Solve 5*n - 2*l - z = 14, 1 = -l for n.
5
Let g be 45/(-6)*-1*2. Suppose -a = 4*f - 29, -4*f = f - g. Let k(l) = 2*l**2 - 46*l + 2. Let x be k(23). Solve a = -x*i - 2*i - 5*c, 0 = -5*i - 2*c for i.
2
Suppose 0 = -3*n + 4 + 41. Let j be 1/(n/87) - 1/(-5). Solve -4*h = i + 3, 0*h - 2*h = 2*i - j for h.
-2
Suppose -142*q - 1905 = -23*q - 4999. Solve -4*c - q = -2*n, -5*n + 3*c = -4*n - 18 for n.
3
Let p = -247 - -247. Let t be -9*(1/(-3) + p) - 1. Solve -4*g + 6 = -o, -t*o + 8 = g + g for g.
2
Let p be (-112 + 77)*(-2)/10. Let v(q) = 2*q**3 - 5*q**2 - 4*q + 3. Let k be v(4). Suppose 0*r = 5*r - k. Solve d = 2*l + p, -15 - r = 2*l + 4*d for l.
-5
Suppose 3*u + 458 = 4*i - 2*u, 5*i = -5*u + 595. Suppose -i*d - 2 = -118*d. Let z = 30 - 26. Solve -t + n = -4 - 0, -16 = d*t + z*n for t.
0
Let i = -6069 - -6074. Solve -20 = -4*j, -i*x - 14*j - 10 = -13*j for x.
-3
Suppose -4*o + 42 = 2*l, -5*o - 2*l + 47 = -2. Solve -7*c + 2*c + 4*n = 24, 2*c = -n - o for c.
-4
Let t = 6858 + -6848. Solve 0 = 5*v - 15, 4*f - 3*v + t = 3*f for f.
-1
Let l be 0 - (-12 - 0 - 0). Let s(k) = -1 + 11 - 4*k**2 - 50*k + 39*k + 9 + 6*k**2. Let c be s(3). Solve 0 = -g - c*n - l, n + 0 + 20 = 4*g for g.
4
Let c(r) = -r**3 + r**2 + 9*r + 3. Let q be c(0). Suppose q*w - 8*d + 7*d - 16 = 0, 5*w = -3*d + 8. Solve p - j = -0*j + 2, -8 = -w*p + 2*j for p.
2
Let t be 2*(-2)/((-16)/(-4)). Let h be -7*(2 + t)/(1/(-3)). Suppose -2*f = 5*x - h, -3*f = 2*x - 1 - 3. Solve -4*s = 0, 0 = -x*n - s - 3*s - 20 for n.
-4
Let k(v) = 15*v + 1834. Let d be k(-122). Solve -3*w = 2*o + 9, 3*o - d*w - 9 = -w for o.
0
Let w = -14355 + 14471. Solve -l + 117*g - w*g = -4, 5*l - 2*g = 14 for l.
2
Let p be 4/(-28) + (-4)/(-28). Suppose p = 6*i + 6*i + 60. Let v be 1/(i/(-4) - 1). Solve -h - 2*z - 4 = 0, -3*h + 6*h - 18 = v*z for h.
2
Suppose -w + 3*d - 2 = 7, 5*d = 20. Solve 52*n + 12 = -w*a + 55*n, -11 = -a - 4*n for a.
-1
Let s(f) be the third derivative of -f**5/60 + 7*f**4/6 + 125*f**3/3 + 224*f**2. Let h be s(35). Let i = 11 - 7. Solve t = i, -3 = h*a - 5*t + 37 for a.
-4
Let i = -32 + 32. Suppose i = 2*f - 4*g - 8, -4*g - 2 - 18 = 0. Let q(s) = 3*s + 18. Let u be q(f). Solve -2*c + 4*n - 16 = u, -3*c - 7 = -2*n - 3 for c.
2
Let c(h) = -h**2 + 2*h. Let n(k) = -4*k**2 - 3*k + 4. Let v(u) = 3*c(u) - n(u). Let d be v(-11). Solve -10 = 4*g - 4*r + d, 23 = -4*g + 3*r for g.
-2
Let u = 125 + -13. Let n be (160/u)/((-10)/(-28)). Solve -n*v - 3*t = 27, -4*t - 26 = 2*v - 0*v for v.
-3
Let v(i) = 4*i. Let l be v(1). Suppose 0 = 6*z - 0*z - 312. Let n = z + -49. Solve -l*q = -2*b + 14, q + 24 = 4*b - n*q for b.
5
Let g(i) = -i**3 + 94*i**2 - 1723*i - 136. Let x be g(69). Solve -4*s + 5 = 5*f + 34, -x*s = -5*f - 23 for f.
-5
Let k = 5907 + -5902. Let r(z) = -z**2 + 6*z - 3. Let j be r(5). Solve -5*h - 4*u = -12, 5*h = u - k + j for h.
0
Suppose -12326*f = -12328*f + 20. Solve -5*j = -4*l + 25, -l + f = 2*l + 5*j for l.
5
Let k(w) = -2*w**3 + 3*w**2 - w - 3. Let m be k(-1). Suppose 0 = -m*l + 70 - 43. Solve 5*c + 29 = 2*r, 0*r + 3*c + l = -3*r for r.
2
Suppose -7*u = -14*u + 49. Let s be (-64)/144*(-1 + u/(-2)). Solve 0 = -s*h + 4*t - 3 + 1, -2*h = -2*t + 6 for h.
-5
Let h be (-22)/55 + -2*4/(-20). Solve h = -l - q + 4, 31*l - 33*l + 23 = 5*q for l.
-1
Suppose -4*a - 4*w = -406 - 382, -a + 5*w + 179 = 0. Let m = a - 166. Solve 2*b - 16 = 5*s, -2*s - 3*s - m = 4*b for b.
-2
Suppose 4*o + 40 = -3*h, -4 = 5*o - 7*o. Let p be (-48)/12 - h/4. Solve p = -5*s + 5*j, -j - 4*j = 0 for s.
0
Let c be 6 + (-506)/22 + 20. Solve 4*b - 55 = 5*r - 8, -c*r - 12 = 3*b for r.
-7
Let d(n) = 39*n**2 + 4. Let g be d(2). Suppose -8*o - g = 112. Let p = o - -38. Solve -v + p*y + 9 + 0 = 0, v - 1 = -4*y for v.
5
Suppose 3*a + 1551 = -3*o, 4*a - 31*o = -26*o - 2104. Let t = 523 + a. Solve 12 = 3*r, t*r - r = -3*p + 16 for p.
4
Suppose 39*y - 86 = 13*y - 17*y. Solve -y*x = 2*f - 18, -12*x - 5 = -13*x for f.
4
Suppose 96*a - a - a - 658 = 0. Solve a*z = -3*p - 37, 5*p + 0*z + 23 = -2*z for p.
-3
Suppose 4*b - 18 - 2 = 0. Let c be (-2 + (1 - -1))*7/14. Solve 0 = g + 3, -z - z - b*g - 25 = c for z.
-5
Suppose 11*b = 995 - 940. Solve -3*u + 14 = -4*l, -3*u + b*l + 19 = -0*l for u.
-2
Let z = -68 - -149. Let i = z + -79. Solve 2*s - i*u - 18 = 7*s, -2*s + 3*u = 11 for s.
-4
Suppose -78 - 72 = 29*a - 150. Solve -3*d + 4*w + 4 + 3 = a, -d + w = -3 for d.
5
Let h be 2 - (-1 + -1 + (-4 - -4)). Suppose 2*z - h*z + 18 = 4*b, 4*b - 28 = -4*z. Solve 7*k + 3 = -3*i + 4*k, 2*i = b*k + 10 for i.
2
Let p = -24 + 30. Suppose -28*y = -27*y - 4*x + p, -2*x + 14 = 5*y. Solve -5*u - y*t = 6, -2 = t - 2*t for u.
-2
Let t = 84 + -81. Suppose 2*y - 80 + 72 = 0. Let o be 0/(y - (2 + 3)). Solve 3*p + c + 5 = 0, o = -p - t*c + 5*c + 3 for p.
-1
Suppose 194*g - 14 = 374. Solve 2*q = -h + 3 - g, 0 = q for h.
1
Let k = -2139 + 2139. Solve -20 = -11*q + 7*q + a, k = -2*a for q.
5
Let n = 31 - 18. Let r be -28 + 36 + (-18 + -1)/1. Let l = r + n. Solve l*v + v = 2*o + 3, -3*o = 3*v - 3 for v.
1
Let r(p) be the third derivative of p**5/30 + 11*p**4/24 + p**3 + 86*p**2. Let m be r(-5). Solve -5*n = 5*t - 5, t - 5*n + 0*n = m for t.
1
Suppose -z - 13 = -5*v, -5*v + 4*v + 25 = 3*z. Suppose z*x - 14 = -14. Solve 5*c + 4*s = -6 + 2, 3*c + 3*s = x for c.
-4
Let r = 13028 - 13024. Solve -n + 2*z = 8, -57*n + z = -53*n + r for n.
0
Let t = 1983 + -1978. Solve -21 = 2*m + 5*j - 8, -9 = m + t*j for m.
-4
Let j(n) = 14*n**2 + 154*n - 2. Let i be j(-11). Let g be (-2)/i + (12 - 18/2). Solve -4*f - 24 = g*w + w, 0 = 4*w + 16 for f.
-1
Let l = 610 - 36. Suppose -6*u - l = u. Let d = -80 - u. Solve -j + 1 = -d*i, i + 4*i = -3*j - 19 for i.
-2
Suppose 37*y + 168 = 51*y. Suppose -3*l - y = 0, -13*l = 4*r - 11*l. Solve -r*j + q = -3, 4*q = 4*j - 15 + 3 for j.
0
Let r(y) = -9 + 0*y + y - 4*y**2 + 2*y**2 - 4. Let d be r(0). Let i = d - -15. Solve -2*k + i*q + 2*q = -22, -q - 4 = 0 for k.
3
Let d(r) = 4*r**2 - 9*r - 3. Let g be d(5). Suppose -g - 11 = -9*u. Solve 5*x = 3*h - u, -7*h + 4*x + 3 = -2*h for h.
-1
Suppose -7*s + 1122 = 1094. Solve -t + 2 = -m, -2*m - 3*t + 4 = -s*m for m.
-2
Suppose -2*a - 19 = -l, 5*a = l - 12 - 22. Let j(u) = -9*u - 25. Let m be j(l). Let y = m - -127. Solve -17 = -3*g + 5*v, -5*v = 3*g + 2 + y for g.
-1
Let k(l) = l**3 - 2*l**2 - 9*l - 6. Let t be k(5). Suppose 0 = d - 5*p + t + 31, -d = -2*p + 46. Let s = d - -61. Solve h + 4*v - 16 = -h, s = 3*h + 5*v for h.
2
Let y = -632 - -682. Suppose 4*n = -y + 146. Solve -5*h = -3*b + n, -3*h - 5*b + 0 + 6 = 0 for h.
-3
Suppose 85*d = 13*d + 648. Solve 5*f = -x + 3, 5*x - 3*f - d = 6 for x.
3
Suppose 0 = -35*x + 71*x - 108. Solve -5*b + 17 = -x*q + 4, 0 = -2*b - 3*q + 22 for b.
5
Let n = 194 - 208. Let t be 4/16 + n/(-8). Solve -f + 4*f = 0, 0 = t*a + 3*f - 6 for a.
3
Let t = 5 - 5. Suppose -49 = -3*j - f, 75 = 5*j - t*j + 3*f. Let n be (-2)/3*(-81)/j. Solve 2*s - 8 = 2*q, 2*s - n*q = -8*q - 20 for s.
0
Let y be (-40)/(-5) - 4 - (6 + -2). Suppose -2*o = 5*p, 2*o + y*o = -3*p. Solve o = -2*x - 3*f - 9, -6 = -x + 4*x + 3*f for x.
3
Let d be -4*(0 + -1) - 2. Suppose d*q - 8 = 6. Suppose -q*h + 10*h = 6. Solve 4*f - f = h*w - 16, f - 4 = -4*w for f.
-4
Let j be (2 - (-14)/(-4))*(0 - 8). Suppose j - 18 = -3*g. Suppose 0 = -3*b + 7 + g. Solve 0 = -5*c + 15, v + 6*c - 11 = b*c for v.
2
Let r(u) = 60*u + 1177. Let m be r(-19). Solve 0 = -5*v - h + 5, -11*h + 18 = -m for v.
0
Suppose 4*q - 10 = 22. Suppose -277 = -10*z - 237. Suppose a = -5*o + 39, -z*a - q*o + 4*o = -76. Solve -3*p - m - 3 - 10 = 0, a = -4*p - 3*m for p.
-5
Let y(g) = -33*g - 1051. Let r be y(-32). Solve 3*q + j = 11, -q - r*j - 10 = 5 for q.
5
Suppose 2*r = -5*m + 30, -81*r + 85*r = 20. Solve 4*a = -u - 0 + 4, -m*u - 3*a - 10 = 0 for u.
-4
Suppose -2*v = -8 + 4. Suppose -p + 17 = 4*z - 5, v*z = 10. Suppose -3*x = 2*c - 2, 6 - 4 = -p*x + 2*c. Solve 5*b + 12 = -2*j, j - 7*b + 2*b - 24 = x for j.
4
Let p be (-5)/((-10)/8 + -