, -x = 2*a - 7*a - 5*t for a.
3
Let p(d) = -23*d - 87. Let g be p(-4). Solve 37*a = -3*y + 33*a - 14, -g*a = 5*y + 15 for y.
2
Let k = -1 - -15. Let g(h) = h**3 + 10*h**2 - 13*h - 22. Let l(u) = -u - 8. Let q be l(3). Let r be g(q). Solve -2*t - 10 = -r*t + c, -3*t - k = c for t.
-4
Let a be (-3)/18 - 3050/(-732). Solve 31*r - 12 = -3*x + 28*r, -a*x = -3*r + 5 for x.
1
Suppose 2*x = 2*a - 0*a - 108, -3*a - 4*x + 162 = 0. Suppose a = -11*u + 87. Solve -4*p + 4 = 0, -p - p - 1 = -u*t for t.
1
Let h be 32/1 - (6 + (-4 - 6)). Suppose -r - h = -13*r. Solve 9 = -3*w + j, 0*j = w - r*j - 5 for w.
-4
Let b = -8076 - -8081. Solve -10 = -2*o + 3*i, -i + b = 9 for o.
-1
Let u(n) = 36*n + 421. Let z be u(-12). Let f be (z/(-44))/((-7)/(-56)). Solve -f*g + 3*p = -5, 0 = 4*g - 5*p + 2 - 13 for g.
4
Let z(m) = -m**3 - 35*m**2 + 750*m + 4. Let f be z(15). Solve 77 = -f*l - 3*n + 59, l + 11 = -4*n for l.
-3
Suppose -7*v + 126 = -5*v + 16*v. Solve 0 = 7*w - 3*w + 4*l + 16, v = 5*w - 4*l for w.
-1
Suppose -54 = -2*i - m, 0*i + 133 = 5*i + 2*m. Let d(f) = -3119*f + 3119. Let s be d(1). Solve 0 = -s*g - 3*g - 3*y, -4*y + i = -g for g.
-5
Let a be (-2 + 1/2)*(-28)/(-6). Let s be (24/(-5))/(9*a/420). Solve -4*z - n + 16 = 0, 0 = 4*z - n - 2*n - s for z.
5
Let d be ((-5)/((-60)/(-16))*-6)/1. Solve -5*c - 56*w + 23 = -57*w, -d = -5*c - 4*w for c.
4
Suppose 7 = 4*s - g, -3*s + g + 16 = 11. Suppose -2*f + 6 = -3*w + 2*w, 3*w - f - s = 0. Solve 4*o + 2*h - 10 = 0, o - h = -0*h - w for o.
1
Let d(c) = -2*c + 46. Let x = 258 - 236. Let i be d(x). Solve -1 = u, 3*z + i*u - 4 = 3*u for z.
1
Suppose -2*s + 4*t + 13 = -3, 0 = -s - 2*t. Solve -2*k = -2*x + 3*k - 8, s*k = -2*x + 10 for x.
1
Let n = -29 - -34. Suppose -12 = -g - 2*g. Solve -5*c - 4 = n*k + 16, 0 = g*k for c.
-4
Let i(g) = -g**2 - 12*g + 47. Let k be i(-15). Let d be ((-88)/(-6) - k)*(-261)/(-174). Solve -3*t = 2*l + 2*t - d, 5*t = 3*l + 34 for l.
-3
Let z(d) = 850*d + 2580. Let w be z(-3). Solve 0 = -f + 6*f - 3*k - w, 30 = 5*f + k for f.
6
Let y = 719 - 719. Solve y = 3*i - 4*j - 26, 10*j + 10 = -5*i + 6*j for i.
2
Let w(a) = 3*a**2 + 33*a + 149. Let i(r) = -r**2 - 3. Let q(g) = 2*i(g) + w(g). Let s be q(-28). Solve -f + 12 = -3*z + 6*z, 0 = -5*f - s*z + 12 for f.
0
Let i be (2 - 3)*(3 - 25). Let r(o) = -o - 2. Let c be r(-6). Suppose 2*f - i - c = 0. Solve -a + 4*x + 3 - 13 = 0, 5*x = a + f for a.
2
Let o(c) = c**3 + 8*c**2 + 3*c - 5. Let p be o(-9). Let w = -89 - p. Solve -2*x + 19 = -5*j + 1, -5*j - 4*x = w for j.
-4
Let v be (((-2)/8)/((-15)/(-36)))/((-37)/185). Solve n + 4*c = c - 11, 0 = v*n + 2*c + 12 for n.
-2
Let x be (8 - 2)/(33/6 - 4). Suppose 4*q = -x + 16. Suppose 0 = 2*z - 6*z + 4*k - 4, -q*k = 2*z - 13. Solve m + 9*h - 4*h = -9, 0 = -3*m - z*h - 14 for m.
-4
Suppose -2*q - 3*m + 29 = 0, -4*m + 3*m = 1. Solve -3*b + 6*h - 7 = 2*h, -h + q = 4*b for b.
3
Suppose 5*z + 13*z - 756 = -486. Solve -o - 3*s = s - z, 0 = -5*o - 4*s + 27 for o.
3
Suppose -u = 5*d - 3*u - 1, 2*d - 5*u = -8. Let i be 1/(-8) + d/8. Solve -3*p + p - 4*y - 10 = i, -3*p = -4*y - 15 for p.
1
Suppose 5*h = o + 36 - 9, 4*o = 3*h - 108. Let m = o - -30. Suppose m*v + 40 = 13*v. Solve -i + t = v, 5*i - 9 - 6 = -2*t for i.
1
Let t = -410 + 411. Let b be 2 + (-1 - -2) - 3. Suppose 0 = -5*a - 4*c + 37, 19 = 2*a - b*c + 3*c. Solve -t = 2*l - 4*u + 1, 0 = -2*l - a*u - 20 for l.
-5
Let l(f) = 9*f - f**2 + 9 - 4 + 7*f. Let a be l(16). Suppose 0*y = 4*y + 4*y. Solve 2*j + 3*j = -2*w - 26, y = -3*w + a*j + 11 for w.
-3
Let t(o) = 6*o**2 - 11*o + 2. Let r be t(2). Suppose r*f - 4*w - 51 = -7*w, -10 = -2*w. Solve -4*l + b = -f, 0 = 4*l + 4*b - 0 - 4 for l.
2
Let l be (-3)/5 + (-13 - 742/(-70)). Let d be (-4)/(-6)*l - (3 - 5). Solve 4*g - 7 = -5*p, d = -g + p + 5 - 1 for g.
3
Suppose 0 = 10*u - 11 + 251. Let n be (-10)/15 + u/(-9). Solve -15 = 3*j, -2*j = i + n + 4 for i.
4
Suppose 3 = -2*y + 1. Let x be ((-1 - -1)/(y - 1))/3. Suppose -j - 5*w + 17 = x, 5*w - 9 = -5*j + 16. Solve 6*z - j*z + 2*c + 4 = 0, 16 = 4*c for z.
-3
Let n be ((-234)/(-195))/(9/30). Solve 0*i - 4*i + 4 = -3*z, 3*z - 2*i = n for z.
4
Let m = 242 - 239. Let w be 0 - 267 - (4 + 0 + -1). Let o be 2/(-13) + w/(-65). Solve 5*f = o*y, 3*y - 2*f = f + m for y.
5
Suppose -r + 0*n + 4*n + 33 = 0, -5*r = -3*n - 46. Solve -5*m - 5 = -r*t, 28 = -5*t + 13 for m.
-4
Let v = -657 - -660. Solve -v*f + 37 = -8*f + 3*k, -4*f - 12 = 2*k for f.
-5
Suppose -35 = -2*l - a, -4*l = -3*a - 94 + 9. Solve 5*t - 2*b - 18 = 0, -39*b + 42*b = -4*t + l for t.
4
Suppose -42 + 0 = -7*b. Suppose b*l - 10 = l. Solve -2*u - 15 = 3*u + 5*p, -l*u - p - 5 = 0 for u.
-2
Let z be 70/15 - 18/27. Solve z*d - 11 = -12*p + 13*p, -3*p = -5*d + 5 for d.
4
Let s = 11484 + -11474. Solve 0 = -3*k + a - s, -3*a = 3*k + 6 for k.
-3
Let l = -50 - -53. Suppose l*c + 12 = 0, 34 = r - 0*r + 5*c. Let w = -49 + r. Solve -v - 2*v = -4*o - 16, -5*v - 20 = w*o for o.
-4
Suppose -5*q - 6 = -26. Suppose 5*h + 15 = 5*g, -h + 5*g - 29 = -10. Let s be -8 + 6 + (h - -4). Solve 2*w = c - 3, q*w - s*w + 5*c + 29 = 0 for w.
-4
Let i = -238195 - -238205. Let d(v) = 15*v**2 - 1. Let u be d(-1). Solve -3*c - i = -m - 0*m, c = 3*m - u for m.
4
Suppose 0 = -3*p - 5 + 17. Suppose 47*y = -19*y - 16*y + 164. Let a be 5 + ((-6)/p)/(1/y). Solve 4*h = -o, a*o = h + 4*h + 13 for o.
4
Let q = 13 + -3. Suppose 0 = -24*x - 4*x + 560. Solve -c + u - q = 4*u, -4*u - x = 3*c for c.
-4
Let y = 4610 - 4608. Solve -26*u + 25*u - 5*q - 20 = 0, 0 = -2*u - y*q for u.
5
Let l = -245004 - -245019. Let k be (8/(-5))/(1/(-5)). Suppose 4*s = k*s. Solve s = 2*y - 3*b + 4*b - 7, l = 3*y + 3*b for y.
2
Let l = 702 + -685. Solve -23 = -3*q + 2*a - 0, -2*a = 5*q - l for q.
5
Suppose -4*p + u - 33 = 0, 60 = -5*p + 3*u - 8*u. Let t be (-2)/p - (-4)/(-54)*-24. Solve t*x + w - 15 = -2*w, 0 = -x - 5*w + 25 for x.
0
Let d(f) = -5*f**2 - 86*f + 107. Let b(r) = 2*r**2 + 29*r - 36. Let u(k) = 17*b(k) + 6*d(k). Let a be u(5). Solve a = -3*x - 2*l, -x + 10 = -3*x - 5*l for x.
-5
Let u be (-1)/(-2) + 7/2. Suppose 0*y + 66 = u*l - y, 2*y = -4*l + 60. Suppose -z + 35 = 5*p + 6, z = 4*p - l. Solve -v + 13 - p = -3*h, -4*h - 18 = -5*v for h.
-2
Let w = 5527 + -5520. Solve 5*c + 3*t - 40 = 0, -40 = -3*c - w*t + 2*t for c.
5
Suppose 22*z - 46 = -z. Suppose 5*h - z*i - 8 - 15 = 0, i = 1. Solve -3*j = -0*j + q + 5, h*j - q = -19 for j.
-3
Let b = 25902 - 25899. Solve 16*t - 1 = -l + 17*t, 2*l + b*t = -8 for l.
-1
Suppose -954 = 27*r - 198. Let y be ((-4)/(r/(-3)))/((-5)/35). Solve 5*h + 4 + 12 = -y*x, x + 5*h = -22 for x.
3
Suppose -o + 2 = 4*k, 11*k - 3*o + 6 = 7*k. Solve 38*i - 4*l = 41*i + 17, k = -3*i + 4*l + 47 for i.
5
Let r be (2 - (1 - -1)) + (-1)/(-1). Let t be (6/9)/(r*(-4)/18). Let n be 1 - 4 - t/(-1)*-1. Solve 2*g + 2*w = -4, 2*g + n*g = -w + 1 for g.
3
Let b(n) = -n**3 + 27*n**2 - 107*n - 52. Let v be b(22). Suppose 6 = 2*c, -5*f = 3*c - 96 - 23. Solve 0*u - 5*x = -3*u + v, -u = 5*x + f for u.
-2
Let s be (-80)/(-48)*24/10. Suppose 7*n - s*n = 2*n. Solve n = -h + 4*p - 4, -5*h + p + 6 = 26 for h.
-4
Let p = -1674 - -1195. Let k = p + 482. Solve -2*t - 11 = -6*z + k*z, -4 = t for z.
1
Let t = -11807 - -11817. Solve 4*b + 0*z - 14 = 3*z, b - 4*z = t for b.
2
Let w(i) = -80*i + 1202. Let q be w(15). Solve 0 = q*g + 4*p - 10, -8*p + 13*p - 35 = 2*g for g.
-5
Let p(v) = v**2 - 317*v - 3270. Let q be p(-10). Solve 11 = -5*a - 3*k, q*a - 4*a = -2*k + 22 for a.
-4
Let j(m) = -m - 1. Let b be j(-11). Let w = b - 11. Let u be (-10)/4*(-1 + w). Solve 10 = 5*v - 5*c, u*v - 6 = 3*c - 2*c for v.
1
Suppose 267 = -35*v + 22. Let h be v + (-54 - 6)/(-6). Let u be (0 - 0)/((-1)/1). Solve 4 = -5*b + y, -2*y = -h*b - u - 1 for b.
-1
Let q(p) = -3*p**3 - 16*p**2 - 2*p + 15. Let c be q(-5). Solve c = 11*h - 8*h + 3*x, 4*x = 0 for h.
0
Let i(f) = -f**2 - 17*f - 52. Let u be i(-7). Solve 3*r + 5*t - 6 - 17 = 0, 0 = 2*r - 5*t + u for r.
1
Let m(h) be the second derivative of h**3/6 - 17*h**2/2 + 18*h. Let p be m(-17). Let w = 39 + p. Solve -6*u - 8 = -2*u + 5*x, -w*u + 4*x - 10 = 0 for u.
-2
Let t(z) = -2*z**2 + 67*z - 501. Let j be t(22). Solve -5*p + 20 = j*i, -i = 3*i + 2*p - 8 for i.
0
Let c be 0*(-2)/4*-1. Let n be (3 - (-236)/(-10))/(4/(-40)). Let r = 206 - n. Solve 4*s + 4*z - 8 = 0, c = -r*s + 4*