+ i*x, 5*m - 14 = 5*x + 6 for m.
3
Let a be (1*(-35 - 2))/(-1). Solve -5*z = -0*z - 2*x - 10, -5*x = 3*z - a for z.
4
Let c be 3 + -2 + 7*2. Suppose -4*w + 14 = 3*d, 0*d + 3*w = 3*d. Suppose -21 = -3*s - 0*u + d*u, 2*u = 4*s - 26. Solve -s*p = -3*l + c, -5*p = l - p - 5 for l.
5
Let y = -3 - -5. Suppose 3*l - s + 53 = 0, 0 = 5*l - 0*s + y*s + 70. Let a be -9 + 9 + l/(-2). Solve -2*f + w = a, 4*f - 5*f = w + 4 for f.
-4
Let q = -6 - -8. Solve 0 = 4*w - 5*d + 13, -5*w + 3*d = q + 11 for w.
-2
Let w be (217/21)/((-3)/(-9)). Let z = w - 41. Let b be 8/24 - z/6. Solve -5*t = 5*o - 3 - b, 5*t + o = 17 for t.
4
Let b = -171 - -176. Solve -2*o - b = 3*o - 5*c, 14 = -4*o - c for o.
-3
Let m be (0 + (-2)/2)*-10. Let r = 2074 + -2061. Solve -5*u - 4*b = m, 2*b + b + r = -u for u.
2
Suppose -4*q + 260 = 9*q. Suppose q + 0 = -5*n, n = -5*i + 56. Solve -r + i = -4*u + r, -u - 2*r + 7 = 0 for u.
-1
Let z(j) = 5*j - 50. Let p be z(10). Solve p = 4*m - 4*b - 8, -11 + 1 = -5*m + 4*b for m.
2
Let j(r) = r**2 - 2*r + 4. Let f be j(3). Let g = 243 - 239. Solve p + 1 = t + f, 4 = -g*t for p.
5
Let c = 12 + -1. Let s = c - 11. Solve 1 + s = -4*t + a, 5*t + 5 = 2*a for t.
1
Suppose -5*t = -x - 1 - 9, 0 = -5*t - 2*x + 10. Let z = 7 - t. Suppose 3*v = z*g + 16 + 6, 0 = 3*v + g - 10. Solve 0*d - 5*d = 2*o + 1, v*d = -3*o - 5 for d.
1
Suppose 631*a - 627*a - 16 = 0. Solve 27 = -5*n + 5*c - 3, -a*n - 14 = -2*c for n.
-1
Let l(z) = z**2 + 7*z + 3. Suppose -b = 2*d + 2*b + 20, 3*b + 6 = 0. Let p be l(d). Suppose p*n - 8 - 4 = 0. Solve q - 17 = n*h, 2*h + 0*h = -3*q + 9 for h.
-3
Suppose -4*o + 40 = 2*q, -o - 3*o = q - 42. Let s = -7 + o. Suppose -c + 1 = f, -3*c - 2*f = -s - 3. Solve b + 3*b + 15 = -v, -v + c*b + 30 = 0 for v.
5
Let b be ((0 - 0)/(-1))/(-1). Suppose -5*m + 3*m = -5*s + 17, b = -2*s - 3*m + 22. Solve 2*j = -10, -s*u - 4*j = 21 + 9 for u.
-2
Suppose 2*r - 13 = -21. Let v be (-16)/20*-5 - r/(-2). Solve h + i = 2, 14 = -0*h - 3*h + v*i for h.
-2
Let k(p) = -25*p. Let q be k(1). Let w = q - -30. Solve 2*y = -5*v - 14, -23 = w*v - 0*y - y for v.
-4
Let d be (-5 + 3)*8/(-4). Solve -4*g - u - d*u + 37 = 0, 5*u = 4*g + 13 for g.
3
Suppose -12 = 2*m - 6*m. Solve 5*z - 6 + 27 = -m*o, 2*z + 14 = -4*o for z.
-3
Suppose k - 8 + 5 = 0. Suppose -k*i - 6 = -n - 0*n, 5*n - 46 = -i. Suppose 8*q + 2 = n*q. Solve 9*r - 4*r - q*g - 23 = 0, 0 = r + 2*g - 7 for r.
5
Suppose -3*r = -3*u + 30, 2*r - 3*r = -4. Solve -f - 2*c - 8 = 2*c, -5*f + u = 2*c for f.
4
Suppose 0 = -3*n, -3*v + 3*n - 18 = 4*n. Let i = v - -11. Solve -4*u + g + 0*g + 3 = 0, 0 = -5*u - i*g + 35 for u.
2
Let g = 89 + -82. Suppose -g*d + 9 + 5 = 0. Solve 0*l - 28 = 2*l - 4*y, 2*l - d*y + 18 = 0 for l.
-4
Let d(v) = v**3 - 6*v**2 - 8*v + 9. Suppose -2*r + 30 = 3*c + c, -4*r + 4 = 0. Let y be d(c). Let n = -5 + 10. Solve -n*o = 3*s - 5, -3*o - 2*s - y = -o for o.
4
Let q = -596 - -601. Solve -3*n = -q*k + 23, -2*n - 4 = -3*k + 10 for k.
4
Let x be (-3)/2 + -3 + (-26)/(-4). Suppose x*o + 3*i + 3 = 9, -2*o - 5*i + 6 = 0. Solve -24 = -3*h - 3*u, h - 5 + o = u for h.
5
Let l be (3 + 0)*(0 + 1). Suppose 1667*k = 1660*k + 49. Solve -5*t + 0*o = -2*o - k, -3*t = l*o - 21 for t.
3
Let p = 1 + 3. Suppose -4*l - p = -0*l, -m + 2*l = -5. Solve -5*s + 22 = 3*j, m*s - 2*j + 10 = 4*s for s.
2
Let r be -1 + (-214)/14 + 8/28. Let w = 24 + r. Solve -3*l + 12 = -3*j, -4*j + w = -j + l for j.
1
Let m(g) = g**2 - 7*g + 10. Let c be m(6). Suppose -l = c*l - 25. Solve 0 = n + 3*n + 8, 0 = l*d - 3*n - 31 for d.
5
Let p be -2*3/(-6) + -9. Let m be p*18*22/(-33). Suppose -5*n + o = -m, 0 = -n - 2*n - o + 64. Solve -3*j - n = -5*d - 4*j, 8 = 2*d + 2*j for d.
4
Suppose 19*k - 8*k - 44 = 0. Solve 2*q + 9*w - k*w - 9 = 0, 5*w = -3*q + 6 for q.
-3
Let d = -7 - -13. Suppose 2*u = -5*c + d, -12 = -2*u - 2*u + 3*c. Solve 4*t = 5*z + 11, -t - u = 3*z - 10 for t.
4
Let c(s) = -s**3 - 8*s**2 + 3*s + 12. Let q be c(-8). Let g(d) = d**3 + 11*d**2 - 14*d - 19. Let n be g(q). Solve -2*m - 2 = -2*l - 6, 5*m - 4*l - n = 0 for m.
-3
Let a(d) = -d**3 + 43*d**2 - 78*d - 161. Let w be a(41). Solve 0 = -5*i + w*z - 2*z - 4, 0 = -3*i + 4*z - 16 for i.
0
Suppose 5*n + 3 = 13. Suppose -n*d = -3 - 7. Solve -h - 15 = d*j + 4*h, -4*j = -5*h - 15 for j.
0
Suppose -f - m = -0*m - 5, -5*f = m - 25. Solve z - 3 = w, z - f*z + 14 = -3*w for w.
2
Let d(z) = -4*z - 1. Let a be d(-1). Let o = -20 + 11. Let h be (-15)/o + 3/9. Solve -5 = a*b + l - h, -5*b - 2*l - 6 = 0 for b.
0
Let f(l) = l**2 + 7*l + 13. Let p be f(-6). Suppose 6 = -5*j + p*j. Let k be -1 + 6 + -2 + 1. Solve 0 = 3*r - 4*w - j - k, -2 = 3*r + 5*w for r.
1
Let t = -16 - -32. Suppose -3*b - t = -b - 4*k, 24 = -2*b + 2*k. Let d be (0 - 6)/(12/b). Solve -h = -3*w - 7, -2 = 2*h + d for w.
-4
Let z = 641 - 639. Solve -z*w + 2 = -c, 5*c - c = 4*w for c.
2
Let z = -33 - -37. Solve -z*k - 2*h = 20, 3*k + 15 = -3*h - 0 for k.
-5
Let i be 10/(-6)*(-603)/335. Solve 5*v + 19 = -i*n, -10*v + 14 = -3*n - 14*v for n.
2
Suppose 4*z + 12*t + 7 = 7*t, -5*z + 7 = t. Solve 4*h = -z*f - 2, -2*h + h = -f + 2 for f.
1
Suppose 0 = -0*p - 2*p + 28. Suppose u = -2*u + 6, 2*u = -5*o + 24. Suppose 3*a = -o*a + 5*a. Solve -p - 2 = 4*j, a = 2*g - j for g.
-2
Let c be (-1)/(-27)*3 + 136/72. Let j be 0/((-6)/c) - -3. Solve -2*b = -7*b + j*n - 7, 1 = -3*b + 5*n for b.
-2
Suppose 7*m = 2*m + 5*r, 0 = -2*r. Let x be ((4/(-3))/1)/(18/(-27)). Let t = 1 - -4. Solve t*z + 4*w = -6, m = -x*z - 4*w - 8 - 4 for z.
2
Let i = 47 + -40. Suppose 4*b + 4*p - 35 = -i, 2*p = 5*b - 21. Solve 0 = 4*k - 20, k = -b*u - 6 + 36 for u.
5
Suppose 0 = -4*s + 20, 5 = 5*o + 5*s - 9*s. Solve -g + o*w = -11, -7 = -2*g + 4*w + 3 for g.
1
Suppose 0 = 4*q + 2*f + 32, 42 = -5*q + f - 4*f. Let m(u) = -u**3 - 7*u**2 - 10*u - 12. Let c be m(q). Solve -2*v + 3*d = 5, 4*v + d = c - 1 for v.
2
Let x(j) = 2*j**2 + 56 + j + 0*j - 55 - j**3. Let i be x(2). Solve -c = -2*c + 5*q + 1, q - 11 = i*c for c.
-4
Suppose 2*d - 6 = -0. Let l(r) = 2 - 2*r + 8 + 60*r**2 - 59*r**2. Let x be l(0). Solve 0 = -3*a + d*n + 6 + 12, -5*n + x = 3*a for a.
5
Let r = 58 - 57. Solve -j + r = 0, 5*l - j = -5 + 4 for l.
0
Suppose -4 = 4*m - 20. Let n be -1*(2 + -1*m). Suppose k = -0*k + n. Solve -2*i = 3*u - k*u + 12, -3*i - 13 = -u for u.
-2
Suppose 44*i - 37*i - 21 = 0. Solve 5*r = 2*v - i*v - 29, -3*v = 12 for r.
-5
Let q be (-9)/(-3) + (0 - 0). Suppose -2*i - q*s + 3 = -i, -i - 4*s = 0. Let v = i + -10. Solve v*r = -5*n + 9 + 5, 5*r = 5*n - 35 for r.
-3
Let k be (14/5)/(10/50). Let a = 20 - k. Suppose -4*z + 20 = 0, -4*m + 5*z + 15 = 4*z. Solve -a*s + 2*s - 7 = 3*q, m*q + 5 = 0 for s.
-1
Let x(r) = 5*r - 18. Let m(k) = -14*k + 53. Let z(i) = 4*m(i) + 11*x(i). Let g be z(12). Solve -2*n + 3*a = -1 + g, -3*a = -n + 4 for n.
-5
Let m = -88 - -88. Suppose 2*i = -i + 12. Suppose -4*k - p + 90 = 0, i*k - 59 = p + 35. Solve 0 = t - m*t - 5, -2*o + 3*t = k for o.
-4
Suppose -w = -4*x - 17, 6*x = x - 20. Let s be (-8)/(-16) + w/2. Solve -2*l + 5*g - s = 0, 3*g - 9 = 2*l + 2*l for l.
-3
Let l(n) = -4*n**2 + 16*n + 3. Let j be l(4). Solve 3*m = r + m + j, 0 = -5*r + 2*m - 23 for r.
-5
Let l(j) = -j**3 + 6*j**2 + 21*j - 20. Let k be l(8). Suppose 9*d = k + 7. Suppose z = -0 + 2. Solve 0 = 2*s + z*n, -5*s = -d*n - 15 - 1 for s.
2
Suppose 4*l + 11 + 3 = -2*i, l - 10 = -5*i. Suppose -2*j = 3*n - 24, i*j + 7 = -2. Solve 3*c + n = -2*p - 2*p, -c - 4 = 2*p for c.
-2
Let j(f) = -f**3 - 2*f**2 + f + 2. Let t be j(-2). Let d be -3 + (t - -8 - 4). Let r be 5/d - 24/8. Solve 0 = r*b + 5*l - 2, -b + 2*l = -2*l - 1 for b.
1
Suppose -s + 2 = 3*o, -4*o + 20 = 5*s - 1. Suppose c + 20 = s*c. Suppose 4*u = d + 3, 5*u + 14 + 1 = 5*d. Solve c*p + i + 13 = 0, u*p + p + 7 = -i for p.
-3
Let o(u) = -u**2 - 10*u - 6. Let b be o(-10). Let v be b + 2 - 1*-7. Solve 3*s + v*i - 4 = i, -4*i = -4*s + 12 for s.
2
Let x = 112 + -111. Suppose -2*f - 28 = 2*f. Let l = f + 11. Solve 2*j - 10 + l = 2*v, j + x = 0 for v.
-4
Suppose 10*t - 39 = 21. Let p be 4/2*(t - 4). Solve 3*v = 4*r - 15, p*v + 0*v + 20 = r for r.
0
Let f = -392 - -394. Solve l = -3*b + 6, 5*b = 3*l - f + 12 for l.
0
Let a = -378 - -380. Solve -1 = -a*c - d, -2*d + 20 = -5*c + 3*d for c.
-1
Suppose 0*w = v - 3*w + 5, 2*v - 23 = -5*w. Let s be -3 - (0 + 3 - 6). Suppose s*f + 3*f -