m(f) = -2*f**2 - 3*f. Let i be m(-2). Let z be (-3)/(6/4) - i. Solve 4*o + z*o = 12 for o.
3
Suppose 0*a = -7*a + 3*a. Solve 4*h + h = a for h.
0
Let n(b) = -10*b - 11. Let z be n(-3). Let t = -17 + z. Suppose 4*g = 5*g + 5*m - 25, 2*g = m - 5. Solve g = t*j - j for j.
0
Suppose -4*x = x - 25. Solve -8*q + 12 = -x*q for q.
4
Let u be ((-1)/(-2))/((-3)/(-18)). Suppose -3*k = d - 4, 0*d + 2*d + 5*k - 8 = 0. Solve -d*c + 4 = -u*c for c.
4
Let y(x) = -x**3 - 7*x**2 - 5*x + 4. Let i be y(-6). Let u be ((2 - -2)/(-1))/i. Let g be 6/(-5)*(-45)/18. Solve -d = g + u for d.
-5
Let j = -5 - -9. Suppose 2*q = 5*t - t - 54, -q = 3. Suppose -3 = -5*y + t. Solve -y*c + 5*c = j for c.
2
Let i be 90/(-12)*(-4)/6. Suppose -7*d + 14 = c - 2*d, i*d + 10 = -5*c. Let j = -2 - c. Solve y + j*y = -5 for y.
-1
Suppose 3*m + 9 = -0. Let d = -1 - m. Solve i = -d*i - 12 for i.
-4
Suppose 4*i - 6 = 2*c, 7*c - 27 = 2*c - 4*i. Solve 0 = -c*l - 9 + 3 for l.
-2
Let l = 27 + -23. Suppose -o - o + 24 = 0. Let n = 4 + o. Solve 0*b = l*b + n for b.
-4
Let x = -60 + 63. Suppose -6 - 2 = -2*y. Solve -y*u + x = 7 for u.
-1
Let h be 30/((-2)/4 + 2). Solve -v = -6*v - h for v.
-4
Suppose -4*f - 2*t + 8 = 0, t - 1 = 5*f - 11. Solve -4*k + 2 = -f for k.
1
Suppose 0 = -4*p + 120 - 36. Let m be 2/7 - (-141)/p. Suppose -m*s = -2*s - 50. Solve 2*z - 4*z - s = 0 for z.
-5
Suppose 7*a + 3 = 8*a. Solve 2 = -l - a for l.
-5
Suppose 5*p - 29 = -4*h, p - 2*p - 11 = -2*h. Let i(j) = -j**2 + 6*j + 2. Let t be i(h). Solve 0*c + t*c - 10 = 0 for c.
5
Let y = -21 + 40. Let h = 19 - y. Solve h = 2*s - s + 4 for s.
-4
Let d be 3 + 0 + (3 - 4). Let b(y) = 2*y - 2. Let h be b(d). Solve -4 = -j - h for j.
2
Suppose u = 4*u + 4*t - 26, 0 = 2*t - 10. Solve -2 = -u*j + 4 for j.
3
Let u = -29 - -20. Let f be 6/u + (-32)/(-3). Solve f - 2 = 4*n for n.
2
Let i = -4 - -9. Let v be (2/(-4))/((-3)/(-18)). Let m be v + (5 - (-5 - -2)). Solve -m*o + i = -0*o for o.
1
Let f(m) = m + 1. Let g be f(5). Let v = 9 - g. Let k = -11 - -18. Solve v = -z + k for z.
4
Suppose 2 = 2*p, -6 = -2*k - 6*p + 8*p. Solve 0 = -k*l + 5*l + 1 for l.
-1
Let l(c) = c**3 - 11*c**2 - c + 1. Let j be l(11). Let o = j + 3. Let z = o + 9. Solve 1 - z = -w for w.
1
Suppose -3*u + 4*h + 10 = -u, 2*h - 7 = -3*u. Suppose 15 = u*s + 3*r, s - 13 = -3*s + 3*r. Suppose 0 = -2*v + s. Solve 0*i + v = i for i.
2
Let o be (-22)/(-5) + 2/(-5). Suppose -3*t = -o*t. Suppose 2*a = 6 - t. Solve 4*f + a = 23 for f.
5
Let r(c) be the first derivative of 2*c**3/3 + 3. Let n be r(1). Solve n + 1 = -t for t.
-3
Let v = 11 - 10. Let s be 3/1 - v/(-1). Solve -s*h + 10 = h for h.
2
Let m(v) = v**3 + 11*v**2 + 10*v + 10. Let f be m(-10). Let z = 6 - 3. Solve z*k - f = k for k.
5
Suppose -16 = -4*y - 2*b, 6 = -4*b - 2. Solve -y*l = -0*l for l.
0
Suppose 0 = 6*u - 5*u. Solve 5*o + 11 + 4 = u for o.
-3
Suppose 5*u = -0*u. Solve -2*l + 6*l + 16 = u for l.
-4
Let k(h) be the second derivative of h**3/6 + 11*h**2/2 - 4*h. Let d be k(-9). Solve -4*m - 6 + d = 0 for m.
-1
Let v be ((-3)/3)/(3/18). Let m = 11 + v. Solve -m*s - 5 = -0 for s.
-1
Suppose -8 = 5*a - 3*o + 1, -5*a - 11 = -2*o. Let d = 12 + a. Solve -3 = 3*c + d for c.
-4
Let y(s) = 2*s**2 + 2*s + 0*s - s. Let w = -24 - -25. Let u be y(w). Solve -u*d = -4*d for d.
0
Suppose 5*h = -w + 55, 5*h - w - 65 = -0*w. Solve h = x - 4*x for x.
-4
Let i = 5 + -2. Let l(z) = z + 2. Let q be l(i). Solve q*p - 10 = 3*p for p.
5
Let t(f) = -f**2 + f + 12. Let v be t(0). Suppose 5*c - 20 = 0, -3*i - 5*c + 0*c = -29. Solve 5*k - v = i for k.
3
Let s = -12 - -15. Solve 5*j = -2 - s for j.
-1
Suppose -f + 6 - 2 = 0. Solve 6 = -2*t + f*t for t.
3
Let t(b) = b**3 + 5*b**2 - 2*b + 1. Let f be t(-4). Solve 7*h - 2*h = f for h.
5
Suppose 2*n = -5*p - 3*n + 35, -3*n + 1 = -2*p. Suppose 0 = -l - 5*z + 9, 0 = 2*l + 3*z - p + 7. Let w = l + 6. Solve w = 3*a + 12 for a.
-4
Suppose -4*i + 18 = -2*y + 6, -4*y + i + 4 = 0. Let k be y/6 + 22/6. Solve -k = -0*s - 2*s for s.
2
Suppose 4*k + 33 = 41. Solve k = -3*c + 5 for c.
1
Let n = 53 + -48. Solve 0 = 10*r - n*r + 10 for r.
-2
Suppose 4*h = 4*i - 24, 5*h + 3 - 18 = -4*i. Suppose -4*z - 2*q + 4 = -3*q, i*q = -3*z + 26. Solve 0 = z*k - 5*k for k.
0
Let d be (-1)/1 - (2 - 5). Solve 3 = -h + d*h for h.
3
Let v(n) = -n**2 - 7*n - 7. Let q = 4 + -9. Let h be v(q). Suppose y + 2 = 6. Solve y*g + 9 = -h for g.
-3
Let z be (-15)/9 + (-2)/6. Let v(b) = 3*b**2 + 3. Let c(a) = -4*a**2 + a - 3. Let p(m) = 2*c(m) + 3*v(m). Let q be p(z). Solve -6 = -q*k - 0*k for k.
2
Let y be (-1)/(5/(-20)) - 2. Solve 0 = -0*t - y*t for t.
0
Let l(v) = -3*v - 2. Let p be l(-5). Suppose 4*d + 5*b = 32, d + 2 - 1 = b. Suppose -8 = d*f - 7*f. Solve -p = f*r - 3 for r.
-5
Let c be -3*3/(36/(-8)). Solve -3*g = c*g - 5 for g.
1
Suppose 7 = 4*l - 5. Suppose -2*v - l*v = 5, t + v = 1. Let m be ((-5)/(-5))/(3 + -2). Solve t*x - 3*x + m = 0 for x.
1
Suppose b + 2*b - 68 = 2*k, 0 = 2*b + 4*k - 40. Suppose -3*o - o = 3*f - b, -5*f + 30 = 5*o. Solve 3*n - o = -n for n.
1
Let d be (-1 + 9)/(1/(-1)). Let a(o) = 2*o. Let c be a(-2). Let h = c - d. Solve -h*r + r = 12 for r.
-4
Let y(s) = -6*s + 1. Let t be y(-1). Solve 2*c - t*c = -10 for c.
2
Let q(m) = m**2 + 4*m - 1. Let a be q(-4). Let h be ((-2)/6)/(a/6). Let y be h/(4/(-5))*-2. Solve -y*p = -p for p.
0
Let h(v) = v**3 - 9*v**2 + 10*v - 11. Let i be h(8). Solve -i*x = -6*x for x.
0
Let x(t) = t**2 + 3*t + 5. Let v be x(-4). Suppose 0 = m - 5*n + 4*n - v, 7 = -m - 3*n. Solve 0*f - 25 = -m*f for f.
5
Let i be 6/(-9) + 33/9. Solve v + i*v = 8 for v.
2
Let n(i) be the first derivative of -i**4/4 - i**3 + 2*i**2 - 9. Let x be n(-4). Solve 0 = -a - x + 2 for a.
2
Suppose 8*p - 5*p = -3*l + 114, -4*l = -5*p - 188. Suppose o = -2*o + l. Suppose -3*f + o = 2. Solve f*h + 15 = h for h.
-5
Let c = -31 + 39. Solve 4*j + c = -8 for j.
-4
Let x be (-6)/(-4)*(-16)/(-6). Suppose 3*m - 5 = x*o, 3 = o + 2*m - 4. Let k be ((o + -2)*0)/2. Solve k = 3*t - 4 + 1 for t.
1
Suppose 2*s = 4*s - 16. Solve s = -8*m + 6*m for m.
-4
Suppose -5*q + 3 = 2*b + b, 2 = -2*q + 2*b. Let z be 4 + -2 - 2 - q. Solve z = -2*g - 3*g for g.
0
Let g = 77 - 74. Solve -a + 1 = g for a.
-2
Let b be 1/(-2)*-6 + 1. Solve 3*l + b = -8 for l.
-4
Let u(y) be the second derivative of 0 - 4*y + 1/6*y**3 - y**2 + 1/6*y**4. Let q be u(-2). Solve -10 + 2 = -q*x for x.
2
Suppose 19 + 6 = 5*l. Let i = l - 5. Let k = i - -1. Solve k - 3 = o for o.
-2
Let i = -22 - -17. Let p = 6 + i. Solve 3*u = -p + 16 for u.
5
Suppose 0 = -i - 7 + 10. Let o be (2 + -1)*(4 + 1). Suppose 2*c - o = -i. Solve -3*v + c = 13 for v.
-4
Let r be 4/10 + 8/5. Let h be -10 + (-4)/(r - 0). Let m be (45/h)/((-2)/8). Solve 0 = -g - 2*g - m for g.
-5
Suppose 2*z + 12 = 5*z. Solve -s - z - 1 = 0 for s.
-5
Let p = 24 + -14. Suppose 3*w + p = 4*b, 0 + 2 = 5*w - 2*b. Suppose w*s + 3*s - 20 = 0. Solve -2*y + 6 = -s for y.
5
Let k be (-8)/(-1 + -1 - -1). Suppose -3*t = t - k. Solve t*y = -y - 12 for y.
-4
Let y(r) = -r**2 - 3*r + 2. Let g be y(-3). Suppose 0*d + 8 = g*d. Solve -c - c = d for c.
-2
Suppose 5*l - 4*g + 34 = 0, 2*l = -g + 2*g - 16. Let w(k) = k**2 + 9*k - 8. Let t be w(l). Solve 4*v + 10 + t = 0 for v.
-3
Let a(v) be the first derivative of v**2 + 2*v - 3. Let f be a(3). Solve -4*q - f = -0 for q.
-2
Let l(v) = 2*v**3 - 4*v**2 + 3*v. Let w be l(2). Let y(r) = r**2 + 2*r - 2. Let i be y(-3). Let j be -21*i*(-2)/w. Solve -2*z = -1 + j for z.
-3
Suppose -3 = -3*t, 3*n = -3*t + 4 + 5. Solve n = -o + 7 for o.
5
Let p = -17 - -26. Solve -j - 2*j - p = 0 for j.
-3
Let o(a) = a**2 - 6*a - 5. Let g be 1/((-3)/(-63)*3). Let b be o(g). Solve -d = d + b for d.
-1
Let i be 5 - (1 - 0)/(-1). Let c be 2/6 + (-2)/i. Let a be (-9)/(-6)*(-8)/(-6). Solve c = v + 3 + a for v.
-5
Let q(t) = t**3 - 6*t**2 - 7*t + 4. Let s be q(7). Let f = 6 - s. Solve -f*i = -3*i - 3 for i.
-3
Let q(k) = -5*k**2 + k**3 - 4*k**2 + 3*k + 5*k. Let t be q(8). Suppose 0 = -4*c - t*c. Solve c = -4*p + 6*p - 2 for p.
1
Suppose -2*a = -3*f + 55, -a = -5*f - 6*a + 50. Solve 6*x - x = f for x.
3
Let z be 0 + (0 - 0) + 3. Suppose 6 = -z*y + 15. Solve 2 = m - y for m.
5
Let i be (2/6)/(1/(-9)*-3). Solve i = -w + 5 for w.
4
Suppose 21 = 4*x - q, x - 4 = -0*q - q. Solve -7 = -x*r - 27 for r.
-4
Let n(p) = p + 5. Let 