18 for y.
-2
Suppose -k + 1 = -2. Solve f = 5*b + 10, 4*f + k*b + b + 32 = 0 for f.
-5
Let y(k) = 2*k - 1. Let l be y(3). Suppose f + m + 23 = 6*m, -l*f + 30 = 4*m. Let h be (-2 - -15)*(-2)/(-1). Solve 0 = -t + 3, -8*u - f*t + h = -3*u for u.
4
Let o = 5 - 8. Let r(w) = w**2 + 4*w + 3. Let q be r(o). Solve n - 3*j = -14, 12 = -4*n + j - q*j for n.
-2
Let v be 142/10 + ((-8)/2)/20. Solve -v = -3*n - 4*j, 2*n - 4*j + 14 = -2*j for n.
-2
Let s(c) = c**2 + 5*c - 3. Let u be s(-6). Solve -3*b = 2*b - 25, -u*k - b = -17 for k.
4
Let n(c) = c - 7. Suppose 5*v = -2*u - 12, -3*v + 5*u - 1 + 0 = 0. Let q be -3 - (2 + v + -10). Let r be n(q). Solve 2*h - 3*h = -y, r = -h for y.
0
Suppose -3*g = -9*g + 18. Solve 0 = -3*y + g*m + 6, 4*m + 3 = 2*y + 1 for y.
3
Suppose 24*k - 26*k = -6. Solve -4*h = -j - 12, -k*h + 0*h + 9 = -3*j for h.
3
Let f(j) = -j - 1. Let c be f(-15). Solve -4*p = -2*k + c, p + 0*k - 2*k + 5 = 0 for p.
-3
Let o = -8 + 13. Suppose -4*b = 0, 5*a = -o*b - 4 + 14. Suppose a*d - 3*d = -3. Solve -d*y = 0, -10 = l + 4*l - 2*y for l.
-2
Let y be -15 + 17 - (0 + 2). Solve 8 = -5*l + 3*l + 5*c, y = 3*l + 2*c + 12 for l.
-4
Let v be 1/2 - 1/(-2). Let r = v - -1. Let z = 4 - r. Solve 3*s = z*l, -2*l = -4*s + l for s.
0
Suppose 0 = 3*d + 3*t + 17 + 4, -3*d + 9 = -3*t. Let s = d - -5. Suppose 4*h + 2*p - 6 = 0, -5*p - 14 = -h + 4. Solve s*b + 17 = 2*y, -h*y + 3 = -0*y for b.
-5
Suppose -2*y + 7 = 5*n - 0*n, n = -4*y + 59. Let v = -16 + y. Solve -2*h = 1 + 3, 5*i + 3*h + 6 = v for i.
0
Suppose b - 3 = -2, o + b = 12. Let m = -8 + o. Suppose m*k + 2 = 4*y - 3*y, 0 = -k. Solve 3*t - 4*d = -6*d + 7, -4*t + 14 = -y*d for t.
3
Let a be ((-12)/9)/(8/(-18)). Solve -13 = -4*n + a*y, 3*n = 3*y + 6 + 6 for n.
1
Let k be 0/(1 + -1 + 1). Suppose 3*f + 3 = 3*i, -4 + 3 = -i - 3*f. Suppose -3*p = -8 - i. Solve 0 = 4*w + 3*d + 1, k = p*w - w - 4*d - 16 for w.
2
Let v(q) = -3*q + 7*q**3 + q + q. Let j be v(1). Solve 2*z = -5*l - 10, -2*z + j*z = 5*l - 20 for l.
0
Let b(p) = p - 15. Let z be b(19). Solve -2*u + 4 = z*d, -5*u + 2*d - 2 = 6*d for u.
-2
Suppose 4*y = y + l + 8, 2 = 2*y - 4*l. Suppose 5*t - x - 75 = 0, y*t = 2*t + x + 19. Solve -4*g + 2*h = -t, -1 = g + 2*h - 2 for g.
3
Let q(k) = -25*k**2 - k - 2. Let j be q(-1). Suppose -2*n - 34 = 48. Let b = j - n. Solve -5*z + b = -t, 2*z + 3 = t + 9 for z.
3
Let j be (1/2)/((-3)/48). Let q be (-6 - j) + (2 - 1). Solve 0*w - w - 5*v = 23, 5*v + 29 = -q*w for w.
-3
Let j be (5 + 0)*(-36)/(-60). Solve 6*l - j*l - 5 = -4*x, 2*x = -4*l for x.
2
Let s(h) = h**2 - 8*h + 7. Let n be s(7). Suppose -4*g + 9 + 7 = n. Solve g*l = 4*r - r - 18, 2*l + 2 = -2*r for l.
-3
Suppose -l + 3*l = 16. Let s(h) = -h**3 + 8*h**2 + 2*h + 11. Let t be s(l). Solve -5*v + 3*b = -3*v + 4, 0 = 5*v + b + t for v.
-5
Suppose -5*h - 1 + 31 = -2*b, -3*h + 34 = 2*b. Suppose -o + 2*g + h = -0*o, 0 = -g - 2. Solve -3*w - 6 = -3*p, -5*w + 2*w = -p + o for w.
-1
Let f(o) = 2*o - 6. Let d be f(4). Suppose b + 0 = 2. Solve b*c + d*c + 5*j = 2, 0 = 2*c + 2*j for c.
-2
Let z be 18/(-8)*(-16)/6. Let k be (-4 + 3)/((-2)/z). Suppose k*o + 2*v = -2, 3*v = 5*o + 1 - 4. Solve -4*b + 7 = 5*i, 0 = -2*i - o*i - 4*b + 10 for i.
-1
Suppose -j = k - 8, 3*j = 5*j + 5*k - 28. Solve 3*q - 4*a = -2*a + j, 5*q - 4*a = 4 for q.
4
Let q(n) = n**2. Let m be q(0). Solve m = 5*z + 4*w + 20, -4*z + 3*w = -0*w + 16 for z.
-4
Suppose 0 = -3*w - 1 + 4. Let z be 21/6*(w + -3). Let u = 12 + z. Solve -3*j = 2*m - u, 2*m = -2*m + 4 for j.
1
Let y(l) = 3*l - 3. Let d be y(3). Suppose z + z = d. Solve -17 = -3*n - 4*g, -2*g = z*n + g - 15 for n.
3
Let q(j) be the second derivative of -j**3/3 + 7*j**2/2 - 3*j. Let l be q(-6). Solve 5*u = -2*m - l, m = -0*u - 4*u - 17 for u.
-5
Let q be 2/(40/36) - 8/10. Solve -4*w - 6*c + c + 7 = 0, 0 = -4*w - 3*c + q for w.
-2
Let s = 152 + -152. Solve s = -4*r + r + 3*p - 15, -3*r = -4*p + 19 for r.
-1
Suppose -12 = -2*i - 2*i. Let l(x) = -x**2 + 5*x - 3. Let j be l(i). Suppose 5*f + j = -g + 23, 0 = -3*g - 2*f + 21. Solve -4*c + 2*k = -2*k, -15 = g*k for c.
-3
Let f be ((-5)/(-3))/((-2)/(-6)). Let s(k) = k**2 + 5*k + 7. Let h be s(-4). Solve -2*g - 3 = f*i + 28, h*g + 24 = -3*i for g.
-3
Suppose 0*s + 4*d = 2*s - 8, -4*s - 2*d + 26 = 0. Let o(r) = -r + 1. Let f be o(1). Solve -2*l = 2*v, f = 3*l - s*l - 5*v - 4 for l.
2
Suppose 2*p + 11 = 17. Solve 5 = -p*f + r + r, -2*f - 1 = r for f.
-1
Let y = -9 - -25. Let j = y - 2. Suppose -6 = -i - 2*u, -2*i + 4 = 3*u - 5. Solve 3*c - j = 8*c - 4*d, i = 5*c - 5*d + 15 for c.
-2
Let p(c) = c - 6. Let v be p(6). Suppose 5*r - 53 + 21 = 3*o, 3*o + 16 = r. Solve r*k = v, 2*z + 2*k - 4 = 3*k for z.
2
Let v(l) = -l - 3. Let k be v(-8). Solve 4*m = 4*d - 12, -35 = -k*d - 4*m - m for d.
5
Suppose -2*t = -4*t + 32. Let k = t - -6. Solve -f + 3*l = 0, -5*l + k - 2 = 5*f for f.
3
Let j = 6 + -1. Let b = -1 + j. Solve -4*s = z - 7, -z - 9 = -b*s - 0*z for s.
2
Let u be 2/(-4) + (-5)/(-2). Suppose -3*m = -4 - u. Suppose m*i - 28 = -3*q, -2*q - 12 = -4*i + 3*q. Solve -3*n + 0*n = -2*k - 1, k + n = -i for k.
-5
Suppose 6*p - 23 = 13. Solve 5*b - p = 5*h + 4, -4*b - h = 12 for b.
-2
Let j(x) = -7*x + 11. Let q be j(0). Solve -q = 4*z + 5*h, 0 - 6 = 3*z + 3*h for z.
1
Let j be 3 + -1 + (5 - 3). Suppose 5*t = j*w + 33, -2*w - 4 = -5*t + 25. Solve 3*g - 3*y + 14 = -g, -t*y = -g + 5 for g.
-5
Let d be 3*(-2)/(-8)*8. Suppose 0*a = -3*a + d. Solve 5*h + 3*v - 28 = 2*v, a*v = 6 for h.
5
Let d(v) = -v**3 - 5*v**2 + v + 5. Suppose l - 6*z + z + 20 = 0, 3*l - 4*z + 27 = 0. Let k be d(l). Solve k = -b - u - 3, -4*u - 7 = -3*b + u for b.
-1
Let d be (2 - -2)*(-1)/(-1). Solve 0 = -2*b + 2*w + 4, -8 = -d*b + w for b.
2
Let u(v) = -v**3 + 7*v**2 + 3*v - 10. Let i be u(7). Let x be ((-14)/8*6 + 3)*-2. Solve -5*m - 10 - x = 5*y, -4*m = y + i for m.
-2
Let j be (-2)/4 + (-7)/(-2). Suppose 4 = -2*z + j*z. Suppose -z*n + 54 = -n. Solve 0 = -5*v + v + 2*s - 16, -2*s = -5*v - n for v.
-2
Let u(y) = -y + 7. Let x be u(11). Let g be (-2)/8 - x/16. Solve -4*w + t + 18 = g, -4 - 4 = 4*t for w.
4
Suppose -k - 2*s - 2 = 0, -5*k + s + 13 = -10. Suppose -3*u = -k*u + 2. Solve -12 = 4*m - 4*r, 5*m + 3*r = u*r + 15 for m.
2
Let n be (0 + 0)/(5 - 4). Suppose -2*r - r + 75 = n. Suppose -4*v = v - r. Solve -2*a = -x - 6, v*a = 4*x + 18 + 3 for a.
1
Let y = 4 + 3. Let z = y - 4. Solve f + 3 = 2*o + 2, 3*f + 3 = z*o for f.
-1
Suppose 4*s - 38 = 2*p, -3*p - 2*p = 4*s - 3. Let f(m) = m - 5. Let j be f(s). Solve -4*n = j*c - 4, 0*c + 2 = -2*c - n for c.
-2
Let v be 18/12 - (-1)/(-2). Solve -12 = 2*z + 3*u, z + u - v = 2*z for z.
-3
Suppose -1 = -4*m - 2*y + 3, 3*m - 3*y = 12. Solve -m*o + 2 = -q - 2*q, 2*q = 2*o for o.
-2
Suppose 0 = 2*r + 2*w - 8, -4*r = r + 3*w - 26. Suppose 3 = 5*x - r. Solve -t + 2*d + 18 = 5, 0 = -x*t + d + 11 for t.
3
Let y = 42 - 38. Solve 3*s = 7*s - 2*f, y*s - 6 = -f for s.
1
Suppose -4*l = -6*l. Solve 2*m - 1 + 0 = y, y - m + 2 = l for y.
-3
Suppose 2*k - 19 - 1 = 0. Let t = k - 5. Solve -12 = 4*l, l - 22 = t*q - 0*l for q.
-5
Let r be (-5)/(-15)*(-9)/(-1). Solve -k - 10 = -4*m + 10, r*m + k = 8 for m.
4
Suppose l = -2*l - 3. Let b be ((-1)/l)/(-1*1). Let r be (b/(-2))/(2/28). Solve -m = -4*o + 8 + r, 3*o = m + 10 for m.
5
Let l(y) = -y**3 + 4*y**2 + 7*y - 6. Let v be l(5). Solve -v*q = -4*t - 24 - 0, -2*q = 4*t for q.
4
Let q be (-2)/9 - (-80)/36. Suppose -2*z + 40 = -2*h, 0*z + q*h - 44 = -2*z. Solve 5*d = -l + z, 2*d = l - 9 + 23 for l.
-4
Let r = 14 + -12. Solve 0 = r*w, w = 4*f - 0*f - 4 for f.
1
Suppose 5*x + x = 0. Suppose x = 2*k - 5*t + 21, -t + 1 = 2*k - 4*k. Solve -2*z - 4 = q, 0 = k*q - z + 1 + 2 for q.
-2
Let c be -1*(-3)/1 - (2 - 3). Solve -3*g = -c*u - 2 + 10, 0 = -4*u - 2*g - 12 for u.
-1
Suppose -4*z + 7 + 13 = 0. Let m(h) = h**3 + 23*h**2 + 21*h. Let c be m(-22). Solve c = -2*s + 5*o, 2*o + 3*o - 15 = -z*s for s.
-1
Suppose -3 = -4*g + 1. Suppose -3 - g = -v. Solve c - 6*c - 2*u - 5 = 0, -5*c - v*u = 15 for c.
1
Let k = 8 + -6. Let m be (-1 - (1 - k))/1. Solve 4*w + m + 2 = 2*x, -4*w + 4*x = 4 for w.
0
Let u = -20 + 20. Solve -k - 4*g = 17, 0 = 3*k - u*k + g - 4 for k.
3
Let c be (-40)/15*129/4. Let d = -57 - c. Solve -4*q + 5*b = -0*q + d, -5*b = -5*q - 30 for q.
-1
Suppose o + o = 4*m + 28, -4*o + 36 = -4*m. Solve o*f 