y*k + k + 9 = 0 for k.
-3
Let y = 34 + -34. Solve -2*b = -y*b for b.
0
Let h(b) = -5*b - 35. Let r be h(-7). Solve r = p - 5*p + 12 for p.
3
Suppose -l = -15*l - 7*l. Solve l = a + a - 4 for a.
2
Let s be (-85)/(-25) - 4/10 - 0. Solve -7 = s*j + 8 for j.
-5
Suppose 3*m = 17 - 5. Suppose -3*s - 4*w - 20 + 0 = 0, 4*w - m = 3*s. Let b = 8 + s. Solve 3*l = l - b for l.
-2
Let w(g) = g**2 + 5*g + 4. Let q be w(-5). Suppose h + q = 3*h. Let u = 3 + h. Solve u*j + 8 = j for j.
-2
Suppose 4*r + y = 19, 0*y + 2*y + 2 = 2*r. Suppose 0 = -r*o + 32 - 4. Let q = o + -5. Solve -22 + q = -4*f for f.
5
Let r be (-3)/6*(-9 + -1). Suppose -2 + 12 = r*t. Suppose 15 = 5*u - 5*y, -u - 2*y - 8 = -4*u. Solve -t*n = -u - 2 for n.
2
Suppose -206 - 74 = -2*v. Let d be (-1)/(-3) + v/(-15). Let c = -4 - d. Solve 5 = -0*j + c*j for j.
1
Let b(k) = 9*k**3 - k**2 + 2*k. Let s(o) = 26*o**3 - 4*o**2 + 7*o. Let q(l) = 7*b(l) - 2*s(l). Let a be q(1). Solve -i - 3*i = -a for i.
3
Let z = 2 - -3. Suppose 1 - z = -u. Solve 7*k = u*k - 6 for k.
-2
Suppose -3*y - 2*y = 0. Let b = -13 - -17. Solve 0 = -2*j - y*j + b for j.
2
Let s(h) = h**2 - 3*h - 1. Let u be s(-2). Let k = 13 - u. Let x = -1 - -2. Solve -21 = -k*a - x for a.
5
Let y(i) = 2*i**3 - 2*i**2 + i. Let l be y(1). Let x be 1*7/l + -2. Solve -b - x = -2 for b.
-3
Let p(i) = i + 5. Let t be p(-7). Let x = t - -4. Solve y = 2*y - x for y.
2
Let r be (-1)/2 + 171/38. Solve 2*d - d - r = 0 for d.
4
Suppose 12 = -4*i + q + 4*q, 0 = 3*q - 12. Let t(w) = -2*w**3 + 4*w**2 - i*w + 4*w + 3*w**3 + 1. Let g be t(-3). Solve g*y + 13 = 1 for y.
-3
Let c(o) = -2*o + 3. Let s be c(-3). Suppose f = -1 + s. Let t = f + -5. Solve -x = t*x for x.
0
Suppose -4*y + 47 = 3*s, -15 = -s - 4*y + 6. Let j(c) = -c**2 - 5*c - 3. Let k be j(-2). Solve -k*i + 1 = s for i.
-4
Let j = 14 - 10. Solve 3*o - j*o - 5 = 0 for o.
-5
Let z(v) = -7*v + 21. Let k be z(3). Solve -2*i - 6 + 4 = k for i.
-1
Suppose -3*r + 16 - 1 = 0. Let p = r + -9. Let l be p/(-2*(-3)/(-6)). Solve l = -2*s - 0*s for s.
-2
Suppose -4 = -0*x - 3*x - 4*w, 0 = 3*w + 15. Solve -4*s + 4 = -x*s for s.
-1
Let m = 18 - 8. Suppose -5*q + 0*q = -m. Solve 0 = -j - q for j.
-2
Let g(p) = 3*p - 1. Let u be g(2). Let b = 6 - u. Let n be b/(3*2/18). Solve -n*x = -x for x.
0
Let g = -4 - -3. Let z be ((-5 + 0)*1)/g. Let p = z - 3. Solve -p*b = -4*b - 4 for b.
-2
Suppose -3*j - 13 - 17 = 0. Let t = -2 - j. Solve 3*g - 2 = -t for g.
-2
Let t = 2 - 2. Let r(j) = -j**2 - 5*j + 2. Let n be r(-4). Suppose t = n*m - m - 75. Solve 5*s + m = -0*s for s.
-3
Let x = 42 + -42. Solve 3*j + x = -6 for j.
-2
Let m = 5 - 5. Solve -h + 2*h + 2 = m for h.
-2
Let n = -5 + 7. Suppose 5*x - 12 = -5*a - n, 3*a - 2 = x. Suppose -v + 0*v = -x. Solve v - 4 = j for j.
-3
Let i = 29 - 9. Suppose -a - 49 = -4*d, d + d = -4*a + i. Solve -4*f + f = d for f.
-4
Let o(m) = -m**3 + 10*m**2 + 4. Suppose t = -2*v - 3*t + 16, 5*v - 2*t = 52. Let n be o(v). Solve -n*q + 8*q + 12 = 0 for q.
-3
Suppose 54 = 3*i + 141. Let y = -10 - i. Solve 4*l = y + 1 for l.
5
Let i = -2 + -11. Let t(j) = -j**2 - 8. Let n be t(-6). Let a = i - n. Solve 0 = 5*u - a + 6 for u.
5
Let p(i) = -i**3 - 9*i**2 - 9*i + 1. Let d be p(-8). Suppose 0 = -7*j + d*j - 8. Solve -4*z = -2*z + j for z.
-2
Let m be (-85)/(-10) + ((-3)/(-2) - 2). Solve -a + m = 12 for a.
-4
Let h = 94 - 88. Solve 5*i - h = -1 for i.
1
Let s = -9 - -10. Let b(q) = q**3 + 3*q**2 - 3*q - 3. Let m be b(-3). Solve 0 = -w - m + s for w.
-5
Suppose 0 = -5*c + 3*h + 77, -3*c + 5*h + 43 = -0*h. Solve -c = -3*i + 7*i for i.
-4
Let p be (2 - (-3 + 3)) + 0. Solve 0 = j + p - 5 for j.
3
Let n be 4 + -2 + -4 - -14. Suppose -3*w = -9 - n. Let u = 7 - w. Solve 4*m = -u*m - 4 for m.
-1
Let y be (-2)/(-1*2/3). Suppose 7*n + 2*n = 0. Suppose -2*k = 6*j - 3*j - 38, 10 = j - 2*k. Solve n*a + y*a = j for a.
4
Suppose 2*t + 0*g - g = -3, 4*t + 2*g = -18. Let k be t*(22/(-6) - -1). Solve 4*y = k*y - 20 for y.
5
Suppose 1 = 3*w - 8. Solve w*p + p = -8 for p.
-2
Let n be (3 - -3)*(-30)/(-20). Solve -4*b + n = -7 for b.
4
Let o be (-39)/(-26)*2/3. Solve 0*g + g = o for g.
1
Suppose -4*z + 38 = 10. Let s(q) = 39 + 7*q + 6*q**2 - q**3 - 39. Let r be s(z). Solve 0*p - 4*p = r for p.
0
Let w(q) = -q**3 + 4*q**2 + 5*q + 6. Let v = 20 - 15. Let j be w(v). Solve -h + j*h = 0 for h.
0
Let l = 3 - -2. Let x = l - 3. Solve -5 + x = m for m.
-3
Let j = 38 - 8. Suppose s = 3*s - j. Solve -3*z = 2*z - s for z.
3
Let i = 4 + -4. Suppose i = o - 3*o + 4. Solve 2 = z - o for z.
4
Suppose 5*q - 8 = -4*f + 10, 14 = 5*q + 2*f. Let o(b) = b**3 - 4*b**2 + 2*b - 4. Let l be o(4). Solve q = l*y - 3*y for y.
2
Let h(q) = -16*q - 13. Let u be h(-1). Solve 6 = -u*r + r for r.
-3
Let n(s) = s**2 - 11*s - 12. Let w be n(12). Solve w*j = j for j.
0
Let u = -13 + 10. Let i be (6/u)/2*-6. Solve -2*a - i = -0 for a.
-3
Let y = -29 - -38. Solve k - 4*k = -y for k.
3
Let j = 6 + 0. Let w be (-4)/(-24)*3*j. Solve 3 = w*p - 9 for p.
4
Suppose -s = 3*s - 2*o - 14, -10 = -2*s + 2*o. Solve p - s = -0 for p.
2
Suppose 0 = -2*w - w - q, 4*w = -4*q - 8. Solve i = -1 - w for i.
-2
Suppose 12*d + 8 = 20*d. Solve -5 + d = -y for y.
4
Let o(w) = w**3 + 14*w**2 + 12*w - 13. Let c be o(-13). Let t = -7 + 11. Solve q + c = t for q.
4
Suppose 6*s = 2*s - 20. Suppose 5 - 19 = -2*z. Let i = s + z. Solve 0*o + i*o - 6 = 0 for o.
3
Suppose -5*h - 4*j = -120, -h - h = 5*j - 31. Suppose -4*n = y - h, -4 = -3*n + 5*y - 6. Let i be (-2)/(2/3) + n. Solve -v + i*v = 4 for v.
2
Let b be (2/(-6))/(4/(-60)). Let i = -1 + b. Solve -5*o + 1 = -i for o.
1
Suppose 0 = -5*r - 3*s + 13, 13 = 4*r + 4*s + s. Solve l = r*l for l.
0
Let t be 4/7*(-28)/(-8). Solve z + 3 = -t*z for z.
-1
Let j be 1/4 + (-13)/4. Let a(p) = -p**2 - 5*p + 1. Let k be a(j). Solve -2*u = -k*u for u.
0
Suppose -2*w = -0*w - 8. Solve w*y + 4 = -0*y for y.
-1
Suppose 0 = -4*b + b + 69. Let r = -21 + b. Solve -r*v = -1 - 1 for v.
1
Let i(c) = 2*c**2 + 4*c + 2. Let z be i(-2). Solve 4*a = z*a for a.
0
Suppose -3*g + 7 - 1 = 0. Suppose 5*o = -2*c + 22, -g*o + 0*c - c = -9. Solve 0 = o*n + 11 + 9 for n.
-5
Suppose -2 = -r, 4 = -3*l + 5*l - 3*r. Let c be (0 + 0 + -1)/(-1). Let g be (-5*(-5)/25)/(2/18). Solve l*y - c = g for y.
2
Let j(r) = r**2 + 2*r - 1. Let a be j(1). Suppose -a = -h + 4. Let m = -145 - -147. Solve -h + 14 = m*b for b.
4
Suppose 5 = g + 1. Suppose -3 = g*u - 2*v - 1, 4 = -3*u + 4*v. Solve u = -3*a - 3 - 6 for a.
-3
Let x be 6/(-10) - (-27)/45. Solve x*o = o - 2 for o.
2
Suppose 2*c + 3*c = -2*m + 9, 0 = c + 2*m + 3. Let y be (-1)/((1/2)/(-1)). Suppose y*f = -3*f. Solve c*u + 6 = -f for u.
-2
Let z = -16 + 21. Solve -z = c - 3 for c.
-2
Let i(o) = -o + 7. Let t be i(5). Let m = 23 + -20. Solve y = -t*y + m for y.
1
Let i = -12 - -17. Solve 2 = u + i for u.
-3
Let u = 17 - 9. Let s be ((-48)/15)/((-4)/30). Suppose f = -2*r + 3*f, -4*r = 4*f - 32. Solve -r*w = -s + u for w.
4
Let k be -2*(28/(-8) - -1). Suppose 2*q + 3*q = k. Solve -7 = -4*r + q for r.
2
Let p(n) = n**2 + 9*n + 11. Let a be p(-9). Let f = -11 + a. Solve -4*d + 0*d + 20 = f for d.
5
Suppose 21 = -0*y + 3*y. Let l(d) = 2*d + 5. Let f be l(y). Suppose -9 = r - 4*r. Solve r*z + f = 4 for z.
-5
Let p be (-2)/2 - (6 - 2 - 8). Solve p*n + 8 + 7 = 0 for n.
-5
Suppose 6*d - 15 = d. Suppose -z = d*z - 8. Solve -z*a + 4 = -4 for a.
4
Let k be (5/(-4))/(1 - (-20)/(-16)). Solve -k*l + 1 + 4 = 0 for l.
1
Suppose 22 = 3*c - 5*i, 0 = -c - 0*i + 2*i + 8. Let q be 22/4 + c/8. Let v = 2 + q. Solve 0*y = 4*y - v for y.
2
Suppose -4*m = -3*m - 10. Let b be 0*(-4 + 2 + 1). Let g = 14 + -10. Solve b = -6*w + g*w - m for w.
-5
Let l(k) = -5 + 0*k**3 - k**3 + 0*k**3 + 6*k**2. Let s(z) = -2*z + 1. Let a be s(-2). Let c be l(a). Solve 0 = -3*g + c - 5 for g.
5
Let l be (-7)/(-1) - (3 - 6). Solve 0 = -t + 6*t - l for t.
2
Suppose 0*k + 3 = k. Let u(t) be the second derivative of t**5/4 - t**4/12 + t**3/6 - t**2/2 - t. Let z be u(1). Solve 0 = -z*f + 15 - k for f.
3
Let r(i) = -i**3 + 5*i**2 + i - 1. Let d be r(5). Solve -3*l - d - 8 = 0 for l.
-4
Let j = -86 + 88. Solve 10 = j*w + 4 for w.
3
Let m be (-8)/36 + 20/9. Let c(x) = -x**3 + 4*x**2 - 5*x + 3. Let v be c(3). Let b be (2 - 0) + (-24)/v. Solve -3*d = m*d + b for d.
-2
Let g = 0 + 3. Suppose -g*v - 2*v =