= -m - 5*l - 6 for m.
-4
Let c be 95 + 4 - 90/(-18). Let u be (-74)/(-26) + (224/c - 2). Solve -4*m + 3*m + 2 = -2*z, 5*z - 6 = -u*m for z.
0
Suppose 35*o = 56*o - 126. Solve -2*t - 4 = -o*h + 2*h, 4*h = t + 2 for t.
-2
Let w be -3*((-5)/5)/((-7)/(-49)). Suppose -3*o + 9 = 3*m + 3, -m = 3*o - 2. Solve -r = -2*k - 2*k, 4*r + 5*k - w = o for r.
4
Suppose 0 = 198*x - 18626 + 4766. Solve x*l = 3*w + 68*l - 18, 0 = w - 3*l - 13 for w.
4
Suppose 30*a = 25*a + 25*a - 60. Solve t - a*w - 4 = 0, -53*t - w + 12 = -50*t for t.
4
Let y be (0 + 0 - (-12)/(-18))*-6. Suppose 3*n - 29 = 2*x + 2*x, 0 = -4*n - 5*x - 13. Solve 2*h = -n*c - 12, -5*c + 0*h + y*h = 20 for c.
-4
Suppose 27*k - 86 + 5 = 0. Solve t - k = -f - 7, -2*f - 4 = 0 for t.
-2
Suppose 5*r = -3*z + 5, -3*r - 2*r + 3*z = -35. Suppose -r*i + 7*i - 9 = 0. Suppose -i*c - 2*c = -15. Solve -c*o + 2*q = -9, o + q = -3*o + 23 for o.
5
Suppose -310 = 414*k - 208*k - 216*k. Solve 74*r - 2*a - k = 69*r, 3*a + 9 = 0 for r.
5
Suppose 0 = 4*o - 1210 + 1198. Suppose o*y - 12 = -5*i + 7, -2*i + 3*y = 5. Solve 2 = i*s - 2, -4*k + 3*s - 2 = 0 for k.
1
Let c(a) = a**2 + 16*a - 53. Let w be c(3). Solve -w*g = 2*h - 1 + 5, 4*g + 3*h = 0 for g.
-3
Let l = 21 - 17. Suppose 2*z - 5*n - 56 = 0, 5*z - 112 = z - 4*n. Let x = 28 - z. Solve -2*s + 2*k - 6 = -x*k, -s - l*k = -22 for s.
2
Let z be (147925/100)/61 - (-2)/(-8). Solve -p - 3*n = -10, -3*n = -4*p - 29 + z for p.
1
Suppose 0 = 2*b + h - 14, -40*b - 3*h + 57 = -29*b. Solve 0 = 5*f - 4*p + 26, -2*f = 4*p - 9 - b for f.
-2
Let n = -56 + 63. Suppose n*k - 32 = -k. Suppose k*j - 23 - 25 = 0. Solve 0 = -v - 2*b + 6*b - 4, -3*v + 3*b - j = 0 for v.
-4
Let k = -22 - -36. Let o = -18 + 26. Let j be (0 - o)*(-7)/k. Solve 14 = 4*t + 3*m, j*t - m + 0*m = 6 for t.
2
Suppose 5*j + 10*x - 19 = 9*x, 0 = j - 4*x - 29. Solve 5*s - 5 = 5*k + j, -5*k + s - 2 = 0 for k.
0
Let j = -4161 - -4165. Solve j*r = -3*t + 31, -t = 11*r - 16*r + 15 for t.
5
Let c(l) = -6*l - 27. Let j be ((-65)/13)/(2 - 3/3). Let v be c(j). Solve -4*f - 24 = 4*m, 5*m + v*f - 8*f - 20 = 0 for m.
-1
Let o(g) = 2*g - 6. Let a be o(14). Let j = a + -16. Let f be 2/j - (-132)/36. Solve -5*s = f*r - 6*r + 1, -5*r + 10 = -5*s for r.
3
Suppose -20*v = -15*v + 20. Let k(b) = b**2 - 3*b + 5. Let u be k(v). Let i = -15 + u. Solve -5*l + 18 = d - 6, 2*d = -4*l + i for d.
-1
Let y(v) = -7*v**2 + 22*v + 39. Let c be y(-2). Let k = c - -39. Suppose 3 - 19 = -z + 4*p, -4*z = 2*p - 10. Solve 2*m + m = k, z*w = -m - 6 for w.
-2
Let p = -34 - -31. Let o be ((-42)/49)/(p/28). Solve b - 3*y = -0*b + o, -3*b + 2*y + 10 = 0 for b.
2
Let j be (-36)/(-60) - (-17)/5 - -169. Let i = -169 + j. Solve 4*l - 4*h = 8, -i*h = -3*l - 2*h + 2 for l.
-2
Suppose -4*v - 5*m + 444 = 0, 6*v + 4*m = 3*v + 332. Suppose -119*h + 6 = -v*h. Solve -4*b = h*t - 10, 0*t - 10 = 3*t + b for t.
-5
Let r = 9635 + -9630. Suppose -5*l - 5 = 0, 2*l - 3*l = -w + 6. Solve 0 = -r*p - w, p + 2*p = -2*c + 5 for c.
4
Let l(v) = -v**3 - 10*v**2 + 12*v + 15. Let w be l(-11). Let j = 419 + -415. Solve -w*x + j*r = 4 - 12, 3*r + 1 = -2*x for x.
1
Let v(y) = -156*y + 4059. Let k be v(26). Solve -k*i - 2*f + 5 = 0, -i - 2*f = 2*f - 15 for i.
-1
Let s(l) = -16*l + 59. Let m be s(4). Let q be (-1 + 29/m)*65/(-26). Solve -q = -u - 4*h, -5*u - 3*h = -15 - 2 for u.
1
Let s be 90*(34/84 - 8/112). Solve -s*v = -d - 33*v + 7, 3*d = v - 9 for d.
-2
Let k = 3325 + -3321. Solve x = -k*d + 17, -3*x = -4*x - d + 2 for x.
-3
Let j = 4658 - 4655. Suppose 10 - 2 = 4*q. Solve j*u + q*v + 5 = -5, -3*v = -2*u + 2 for u.
-2
Let q(v) = -177*v + 708. Let k be q(4). Solve 0 = 4*b + 5*h - 8*h + 1, -5*b + 3*h - 2 = k for b.
-1
Suppose -24 = -8*o + 4*o. Suppose -4*m + 42 - o = 0. Suppose m = -4*i + 25. Solve -2*z + 3*n + 2*n = -20, 0 = i*z - 3*n - 12 for z.
0
Suppose 11*s = 9*s - b + 13, -27 = -2*s - 3*b. Solve -s*i - 5*m = 43, 24*i + 4*m = 20*i - 44 for i.
-6
Suppose 0 = 3*v + 5*p - 28, 78 = 4*v - 2*p + 32. Solve -5*x = -4*f - 26, -5*f - v*x + 13*x = 24 for f.
-4
Let q = 10 - 7. Suppose 5*p = q*d + 26, 2*d - 13 = -3*p + 2*p. Suppose 0 = 5*j - 4*i + 5 - p, 6 = 3*i. Solve 2 = -3*v - 4, 0 = -j*n + 4*v + 14 for n.
3
Let w be ((-5)/(-3))/(2/6). Let x = -18184 - -18197. Suppose 0 = 5*a - 27 + 2. Solve -3*t - 6 = -a*s, -t + w + x = 5*s for t.
3
Let d = 35 - 3. Suppose 13*l = -16*l + d*l. Solve k = -a - 4, -2*a - 5*k - 29 + 12 = l for a.
-1
Let i = 811 - 782. Suppose 0 = -7*d + 4*d. Suppose -v = -d*r - 4*r, -5*v + 17 = -3*r. Solve -5*n + v*a = i, -n - 2*a = -6*a + 9 for n.
-5
Let n = 137 + -18. Let o = n + -115. Let t = 5 + -1. Solve h - 1 = p + 1, o = t*p for h.
3
Let c(d) = -13*d + 7. Let s be c(-3). Suppose -2*j + s = 4*y, -51 = -5*j - 3*y + 78. Let t = j + -26. Solve -2*i + 3 + 0 = 5*g, -2*i - t = g for g.
1
Let h(v) = 2*v**2 - 767 - 4*v**2 - 13*v + 753. Let q be h(-2). Let c be (-2)/3*3/(-1). Solve -q*j = -c*p + 5*p - 23, j - 2 = 0 for p.
5
Let n = 99 - 73. Let r = n - 3. Solve -2*q + 2*f + 3*f = -r, 5*q - 15 = 4*f for q.
-1
Let w be -2 + (5 - 1) - (1 - 1). Suppose o + 5*a - 30 = -3, 3*o + 4 = w*a. Solve 0 = 3*r - 4*s - 7, -3*r - o*s = -3 + 20 for r.
-3
Let i(t) = -41 + 20*t - 6 - 29 - 30*t. Let r be i(-8). Solve 0 = -d - 2, 2*u - r*d - 14 = -0*u for u.
3
Let r be ((-240)/(-48))/(1/1). Solve -4 = 4*d + 4*w, -d - 2 = r*w + 15 for d.
3
Suppose -55 + 16 = -3*w. Let a be 2/6*156/(-4). Let g = w + a. Solve 2*o + t + 3 = g, -5*t - 6 = -4*o - 33 for o.
-3
Suppose 28 = -50*i + 278. Solve 0 = -4*c - i*o - 29, 17 = -3*c - 3*o - 1 for c.
-1
Let u be 0 - -25 - 28 - (-1)/1*7. Solve -4*p - u*h = 24, -102*h - 16 = 4*p - 100*h for p.
-2
Let v be (-16)/4*21/(-4). Let r = v - 37. Let y be (r/(-12) + -2)*-3. Solve y*i - 2 = 4*h, -i - 4*h + 7 = -3*h for i.
5
Suppose 561 - 393 = 56*a. Solve -3*z - 3 = 0, -7*f = -5*f + z + a for f.
-1
Let o = 5909 - 5907. Solve -o*y - 4 = 0, -4*f + 75*y = 76*y + 14 for f.
-3
Suppose -8*t - 682 = -4098. Let x = t + -424. Solve -2*a - d = 8, -a + 16 = -3*a - x*d for a.
-2
Let j(d) = 2*d - 5. Let u be j(4). Let i(x) = -x**3 - 4*x**2 - x - 27. Let n = 538 - 543. Let h be i(n). Solve -10 = -u*o + h*l + 8, 2*o - 3*l = 17 for o.
1
Suppose u + u + 2*c - 550 = 0, -u = -5*c - 287. Let b = u - 262. Solve -a = -4*w + b, 3 - 25 = -2*a - 5*w for a.
1
Let c be (-1032)/(-20) + -4 + (-2)/(-5). Suppose -2*h = -8*h + c. Let l(o) = 4*o - 26. Let s be l(h). Solve -s*w + w = -3*z - 4, -2*z - 2 = -4*w for w.
-1
Suppose -5*t = -12*t + 28. Let k = t - -1. Suppose -4*d + 2*d + 6 = 0. Solve 4*y + 0*y + k*s = 21, -19 = -4*y - d*s for y.
4
Suppose -3*i + 30 = 3*w, -9*i = -11*i + 2*w + 4. Solve -i*h = 4*m - 2*h - 20, m + 4*h = 14 for m.
2
Let j(l) = l**2 - 123*l + 1237. Let w be j(11). Solve 3*h = 2*h + w*d, 0 = 3*h - 3*d for h.
0
Let a(u) = -u**3 - 7*u**2 - 19*u - 73. Let z be a(-6). Solve -25 = 5*s + 3*c, c = z*c + 20 for s.
-2
Suppose -14*o + 16*o = l + 5, 14*o - 75 = -l. Solve 2*d + 2*w + 2 = 4*w, d + w = o for d.
2
Suppose 0 = 28*o + 2 - 142. Solve -y + 13 = -3*y - 3*g, -28 = o*y + 3*g for y.
-5
Let h = -12032 - -12034. Solve 0 = -v - 2*x + h, 3 - 1 = v - 3*x for v.
2
Let w(v) = -v**2 - 26*v - 69. Let b be w(-3). Solve t + 5*f + 20 = b, -17*t + 4*f + 7 = -16*t for t.
-5
Suppose 45*j - 38*j = 1001. Let t = j + -143. Solve 4*h - 4*y - 16 = t, 25 = -4*h - h - 4*y for h.
-1
Suppose 354*m - 362*m + 104 = 0. Let x = 409 + -406. Suppose o - 116 = -5*t, -4*t + 3*o + 79 = -29. Solve m = -g - x*v, -v - t = 4*g + 4*v for g.
-1
Let v be (45 + -39)/((-12)/(-8)). Solve -t + n + 1 = 0, -t - v*n - 17 = n for t.
-2
Let g = -3 + 1. Suppose -121*f - 108 = -103*f. Let j be 7 + f + 4/g - -3. Solve n = -4*t + 3 - 1, 5*n + j*t + 8 = 0 for n.
-2
Let f = 38488 + -38484. Solve -f*u + 5*w = 33, u + 10*w + 5 = 8*w for u.
-7
Let r be 250/100 + 5/(-10). Solve -5*w - h = 20 - 18, 0 = r*w - 5*h - 10 for w.
0
Let t be (400/64)/(-2 - (-23)/12). Let r be (4/20)/((-3)/t). Solve 3*a - 2*a = -r*i - 7, -4 = 2*a for i.
-1
Let m(d) = 85*d - 845. Let w be m(10). Solve -w*p - 3*u + 6 = 0, -4*p + 4*u - 13 = -37 for p.
3
Suppose -105*j = -67 - 248. Solve -2*l = 5*f + 2, 8 = -f + j*l + 11 for f.
0
Suppose -145 = y - 34. Let i = -111 - y. Let u be (-3)/(-2*15/20). Solve i = -3*b + 2*s - u, -3*b - 3*s = 5 + 7 for b.
-2
Let n = -120 - -82. Let i be 3/2 + 57/n