 a be d(12). Solve 4*f + 1 = -a for f.
-2
Suppose f + 0*f = 4, -5*o = 4*f - 51. Let m = o + -6. Suppose 6*x - 5*x - m = 0. Solve 8 = 3*h - x for h.
3
Suppose -2*z = 0, -s + 4*s - 6 = -2*z. Let i be ((-132)/55)/(s/(-5)). Solve l - 2 = -i for l.
-4
Let u(t) = t - 2*t + 2*t. Let w be u(2). Suppose -5*v + 0*v - w*i = -16, 0 = -3*v + i + 14. Solve -v*c + 9 = 1 for c.
2
Suppose -f = f + q - 9, 4*f - 12 = 4*q. Suppose 3*r = -5*y + f - 0, 0 = -3*y - 3. Solve 2*s + s - r = 0 for s.
1
Let a be (-12)/16 - (1 - (-23)/(-4)). Solve 0 = 3*i + 1 - a for i.
1
Suppose k - 5 = 3*g - 0, 4*g = 3*k - 20. Let m(h) = -h - 10. Let c be m(-9). Let d be (-2)/(-4)*10 + c. Solve d*z + k = 28 for z.
5
Let o be (0 - -1)*(0 - -2). Suppose -o*k - 3*k = -20. Solve 0 = 3*t - k*t for t.
0
Let t = -5 + 2. Let x be -46 - (t + 2 - -1). Let q be 2/5 - x/10. Solve -q*b - 4 = -4*b for b.
-4
Let z(s) be the first derivative of -s**4/4 - 4*s**3/3 + 5*s**2/2 + 2. Let g be z(-5). Solve g = 5*i - 10 for i.
2
Let d be ((-10)/4 - 0)*-2. Let c = 13 - 8. Solve d*j + c - 20 = 0 for j.
3
Let u(w) = -w. Let q be u(0). Suppose -7*p + 10*p - 6 = q. Solve 7*n = p*n + 5 for n.
1
Let t(l) = -l + 2. Let y be t(-4). Let b = y + -4. Let n = 1 - 1. Solve b*z + 8 + 0 = n for z.
-4
Let m(h) = -4*h - 18. Let y be m(-9). Solve 2 + y = 5*a for a.
4
Let n(p) = p - 3. Let v be n(7). Let q be 8*1 - (v - 4). Solve -q = 4*k + 4 for k.
-3
Suppose 7*l - 44 = 138. Solve -4*b + l - 6 = 0 for b.
5
Suppose -20 = 4*a, 5*a + 70 = -3*j + 6*j. Let q = 2 + 0. Suppose j = -u + 5*m + q, 0 = 3*u + 4*m - 37. Solve -3 = -5*w + u for w.
2
Let k = -22 - -24. Solve -k*p = -0*p + 2 for p.
-1
Let q = -13 - 25. Let s be q/(-6) - (-4)/6. Suppose 5*c - s = 23. Solve 0*u = -2*u + c for u.
3
Suppose 4*n - 9 = 3*n. Suppose 5*m - 4*p = p, 3*m = -3*p - 30. Let f = m + n. Solve 4*a - 3*a = f for a.
4
Let x = -3 + 5. Suppose 0 = -2*h - 6, 0 = -2*y - x*h - 8 + 22. Let d(w) = -w**2 + 10*w + 2. Let t be d(y). Solve m + 1 - t = 0 for m.
1
Let y(c) = c**3 - 4*c**2 - 5*c + 4. Let n(m) = m**2 + m. Let r(s) = -n(s) + y(s). Let b be r(6). Solve -k = -b*k + 12 for k.
4
Let a(d) = d**3 + 8*d**2 - 11*d - 3. Let o be a(-9). Solve 0*i = -3*i - o for i.
-5
Let i = -19 - -29. Let f = -6 + i. Solve -10 = -a - f*a for a.
2
Suppose 6 = -g + 15. Solve 5*s = -16 - g for s.
-5
Suppose 0 = -a - 5*l + 28, 2*l = l + 4. Let f = -8 + a. Solve 2*p - 3*p + 3 = f for p.
3
Let i be ((-1)/(-2))/((-2)/(-40)). Suppose -10*w + 162 = -4*w. Suppose -2*t = -3*q + w + 28, 2*q = -4*t + i. Solve 0 = 4*j - j - q for j.
5
Suppose 0*b = -2*w + 4*b + 268, 384 = 3*w + 3*b. Let x be 630/w - 4/(-26). Solve 4*z = -11 - x for z.
-4
Suppose -5 = 4*m + 4*s + 7, 0 = -2*s. Let k(y) = -y - 1. Let i be k(m). Let j be (4/(-10))/(i/(-10)). Solve -1 = j*f + 1 for f.
-1
Let s(x) = x**3 - 14*x**2 + 13*x. Let n be s(13). Solve 0 = -n*u - 4*u + 20 for u.
5
Let f be (-2)/3*90/(-4). Let g = f + -5. Suppose g*z = 6*z + 8. Solve 0 = -0*n + n + z for n.
-2
Suppose -2*d - v = -3*v - 26, -5*v = -d + 25. Solve -d + 0 = -5*o for o.
2
Let u be (252/20)/(2/10). Let j be ((-4)/(-6))/((-1)/u). Let r be (-5)/2*j/35. Solve 0 = -2*a - r - 3 for a.
-3
Let d be (1/3)/(1/12). Let c = -3 + d. Solve -2*w = c + 3 for w.
-2
Suppose -3*x - 69 = -9. Let a be ((-12)/(-8))/((-6)/x). Solve -a*u - 1 + 6 = 0 for u.
1
Suppose -4 = 4*c, 17 = 5*u - 3*c - 6. Suppose 2*a - a = u. Solve w - 2*w = a for w.
-4
Let y(f) = f**3 - f**2 - f. Let x be y(2). Let i(r) = -r**3 - 2*r**2 + 2. Suppose 2*w - 2 = -6. Let n be i(w). Solve x = -p + n*p for p.
2
Let g be (-2)/(-6) + (-44)/(-12). Suppose 2*a - g = -4*l, a = -3*a - 8. Solve l*y + 3 + 3 = 0 for y.
-3
Suppose -3*m + 2*p + 51 = -22, -3*m + p = -74. Suppose 2*i = m + 1. Solve 4*z - 5 = -i for z.
-2
Suppose -4*q + 15 + 25 = 0. Suppose 7*j + n = 4*j + 12, -j + 2*n = 3. Let a = 6 - j. Solve a*d + q = d for d.
-5
Let d(r) = -2*r**2 + 4*r + 8*r**2 - r**3 - 7*r**2 + 4. Let f be d(-4). Solve 0 = -5*z - f + 11 for z.
-5
Suppose l = -2*u + 13, -5 = -5*l - u + 3*u. Solve 2 = -l*p + p for p.
-1
Let o(b) = b**2 - 10*b - 12. Let i be o(10). Let t be (0 - -7)*i/(-14). Solve 3 - t = -w for w.
3
Suppose -5*q - p + 137 = 38, 0 = q + 2*p - 27. Let l = q + -17. Solve 0*f - 2*f = l for f.
-1
Suppose 6*c - 42 = 96. Suppose -26 + c = -3*a. Let t = -4 + 6. Solve -t*r = -9 - a for r.
5
Suppose 3*t = t + 22. Let u be 4/12 - t/(-3). Solve 0*y = -u*y + 16 for y.
4
Let x = 13 + -5. Let i be (-2)/(-8) - (-30)/x. Solve 0*s - 4 = -i*s for s.
1
Let z be (0/1)/(-1 - 12/(-4)). Solve -5*j - 10 = -z for j.
-2
Let u = 3 - 1. Suppose -2*k = 2 + u. Let m = k + 2. Solve m = -2*i - 2*i for i.
0
Suppose 5*p = -11 + 21. Solve -p - 2 = -t for t.
4
Let m = -8 - -17. Solve m + 6 = -3*u for u.
-5
Let z be (5/10)/((-4)/24) - -7. Solve z*f - f = 9 for f.
3
Suppose 2*d + 0*d + 15 = -f, 5*d + 45 = -5*f. Let y = -5 - d. Solve -7 = -2*l + y for l.
4
Let y = 40 + -20. Solve -y = 4*w - 9*w for w.
4
Let k be 1/((-1)/(-2) - 27/90). Solve 0 = 4*c - k + 1 for c.
1
Let o(a) = 2*a - 4. Let r be o(4). Let j(f) = -3 + r*f + 1 + 3. Let z be j(1). Solve 0 = 3*l + 14 - z for l.
-3
Let i = 21 - 18. Solve u + 0 = -i for u.
-3
Let u(n) be the first derivative of n**2/2 + n + 4. Let g be u(-1). Solve g = 5*x - 3 - 2 for x.
1
Suppose -14 = -3*y + 5*t + 8, -10 = 5*t. Suppose -5*h - 25 = 0, 2*n - 26 = -n + y*h. Solve n*m - 3*m + 5 = 0 for m.
5
Suppose -v + 10 = -2*v. Let o = 16 + v. Solve -3*i = -6*i - o for i.
-2
Let j(n) = -n**3 - 8*n**2 + 2*n + 8. Let p be j(-8). Let d be (4/p)/(1/(-12)). Let c = d - 6. Solve -2*r - 2*r + 20 = c for r.
5
Let p(i) = -i**3 - 5*i**2 + 6*i - 1. Let f be p(-6). Let y be -3*(f - (-1)/3). Solve y*h - 3 = -h for h.
1
Suppose -3*p - 4*s + 28 = 0, 3*p - 26 - 6 = -2*s. Let c = -2 + 2. Suppose 2*f - t = 6, t = f - t - 3. Solve -f*o + p = -c*o for o.
4
Suppose 0 = 3*t + 2 - 11. Let p = 2 + 1. Solve p + t = 2*u for u.
3
Suppose -2*h - 4*t = -0*t - 28, -3*t + 36 = 4*h. Solve -h*j - 16 = -2*j for j.
-4
Let t(q) = -q + 4. Let p be t(4). Suppose -4*x + 12 = 2*x. Suppose 5*l - 6 = 2*a, -3*a + 12 = l + x*l. Solve p = s - 0*s + l for s.
-2
Let j(w) = 2*w**2 + w. Suppose -2 = -2*q - a, -5*a = q + 4*q - 5. Let m be j(q). Suppose 0 = -2*v + 5*i + 19 - 5, -m*v + 35 = -4*i. Solve 2*d + v = 7 for d.
-5
Suppose 5*l = 6*l. Suppose 0*n = -4*b + 2*n + 26, l = -2*b - 3*n - 7. Suppose -2*g + b = 2*g. Solve g = -4*m - 11 for m.
-3
Let b = -13 + 17. Solve -b*r - 20 = r for r.
-4
Suppose -3*t - 4 - 8 = 4*u, u = -3*t - 12. Solve -4*l = -u + 12 for l.
-3
Let u be 10 + -9 + 13/(-1). Let f = u + 18. Solve 0 = -4*o + f*o - 8 for o.
4
Let i(a) = -a**3 - 2*a**2 + a. Let o be i(-3). Solve -o*k = -4*k + 10 for k.
-5
Let w(c) = -c**3 - 4*c**2 + 4*c + 6. Let k be w(-5). Let z be (-14)/(-1)*(-143)/(-26). Let t be 36/14 - (-33)/z. Solve 4*b + t = k for b.
2
Let s = -17 - -20. Solve -2*j = s*j + 5 for j.
-1
Let s(v) = v**2 + 5*v + 6. Let o be s(-3). Solve o = -3*j - 2*j + 25 for j.
5
Let y = -5 - -5. Solve 0*q + 3*q = y for q.
0
Let i(v) = v**3 - 7*v**2 + 7*v - 6. Let w be i(6). Suppose 0 = 2*l - 5*z - 0 - 27, 3*l - 2*z - 35 = w. Solve -4 = 5*c + l for c.
-3
Let w(b) = -b**3 - 9*b**2 + 2. Let y be w(-9). Let l be y*(-1)/6*39. Let t = l + 28. Solve 4*n + t = -n for n.
-3
Let w be (-1 - -1)/(-2 + 3). Suppose s + 3*m = -0 + 1, s = -2*m - 1. Let i = -3 - s. Solve w = 2*v - 0*v - i for v.
1
Suppose j - 2 = -2*m, 2*j + m + m - 10 = 0. Let w = -6 + j. Solve -p + 1 = -w*p for p.
-1
Suppose -5*w - 13 = 4*u, 4*w + 6 + 26 = 4*u. Let r = 9 + w. Let m = r + -2. Solve -v - 4 = -m for v.
-2
Let n = 13 - 8. Suppose -5 = n*h, 0*h - 2*h + 10 = 4*g. Solve -g*c + 6 - 3 = 0 for c.
1
Let f(z) be the third derivative of z**4/8 - z**3/2 + 2*z**2. Let d be f(2). Suppose -5*u = h - 23, u = h - 0*h + 7. Solve -2*j + u*j = -d for j.
-1
Let f(i) = 2*i + 17. Let h be f(-7). Solve 3*g = -3 - h for g.
-2
Let f = 162 - 158. Solve -f*g + 1 - 13 = 0 for g.
-3
Suppose -7 = h - w + 6*w, 2*h = -2*w + 2. Suppose h*i - 4 = 2. Solve -i*b - 1 = -3 for b.
1
Suppose -3 = -4*t + 41. Suppose w - t = -2*r, 3*w - 4 = -w. Solve -19 - 1 = r*i for i.
-4
Suppose 0 = -2*c + c + 3. Solve 2*d = -c*d for d.
0
Suppose 7*m - 4*m + 48 = 0. Let u = 23 + m. Solve 3*c - u*c - 16 = 0 for c.
-4
Suppose -3*l - 1 = -4. Let m(i) = i**3 - i. Let