 10 = a for f.
-5
Let o(p) = -p**2 - 6*p + 10. Let a be o(-6). Solve 4*g = -g + a for g.
2
Suppose -4*u - 5 = -37. Suppose -3*b + 22 + u = 0. Solve b = -4*l + 2 for l.
-2
Let w(o) = o + 14. Let u be w(-11). Solve u*x = -1 - 5 for x.
-2
Let h(d) = -d**3 - d**2 + 2*d - 3. Let r be h(-3). Let m be 1 - 1 - (-1 - r). Let p = -16 - -21. Solve -p = 3*t + m for t.
-5
Let y be (-16)/((-4)/2) + 0. Let h be -2*(-2)/(-4) + 4. Suppose y = h*k - k. Solve 5*u - 4*u - k = 0 for u.
4
Let g(a) = -a**3 - 3*a**2 + 3*a - 3. Let v be g(-4). Let c be ((-2)/2 - -5)*v. Solve c = n + 2 for n.
2
Let v(x) = -x**2 + 5*x. Let s be v(5). Suppose 30 = 6*k + 6. Suppose n + 0*n = 0. Solve n = k*z - s*z for z.
0
Suppose -2*y = g + 9, 0 = 5*y + g - 0*g + 24. Let s(i) = -i**2 - 6*i + 5. Let p be s(y). Solve -p = 5*c - 3*c for c.
-5
Let n be 0 + 5/(5/21). Let k(r) = -r + 9. Let u be k(7). Suppose -u*v - v = -n. Solve v = 5*w + 2 for w.
1
Let l = 144 - 140. Solve -n = -1 - l for n.
5
Let r(k) = k**3 - 5*k**2 + 5*k - 4. Let p be r(5). Suppose -x + 5 = 4. Solve 5*v = p - x for v.
4
Let i = -68 - -71. Solve h = -i*h + 8 for h.
2
Suppose 10*c = 2*c + 32. Solve x = -c + 3 for x.
-1
Let h = 0 - -4. Suppose -3*k + 5*k - 2*o - 10 = 0, 2*o = 3*k - 17. Solve -h*f = 1 + k for f.
-2
Suppose -d - 4 = -0. Let w = 4 + d. Suppose 0 = 5*s - w*s - 15. Solve -16 = s*l + l for l.
-4
Suppose 4*k = k. Let j = 110 + -104. Solve k = -3*g + j for g.
2
Suppose 0 = -4*x - 2*b + 3*b + 11, -2*x = 4*b + 8. Solve -x*t = 2 - 12 for t.
5
Let v = 8 - -6. Let n = v - 10. Solve -n*m = -m - 6 for m.
2
Suppose s - z - 3 = 4*z, -3*s = -z + 19. Let u = s + 12. Let l = 1 + -1. Solve -u*c - 10 = -l for c.
-2
Let o(c) = -c**3 + 5*c**2 - 2*c + 2. Suppose 0 = 3*h - 7 - 8. Suppose -h*v + v - 5*y = -11, -1 = y. Let s be o(v). Solve s*t = 5*t - 25 for t.
-5
Let h(u) = u**3 - 5*u**2 + 6*u - 4. Suppose -7 - 1 = -2*l. Let t be h(l). Suppose t*r - 5 = 3*r. Solve w - 10 = -r for w.
5
Let t(n) = 3 + 3*n + 1 + 0. Let a be t(3). Suppose r + 21 = 2*s, 2*s = s + 3*r + a. Solve 0*c + 2*c - s = 0 for c.
5
Let k be (-2)/(-2) + -1 + -1. Let r be (6 + k - 1) + 0. Suppose -20 = -2*b + c + c, 4*b = -r*c. Solve 4*g = 3*g + b for g.
5
Let x(t) = -2*t - 11. Let d be x(-13). Solve 5*a - 2*a = -d for a.
-5
Suppose -3*d + 2*f - 12 - 6 = 0, -5*d - 4*f = 30. Let u = 8 + d. Solve 2 = -b + u*b for b.
2
Let n = 4 + 1. Let x = -3 + n. Solve 4*j - x*j + 4 = 0 for j.
-2
Let d = -30 - -30. Solve 4*v - 5*v = d for v.
0
Suppose 3*r - 4*i = 0, 6*r + 3*i - 25 = 2*r. Suppose v + r = -o - 2*o, -5*v - 5*o + 10 = 0. Suppose -b + v*x = b - 28, 4*b = x + 20. Solve 12 = j - b*j for j.
-4
Let r be 0 - 4/20*0. Solve 0 = -2*x - r*x - 2 for x.
-1
Suppose v = j + 1, 1 = 3*v - 5*j - 0. Let i be -3 + 2 + (5 - 2). Let m = v - i. Solve 7*f - 2*f + 5 = m for f.
-1
Let s = 2 - -8. Solve 2*d = 4*d + s for d.
-5
Let s be (3 - 30/8) + 120/32. Solve 2 + s = 5*y for y.
1
Suppose -p = -3*f - 0*f - 18, 0 = -5*p - 5*f - 10. Solve -3 = p*y - 9 for y.
2
Suppose 0 = w + 4*w - 20. Solve -15 = -w*z - z for z.
3
Let w(l) = l**2 - 2*l - 5. Let k be w(5). Let a be 3*(k/(-6) - -3). Let h be 0*(-1 + 2/a). Solve h = -6*c + c - 5 for c.
-1
Let m(a) = -a**3 - 3*a**2 + 3*a + 2. Suppose -1 - 3 = 2*p. Let z be m(p). Let r = z + 16. Solve 0 = -2*q - 2*q - r for q.
-2
Let b be 70/22 + (-2)/11. Solve x + 20 = -b*x for x.
-5
Suppose 0 = -7*x + 39 - 4. Solve -3*j - 14 + x = 0 for j.
-3
Suppose 2 = 3*r - 4. Let w(t) = t**2 - 3*t - 2. Let o be w(4). Suppose -o = -i + r. Solve -25 = -i*b - 5 for b.
5
Let p(j) = -j**3 - 3*j**2 - 2*j - 4. Let c be p(-3). Solve 4 - 12 = c*b for b.
-4
Suppose -3*r - 5*x - 2 = 0, 0 = 5*r + 2*x - 3*x - 6. Suppose -3*d - 3*j - 9 = 0, 0 = 5*d - j + 2*j - r. Let u be -1 + d + 0/(-3). Solve u = -5*w + 7 - 2 for w.
1
Suppose 0 = 4*t + 2 - 6. Let f = t + -1. Let s(g) = 2*g + 1. Let k be s(1). Solve f*a = 3*a - k for a.
1
Suppose 5*c + 10 - 30 = 0. Let k be (12/10)/(4/10). Solve k*i - i = -c for i.
-2
Suppose 0 = -2*v - 3*y + 7 + 5, -v = y - 8. Let o = v + -7. Let j be (-23)/(-5) + 2/o. Solve 2*n + j = n for n.
-5
Let m be 1 + -1 - (-8 - -6). Suppose m*b + 11 = -3*g, -3*b - 4*g + 9 = 23. Solve -b*q - 1 = 1 for q.
-1
Let j(q) = q + 7. Let k be j(-3). Solve -k*i - 16 = -4 for i.
-3
Let r(f) = 3 + f - 4 - 2*f. Suppose 0 = -3*w - 23 + 8. Let t be r(w). Solve -6 = -6*d + t*d for d.
3
Suppose 5*b - 35 = -25. Solve -2 = -b*l - 6 for l.
-2
Let h be (30/45)/(4/30). Solve j = -0*j + h for j.
5
Suppose -5*x - 3*c + 0*c + 87 = 0, -c = -4*x + 56. Suppose -3*d + x = -l + d, -25 = -5*d. Solve -l*p - 25 = -0*p for p.
-5
Let m(d) = d**3 - 2*d**2 + d - 1. Let a be m(2). Solve 0 = -n - 0 + a for n.
1
Let r = -98 - -98. Solve -2 + r = -2*h for h.
1
Let d = -49 + 51. Solve 0 = -5*y - 27 + d for y.
-5
Let z = 88 - 84. Suppose -5*r + 19 = 3*d, -2*d = -2*r - 0 - 2. Solve -5*o = -z*o + r for o.
-2
Let y = -82 + 84. Solve 0 = g - y - 0 for g.
2
Suppose -4*d = -3*u + 12, -u + 3*d + 10 - 1 = 0. Solve u = 5*o - 0*o - 20 for o.
4
Let b be 8 + 1/(-1)*1. Suppose -5*o + 30 = -5*w - 0*o, -3*w - 13 = -2*o. Let x be 2 + -2 - w*1. Solve -b = -3*q - x for q.
2
Let r = 27 - 17. Let k be ((1 - -1) + -7)/(-1). Suppose 0 = -2*p - 3*v - 5 + 20, -p - 3*v + 15 = 0. Solve p*y + k*y = -r for y.
-2
Let i = -15 - -20. Solve 0 = -p + 8 - i for p.
3
Let x = -18 - -11. Let i(u) = u**3 + 6*u**2 - 6*u + 10. Let h be i(x). Let m = -1 + h. Solve m*t - 5 = t for t.
5
Let q be (5 - 4)*(3 + -1). Suppose -3*t = -q - 7. Solve 5*i + t = 13 for i.
2
Suppose 5*p + 5 = -0. Let d be (7 + -7)*(p - -2). Solve d = 4*j + 1 + 3 for j.
-1
Let y = 6 - 3. Solve 0*t = -y*t + 3 for t.
1
Let i be (-7)/(-28) - 14/(-8). Suppose -4 = -3*c + i. Suppose -w - 3 = -0*p - 2*p, -4*w - 2 = c*p. Solve 0 = f + p - 2 for f.
1
Let k be 1/(-1)*0*-1. Suppose k*z + 3*z - 18 = 0. Let x(c) = 2*c**2 - c + 1. Let y be x(1). Solve -d - z = y*d for d.
-2
Let m(q) = q**3 + 13*q**2 + 12*q - 4. Let k be m(-12). Let r be k/26 + 196/91. Solve -5*p + r = -3*p for p.
1
Let l(z) = -3*z - 15. Let s(m) = -2*m - 8. Let y(i) = -3*l(i) + 5*s(i). Let n be y(5). Let u(p) = p + 3. Let o be u(n). Solve -o*c = -7*c for c.
0
Suppose -13 + 4 = -3*w. Solve 4*n - 7 = -w for n.
1
Let p = -10 - -7. Let x be p/(-9) - 33/(-9). Let z(y) = -y**3 + 5*y**2 - 4*y + 3. Let g be z(4). Solve -x*f = -g*f for f.
0
Suppose 0 = v - 2. Suppose -v*y + 19 = -y. Let g = y + -13. Solve -5*l + g = -2*l for l.
2
Let l(p) = -p**2 + 10*p + 13. Let q be l(11). Suppose 5*y + 3 = -2*w + 2, y + 5 = q*w. Solve -w*j = j - 12 for j.
4
Let y(j) = j**2 + 8*j + 9. Let h be 3/(-15) - 34/5. Let i be y(h). Solve 1 = p - i for p.
3
Suppose -10 = -2*o - 3*h, -o + 7*h - 2*h = 8. Suppose 0 = 4*s + 6 + 6. Let n(p) = -5*p - 3. Let i be n(s). Solve o*c + c = i for c.
4
Let l be 10 + -11 + 1 + 3. Solve 4*m - 9 = l for m.
3
Let u(z) = z**3 - 6*z**2 - 5*z - 11. Let i be u(7). Solve -c - i = -5 for c.
2
Suppose m + 2*m - 15 = 5*w, -5*w - 20 = -4*m. Suppose -n = 2*y - 0*y + 49, 4*y + 147 = -3*n. Let z be 2/7 - 133/n. Solve -z = -m*v + 12 for v.
3
Let o = -8 + 11. Suppose 2*q - 10 = 4*f + f, -19 = f + 3*q. Let k = 1 - f. Solve -k*u + o = -2*u for u.
1
Suppose -5*q = 4*z + 97, -5*z = -0*q - 3*q + 75. Let u = z + 18. Solve 3*s + 2*s - 10 = u for s.
2
Let i be 70/22 + (-10)/55. Suppose i*s - 12 = -0*s. Solve -3*g + s = -5 for g.
3
Let s(r) be the second derivative of r**4/12 - r**3/6 - r**2 - r. Let y be s(0). Let j be 13/3 + y/6. Solve 0 = -j*l + 2 + 2 for l.
1
Suppose 0 = 4*b, 0*g = -2*g - 4*b + 2. Suppose -a - 5 = g. Let c = a + 10. Solve 0 = -u + c for u.
4
Suppose -2*m + 33 = 2*p + 3, 5*p = 3*m + 115. Let b = p - 17. Suppose 2*h + 1 = 11. Solve h*t = b*t for t.
0
Suppose 0*n - 8*n = -48. Solve b - n = -b for b.
3
Let p be (-136)/51*6/(-8). Solve 0*y + y = -p for y.
-2
Let s(h) = h**3 + 6*h**2 + h + 2. Let t be s(-6). Let n be (-6)/t*(1 + 1). Solve n*w + w + 16 = 0 for w.
-4
Suppose 6*n - 4*n + 2*i = 0, 20 = 3*n - i. Solve n*x - 4*x = 0 for x.
0
Suppose 0*j = -j + 3. Suppose -5*d - 15 = -5*k, -3 = 4*k + j*d + 6. Solve k = -0*q + 4*q - 12 for q.
3
Suppose -3*d + 40 = d. Suppose 7*c - 2*c - 21 = 3*b, -5*c + 33 = b. Let v = d - c. Solve 0*x + v = x for x.
4
Suppose 10*y + 35 = 3*h + 5*y, h - 5 = -5*y. Suppose -5*i = -0*i - h. Suppose 0 = -o - 3, -7*o - 65 = -