= -m - 0*v + 5*v for m.
4
Let y = -78 - -88. Let v be (-2)/(-4)*5/(y/8). Solve o - 5*n + 8 = 0, -5*o = -2*o + v*n - 10 for o.
2
Let s = -130 + 139. Let w be (-5 - (-49)/9)*s. Solve 0 = -i + w*a + 10, 11 = -2*i - 2*i - a for i.
-2
Suppose 0 = 23*r - 22*r - 4. Let d be (16 - r)/(6/(-4)). Let f be 42/12*d/(-14). Solve 5*i + 3*c = -37, 0*c + 28 = -4*i - f*c for i.
-5
Let j(f) = -5*f + 1. Let l be j(1). Let m be l + (-5 - 36/(-4)). Solve -4*b + 9 = z, -2*b - 2*z + 17 - 5 = m for b.
1
Let l be 9/(-45) - (42/(-10) + 1). Solve 2*k + 2*k = l*c - 17, 3*c - k - 11 = 0 for c.
3
Let s be (-16)/(-12)*4*(-6)/4. Let f(y) = y**2 + 8*y + 10. Let l be f(s). Solve 0 = 4*o - q + 14, -l = -2*q - 3*q for o.
-3
Suppose x = 14*x - 208. Solve 5*g + 4 = -4*r, -g = r - 4*g - x for r.
4
Let k be 63/(-18)*(-44)/7. Suppose k = 2*c + 3*b + b, 3*c = 2*b + 1. Solve -c*j = j - 2*a + 20, -j = 2*a for j.
-4
Let x = -904 + 912. Suppose 2*q - 30 = -6. Solve 0*y + x = -4*c + 4*y, -4*c + 5*y - q = 0 for c.
2
Suppose 9 = 8*v - 15. Suppose -5*j + 3*d = 27, 2*j - j = -2*d - 8. Let x be 1/((-8)/4)*j. Solve -b - 2*y + x = 6, -v*b - y = 14 for b.
-5
Suppose 0*j - 10 = 2*j. Suppose -3 - 7 = -2*t. Let i be (-2)/t - 17/j. Solve 7 = -p + i*y, -p - y = -0*y + 3 for p.
-4
Suppose -2*o - 3*j = -4, j + 0*j + 6 = 3*o. Solve -o*s - 10 = 4*p, -p = -0*s + 2*s + 10 for s.
-5
Let f = 0 - -7. Suppose 5 = -5*x, f = 2*h - 4*x - 23. Solve -w = 4*w - 15, -m - 3*w = -h for m.
4
Suppose 0 = t - 0 - 3. Suppose 0 = -h + 1 + t. Suppose h*l = 3*l. Solve -3*y = -5*v + 13, -v = -l*y + y - 1 for v.
2
Let t(q) = -8*q - 4. Let b be t(-3). Let a = -16 + b. Solve f - a*h = -0*h - 22, -5*h = -2*f - 29 for f.
-2
Let z = -806 - -811. Solve 3*g - 34 - 6 = -z*q, -5*g = -5*q for g.
5
Suppose 0 = 28*w + 11*w. Solve 6*n - 28 = 4*c + n, -n + 4 = w for c.
-2
Let w(j) = 2*j**3 - j**2 - j + 2. Let f be 11/7 + 4/(-7). Let v be w(f). Let a(r) = -r. Let k be a(-4). Solve v*h - 2*z = 16, 3*h = -h - k*z for h.
4
Let f(k) = 14*k - 14. Let i be f(2). Let g be (-12)/i*(-56)/12. Solve 0 = -5*c - 5*t - 15, g*c - 33 = 6*t - t for c.
2
Suppose -3*a = -4*b - 66, a + b = 11 + 11. Solve 5*k + 16 = -4*u, 5*k - 4*u + a = -2 for k.
-4
Suppose 2*a + 6 = 4*a. Let x = 51 + -31. Let u be (-5)/x + 39/12. Solve -v = -4*s - 5, -a*s - u*v + 1 = 16 for s.
-2
Suppose 2*p - 1 = -4*u + 9, -3*p - 3 = 0. Let l be (-4)/2*(-3)/(-2). Let b(h) = -6*h. Let f be b(l). Solve -2*g = -g - 3*r + f, 4*g + u*r = 3 for g.
-3
Let i(u) = -u + 19. Let g be i(16). Let r(m) = 7*m + 7. Let n be r(-1). Solve -g*k - 4*b - 14 = -n*k, 0 = -4*k + 4*b + 28 for k.
2
Let b(m) = -13*m + 14. Let v be b(6). Let x = 68 + v. Solve 2*w - x*w = -5*g + 21, 5*w + 15 = 0 for g.
3
Suppose 5*l + 35 = 5*v, -8*v - 2*l = -12*v + 20. Solve 6 = 3*u, 0 = 4*d + v*u + 4 + 10 for d.
-5
Suppose 0 = -9*r - 7*r - 13*r. Solve 3*m + r*f = -f + 9, 5*f = m - 19 for m.
4
Suppose -12*i + 8 = -14*i. Let q be -1*(14/49 - i/(-14)). Solve q = 3*f - 9, -3*y - 2*f - 3 = -6 for y.
-1
Let m be 45/90 + 13*2/(-4). Let c be (-6 - m)/(8/4). Solve -2*v + 1 = -u + 4*u, c = v + 2*u for v.
2
Suppose 9*o = 3*o + 66. Let g = -33 - -47. Let a = g - o. Solve -2*x = 3*k, -2*k + 13 = -2*x + a for k.
2
Let w = -1672 + 1673. Solve 4*x - w = -5*y, -2 + 1 = -y for x.
-1
Suppose 0 = -3*d + b + 21, 3*d - 9 = -0*b + 5*b. Let a be 15/4 - (-2)/d. Solve -a*q = 3*y + 19, q - 3*q = -y + 7 for q.
-4
Let c = 1459 + -1459. Solve 0 = 4*y + 5*m + 8, c*y - 2*m = -5*y - 10 for y.
-2
Suppose 3*h + 12 = -18. Let p(a) = -4*a - 37. Let o be p(h). Solve 0 = -2*l + 7*l + 2*s + 29, 6 = -o*s for l.
-5
Let r = 48 + -40. Suppose x + 5*o = 33 - r, -5*o = -4*x. Solve 2*z + 4*g = 6, -2*g + 2 - 17 = -x*z for z.
3
Let b = 63 - 51. Suppose 2*n = 5*h - 9, n - 4*n + b = h. Solve -4*r + 11 = -n*x, -2*x - 7 = 2*r + 5 for r.
-1
Let n = 71 + -37. Let q = -32 + n. Solve 5*i = 5 + 5, q*x = 3*i - 8 for x.
-1
Let w(i) = 3*i - 28. Let b be w(10). Solve 0 = -4*t, 5*j - t - 8 = b for j.
2
Let p(h) = h**3 + 4*h**2 + 4*h + 7. Let j be p(-3). Solve -2*g - a - j = 2*g, 6 = g + 2*a for g.
-2
Suppose 19 - 49 = -6*z. Suppose 0 = -4*q + z*q - 250. Let p be q/16 - 30/(-80). Solve -2*o = -2*b, -5*o + p = 3*b - 0*o for b.
2
Suppose 0 = -6*b + 26 + 4. Solve 5*v = -c + 10, b*c - 5*v + 7 = -3 for c.
0
Suppose 53 = 3*s + 5*r + 9, 2*s - 31 = -5*r. Solve 0 = j + 5*i + 22, -4*j + 5*i = -50 + s for j.
3
Let d = 0 + 2. Suppose 0*l - 5*l = -2*f + 4, d*f - 24 = -5*l. Suppose -5*w + 27 - f = 0. Solve 2*t - 14 = -t - w*v, 5*v = 2*t + 29 for t.
-2
Suppose 0 = 4*c + 55 - 203. Solve -3*g = -i - 4*i + c, 4*i = 20 for g.
-4
Suppose l + 96 = 25*l. Solve -l*a + 5*i = 15, -6*a + 15 = -a + 5*i for a.
0
Let k be 720/51 - (-4)/(-34). Let j(s) = -s**3 + 14*s**2 + 2*s - 5. Let d be j(k). Solve -5*m + 3*o = d, 0 = -5*m - 7*o + 2*o - 15 for m.
-4
Let g be ((-1)/(8/(-12)))/((-24)/(-32)). Solve 6 = 3*p, 5*k = -4*p - g + 20 for k.
2
Suppose -w = r - 46 - 41, 5*w + 10 = 0. Let f = r + -59. Solve -4*z - 2*u + f = 0, 0*u + 15 = -2*z + 5*u for z.
5
Let y(v) = -6*v + 13. Let p be y(-6). Let n = p + -45. Solve -n*j - 3*c = -3 + 2, 2*c = -2*j + 2 for j.
-2
Let h(l) = -l**2 + 4*l + 4. Let u be h(4). Suppose 5*f - 1 = 4*f. Solve u*t - f = v + 5*t, -6 = -3*t for v.
-3
Let w = 179 + -304. Let j = -117 - w. Solve 2*y - 5*p = 5, 0 = -2*y + 2*p - 0*p + j for y.
5
Suppose 4*d - 12 = 2*d. Let c be (2/(-4) - -2)*d. Let q(o) = 3*o - 5. Let t be q(c). Solve 3*z + 4*i = -0*z + 17, -4*z - 5*i = -t for z.
3
Let i(w) = 4*w. Let n be i(-1). Let a be 8/((-8)/n) + -2. Suppose -c = -a*c. Solve -3*y = -4*o + 5, 2*o - 1 + 3 = c for y.
-3
Suppose -11*l = -9*l + 52. Let s = -5 - l. Let o = 9 + -3. Solve f - o = 2*k, -5*k - s = 5*f - 6 for f.
0
Let o be 18/(-2)*2/(-6). Let l = 37 - 37. Suppose 2*c - 3*w + 37 = 7*c, w - 4 = l. Solve 40 = c*x - o*u, 2*u = 2*x - x - 15 for x.
5
Let c(m) = -m + 20. Let i be c(4). Let o = i + -9. Solve 5*z + 0 + 5 = 3*l, -3*z - o = -l for l.
-5
Let a = 907 - 886. Solve 5*x = 5*u + 2*x + a, -3*u - 2*x - 5 = 0 for u.
-3
Let z be -1 + -2 + 2 + 1. Let w(o) = -o - 11. Let u be w(z). Let n = u + 15. Solve 2*l = -4*a + a, n*a - l = 11 for a.
2
Suppose 87 = 3*g - a + 4*a, a + 19 = g. Suppose 0 = -g*d + 27*d - 9. Solve u - 3*u - 2 = -d*t, t + 4*u + 18 = 0 for t.
-2
Let j be (-3 + -3 + 5)/(2/(-14)). Suppose 31 = -j*t + 45. Solve o + u = 0, 3*u + t = -3*o + u for o.
-2
Suppose -5*h = -0*h + 55. Let r = 14 + h. Suppose x - r*x = -8. Solve -x*i - b = 2, 0 = 2*i - 3*i - 4*b - 8 for i.
0
Let j be -1*(55/33 + (-1)/(-3)). Let p be (10 - 9)/(j/(-20)). Solve 0 = -d - 3*u - p, 5*d + 3*u + 17 = -9 for d.
-4
Let r be 18/(-6) + -1 + 33. Suppose 4*s - r = 11. Suppose 2 = 3*n - s. Solve n*c + 2*b = -0*b - 2, -2*c = 5*b - 11 for c.
-2
Let g = 867 + -867. Solve 5*h + g*h - 14 = 2*v, -2*v - 2*h = 0 for v.
-2
Suppose b + b + 6 = 3*l, 3*b + 2*l - 4 = 0. Suppose -40 = -b*j - 4*j. Let v = -1198 + 1201. Solve 0 = 2*u + 4*x + j, 0 = 4*u + 2*x - v*x - 25 for u.
5
Suppose 3 = l - 0, -2*l = 5*h - 16. Let n be h/((-6)/(4 - 1)). Let f be (24/18)/(n/(-3)). Solve f*o + q - 2 = 3*o, 0 = -2*o - 3*q + 6 for o.
0
Let w(s) = -s**3 + s**2 + 7. Let p be w(0). Let q = -5 + p. Suppose 0 = -y + q*x + 7, -5*x = -1 + 11. Solve g = 3*u, 5*u - y = 2 for g.
3
Let t = -65 - -69. Solve 31 = t*k - 3*z, 5*k + 2*z = -2*z for k.
4
Let l be 0*((-2)/(-2))/(-5 + 9). Solve -2*u - 5*v - 2 = l, -2*v = 3*u + 3*v + 3 for u.
-1
Suppose -2*j + 16 = 2*z, 31 - 7 = 5*z - 3*j. Solve 9 = 2*q + r, 0 = q + 2*r - z*r for q.
4
Let i = -68 - -73. Solve o - 8 = 2*a - i*a, 3*o = -a + 8 for a.
2
Let q = 6 + -4. Let c be 1*(-15 + -1)/q. Let p(d) = -d - 5. Let t be p(c). Solve -3*r + 4*u = -23, 2*r + t*r - 15 = 2*u for r.
1
Let w be (63/315)/(2/30). Solve -4*s + 3*h + 17 = -0*h, -23 = -4*s - w*h for s.
5
Let f be -10 + (-4 - -1) + 3. Let c = f + 13. Suppose j + c*j = 0. Solve 3*q - 2 = -g - 16, j = 2*q + 3*g + 21 for q.
-3
Suppose 2*o + 7*j = 5*j + 18, 0 = 4*o + j - 21. Solve -p - 5*l = -4*l + o, -5*p = -l + 20 for p.
-4
Suppose -27*a = -35*a. Solve -3 = 3*z, 0 = 4*y - a*y + z + 13 for y.
-3
Let y be ((-6)/15)/((-2)/10). Let l(j) = j + 7. Let d be l(-3). Suppose -4*x = -2*c + 20, 12 + 16 = d*c + 4*x. Solve 0 = a - 3*a - y*h, -c = -4*h for a.
-2
Let p be (-6)/(3 - 4) + 22 + 1. Solve 0 = -5*l - 2*h - 23, -4*l = -9*