13 = -4*l + f*x. Solve -a + 0*a + 3 = l for a.
3
Suppose 3*q - k + 3*k - 14 = 0, -13 = -3*q - k. Suppose -4*y = -y, -q*u - 2*y + 32 = 0. Solve 0 = 2*f + 2*f + u for f.
-2
Suppose 6*g - 3*g = 12. Let l = 4 - g. Let s be (-2)/3 - 16/(-6). Solve l*u - s = -u for u.
2
Let l be 13/(-2) + 1/2. Let r be 6/4*(-8)/l. Solve -r*s - s = -6 for s.
2
Suppose s + 0*s = -743. Let n = s - -399. Let t be n/(-28) - (-2)/(-7). Solve 5*w = 37 - t for w.
5
Suppose 0 - 1 = -n + p, -p = -5*n + 1. Let z be ((-8)/(-2))/2 - n. Suppose 13 = 3*a - h, -z*h + 5 = -h. Solve -4*s + 6 = -a for s.
3
Let i be (-3)/(-3) - 3/(-3). Solve -5 = i*h + 5 for h.
-5
Let s(g) = g**3 - 2*g**2 - 2*g**2 + 6 - g + 3*g. Let v be s(3). Solve -d - 4 = -v for d.
-1
Let d be 3/(-2)*(-10)/(-3). Let p(m) = m**2 + 4*m - 3. Let t be p(d). Solve t*k = 6*k + 20 for k.
-5
Suppose -4*d + 4 = 3*r + 5, -5*d - 3*r = -1. Solve u = -d*u - 9 for u.
-3
Let y be 5/(-5*(-4)/16). Solve -y*g + 2 = 6 for g.
-1
Let p = -3 - -7. Suppose 3*j = 0, -p*r - j + 2*j = -32. Solve -2*b + 2 = -r for b.
5
Let f = -6 + 0. Let s be (-2)/(-6) + 2/f. Suppose -4*k + 4*p + 40 = s, 0*p - 4*p - 12 = 0. Solve -k = -g - 2 for g.
5
Suppose 0 = -0*a - 2*a + 8. Let v be (-2)/(a/3 + -2). Solve 0*r + v*r - 6 = 0 for r.
2
Let t = -3 + 3. Suppose t = -4*m - m + 20. Let d(r) = -r**3 - 6*r**2 + r + 7. Let p be d(-6). Solve 5*l = p + m for l.
1
Let x(o) = o + 3. Let i be x(1). Solve 3*h - 2*h - i = 0 for h.
4
Let w = 43 + -21. Suppose 2*i = -h + 5*h - 16, w = 5*h - 3*i. Solve 0 = h*u - 4*u + 8 for u.
4
Suppose 16 = 4*i + 8. Solve -c = i*c for c.
0
Let w be 5*(-4*(-15)/10 + -2). Solve 0*l - 5*l - w = 0 for l.
-4
Suppose 0 = -4*m - a + 3*a, -10 = -m - 2*a. Solve 2 = -0*z - m*z for z.
-1
Suppose 24 = 9*h - 12. Solve -h*y + 19 + 1 = 0 for y.
5
Let s(x) = x + 10. Let a be s(-5). Solve 0 = -0*m + a*m + 10 for m.
-2
Suppose 3*l - 3 = g, -l - 3*g - 9 = 3*l. Solve h - 5 = -l for h.
5
Let l(m) = -m - 6. Let d be l(-6). Suppose o + 2*o - 6 = d. Solve q + o*q = -3 for q.
-1
Suppose 0 = -6*g + 7*g. Solve -2 = 2*r - g for r.
-1
Suppose -4 = -5*z - 2*u - 0, -3*u - 9 = 0. Solve -z*a = 3*a for a.
0
Suppose -3*n - 2*k + 8 = 0, -5*n = -0*n - 2*k - 8. Suppose 0*w - n*w + 6 = 0. Solve -w*b = -2*b - 2 for b.
2
Suppose r = 6 + 5. Suppose 0 = -4*o - 3*i + 113, 2*o = 7*o + 5*i - 140. Suppose -3*g - r = -o. Solve -5*j = -g*j - 3 for j.
-3
Suppose 414 - 94 = 20*w. Solve 2*v = -2*v + w for v.
4
Let r(a) = -a**2 + 5*a + 8. Let u be r(6). Solve 0 = w + u*w - 6 for w.
2
Let x(y) = -y**2 + 5*y. Let l be x(5). Suppose -b + l + 2 = 0. Solve 3*d = b - 5 for d.
-1
Suppose 0 = 2*p - 4*d - 22, -7*p = -2*p + 5*d + 5. Let u(s) = -s**3 + 5*s**2 - 2*s - s**2 - 6 + 1 + 4. Let k be u(p). Solve -k*h = -h - 4 for h.
4
Let s(f) = 0 - 4*f - f + 3*f + 5. Let h be s(-5). Solve -2*p + h = 5 for p.
5
Let j = -2 - -5. Suppose j = 2*o - 5. Suppose -36 = -o*r + r. Solve 3*w = -w - r for w.
-3
Suppose 0 = -2*l + 35 + 15. Solve 5*p + l = -0*p for p.
-5
Let k(x) = 14*x - 10. Let u(v) = 5*v - 3. Let l(z) = -3*k(z) + 8*u(z). Let i be l(-7). Solve -3*s + 8*s = -i for s.
-4
Let d be 1/(-6) + 6/36. Solve 3*o + 2*o + 10 = d for o.
-2
Suppose 1 = 2*c - h - 3, -3*h = -c - 3. Solve -19 = -c*m - 4 for m.
5
Let d = 29 + -19. Let v = d - 5. Solve j = -0*j - v for j.
-5
Let j(a) = -a**3 - 7*a**2. Let w be j(-7). Solve 4*s + 0*s - 8 = w for s.
2
Suppose q + 6 = -3*b, -5*q + 5*b = -12 + 2. Solve 2 = -2*w - q*w for w.
-1
Let l = -4 - -9. Suppose -l*x = -x. Suppose 2*g - 2*o + 5*o = -5, x = g + o. Solve 28 = g*u + 3 for u.
5
Let l = 64 + -56. Solve m - 5*m - l = 0 for m.
-2
Let g be (12/(-10))/((-12)/40). Suppose v + 4*l + 9 = 0, 0*l = -3*v - 4*l - 3. Suppose -5*m + 15 = y - 5, -10 = v*m + 5*y. Solve 4*k = m*k + g for k.
-4
Let s be 18/27*3/(-2). Let v = 8 + s. Solve -v = -5*g + 3 for g.
2
Let v be ((-1)/3)/((-2)/30). Solve -5 - 10 = -v*o for o.
3
Let i be 2/6 - 3/9. Suppose i = y - 4*y + 24. Let n be (9/(-6))/((-6)/y). Solve 13 = -3*k - n for k.
-5
Let k(t) = t - 3. Let s be k(-6). Let w = 6 + s. Let d be (-3 - -3) + 0/w. Solve d - 6 = -3*y for y.
2
Let d = -3 - -6. Suppose -d*t + 2*t - 21 = -3*p, 2*p + 3*t - 3 = 0. Let m = -3 + p. Solve -7*k = -m*k - 12 for k.
3
Suppose 5*y = -10*y + 30. Solve -y*n - 2 = 2 for n.
-2
Let b(m) = -m**3 + 6*m**2 - 4*m - 1. Let x be b(5). Solve -2*z + 8 = -x*z for z.
-4
Suppose 0 = 4*y - 62 - 2. Solve -y = -2*m - 6 for m.
5
Let g(d) be the third derivative of d**6/40 - d**5/60 + d**3/6 - 2*d**2. Let l be g(1). Let y be (2*l/(-3))/(-2). Solve 4*q = -y + 5 for q.
1
Let l(k) = -2*k + 2. Let q be 12/(-2) - (3 + -6). Let a be l(q). Solve 0 = -d - d - a for d.
-4
Suppose f + 30 = 4*f. Let m be 2/f - 14/(-5). Suppose -2*g + 1 + 1 = 0. Solve -m = -2*z + g for z.
2
Let h = -33 + 69. Suppose -5*f = 5*r - 115, -2*f - 5 + h = -3*r. Solve 0 = -2*w - 2*w - f for w.
-5
Let i(o) = o**3 + 6*o**2 - 3*o - 10. Let n be i(-6). Let l(x) = -x**2 + 3*x - 2. Let s be l(4). Let u be (-3)/9 + (-2)/s. Solve u*m = -2*m - n for m.
-4
Let r = 18 - 13. Suppose 0 = 5*t - r - 20, -o + 5*t - 29 = 0. Let c(y) = -y + 1. Let u be c(o). Solve 0 = -h + u for h.
5
Let a be (-4)/(-38) + (-131)/(-19). Solve a = -4*q - 9 for q.
-4
Suppose 0 = -3*w - 3*i + 15, w + 3*i = 3*w + 10. Let s = 1 - w. Let n(f) = -f**3 + 3*f**2 + 3*f + 8. Let d be n(4). Solve d = -s*r + 4*r for r.
1
Suppose 6*p - 20 = p. Solve p*z - 13 = 7 for z.
5
Let g = -18 - -22. Solve g*d = d for d.
0
Suppose 8 = 2*i - 4. Solve 2*l = -i - 2 for l.
-4
Let w(n) = 6*n. Suppose 0 = -5*l + 3*l. Let h = 2 + l. Let m be w(h). Solve 3*v + m = 6*v for v.
4
Suppose 0 = -4*s + 11 - 3. Suppose s = 3*i - 7. Solve -8 = p - i*p for p.
4
Let c = 54 - 29. Let h(q) = q + 2. Let i be h(-2). Solve 5*v + c = -i for v.
-5
Let j(s) = -s**3 + 5*s**2 - s + 5. Let d be j(5). Suppose -2*x = -5*x. Solve d = -x*y + 3*y + 15 for y.
-5
Suppose -4*s = 1 - 17. Suppose -s*k = k. Solve k*o = -3*o - 9 for o.
-3
Suppose 0 = -5*f - j - 0 - 3, -2*f + 3 = -j. Let d = 0 + 4. Solve d = -f*r - r for r.
-4
Suppose -99 = 4*q + 373. Let x be (-1)/(-4) - q/8. Let i = -7 + x. Solve 5*s - i - 2 = 0 for s.
2
Let z(x) = -4*x**2 - 3 + 2*x**3 - x + 2*x + 4*x - x. Let t be z(2). Solve 0 = -5*b + 4*b - t for b.
-5
Let b(i) = -5*i**3 - 21*i**2 + 6*i - 2. Let c(j) = 4*j**3 + 20*j**2 - 5*j + 3. Let v(k) = 5*b(k) + 6*c(k). Let a be v(15). Solve 4*h - 4 = a for h.
3
Suppose 2*u - 5*v - 17 = -8, -v = -3*u + 7. Solve -u*c = -4*c for c.
0
Let t(s) = -s - 2. Let q be (9/(-3))/((-9)/(-6)). Let a be t(q). Solve -d = -a*d for d.
0
Let f(j) = -2*j - 11. Let b be f(-9). Solve b = 2*a - 1 for a.
4
Suppose -3 = -i - 2. Let q be (2/4)/(i/12). Let d = 11 + -11. Solve d = 4*u - q - 10 for u.
4
Suppose 0 = -4*u + 3*k + 11, 5*u = 5*k + 3 + 12. Solve -r + 2 = -u*r for r.
-2
Let z be 6/4*(-68)/(-3). Suppose z = 4*d + 2*w, 0 = -d - w + 2*w + 4. Solve 4*g + 9 + d = 0 for g.
-4
Suppose 5*r - 9 = -2*v, 11 = 4*r - 5*v - 16. Let l be 1*(1 - (0 + -1)). Suppose b = -l*b. Solve -6*z + r*z = b for z.
0
Let a = -8 + 11. Suppose a*q - 60 = -q. Solve 0*y + 3*y = q for y.
5
Suppose -5*n = x - 5*x - 62, -n + 4 = 2*x. Suppose -3*y + n = -2. Solve y = -q + 3 for q.
-1
Let n(h) = h + 5. Let g(v) = -v**2 - 6*v - 3. Let j be g(-5). Suppose d = -5, -j*o + 0*o + 4*d = -28. Let b be n(o). Solve 0 = -4*w - 11 - b for w.
-5
Let n = -65 - -72. Solve -3*a + 8 = -n for a.
5
Suppose -7 + 19 = 2*m. Suppose 3*a = 7*a - 8. Let c = m - a. Solve 0*b = -c*b - 12 for b.
-3
Let l(v) = -v**3 + 4*v**2 - 5*v + 3. Let y be l(3). Let z be (-1)/(-3) - 5/y. Let n be 4*(3/z - 0). Solve 0 = -f + 3*f - n for f.
3
Let y(o) = -o**2 - o + 2. Let x be y(0). Suppose 4*j - j - 3 = 0. Let z be (-2 - -4)/(j/x). Solve 0 = z*v + v + 5 for v.
-1
Let m(v) = -2*v + 2*v**2 - 2 + 0 + 4 + 4*v. Let b be m(-2). Suppose -3*p = -o + 11, 3*p - 4*p - 7 = -o. Solve -o*z = -b*z - 4 for z.
-4
Let n(i) = -i + 12. Let l be n(5). Let x = 9 - l. Solve -x*s + 2 = -0*s for s.
1
Let n = -7 - -18. Let v be (-1 + n)*(-8)/(-10). Let a(g) = g**2 + 3*g - 7. Let f be a(-5). Solve 1 = -f*r - v for r.
-3
Let k = 8 + 8. Let a = k - 16. Solve -5*o - 19 - 6 = a for o.
-5
Suppose 5*n = 20, 3*r - 12 = -3*n + 6. Suppose -2*p - p = -y + 6, -p - r = -3*y. Solve y = t - 5*t - 20 for t.
-5
Suppose -5 = 2*b - u + 4, 2*b - 5*u = -29. Suppos