= -2*u - 4*m for u.
-5
Suppose -939 - 111 = 105*g. Let a(j) = 6*j**2 + 19*j - 5 - j**2 - 3*j**2. Let r be a(g). Solve 0*f + f - 13 = -3*x, x - 23 = -r*f for f.
4
Let s = -31 + 157. Suppose 44 = 5*w - s. Let x = 38 - w. Solve 0 = 3*f + 2*b - 1, -1 = x*f - 9*f - 3*b for f.
-1
Let z be (6/(-21))/((-297)/(-154) + -2). Let o = 5 - 0. Solve -o*i = -z*j - 5, -4*i + 3*j + 4 = 8*j for i.
1
Let n = -9190 - -9194. Solve -5*b = 17*i - 18*i + 6, n*b = 4*i + 8 for i.
-4
Suppose 0 = 2*d + 2*i + 361 - 371, 0 = 5*d - 3*i - 73. Solve -2*p - 19 = 5*f, 2*p + 2*f + 15 - d = 0 for p.
3
Let h be ((-6)/16)/(11/132)*(-1 - 1). Solve 10*a - 4 = h*a - l, -2*l - 27 = -5*a for a.
5
Let h(z) = -2*z**2 + 8*z - 3. Let j(u) = u. Let n(x) = -h(x) - 2*j(x). Let r be n(6). Solve 4*p - 9 = -5*y, -5*p = -0*p + y + r for p.
-4
Let p = -5 + 7. Suppose 66*y + 7 - 7 = 0. Solve -3*m = 2*j - y*m - 8, -m = -p*j + 8 for j.
4
Suppose 2*t + 1 = -1. Let f(p) = -p**3 + p**2 + p. Let r be f(t). Let a = r - -1. Solve 2*h + 2*z + a = -2*z, 12 = -3*h + 3*z for h.
-3
Let d(q) = -10*q - 1. Let x be d(2). Let l be -69*(96/(-18) - -5). Let h = l + x. Solve 3*n + 10 + 2 = -3*c, h*c + 4 = 2*n for c.
-3
Let n(p) = 2*p - 19. Let c be n(11). Suppose 0 = -f - c*d + 3, 6 = -4*f + 6*f + 3*d. Solve 0 = -3*l + 2*o + 2*o, 3*o - 21 = -f*l for l.
4
Suppose 15*x + 35 = 22*x. Let a be (x + (-14)/3)*363. Let k = a - 116. Solve -3*p = -2*p, -5*p - k = -r for r.
5
Suppose 222*a = 487 + 179. Solve 0 = -2*v - f - 5, 0 = -a*v - 4*f + f - 6 for v.
-3
Suppose f = -2*d + 172, 3*f = -2*f - 4*d + 848. Suppose -11*w + 4*w = -f. Suppose -19*k - 25 = -w*k. Solve -4*g + 9 = -2*p - 5, 0 = -5*p - k for g.
3
Let m be (-24)/(-20)*(25/10 + 5/(-6)). Solve -u + 45*a + 1 = 48*a, -m*u + 5*a = 20 for u.
-5
Let v be 4/((8/(-10))/(2/(-5))). Let o be (-462)/(-132) + v + (-5)/2. Solve -q + 11 = o*w, 2*q + 11 = -w - 2*q for w.
5
Let t(y) = 20 + 2*y - 7*y + 5. Suppose -32*v + 34 = -94. Let z be t(v). Solve -z*o = 4*x + 5, 3*x - 12 = 4*o - 39 for o.
3
Let c(i) = 2*i - 3. Let r be c(3). Let x be 3/(-2)*(-18)/3. Let l(n) = 1940*n - 9692. Let o be l(5). Solve -q = 5*v - x, q - r*v = -q - o for q.
-1
Suppose 20 = -5*y + 2*c, 81*y - 85*y - 5*c - 49 = 0. Let b be y + (2*102/12 - -4). Solve 2*g + 4 - 5 = -3*t, 5*g - 5*t = b for g.
2
Let c = -29237 + 29240. Suppose -3*g + a = -4*a + 14, -a = -4. Suppose -g*m + 15 = 3*m. Solve c*y - 4*d + m = 0, 2*d = -5*y + 16 + 5 for y.
3
Let g be 5/(-1 - 4) - 90/(-3). Suppose 13*l - g = 192. Solve 4*x + 2*y - 2 + 4 = 0, -5*x + 4*y = -l for x.
1
Let d(h) = h**3 + 15*h**2 - 24*h - 356. Let b be d(-15). Solve 9 = -3*z - g, -10*g - 23 = b*z - 5*g for z.
-2
Suppose 4*v + 5*o - 55 = 0, 279 - 219 = 5*v + 5*o. Solve 5*x - v*c + 10 = 0, 3*x + 24*c + 7 = 26*c for x.
-3
Suppose u + 30 = 24*p - 19*p, -3*u - 15 = 0. Let d = 16 + -16. Solve 10 = -v + p*l, 4*v - 2*l - 2 + 24 = d for v.
-5
Let o be (-3 - (8 + -10))*(-15 - 0). Suppose 8 = -3*a - 5*j + 33, 0 = 2*a + 3*j - o. Solve -5*v + z + 13 = a, -5*v + 10 + 11 = 3*z for v.
3
Let u(d) = d**3 + 3*d**2 + 39*d + 172. Let t be u(-4). Solve t*f + f = -5*a - 27, 0 = -4*a + 3*f - 14 for a.
-5
Let m(n) = -896*n - 7163. Let t be m(-8). Solve 6*r = r + t*a - 10, -3*r - a = 18 for r.
-5
Suppose 1504*m - 1496*m - 20 - 4 = 0. Let a be -2 + 2 + 9 + 1. Solve -m*p = -5*i - a + 1, 0 = -p - 4*i - 14 for p.
-2
Let t(l) = 8*l**2 - 10*l - 14. Let f be t(-2). Suppose -13 = 5*a - f. Solve -2*b + 4*d = 12, -4*b = -3*b - a*d + 15 for b.
0
Suppose -4081*o = -4078*o - 69. Solve -85*x = -3*p - 89*x - o, -p + 24 = -5*x for p.
-1
Let l(a) = a**3 - 12*a**2 - 18*a + 30. Suppose 45 = -6*k + 123. Let p be l(k). Let c be -1 - 3/(15/p). Solve -x = x + 3*m - 16, -4*m = -5*x - c for x.
2
Suppose 2*c + 26 = 3*b + 14, -2*b - 4*c - 8 = 0. Solve 5*t + 2*h + 36 = -b*h, 3*t + 4 = 2*h for t.
-4
Let i be 90/20 - (-2)/4. Suppose 2*q = 5*x + 56, 28 = -q + 2*q + i*x. Suppose 6*s + q = 13*s. Solve s*k + 2*u + 20 = 0, -2*u - 23 = 5*k + 1 for k.
-4
Let z(p) = 72*p**2 + 4*p - 25. Let q be z(3). Let h = q - 635. Solve h = -3*a - 15, 5*o - 3*a = o + 11 for o.
-1
Let r be ((-848)/(-12))/((45/(-54))/((-20)/16)). Solve 2*b = -2*h, -111*h - 4*b - 3 = -r*h for h.
-3
Let i(g) = -13 - 131*g + 134*g + 44. Let n be i(-9). Solve 4*v + 36 = -5*h, n*v = -3*h - 0*v - 28 for h.
-4
Let k = 24759 + -24755. Solve -4*b = 3*u - k*u + 23, -4*b = -2*u + 26 for b.
-5
Suppose -44*z = -51*z + 98. Suppose 4*t + 4*h = 2*h + z, -4*t - 4*h = -16. Solve 28 = 4*m - 5*i, 0 = -t*m + i - 3*i - 2 for m.
2
Suppose -2*j - 2*u = -18, -2*u - 26 = -j - 23. Solve -4*m - 4*x + 2 - 18 = 0, j*m = 2*x - 1 for m.
-1
Suppose 2*s = -s - 3. Let t(i) = 1. Let q(b) = b - 7. Let k(j) = s*t(j) + q(j). Let l be k(8). Solve -3*z = 3*w + 2*z - 27, l = -4*w + 3*z + 7 for w.
4
Let b(w) = -183*w - 547. Let x be b(-3). Solve 0 = j + 5*z + 3, -9 + 3 = 2*j + x*z for j.
-3
Let i = 68 + -34. Suppose -2*r + i = j, 0*r + 53 = 3*r + 2*j. Let p be r/4 - 2/(-8). Solve 2*z = 2*m - 4, -p*z + 4 = m - 2*m for m.
4
Let a = 493 + -488. Let m be 3 + 4 + (-4 - (2 + -4)). Solve 5*y - 5 = -4*r + 8, -a*y = -m for r.
2
Suppose -5*w = v - 736, 0 = 2*w - 3*v - 216 - 92. Let u = -141 + w. Solve 4*o + 0*o - u = -n, -4*n - 3*o + 15 = 0 for n.
3
Suppose -4*u = 5*y - 148, 2*y - 2*u - 47 = 5. Let c be (y/(-126))/((-2)/18). Suppose -3*k + 15 = -0*k. Solve -17 = 5*s + k*i - c*i, -3*s + 5*i - 17 = 0 for s.
-4
Let z be (22/33)/(2/18). Suppose -5*i + 4 = -2*r, i + 5*r = -z - 4. Solve i = 5*l + 3*h + 2*h + 30, 0 = 2*l - 4*h + 6 for l.
-5
Let t = 4609 - 4604. Solve 3*g = -t*z - 7, 3*z = -z + 4 for g.
-4
Suppose 4 = -y, 3*y = -q + 15 - 7. Let i be 7/(-294)*-6 - 170/(-35). Solve -2*d = o - 5, -i*o + o - 4*d = -q for o.
5
Suppose 13*i + 0*i - 13 = 0. Let j(b) = 13*b**3 + b**2 - 2. Let n be j(i). Solve p - h = 5, -4*p + h + 32 = n for p.
5
Let q be (-110)/(-22) - (1 - -2). Suppose 3*o - 4*w - 7 = 0, w - q + 0 = 0. Solve 5 = -o*g, -3*i + 5*g = 1 + 9 for i.
-5
Let u(j) = -j**2 - 5*j + 19. Let z be u(-8). Let r be (z + 2)*(-8 + 7). Solve -r*y + 5*f + 32 = 0, 0 = -y - 4*f - 19 + 7 for y.
4
Let y(z) = 182*z**2 - 14*z - 95*z**2 - 32 - 88*z**2. Let t be y(-10). Solve -2*d = 2*q - t, -3*q + 7*q - 4*d - 16 = 0 for q.
4
Suppose 0 = -5*h + 40, -15*h + 19*h - 32 = 11*l. Solve -r + 4*y - 15 = 0, -r + 3*y - 118 + 108 = l for r.
5
Suppose -92*w + 162*w - 280 = 0. Solve -79 = 5*s - 3*g - 66, 3*g = -w*s - 32 for s.
-5
Let x(g) = 9504 + g + g - 4754 - g - 4746. Let f = 0 + 1. Let u be x(f). Solve -u*v - 25 = -4*l, 5 = 5*l - 2*v + v for l.
0
Let y = 108 + -105. Suppose 0 = -4*r + 2*f + 22, 2*f = -2*r + 8 - 6. Solve -r*x = -3*i + x, -y = -3*i + 4*x for i.
5
Let a be 18/15*960/36. Let k be a/56*(-7)/(-2). Solve -2*i - 2 = k*c, 4*c + 5*i - 2 = -3 for c.
-4
Suppose 4*j + 18 = -5*h - 4, h + 5*j = -38. Solve -h*k + 5*d + 26 = 0, 6*k - k + d + 16 = 0 for k.
-2
Let y be 33/22*(170/(-3))/(-5). Let b = 13 + -19. Let v be b/(-18) + 8/3. Solve -4*o - y = 2*p + p, -22 = v*p + 5*o for p.
1
Let a(z) = z**3 + 33*z**2 - 107*z + 39. Let t be a(-36). Solve 3*j = 2*u + 10, t*u - 27 + 31 = -j for j.
2
Let w be (-1)/1*(-25 - 0). Suppose -3*p + 5*s - 7 = -4*p, 0 = -3*p + s + 5. Let t(u) = 6*u - 9. Let a be t(p). Solve a*i = j - 13, -2*i = i - 4*j + w for i.
-3
Let h(s) = -7*s - 59. Let d(p) = 8*p + 61. Let a(z) = 3*d(z) + 4*h(z). Let y be a(-14). Solve 5*r - 2 = -3*n, 2*r + y*r = n + 6 for r.
1
Suppose -5*g + 78 = 2*k, -72 = -3*g + 79*k - 83*k. Solve -v = -4*x + 19, 14 = -13*v + g*v + 3*x for v.
1
Suppose 0 = -8*l + 76*l - 2108. Solve 3*n + 2*g = -3*g + l, -2*g = -2*n - 6 for n.
2
Let s(r) = -r**3 - 9*r**2 + 21*r + 5. Let u be s(4). Let m = 130 + u. Solve y - 3*y - 3*n = m, y = -5*n - 9 for y.
-4
Let u(y) = y**3 + 7*y**2 - 10*y - 12. Let l be u(-8). Suppose -5*z - 16 = l*v, 2*z - z + v = -4. Solve a - 2 = -2*s - z, 6 = s + 3*a for s.
0
Let g be 94/5 + (-376)/(-1880). Solve 39 = -40*x + 44*x - 5*p, 5*x = 2*p + g for x.
1
Let l(q) = 7*q**2 - 104*q - 10. Let z be l(15). Solve z*f = 3*r, 5*f = f - 12 for r.
-5
Let i(m) = 2*m**2 - 7*m + 16. Let s be i(3). Solve 2*k = -10, -2*h = -16*k + s*k - 5 for h.
-5
Let d be 2/(7 + -15 - 130/(-15)). Solve -3*l = -c, d*c - 4 = 3*l + 2*l for c.
3
Let i(h) = h**2 + 7*h + 21. Suppose 5*n - n = 16. Let r be n + (2 - 11) + -1. Let m be i(r). So