 1 = q*l for l.
-1
Let z be (-26)/(-5) + 2/(-10). Suppose r = -0*r + 3*b - 8, z*r - 5*b = -20. Let f = 3 - r. Solve -x - f = 4*x for x.
-1
Let v(a) = 2*a**2 - 2. Let g be v(-3). Suppose r + r + g = 0. Let c be (r/5)/(4/(-10)). Solve -c*b = -8 + 28 for b.
-5
Let p(i) = -i**3 + 9*i**2 - 9*i + 12. Let n = 23 - 15. Let k be p(n). Let w = -1 + 1. Solve -5*z + k*z - 5 = w for z.
-5
Let h(l) = 3*l - 33. Let g be h(11). Solve g = 5*p - 20 - 5 for p.
5
Let n(m) = 2 + 1 + 3*m - 2. Let g be n(1). Suppose -5*s = -3*b - 20, b - g*s + 7 + 9 = 0. Solve 0 = -b*j + 2*j - 6 for j.
3
Suppose 0 = 2*n - r - 1, 0*n + 1 = 3*n - r. Solve n = -3*d - d for d.
0
Let p be 1 + (-3 + 2 - -3). Let i = 3 + 9. Solve -w = p*w - i for w.
3
Let s = 1 - 1. Suppose q = y + 9, s = -q - 4*y + 1 - 2. Let f = 9 - q. Solve 0 = p + f - 3 for p.
1
Let o(l) = -2*l + 1. Let t be o(-1). Suppose 0*g = t*g. Solve -2*b = -g + 6 for b.
-3
Suppose -4*c + 3 + 13 = 0. Solve -c*k + 0 + 4 = 0 for k.
1
Let w(c) = -c**3 - 3*c**2 + 5*c + 10. Let q be w(-4). Solve -i = -q*i for i.
0
Let c(v) = 2*v + 4. Let n be c(-7). Let l be n/(-4)*(-60)/(-25). Solve 0 = 2*r - l*r + 20 for r.
5
Let p = 0 + 4. Let w(c) = c**2 - c**3 - 2*c**2 + p - 7*c**2 + 0*c**3. Let j be w(-8). Solve -3*a - a - j = 0 for a.
-1
Let j(u) = 2*u - 10. Suppose -m + 2*s = s - 3, -15 = -5*m - 3*s. Suppose 2*o - m*o + 7 = 0. Let i be j(o). Solve -i*d = -7 - 1 for d.
2
Let q be 10/(-14) - (-2)/(-7). Let w = 2 - q. Let h = 11 - 3. Solve -g - h = w*g for g.
-2
Let a be ((-8)/(-12))/((-2)/(-15)). Suppose -2*y = -a - 7. Suppose -2*j + 0 = -y. Solve -n = -j*n + 8 for n.
4
Let f(g) = 2*g - 8. Let a(s) = -s**3 - 6*s**2 + 8*s + 7. Let x be a(-7). Suppose -o + 2*o - 7 = x. Let b be f(o). Solve -2*h + b = -0*h for h.
3
Let b(d) = d**3 + 6*d**2 + 9*d + 5. Let f be b(-4). Solve -g + f = 5 for g.
-4
Suppose -4*v = -5*v + 5. Let w = -8 - -11. Solve -v - 4 = -w*s for s.
3
Let o be (8/14)/((-8)/(-28)). Suppose -3*v = -8 + o. Let m = -1 - -1. Solve m*y - 10 = v*y for y.
-5
Suppose 3 = z - 2*v + 16, 4*v = 5*z + 35. Let q(o) = o**2 + 2*o - 1. Let l be q(z). Suppose l*j - 3*u - 13 = 0, 4*j + u - 2 = 3. Solve 10 = -4*m - j for m.
-3
Let z(s) = 3*s - 2. Suppose 3*j = -15, x = j + 4*j + 27. Let g be z(x). Suppose -2*n = -g*n + 6. Solve -u + n = 5 for u.
-2
Suppose -l + 29 = -2*t - 0*l, -6 = 2*l. Let u be t/(-10) - (-6)/15. Solve -u - 2 = -2*d for d.
2
Let c = -69 + 70. Solve 2*x + c + 5 = 0 for x.
-3
Let m(d) = -d + 34. Let n be m(24). Solve 0 = g + n - 5 for g.
-5
Let t be 1*(7 + (2 - 4)). Let n(x) = -x**2 + 5*x + 1. Let m be n(t). Solve q + m = -0 for q.
-1
Let j be 0 - 3/15 - 112/(-10). Solve -5*h + 31 = j for h.
4
Let r(t) = -t**3 - 6*t**2 + 7*t + 4. Let z be r(-7). Let m be 4/(((-8)/z)/(-2)). Solve -2*a + 2 = -m for a.
3
Suppose 5*p + 3 = -3*z + 2*p, 0 = -p + 1. Let f(x) = -3*x**3 - x - 1. Let u be f(z). Suppose -i - 4 = 5*y - u, -2*y = 2*i - 10. Solve -y*l + 0 = -4 for l.
1
Suppose 0 + 4 = 4*c. Let n = 5 - c. Solve 8 = -4*y - n for y.
-3
Suppose -l - 2*l = -9. Let r = 23 + -11. Let t = 5 + -5. Solve -l*z + t*z = -r for z.
4
Let c = 143 - 141. Suppose -3*q + 2*q + 4 = 0. Solve 2*y - q = -c*y for y.
1
Let l = -14 + 20. Let i be -1 - (-1 - 3/(-1)). Let m = i + l. Solve 4*s = s - m for s.
-1
Suppose 5*p = -0*p. Suppose -2*n = -0*n. Solve n*f + 3*f + 6 = p for f.
-2
Let j = -1 + -6. Let y be -3*(j/(-3) + -3). Solve -y*o + 0*o = 2 for o.
-1
Let n be 1/(-2) - 1066/(-52). Solve -f - 3*f = -n for f.
5
Let o(t) = -3*t - 2. Suppose -i - 9 = -2*n + 4*i, -2*n + 4*i + 6 = 0. Let x be o(n). Solve -2*f + 3 = x for f.
-2
Suppose 0 = -m + 24. Let g = m - 20. Solve -5*r + 11 + g = 0 for r.
3
Suppose -6 = q - 8. Solve -2*w - q*w = 20 for w.
-5
Let a(y) = y - 2. Let j = 5 - -1. Let s be a(j). Solve 2*o + 0*o = s for o.
2
Let y be 4*(-2)/(-4)*-2. Suppose 4*p + 3*g - 25 = 2*g, -1 = -g. Let l = p + y. Solve -3*n + l + 1 = 0 for n.
1
Suppose 0 = -2*p + 4*p - 6. Solve -p = g - 1 for g.
-2
Let q be 2/(-4) - 9/(-6). Let w be q/1 - (-1 - -3). Let r be (w - -5)*6/8. Solve -r = 4*i + 13 for i.
-4
Let a be (-19)/(-10) + 17/170. Let t(o) = o**2 + 3*o - 5. Let c be t(-4). Let d = 4 + c. Solve -a*k = d*k - 15 for k.
3
Let f(o) = -2*o - 18. Suppose c + 18 = -2*g, 32 = -4*c + g + g. Let v be f(c). Solve 5*n = -v - 13 for n.
-3
Suppose -3*l - 2 = -20. Solve -3*y - 15 = -l*y for y.
5
Let k(h) be the third derivative of -h**4/24 - h**3/2 - h**2. Let w be k(-3). Suppose -4*n + 3 + 1 = w. Solve n = -q - 4 for q.
-5
Let o = -102 - -114. Solve -p = -4*p - o for p.
-4
Let a(l) = l**3 + l**2 + 2. Let w be a(0). Solve w*f + 4 = f for f.
-4
Let v = 0 - -2. Suppose 5*j + t = -1, -t - v = -2*j - 1. Let a be (-2 - -1) + 4 + j. Solve 4 = -a*g - 8 for g.
-4
Suppose 10 = q + 4*q, -5*q = -4*y + 38. Suppose 3*f - y = -3*g, g + 5*f - 6 = 2. Solve g*c + 2*c + 15 = 0 for c.
-3
Suppose 2*j + 5 = 3*w, 0 = 2*w + 3*j + 3 - 15. Solve 0 + 9 = w*g for g.
3
Suppose 5 + 15 = -2*w. Let a = w - -14. Solve -n + a = -2*n for n.
-4
Let s(y) = -2*y + 6. Let z(g) = -5*g + 18. Let q(w) = 8*s(w) - 3*z(w). Suppose 4*l = 2*l - 20. Let r be q(l). Solve a - r = -a for a.
2
Let y = -33 - -48. Solve m + y = -4*m for m.
-3
Let l = 5 - 8. Let i = l + 12. Let z be (3/i)/(1/12). Solve 23 - 3 = -z*y for y.
-5
Let d(u) = u**2 - 3*u - 5. Suppose 5*f = m + 7 + 10, m = -5*f + 23. Let s be d(f). Let t = 1 + s. Solve t*q = -q + 3 for q.
3
Suppose -3*g + 22 = 5*q, 8 = -2*q + 5*g - 8. Solve 10 = -q*f - 0*f for f.
-5
Let u(d) = d**3 + 3*d**2 + 3. Let o = 3 - 2. Suppose -3*j - 8 = o. Let a be u(j). Solve -l = -a*l for l.
0
Let x(r) = 4*r + 16. Let s be x(-3). Solve 2*c + s = 3*c for c.
4
Suppose 2*j = -5*t - 8, -5*j = -2*j + 12. Suppose -3*q + 3*h - 10 + 28 = t, 4*q + 3*h - 3 = 0. Solve -7 = -2*a - q for a.
2
Let t be (-12)/(-18) - (-116)/6. Let a = -13 - -18. Suppose 0 = 3*r - x - x - 12, -5*r + a*x + t = 0. Solve -r*n = n + 20 for n.
-4
Suppose -4*n - 8 = -0*n, -4*n + 1 = 3*m. Solve m*l = 1 + 2 for l.
1
Let h be 0 + 2 + 2 + 0. Solve -13 = -h*n + 3 for n.
4
Suppose 3*l + 2 = 5*l. Let f(a) = a**2 - 4*a + 3. Let v be f(4). Suppose -j + v = -l. Solve 0 = -5*n + j*n - 1 for n.
-1
Let h = 42 + -40. Solve 5 = 7*x - h*x for x.
1
Suppose 3*f = f + 4. Suppose -f = -5*w - 7. Let l be -2 + (5 - 0/w). Solve l*z + z + 16 = 0 for z.
-4
Suppose y + 3*d = 11, -3*y - 4*d + 20 = y. Solve 0 = -3*r - y*r - 10 for r.
-2
Suppose -15 + 60 = 5*h - g, 3*h = 2*g + 27. Let l(a) be the third derivative of a**4/12 - 13*a**3/6 + a**2. Let b be l(h). Solve b*w = 4 - 9 for w.
-1
Suppose 10 = -5*r + 50. Suppose -7 = -3*v + r. Solve -5 = -2*a + v for a.
5
Let l(j) = -j. Let p be l(-3). Solve -5 = p*y - 14 for y.
3
Let i be (-2)/5 - 208/(-20). Let b = 12 - i. Solve -3*w - 4 = b for w.
-2
Let h(l) = l**2 - 13*l - 9. Let n be h(14). Solve n = 2*c - 3*c for c.
-5
Let t be (-810)/(-48) + (-2)/(-16). Suppose -3*l - u = -t, 5*l - 7*u + 4*u = 19. Solve -2*f = l - 15 for f.
5
Let k be 3/2*12/9. Suppose 0*i = 3*i - 84. Suppose -b + i = 3*b + 5*p, b + p = 6. Solve s + b + k = 0 for s.
-4
Suppose g = 2*g - 2. Let m(c) = c + 13. Let f be m(-11). Suppose 3*x - 5*t = -4, -2*x + 3*x - 6 = -f*t. Solve -x*z - g = 2 for z.
-2
Let u be ((-12)/(-10))/((-3)/(-10)). Suppose 3*c - 6 = -0*c. Let w = 43 - 21. Solve c = -u*s + w for s.
5
Let x be (-3)/(9/(-15)) + -3. Suppose 0 = 3*i - 2*i - x. Solve -4 = 6*k - i*k for k.
-1
Suppose -4*m - 8 = 12. Let o = 7 - m. Solve z - 4*z = -o for z.
4
Let c be ((-3)/(-5))/(3/15). Let a(k) = 8 - c + 0*k + k. Let j be a(-4). Solve 4 = -w + j for w.
-3
Let m be (0 + (3 - 0))*3. Solve 2*d = -d + m for d.
3
Let s = -21 + 56. Suppose -6*q + 2*q + s = 5*k, 0 = 3*q - 3*k - 6. Solve -q*i = 6 + 14 for i.
-4
Suppose -5*w = 4*p - 17, 5*p - 9 = 5*w + 1. Solve -5 = -t - w for t.
4
Let h = 0 + 2. Suppose 3*c - 25 = -h*l, -4*c - 4*l + 2 = -38. Let p be (4/3)/(1/3). Solve -p - 1 = c*m for m.
-1
Let x(l) = -l**2 - 7*l - 5. Let u be x(-5). Solve -3 + u = -n for n.
-2
Suppose -x + 18 = -4*n, 3*n - 8*n = -3*x + 26. Solve -x*g + g + 2 = 0 for g.
2
Let m(d) = 3*d**2 - 13*d - 8. Let q(k) = k**2 - k. Let j(g) = m(g) - 4*q(g). Let i be ((-2)/(-5))/(1/(-20)). Let n be j(i). Solve n*z = 4*z - 8 for z.
2
Let q(o) = -o**3 - 3*o**2 + 3*o - 1. Let x be q(-4). Let c be (-1)/x - 3/(-9). Suppose 2*d - 4 = 