. Solve l*k - 5 = k for k.
5
Let w(v) = v + 11. Let a be w(-6). Suppose a*t - t = -i + 7, 5*i + 22 = -t. Solve 5*b - t*b = 0 for b.
0
Suppose 0 = l - 3*l + 4. Suppose -4*r + l - 26 = 0. Let q be ((-3)/(-9))/((-1)/r). Solve -2*t = -6 + q for t.
2
Suppose 0*h = -2*h + 6. Suppose -n + 0*n = -3. Suppose -n = -2*v + h. Solve k = -v*k for k.
0
Suppose 18 = 5*o - 3*i, 4*o + 6 - 46 = -4*i. Suppose -2*x - 4*s = -o, 0 = -4*x + 3*s - 4*s + 19. Solve 5*h - x = -0*h for h.
1
Let l = -42 - -42. Solve 2*a + 8 = -l for a.
-4
Suppose 4*v + 2 - 6 = 0. Solve 3 + v = -4*s for s.
-1
Let s(x) = -x + 8. Suppose 8*n - 3*n - 25 = 0, -2*y + 3*n = 3. Let u be s(y). Let l = -2 + u. Solve l = h - 6*h for h.
0
Suppose 5*v + 1 = t + 4*v, 2*v = 5*t - 8. Solve -5*l + 7 - t = 0 for l.
1
Let v = -5 + 6. Let l = 3 - v. Let x be 0*(l + 0)/2. Solve k = -x*k for k.
0
Let p(n) = n**3 + 10*n**2 + 8*n - 7. Let o be p(-9). Solve -2*b - 2 = o for b.
-2
Let n(q) = q**2 - 5*q - 1. Let v be n(6). Suppose -2*u = -v*u. Let x(r) = 4*r**3 + 2*r**2 - r. Let y be x(1). Solve -2*k - 3 - y = u for k.
-4
Let a(n) = -12*n. Let m be a(-2). Let v be (-38)/(-8) + (-18)/m. Solve -v = o - 5*o for o.
1
Let f be 188*(-8)/(-288) + (-4)/18. Solve f*v - 10 = 3*v for v.
5
Suppose 3*p - 2*p = 2. Let a = -54 - -57. Solve -p = a*b + 7 for b.
-3
Let o(k) = -2*k**2 + 4*k - 1. Let y(g) = 3*g**2 - 7*g + 3. Let r(w) = -5*o(w) - 3*y(w). Let j be r(-3). Solve -j*f + f = 0 for f.
0
Let z be 2/(-10) + (-3)/(-15). Solve -2*h + z = -4 for h.
2
Let p = 17 + -17. Solve -g + 0*g = p for g.
0
Let o = -13 - -18. Suppose 10 = o*r + 5*n, 0*r - 4*r + 18 = -n. Solve -t + 12 = -r*t for t.
-4
Let g be (0/(-1))/((-2)/1). Suppose g*u = -2*u, 3*p = 3*u + 12. Solve 0 = -3*n + 2 + p for n.
2
Let k be (1 - 1)*(-3)/(-3). Let d(u) = u**2 + 3*u - 7. Let j be d(-5). Suppose -j*i + i + 4 = k. Solve -i - 10 = 4*z for z.
-3
Suppose -2*l - 3*x - 9 = 0, 2*x - x = -2*l + 1. Suppose 2*g = -l + 13. Solve -g*d - 12 = -2*d for d.
-4
Let q be (11/2)/((-1)/(-2)). Let b(z) = z**3 - 11*z**2 + 3. Let x be b(q). Suppose -x*h - j + 3 = 0, h - 10 - 4 = 4*j. Solve 0 = s + h + 1 for s.
-3
Suppose 10 = -5*z - c - c, -z + c + 5 = 0. Solve -3*n + 3 = -z*n for n.
1
Suppose 0 = -2*u + u - 3*k, 0 = 3*u - 3*k - 12. Let p be ((-12)/8)/(u/(-4)). Suppose p*f = 4*b - 3 + 1, b + 5*f - 6 = 0. Solve 0*o = -o + b for o.
1
Let f(w) = 4*w. Let o be f(3). Solve 7*q = 3*q - o for q.
-3
Let h = 28 - 17. Suppose 5*c - 5*i = 0, i - 3 = 5*c - h. Solve -f - c = -4 for f.
2
Let y(k) = k**3 - 7*k**2 + 6*k. Let n be y(6). Solve 5*w = -5 - n for w.
-1
Let w be 21/(-4) - 6/8. Let k = w - -6. Solve 4*o = -4 - k for o.
-1
Let h be 1/(1*(-1)/(-3)). Let r = -6 - -8. Solve h*a - 25 = -r*a for a.
5
Suppose 5*o = 5 - 0. Let g be 2*o*(-6)/(-3). Let n(x) = x**3 + 13*x**2 + 11*x - 12. Let r be n(-12). Solve -z - z + g = r for z.
2
Let o = -40 + 45. Solve -o*b + 11 - 31 = 0 for b.
-4
Let n(y) = -y + 20. Let r(z) = -z**3 + 4*z**2 + 3*z - 2. Let h be r(4). Let k be n(h). Solve 6*i = i + k for i.
2
Let n = -1 - -1. Let p = -1 + n. Let k be -1 + (p - 9/(-1)). Solve m = k - 2 for m.
5
Let v = -9 - -29. Let r = v + -31. Let q be 2/r + 233/11. Solve q = -4*m + 1 for m.
-5
Let w(d) = -d**2 - 5*d + 1. Let o be w(-5). Let k = 1 + o. Solve i = -4 + k for i.
-2
Suppose 2*v = -0*v. Suppose v = 2*o + o + 4*h - 30, -h = 4*o - 53. Suppose 1 = 5*s - o. Solve -s*i + 2*i = -4 for i.
4
Suppose 0 = -a - 1 + 6. Solve -a*t - t - 18 = 0 for t.
-3
Suppose 4*r - 2 = 2. Let b(h) = 2*h**3 + h**2 - 1. Let j be b(r). Let n be 6 - (j + -3 - 0). Solve -n*v = -2*v + 15 for v.
-3
Suppose -4*p + 3 + 45 = 0. Solve -2*v + p = v for v.
4
Let k = -5 - -9. Suppose 2*w - 5*w = 0, 0 = -k*n + w. Let x be (n/(2 - 3))/1. Solve 2 = -x*r - r for r.
-2
Let h be (-80)/14 + (-4)/14. Let j be h/(-21) - 10/(-14). Let u be j + (0 - 1)*-2. Solve 0 = u*x - 0*x - 9 for x.
3
Suppose 4*g - 5 - 7 = 2*p, 5*g - 15 = 3*p. Suppose l = -c + 5, -g*c + 6 - 1 = l. Solve c*i = 5*i + 10 for i.
-2
Let l be -6*((-8)/(-6) - 2). Suppose -u - 4 = -2*u. Suppose -6*b + u*b + 2 = 0. Solve -l = a - b for a.
-3
Let m be 3 + 8/(40/(-15)). Solve b = -m*b - 3 for b.
-3
Let j = -60 + 64. Solve 2*x = j*x - 6 for x.
3
Let m = -7 - -5. Suppose 3*p + u = 11, -2*p = 3*u - 30 + 11. Let x = m + p. Solve x*q - 10 = 2*q for q.
-5
Suppose 8 = 8*y - 32. Solve 0 = y*p - 18 - 7 for p.
5
Let q(k) = k + 2. Let p be q(6). Solve -p = 2*c - 2 for c.
-3
Let k(h) be the first derivative of 0*h**2 + 7/3*h**3 - 2 + 3*h + 1/4*h**4. Let p be k(-7). Solve -10 = p*z - z for z.
-5
Suppose 5*j - 40 = 5*z, -j + 29 = 3*j - 5*z. Solve -5*d = -31 + j for d.
4
Suppose -o - 10 + 3 = -2*x, -o + 4*x + 3 = 0. Let c = o + 19. Solve c*z = -0*z for z.
0
Suppose 4*m - 6*m + 48 = 0. Suppose -r + 2*z + m = 0, 5*r = -2*z + 20 + 40. Let l = r - 8. Solve -3*k = l - 3 for k.
-1
Let f(d) = 20*d**3 + 2*d**2 - 3*d + 1. Let x be f(1). Solve -2*w - 3*w = -x for w.
4
Let h be 78/5 + (-4)/(-10). Suppose 2*d - h = -5*p + d, -2*p + d = -5. Solve -2*b = -p*b + 1 for b.
1
Suppose 17 - 7 = 5*n. Let g be -2 + ((-30)/(-3))/n. Solve -4*i = -g*i for i.
0
Let z(m) = 9*m. Let a be z(2). Suppose 0 = -2*w + 4*s, w + 3*w = 2*s + a. Solve v + w - 3 = 0 for v.
-3
Let a(h) = -h**2 + 5*h - 4. Let g be a(4). Solve g = 5*n - 2 - 3 for n.
1
Let y be 2/5 + 46/10. Let q = y - 3. Suppose 0 = -q*a - 3*m + 5 + 22, a + 19 = 5*m. Solve -26 + a = -4*p for p.
5
Let a be 34 - (-6)/9*3. Suppose 0*p = 3*p - a. Solve -p = -4*q + 8 for q.
5
Let l be 1 + -2 + (1 - -4). Suppose 3*w - l*w + 2 = 0. Solve w*z - 2 = -0*z for z.
1
Let m = -1 - -1. Suppose -3*s + 7 + 8 = m. Solve -3 = 4*n + s for n.
-2
Suppose 4*w - 7*w = -9. Solve -s - w = -4 for s.
1
Let u(f) = f**3 + 6*f**2 - f - 3. Let i be u(-6). Solve 2*v - i = -v for v.
1
Let g = 21 + -12. Suppose -g = -3*r - 3. Solve 0 = 3*i + r + 1 for i.
-1
Suppose 3*t + 0 = -6. Let r be (18/(-3) - t)/(-2). Suppose -r*u = u - 6. Solve -5*m + u = 12 for m.
-2
Suppose -o - a + 0*a = -8, 2*a = -4*o + 24. Solve -o*c - c = 0 for c.
0
Let z be 1860/108 + 4/(-18). Let t = z - 13. Solve -t*k - 5 - 7 = 0 for k.
-3
Suppose 0 = -4*w + 9 + 3. Suppose 3*l - l = c + 5, -w*l - 5*c = -27. Solve -14 - 2 = -l*o for o.
4
Let q(h) = -h**3 + 2*h**2 - h. Let y be q(1). Solve -3 = -a - y for a.
3
Let l(t) = t**2 + 3*t - 2. Let p be l(-4). Let c(d) = -d**2 - 6*d + 9. Let j be c(-7). Suppose -a = 3*n - 6, -j*n + 4 = 2*a - 4*n. Solve -p*m + m + a = 0 for m.
3
Let i(r) = 2*r**2 + 11*r + 10. Let j be i(-5). Solve w - j = 2*w for w.
-5
Let f(s) = 2*s - 9. Suppose -n - 3 = 2*j + 2*j, 0 = 5*j - 2*n - 6. Suppose j = -u + 2*u - 7. Let v be f(u). Solve -p = 4*p - v for p.
1
Suppose -5*i + 4*r = 2, -r = -3*r + 6. Suppose 4*g - i*g - 4*z = 38, z + 62 = 4*g. Solve -2*o - o = -g for o.
5
Let b(n) = -n + 15. Let d be b(11). Suppose d + 1 = 5*l. Solve 0 = 4*q - 3*q - l for q.
1
Suppose -b + 2 = -1. Suppose b*a = 4*a. Solve a = 4*w - w for w.
0
Suppose -6*l + 4 = -2*l. Solve -l = -5*k - 26 for k.
-5
Suppose 16 = -4*f + 4*v, 0 = -0*f - 2*f + v - 4. Solve -12 = 3*t - f for t.
-4
Let o(g) = -g + 14. Let i be o(11). Suppose -3*h + 9 = 2*d - 11, i*h = 4*d - 4. Solve 3*c = 5*c + d for c.
-2
Let t = 26 + -36. Let l = t - -6. Let h = l + 8. Solve -3*x + h = -2 for x.
2
Let i(t) = -2*t**2 + t + 4. Let j(v) = v**2 + 1. Let n(f) = -i(f) + 2*j(f). Let a be n(2). Let y be 32/15 - (-16)/(-120). Solve y*q + 2*q - a = 0 for q.
3
Let r = 0 - 0. Let l = -3 + 5. Let b(y) = -y**2 - 3*y + 7. Let d be b(-4). Solve -d*n + l*n + 2 = r for n.
2
Let n(l) = 2*l**3 - 5*l**2 + 3*l. Let w be n(2). Suppose 3*j + 6 - 18 = 0. Suppose -x - j*x = -10. Solve w*r = -0*r - x for r.
-1
Suppose 0 = 3*w - 10*w + 7. Solve 0 = -c + 6 - w for c.
5
Suppose -4*f + 2*f + 10 = 0. Suppose 3*k - 20 = -2. Suppose 0 = 5*d + k - 16. Solve l + d = f for l.
3
Let n(i) = -7*i**3 + i. Let w be n(-1). Suppose 4*z + 4*b = 4, 3*z - 4*b + 12 = -20. Let t = z + w. Solve 3*l = t*l for l.
0
Suppose -3*f + 16 = 4. Solve m + 0 = -f for m.
-4
Let k = 14 - 4. Let l be 1 + 3 + k/(-5). Solve -r - l*r = -3 for r.
1
Let q be 1*((3 - 0) + 2). Solve v = -0 + q for v.
5
Let w(s) = s**3 - 9*s**2 + 13*s + 7. Let h be w(7). Solve -2*t + h = 2 for t.
-1
Suppose -b - k - 58 = -6*b, 0 = -3*b - 2*k + 40. Solve -3*y = -7*y + b for y.
3
Suppose 9 + 3 = -