 n + 9 = y. Solve -f = l*h + h for h.
-5
Let c = 9 - 6. Suppose 3*v + 3*y = c, -2*v + 3*y = 2*v - 25. Solve r = v*r for r.
0
Suppose 4*l + m - 18 = 3*m, -4*l - 5*m + 11 = 0. Solve -26 = l*w - 10 for w.
-4
Let y(u) = -3*u + 74. Let v be y(24). Solve -5*m + v*m - 12 = 0 for m.
-4
Suppose 3*o + 2*k - 10 = 0, 0 = -5*k + k - 4. Solve o*j = 3*j + 2 for j.
2
Suppose y = -4*y + 10. Let r be 3/3 + -2 - -3. Let p be r - 2/(-3)*-3. Solve p = -y*s + 2 - 8 for s.
-3
Let o(f) = -f + 11. Suppose 11 = 6*d - 19. Let w be o(d). Solve q + q = w for q.
3
Let t(w) = -w**3 + 11*w**2 - 11*w + 14. Let j be t(10). Solve -j*i = -11 + 3 for i.
2
Let d = -2 + 5. Solve -d*s = s for s.
0
Let i be 2/3 + (-2)/3. Let l be i*(4 - 6/2). Let x be 1/(-3) + 10/3. Solve 0 = -3*a - x - l for a.
-1
Suppose -18*d = -21*d - x + 16, -6 = -2*d - 3*x. Let h be 5/2 - (-2)/(-4). Solve -d = v - h for v.
-4
Suppose -2*b - 48 = -5*j, 0*j - 3*j = -5*b - 25. Solve -j + 1 = 3*t for t.
-3
Let k be (-3)/5 + 104/40. Solve k*n = 3*n + 5 for n.
-5
Suppose 2*w - 10 = 3*s + 10, -5*w + 3*s = -59. Solve 4*m = w - 5 for m.
2
Let f = 23 + -21. Solve -f*t + t = 5 for t.
-5
Suppose 5*a = 2 + 13. Solve a*l + 0*l = -9 for l.
-3
Let v be 2/(-6) + (-56)/(-6). Solve -10*p = -v*p for p.
0
Let g = 32 + -32. Let n(x) = x. Let s = 10 - 7. Let y be n(s). Solve g = -f - 0*f + y for f.
3
Suppose -3*p - 5*p + 96 = 0. Suppose -2*v - 4*t = 0, v + 2*t - 16 = -2*v. Suppose 0 = -3*l + 4*h + 12, 0 = -0*h - h. Solve l*a - p = v for a.
5
Suppose 0*g - 3*g = 48. Let n be g/(-28)*14/4. Solve 5 - n = -3*t for t.
-1
Suppose -4*b + 5*b - 8 = 0. Suppose 2*v + 4 = b. Solve v*s = -3*s for s.
0
Let n = -94 + 105. Solve -9 = 4*h + n for h.
-5
Let c be (-4)/24*2*-12. Solve c*i - 4 = 8*i for i.
-1
Let j(p) = p**2 - 8*p + 17. Let a be j(7). Solve 0*m + a = -2*m for m.
-5
Let h(c) = -2*c**2 - 15*c + 3. Let d(x) = x**2 + 8*x - 1. Let l(r) = 5*d(r) + 3*h(r). Let z be l(-5). Solve 0 = z*m + 23 - 3 for m.
-5
Let n(o) = 9*o - 2. Let x be n(1). Suppose -6*p + x*p = 4. Solve 1 + 15 = p*i for i.
4
Let w = 5 - 2. Suppose 4*g - w = 3*g. Solve -l - g = 2*l for l.
-1
Let g(s) = -s**2 - 5*s + 9. Let j be g(-6). Solve -j*w - 5 = 2*w for w.
-1
Suppose 6*h - v = 2*h + 20, -2*v + 20 = 2*h. Solve 4 = h*m - 2*m for m.
1
Let h be 0/((-1)/2*2). Solve -25 = 5*f - h for f.
-5
Let v(m) = -m**2 - 5*m - 1. Let x be v(-4). Solve 0 = x*w - 3 - 0 for w.
1
Suppose -3*l + 284 = l + 4*q, -4*l + 5*q + 257 = 0. Let o be (-2)/(-6) - l/(-12). Solve -4*k + 2*k + o = 0 for k.
3
Let h be -12*(-5)/15 - -11. Solve b + h = -2*b for b.
-5
Let n = -5 + 7. Let g = 2 + n. Suppose y + g = 4*s, 3*s + 5*y - 4 = 6*y. Solve s*i = i for i.
0
Let j = -8 + 11. Let x be j + 0 + 0/5. Solve 4*g + x = -1 for g.
-1
Suppose -4*q = -r - 11, -2*q - 7*r + 2*r - 11 = 0. Solve 4 = -l + q*l for l.
4
Let z be (-6)/((-1)/2 + -1). Suppose -2*w - 5*u = 16, 2*w + 2*u + 4 = -0. Let d = 0 - 0. Solve -z*p + w*p - 4 = d for p.
-2
Let j = -18 - -24. Let v(b) = -b**3 - 5*b**2 - 8*b - 7. Let g be v(-5). Suppose t = -3*r + j*t + g, -2*t = 6. Solve -z - 2 = -r for z.
4
Let j be (-5)/(-10) + (-2)/4. Suppose j = -5*d - 4*q + 10, -2*q + 6*q + 44 = 4*d. Solve -d*n = -3*n - 6 for n.
2
Let q = -37 + 37. Solve q = -2*h + 4*h for h.
0
Let a = -37 + 40. Solve a*h = 5*h + 10 for h.
-5
Let f = -1 + -2. Let s be (-4)/f*(-9)/6. Let a be s/(2 + -6)*2. Solve -5*r + 9 + a = 0 for r.
2
Suppose -6*k = -5*k + 7. Let d = 9 + k. Solve d = -5*j + 17 for j.
3
Let y(z) = z**2 - 4*z - 7. Let n be y(-2). Solve -n*s = 15 - 0 for s.
-3
Suppose -5*a = -3*a. Let j be -10 - -1 - (a - 1). Let s = -5 - j. Solve s*y - 4 = y for y.
2
Let a = -25 + 42. Suppose -2*n - 2 = 2*p, -3*n + 2*p + a = -0*n. Suppose o = n*i - 4*o + 7, 2*o - 10 = 0. Solve -3 = 3*j + i for j.
-3
Suppose 5 = b + 4*b. Let p(n) = b + 1 - 2*n - 6 - 1. Let r be p(-5). Solve 0 = 3*m - r*m for m.
0
Let c be -1*(-1*1 + 0). Suppose 0*h + 2*h = -h. Let y be (-1)/(-3 + 2) + 1. Solve h = y*g + 3 + c for g.
-2
Suppose 5*n - 14 = 16. Solve 0 = -6*k + 3*k - n for k.
-2
Suppose -4*q = -4*x + 2*x - 64, -q - 3*x = -2. Solve 3*c - q = -5 for c.
3
Let c = 12 + -5. Suppose 0 = -2*w + 7*w + 5, f = 5*w + c. Solve -p + 15 = f*p for p.
5
Suppose 3*x + 44 = -2*f, -2*f + 4*f = x - 36. Let u = f - -19. Solve 4*h + u*h = -16 for h.
-4
Suppose u + 0*u = 4. Solve u*v = -4 - 16 for v.
-5
Suppose 2*z - z = 9. Let f be 3/z + 78/9. Let d = f + -6. Solve -4*o = -o + d for o.
-1
Suppose 4*j + 10 = 58. Let a be (-2)/(-13) + (-48)/(-26). Solve 5*g - a + j = 0 for g.
-2
Let j(k) = 2*k**2 - 6*k - 4. Let b be j(5). Let f be (4 + -4)/(12/(-4)). Suppose f = d - b + 4. Solve u + d = -2*u for u.
-4
Suppose -r - 5*h = -2*h + 4, 4*h + 6 = -r. Solve 2*w + r = w for w.
-2
Let g(z) = -3*z - 1. Let m be g(-4). Let j = m + -9. Solve -3 = i - j*i for i.
3
Let f(g) = -g - 9. Let p be f(-11). Solve 1 + 1 = -p*z for z.
-1
Let z(u) = u**3 + u + 2. Let v be z(0). Solve -2*i - 4 = v*i for i.
-1
Suppose -27*h = -28*h + 15. Solve -3*f = -6*f + h for f.
5
Suppose -p + 4*c = 7*c + 4, -4*p = 2*c - 24. Let x be p*(3 + -2) + -3. Solve 0 = x*u - 3 - 7 for u.
2
Let n(t) = 2*t**2 + 5*t - 2. Let k be n(-4). Suppose -2*l - 2*f = -18, -25 = -4*l - 2*f + 1. Suppose q = -l*q + k. Solve 0 = 2*a - q - 0 for a.
1
Suppose -21 = -2*v + h, 3*v - h = -2*h + 29. Suppose 11 = 3*m + 5*t + 41, m - 10 = 5*t. Let q(z) = -z**2 - 5*z + 4. Let x be q(m). Solve -n - x*n = v for n.
-2
Let i be (-10)/(-4)*(2 - 0). Solve -i*k + 3 + 7 = 0 for k.
2
Suppose -k = 3 - 4, 0 = 4*g - 3*k - 13. Suppose -2*b - f + 8 = -8, g*f = b + 10. Suppose t - b = -t. Solve 0 = t*n - n for n.
0
Suppose -2*v - 1 = -5. Solve -a + 1 = v for a.
-1
Suppose -6*k + 5*a + 186 = -2*k, -4*k - 5*a + 206 = 0. Let o = k + -33. Solve 5*u + 4 = -o for u.
-4
Suppose -5 = 3*z - 3*y - 11, 5*z + 3*y - 18 = 0. Suppose -4*l - b = -14 - 51, -l + 15 = -b. Solve 0 = -z*c + 1 - l for c.
-5
Let i(l) = -l - 5. Let t be i(-7). Suppose 0 = 4*o - t*g - 3*g + 10, -2 = 3*o - g. Solve -2*v + o = -4 for v.
2
Let a(y) = 2*y**2 - 2*y + 3. Let m be a(3). Suppose m = 2*h + h. Solve -b - h + 2 = 0 for b.
-3
Let x(p) = 21*p - 84. Let c be x(4). Let j = -11 - -21. Solve c = -y + 6*y - j for y.
2
Let j(s) = s + 6. Let g be j(-4). Solve -c = g + 1 for c.
-3
Let d(x) = -x + 1. Let f(h) = -h**2 - 13*h - 1. Let q(j) = 2*d(j) - f(j). Let i be q(-11). Solve 4*u + 5 = i*u for u.
-5
Let m be (-2)/((-2)/(-1))*-5. Solve -z + m = -0*z for z.
5
Suppose -5*l - 34 - 11 = 0. Let u be 2/6 - 15/l. Solve u*n - 6*n = 0 for n.
0
Suppose 3*u - u + 2 = 0. Let k be ((-1)/(-3))/(u/(-6)). Solve -3 + k = -p for p.
1
Let b be (7 - 8) + -1 + 8 + -2. Solve -b*c + 12 = -0*c for c.
3
Let k(y) = -6*y - 1. Let g be k(-1). Suppose -g*w = -39 + 4. Solve -3 = 4*s - w for s.
1
Let g = -15 - -15. Solve -2*u + 10 = -g*u for u.
5
Let k = -2 - -5. Suppose 3*b = 5*h - 6, 3*h + 3*b = 2*h - 6. Suppose h = 3*d - k - 12. Solve -4*c - d = 3 for c.
-2
Suppose -z + 21 = -t, -2*z - 8 + 48 = -4*t. Suppose -u - 5*x + z = 0, -3*u + 13 = -5*x - 13. Solve -5*d - 8 = u for d.
-4
Suppose l + g - 8 = -0*g, 23 = l + 4*g. Suppose 2*p + 5 = 9. Solve l*b - 25 = -p*b for b.
5
Suppose -2*h = 2*h + 124. Let y be (-6)/8 - h/4. Solve -y*i = -2*i - 20 for i.
4
Suppose 3*k = 0, 4*k + 58 = 5*c + 13. Solve -3 = -3*y + c for y.
4
Suppose -2*m + g + 1 = 0, 0 = -3*m - 5*g + 4 + 17. Suppose -5*a - 35 = -4*k, -k = -4*k - a + 12. Let q = -16 - -19. Solve -q = -m*n + k for n.
4
Let h be 9/6*-6*-1. Solve 0 = -h*n + 4*n - 25 for n.
-5
Suppose -k = 4*q - 37, -4*q - 49 = -9*q - 4*k. Solve 3*v - q = -3 for v.
2
Let m be (1 + -2 - -3) + 16. Let c = 21 - m. Solve c*x + 4 = 10 for x.
2
Suppose 0 = -4*l - 4*c + 444, 0*l + 4*l + 3*c - 445 = 0. Let s be (-6)/4*l/(-42). Let u be 18/(-4)*(-2)/3. Solve -s = -u*o + o for o.
2
Suppose 0 = m - 5*i - 3, -3*m + 30 = 2*i + 4. Solve -4*v + 20 = -m*v for v.
-5
Suppose q - 133 = -6*q. Suppose d + 5*w - 9 = 3, 0 = -2*d + 4*w + 10. Let p = 10 - d. Solve p = 4*g + q for g.
-4
Let k be 13/5 + 6*(-3)/30. Solve 0*p + k*p = -8 for p.
-4
Let q be 3/2*8/6. Suppose 0 = -6*n + q*n + 12. Solve -j = -n*j for j.
0
Let n(g) be the first derivative of -12*g - 3 + 11/2*g**2 + 1/3*g**3. Let m be n(-12). Solve m = x + 3*x + 4 for x.
-1
Let z = -11 + 18. Let a = z - 5. Suppose f = -a*f. Solve -d + 6*d + 25