= o, 32*a - m = 31*a - 1 for a.
-1
Suppose g + 20*g = 14*g + 28. Solve -3*r + x - 10 = -14, 2*r = g*x + 16 for r.
0
Suppose -r + 4*c - 45 = -127, 3*c + 15 = 0. Let k = 65 - r. Suppose 2*s + s = -9, -k*s - 77 = -4*f. Solve 0 = 3*b + 12, -f = 3*n + b - 4 for n.
-3
Let q be ((-360)/48)/(4 + -1 + (-108)/24). Solve -8 = -2*h - 4*j, -j = q*h + 20 - 4 for h.
-4
Suppose 0 = 18*f + 30*f + 6*f - 108. Solve l = 3*p - f, 3*p = -5*l - 9 + 17 for l.
1
Let v be ((-72)/96)/(4/((-112)/3)). Solve 9 = 4*g + r + v, 3*g - 4*r = 11 for g.
1
Suppose -2*b + 0 = -6, -2*j + 2*b = -290. Let o = j + -79. Let i = o - 38. Solve 5*c + 4*d = -i, -c + d + 5 = -d for c.
-3
Suppose 20*a - 22 = 50*a - 41*a. Solve 0 = 5*z + 2*u + 10, -u + a = 4*z + 10 for z.
-2
Let a(x) = -x**3 + 2*x**2 + 10*x - 4. Let k = 120 + -120. Suppose 11*d - 13 - 31 = k. Let o be a(d). Solve 0 = -3*b - 2*w + 4*w + 25, 0 = o*b + 3*w - 5 for b.
5
Let d(x) = -31*x + 839. Let k be d(27). Solve -4*l = k*n - 16, 24*l - 2 = 5*n + 20*l for n.
2
Suppose 76*k = -96*k. Solve -2*j + 5*z = z - 2, k = -2*z for j.
1
Let u = -6 - -86. Let r = 84 - u. Solve 4*h = 2*c - 8, r*h + 4*c = c + 12 for h.
0
Suppose -2*w + 2*b = -34, -6*b + 11 = 3*w - b. Suppose -28 = -3*l - 4*f, -2*l = -6*l + f + w. Solve z + 1 + 1 = 0, 0 = 3*d + l*z + 14 for d.
-2
Let z = 5926 - 5916. Solve 4*p - 47*f - 28 = -42*f, -5*f = 5*p + z for p.
2
Suppose 14*z - 22*z = -8. Solve 4*l + 7 = 2*c - z, -4*c - 17 = 3*l for l.
-3
Suppose 3*r - 5*x - 34 = 3, -3*r - 13 = 5*x. Solve -4*h - 4 = -r*b, 3*b - b - 1 = 3*h for h.
1
Let u = 71 + -71. Suppose u = -3*g + g + 4. Suppose -v = -2*c - 4, -c - 10 = -2*v + g*c. Solve -4*o = 4*l - 3*o - 19, 5*l = 4*o + v for l.
4
Let k(d) = 5*d**2 + 25*d - 250. Let f be k(5). Solve f*a = a, 4*o + 2*a = -12 for o.
-3
Let v(h) = -4*h - 2. Let w be v(3). Let m be w/(-5) - (-20)/(-25). Let t be 4/(-2) + -1 + 3. Solve f = -4*g + 13, -4*f + t = m*g + 4 for f.
-3
Let y(s) = -s**2 - 10*s + 218. Let d be y(-20). Suppose 4*u - 14 = -2*j, 10*j + d = 13*j + 3*u. Solve -3*l + 0*p = j*p + 1, 4*l - 2*p - 16 = 0 for l.
3
Suppose 0 = -35*k + 6*k - 18*k + 940. Solve -3*f = -5*r + 4*r - 17, -5*r - k = -2*f for r.
-2
Let j = -720 + 756. Solve 3*q + 5 = 4*p, 5*q - j - 9 = -4*p for p.
5
Let l be 4/(-9) - 6699/(-189). Solve 5*b = 0, 2*s - 5*b - 25 = -l for s.
-5
Suppose 0 = -2*t - 5*n, -5*n = t - n. Suppose t = 7*p + 13 - 20. Solve -3*l = 5*h - h + 3, -p = l + h for l.
-1
Let a be (20/(-70))/(10/(-805)). Suppose 0 = 15*y - 17*y + 64. Suppose -6*o = -16 - y. Solve 5*x - 3*k = a, x + 4*k = o*k + 8 for x.
4
Let s = -7 + 10. Suppose -2*k - 4*o = 12, -k - 6082 = 4*o - 6064. Solve -y + 5*n - 8 = -28, k = s*y + 3*n for y.
5
Suppose -5*i - i = -86*i + 400. Solve -i*q - 19 = 3*h + h, -3*h = -q for q.
-3
Let a be 1 - (-12)/(-9) - (-75)/(-180)*-44. Suppose t - 2*t + 3 = 0. Suppose -5*s + 12 = g, t = 2*s - 1. Solve -3*w = 3*x + a, -1 = -4*x + 3*w - g*w for x.
-1
Let p(w) = -w**3 - 63*w**2 + 139*w + 590. Let y be p(-65). Solve -9*c - 4*h - 61 = 0, y*c = -h - 3*h - 41 for c.
-5
Suppose -4658 = -22*r - 12*r. Let f = r - 133. Solve -k + f*b + 2 = 0, k - 2*k + b - 1 = 0 for k.
-2
Let o be (92/126 + 12/(-27))*14. Suppose -4*x + w = -25, 5 = -o*x + 6*w - 11*w. Solve -4*m - 4*f - 20 = -x*f, -3*m - 4*f = 15 for m.
-5
Let y(k) be the third derivative of -k**4/8 - 17*k**3/3 + 16*k**2. Let x be y(-18). Let f = 22 - x. Solve -f*w + 5*o = o - 6, 4*o = -4 for w.
1
Let f = 4114 + -4110. Solve f*r - p = -19, 2*r - p = -0*r - 11 for r.
-4
Let l(x) = x**3 + 6*x**2 - 22*x - 122. Let k be l(-6). Solve -o - k*p = -15*p - 21, 5*p = -3*o - 37 for o.
-4
Suppose 0 = 4*f + 65*f - 276. Solve 5*g - 2*g = -k + 7, f*k - 12 = 4*g for k.
4
Suppose 2*w + 3 = 1, -3 = -o + 3*w. Solve -3*c = -4*g - o*c + 22, -c = -3*g + 14 for g.
4
Let l(c) = -c**3 + 51*c**2 - 2*c + 105. Let w be l(51). Solve 5*m = 3*y + 16, -m + 2*y = -2 + w for m.
5
Let m(a) = 34*a + 315. Let b be m(-9). Solve -3*y + 9 + b = -2*d, 0 = -4*y + 5*d + 31 for y.
4
Let f be 4 - 1 - 0*(-21)/(-378). Solve -6 = -f*u, 0 = -h + 3*u - 46 + 38 for h.
-2
Suppose 4*v + r - 4 = 3*v, -21 = -4*v - 3*r. Suppose -v*t - 5 = -11*t + 5*n, 3*n = t - 3. Solve -5*k + t*q = -q + 24, -q - 6 = k for k.
-5
Let g(j) = 16 - 2*j**3 + 4 + 15 - 16*j + 29*j**2 - 4. Let x be g(14). Solve x*k + 9 = 5*k + r, 2*r = 2*k for k.
3
Suppose 4*m - 18 = 5*v - 13, 0 = 3*v - 21. Solve 5 = 5*z - 3*d, -3*z - d + m = 7 for z.
1
Let p be (-4)/(-5) - 273/(-65). Solve -t - 2*n - 15 = -6*t, 5*t - p*n = 30 for t.
1
Let s(m) = 50 - 21 + 5*m - 3*m + 6*m. Let h be s(-3). Solve 16 = -3*n - 2*a, a - 6 + 1 = h*n for n.
-2
Suppose 36*f + 71 = 3*a + 32*f, 97 = 5*a + 4*f. Solve 2*q = -3*b + 12, -q + 3*b + 0*b - a = 0 for q.
-3
Suppose -10*l + 6*l = -12. Suppose 3*s - 298 = -u - 79, l*s = -4*u + 210. Let w = s + -69. Solve i = 2, 5*g - 6*i + i + w = 0 for g.
1
Let h be 1/((-1)/6)*(-66)/(-44). Let t be 2/6 - 38/6. Let j = t - h. Solve 0 = f, -j*k + 2*f = -0 - 6 for k.
2
Let j = -48 + 26. Let m be ((-1)/(-2)*4)/((-11)/j). Suppose -2*v = 4, -r - 3*r = m*v - 4. Solve 5*c - 4*o = -8 + r, -5*o = -3*c + 10 for c.
-5
Let p be (-7)/2 + 4473/142. Suppose -4*b = 3*s - 22, -5 = -b - s + 1. Solve -3*j - j = 5*v - 40, 2*v = -b*j + p for j.
5
Let p(y) = -10*y + 57. Let s be p(5). Let b be (s/21*9)/1. Solve 5*m + b*v - 4 = -23, 4*m + 10 = -5*v for m.
-5
Suppose 15 = 2*r - 5*t, -5*r - 61 + 82 = 4*t. Solve 4*p = -r*d + 31, 2*d + 4*p = -p + 26 for d.
3
Let d be 19/(-6 + 4 + (1 - 8) + 10). Solve 8 = d*z - 21*z, -a + 5*z + 23 = 0 for a.
3
Let t(z) = 5*z**2 - 13*z + 10. Let v be t(1). Solve v*k - 2*i - 6 = 0, 3*i - i + 12 = 4*k for k.
3
Let q be 14/(-56) - 194/(-8). Suppose -p - z + 23 = 3*p, 3*z = -3*p + q. Solve 4*r - 25 = 5*r + p*n, -n - 5 = -2*r for r.
0
Let w(x) = 68*x - 270. Let n be w(4). Suppose n*d = 4*j - 22, 7*j - 37 = 3*j + 5*d. Solve a - 10 = -3*l - 0, -l + j = 0 for a.
1
Suppose 0 = n + r - 109, 0 = -5*r - 5 - 20. Let b = n - 103. Solve -g - b = -3*o, 3*o - 15 = -0*o for g.
4
Suppose 0 = 5*w + 2*h - 21, 21*h - 7 = -3*w + 17*h. Solve 5 = 2*q - g + 14, -5*q = w*g + 15 for q.
-4
Let t be -17 + 15 + 52 + -13. Solve 5*p = t*i - 35*i + 25, -2*p + 10 = 5*i for i.
0
Let n = -591 + 592. Suppose -5*s - 3*d + 19 - 12 = 0, s + d - n = 0. Solve 3*k = 3*l, -2*l = s*k - 0*l for k.
0
Suppose 194*q - 806 + 182 = 346. Solve 15 = -147*f + 144*f - 2*o, -18 = q*f + o for f.
-3
Let k = -252 - -274. Suppose 10*v - k - 8 = 0. Solve -4*f + 2*h + 7 = -3*h, -2*f + 3*h + v = 0 for f.
3
Let x(q) = 4*q**3 + 15*q**2 - 6*q - 17. Let t be x(-3). Solve -2 = -2*a - l, 0 = -3*a - 5*l + 31 - t for a.
1
Let l = 31324 - 31219. Solve 3*w - 3*v = -3, -l*v + 101*v = -3*w - 8 for w.
4
Let j = -109 + 117. Solve 4*s + d = -14, -30*d + j = -34*d for s.
-3
Let f(r) = -2*r**2 - 47*r + 39. Let w be f(-21). Let v = w - 142. Solve 5*p - l + 2 = 0, 3*p + 2*l = -7 - v for p.
-1
Suppose -d - j = -0*d - 1, 0 = -3*d + 2*j + 18. Let w be (1 - 42/38) + 384/38. Let m = -1386 + 1411. Solve d*o = -4*s - w + 30, -5*o = 4*s - m for s.
0
Let o(y) = -5*y + 2. Let g be o(-6). Suppose s = -3*s + g. Suppose m = s*m - m. Solve m*x + 5*x - 2 = f, 0 = 5*x - 5 for f.
3
Suppose -586*g = -581*g - 4*x + 1, -4*x + 10 = -2*g. Solve -5*t + 5*n = -1 - 14, 5 = -g*t - 4*n for t.
1
Let h be (-1476)/28 + 5 + (-4)/14. Let u = h + 52. Solve 2*k - u = 2*o, -2*k + 2*o = 3*k + 2 for k.
-2
Suppose v = -m + 5, -2406*v - 4*m = -2404*v - 12. Solve 3*l + 21 = -2*o + 38, -l + o + v = 0 for l.
5
Let y(x) = x**3 - 9*x**2 - 8. Let l = -25 + 34. Let d be y(l). Let c = d + 13. Solve -2*o + 5 = -0*o + c*g, 4*g = -3*o + 11 for o.
5
Let v = -401 - -638. Suppose 5*f - 5 = -u + 58, -f - v = -5*u. Let h = 49 - u. Solve 3*b + h = 2*r + 3, -4*b = 2*r - 26 for r.
5
Suppose -10*o = -9*o + 2. Let j be (-6 - -5)/o*(-6 - -12). Solve -2*d - j*y - 3 = 3*d, -5*y - 5 = 3*d for d.
0
Let s be (-31)/3*(-4 + 1). Let m(y) = -y**2 - 34*y + 9318. Let q be m(81). Solve 0 = -4*r - q*g + s, -5*r + 2*g = -3 - 7 for r.
4
Let n(y) = -y**2 + 186*y + 1552. Let w be n(-8). Solve w = 4*j - 24, -27 = q + 2*q - 4*j for q.
-1
Let c = 28 - 13. Suppose 0 = -2*b - 2*i + 2, -3*i = 3*b - 4*i - c. Suppose 2*w + 3 + 3 = 0, 18 = 3*h - b*w. Solve -23 = 4*v - 3*x, 0*v - 19 = h*v - 3*x for v.
-2
Let l be -9*(20/6 + -3). Let i be l + (16 - -3) +