10*s + 1. Let z be y(c). Solve -5 - z = 5*k for k.
-3
Suppose 12*t = 7*t. Suppose z + 15 = 4*z. Solve -z = -o - t for o.
5
Let o = 4 - 0. Let u = o - -8. Suppose 0*m - 3*m = -81. Solve -5*a + u = m for a.
-3
Let a = 37 + -28. Solve 0 = 2*f + f - a for f.
3
Let n(a) = -a**3 - 19*a**2 + 20*a + 3. Let z be n(-20). Solve k = 6 - z for k.
3
Let h = -114 + 116. Solve -h*o - 3*o - 25 = 0 for o.
-5
Let w be 114/18 + (-2)/6. Let y = -5 + w. Solve -4 = x - y for x.
-3
Let f(o) = 5*o**2 - 1. Let m be f(1). Let r be 1*m*(3 + -1). Let v(x) = x**3 - 4*x**2 + 4. Let n be v(4). Solve n*d = r*d for d.
0
Let b be 221/39 - (-4)/(-6). Solve 2 = -3*y + b*y for y.
1
Suppose 0*n = 5*n + 5*y - 30, -5*n - 15 = -4*y. Let v(m) = 12*m - 1. Let s be v(n). Let a = -7 + s. Solve 0 = a*q - 0 - 4 for q.
1
Suppose 5*t + 5*f = 4*t + 41, -205 = -5*t - 4*f. Suppose -t = -4*m - 17. Let h be (-44)/(-10) - m/(-10). Solve h*z - z - 8 = 0 for z.
2
Let o = -99 + 105. Solve 2*i - 5*i = -o for i.
2
Suppose 2*u - 7 = 3*j + 2*j, j = 3*u - 4. Solve u = -p - 1 for p.
-2
Suppose 2*f - 18 = -4*x, 5*x = 2*x - 4*f + 11. Suppose -2*l - 1 = -x. Let d be -1 + l + (-1 - -7). Solve -v = -d + 3 for v.
4
Let m(w) be the first derivative of -1 - 1/2*w**2 - 5*w + 1/4*w**4 - w**3. Let t be m(4). Solve t*q = 3*q + 4 for q.
1
Let p(o) = o**2 + 4. Let t be p(4). Suppose -2*y = -3*y + 5. Suppose -z + f = -2*z + 9, -y*f = 4*z - 38. Solve -z*r = -2*r + t for r.
-4
Let n(o) = -o**2 + 5*o - 3. Let a be n(3). Solve -d + a = 2*d for d.
1
Let q(x) = -5*x + 86. Let p be q(17). Suppose -2*a = -4*a + 8. Suppose o + 0*o = a. Solve p = o*h - 3 for h.
1
Suppose -3 = -4*d + 3*d. Solve -d*h - 6 = -0*h for h.
-2
Let t(h) = 3*h**3 - h**2 + h - 2. Let l = 6 - 4. Suppose -i + l = -0*i. Let o be t(i). Solve 3*j = -2*j - o for j.
-4
Let p = -3 - -14. Suppose -q + 2 = z - 0, 5*z - 12 = -3*q. Let a = -546 + 550. Solve z*o - a = p for o.
5
Let w(q) = 13*q**3 + q. Let h be w(1). Suppose 3*x + h = 50. Suppose 0 = 3*p + x, -2*p = -c - p + 8. Solve 13 + 7 = -c*b for b.
-5
Suppose -2 = 5*g + 2*j, 4*g + 2*j = 3*j + 1. Solve -m + 3*m - 6 = g for m.
3
Let r(i) = 5*i - 7. Let d be r(3). Solve 0 = 5*q - q - d for q.
2
Let s be -4 + -1 + 2 + 8 + 0. Solve 0 = -s*w + 7 + 3 for w.
2
Let o(l) = 8*l - 13. Let u be o(2). Solve u*r + 25 = 8*r for r.
5
Let p(x) = 5*x**2 - x + 2. Let s be p(1). Solve s = 2*f - 4 for f.
5
Suppose 25 = -5*z, 20 = -5*k - 2*z - 2*z. Solve k = 4*t + t + 10 for t.
-2
Let o(z) = -z**2 - 7*z - 5. Let j be o(-5). Suppose s - 36 = -3*b + 6*s, j*s = b - 12. Solve 2*y + y = -b for y.
-4
Suppose -3*a = -6*a - 3, -2*k + 4 = 4*a. Solve -9 = h - k for h.
-5
Suppose -2*o - 5*o = -21. Solve -17 - o = 4*s for s.
-5
Let o(x) = x**2 + 5*x + 6. Let q(s) = -6*s**3 + 1. Let b be q(1). Let u be o(b). Solve 2*r - 5*r = u for r.
-2
Let o(i) = -i**3 - 7*i**2. Let h be o(-7). Let n(m) = m**3 + 3*m**2 - 2*m + 5. Let d be n(-4). Let j be (-1)/3 - 16/d. Solve h = -j*t + t for t.
0
Let q(h) = -h**2 - 11*h - 21. Let z be q(-6). Solve 5*n - z = 6 for n.
3
Let r(k) = k**3 + 3*k**2 + 3. Let l be r(-3). Suppose 0 = 2*s + l*s. Solve s*n + 15 = -3*n for n.
-5
Let o(n) = -2*n + 8. Let s be o(4). Solve 2*f + f + 3 = s for f.
-1
Suppose 0 = -12*v + 9*v + 6. Let w(l) = -3*l + l**3 + 4*l**2 - 2*l**3 + 0*l. Let m be w(v). Solve -r + m = -3 for r.
5
Let w(s) be the second derivative of -s**4/12 - s**3 + 7*s**2/2 - s. Let b be w(-6). Suppose 2*a + 3 = b. Solve 1 = q - a for q.
3
Let r = 11 - 3. Let z = 21 - 29. Let k = 11 + z. Solve 0 = t - k*t + r for t.
4
Let x(m) = 2*m - 6. Let a be x(4). Suppose 9*d - 12*d + 18 = 0. Solve -a*q + d + 2 = 0 for q.
4
Let b(d) = d**3 + 16*d**2 - 17*d + 5. Let w be b(-17). Solve 0*h - 15 = -w*h for h.
3
Let q(p) = -p**3 + 5*p**2 - p - 5. Let u be ((-3)/2)/(18/(-48)). Let i be q(u). Let v = 0 - -2. Solve 0 = -5*w + i - v for w.
1
Suppose 9 + 3 = 2*p. Solve p = 2*m + 2 for m.
2
Suppose -v = -3*v, 6 = 3*a + 4*v. Suppose -p = a*p. Solve o - 5 + p = 0 for o.
5
Suppose 0 = 5*j - v - 18, j - 5*v = -0*v + 18. Suppose 10 = 2*w, -4*y - 7 + 0 = -j*w. Solve 0 = -y*h + 6*h - 16 for h.
4
Let a = 20 - 16. Suppose 0 = -a*x + x + 6. Solve x*j = 2 + 8 for j.
5
Let l be ((-28)/(-6))/((-2)/(-3)). Let a(g) = -g**2 + 9*g - 2. Let j be a(l). Solve z - 4*z = -j for z.
4
Suppose 4*y - 7 = 5*u, -3*u = -y - 0*u. Suppose 0 = -y*o + 2*o. Let w = 1 + 1. Solve o*x - 8 = w*x for x.
-4
Suppose k + p - 2 = 0, -5*k + 30 = -5*p - 0*p. Suppose 0 = k*r - 23 + 3. Solve r*b = -0*b for b.
0
Suppose 3*f = -4 - 2. Let z be (-4)/(f/7*-1). Let a be 2/7 - (-4)/z. Solve 3*m + 2*m + 15 = a for m.
-3
Suppose 0*v = -3*v. Solve x + 3*x + 4 = v for x.
-1
Let i(b) = 8*b + 43. Let t be i(-5). Solve 0*m + t*m + 9 = 0 for m.
-3
Let f be 2/(-5)*(-12 - 3). Solve 0*a - 3*a = -f for a.
2
Let d(n) be the first derivative of n**3/3 - n - 1. Let h be d(2). Solve 0 = -h*x + 4*x - 5 for x.
5
Let g(t) = 3*t**3 - 1. Let r = 3 - 3. Let x = r + 1. Let q be g(x). Solve q*s + 3 = 5 for s.
1
Suppose 16*i = 13*i. Solve i*q + 4*q = 8 for q.
2
Suppose -u = -8 + 3. Suppose 2*o - 33 = -u*k, k - 2*o - 17 = -4*k. Solve k = -4*i + 1 for i.
-1
Let m be (2 + -3)*2/2. Let s be (6/(-3))/(2 + m). Let l be (-1)/3*(s - -2). Solve -2*g - 3*g + 15 = l for g.
3
Let b be ((-6)/(-10))/(3/15). Suppose 0 = 5*n - 2*n - b. Let u be 0 - (0 + (1 - n)). Solve f - 2 + 4 = u for f.
-2
Let g be 9/(-2)*28/(-21). Let h = g - 5. Let j be (5 + -3)*(0 + h). Solve -j*i + 1 + 1 = 0 for i.
1
Let o = -20 + 22. Solve o*m = -m for m.
0
Suppose 2*y = -3*a + 22, -2*y + 0*y + 5*a = 10. Suppose 0 = 2*x + y*t - 4, -2*x - 5*t = x - 6. Solve x*w = -2 - 4 for w.
-3
Let k(f) = -f. Let d be k(-2). Suppose 0 = -w + d*u + 2*u + 15, 5*u = -w - 12. Suppose 0 = w*q + 2 - 8. Solve -3*l = q*l + 25 for l.
-5
Suppose g = -12 + 14. Solve -4 = v - g*v for v.
4
Let r = 12 + -2. Solve 0 = -3*p + 5*p + r for p.
-5
Suppose 4*b + 2*g = 10, 6 + 0 = 2*b + 2*g. Solve b*w = 3*w + 4 for w.
-4
Suppose -2*q + 8 = -5*n + 26, -2*q + 14 = 3*n. Suppose -n*c + 7 = -1. Solve 4*s - c*s - 6 = 0 for s.
3
Let a(k) be the first derivative of -k**3/2 - k**2/2 + 2*k + 2. Let t(u) be the first derivative of a(u). Let m be t(-2). Solve -m*i + 20 = -0 for i.
4
Let o = -66 - -72. Solve -2 - o = 2*i for i.
-4
Let b be (-1)/(-4) - 13/4. Let i = -3 - b. Solve i*s = 5*s + 15 for s.
-3
Let v = -10 + 10. Let k = 6 + v. Solve j + 2*j - k = 0 for j.
2
Let v(n) = n**2 + n - 7. Let i be v(-5). Solve -5*b + i + 7 = 0 for b.
4
Let t be 6/15*(-10)/(-1). Solve 0 = c + t*c for c.
0
Suppose 3*l - 18 = -5*w + 14, -4*w = -4*l. Suppose w*r = 4*m - 12, 4*m + 5*r = -12 - 3. Suppose m = -0*v + 2*v. Solve 5*b - 4 - 6 = v for b.
2
Let t(d) = -4*d + 11. Let u be t(2). Suppose -3*f = 3*h + h - 52, 0 = 2*f - 3*h - 29. Solve 0 = u*q + q - f for q.
4
Suppose 0 = -0*m + 3*m - 5*f - 58, 2*m - 5*f = 47. Solve 4*j - 5 = m for j.
4
Suppose -5*q + 5*s = -45, -2*q + 0*s = -s - 13. Suppose -10 = -q*f - 3*g, 2*f - 3 = -2*g + 1. Solve -f*k = -0*k + 20 for k.
-5
Let i = -2 - -2. Suppose 3*k = 7*k - 12. Suppose -3*g + i*h = h - 7, -3*h = 3*g + k. Solve -2*z + 8 = -g*z for z.
-4
Let d = 24 + -13. Let l = -9 + d. Solve -2*b = -l + 10 for b.
-4
Let l(n) = -4*n + 2. Let k be l(-6). Let u = k - 22. Solve -5*z + u = -6 for z.
2
Let l(s) = -s**3 - 7*s**2 + 9*s + 9. Let v be l(-8). Let c be (3 - -1)*v/2. Suppose -3*w + 16 = -4*f, c*f - 6*f = -2*w + 12. Solve t + w = 2*t for t.
4
Let b be (-32)/12*(-18)/24. Solve -15 = b*x - 5*x for x.
5
Suppose 8*t + 10 = 3*t. Let u be (t + 1)/(-1)*2. Suppose 0*v + 4*q + 20 = u*v, -5*v + 22 = -3*q. Solve 3*r - v = 4*r for r.
-2
Let t be -8 + 5 + 0 + 7. Let b = 0 + 1. Let v = 0 + b. Solve t*m - 5 = -v for m.
1
Let u(b) = -b**2. Let i be u(-1). Let f(m) = -2*m**3 + m**2 - 1. Let x be f(i). Let n(v) = -v**2 + 6*v + 6. Let z be n(5). Solve -1 + z = x*s for s.
5
Suppose 0 = 5*y - 4*y. Solve 4 = 4*i - y for i.
1
Let j(l) = l**2 - 3*l - 5. Let q be j(4). Let r(k) = -k + 1. Let x be r(q). Let o = x + 11. Solve 3 = 5*u + o for u.
-2
Suppose -5*s + t + 24 = 0, -3*t + 20 - 7 = 2*s. Let p(i) = -i**3 + 2*i - 1. Let o be p(-2). Let x = 22 + -20. Solve -x*d = o*d + s for d.
-1
Suppose 12 = 5*u - 28. Solve -3*f = f + u for f.
-2
Let v be (33/(-12) - -2)*-24. Suppose -g - v = -4*j, -18 = -4*g - j - 5. Let w(c) = c**3 - 