l for m.
3
Let t be 142/(-355)*5*2*-1. Solve 0 = t*s + 3*z - 12, -2*z = -5*s - 0*s - 8 for s.
0
Suppose 10*i - 9 = 31. Solve 0 = -w + 5*p + 9, -3*w - 3*p + 5 = -i for w.
4
Let u(w) = 3*w + 25. Let g = -78 - -72. Let d be u(g). Solve -3 = -k - 5*a, -3*a = 2*k - d*a + 8 for k.
-2
Let y = -141 + 146. Solve 10 = 3*d + y*v - 20, 2*v - 16 = -2*d for d.
5
Let w(s) = -2 + 41*s - 40*s + 0. Let d be w(7). Solve -d*q - 35 = 5*m, -4*q - 33 = 5*m - 0*q for m.
-5
Let q = -1568 - -1569. Solve 7 - 9 = -h + 3*s, 0 = -s + q for h.
5
Suppose -r = 4*g - 6*r - 37, -5*g + r + 20 = 0. Suppose 4*b = -2*n + 18, -n + 4*b = -0*b + g. Solve -5*l = 3*m - n*m + 11, -m + 4*l + 7 = 0 for m.
3
Suppose 5*o + 0*o + 4*f = 149, -o + 28 = -f. Suppose o + 61 = 18*z. Solve -4*v = -4*g - 5*v + 16, 20 = z*g - 5*v for g.
4
Let m = -324 + 325. Solve 5*x = 3*g + m, -2*g + 7*g + 6 = 4*x for x.
-1
Let u be 6 - (20/(-4))/(-5)*2. Solve -12 = -u*y, 2*l + 2*y = -l for l.
-2
Let x = -58 + 61. Let m(p) = -p**2 - 5*p - 4. Let l be m(-3). Solve -f + x*f - 2*r = -l, 4 = 2*r for f.
1
Let g = -1845 + 1850. Solve -h = 4*m - 15, 11*h - g*m + 50 = 6*h for h.
-5
Suppose 2*g = 3*x - 22, x - 39*g + 11 = -42*g. Solve 26 = 4*y - 5*h, -3*y = -x*y - h + 2 for y.
4
Let o(i) = 4*i**2 - 217*i - 161. Let m be o(55). Solve 4*w - l = -4*l, 5*w + m*l = 1 for w.
-3
Let s(u) = -3 + 8*u**2 + u**3 + 8*u - 18*u - 7 + 3. Let k be s(-9). Let o(m) = -5*m - 1. Let h be o(-1). Solve -k = -h*w + a, -6*w = -4*w + 4*a - 10 for w.
1
Suppose 0*n - 17 = -4*n + w, -3*n - 4*w = -8. Solve n*z = -2*l + z + 16, 0 = l - 5*z + 18 for l.
2
Suppose 5*p + 22 = b, -8*b + 3*p - 26 = -13*b. Solve c = -2*g + b, 0 = -3*c - 2*c - 2*g + 3 for c.
-1
Let p = 1498 - 1474. Suppose -6 = -5*z + 4. Solve -s = 5*b - p, b = -3*s - 0 + z for b.
5
Suppose 0 = -4*a + 12, -2*q = 3*q + a + 67. Let v(d) = -d**3 - 14*d**2 + 3. Let o be v(q). Solve 3*z - y = -13 - o, 3*y = -z - 2 for z.
-5
Let v(p) = 2*p**2 + 22*p + 13. Let t be v(-9). Let w = t + 28. Solve c + w = 2*a, 3*c + 2 = c + 2*a for c.
3
Let j(m) = 9*m + 2. Let s be j(-3). Let a be -5*(-4 + (-80)/s). Let o(d) = -d + 4. Let l be o(0). Solve 3*f = -a*h - 4, -4 = l*h + 4*f - 0*f for h.
-1
Let q(s) = 2*s**2 - 9*s + 9. Let f be q(6). Let o be ((-39)/(-52))/((-6)/(-40)). Solve -3*p = -3*c + f, 2*p + 2*c - o*c = -22 for p.
-5
Let r(k) = -37*k + 298. Let p be r(8). Suppose -6 = 4*c - 5*c. Solve -h + 5*s = -9 - c, -p*s = -h + 6 for h.
0
Let y be 0*(3 + -4) - -92. Suppose 0 = 5*v - v - y. Suppose -3*a + v + 28 = 3*b, -4*b - 68 = -4*a. Solve -3*w - d = -5*w + 10, 0 = 3*w - 2*d - a for w.
3
Let o be -1 + 2 - (1 - 2). Let j(f) = -9*f - 7. Let h(a) = -2*a - 2. Let i(n) = 4*h(n) - j(n). Let z be i(o). Solve 0 = 3*l - 5*b + 13, -3*b = l - 4 - z for l.
-1
Suppose -5*k + 3*j + 3 = -125, 5*k - 2*j = 127. Suppose 24 = -3*i - 30. Let u = i + k. Solve -3*z + 7 = -5*r, -18 = 2*r - u*z + 2*z for r.
1
Let r(n) = n**3 + n**2 - 2*n - 9. Let i be r(0). Let l(f) = -4*f - 27. Let o be l(i). Solve m = -3*d + 3, 7*m = 4*m - 5*d + o for m.
3
Let i(p) = p**3 - 6*p**2 + 11. Let t be i(6). Suppose t = 5*l - c, -3*l = 2*c + 3*c - 29. Suppose -6 + 15 = l*u. Solve -2*b = u*o, o - 18 = 4*b - 2*o for b.
-3
Let s = -28 + 44. Let n be (2/4)/(4/s). Solve -2*y - 3*y = q - 22, -5*q = -n*y + 25 for q.
-3
Suppose 3*i - 8*i = -10. Let z(q) = q**2 - 2*q + 3. Let v be z(i). Let k(x) = -2*x - 18. Let n be k(-9). Solve n = -v*m - 2*w - 4, 2*m + 4*w + 8 = 8*w for m.
-2
Let c be ((-2 - -8) + 3)*(-2)/(-6). Solve -3*j - c*b = -7*j - 15, -5*j - 5*b - 10 = 0 for j.
-3
Let k be ((-1)/3)/(6/(-54)). Suppose k*q = q + 8. Suppose 0 = -b - r - 2, -r - 1 = -b + 5. Solve -5*p = -p + 4*f, -b*p + q = 4*f for p.
-2
Let k be ((-10)/8 - 3) + (-1)/(-4). Let r be (-2)/((-4)/4) - k. Solve -3*h = -o - 14, -3*h + r*h - 3*o = 24 for h.
3
Suppose 3*n = 50 - 5. Suppose -321 = -17*w - n. Suppose f = -2, z + 3 = 2*f + 9. Solve -5*r - w = 2*m, -z*r + 2*m - 7 = 3*m for r.
-4
Let r(y) = -19*y - 188. Let n be r(-10). Solve 2*v + 0*w = 5*w + 4, v = -2*w + n for v.
2
Let d(v) = -11 + 3*v + 4*v**2 + 8 - 3*v - v. Let s be d(-2). Solve -3*n - n + s = w, -2*n - 2*w = 0 for n.
5
Suppose -5*d - 21 = 4, -3*b = 3*d + 228. Let m = 75 + b. Solve 5*l + k + 18 = 0, l + m*k + k = 6 for l.
-4
Let c = 48 - 21. Let p = c - 23. Solve 0 = -b - 4*f + 19 - 0, -5*b + p*f = 1 for b.
3
Let c(s) = -s**3 + 8*s**2 + 18*s + 23. Let m be c(10). Solve 3*b + 16 = 2*h, -4*b + 4 = 4*h - m*b for h.
2
Let w = 33 + -47. Let k = 14 + w. Let i(c) = -c + 19. Let n be i(0). Solve 5*s - n = -0*o + o, k = -5*o + s - 23 for o.
-4
Suppose -2*g - 3 = -3*o, 0 = -4*g - 6*o + 2*o + 24. Let a be ((-475)/(-190))/((-6)/(-8) - 2) + 2. Solve a = 3*d + g*k - 9, -5 = d - 5*d + 3*k for d.
2
Let f be (-1 - 1)*8/2. Let k = -2 - f. Solve 24 = -4*l + k*w - w, -2*l = -3*w + 14 for l.
-1
Let n(u) = -u**3 - 7*u**2 - 8*u - 5. Let r = 5 + -11. Let w be n(r). Suppose 87 = -19*c + 22*c. Solve 0 = 4*s - 3*f + c, -f + w + 11 = -3*s for s.
-5
Let c be 6/(-4)*(-10)/3. Let q(g) = -5*g**3 + 2*g**2 - g + 2. Let f be q(2). Let r = 36 + f. Solve r*y = 3*u + 34 - 11, 0 = -y + c*u + 27 for y.
2
Suppose -6*w = 50 - 68. Solve -4*o + 0 - 12 = 0, 2*i + w*o = -9 for i.
0
Suppose -56*g - 8 = -60*g. Suppose -4*t = g*t - 6. Solve 0 = x - 2*x + 2, -s + t = -2*x for s.
5
Let m = -185 - -195. Solve -6*d - 2*p + 24 = -d, -2*d - p = -m for d.
4
Suppose -8*m - 77 = -19*m. Let r = -2 + 6. Solve -o = o - 5*k - r, o + m = -2*k for o.
-3
Let n = -24 + 26. Suppose 5*z + 3*w - 10 = 4*w, -5*w - 4 = -n*z. Solve -5*r - z*o + 17 = 0, -10 = 2*r + 3*o + 2*o for r.
5
Let c(s) = -s**2 + s. Let n be c(3). Let f(q) = -3*q - 13. Let g be f(n). Solve -y = 5*o - 5*y - 45, -3*o + 40 = -g*y for o.
5
Let s(p) = -6*p - 4. Let o be s(5). Let g = -29 - o. Solve j - 4*k - g = 0, -17 - 8 = -5*j - 5*k for j.
5
Let u(k) = -k + 12. Let y be u(10). Let p be 1/y*(-90)/(-9). Suppose 4*r + 2 = p*r. Solve -4*t = -i + 6 - 0, 5*i - r*t = -6 for i.
-2
Let h = 15 + -13. Suppose h*c - 4 = 0, -5*p - 312 + 22 = -5*c. Let y = 81 + p. Solve 3*k + 40 = 4*s - k, -5*k - y = 0 for s.
5
Suppose 2*u = 28 + 30. Let b = 236 + -256. Let s = b + u. Solve -4*l + s*l = 3*q + 8, -5 = -l + 4*q for l.
1
Suppose 4*y + 29 = -3*f, 0 = -0*f + 5*f - 5*y + 25. Let q be 0 + f/(-4) + (-59)/(-236). Solve 2*h + 7 = j, -2*h - 9 = -j + q*h for j.
5
Suppose 0 = -14*o + 13*o. Solve -j - 30 = -5*a, o*j - j + 3*a = 20 for j.
-5
Let i(j) = j**3 + 19*j**2 + 87*j - 24. Let h be i(-9). Solve 2*a + 1 = 3*x - h, -3*x - 4*a = 26 for x.
-2
Suppose 0 = -48*w + 45*w + 171. Suppose w = 9*k + 10*k. Solve k*u - v - 21 = 2*v, 7 = 3*u + 4*v for u.
5
Let d(a) = a**3 + 10*a**2 + 25*a. Let p be d(-5). Solve 3*y + h - 3 = p, -2*y = 2*h - 0 - 2 for y.
1
Let o = -81 + 85. Suppose -o*z + 3 = -9. Solve z*b - 9 = 3*h, 2*h + 7 - 1 = 0 for b.
0
Suppose -7*j + 13*j = 108. Solve -1 = -4*x - 2*k - k, 2*x - 2*k - j = 0 for x.
4
Suppose 0 = -0*q - 2*q + 4. Let h(f) = -56*f - 53. Let t be h(-1). Solve 3*d = 4*j - 14, q*j + t*j + 2*d - 29 = 0 for j.
5
Let d(u) = -u**3 + 3*u - 2. Let h be d(1). Suppose m = -4 + 9. Let x be (2 - m) + 8 - 3. Solve -4*g = -4, -w = -h*w + g - x for w.
1
Suppose -608 = -4*j + 5*m, 0*m = 5*j + 3*m - 760. Suppose -4*a = 3*b - j, 2*a - 125 = -a - 5*b. Solve -5*s = 5*w - a, -5*s - 2*w + 23 = -6 for s.
5
Suppose -2266*z = -2264*z - 24. Solve -m + 7*o - 4*o = -z, -5*o = -m + 18 for m.
3
Let x = -953 + 959. Solve -14 = -3*l - 0*p - 4*p, -2*l + x = p for l.
2
Suppose -2*m + 4*m - 2*z = 16, 0 = 3*z + 12. Let h(j) = j**2 - 5*j + 9. Let l be h(m). Solve 4*n - 5*s = 24, 25 = 4*n + n - l*s for n.
1
Suppose 0 = 2*s - 5*v - 31, 4*s + 2*v = 2 - 0. Solve 5*b + s = -5*i - 7, -6 = 3*b - i for b.
-2
Suppose -19*j + 20*j + 13 = 5*n, -2*j = 3*n - 13. Solve 6*u + j*d = u + 35, -4*u + d + 15 = 0 for u.
5
Suppose 10*j - 198 = 52. Solve -2*t = -0*t + z + 5, 2*t = 5*z + j for t.
0
Let r(w) = 104*w - 184. Let y be r(2). Solve -4*l + y - 1 = -h, 2*l - 5*h - 25 = 0 for l.
5
Let b be (-4 + 33/6)*8. Suppose -3*z = -c - b, 4*c + z - 7 = 2*z. Solve k - w = -c*k + 11, -7 = 4*k + 5*w for k.
2
Suppose -5*d = -6*d - 5*h + 8, 7 = 2*d + h. Solve 0 = -d*n + 5*f - 11 - 24, -f = 5*n + 21 for n.
-5
Suppose -4*s - 4 = -6*s. Let j(c) = -c**2 - 23*c - 101. Let n be j(-7). Solve s*m + 3*m + i = -17, i =