2*q - 5*y + 10, y + k*y - 6 = 2*q for q.
5
Let o = -1 + 4. Solve 0 = 5*c + 4*f + 8 - 1, f - 11 = o*c for c.
-3
Let o = 39 + -35. Solve -o*c - 16 = 4*b, 2*c - 4*b - 25 + 3 = 0 for c.
1
Suppose -c = -0*c + 8. Let f(v) = -v + 9. Let d be f(c). Let n(i) = i + 10. Let q be n(-7). Solve -q*l = -k + d, -4*k = 4*l + l for l.
-4
Let g = 32 + -30. Solve 0 = 2*c + g*t, 0*c = c - 5*t + 30 for c.
-5
Let l be (-50)/(-15)*6/4. Suppose -3*j + 4 = -2*j. Suppose j*b = 44 + 40. Solve 0 = -0*h - h - l*k + b, -h + 4*k = 24 for h.
-4
Suppose -2*y + 7*y - 5 = 0. Let o be (1 - 1)/(2/y). Solve -4*g = -2*j - 10, -3*g - j - 4*j + 1 = o for g.
2
Let z be 18*-1*(-2)/6. Let x(b) = 2*b - 7. Let m be x(z). Solve 0*c = -2*c - 3*n, m*c = 3*n for c.
0
Suppose -5*j + 22 = 2. Let v(x) = -x**2 + 4*x. Let s be v(4). Suppose -k = -s*k - 5. Solve -2*i - n + 8 = j*n, -10 = -k*n for i.
-1
Let c(x) = 2*x**3 - x**2 + 10. Let a be c(0). Solve -o + 0*k + a = k, -30 = -2*o - 4*k for o.
5
Suppose 4*u + g = 2*g + 29, 3*u - 12 = 4*g. Solve -u = -d - 2*s, -5*d - 5*s + 2 = -13 for d.
-2
Let t = -8 + 14. Let y = 3 + 2. Suppose v - 12 = -v + 2*f, 3*f = -y*v + t. Solve 4*w + 2 = -2*a, 5*w = v*a - 2*a + 1 for a.
-1
Let j = -162 + 197. Solve 4*d = -5*v + 41, 3*v - j = -8*d + 3*d for d.
4
Suppose s = -4*s - 10. Let b be 0/(-2 - -2 - s). Suppose -5*l + 6 + 29 = b. Solve 4*g + 2*o + 10 = 0, -g - l = -0*g + 2*o for g.
-1
Let s(z) = -z**3 + 7*z**2 - 4*z + 4. Let i be s(6). Let u = i - 16. Solve 2*b + o = -u*o - 4, 3*b + 7 = -o for b.
-3
Suppose 2*o + 18 = 5*o. Let z = o - 6. Solve 0 = -b - 5*u, z = -2*b + u + 4*u for b.
0
Suppose 0 = 3*p + 5*p - 24. Solve 4*h + f = 5, -h + p*f + 13 = h for h.
2
Suppose -4*m + 5*m - 4 = 0. Suppose -4*a + m = 0, -2*b + 0*a = -4*a. Solve -15 = n - 2*l, -b*l + 0*l = -10 for n.
-5
Let v(u) = -u + 6. Let k = -14 + 20. Let q be v(k). Let x be (8/10)/(9/45). Solve 2*y + q*y - 3*j = -12, y + x = j for y.
0
Let y(m) = m**2 + 15. Suppose 2*g + c - 1 = 0, 0 + 5 = g + 5*c. Let j be y(g). Let b be (-38)/(-9) - 2/9. Solve -b*t = 2*a + 10, 3*t - j = 4*a + 5 for a.
-5
Suppose 25*d - 29*d + 8 = 0. Solve 0 = d*j - 4*p + 16 + 12, 30 = -5*j + 2*p for j.
-4
Let b(h) = -h**3 - 5*h**2 + 6*h + 5. Let w be b(-6). Suppose -2*g - 2*g = 4*j - 44, -2*j - w*g = -25. Solve -2*i - j = -i - t, 0 = -2*i + 5*t - 35 for i.
-5
Suppose -1 = -2*k + 3. Let h(i) = -i - 6. Let a be h(-8). Suppose -a*n - 5*u = -13, -19 = -5*n + u - 0*u. Solve k*c + 0*c - p - 5 = 0, 3*p - 5 = -n*c for c.
2
Let m be 42/18 - 2/(-3). Solve 0 = -3*u + u + m*n + 8, -n = 3*u + 10 for u.
-2
Let y be (6/3)/(-2)*0. Suppose 1 + 7 = 2*n. Suppose -3*b = 3*r - 12, y = -5*b - n*r + 6 + 12. Solve 4*m = -f - 13, -3*m = -f - b*f + 21 for f.
3
Let b = -5 - -5. Suppose -k - 2 + 4 = b. Suppose 46 = 4*l - k*y, -l = 3*l - 5*y - 37. Solve -3*c + 5*d + l = 0, 4*c - 4*d = c + 11 for c.
1
Let o be (-28)/6*9/6. Let p be -3 - (o + (6 - 3)). Suppose 0*s = -3*s + 21. Solve 3*y + p - 4 = 5*b, -5*b = -2*y + s for b.
-3
Suppose -2*d + 90 = 8*d. Solve 3*j - 2*p = d, -j - 3*p + 34 = 4*j for j.
5
Let u be (0 + 6)*(-10)/(-15). Let m be 0 - (-2)/u*6. Solve c = 3*i + 2, -3 - m = -3*c - i for c.
2
Suppose -4*g - 3 = -2*w - g, -4*g + 10 = 2*w. Solve -2*f + 2 - 4 = -2*z, w*z - 13 = 5*f for f.
-5
Let q be (-5)/(3/12*-2). Let p = -8 + q. Solve 2*l - 9 = m, -5*m = -3*l + p*l + 9 for l.
4
Suppose -3 = -2*l - 7. Let q(n) = -3*n + 3. Let h be q(2). Let d be (l + 1 - h) + 0. Solve 3*t - 4*f = 23, -d*f = -4*t + f + 19 for t.
1
Let a = -18 - -24. Let t = 17 - 11. Let i = a - t. Solve -5*q - g = 3, q + 4*g - 1 - 6 = i for q.
-1
Suppose -5*q + 6 = -4. Let x be 3*(-3 + 3 - -1). Solve -x = 4*k + g, -k - g - q*g + 13 = 0 for k.
-2
Let h(c) = 5*c + 1. Let l be h(-1). Let p = l + 10. Solve m + 5*i = 15, -p*m - 2*i = -m + 17 for m.
-5
Suppose 10 = -12*c + 14*c. Solve 4*q + 25 - 3 = -3*l, -12 = -4*l + c*q for l.
-2
Let q be 3/9 - (-10)/6. Let t be ((-2)/q - -1)*1. Solve i + v = 0, t*i = i - v + 10 for i.
-5
Suppose -2*j - 8 - 14 = -3*v, 2*v + 4*j + 12 = 0. Let i(r) = -r**3 + 2*r**2 + 2*r - 2. Let d be i(2). Solve -n = -2, -d*l - 3*n + n = v for l.
-4
Suppose 3*l + 2*l - 5*o + 5 = 0, 4*l - o = 8. Let u = 0 + l. Let j = -18 + 28. Solve -j = -u*k + 4*k + n, -3*k - 4*n = 35 for k.
-5
Suppose -m = -0*y - 2*y - 1, -5*y + 5 = 5*m. Let o be (-4)/12 + 61/3. Solve 3*g - 4*v - o = 0, 4*g + g + 4*v - 12 = y for g.
4
Let y = 19 - 13. Solve 0 = -l + 3*g - 16, l - 3*g + 10 = y*l for l.
-1
Let v(k) = k**3 + 5*k**2 + 2*k - 1. Let j be v(-3). Suppose -5*i + j = -14. Let n = i + -3. Solve 5*b - 3 = -4*d, -3*b + b = -n*d - 12 for d.
-3
Let i = 30 + -17. Suppose 4*x - 1 = 4*g + 11, -2*x + 11 = 3*g. Suppose 14 = 2*z + 2*d, 5*z + 7*d - x*d = 27. Solve f = -3*k + 16, -z*k + i = 3*f - 5 for f.
1
Let d(w) = w + 8. Let u be d(-5). Solve -3*c + 4*q = u*q + 11, 0 = 3*c - 4*q + 8 for c.
-4
Let v(b) = -b + 14. Let l be v(13). Let s be 6/((-6)/(-2)) + l. Solve 4*f - 8 = -s*o, 0 = 5*f - o - o + 13 for f.
-1
Let f be ((-8)/3)/((-14)/21). Let o be f*((-34)/(-8) + 0). Solve 0 = b - 5*b + 3*j - o, 0 = -2*b - 5*j + 11 for b.
-2
Suppose -3*i - 12 = -4*i - u, 4*u - 4 = 0. Solve -5*y + 23 = -2*m + 7, 5*m = -2*y - i for m.
-3
Let x(k) = -k**2 + 8*k - 6. Let z be x(6). Let u = z + -1. Let p be ((-8)/u)/(1/(-5)). Solve s + p = -4*j - 3, -3*j - 4*s = -8 for j.
-4
Let k(v) = 9 + v - 1 + 1. Let n be k(-7). Solve -2*z - n*y = 0, -5*z - y - 13 = -5 for z.
-2
Suppose 0 = 3*f - 4*i + 15, 2*f - 5*f - 6 = -i. Let k = f + 5. Solve -5*l = -6*u + 5*u + 10, 3*l = u - k for l.
-3
Let d be (-7)/49 + (-29)/(-7). Solve t + 0*t - 9 = -d*z, 10 = 5*z + t for z.
1
Let t(d) = -d**2 - d + 19. Let h be t(0). Let i = -10 + h. Solve 0 = -4*y + 5*a + 12, -3*a = -3*y + a + i for y.
3
Let u be (-24)/(-28)*(-70)/(-15). Solve 2*l + 2 = u*o, -o - 5*l - 6 - 10 = 0 for o.
-1
Let c(u) = 4*u**3 - u**2 - 2*u - 1. Let b be c(-1). Let r = 4 + b. Solve f + 5*k = -r*k + 7, -3 = -3*k for f.
2
Let x(a) = -15*a**3 - 2*a**2 + 1. Let p be x(-1). Solve -2*l = -2*i + p, -3*l + 5*i - 11 = 14 for l.
-5
Suppose -14*r + 2*r = -228. Solve -p = 3*c + r, -4*c - 5*p = -0*p + 40 for c.
-5
Let y be (-646)/(-26) - (-8)/52. Let h = y + -22. Solve x + 3 = -t, 3*t + 9 = -0*x + h*x for t.
-3
Let t(h) = -h + 12. Let b(y) = -3*y - 8. Let q be b(-6). Let k be t(q). Solve 0 = 2*o + j - 6, -k*o + 4*j - 10 - 4 = 0 for o.
1
Let s = 5 - 7. Let p(k) = k**2 + k - 1. Let x be p(s). Suppose f - m = 2, -x - 1 = m. Solve f = 2*v + 3*y - 13, 0*y + 6 = -v + y for v.
-1
Suppose -5*g + 3*g + 4 = 0. Solve 4*w + 24 - 4 = -5*n, -3*w + 8 = -g*n for n.
-4
Let r = 4 - 4. Let l(f) = f + 5. Let i be l(r). Suppose 2*c - b = 10, -2*b + i = c + b. Solve -3*g - 3 + 6 = -3*w, 0 = -3*w - g + c for w.
1
Suppose -2*s + 10 = 3*x - 16, -2*x + 24 = -2*s. Let d = 12 - x. Solve d*t + 4*v + 3 = -19, -2*t - 2*v = 12 for t.
-1
Let i = 5 - 5. Let f be 0/(-2) + i/(-3). Suppose f = 2*h - 4*h + 4. Solve 6*l - 12 = 2*l + h*d, 5*l - 5*d - 20 = 0 for l.
2
Let q be 63/6 + (-2)/4. Let d = q + 0. Solve 0 = 2*x - 5*n - d, 3*n + n = -8 for x.
0
Suppose 4*i = 7 + 1. Solve r - 7*h - 6 = -6*h, -i*r - 3*h - 3 = 0 for r.
3
Suppose 8 = -3*x + 14. Solve 0 = -a + 4, -5*a + 18 - x = 2*s for s.
-2
Let z be -1 + (-3 + 23)/4 + -1. Solve 3*h = -r - 10, 16 - 1 = z*r for h.
-5
Suppose 3*v + 39 = 3*d, 3*d - 3*v - 2*v = 47. Suppose -2*r = r - d. Solve 0 = t + 5*m - 14, -10 = -0*t - t - r*m for t.
4
Let n = 4 - 4. Suppose -17 = -4*x + g + 78, 43 = 2*x + g. Let y = 39 - x. Solve 3*s - 4*f + 2 = n, -5*s - 5*f = -2*f - y for s.
2
Let i(z) = -6*z - 2. Let p = 13 + -14. Let b be i(p). Solve 3*k + b*h = h + 9, -5*h + 14 = 4*k for k.
1
Let d(c) = -2*c**3 - c**2 + c + 2. Let k be d(-1). Solve 0 = k*s + i - 6, -2*s - 3*i + 6 = -8*i for s.
3
Let g = -3 - -1. Let s be (-4 - -8) + (g - -3). Solve -3 = -3*y + s*u, 0*u = 2*u + 6 for y.
-4
Let u = -5 - 2. Let i = 19 + u. Solve 5*o = 4*k + 29 - 2, -o = -3*k - i for o.
3
Suppose -9 = 3*j - 45. Let x(v) = v**2 - 12*v + 1. Let p be x(j). Solve a + 2*q + 0*q = -p, -a + 4*q = 13 for a.
-5
Suppose 6*w + 9 = 3*w, 0 = 3*h - 3*w - 48. Let l = h + 0. Solve 0*g - g + 3 = y, y = 3*g - l for g.
4
Let f(c) be the first derivative of c**3/3 + c**2 + c - 1. Let o be f(-3). Solve 9 = 4*l - 3, 5*l = o*r - 5 for r.
5
Let q(k) = -2*k + 38. Let z b