s + 2*q + 0 - q**3 - 3*q**2 + 0*q**2. Let d be i(-4). Solve 0 = -5*h - d + 32 for h.
4
Let j(u) = -2*u - 36. Let y be j(-21). Solve 7*g = y*g - 1 for g.
-1
Suppose 8 = -6*t + 4*t. Let z be ((-9)/(-18))/((-1)/t). Solve z*h - h - 4 = 0 for h.
4
Let o be ((-1)/(-3))/(1/18). Let l(n) = -n**2 + 7*n + 1. Let b be l(o). Solve -3 = -2*u - b for u.
-2
Suppose -2*r - 8 = 0, -44 = -7*q + 2*q - 4*r. Suppose 3*j - q = -j. Suppose -k - 5 = 0, -12 - j = -3*a + 3*k. Solve a = -2*f + 7 - 1 for f.
3
Let h(y) be the second derivative of 5*y**4/6 - y**2/2 + 5*y. Let q be -2 - 2*3/(-2). Let r be h(q). Solve r = -3*l - 3 for l.
-4
Suppose -r - 14 = -5*n + 4, n - 14 = -5*r. Suppose 0 = t - n + 12. Let b be (6 - 5)/((-2)/t). Solve u - 2*u = b for u.
-4
Let g = 6 - 6. Suppose -3*f + f + 6 = g. Solve 0*q - q = -f for q.
3
Let q be (-8)/48 - 25/(-6). Suppose q = 6*y - 2*y. Solve -f - y = -6 for f.
5
Let r(z) be the first derivative of -z**3/3 - 4*z**2 + 9*z - 1. Let q be r(-8). Suppose -2*d + 9 = -c, -3*d - 3*c + 11 = -2*c. Solve -q + 1 = -d*y for y.
2
Let q be 1/(-2)*-2 + 1. Let p = 0 + q. Let r = 40 - 15. Solve -3*n - p*n = -r for n.
5
Let m = 18 + -13. Let b = -7 + 11. Solve -b*v = -13 + m for v.
2
Let z = 3 + -2. Let v be ((-1)/z - -1) + 0. Solve v = -0*i - i + 1 for i.
1
Suppose -4*p - 28 = -8*p - 5*j, j + 7 = p. Suppose -22 = -4*m + 2*t, p = -4*m + 5*m - t. Solve -2 + 10 = m*n for n.
2
Let y(z) = -z + 1. Let x(f) = 5*f - 11. Let r(n) = -x(n) - 6*y(n). Let d be r(-3). Suppose -d*t + 0*t = -6. Solve 5 = -2*w + t*w for w.
5
Let c be (2 - 0)/(-1) + 2. Let d be c*((-6)/4 - -1). Solve 2*y + 5 + 1 = d for y.
-3
Let k = -3 - -4. Solve 4*r - k = -5 for r.
-1
Suppose z - 1 = 24. Solve 0*l = 5*l - z for l.
5
Let y be 88/(-33)*6/(-4). Suppose y*n + 3*u + 11 = 0, n + u - 2*u = 6. Solve t + n = -0 for t.
-1
Let n be (-42)/11 + 2/(-11). Let h = n + 9. Let i = h - 2. Solve a - 2*a - i = 0 for a.
-3
Suppose -1 = -j + 3. Suppose -j + 2 = -q. Solve q - 1 = s for s.
1
Let y(d) = -4*d - 23. Let v be y(-7). Solve v*p - 6 + 1 = 0 for p.
1
Let y(r) be the second derivative of 1/6*r**3 - r**2 + 4*r + 0. Let w be y(8). Solve 4 + w = 2*d for d.
5
Suppose 0 = 4*r + r - 2*v - 14, -5*v = 10. Solve 0 = -9*q + 7*q - r for q.
-1
Let t = -3 - -7. Suppose 2*a = t*a - 30. Solve -a = -4*r - 3 for r.
3
Let l(y) = -20*y + 13*y - y**2 + 0*y**2. Let a be l(-7). Solve 3*h - 2*h + 1 = a for h.
-1
Suppose 0 = -0*x - x + 1. Solve 4*l = 5 - x for l.
1
Suppose 0 = 3*r - 0*r - 3. Let x be 35/2 - r/(-2). Solve -4*j - x = -2 for j.
-4
Let b(u) = -u - 1. Let o = 8 - 6. Let d(p) = -p**3 - p - 2. Let q(v) = o*b(v) - d(v). Let a be q(-1). Solve 6 = -3*g - a for g.
-2
Let s(q) = -4*q - 20. Let v be s(-6). Solve p + v = 3*p for p.
2
Let x(r) = 3*r - 2. Let d be x(-3). Let u = 11 + d. Let w = -1 - -2. Solve u = -2*n + 9 - w for n.
4
Let y(s) = s**3 + 4*s**2 - 6*s - 5. Let x be y(-5). Suppose 6*p + x*p = 36. Let v = 0 - 0. Solve 5*z + 1 - p = v for z.
1
Let y(m) = -2*m**2 + 6*m - 4. Let f be y(3). Let w be ((f - -6) + -1)*4. Solve -w*r = 22 - 2 for r.
-5
Suppose -2*q = -4*h + 18, -4*h + 5*q = h - 30. Suppose 4*d - 29 = -h*p, -2*d + 12 = -p + d. Let w(o) = o - 1. Let k be w(p). Solve 4*i - k - 6 = 0 for i.
2
Let y = 17 - 9. Let x(u) = 2 + 0*u**2 + 5*u - 1 + 1 + u**2. Let p be x(-5). Solve p - y = 2*g for g.
-3
Suppose 5*u - 2*u = 5*h - 23, 4*u = -2*h + 4. Let p be 3/((-1)/(h/(-6))). Solve 2*d + 0 = -p for d.
-1
Suppose 5*k + b - 2*b - 45 = 0, -3*b - 15 = -3*k. Solve 0*r + k = -5*r for r.
-2
Suppose -2*r - 31 = -4*a - 5, 4*r - 2*a + 28 = 0. Let c = r - -7. Suppose -4*m = -c*m - 4. Solve m*l + 4 = -2*l for l.
-1
Suppose 4*k = c - 1 - 0, -4*c + 4 = -3*k. Solve k = 2*d + 2 - 8 for d.
3
Let s be (-1 + -2)/((-6)/2 - -2). Solve 0 = s*z - 14 + 5 for z.
3
Let o(d) = d**3 + 10*d**2 - 2*d - 11. Let w be o(-10). Solve -3*t + 0*t = -w for t.
3
Let i(n) = -3*n - 7. Let m be i(-5). Solve 2*o = -0*o + m for o.
4
Let v be ((-2)/8)/((-2)/32). Solve 0 = -l + v*l - 9 for l.
3
Let s = -3 - -3. Solve -5*d + 0*d = s for d.
0
Let f = 11 - 2. Solve 0 = 3*u + f for u.
-3
Let u be (20/(-6))/((-4)/24). Solve 0 = -0*p - 4*p - u for p.
-5
Let d(m) = 5*m**2. Let x be d(-1). Solve -5*h + 20 = x for h.
3
Suppose 2*i - 3 = i. Solve -i + 18 = -3*y for y.
-5
Suppose 0 = -0*h - 2*h - q - 8, -2*q = 4. Let i be -2*h/(-12)*-4. Solve 0 = -k + 3 + i for k.
5
Suppose 0*b = 4*b - 308. Let t be 63/b - 2/(-11). Solve 5*z + 4 + t = 0 for z.
-1
Suppose 0 = 3*l - 8*l + 20. Suppose l*h + 5*d + 18 = 0, -h = d + 4 - 0. Let c(k) = -5*k. Let w be c(h). Solve -2*j = -4*j - w for j.
-5
Let u = 5 + -4. Suppose 4*n + u = 5*c, 5*c + 0*n = n - 11. Let i be (-3 + c/(-3))*-5. Solve -5 = -3*o + i for o.
5
Let f(y) = y**3 + 5*y**2 + 3*y - 1. Suppose -2 = 5*i + 18. Let z be f(i). Solve -z = -j - 0*j for j.
3
Let u = 1 - 8. Let c(o) = -o - 3. Let f be c(u). Solve -5*g + 11 = -f for g.
3
Let k(y) = y**3 + 2*y**2 - y. Let t be k(1). Suppose 14 - 4 = 2*b. Suppose -b*q = -25, 0 = -4*m + 2*q + q + 65. Solve -2*p - m = t*p for p.
-5
Suppose -2*f + 10 = 2. Let y = f + -2. Suppose -y*a = a. Solve 5*c + 0*c + 10 = a for c.
-2
Suppose -f + 0*f = -1. Let c(t) = t - 1. Let v be c(f). Solve -5*m + v = -10 for m.
2
Suppose -3*n + 7 = -2. Let v = n - 3. Solve -5*t + 2*t - 12 = v for t.
-4
Let w = 2 + -1. Let n(v) = -v**3 - 5*v**2 + 6*v + 5. Let o be n(-6). Suppose 0 = 2*z - o + 1. Solve -f = -z*f - w for f.
-1
Suppose -5*c - 3*p = -31, c - 5*p - 4 = -9. Solve c*w - 4*w + 2 = 0 for w.
-2
Suppose -5*o + z = 6*z, 0 = -4*o - 5*z - 3. Suppose -58 = -o*y + 26. Suppose -7 = 5*x - c - y, c - 3 = -x. Solve -h = x*h + 15 for h.
-3
Let m(b) = -b**2 - 5*b. Let g be m(-4). Suppose 9*k - 25 = g*k + n, k = 5*n + 5. Solve 5 + 0 = -k*s for s.
-1
Suppose -5*h = v - 2, 5*h + 2*v + v = 6. Let m = 22 + -16. Suppose -d - y - m + 3 = 0, 2*d = -5*y - 18. Solve -3*w + 13 - d = h for w.
4
Let b be -2 + 1 + 17 + 1. Suppose -35 = -5*u - 5*i, 0*i + i = 5*u - b. Solve u*l = -25 + 5 for l.
-5
Suppose -6*a - 30 = -9*a. Let j be 44/a - 6/15. Solve -3*n + j = -7*n for n.
-1
Let b(w) = -w**2 + 5*w - 2. Let g be b(4). Suppose u = g*u - 2. Solve 2*r - 4 = u for r.
3
Let l(g) = g**3. Let s(d) = 4*d**3 + 7*d**2 + 8*d - 1. Let x = 0 - 1. Let h(b) = x*s(b) + 5*l(b). Let m be h(8). Solve -m = -a - 5 for a.
-4
Let d be (-21)/(-2)*14/21. Suppose 9*l = d*l + 16. Solve 10 = -l*g + 3*g for g.
-2
Let c be 20/2*12/30. Suppose -2*h + 2 + 2 = 0. Suppose b + 1 - h = s, 2*s + 5 = 3*b. Solve c = -s*l - 0 for l.
-2
Suppose 5*w - 8 = 7. Suppose -4*c = -21 - w. Solve 3*n - c*n + 15 = 0 for n.
5
Let p = 5 + -3. Let i(s) = s**2 + 3*s + 3. Let l be i(-3). Suppose -5*j - l + 23 = 0. Solve 4*b - p*b = -j for b.
-2
Let p(s) = s - 4. Let w be p(4). Suppose -t - c = -6, -4*t - 2*c = -12 - 4. Solve q - t*q = w for q.
0
Suppose -4*p + 4 = 4*d - 4, 3*d = 2*p + 6. Suppose d*r + 10 = -b + 2*b, 4*b - 3*r - 15 = 0. Solve -u + b - 2 = 0 for u.
-2
Suppose 2*z = -0*z. Solve z - 1 = -l for l.
1
Suppose 0 = -5*s + 6*s. Solve 0 = -j - 2 - s for j.
-2
Let t = 16 + -16. Solve 0 = -2*q - t*q - 10 for q.
-5
Let i = 6 - 1. Solve 2*a - i - 3 = 0 for a.
4
Let c = 5 + -2. Solve -2*t - 25 = c*t for t.
-5
Suppose 5*c = 14*c - 9. Solve u = -0 - c for u.
-1
Suppose -5*z + 14 + 6 = 0. Solve -z*n = n - 20 for n.
4
Suppose 3*o = 8*o. Suppose o = -4*v + 5 + 7. Solve -2*q + v + 1 = 0 for q.
2
Let t(r) = 5*r + 18. Let n be t(-3). Solve -5*m = -17 - n for m.
4
Let y(o) be the first derivative of 13*o**4/4 - o**2/2 + 9. Let v(z) = -z - 5. Let f be v(-6). Let r be y(f). Solve 0*k = 3*k - r for k.
4
Let j(t) = 2*t**2 - t + 2. Let m be j(0). Solve 3*d + 15 = -m*d for d.
-3
Suppose 0 = 2*u - u + 23. Let l = -23 - u. Solve o + 3 + l = 0 for o.
-3
Let c be (0 - -1)/((-2)/(-10)). Let f = 83 + -81. Solve 3 + f = -c*o for o.
-1
Let k = -12 + 12. Suppose k = 2*i + 2*i. Solve 4*o - 4 = -i*o for o.
1
Suppose -3*b - 5*n = -8*b - 10, 4*b - 3*n = -6. Solve 2*z + 3 - 1 = b for z.
-1
Suppose -6 = -3*s + s. Suppose 4*u - 3 = -5*x, -3*x - 6 = -x + 4*u. Suppose 0 = -4*v + x*w + 20, -2*w = 2 + 6. Solve -s*c + v*c + 4 = 0 for c.
4
Suppose -v + t = 4*v - 9, -2*v - 3*t = -7. Solve v*p = p for p.
0
Let i be 3/3*(-1 + 1). Solve i = -3*w - w - 20 for w.
-5
Let w = 9 + -9. Solve 2*n + 0*n + 2 = w for n.
-1
Let m(g) = -g