. Let m be l(f). Solve -m*a = -a + 2 for a.
-2
Suppose 0 = -2*o + o + 16. Let j(p) = p - 12. Let a be j(o). Solve a*m - 12 = m for m.
4
Let v(a) = 4 + 4*a - a**2 + 3*a**2 - 2 + a. Let s be v(-3). Suppose -s = -4*q - q. Solve 3 - q = -m for m.
-2
Let z be (-12)/42 + 16/7. Suppose p = g + 3, -5*p = -2*g - z - 13. Let j = 2 + g. Solve -3*o = j*o for o.
0
Let k = 0 - -5. Solve 0 = 8*s - k*s + 15 for s.
-5
Let a(c) = 2*c - 1. Let r be a(5). Suppose -4*l + r*l - 5 = 0. Let n(y) = y**2 + 4*y - 3. Let z be n(-5). Solve -z*j - 3 = -l for j.
-1
Suppose -2*w - 2 = -x + 3, -3*w = -2*x + 10. Suppose -x = -n + 4. Solve 4*m = m - n for m.
-3
Let w be (-1 - -3) + 4/4. Suppose -3*p + 12 - 9 = 0. Solve -p = w*y - 4 for y.
1
Let d be -8*1/(-3)*3. Solve -3*k = -d*k - 25 for k.
-5
Let w = 2 + 1. Suppose w*k + 5 = 35. Solve 0 = 2*d - k - 0 for d.
5
Suppose -i - 4 = -2*i. Suppose 0 = -x - 5, i*r - 3 = -0*r - x. Solve -r*p = -6*p for p.
0
Let h(c) = c + 7. Let o be h(0). Let k(a) = -a - 1. Suppose 0 = 2*q - b + 5, 7 = -5*q - 3*b - 0. Let d be k(q). Solve -4*n + o = -d for n.
2
Let i = 8 + -6. Let q = -122 + 124. Solve 4*x - i = q*x for x.
1
Let z = 18 + -13. Suppose -z*x = -2*c - 5, -5*x + 4 + 6 = -c. Solve -3*a + c*a - 2 = 0 for a.
1
Let u(g) = g**3 - 11*g**2 + 12*g - 8. Let y be u(10). Solve 5*x - 8 = y for x.
4
Suppose -4*n + 16 = 4*g - 4, 20 = -5*g + 4*n. Suppose -a - 2*j = -14, 3*a + 2*j - j = 57. Suppose o + 0 + 5 = 0, 5*f + o - a = 0. Solve g = -f*h + 3*h for h.
0
Suppose 4*a = 6 - 2. Let f be 0/((0 - a)/(-1)). Solve f = 2*x - 4 + 14 for x.
-5
Let i(x) = 2*x**3 - x**3 - 3*x - 3*x**2 + 5*x**2. Suppose 2*w + 1 - 5 = 0. Let g be i(w). Solve -g = -2*h - 0*h for h.
5
Suppose 3*g + g - 13 = -v, 0 = 5*v - 3*g - 19. Solve 4*j - v*j + 5 = 0 for j.
5
Let s be (-1 - -2) + 2 + 0. Suppose k - 11 = -r, r - 20 = -r - k. Solve s = 4*t - r for t.
3
Let n be 3 + -2 + (-1)/(-1). Suppose 2*t + 0*t - 3 = 3*g, -n*t - 4*g + 24 = 0. Solve 0 = s - t*s for s.
0
Let z be -10*2/10*-2. Let x = -10 + 10. Solve -z = 4*w - x*w for w.
-1
Let w = -1 + -6. Let r = 13 - w. Solve -v = 4*v - r for v.
4
Suppose 0 = -5*m + 15, r - 4*m = 3*r - 24. Solve 0 + r = -2*v for v.
-3
Suppose 2*v + 1 = 13. Solve p = -p - v for p.
-3
Let o(j) = -2*j - 2. Let q be o(-5). Let z = -13 + 13. Solve 3*s - 1 - q = z for s.
3
Suppose 3 = -f + 4. Let d be (-10)/4 - (-6)/(-4). Let b be (-1)/(f*2/d). Solve -b*u = 1 - 3 for u.
1
Let z be (-735)/(-12) - (-2)/(-8). Let a = z - 40. Suppose w - 1 = -2*o - 7, -a = w + 5*o. Solve 2 - 14 = w*h for h.
-3
Suppose 12 = 2*o - d + 4*d, 5*d = -4*o + 20. Suppose -4*f - 70 - 26 = 0. Let x be (2*-3)/(f/16). Solve o = 2*y - x for y.
2
Suppose -4*u - u = 60. Let o be ((-15)/u)/((-1)/(-16)). Solve 5*f = f - o for f.
-5
Suppose -4*k = -3*k. Solve 7*p - 2*p - 25 = k for p.
5
Suppose -3*n = -5*n + 38. Suppose -21*m + n*m = 0. Solve m = -5*u + 18 - 3 for u.
3
Let q = -12 + 15. Solve 0 = -5*k - q - 2 for k.
-1
Suppose 3*f - 4*o + 3*o = 16, -4*o = 5*f - 21. Solve f*q + 2 = 7 for q.
1
Let z be (2/7)/((-2)/(-14)). Solve z = 4*s - 2*s for s.
1
Let h be (-7 + 0)*1*-1. Solve 0 = 2*d - h*d for d.
0
Suppose -4*c - 4*c = -32. Solve c*p - 2 = 6 for p.
2
Let i(o) = o**3 - 9*o**2 + 8*o + 2. Let a(x) = -9*x - 1. Let y be a(-1). Let g be i(y). Solve g*r = r - 5 for r.
-5
Let t(k) = k + 1. Let h be t(-1). Suppose -2*n + 13 = -3*m, h*m + 9 = -3*m. Solve n*w - 5*w - 6 = 0 for w.
-2
Let l(g) = g**2 - 5*g - 3. Let p be l(6). Solve p*h + 8 = 5*h for h.
4
Let z(v) = -v**2 - 14*v - 35. Let s be z(-4). Solve 14 - 4 = -s*c for c.
-2
Suppose -5 = -5*y + 4*y. Solve 3*n = -1 - y for n.
-2
Suppose -2*p = -4*p + 16. Let v be 25/9 + (-4)/(-18). Solve -z - p = -v for z.
-5
Suppose 4*u = u. Let a be (-112)/84*(-9)/4. Solve a*t + 10 + 5 = u for t.
-5
Let o = -69 - -71. Solve o*h + 3 = h for h.
-3
Let p be (-2)/(7/(105/(-6))). Let a be (p/3 + -2)*-12. Solve 7*u - a*u - 12 = 0 for u.
4
Let h be (-4)/10 - 256/(-40). Solve 2*c + 0 = -h for c.
-3
Suppose -2*b + 24 = 2*b - 4*n, 5*b + 5*n - 70 = 0. Let o = -4 + b. Solve 0 = r + 2*r + o for r.
-2
Let g = 1 + -1. Let k be (-9)/(-1) + 2 + g. Solve k = 5*l - 14 for l.
5
Suppose 3*w - 3 = 9. Solve 0*c + w = -2*c for c.
-2
Suppose m + 3*m + 20 = -z, 0 = 3*z - 4*m + 108. Let w = z + 58. Suppose 2*a - a = w. Solve -a = 5*d - 1 for d.
-5
Suppose 5*z - 5*g - 40 = 0, 3*z = -2*g + 7*g + 18. Let i(w) = -w**3 + 11*w**2 - w + 13. Let h be i(z). Solve -k = -h*k - 4 for k.
-4
Let p(i) = -i - 1. Let v be p(14). Let m = 15 + v. Solve m = -j - 2*j - 15 for j.
-5
Suppose 0 = -s - 3*h - 7, -5*s - 4*h = h - 5. Let n = 2 - s. Let x = 3 + n. Solve x = m + m + 10 for m.
-5
Let u be (-1 + 3)*5/10. Suppose u = 2*f - 3. Solve 0 = -0*o + f*o + 8 for o.
-4
Let h(z) = -z**3 + 15*z**2 + 17*z - 14. Let q be h(16). Solve -q = -v + 3 for v.
5
Let a = 3 + 1. Let p be (-4)/6*(-42)/a. Suppose 12 = -3*u + p*u. Solve -2*b = u*b - 20 for b.
4
Let s be (-3 - -3)/(-2) + 3. Let d(m) = m**3 + 6*m**2 + 3*m + 5. Let k be d(-5). Let t = k + 4. Solve s*f - t + 4 = 0 for f.
5
Suppose 3*x + x - 13 = r, 3*r - x = 5. Solve r*h = -2 - 1 for h.
-1
Let l be -9 + -3 + (-4)/(-1). Let u be (l/(-20))/(2/50). Solve -u = 2*o - 0*o for o.
-5
Suppose 0 = -3*d + z + 4*z - 8, 0 = d - z. Solve m = d*m for m.
0
Let m = 13 - 13. Solve -4*f - 4 = -m for f.
-1
Let k(f) = -3*f - 7. Let u be k(-3). Suppose 0*h = 2*h. Solve -u*q = -h + 4 for q.
-2
Suppose -53 - 27 = -5*y. Solve -3*d = d - y for d.
4
Suppose 2*g + 10 = -3*n, -5*n + 0*n + 25 = -5*g. Let o = n + 6. Solve -f - o = 2*f for f.
-2
Let q(p) = -p - 1. Let m be q(-4). Let d = -5 + 5. Suppose -3*f - 2*v + 23 = 2*f, -v + 4 = d. Solve 4*n - f*n = m for n.
3
Suppose 4 + 2 = z. Let q(g) = g - 6. Let s be q(z). Solve 4*y + 1 - 5 = s for y.
1
Suppose 3*j - 8 = 1. Let y(t) = -t**2 + 11*t + 5. Let w be y(6). Suppose w = 5*n - 5. Solve j*d - 5 = n*d for d.
-1
Suppose -4*f = -3*g + 9, -g + 3 = -4*f - 0*f. Let r = f - -18. Let t = 33 - r. Solve j + 2*j - t = 0 for j.
5
Suppose 0 = -6*l + 7*l - 3. Suppose l*r - 4*r = 3, -j + 12 = -3*r. Let z = 0 - -12. Solve 6*k - j*k + z = 0 for k.
-4
Let x be (-4)/(-1*(-1)/(-2)). Let v = x - 4. Solve -v*l + 2*l = -8 for l.
4
Suppose 3*x + 5 = 2*l - 4*l, 0 = 3*l + 2*x. Solve a - 1 = l*a for a.
-1
Suppose -5*w + 0*w + 315 = 0. Let n be (4/(-6))/((-6)/w). Let o(q) = 4*q - 19. Let l be o(5). Solve -2*u = n + l for u.
-4
Suppose -2*u = 2*f - 22, -4*u - 26 = -4*f + u. Solve -3 = -4*t + f for t.
3
Let x = 1 + 4. Suppose -x*w - 2 = -12. Suppose 4*c = -r - 0*c + 4, 5*c = -w*r + 8. Solve r*y + y = -15 for y.
-3
Suppose -4*z = -18 - 6. Solve z = -j + 1 for j.
-5
Let f(l) = -l**3 + 4*l**2 + 14*l + 3. Let v be f(6). Let o = 30 - v. Solve 8*j + o = 5*j for j.
-5
Let f(m) = -m - 1. Let x(n) = -n**3 - 7*n**2 + 8*n - 2. Let k be x(-8). Let j be f(k). Solve u + j = 2 for u.
1
Let y(c) = c**3 + 2*c**2 - c + 1. Let r be y(-2). Solve -r = -5*q + 2 for q.
1
Let q(d) = -d**2 - 9*d - 3. Let h be q(-8). Let c be ((-2)/(-4))/((-2)/(-20)). Let w = h - c. Solve w = -8*o + 5*o - 12 for o.
-4
Let n(q) = q. Let k be n(2). Suppose 0 = u - 2*u + k. Solve j + u = -j for j.
-1
Suppose 4*m - 4*d = 28, 7*m - 3*d = 3*m + 24. Solve -q = m*q + 8 for q.
-2
Let i be 3/1 + -3 + 0. Solve i*j - 1 = -j for j.
1
Suppose 0 = -3*w - 5*s - 0 + 40, 0 = w + 4*s - 25. Suppose w*a - 20 = a. Solve 0 = a*p - 0*p + 10 for p.
-2
Suppose 5 = -5*d - w, -3*d + 4*d - 4*w = -22. Let h be (-2 - d)/((-2)/(-2)). Solve h = -q + 6*q - 25 for q.
5
Let o(p) = -p**3 - 24*p**2 - 22*p + 23. Let t be o(-23). Suppose -21 = 5*i - 71. Suppose t = -6*y + y + i. Solve 0 = y*j - 3*j + 3 for j.
3
Let t(m) be the second derivative of m**5/20 - m**4/4 - 5*m. Let d be t(3). Solve d = -2*f - 2*f - 12 for f.
-3
Suppose 0 = 2*x + j - 1, 0 = 3*x - 5*j + 4 - 38. Solve -4*r = -3*r - x for r.
3
Let k = 11 + 13. Let x be (2/3)/((-4)/k). Let m = -4 - x. Solve -5*j + 10 = -m for j.
2
Suppose 4*d = 5*i + 50 - 15, 0 = -5*i - 3*d. Let l be i/((-6)/4) + 16. Let p be (-36)/8*4/(-6). Solve 0 = -3*a - p + l for a.
5
Suppose 5*c + 4*z + 0*z - 6 = 0, -7 = -c + 5*z. Solve 2*o = -8 + c for o.
-3
Let g = 29 + -20. Suppose -g = -2*k - d - 0*d, -3*k - 2*d = -16. Suppose -k*h = -5*h + 9. Solve -3*s - h = -9 for s.
2
Suppose 3*r = -2 + 14. Suppose 8 - 24 = -r*z. Solve z*m + 12 = -0