, 4*m = s + 2*s - 17 for s.
3
Let k = -4 + 6. Solve -r + 2*l - k = -7, 3*r - l + 10 = 0 for r.
-5
Let m be (-2 - -4)*(3 - 2). Suppose -5*g = -m*g + 3, 4*l - 2*g = 2. Solve l = 4*p + 2*t + 12, 0*t = -t for p.
-3
Let o(y) = -y. Let t be o(0). Suppose -q + 0 - 3 = t. Let z be (-1 - q - -2) + 1. Solve -i + z = 3*r, -5*r = 2*i - 3 - 5 for r.
2
Suppose -5*v - 2 = -17. Solve -6*m + 3*m + 2*p + v = 0, 4*m = p + 9 for m.
3
Let x be (-6)/9 - 8/(-3). Suppose 0*t + d + 2 = -t, -x*t = 3*d + 8. Let f(o) = o**2 - 3*o + 2. Let y be f(t). Solve -18 = -z + 3*c, y = 3*z - c - 16 + 2 for z.
3
Suppose -6*q = -q - 25. Solve 0 = -3*j - 2*w - 16, 6*w = 5*j + 5*w + q for j.
-2
Suppose 7*o - 2*o = 55. Let v = o + -11. Solve t + 0*t + 3 = v, 0 = 5*k + t + 23 for k.
-4
Let q(b) = -9*b - 4. Let u be q(-4). Suppose s + 0*s = -u. Let a = s + 49. Solve l + 0*l = 4*w - a, 3*w - 34 = 5*l for l.
-5
Let t(z) = z**3 + 23*z**2 + 20*z - 32. Let m be t(-22). Solve 5*l - 25 = 5*i, 0 = 3*i + i - 2*l + m for i.
-1
Let y(f) = -6*f**2 + 6*f - 8. Let d(t) = -t**2 - 1. Let b(n) = -5*d(n) + y(n). Let x be b(5). Solve 4*r = -u, -4*u - x*r = -9*u for u.
0
Suppose -2*a - 40 = 2*z - 6*z, -z + 24 = -4*a. Let y be z*((-6)/4)/(-3). Solve -q - 1 = 2*o + 8, -y*o = -4*q + 24 for o.
-5
Let j = 0 + 3. Let b be (1 - -35)/(17/17). Suppose -7*h + b = 8. Solve -h*r - 2*q + 4*q = 18, -q - j = 2*r for r.
-3
Suppose -3*s = 2*s. Suppose 0 = -2*j + 5*j + 5*q + 14, -5*j + q + 14 = s. Solve j*t - 4 = 0, -t = 3*r - 6 - 2 for r.
2
Let m(n) = -n**3 + 7*n**2 - 4*n - 8. Let a be m(6). Suppose -5*z - 5 = -3*i, 0 = -i + 4*z + 2 - 5. Solve -i*d + a*j = -4*d, 0 = -2*d + 4*j for d.
0
Let r = -43 + 56. Solve -4*v = 5*d + 24, -v + 2*d + r = -6*v for v.
-1
Let o be (3 + -8)*(-2)/(-5). Let f be (-2 + 1/2)*o. Let x be -26*((-1)/(-2))/(-1). Solve -3*q = -3*i + f, 0 = 4*q + 6*i - i + x for q.
-2
Let v be (-18)/(-1 - (-1 + 2)). Solve 2*q - v = -5*r, -5 = 5*r - 20 for q.
-3
Let u = -1 + 3. Let k(j) = 2*j + 8. Let z be k(7). Let t be 38/57*((-13)/(-2) + 1). Solve -u*w - t*v + 26 = 0, -w - 5*v + 1 = -z for w.
3
Suppose 4 = -q + 6. Suppose 0 = -q*g - 0 + 8. Solve -2*o - m = 9, -3*m - 7 = -g for o.
-4
Let l = 37 - 53. Let u = l - -25. Let g be 6/u + 4/3. Solve g*c - q - 2 = q, -3*q = 3*c - 21 for c.
4
Let h be (-8)/2 - 24/(-4). Suppose h*j + 0*j = 8. Solve -5*f = 11 + j, 0 = -4*l + 5*f + 35 for l.
5
Let s(p) = 17*p + 2. Let c be s(1). Suppose -2*k + 5*k = 0. Suppose 2*a - 5*f - 25 = k, -f = -4*a + 4*f + 45. Solve -b - 5*r + c = -a, 4*b = 4*r - 4 for b.
4
Let p be (-3 - -4) + 2 - -27. Solve 5*o - 4*h = -h + 6, -5*o - 5*h + p = 0 for o.
3
Let h be 3*1/6*-98. Let i be h/(-3) + (-2)/6. Solve -2*p + 5*s + i = 0, p - s = -2*p + 11 for p.
3
Let z be (-3 + -3)/(-2) - -2. Solve 3*h + 20 = -z*i, 4*i + 24 = -2*h - 2*h for i.
-1
Let y = 14 + -8. Let z = y - 2. Solve -2*h - 2*h - 8 = -z*w, 0 = -3*h + 5*w - 10 for h.
0
Let p = 63 - 60. Solve p*g = 3*y - 24, -4*y + 12 = -3*y - 2*g for y.
4
Suppose 4*y - 9 = -5*k + 27, 2*k - 8 = 0. Solve 4*j + 0*j - 4 = -y*r, 3*r - 3 = -2*j for j.
0
Let s(g) = -2 + 0*g**2 + 4*g + 0 - g**2 + g. Let h be s(3). Suppose 0*p + h*p = 20. Solve 0 = -2*n - k - 0 - 5, p*n - k = -9 for n.
-2
Suppose 0 = 2*v - 2 - 10. Solve 0 = -h - 3*y - 1 + 5, 0 = h + 5*y - v for h.
1
Let p be 6/39 - 672/(-26). Suppose -2*g + p = -g. Solve -5*w + d - g = 0, 10 = -3*w + 2*d - 7*d for w.
-5
Let j = -6 - -10. Suppose j = 2*v - 6. Solve -v*d + 15 = s, -s - 3*d = -0*d - 9 for s.
0
Suppose 0 = -2*b + 1 + 39. Suppose -g = 3*g - b. Solve -2*v + g*v - w = 2, 5*v + 2*w = -4 for v.
0
Let g be (3 + -3)/(-3 + 2 + 0). Solve 4*p = g, p - 9 = 3*q - 3*p for q.
-3
Suppose -2*q + 4 = -24. Let n = -26 + q. Let j be n/4*(-4)/3. Solve -j*z + 5*y - 40 = 0, 7*z = 2*z + 3*y - 37 for z.
-5
Let o be -1 - (2 - (-9)/(-3)). Solve u - 5*k = -10 - o, 2*k + 18 = -4*u for u.
-5
Let n = -18 + 26. Suppose -3*u = -5*o + 6 + 4, 3*o + u - 6 = 0. Solve 0*s - o = -d - 2*s, -s + n = 4*d for d.
2
Let j(t) = -t + 1. Let g be j(0). Let s = g - -1. Solve 0*y + s*y - 5*h + 3 = 0, -4*y - h = 17 for y.
-4
Let t(j) = j - 2. Suppose 0 = -y - 0*y + 4. Let c be t(y). Solve -4*a + c*n - 3*n + 14 = 0, 5 = a + n for a.
3
Let o be -4*(-9)/12 - -1. Suppose -o*v = -3*v. Solve v = 5*i + 26 - 1, 4*i + 24 = 2*j for j.
2
Let p = -9 - -14. Suppose 32 = p*h - 53. Solve 5*o - 9 - 8 = -2*r, o - h = 3*r for o.
5
Let d be 0/(-3 + 3 - 2). Suppose 3*v - 45 = -d*n + 3*n, 3*v - 46 = 2*n. Solve 3*l + 2*t - 6 = v, t - 1 = l for l.
4
Let g = -4 - -7. Solve 14 = -2*l + d - g*d, -4*l - 25 = 3*d for l.
-4
Let d be (2 - (-2 + 1)) + 1. Solve z + 3*n - 4*n = -1, -n = d*z + 4 for z.
-1
Let d = 13 - 7. Let q(t) = t**3 + 6*t**2 + 4*t - 3. Let j be q(-5). Solve j*i = -2*m - d, -2*m - 9 = -m - 2*i for m.
-5
Suppose 11*v + 5 = 60. Solve 0 = -q - v*u - 11, -4*u - 3 = -9*q + 4*q for q.
-1
Let g(u) = -u**2 + 2*u - 1. Let m be g(2). Let b be m*(-1 + 1)/(-3). Suppose -a + 2*a - 3 = b. Solve -8*i + 3*i + 12 = -4*f, a*f = -2*i - 9 for f.
-3
Suppose 5*u - 12 = 13. Let p = -8 + 6. Let n be p/(-6) + 5/(-15). Solve -b + 13 = u*q, n = -5*b + q - 6*q + 25 for b.
3
Let x(k) = -k**2 - 21*k + 25. Let w be x(-22). Solve 3*u = 2*i - 4*i - 7, w*i + 4*u + 8 = 0 for i.
4
Let u be (-4)/14 + 5/70*4. Solve u = z + 2*k + 5, 3*z - 5 - 1 = k for z.
1
Let s = 3 - 1. Suppose -4 = -5*u + 2*h, 2*h - 16 = -2*u - s*h. Solve 4*r = -b + 3*r - u, -b = -2*r - 4 for b.
0
Suppose -5*z = 4*j - 16, j + 5 = -4*j. Solve 41 = -5*y - 4*q, 5*y - z*q + 2*q = -17 for y.
-5
Let y(i) = i**2 - 3*i + 2. Let a be y(5). Let h be 53/4 - (-9)/a. Solve -2*g + h = o, -2*o = o + 5*g - 37 for o.
4
Let q(a) = a**3 - 9*a**2 - 11*a + 13. Let k be q(10). Suppose -5*h = -3*y - 14, -2*y - k*h = y - 18. Solve -4*z = 10 + y, 4*r + 2*z - 14 = 0 for r.
5
Let g be (0 - (-5)/(-3))*-3. Suppose -2*x - 2*x - 17 = g*f, 2*x + 3*f + 11 = 0. Solve -3*u - 1 = i + 5, x*u = -2 for i.
-3
Let c = 11 - 18. Let y = 11 + c. Solve -m = 5*u + 2 - 24, -4*u + 24 = y*m for u.
4
Suppose -h + 2*h + 1 = -z, -h = 2*z - 1. Solve -2*t = 6, -z*t - 18 = 5*g + 13 for g.
-5
Let l be -4*(13/(-6) + (-16)/(-24)). Solve -5*y - 5*x + l = -19, -20 = -5*x for y.
1
Let b = -46 + 32. Let d be (b/(-5))/(3/30). Solve 3*l - 2*l + 2*q - 1 = 0, d = -5*l + q for l.
-5
Let j = 4 - 6. Let i = 3 - 2. Let m = i - j. Solve 0 = -4*c - 5*a - 7, m*a - 2 - 1 = 0 for c.
-3
Let n(q) = -5*q + q - 3 + q**2 - 2*q. Let r be n(7). Solve -6 = 3*d, 5 = -t - r*t - 5*d for t.
1
Let o be 21/12 - (-2)/8. Suppose 2*y - w + o = 0, 3*y - y + 3*w = 14. Solve -15 - y = 4*k + g, -5*k - g - 20 = 0 for k.
-4
Let k(c) = -c + 7. Let n be k(6). Solve -4*t = -5*p + 9, -4*t = -0*p + 3*p + n for t.
-1
Suppose -5 = -2*h + 1. Let x be (h/(-4))/((-2)/8). Solve 4*j - 2 - 6 = -x*w, 2*w = 5*j - 10 for j.
2
Suppose -4*z = 3*c + 4 - 91, 3*z = 3*c + 39. Suppose u = -u - z. Let x be (-133)/(-9) + (-2)/u. Solve -3*m = 2*g - 5, 2*g - m = -6*m + x for g.
-5
Let h be 5*(6/5)/3. Suppose 4 + h = 2*j. Solve b = n + 2 + j, 5*b = 0 for n.
-5
Suppose q - 6 = -3*a, -2*q + a = 4*a - 9. Suppose 0 = q*f - 16 - 23. Solve -4*n + j - f = 12, -3*j = -5*n - 40 for n.
-5
Let x be ((-3)/(-2))/(2/20). Let y(v) = -2*v - 6. Let m be y(-4). Solve 0 = -m*g - g, -5*r - x = -g for r.
-3
Suppose 0 = 2*w - 5 - 5. Suppose -3*a = -6*a + 2*x + 13, -5*x = 3*a + 22. Suppose -3*h = a - 7. Solve -w*m = 2*g + 10, -h*m = -m + 3*g + 2 for m.
-2
Suppose 0*z - 4*p + 25 = z, 4*z = -3*p + 35. Let m = 17 - 6. Let a = m - 11. Solve -3*w = 5*f + w - 22, -z*w + 15 = a for f.
2
Suppose 0 = -4*q + 4*o + 140, 4 = -q - 3*o + 39. Let u = q + -25. Solve -5*t - 24 = 2*a, 3*t - 2*a + a = -u for t.
-4
Suppose 5*i - 6 = 14. Solve 6 = -2*w - 3*s, 0*s - i = 4*w + 4*s for w.
3
Let v be 10/2 - (7 + -4). Solve 0 = -3*y + 6*y + 5*p - 16, 2*p = v*y + 16 for y.
-3
Let t be 34/8 + (-3)/12. Let r(o) = t*o - 4*o**2 + o - 2*o**3 + o**3 + 2. Let a be r(-5). Solve j - 5 + 0 = -z, -4*z + 20 = a*j for z.
5
Let z be 7/3 - 1/3. Solve 0 = z*u + 4*s - 0*s - 16, -u + 13 = 3*s for u.
-2
Let n = 7 + -22. Let b = n - -15. Solve -3*t = -2*c - 22, b*t + c = -4*t + 11 for t.
4
Let k = -24 + 6. Let r be 2/(-9) - (-194)/k. Let a = 15 + r. Solve 4*u = -0*t + 4*t - a, u + 1 = 4*t for t.
0
Let a(k) = k - 4. Let w be a(6). Solve -5*n = 0, -n + w + 6 = 2*m for m.
4
Let q(k) 