 = w for a.
2
Let b(c) = -c**3 - 9*c**2 - 10*c + 8. Let g be b(-5). Let r be 3/(-5)*140/g. Solve -r*t - 3*t + 4*u = 26, 4*u - 16 = 0 for t.
-2
Let w = -9110 + 9112. Solve w*a - 10 = 4*z, -a = z - 6 + 7 for a.
1
Let z = -11 - -21. Suppose 0 = -w - z + 5. Let i be 2 + w + (6 - 0). Solve -2*s = t + 2*s - 7, 3*s = i*t - 6 for t.
3
Let u(n) = -116*n + 13. Let z be u(-2). Suppose -5*c - 5*f + z = 0, -3*c = -0*c + 5*f - 155. Solve -2*m - 12 = m, 5*r + c = -5*m for r.
-5
Suppose -3*a - 5*m = -17, 7*a - 10*a - 4*m = -13. Let l = -19 - -63. Let p be (0 - a)/(11/l). Solve -5 = 5*c, -p*c - 7 - 5 = 2*z for z.
-4
Let l = 25 + 11. Suppose 109*o = 115*o - l. Solve 0 = -f - 5, -o*j + j - 15 = 4*f for j.
1
Suppose -156 = 2*h - 178. Let v be (-3 - -2) + -6 + h. Solve 4*u - v*r = 0, 5*u + 4*r + 50 = 5 for u.
-5
Suppose 0*w + 4 = 2*w. Let u = 308 - 321. Let f(h) = h**2 + 14*h + 17. Let n be f(u). Solve 2*a - x = n*x + 29, -w*a - 11 = 3*x for a.
2
Suppose 4*s = -w + 5, 0 = -4*w + 1 + 19. Suppose 0*p + 5*p - 50 = s. Let t be ((-12)/p)/(60/(-100)). Solve -2*k - 2 = 4*i - 7*k, t*k = i - 1 for i.
-3
Let u = -6982 + 7007. Solve 4*d = 3*g - 4*g + u, -5*g = -2*d - 15 for g.
5
Suppose 0 = 5*h + 459 - 474. Solve 0 = 2*a + 5*s - 3, -4*a = -9*a + h*s - 8 for a.
-1
Let u(q) = -3*q - 86. Let n be u(-29). Let t be n*-4 - 5/((-30)/36). Solve 0 = -t*b + 2*d + 2 + 2, 2 = d for b.
4
Let a(o) = o**2 - 2*o + 4. Let n be a(2). Let z = 605 + -571. Suppose -13*x - n*x = -z. Solve x*p = 5*q + 35, -4*p + 0*q - 3*q = -5 for p.
5
Let r(m) = -m**2 + 8*m + 14. Let n be r(5). Suppose 2*s + 2*s = -3*j + 27, 0 = 4*j + 3*s - n. Solve -4*t = -16, j*t - 6 - 4 = -5*g for g.
-2
Let k be ((-5)/5*(2 + -2))/(-2). Solve k = -2*y - 4, y + 4 = 3*w - 4 for w.
2
Let g(b) = -9*b**2 + 36*b**2 - b - b**3 - 19*b**2 - b**3 + 2 - 3. Let j be g(-1). Solve -2*i + k = 3, 3*i = -3*k - 17 - j for i.
-4
Suppose -4*g = 2*h + 432, -5*g + 5*h - 312 = 243. Let q = -101 - g. Suppose -q*c + 15 = -3*c. Solve -3*a + 2*m - 7 = 0, 7*m - 3*m = -c*a - 13 for a.
-3
Let q(j) = -j**3 - 2*j**2 - 3*j - 6. Let o be q(-3). Let v be (-6)/5 + o/60. Let b be (5 - 5)/(-4)*v. Solve a + 5 = b, 6*u - 2*u = -3*a - 7 for u.
2
Let o = 86 + -86. Let c be o + -3 - -10 - 5. Solve -2*f - 6 = 3*f - c*z, 5*z = f + 15 for f.
0
Let d be ((-518)/(-222))/(((-98)/30)/(-7)). Solve -273*b = -2*a - 271*b - 4, 0 = -a + d*b + 2 for a.
-3
Let v(u) be the second derivative of -u**5/20 - u**4/6 - u**3/2 + 5*u**2/2 - 174*u. Let s be v(0). Solve -2*w = -3*y - 14, 0*w - s*y = w + 19 for w.
1
Suppose -k - 3*x - 3 = k, -2*x = -k + 16. Let n(u) = 3*u + 21. Let z be n(-6). Solve 7 = -b - 2*c, -z*c + c = k for b.
-1
Suppose 91*s + 24 = 103*s. Suppose 88 = 3*o + 5*o. Solve 0 = v - 2*a - 9, -4*a = -3*v - s*a + o for v.
1
Suppose 0 = 5*j + 2*z - 111, -3*z - 48 = -3*j + 2*z. Let r be (3 + -5)/((-3)/(j/2)). Solve -4*d + r = -3*d + 3*s, -12 = -2*d - 4*s for d.
4
Let m(t) = -t**2 + 73*t - 1313. Let z be m(38). Solve -2*q = -5*j - 19, 3*j + 0*j + z = 4*q for j.
-3
Suppose 4*o + 6*p - 3*p + 33 = 0, p + 21 = -3*o. Let l be (-4 - o) + 9/3. Solve 2*r + 8 = -l*x - 21, 2*r = -2*x - 14 for r.
-2
Suppose 15*i = 14*i + 80. Suppose -5*b - 65 = -i. Suppose a = -c + 4 - b, 0 = c. Solve -h + m = -0*m + 1, h + m = -a for h.
-1
Suppose 29*f + 576 = -35*f. Let u(y) = 5*y + 55. Let a be u(f). Solve -a = -2*l, -5*d + 2*l - 25 = -l for d.
-2
Suppose -3*x + 3 = 0, -x + 185 = -17*b + 15*b. Let v = b + 96. Solve -2*h = -3*s + 16, 0*h + v*h + 30 = 5*s for h.
-5
Let t(u) = -5*u**2 - 8*u + 14. Suppose -5*a + 75 - 60 = 0. Let d be t(a). Let p = d + 57. Solve -8 = -p*c + 3*r - 1, -c = -3*r - 11 for c.
-4
Suppose -9*k = -8*k - 4, 5*j = -5*k + 45. Let d be 12*3/60*j. Solve 5*m + 17 = -t - 12, d*t = 2*m - 2 for m.
-5
Suppose 20*a = 12*a + 56. Suppose 8*v + 4*s = 13*v - 37, -a = v + 4*s. Suppose i - 3 = -1. Solve -3*g + 7 = -4*q, v*q + i*g + 19 = -7 for q.
-4
Suppose -4*u + 1 = 5*y, 0 = 4*u - 5*y - 532 + 501. Solve u = 3*k - 2*k - w, 0 = w + 5 for k.
-1
Let d be ((-3)/((-12)/(-140)))/(4/12). Let q = -99 - d. Solve i = 2*m + 8, -4*m + q*m + 4 = -i for i.
2
Let l = 86 - 86. Suppose -y + 3*u - 45 = -3*y, 80 = 5*y + u. Let h = 19 - y. Solve -4*c - 12 = l, -c + h = z + 11 for z.
-4
Let n(p) = p**3 + 41*p**2 - 37*p + 213. Let a be n(-42). Solve a*w = 5*h + 20, 2*h + 3*w - 8 = 4*h for h.
-4
Suppose 0 = 4*m, -5*m = u - 58 + 41. Solve 2*y = -u*r + 13*r + 16, -4*y - 2*r = -20 for y.
4
Let m be ((-40)/160)/((-3)/144*-46 + -1). Solve 5*y + 5*z = -33 + 58, -2*y + 2*z + m = 0 for y.
4
Suppose 2*g + 2*o + 6 = 0, 18 = 3*o + 3. Let l be (126/(-24) + (-2)/g)/(-1). Solve -3*r = -p + 15, -r + l = -2*r + 5*p for r.
-5
Let i be (1200/(-18))/(-10)*24/10. Solve 36 = -3*t - 4*r + 10, -2*r = 3*t + i for t.
-2
Let p = 18 - 13. Suppose 11 - 3 = 2*l - y, 3*y + 16 = 2*l. Suppose 14 = 3*c - 2*c - q, 0 = -4*c + l*q + 64. Solve -z = -4*i, -3*z - i - p = -c for z.
4
Let k(b) = -b - 1. Let z(c) = 4*c + 9. Let h(j) = 3*k(j) + z(j). Let m be h(14). Let g be 5*12/10 + -3. Solve 4*p + 4*y = 24, y = -g*p - 4*y + m for p.
5
Let p(c) = -3*c**2 + 19*c - 26. Let l be p(7). Let u = -34 - l. Solve 5*s + 23 = 2*f, 0 = f - u*f - 5*s + 5 for f.
4
Let r(g) = g**3 + 17*g**2 + 132*g + 1859. Let x be r(-16). Solve 5*f = -l - 2, -120*f = -117*f + x for l.
3
Suppose -18 = -2*j + 4*r, -2*j - 2*r + 70 = 64. Solve 15 = -j*i, -6*i + 4*i - 1 = s for s.
5
Let i(z) = 2*z**2 + 1. Let o be i(1). Let j be (23 + 420/(-18))*(-1 - 2). Solve -g = 2*k - 5, 8 = -o*g - j for k.
4
Let z(p) = -3*p**3 - 81*p**2 + 2*p + 91. Let c be z(-27). Let v be 2*-1*(-1 + 17). Let i = c + v. Solve y = 3*y - 3*l, -y - 7 = -i*l for y.
3
Let b = 7 - 4. Suppose -4*i + 40 = 4*c, 2*c - 6*i + 5 = -b*i. Suppose 2*x = 31*h - 26*h + 50, 2*h = 4*x - 36. Solve -4*t = -c*q - 3, -x*q = 4*t + 24 + 3 for t.
-3
Let d(a) = -19*a**3 - 36*a**2 - 6*a + 4. Let r be d(-2). Solve -2*m - 24 = -4*g, -g - m + r = 18 for g.
6
Let w be 4 + 1 - 6/3. Suppose -w*q = l - 50, 3*q + 27 = 2*l + 80. Solve 2*i - 3*t = -2*i - 1, 0 = -4*i - 3*t + q for i.
2
Suppose 3*t + 22 + 14 = 2*v, -5*t = 3*v - 16. Suppose -11 - 1 = -v*d. Solve b - r = d, -2*b + r - 18 = 4*r for b.
-3
Let l(k) = k**2 - 76*k + 1278. Let i be l(25). Solve -8*u + 22 = -4*u + 2*y, 0 = i*u - y - 4 for u.
3
Let j be (-5 - (10 + 216/(-12)))/1. Solve -j*g + 2*b - 10 = 0, -4*b + 55 - 35 = 2*g for g.
0
Let h be (100/(-15) + 6)/(2/(-9)). Let p be (57/15)/(h/15). Solve 4*y + 5*l = -0*l + p, 11 = 5*y + 2*l for y.
1
Let k be ((-4)/(-10) + 364/140)/1. Suppose -5*z - v + 28 = 0, -z + 3*z = 4*v - 2. Solve k*s = -4*t + z*s - 6, -s - 25 = 5*t for t.
-4
Let j be 7 + ((-12)/16)/(69/368). Solve 3*g - 5*a = -22, 0*g + 3*g + j*a - 18 = 0 for g.
1
Suppose 8*g - 114 = 5*g. Let z = g + -34. Solve 0 = 4*y - 2*l - 12, -z*l = 3*y - 3*l - 14 for y.
4
Suppose -6840 = 14*n - 204*n. Solve 4*t - 3 = 5*i, -3*t - n*i + 7 = -35*i for t.
2
Suppose 5 = -4*i - 3*u, -4*u - 23 = 3*i - 14. Let x be ((-90)/12 - -6)/(i/(-2)). Solve 0 = -x*c - 15, -3*c - 2*c - 10 = 3*r for r.
5
Let m = -21053 - -21058. Solve -f + 10*t = 9*t + 7, 2*f + t + m = 0 for f.
-4
Suppose -4*b + 5*l + 79 = 0, 6*l - 5*l + 3 = 0. Suppose b*n - 160 = -16*n. Solve 5*m - 9 = -z, -m - n*z + 26 - 5 = 0 for m.
1
Let y be (32/(-56))/(1 + (-40)/35). Suppose -4 = -4*t + 4*z, y*t + 7*z - 32 = 4*z. Solve t*w + 2 = -4*b + 24, 4*w - 8 = 0 for b.
3
Let z(f) = -f**3 + 8*f**2 - 4*f + 10. Let n be z(7). Let l = -21 + n. Suppose -387*p = -384*p - 15. Solve -o - p*c - l = -3*c, o + 7 = -c for o.
-4
Let t = 5 - 3. Suppose 5*b + 26 = -4*d + 10, 2*d = -t*b - 6. Let k be -3 - (-4)/d - -3. Solve 4*l + 14 = 3*a, 4*a = a - l + k for a.
2
Let x(h) = -367*h + 3. Let r be x(-1). Suppose 7*i = r + 8. Let f = i + -30. Solve 0 = -l - a - 1, -4*a = -4*l - f - 4 for l.
-4
Suppose x = j - 7, 0 = 17*j - 16*j + 2*x + 2. Solve 5*f + 2 - 11 = 2*z, z + 9 = j*f for z.
3
Let o be ((-104)/(-80)*-4)/(1/(-5)). Suppose -38 = -45*g + o*g. Solve -6 = g*i + 3*i + 2*x, x = -4*i - 3 for i.
0
Let d = 7 + -5. Suppose 4 - 1 = -3*l. Let i(j) = -j**2 - 8*j - 2. Let z be i(l). Solve -2*u - 2*u + z*n = -13, d*u = 2*n + 6 for u.
2
Let u(s) = s**3 - 5*s**2 + 24*s - 36. Let b be u(2). Let x = 5 - 2. Let t = x + 2. Solve -t*n - 3*m + b + 6 = 0, -2*n - 3*m + 6 = 0 for n.
0
Suppose 449*c - 160 = 409*c