or k.
-3
Suppose 20 = 5*i + 4*h - 5*h, i - 4*h + 15 = 0. Suppose 5*n = -3 - 2, n = i*j - 1. Solve j = 2*y + 2 + 4 for y.
-3
Let h be 1/(-1) + -3 + 2. Let f be 4/h + 5 + -2. Solve -k + f = 3 for k.
-2
Suppose 4 - 2 = w. Let i(d) = 0*d - 3*d - 7 + 1 + d**w. Let f be i(5). Solve n - 3*n + f = 0 for n.
2
Let r = 11 - 5. Suppose 0 = -3*y - 0*y + 2*g + 77, 2*g - 48 = -2*y. Suppose -r = 2*v, 2*h - y = -2*v + v. Solve 3*x + 2 = h for x.
4
Suppose 25*x - 29*x - 16 = 0. Let q = x + 8. Solve 6 + 10 = q*l for l.
4
Suppose 4*a - 1 = -9. Suppose 5*i - p - 28 = -4*p, 0 = 4*i + 3*p - 23. Let k = a + i. Solve k = -b - 0 for b.
-3
Let n = 9 + -5. Solve 0*o = -n*o for o.
0
Suppose 0 = 4*l + 3 - 11. Solve -d + 3 = -l for d.
5
Suppose 0 = 3*z - 196 + 70. Suppose -12 = 4*x, 2*x - x = 3*u - z. Let t = -8 + u. Solve 7 + 13 = -t*k for k.
-4
Suppose -2*b = -4*b - 4. Let s be 1 + 5 + 1*b. Solve s*a - 4 = 3*a for a.
4
Let l = 15 + -12. Suppose -w = -l*w. Solve -6 + w = -3*z for z.
2
Let p be (-2)/5 + 24/60. Suppose 0*j - 2*j + 14 = p. Solve k - 3 = -j for k.
-4
Suppose 0 = -4*v + 4, 4*s - 2*v = -v + 11. Let w(f) be the first derivative of f**3 - 2*f - 3. Let b be w(s). Solve 4*o - b = -o for o.
5
Suppose 0 = -2*s + 7*s - 30. Solve -d + 4*d - s = 0 for d.
2
Let c = -21 - -46. Suppose -c = -4*i - i. Solve -4*f = i + 11 for f.
-4
Suppose -5*d + 2*d = 0. Solve d = 3*x - 3 - 6 for x.
3
Suppose 0*a - 2*a + 3*p = 4, 0 = 3*p + 6. Let h(w) = -2*w - 5. Let t be h(a). Solve t = 4*f - 15 for f.
5
Let r(o) be the third derivative of o**4/24 + 3*o**3/2 + 2*o**2. Let w be r(-4). Solve 0*j = -5*j + w for j.
1
Let z be 4 + 1 + -5 - -3. Solve -z*n - n + 12 = 0 for n.
3
Suppose 3*n - 3 = 0, 4*y - n - 18 + 7 = 0. Suppose 6*r = y*r + 3. Solve -2*x - 9 = -r for x.
-4
Let a = 20 + -18. Solve 2*z = -a - 0 for z.
-1
Let o be (-8)/(-20) + (-23)/(-5). Solve -g - 1 = -o for g.
4
Suppose d + 4*d = 0. Suppose -6*q - 2*o = -5*q - 24, -2*o = 5*q - 104. Solve d*y = -5*y - q for y.
-4
Let s = -14 - -16. Let d(c) = c + 11. Let o be d(-5). Solve 4*i - o = -s for i.
1
Let c(i) = i**3 - 6*i**2 + 5*i - 2. Let k be c(5). Let x be (k + (2 - 1))*-3. Suppose -x*z = 9, -3*z - 21 = -4*g + 4. Solve 0 = -5*q + g*q + 2 for q.
2
Suppose r = -0*y - 5*y + 17, -3*r = -2*y. Suppose 2*k + 3*m - 46 = 0, -3*m = -0*m - 12. Solve 5 = y*d + k for d.
-4
Let b = 1 - -14. Solve 0 = o + 2*o + b for o.
-5
Let f = 19 - 10. Let l = f + -5. Solve 3*p = l*p for p.
0
Let d = -15 - -18. Solve d*p - 6 = -0 for p.
2
Let v(u) = u**3 - u**2 - u - 4. Let l be v(3). Let c = -7 + l. Solve 1 + c = i for i.
5
Let k = 1 - -2. Suppose p - 12 = -k*p. Suppose p = -4*l + 2*w + 1, -w = 2*l - 9. Solve -8 = -0*h - l*h for h.
4
Let n be (-130)/18 - 6/(-27). Let w = 9 + n. Solve w = -u - 0 for u.
-2
Suppose p = 5*p. Let d(k) = k**3 + 7*k**2 + 7*k + 7. Let y be d(-6). Let v be y - p - (-1 + -13). Solve m + v = -2*m for m.
-5
Suppose 6*a = 2*a + 8. Suppose -4*q + 19 = -z, -a*z - 20 = -4*q - q. Suppose 0 = -3*d + 32 - 8. Solve d = -q*o + 2*o for o.
-2
Suppose -5*b + 4 + 16 = 0. Solve -b*f + 5 = -11 for f.
4
Suppose 2*m + 3*x = 11, 0 = m + 4*x - 2 - 6. Suppose -m*s + 12 = -6*g + 3*g, -4*s = -2*g - 8. Suppose -t + s + 3 = 0. Solve -t = 4*j + 1 for j.
-1
Suppose 22 = -3*p + 37. Solve p*s + 6 = 3*s for s.
-3
Suppose 22 = 42*l - 31*l. Solve l*h - 6 = -14 for h.
-4
Let k(l) = -l**3 - l**2 - l. Let g be (-10)/14 - 2/7. Let y be k(g). Suppose -w + y = -2. Solve j + w*j = 16 for j.
4
Suppose 5*w = 4*p - 2 + 4, -2*w - 4 = -4*p. Suppose -r + 3*k = 1, 0*k - 3*k = p*r - 7. Solve -10 = -r*j - 3*j for j.
2
Let r be (-4)/(-10) - 104/10. Let t be -2*2/(-12)*-15. Let m = t - r. Solve m*h = 10 - 0 for h.
2
Let k = 10 - 7. Let x be 2/10 - (-4)/(-20). Suppose x = 4*c - 21 - k. Solve c + 0 = 2*h for h.
3
Let f(i) = -i**3 - 17*i**2 - 16*i + 6. Let z be f(-16). Solve z*u - 3*u + 15 = 0 for u.
-5
Let c(r) be the third derivative of r**5/12 + 2*r**2. Let o be c(1). Suppose -4*q = -q - 9. Solve -o*j - 7 - q = 0 for j.
-2
Let o(n) be the first derivative of 5*n**2/2 - n - 2. Let w be o(2). Solve 3*h = -0*h - w for h.
-3
Suppose 4*q - 20 = -0*q, 2*k = 3*q + 1. Let l be -3*(-2)/6 + 2. Suppose 2*m - l*m + 5 = 0. Solve 0 = 3*z + k - m for z.
-1
Let z = -14 - -21. Suppose z*o = 4*o. Solve o = 2*f - f - 2 for f.
2
Suppose -7*u - 54 = -5*u. Let a = -19 - u. Solve -4*l = -2*l - a for l.
4
Suppose 5*a = 5 + 15. Suppose -2*i + a = z, -3*z + 2 = 4*i - 8. Solve y + z*y = -15 for y.
-5
Suppose l = -3*l. Suppose 0 = 4*x - l + 8. Let s(j) = -j**3 - j**2 + 1. Let k be s(x). Solve 5*o + 10 = -k for o.
-3
Let c(i) = 2*i + 14. Let d be c(-7). Solve d*o = -o + 4 for o.
4
Suppose -5*k + 4*h = 47, 3*k + 4*h - 2*h = -37. Let g = 11 + k. Solve 2*o = -g*o for o.
0
Let d be (-117)/(-21) - (-3)/7. Solve 2*b + 16 = d*b for b.
4
Let t = -18 - -27. Solve -3*o = -0*o - t for o.
3
Let v = 12 - 5. Solve -o + 3 = v for o.
-4
Suppose m = -2 + 5. Suppose 0 = m*w - 2*w - 3. Solve -w = s + 2*s for s.
-1
Let w(s) be the third derivative of -s**6/120 - s**5/30 + s**3/3 + 3*s**2. Let n be w(-2). Solve 9 = n*p + 3 for p.
3
Let i = 78 + -78. Solve i*p + 3 = -p for p.
-3
Let y be (5 + 4)*(-8)/(-2). Suppose y = 3*p - 0*p. Solve p = -f - 2*f for f.
-4
Let n(f) be the second derivative of -f**4/12 - 4*f**3/3 - 5*f**2/2 - 24*f. Suppose 8 = -3*z + 2*l, z - 3*z = l + 17. Let r be n(z). Solve 0 = 4*o - r*o for o.
0
Let v = 68 + -45. Suppose 2*s - 3*u + 3 = -0, 3*s = -u + v. Let n be 14/s - 2/(-3). Solve 0 = n*k - 4*k - 1 for k.
-1
Let w be 3/(3/4) + -2. Let p = 1 - 1. Let s = w - p. Solve 3*j = -s*j + 10 for j.
2
Suppose -5*i + 4*y = -24, -2*i + 4*y + 20 = 2*i. Suppose -i*h - 20 = -9*h. Solve 0 = h*l - 2*l - 2 for l.
1
Let h = 8 - 3. Let d = 0 + h. Solve 3 - d = z for z.
-2
Let p(d) = -13 + d**2 + 13 - 8*d. Let u be p(8). Solve -6*i + i = u for i.
0
Let v(q) = q**3 + 6*q**2 - 4*q - 6. Let z be v(-6). Suppose 2*b - 3*i - 11 = 0, 2*b + z = -2*b - 2*i. Let l be (-1)/((6/15)/b). Solve 0*a + 15 = -l*a for a.
-3
Let y(w) = -2*w - 4. Let h be y(-5). Suppose 5*l + 1 = -4*p, 0 = -5*l + 3*l - 3*p - h. Suppose 2 = -v + l*v. Solve g + 0*g + v = 0 for g.
-1
Suppose -24 = -3*f - 0*f - 2*x, 3*x - 27 = -3*f. Let h be (-4)/(-6) + 32/f. Suppose 4*l + h - 38 = 0. Solve l = -2*r - 0*r for r.
-4
Suppose -3*l = 3*u - 9, 3*l - 15 = -0*u + 3*u. Suppose 2*g = i + l, -4*i + 5*g - 3 = -2. Solve 0 = 4*a - i*a - 4 for a.
-2
Let i be 146/10 - (-2)/5. Let g be (-4)/(-10) - (-24)/i. Suppose -4*n + 5*a + 12 = -10, 2*a = g*n - 10. Solve -2*f + n*f = 5 for f.
5
Suppose 2*z = -3*t + 169, -3*z + 274 + 8 = 5*t. Suppose -v = -h + 13, -4*v + 3*h - t = v. Let y = v + 11. Solve f = -f - y for f.
-1
Let n be (-3)/12 + 10/8. Suppose -5*u + 11 = n. Suppose -2*w = 5*g + 5, -3*w - 3*g = u*w + 3. Solve -d - 2 = -w*d for d.
-2
Let y be (2/(-3))/(6/9). Let a be y/(-2*2/4). Suppose 3*r - 7 + a = 0. Solve r*s = -9 + 1 for s.
-4
Let l(r) = -r**3 - 4*r**2 - 3*r - 8. Let a be l(-4). Solve -5*b - a = 16 for b.
-4
Let q = -17 + 13. Let p(x) = -x**2 - 5*x - 2. Let o be p(q). Solve -10 = -o*m - 2 for m.
4
Suppose 4*c - 2*f = -2, f + 2*f = -5*c + 14. Let p be (-2)/(-1) + c + 1. Let k be (81/(-216))/((-2)/16). Solve p*g - 3*g = -k for g.
-3
Let g = -30 + 32. Solve -g*a + 4*a = 6 for a.
3
Suppose -4*d + 0*d + 20 = 0. Suppose d = 2*p - 5. Let z = -1 + 1. Solve z*f - 5 = p*f for f.
-1
Suppose -2*r - 14 + 0 = -2*t, 0 = 3*t - 2*r - 16. Solve -t*s = s + 15 for s.
-5
Let v = 7 + -1. Solve 2*j + 4 = v*j for j.
1
Suppose 0 = 4*x - 3 - 9. Suppose -i = 3*i. Suppose 3*o + 3 = -5*j + 12, -2*j = -o + 3. Solve -f + i - x = j for f.
-3
Suppose 2 = -2*r, -11 = -2*z + r + 4*r. Suppose -5*m = 0, -z*b + 7*b + 4*m - 40 = 0. Suppose 5*n - 5 = 2*f + b, 4*f - 15 = -5*n. Solve -8 = -2*s - f*s for s.
4
Let u be 111/15 + 2/(-5). Solve u = 3*y + 1 for y.
2
Suppose 2*l + 3*g = -0*g + 12, g - 4 = 0. Suppose 12 = 3*r, l = -4*a + 2*r - 7*r + 20. Solve 0 = -a*j + 2*j for j.
0
Let y be (-252)/(-20) - (-4)/10. Suppose 0 = v - 4*l + y, -4*v - l + 20 = l. Solve 0 = -v*w - 3 - 6 for w.
-3
Let t(a) = 4*a**2 + 24*a + 2. Let k be t(-6). Solve -4*w - k + 10 = 0 for w.
2
Suppose 0 = -h - 0 + 2. Let m be (h/(-3))/(2/(-9)). Solve -3 = m*a - 2*a for a.
-3
Suppose -4*j - j = 10. Let p be (-3)/(j/(-10)*-3). Solve -5 - p = 2*b for b.
-5
Let 