 -4*k, 0 = 2*k - 8. Solve n = -0*l + s*l for l.
0
Let c = -29 + 32. Solve -c*z + 0*z = 6 for z.
-2
Suppose 2*k - 50 + 44 = 0. Suppose -9 = -5*n + 1. Solve k*s = -n*s - 25 for s.
-5
Let y = -9 - -19. Suppose -3*i - y + 52 = 0. Solve -i = 5*w + 11 for w.
-5
Suppose -5*t + 10*t = 2*u + 5, 4*u + 3*t - 29 = 0. Suppose 4*d - 2 = 5*c, -3*d = 4*c + 12 + 2. Let l = c + u. Solve -2 = y + l for y.
-5
Suppose -3*j = -4*j + 2. Let u = -24 - -30. Let t be 2/u*3*0. Solve t*p = -j*p for p.
0
Suppose 0 = -2*a + 1 + 7. Solve -2*o = -a - 0 for o.
2
Let x(z) = z + 2. Let f be x(2). Suppose -2*s = -3*s - 2*u + 9, f*s = -4*u + 20. Let b be (-2 + 2)*s*1. Solve b*y = -4*y - 4 for y.
-1
Let k be 1 + (2*-5 - 1). Let j(c) = -c**2 - 9*c + 12. Let v be j(k). Suppose 2*r - v*m - 22 = -2*r, -m = 4*r - 25. Solve 0 = -5*l + 3*l - r for l.
-3
Let o(g) = g**3 - 12*g**2 + 9. Let m be o(12). Let r be (-2)/(-6)*-3 + m. Solve 2*y - r = -0*y for y.
4
Let d = -15 + 18. Suppose -d*w + 32 = 5*t, -2*t = -3*w + t + 48. Solve -6 - w = -5*f for f.
4
Suppose 7*j - 4*j - 3 = 0. Solve -j = -m + 2*m for m.
-1
Let j = 10 + -5. Let t = -11 - -4. Let h = 22 + t. Solve j*g + h = -0*g for g.
-3
Suppose 0*j = -4*j. Solve m + 2*m + 12 = j for m.
-4
Let j = -133 + 136. Solve -5*h + 8 = -j*h for h.
4
Suppose 16 = 4*x - 5*b, 8 = x + x + 4*b. Suppose 0 = -2*d - x + 12, 3*d = o + 10. Let k be 4 - (-4 + o + 3). Solve k*u - 5*u + 6 = 0 for u.
3
Let i be 21/14*(-12)/(-9). Suppose b - 6*s = -i*s + 10, 8 = 2*b + 4*s. Solve -b = h - 1 for h.
-5
Let k = 18 - 11. Solve 19 = -3*y + k for y.
-4
Let w be 8/5 + (-10)/(-25). Solve -w*f = -4*f + 4 for f.
2
Suppose -4*z + s = 0, 5*s = 3*z - 2*z. Solve 2*r + 8 + 2 = z for r.
-5
Suppose 1 = -2*i - 35. Suppose -5*t + 4*z - 45 = 0, 5*t - z + 1 = -59. Let h = t - i. Solve -1 = -h*l + 9 for l.
2
Let r be 24/16 + 1/(-2)*3. Solve r = -5*x + 7 + 18 for x.
5
Let q be 6/10 - 9*(-4)/(-60). Solve 2*t + t - 15 = q for t.
5
Suppose -3*x = -g - 17, -6*x - 5*g + 17 = -4*x. Suppose 0*i = 3*i - x. Solve 0 = i*z + 2 + 8 for z.
-5
Let w = 11 + -17. Let i = w - -7. Solve -j = 2 + i for j.
-3
Let w be 3 + 2/((-2)/3). Solve -2*c - 4 + w = 0 for c.
-2
Let w be (-18)/(0 + 1) - -1. Let x = -15 - w. Solve -3*v + x = -1 for v.
1
Let h(f) = -f**3 + 3*f**2 + 2*f - 2. Let v be h(3). Solve v*d = -4 - 16 for d.
-5
Let c(d) = -d**3 - 5*d**2 + 6*d + 8. Let r be c(-6). Let t be -3*(-1 + 12/9). Let u be -3*(-12)/(-9)*t. Solve -12 = u*j + r for j.
-5
Let y = 13 + -9. Let z be (-1)/(-4) + 3/(-12). Let h = -6 + 14. Solve h = y*v - z for v.
2
Suppose 0 = -2*o + 3*o. Suppose -7 = -3*f + 2*t - 3, -t - 2 = o. Solve f = -3*b + 1 + 8 for b.
3
Let i be 1/(-2*(-3)/114). Let k = -14 + i. Solve -k*a = -10*a + 20 for a.
4
Let r = -3 + 5. Let a be -3 - (-3 - (-3 - -2)). Let k = r - a. Solve y = k*y + 10 for y.
-5
Let h = -16 + 19. Solve -5 = -4*p + h for p.
2
Let d be 12*((-5)/(-3) - 1). Suppose 4*f - d*f = -8. Let q be 4/(-12) + f/6. Solve -4*g - 8 = -q*g for g.
-2
Let w(k) = -k**3 + 4*k**2 - k - 4. Let y be w(3). Solve 0 = 5*i + 13 + y for i.
-3
Let s be 57/(-12) - 1/4. Let v = 5 + s. Suppose v = -f + 6*f. Solve 0 = -3*i - f*i + 9 for i.
3
Suppose 0 = -14*c + 46 + 10. Solve -3*y - c = -7 for y.
1
Suppose -i + f = -2*f + 12, -4*i = 4*f - 32. Solve -2 = -i*w + 13 for w.
5
Suppose -4*p - 8 = -6*p. Suppose 3*a - 11 = -3*f + 43, -p*f - 19 = -3*a. Solve -5*i - 2 = a for i.
-3
Suppose -4*h - 3 = -11. Let s = 4 - -1. Let i be (-3)/((-3)/s) - h. Solve 6 + 3 = i*x for x.
3
Let d = -9 - -22. Suppose -2*f + 16 = 3*h, -3*h = f - d - 1. Suppose 2*n + 2 = h. Solve t = n + 2 for t.
3
Let u(o) = o**3 + 5*o**2 - 6*o + 3. Let t be u(-6). Solve 3*n + 6 = -t for n.
-3
Let d be -1*(-5 - 4/4). Solve -8 = d*x - 10*x for x.
2
Let x = -3 - -7. Let a = x + -2. Suppose 6 = -a*c + 5*c + 2*z, 5*c - z + 3 = 0. Solve -q + 4*q = c for q.
0
Let u = 82 + -76. Solve -i - 2 + u = 0 for i.
4
Let l be (-8)/6*-3*2. Let n = l + -2. Let b(p) = 2*p - 8. Let o be b(n). Solve o = -2*y - 2 for y.
-3
Suppose -3*r = -5*r + 3*h + 2, 5*h + 8 = 4*r. Let d = r + -7. Solve z - 5 = -d for z.
5
Suppose 5*g = 3*q + 13, -2*g - 5*q + 35 = g. Solve 3*l - g*l = -4 for l.
2
Let p = 24 - 11. Let n = 235 - 228. Solve -4*x - n = p for x.
-5
Suppose 0*j = j + 2. Let c = j - -5. Solve 2*w - w = -c for w.
-3
Let t be (-44)/(-33) - 2/(-3). Solve t*k = -2 - 8 for k.
-5
Let a = 34 + -30. Solve 5 = -9*f + a*f for f.
-1
Let a be 3*-11*(-2)/6. Let m = a - 11. Let f = 6 + -3. Solve -f*z + 0*z + 3 = m for z.
1
Let n be (-25)/(-3) - 8/(-12). Suppose -y = -2*y - 4*v - n, -y + 15 = -4*v. Solve -2*d = y*d - 25 for d.
5
Let d(t) = t + 1. Let v = -11 + 17. Let k(c) = -c + 9. Let w be k(v). Let s be d(w). Solve -5*m - 11 - s = 0 for m.
-3
Let v be 16/((-16)/(-4)) - -10. Let d = v + -9. Solve 12 = -d*p + p for p.
-3
Let u be 24/156 + 4/(-26). Solve -5*j - 7 + 2 = u for j.
-1
Let h(s) be the third derivative of s**6/120 + s**5/6 - 13*s**4/24 - s**3 + 4*s**2. Let x be h(-11). Solve -5*f + 1 - x = 0 for f.
-3
Suppose 0*f + 2*f + 12 = 0. Let w = f - -8. Let c = -17 - -17. Solve -w = -c*y + y for y.
-2
Let l be 15/(-6)*8/(-10). Let z be -3*(1 - 5/3). Let b = l - z. Solve 4*x + 21 - 1 = b for x.
-5
Let t be (2 - (-2 + -1)) + 0. Suppose 5*j - t - 10 = 0. Suppose 5*a - f + j - 7 = 0, -5*a - 16 = 4*f. Solve a = -3*q + 2*q - 4 for q.
-4
Suppose 4*v + 0*y - 16 = -5*y, 16 = 4*v - y. Solve 2*c + v = 14 for c.
5
Let u = 132 + -78. Suppose -4*q - 3*h = -u, -2*q + 26 = 5*h - 3*h. Solve -2*o = -5*o - q for o.
-5
Suppose 0 = 3*g - 0*g. Let r = g + 2. Solve 0 = -0*l - r*l + 4 for l.
2
Let c(n) = -2*n - 7. Let h be c(-5). Solve -h*g - 8 = g for g.
-2
Let t = 7 + -2. Suppose 4*r - t*r = 0. Solve r = -4*n - 8 for n.
-2
Let j(k) = k**3 - 5*k**2 + 5*k - 2. Let i be j(4). Suppose 3*p = -0*p - 6. Let z = p + i. Solve -3*l + 4*l - 1 = z for l.
1
Let x(n) = n**3 - 4*n**2 + 2. Let v be x(4). Let q = 2 + 1. Suppose q*m - 5 - 1 = 0. Solve m*r - 4 = -v*r for r.
1
Let g(t) = 2*t + t**2 - 2 - t + t + 0*t. Let c be g(-3). Solve 0 = -w + 5 - c for w.
4
Let u(n) be the third derivative of -n**6/120 - 2*n**5/15 - n**4/3 - 7*n**3/6 - 2*n**2. Let i be u(-7). Suppose 15*t - 2 = 14*t. Solve i*z + 8 = t*z for z.
4
Let n be 6/(-8) - (-6)/8. Solve n = -3*r + 2*r - 2 for r.
-2
Let c = 32 + -29. Solve z = -c*z for z.
0
Let o = -1 - -7. Solve -o = 4*r - r for r.
-2
Let y = 11 + -5. Let m(j) = j**2 - 2*j - 4. Let x be m(y). Solve -3*l - x + 5 = 0 for l.
-5
Suppose 2*m = -0*m + 10. Solve m*b + 0 = -20 for b.
-4
Let d(r) = -10*r**2 - 2*r + 1. Let w be d(1). Let l = w - -86. Suppose 7*z = 4*z + l. Solve 4*v + z = -v for v.
-5
Let v be -2*1/(6/(-15)). Suppose -17 = -v*q + 8. Solve 0*y - 5 = q*y for y.
-1
Suppose 26 + 18 = 4*t. Suppose -2*r = -3*j + 3, 2*j - t - 10 = -5*r. Suppose j*v + 0*y - 28 = 4*y, -2*y = -v + 8. Solve -2*s + v = 2*s for s.
3
Let f(z) = z**3 + z**2 + 1. Let a(t) = -3*t**3 - 8*t**2 + t - 14. Let l(w) = a(w) + 4*f(w). Let j be l(5). Solve 4*q = -0*q + j for q.
5
Let o(f) = -f**3 + 4*f**2 + f + 1. Let a(h) = -4 + h + 0 + 0. Let y be a(8). Let k be o(y). Solve 0*t - t + k = 0 for t.
5
Suppose 70 + 35 = 5*w. Let h = 31 - w. Let o be ((-6)/(-8))/((-2)/(-16)). Solve -o*k = -k + h for k.
-2
Suppose 5*p + 3*i = 40, 5*i - 31 = p - 11. Solve 0 = 3*r + 20 - p for r.
-5
Let n(s) = -s**3 - 6*s**2 - 6*s - 3. Let d be n(-5). Suppose -10 = 3*v - 4*k, 0 = -v + 2*k - 8 + d. Solve v = -4*f - 2 for f.
-1
Let n(r) = r**3 + 7*r**2 - 7*r + 7. Let w be n(-8). Let l be -1 + 5 + 1*w. Let g = 3 - l. Solve g*i = i + 4 for i.
-4
Let r(q) be the second derivative of -1/6*q**3 - 2*q + 0 - 1/2*q**2. Let m be r(-1). Solve c + m = 1 for c.
1
Let k(o) = -3*o - 17. Let f be k(-7). Solve -9 = -b - f for b.
5
Let u = 22 - 7. Let l be -3*-4*(-1)/(-6). Solve u = -l*b - b for b.
-5
Suppose -h = -5*z - 20, h - 5*h - 4*z = -8. Solve 0 = -0*s - s - h for s.
-5
Let f(j) = j**3 + 5*j**2 + 5. Let i be f(-5). Solve p - i = -0 for p.
5
Let g(k) = k**3 - 2*k + 1. Let a(z) = -z - 2 + 2. Let y be a(-1). Let n be g(y). Solve n*x = x + 3 for x.
-3
Let a(m) = 0*m**3 - 3*m**3 - 5*m + 6*m. Let q be a(-1). Suppose 0*y = -q*y. Solve -c + 3*c - 10 = y for c.
5
Let i = 5 + -7. Let k be (1/i)/((-7)/42). Solve 0 = -2*b + 1 + k for b.
2
Let a(o) = o**2 + o + 6 - 3*o - 4. Let j be a(3). Suppos