 Suppose -2*s = -9 - k. Solve 0 = 4*r - 0*w - 4*w + 8, -5*r - s = 4*w for r.
-2
Let w be -2*(-2)/(-8)*22. Let u = w + 6. Let c = 5 + u. Solve c = -3*g + 3*x, -2*x - 4 = -4*g - 6 for g.
-1
Suppose 0 = 13*f - 16*f + 9. Solve 0 = 4*i + 3*a + 17, 0*i = -f*i + 5*a - 20 for i.
-5
Suppose 0 = 3*z + 2*z - 5. Suppose -2*n + z = -9. Solve 0 = 3*k + 4*i - 9 - 6, 0 = -3*k - n*i + 15 for k.
5
Suppose -3*q - 3 + 15 = 0. Let w = 13 + q. Suppose -w = -5*l - 2. Solve g = 4*j - 17, 5*j = 2*g - l*g + 28 for j.
5
Let v = -21 + 29. Solve 0 = 6*p - p + a - v, 5*p - a = 2 for p.
1
Suppose 6 - 26 = 2*d + 5*y, -16 = -4*d + 4*y. Solve -5*o + 7 = -2*x - 15, -4*o - 4*x + 12 = d for o.
4
Suppose 5*w - 31 + 6 = 0. Solve -w*z - y - 3*y - 25 = 0, 4*z - 16 = 4*y for z.
-1
Let b = -22 - -25. Solve 0 = -b*y - 4*z + 11, -2*z = -y - 20 + 7 for y.
-3
Let g(z) = 2*z - 2. Suppose 0 = -4*d - 2*a + 20, -6*d + a + 32 = -2*d. Let p be g(d). Let x = -25 + 41. Solve -4*h = -0*u + 2*u - x, -p = 2*h - 4*u for h.
2
Let x be ((-2)/(-6))/((-2)/6). Let v be ((-6)/(-4))/(x/(-6)). Suppose 5*c - o = -0*o + 40, o = -2*c + v. Solve g - 2 = -4*s + 4*g, -3*g - c = s for s.
-1
Suppose v + 3*h + 4 = 0, -2*h = -2*v - 3*h + 2. Suppose 8 + 1 = 3*o. Suppose -o*m + 19 - 7 = 0. Solve m*q + 5*z = v, -3*q - 2*q = 3*z - 9 for q.
3
Suppose 5*c = 3*c + 26. Suppose c = 3*k + 7. Solve k*m = -4*y + 4 + 20, 2*m - 2*y = 0 for m.
4
Suppose -3*x + 5*l = -4, 2*x = -0*l - 2*l + 8. Solve 5*c + k = -0*c - 17, x*k + 18 = -4*c for c.
-3
Let g be (8/12)/(-2 + 60/27). Solve 0*x - g = x, f - 3*x = 5 for f.
-4
Suppose 0 = 5*p + 4*a - 25, a + 2*a - 18 = -3*p. Let i be p/3 + 26/3. Solve 2*n - 2*y = -3*n + 14, 3*y - i = 0 for n.
4
Let a be (8 - 7)*(0 - 0). Solve 20 + 5 = -4*w + l, -w - 2*l + 5 = a for w.
-5
Let c = 17 - 26. Let g be (3/c)/(1/(-12)). Suppose -6 = -w - 2*h + 5, 4*h - 36 = -4*w. Solve -3*v + w*v + g*p = -36, 5*p + 21 = v for v.
-4
Suppose 0 = c + 2*c. Suppose -5*q + 2*k + 69 = c, 7*k + 36 = 3*q + 4*k. Solve -15 = -5*v - 2*n, n = -7*v + 2*v + q for v.
3
Let s = -5 + 10. Suppose -6*v + v = -f - 5, -v - 23 = -s*f. Solve -f*y - 2*n + 0*n = 17, 4*y - n + 24 = 0 for y.
-5
Suppose 2*s - 5*v + 4*v - 2 = 0, -v + 8 = 3*s. Solve i = -s*o + o + 3, 0 = -o for i.
3
Let b = 5 - 2. Suppose -4*o + b*o = -21. Solve -11 = y - 5*z + 12, 5*z - o = 2*y for y.
2
Let z(y) be the first derivative of -y**2/2 + 8*y + 2. Let v be z(8). Solve c + 2*h - 9 - 2 = v, 3*h - 4 = c for c.
5
Let m be 5 - (4 - (3 - 1)). Solve 4*h - 5*k - 17 = 0, -m*h + 12 = h - 4*k for h.
-2
Suppose 61 - 11 = 5*u. Solve -10 = 2*j - 2*b, 0*b + u = -2*j - 4*b for j.
-5
Suppose -13*z + 8*z = -30. Solve 2*p + 6 = -q, 4*p + z = -q - 8 for q.
2
Let l(q) = -7*q**2 + q**3 + 7*q + 0*q**3 - 5 - 6*q. Let d be l(7). Solve -y + u = 0, 4*y = -d*u + 5*u - 3 for y.
-3
Let r(x) = -3*x - 3. Let l be r(-5). Solve z - l = 3*k, -z + k + 8 = -2*z for z.
-3
Suppose -3*n + n = -7*n. Suppose 3*w = 2*w. Let j = 3 - w. Solve 2*x + 3*m = n, -j*m + m = x - 1 for x.
-3
Let d = -4 - -15. Let o = d + -7. Let x = 7 + -5. Solve 2*t - 3*t + 3*j = o, -j = -x*t - 3 for t.
-1
Let m be 1 - (-2 + 1)*-1. Let p = 30 - m. Suppose -2*h + 4*n = 3*n - 8, 5*n = 5*h - p. Solve -5*x - 3*u + 9 = -h*x, 2*x + 18 = 4*u for x.
-1
Let i(b) = -b - 2. Let q = -3 + 1. Let x be i(q). Suppose c = 2*k + 2*c - 14, x = 5*k + 4*c - 41. Solve a + 3 = 3*z - 0*z, 0 = -3*a + k*z - 5 for a.
0
Suppose -q = -3*q + 14. Suppose -3*v + 24 = 3*o, 0*o = -2*v + 2*o + 28. Let a = v - q. Solve z = -z + 4, -z - a = 2*b for b.
-3
Let u be 16/3 - 8/24. Suppose 4*z = -0 - 4, -23 = -u*h + 3*z. Solve -4*v - l = 4*l - 20, -5*v - h*l + 25 = 0 for v.
5
Suppose -5*r = -4*g - 19, -2*g + 10 = r + 3*r. Solve o - r*s = -6, -4*o = -s - 10 + 1 for o.
3
Suppose -20 = -3*o + z, 0 = z - 2*z - 5. Solve -5*h = 3*j - 6, -o*j + h + 10 = -h for j.
2
Suppose 0*x = 2*x + 5*d - 33, 3*d - 7 = 2*x. Let s be (1/x)/(6/456). Solve -5*j = 25, 6*j + s = -3*u + j for u.
2
Suppose -14 = -5*a + 3*a - 5*n, 3*a + 2*n - 10 = 0. Solve a = -2*t + 4*t, 4*o - 4*t + 12 = 0 for o.
-2
Suppose k + 3*q - 7*q = 1, -2*q + 4 = 0. Suppose k = -3*x + 3*g, 2*g = 4*x + 4*g - 18. Solve -8 = 6*v - x*v - 2*m, -3*v - 1 = m for v.
-1
Let o be (1/6 - 2/3)*12. Let g(n) be the first derivative of n**3/3 + 2*n**2 - 8*n - 1. Let b be g(o). Solve 0 = 5*v + 2*z - 7*z, -z = v - b for v.
2
Let g = 22 + -14. Let w(l) = -l**2 - 9*l - 2. Let v be w(-6). Let h = v + -11. Solve q = u - g, h*q - 2*q = 4*u - 29 for q.
-3
Suppose 0 = 3*h - 7 - 2. Solve 0 = -5*u + h*g - 11, -5*u - 5*g + 1 = -4 for u.
-1
Suppose -2 = -2*r + 2. Solve 4*c = r*n + 4, 4 = 2*n - n for c.
3
Suppose -4 + 12 = 2*z. Solve -o - z*o = -3*t + 20, 0 = -4*o - t - 16 for o.
-4
Let f(b) = b + 10. Let j be f(-8). Let l be (-6)/(j*(-1)/1). Solve s = 5*k + l, -4*k + 8*k = 2*s for k.
-1
Suppose 5*l = -2*l + 3*l. Let u(s) = s**3 - 2*s**2 - 3*s. Let j be u(-2). Let v = -7 - j. Solve 3*p + 0*z + 24 = -v*z, l = -p - 4*z - 20 for p.
-4
Let g = 8 - 5. Suppose -2 = -g*f + 4. Suppose 10 = -f*c + 7*c. Solve 2*n + 2*n - 2*p = 0, -c*n - 5*p + 12 = 0 for n.
1
Suppose 3*h = -5*t + 44, t = -6*h + 2*h + 36. Solve 2*f + 1 = -s, 2*s - h - 2 = 0 for f.
-3
Let z = 11 - 8. Let k be (0*z/(-9))/3. Solve k = 5*i - 4*u + 33, 3*i + 0*i - 2*u = -19 for i.
-5
Let z be -2*(-3 - (-14)/4). Suppose -5*n + 0 = -5. Let j = n - z. Solve -3*y - u = -j*u + 7, 4*y + 10 = u for y.
-3
Suppose 0 = -3*l - 4 + 16. Suppose -3*s - l = -5*s. Solve p - 2*j - 4 + 10 = 0, s*j - 6 = 0 for p.
0
Suppose 2*m = 4*m. Solve -2 = 2*l + 5*u, -u + m*u - 1 = l for l.
-1
Let j be (-9)/6 - 22/(-4). Suppose -10 = r - 29. Solve d + 5*h - 22 = 0, -j*h + 9*h - r = -2*d for d.
-3
Suppose -3 = -z + 2*i, i = 3*z + 3*i - 9. Solve 3*d + 0*g - g = 16, -18 = -3*d + z*g for d.
5
Let k = 8 - 5. Suppose 0 + 6 = k*l. Suppose 0 = -5*r - d + 19 - 1, -r + l = d. Solve 0 = -j + 5*j - r*b, 3*j - 5*b = -4 for j.
2
Let j = -16 - -20. Solve 3*c = 3*b + 2*c + 12, -2*b - j*c = -6 for b.
-3
Suppose j = 4*j - w + 2, 10 = 5*w. Suppose d + 2 - 6 = 0, -4*m - 4*d + 36 = j. Solve -4*f - 15 = f - g, g = -m*f - 15 for f.
-3
Let j(l) = 11*l - 4. Let r be j(-4). Let u = 68 + r. Suppose -4*z = -4*m - u, -z + 10 = -3*m + z. Solve m = -4*q + q + 12, -3*f + 22 = 4*q for f.
2
Let k(p) = 6*p**3 - 2*p + 1. Let m be k(1). Let t = m - 1. Solve 18 = -2*s - t*a, 2*a + 3 = 3*s + 2*s for s.
-1
Let a be (-5)/(2*20/(-48)). Solve 2*z = -x + a, -2*x + 5*x + 10 = z for x.
-2
Suppose h = 2*h + 5*d - 20, -3*h - 4*d + 27 = 0. Solve 0*l = -3*l - m + 12, 0 = -4*l - 5*m + h for l.
5
Let z(i) = 3*i - 9. Let l(o) = 4*o - 1. Let m be l(2). Let d be z(m). Suppose 1 + 15 = 4*c. Solve -4*j = -4*k - d, -2*j = -0*k + c*k - 12 for j.
4
Suppose -2*c - 5*b = 2*c - 34, 0 = -c - 2*b + 10. Let f be ((2 - 0) + -2)/(-2). Solve -5*q + c = -0*q + 3*n, -5*q + 3*n - 6 = f for q.
0
Let r be 801/15 + 6/(-15). Suppose 0 = -4*x + 7 + r. Solve -40 = 5*o - 4*v, -5*o + 3*v - x = 4*v for o.
-4
Suppose 5*s - 1 = 4. Let q be (-10)/(0/(-2) + 1). Let l be (q/3)/((-6)/9). Solve -5*w = -4*j - s, l*j - 4 = 2*j - w for j.
1
Let f = 14 - 31. Let r = -32 - -20. Let j = r - f. Solve 2*x + 17 = j*v, -v - v - 3*x = -3 for v.
3
Let w = -35 - -41. Solve -2*a - w = -5*h, 5*h + 0*h - a = 8 for h.
2
Let v be 0/2*(-6)/12. Suppose -11 = 3*z + c + 3*c, -z - 3*c - 12 = v. Solve 2 - 5 = 4*j + z*t, -3*j = -4*t - 4 for j.
0
Let g be (12/30)/((-2)/(-10)). Let m = g + -1. Solve 8*z = 3*z - 4*t - m, 0 = 4*z + 3*t for z.
3
Suppose 0 = 2*a - 5*n - 35, 2*n + 3 + 3 = 0. Solve -w - i + 4 = -2*i, 3*w - 2*i = a for w.
2
Suppose -12*g = -10*g - 2. Solve -15 = 2*h + 3*m, m + 4 = -4*h - g for h.
0
Suppose -3 + 1 = 2*n. Let z = n + 1. Solve 2*y - 5*c + z = 11, 22 = -5*y - 4*c for y.
-2
Let o = 83 + -81. Solve 5*j - 4 + 14 = 0, o*x - 2*j = -4 for x.
-4
Suppose 5*h - 32 = -4*s - 1, 2*s + 1 = 3*h. Solve 0 = -3*d + 5*y + 24, -h*y + 4 + 2 = 5*d for d.
3
Suppose -5*z - 1 = -q, 0 = -2*z + q - 5*q - 18. Let w = 4 - z. Solve 11 = 6*g - 4*g - b, 0 = 2*g + w*b + 19 for g.
3
Suppose -3*k + i + 64 = -i, 4*k = i + 92. Suppose 4*x + 4 = k. Solve 0 = x*w - 10, 4*d - w = 4*w + 10 for d.
5
Let r = -9 - -13. Suppose -s = r*s. Solve s = 4*x - 4*w + 8, -2*x + 3 = w + 7 for x.
-2
Let u be 4*((-6)/4)/3. Let y be 1/((-5)/(-2) + u). Suppose y*x = 3*x, 3*k = -5*x + 6. So