 23 = x - 5*o for x.
-2
Let t(d) = -8*d - 8*d + 72 - 12*d + 36*d. Let m be t(-9). Solve o + 2*p + 20 = -p, -5*p - 25 = m for o.
-5
Let o be (-4)/6*(-30)/4 - -72. Let v be -3*(-5 + (o/(-3))/7). Solve -5*t + 2*c - v = 0, 2*t + 4*c = 5*c - 11 for t.
-4
Let y(r) = -r**2 + 46*r + 702. Let f be y(58). Solve -5*c + 2 = 4*x, 0 = 5*x + 2*c + f - 0 for x.
-2
Let o = -133 - -135. Suppose a - 2*h - 122 = o*h, -3*h = -2*a + 219. Let f = a + -89. Solve -3*k + 5*y = -f - 4, k - y = 5 for k.
4
Let s = -13 - -3. Let r be ((-4)/s)/(3/15). Let t = 46094 - 46094. Solve 0 = z + 4*z + g + 10, z + r*g + 2 = t for z.
-2
Let s(i) = i**3 + 19*i**2 - 39*i - 377. Let v be s(-20). Solve -3*x = -v*y - y + 7, 5*y - 9 = 4*x for x.
-1
Let f = 20384 - 20380. Solve -4*n = 4*d + 12, n - 54 = f*d - 57 for d.
0
Let b be -6*(-8)/(-24)*-2. Let u be 46/184 - (1 - 11/b). Solve -u*p = 5*h + 5, -3*p = -2*p + h + 4 for p.
-5
Let t(h) = -4*h - 8 + 3*h - 2 - 6. Let u be t(-16). Suppose u - 20 = -d. Solve -d = 3*i - 4*n, -3*i - n = -0*n + 10 for i.
-4
Let d be (6/(-15))/(1/20). Let x be 5/((-36)/d - 2). Solve x*u + 2 = -n, 5*n - u = 26 - 3 for n.
4
Let c be -6 + 455/30 + (-2)/12. Let p be ((-14)/(-4))/(c/162*9). Solve -2*b + 5 = 3*d, 3*b - 4*d = p*b for b.
-5
Suppose 2*c + 10 = 0, 0 = -3*b + 2*b + 5*c + 284. Let d = -257 + b. Solve 0 = -5*w - 5*o + 15, -5*w - d*o + 5 = o for w.
-2
Let k(u) = -u**2 + 7*u + 2. Let z be k(7). Let a = 168 + -173. Let w = a + 8. Solve -2*c - z = -2*p, 0 - w = -c + 3*p for c.
-3
Let x(n) = n**3 + 5*n**2 - n + 33. Let k be x(-6). Solve 0 = -2*w + 4*p - 3 + 23, -k*w + 3*p = -15 for w.
0
Let n = 13495 + -13491. Suppose -5*m = -11 - 19. Solve x = 3*x - n*a + m, a = 2*x for x.
1
Suppose 12 = -13*i + 17*i. Suppose 25 = 5*n - 2*j, i*j = 5*j. Solve n*y - 2 = f, -9*y + 3*f + 6 = -4*y for y.
0
Let b = 2551 + -2531. Solve 3*f - 2*a = -2, 5*f + b = -9*a + 4*a for f.
-2
Let z = -39 + 39. Let k(g) = 2*g**3 + 4*g**2 - 6*g. Let v be k(3). Suppose -68 - v = -10*x. Solve z*c = -i - 4*c + x, -5*i = 5*c - 25 for i.
2
Suppose -93*n + 94*n + 4 = 2*a, -10 = n - 3*a. Solve 0 = 5*u - 9*u - 5*s + 10, 4*s = n for u.
0
Let h be (-25 - 1)/(60/(-120)). Suppose -260*b - h = -262*b. Solve 5*q - 30 = w + 4*w, -5*q + b = -4*w for w.
-4
Suppose -3 = 2*x + d - 46, 5*x - 101 = 4*d. Suppose -a + 8 = -3*g + 5*g, 3*a - x = -5*g. Solve q + 0*n + a = -5*n, -2*q - 4*n = -2 for q.
3
Suppose -3*g + 1342 - 220 = 0. Let b = g - 346. Solve 7 = 3*y - 3*w + b, 0 = 5*y + 2*w + 14 for y.
-4
Let g(z) = 15*z + 3. Let w(j) = j**2 + 22*j + 22. Let x be 86/(-4) - (-2)/4. Let b be w(x). Let h be g(b). Solve 3*q - 3*o = -h, 3*q + 3*o + 0*o + 12 = 0 for q.
-5
Suppose -17*h = -14*h + 30. Let t(a) = a**2 + 8*a - 8. Let v be t(h). Let q = -277 - -279. Solve -3*j = q*x + 8, 2*x + 0*j + v = -5*j for x.
-1
Suppose 0 = 3*k - 9. Suppose -a = k - 7. Suppose -a = -6*v + 2. Solve 0 = 4*c + 3*z + 23, -c - c = -z - v for c.
-2
Let l be 0/((-12 + 10)*2/4) - -2. Solve l*f - 3*s = 11 - 10, -f - 2*s = -11 for f.
5
Let i(u) be the third derivative of -u**4/12 - 17*u**3/6 + 11*u**2. Let l be i(-12). Suppose l*q - 13 = 8. Solve 4*f = q*o - 2*o - 16, -f - o = -1 for f.
-3
Let r(a) = -30*a + 4. Let o be r(3). Let u = -83 - o. Suppose -5*c + c = u*n + 3, 5*c - 5 = -2*n. Solve 3*i = 5*q + 4*i + 22, 10 = -c*q + i for q.
-4
Suppose -6*g + g + 212 = 3*d, 0 = -2*g + 5*d + 60. Suppose 0 = 2*c - 248 + g. Let m = 109 - c. Solve -21 = m*r - 5*j + 2*j, -3*j = 5*r + 9 for r.
-3
Suppose -3*c + 2*h + 7 = 0, 4*c = 2*c - 2*h - 12. Let t(k) = 7*k**2 + 30 + 4*k - 76 + 22 + 26. Let v be t(c). Solve -v = -3*m + 2*y, -y = -6*m + m + 6 for m.
1
Suppose -6*l + 2*l = 6*l. Let d be (-17 - -24) + (-2 - l). Solve -3*w = -3, -3*g + 9 = 2*w - d for g.
4
Let b be 14 + 1 - (-117)/117. Solve 4*f - b = -o, 0 = 5*f - 2*o - 3 - 30 for f.
5
Let m(t) = -t**2 - 115*t + 239. Let k be m(2). Solve 0 = k*u + 2*a + 25, -3*u + 44*a - 49*a = 34 for u.
-3
Let m be 814/2035 + (-36)/(-10). Solve 4*z + 4*x - 24 = 0, -10 = -6*z + m*z - x for z.
4
Let p(x) = -6*x**2 - 41*x + 5. Let q be p(-7). Let m(s) = -2*s**3 - 2*s**2 + 10*s + 17. Let g be m(q). Solve 3 = c + 2*z, -g*c + z = -5 - 10 for c.
3
Suppose 0 = -7*m + 13 + 8. Solve f + 2 = -m*r + 4, 2*r - f = 3 for r.
1
Let b be (-8)/(-3)*3 - 6. Suppose 5*f - 2 - 193 = 0. Solve -h = -2*u - b, 5*u + f - 4 = -5*h for h.
-4
Let h(p) = -p - 3. Let g be h(-6). Let r(z) = 3*z - 1. Let s be r(g). Suppose 19*w - 15*w = s. Solve 2*f + 2 = -2*t, f - w + 0 = 2*t for f.
0
Suppose -41 = 6*x - 47. Let y be (-1 + -5 - -6)/x. Solve -5*p + 5*f + 30 = y, -7*f - 14 = p - 3*f for p.
2
Let z be (28 + -28)/11 + 6/1. Solve 0 = k - i - z, -2*k = i - 8 - 1 for k.
5
Suppose -1639 = -11*d - 0*d. Let n = d - 141. Solve -5*m = -0*l - 4*l + n, l + 4*m - 2 = 0 for l.
2
Let u be (55/(-3))/(25/(-75)). Suppose u*d - 53*d - 10 = 0. Solve 9 = -3*g - m, d*g + 13 = g - m for g.
-4
Suppose 245*b - 250*b = -2*m - 31, 30 = 2*b - 3*m. Solve 0 = -5*a - 4*z + b - 27, a + 24 = -4*z for a.
0
Suppose 4*y - 7 = -380*x + 379*x, 4*y - 22 = 2*x. Solve 5*t + 26 = 2*r, y*t + 6*r - r = 3 for t.
-4
Let o(f) = -474*f + 25 - 469*f + 938*f. Let l be o(3). Solve -3*q + 6 = 2*j + 2*q, 4*j + l = q for j.
-2
Let l(c) = -c**2 - 2*c + 88. Let f be l(-10). Let n be 2 - (f/12)/(2/(-9)). Solve n*w + p = 5, 3 = -w - 0*p - p for w.
2
Suppose 0*c + c = -5*n, c = 5*n + 10. Solve 4*h + 3*i = -6, 0 = 5*h + i + 8 + c for h.
-3
Let q = -3250 - -3252. Solve -i + q = 4*c + c, 2*c + 5*i - 10 = 0 for c.
0
Let c(a) = -3*a + 67. Let o be c(20). Solve o*z - 3*z = 0, -z + 5 = f for f.
5
Let a = 2727 - 2727. Solve 4*l - 5*z = -21, l + 5*z - 26 = -a*z for l.
1
Let d = -43 - -53. Let q be (-15)/d*4/(-6). Let x be q - -9 - (-9)/(-9). Solve -t - 1 = -0*t, -4*r + 3*t = x for r.
-3
Let d be (223/(-669))/((-1)/21). Solve -6*g + d*g - 14 = -4*y, -5*g + 2 = 3*y for g.
-2
Let h = 3501 - 3472. Suppose 76 = -3*c + 3*o - 4*o, 5*c + 5*o = -110. Let p = h + c. Solve -4*a + 3*l + 13 = -p*l, a - 4*l - 6 = 0 for a.
2
Suppose -56*q + 33 + 135 = 0. Solve 9 = -3*k + q*h, -13*h = k - 10*h + 11 for k.
-5
Suppose -3*n + 9*n = 6. Let i(s) = -n + 24 + s**2 - 12*s - 2 + 3*s. Let w be i(6). Solve -2*m + 4*m + 5*q = -2, -2*m - w*q = 2 for m.
-1
Let x be (8/6)/((-4)/(-90)*3). Suppose -42*j + 64 = -x*j. Solve 0 = 5*d + i - 25, -j*i - 4 = -d + 1 for d.
5
Let q be 5*72/60 + (9/(-3) - -1). Solve -i - 4 = 8*l - q*l, 3*l = -3*i - 12 for l.
0
Suppose -5*w = -2*z + 148, 4*z - 30*w - 286 = -25*w. Solve a + 17 = 2*l, -2*a - 2*l + 71 - z = 0 for a.
-5
Let q = -60 - -68. Suppose -2*i + q = -4. Let j be 1/((-4)/6*i/(-20)). Solve 3*m - 20 = -4*l, -2*l + l + 2*m + j = 0 for l.
5
Let n be (6/12)/((-2)/(-720)). Suppose -4*k = 4*d + 176, 0 = -3*d - d - 2*k - n. Let v = d + 49. Solve 5*b = 5*s - 10, -5*b = -v*s - 5 + 13 for b.
-1
Let k(t) = -3045*t + 81 + 3040*t + 90. Let j be k(33). Solve 5*w - 2*g - 8 = -6*g, -5*w + 3*g - j = 0 for w.
0
Let k(q) be the first derivative of 7*q**3/3 - 71*q**2/2 + 14*q - 32. Let h be k(10). Solve 2*t = 3*w + 3, 4*t = -w - 5 + h for w.
-1
Let s be (-27)/21 + 3 + (-4)/(-14). Suppose -s*m = m - 15. Solve -3*r + m*l = -14, -2*l = -0*r + r + 10 for r.
-2
Let k be (-5 - (16/(-2) + 0)) + -1. Solve 2*o = -5*w - 2*o - 1, -4*w + 4 = k*o for w.
3
Let w = -3806 - -3810. Solve -c = -2*i + 12, 5 + 31 = w*i - 5*c for i.
4
Suppose -1395 = 30*y + 15. Let k be (1/(-2))/(y/376). Solve -2*w + 4*z = 14, 5*w - w - k*z = -8 for w.
3
Suppose 42*l - 4 = 41*l. Suppose -10 = -l*d + 2, 0 = 3*h - 4*d + 3. Solve 11 = 4*y - b, 8*y - 19 = h*y + 3*b for y.
2
Suppose 260*k + 93*k = 743 - 37. Solve 12 = -q - k*a, a = q + 10 - 7 for q.
-6
Let p = 58 - 70. Let d(o) be the first derivative of o**4/4 + 13*o**3/3 + 11*o**2/2 - 12*o - 4. Let h be d(p). Solve h = z - 4*x + 24, x = 9 - 4 for z.
-4
Let b(w) = -2*w**2 + 14*w + 85. Let u be b(19). Let h be 6*(u/(-42) + -8). Solve 0 = -h*r + 10, 5*v + 15 = -5*r for v.
-5
Suppose -8*b + 4*b = -4*z + 92, 93 = 4*z - 3*b. Suppose 37*k - 29*k = z. Solve -4*l = -r - 3, 5*l - k = 4*l - 2*r for l.
1
Let o(p) = 8*p + 235. Let n be o(-29). Suppose -2*k = -7 - 3. Solve 0 = -4*m - n*c + 7, m + 0*m + k = -3*c for m.
4
Suppose -195*g - r + 45 = -191*g, 0 = 2*g + 5*r - 45. Solve 4*n = a - 7, -g = -5*a + 2*n + 7 for a.
3
Let c = -2222 - -2227. Solve -c*