 0*n = -h*n - 8 for n.
-4
Suppose 0 = -t + 4*k + 22, t + 6*k = 2*k - 18. Suppose t*x = -6*x + 32. Solve -x*s + 3 = -9 for s.
3
Let f = 969 - 931. Solve -44*h = -f*h + 18 for h.
-3
Let k(d) be the first derivative of d**4/4 - 4*d**3 - 11*d**2/2 - 20*d + 7. Let s be k(13). Solve 0*a + 3*a = s for a.
2
Let r(p) = -p**3 + p**2 - 3*p - 5. Let n be r(-2). Solve x + 36 = n*x for x.
3
Suppose -2*w + w = 16. Let n = -123 + 145. Let t = n + w. Solve 0 = -c + 4*c - t for c.
2
Let r(o) = o**2 + 25*o - 10. Let x be r(-26). Suppose 0*h - 5 = h + n, -3*h + 10 = -2*n. Solve 3*t - x + 1 = h for t.
5
Let k = -6 + 9. Suppose -k*d = -0*d. Suppose 3*g - 47 + 2 = d. Solve q + g = -2*q for q.
-5
Suppose h + n = -2, -3*n + 4 = 3*h - 2*n. Solve h*d - 1 = 4*d for d.
-1
Suppose -60 = -15*n + 19*n. Let w be n*(-3)/(2 - -1). Suppose 0 = -o - 2*o + w. Solve -o = b - 1 for b.
-4
Suppose -9 = 4*t - 7*t. Let c(u) = -4*u**2 + 2*u**3 - 5*u + 2*u - 3*u**t + 0*u. Let d be c(-3). Solve 6*n - n + 20 = d for n.
-4
Let v = 36 + -31. Suppose 6*o = v*z + 4*o - 2, -2*o - 2 = 0. Solve z*j = j - 3 for j.
3
Let a(p) = p - 26. Let x be a(14). Let y = x + 17. Solve -2*l + y = 3*l for l.
1
Let x(k) = k**3 + 4*k**2 + 3*k. Let w be x(-1). Solve w = 5*q - 34 + 14 for q.
4
Let r(d) = 1. Let b = -12 - -10. Let n(i) = i - 4. Let a(x) = b*r(x) - n(x). Let q be a(2). Solve q*k = -3*k for k.
0
Let w be 516/10 + ((-12)/20 - -1). Solve -37 = -5*l - w for l.
-3
Let h(b) = -18*b - 1. Let x be h(-4). Let w = x + -67. Solve -5*r = -w*r for r.
0
Let l(c) = c**3 - c**2 + 2*c - 1. Let u be l(1). Let r = 37 + -27. Suppose 4*p - k = 20, 3*k + 0 + r = 2*p. Solve 21 = -p*q + u for q.
-4
Suppose 3*j - 9 = -b, -b - 8 + 1 = -5*j. Suppose b*i - 4 = 5*r + 27, -5*r - 7 = -i. Suppose -3*k = 4*o + 14, 4*k + k - 5*o - 35 = 0. Solve i = a + k*a for a.
4
Suppose 0 = -5*b - 15, 2*h - 2 = h - b. Suppose 2*a + a - w = -2, 0 = 3*a - h*w + 10. Solve a = -2*c + 4 - 8 for c.
-2
Suppose -f + 3*k + 8 = -3, -2*k + 100 = 4*f. Suppose t + 21 - f = 0. Solve 6*n - t*n - 12 = 0 for n.
3
Let i = 19 - 20. Let a = 3 + i. Suppose -3*w = a*w. Solve w = -2*s + 1 - 5 for s.
-2
Let y = -316 + 323. Solve -17 = -6*c + y for c.
4
Let q = -851 + 857. Suppose 4*i + f = -1 + 3, -f = 3*i - 2. Let h be (0 + -1)/(2/(-6)). Solve -3*u + q + h = i for u.
3
Let d(i) = -2*i**2 - 83*i + 45. Let f be d(-42). Solve 7*c - f = 11 for c.
2
Let t = 0 - 1. Let r be 12 - t/(-3 + 4). Let v be -2 + 2 + 3 + r. Solve -3*w - v = w for w.
-4
Let x be (-12)/42 + 58/7. Suppose 4*q + x + 4 = 0, -3 = 4*b + q. Suppose -60 = 23*m - 38*m. Solve -m*d - 4 = -b*d for d.
-1
Let y(m) = -2*m**3 - 17*m**2 + m - 15. Let c(l) = -l**3. Let w(k) = -3*c(k) + y(k). Let r be w(17). Solve -r*g + 6 = -2 for g.
4
Let u(y) = y**3 - 8*y**2 + y - 7. Let n be u(8). Let s = 238 - 236. Solve -3 = -s*t - n for t.
1
Suppose -45*q + 46*q = 3. Solve q - 7 = -4*k for k.
1
Suppose -10 = 152*y - 154*y. Suppose -4 = 3*k - 2*z, 0 = -k - 4*z + 9 + 13. Suppose 7 = d + 3*p, -k*p + 5 = 3. Solve -3*j + d*j = -y for j.
-5
Let v(n) be the second derivative of n**5/20 - 13*n**4/12 + 2*n. Let i be v(13). Solve -2*b + 4 = -i for b.
2
Suppose -2*j = -j - 4*u - 9, 5*j + 6 = 3*u. Let v be (-30 + -1 + j/(-1))*-1. Solve -v = 4*q - 8 for q.
-5
Suppose 35 = 4*x - 5*b, 2*x - 13 = 2*b - b. Suppose -t + 13 = 3*u - x*t, -5*u = -t - 16. Let f = 11 + -7. Solve -u = -f*l + l for l.
1
Let y be (-18)/81 - (-68)/(-18) - -4. Solve 10*f - 5*f = y for f.
0
Let t = -61 + 65. Suppose 0 = -t*i + 1 + 3. Solve 1 = -a - i for a.
-2
Suppose 5*y - 23 = 5*f + 37, 4*y = -f + 48. Solve -3*j - 3 = -y for j.
3
Suppose 2*y = 4*y. Let d = -52 - -53. Solve -o + y + d = 0 for o.
1
Suppose -h = -3*l + 4*l - 10, -3*l - 22 = -h. Solve -2*w = -5 + h for w.
-4
Let y(z) = -z**2 + z + 3. Let m be y(0). Suppose j - 19 = 3*w, -m*j + 17 = 2*w - 3*w. Solve 5 = j*l + 1 for l.
1
Let g(p) = 2*p**2 + 3*p - 26. Let z(x) = -x**2 - 2*x + 13. Let j(n) = 3*g(n) + 5*z(n). Let f be j(0). Let h(l) = l + 16. Let b be h(f). Solve b - 2 = r for r.
1
Let j be 0*(-3)/6 - 28. Let h = j - -43. Solve -4*u + h = 3 for u.
3
Let r(i) = -i + 3. Let u be r(-3). Suppose -2*v - 6 = -4*a, -v - 2*a + u + 3 = 0. Suppose -2*z - 4 = -v*z. Solve -z*h + 9 = -h for h.
3
Let y(z) = -z**2 - 7*z. Let d be y(-5). Let w = 0 + 11. Let u = w - d. Solve -3*j + u + 5 = 0 for j.
2
Let m be ((-2)/3)/((182/(-231))/13). Solve 0 = 6*n + m*n - 85 for n.
5
Let w = 1 - 3. Let l(h) = -h**2 - 3*h + 3. Let n be l(w). Suppose 0*k - 3*k = -3. Solve 6 - k = n*a for a.
1
Let p(r) = r**2 + 5*r + 12. Let a be p(-3). Suppose -7*l - a*l + 52 = 0. Solve -l*u = u for u.
0
Let c(m) = 4*m - 5. Let q be c(5). Suppose 11*z - q*z + 28 = 0. Solve z*k - 4*k + 12 = 0 for k.
-4
Suppose -3*q - 10 = -5*q. Suppose -3*h - q + 26 = 0. Suppose -8*n = -h*n. Solve -j - 2*j = n for j.
0
Let w(t) = -4*t**2 + 13*t - 5. Let u be w(2). Solve -u*j - 2 = 13 for j.
-3
Suppose 778 - 842 = -8*c. Solve -3*p = 7 + c for p.
-5
Let r(z) = -z**2 - 7*z + 3. Let l be r(-6). Suppose -3*x = i + l, -4*i = x - 2*x - 3. Let u be (-2)/(-4) + (-1)/2. Solve 2*a + i*a + 10 = u for a.
-5
Let i(x) = -22 - 2 + 9 - 4*x + 3*x. Let o be i(-15). Solve o = p + 4 for p.
-4
Let k be 1 + 2 + 3/3. Suppose -104 = -3*b + 37. Suppose -2*g + 32 = -0*x - x, 2*x + b = 3*g. Solve -k*d + 1 = g for d.
-4
Let k be 35*(64/(-10) - -7). Solve -6*o + 9 = -k for o.
5
Let m(v) = v**3 + 3*v**2 - v - 1. Let i(u) = u**2 + 4*u. Let h be i(-3). Let y be m(h). Solve -4*s + y*s + 2 = 0 for s.
1
Let r(c) = -c**3 - 36*c**2 + c + 39. Let n be r(-36). Solve 9 = n*k - 6*k for k.
-3
Suppose 89*v = 59*v + 420. Solve 7*a + 0 - v = 0 for a.
2
Let f(u) = u**3 - u**2 + 7*u - 8. Let o be f(2). Solve 15*h = o*h - 10 for h.
-2
Let v(i) = -i**3 + 13*i**2 + 32*i - 23. Let b be v(15). Solve 0 = -4*q + b*q + 3 for q.
-1
Let j(k) = k**2 + 7*k + 2. Let m be j(-3). Let z = 18 + m. Let l be 3/3 - ((-3)/1 + 1). Solve t = z - l for t.
5
Let u be 1/(-3)*(-32 - -26). Solve -u*y + 8 = 2*y for y.
2
Let f be ((15/2)/(-3))/((-39)/702). Solve f*p - 34*p = 0 for p.
0
Let p be (-1)/(-2)*0/(-12 - -6). Solve -2 = -p*u + u for u.
-2
Suppose -7*q - 2 = -128. Solve -q*u + 15*u = 6 for u.
-2
Suppose 2*c + 2 = 6. Let u(q) = q**3 - 4*q**2 + 3*q + 2. Let n be u(3). Let f be n + 0 + (-6 - -4). Solve o + f = c for o.
2
Suppose f - 5 = -i, -4*i - f = -4*f - 6. Let w be -2*i/2 - (-5 - -1). Solve -3*g - w = 2 for g.
-1
Let n be (34/(-4))/((-2)/4). Suppose 3 + n = z. Solve 0*u - 4*u = -z for u.
5
Suppose -162 = 3*r - 2*z - 434, 4*r = z + 366. Solve r*q - 89*q = 9 for q.
3
Suppose 0 = -47*f - 3*f + 100. Solve 7*s + f*s = 16*s for s.
0
Suppose -4*f = -9*f + 25. Suppose 6*h - f*h = 0. Solve j + 5 = -h for j.
-5
Suppose 28 = -3*u + 7*u. Let j = u - -1. Suppose -4*p = -2*d - j, 0 = 2*d + 4. Solve -p = -3*a + 14 for a.
5
Suppose 17*a + 16*a = 429. Solve a = -6*j - 17 for j.
-5
Let d = -210 + 214. Solve -d*k + 9*k = 0 for k.
0
Let n be (-1)/2*36/(-6). Suppose -2*u = -3*u + n. Suppose s = -u*f - 6, -4*s - f + 14 = 5. Solve 0 = h - 0*h + s for h.
-3
Let b = -1 - -3. Suppose 14*q - 2 = 12*q. Solve -k + q = -b*k for k.
-1
Let t(j) = -j**3 - 8*j**2 + 8*j - 4. Suppose 3*g - 42 - 120 = 0. Suppose -5*l - 5*p - 11 = g, 3*p = -12. Let x be t(l). Solve x*i + 4 = -11 for i.
-3
Let n = -7 - -9. Let u be (-5)/10*2*0. Let r be ((-2)/(-3))/(2/15). Solve u = n*t + 3*t + r for t.
-1
Let a = -101 + 127. Solve 29*d - a*d = 0 for d.
0
Let a(f) = f**3 - 6*f**2 + 4*f + 13. Let r = 156 + -151. Let w be a(r). Suppose 5*n - 55 = q + 18, q = -n + 17. Solve w*x - 3*x = -n for x.
-3
Let f(i) = i**2 - 10*i + 2. Let u be f(10). Let a = 162 + -160. Solve -g = -a*g + u for g.
2
Suppose -9*l + 35 = -2*l. Suppose 3*f - 2 = l*f - 2*n, 3*f = -2*n + 12. Solve 2*m + f*m + 4 = 0 for m.
-1
Let n(u) be the second derivative of -5*u**3/6 + 55*u**2/2 - 14*u. Let k be n(11). Solve -4 = 4*b - k for b.
-1
Let m(a) = 5*a**3 + a**2 - 2. Let c be m(1). Solve c*h = -3*h + 35 for h.
5
Let i = 51 + -35. Suppose 0 = -8*q + q + 14. Suppose q*u + 6 = 4*u. Solve -d = u*d - i for d.
4
Let n(f) = -38*f + 205. Let z be n(5). Solve 35 = 10*q - z for q.
5
Suppose -2*w + 196 = -6*w + k, 0 = -3*w + 4*k - 147. Let l = 67 + w. Solve -3*f + 3 = l for f.
-5
Let o(l) = 5*l + 118. Let g be o(-19). Solve m = 20 - g for m.
-3
Supp