= -5*n - 0*n. Let h = -3 - n. Solve 0*t = h*t - 12 for t.
3
Let h = -5 - -4. Let v = -10 - h. Let t be v/(-3) - 1 - 0. Solve 10 = -t*k - 3*k for k.
-2
Suppose 0 = 2*x + u - 9, -4*u + 2 = -3*x - 1. Solve 2 + 1 = x*q for q.
1
Suppose i + 8 = 5*s, 3*s - 3 = -i + 5. Let b = 0 + 1. Solve -s*m - b = -m for m.
-1
Let z be -3*(-1)/(-3)*-4. Let n(y) = y**3 - 3*y + 3. Let d be n(3). Let j = d + -16. Solve z - j = v for v.
-1
Let n(g) = -g - 10. Let x be n(-8). Let u(t) = 2*t**2 - 2*t - 2. Let h be u(x). Solve 10*b = 5*b - h for b.
-2
Suppose -2 + 41 = 13*l. Solve 3*y + 0*y - l = 0 for y.
1
Suppose 5*l - 3 - 1 = -4*c, 0 = -2*c - 8. Suppose 0 = 2*n + 2*f - 6, 0 = -l*n + 4*f - f + 12. Solve n*s + 10 = -2*s for s.
-2
Let t = 138 + -138. Solve t*x + 2*x = -10 for x.
-5
Let r(c) = -c**3 + 9*c**2 - 7*c - 10. Let t be r(8). Let y be 7 + 3/(6/t). Suppose 2*o = y*o - 8. Solve -2*q = o*q for q.
0
Let l(o) = -2*o + 13. Let c be l(4). Solve -c*p = -p + 16 for p.
-4
Suppose 5*s = -2*s + 4*s. Solve s = 5*m + 14 + 1 for m.
-3
Let c(q) = 6*q + 50. Let y be c(-8). Let x be 0/(0 + 2/1). Solve x = -m - y*m for m.
0
Let d = 54 + -54. Solve d = -2*r + 6*r for r.
0
Let q(i) = i**2 - 4*i + 6. Let v be q(4). Let w = -4 + v. Suppose w*h - 33 = -13. Solve -4*f - h = 2 for f.
-3
Let c be 8 - ((-12)/3)/(-1). Solve c*k + 6 = k for k.
-2
Suppose -4*l = -5*l. Solve l*o - 4 = -2*o for o.
2
Let u(k) = -k**2 + 14*k - 43. Let h be u(9). Solve -h*t - t = -3 for t.
1
Let h(l) = -l**3 + 3*l**2 + 3*l + 8. Let q be h(4). Let t = 5 + -7. Let o be (1 + t)*5*-2. Solve -o = 2*r - q*r for r.
5
Suppose 5 + 4 = p. Let q be (0 - -1)/(1/2). Suppose -d - l + 0 = -p, -q*d = -l - 3. Solve d = o - 0 for o.
4
Let i(m) = -m**2 + 16*m + 5. Let s be i(15). Solve q = -3*q + s for q.
5
Suppose 9 = 21*m - 18*m. Solve 0*f + m*f = -15 for f.
-5
Let g be 0 - -2 - (-1 - 0). Suppose 2*u + 4*l = 12, 0*l + 8 = u + g*l. Suppose 5*t + 4 = 3*p, t = -3*t + u*p - 2. Solve -f = -2 - t for f.
3
Suppose -q + 3*o = -0*q - 18, -3*q = -o - 22. Solve 19 = 5*b - q for b.
5
Let a(p) = 14*p**2 - p - 23. Let t(b) = 5*b**2 - 8. Let u(c) = 6*a(c) - 17*t(c). Let x = -8 - -3. Let m be u(x). Solve -m + 11 = -4*h for h.
-2
Suppose -10*h + 24 = -4*h. Let g(u) = u**3 - u - 3*u + 7 - 4*u**2 - 2*u. Let v be g(5). Solve 10 = -h*y - v for y.
-3
Suppose -4*y = -y - 15. Solve -11 - y = -4*s for s.
4
Suppose -5*d = -18 + 3, 2*t + 5*d = 51. Suppose -r - 10 = -m, 2*m + 0*m - r = t. Solve -2*c = m - 0 for c.
-4
Let f(t) = t**2 - t + 2. Let x be f(0). Suppose x*i + w = 3, 0*w - w = -i + 3. Let u = -1 + i. Solve -u - 4 = -5*d for d.
1
Let p(j) = -j**2 - 7*j + 11. Suppose 5*d = 11 - 51. Let a be p(d). Solve -4 = -w - a*w for w.
1
Suppose -m + 7 = -2*b + 24, -m = 5. Solve k = -2*k + b for k.
2
Suppose 2 + 5 = f. Let o(a) = -a**3 + 7*a**2 + 3*a + 8. Let n be o(f). Solve 5*b = -n + 4 for b.
-5
Let d(g) = -g**2 + 6*g + 1. Suppose 24 - 2 = h + 4*a, 0 = -h + 5*a - 14. Let m be d(h). Let s = -1 + m. Solve -3*v - 15 = -s*v for v.
-5
Let p(i) = -i + 2. Let t be p(-1). Suppose 4*y - 2 - 6 = -d, -5*d = t*y - 6. Solve 0 = z - y*z + 3 for z.
3
Let c be ((-40)/(-12))/(-5)*-12. Suppose -p + 0*p + c = 0. Solve 4 - p = -i for i.
4
Let i = -2 - -7. Let j(d) = 10*d**3 - 2*d**2 + 2*d. Let x be j(1). Solve -i*l = -0*l - x for l.
2
Suppose 0 = -3*l - 8*l + 22. Solve k + l*k = -15 for k.
-5
Let i = -10 - -15. Suppose 3*j - z + 2*z = 11, 0 = -j + i*z - 7. Solve 0 = 5*h - j + 18 for h.
-3
Let v(g) = g**2 - 8*g + 9. Let p be v(7). Solve p*t + 8 = -0*t for t.
-4
Let v = 7 + -7. Suppose b + 0*b - 4 = v. Suppose 2*n = -b*a - 2 - 8, -3*a - 20 = -n. Solve 7*r - n*r = 0 for r.
0
Suppose 0 + 1 = s, o + 1 = 2*s. Suppose -16 = -4*g - 2*f, g = 2*f - 7 + o. Solve -g*q = -7*q for q.
0
Let z(b) = b**2 - 13*b + 4. Let f be z(13). Suppose 0 = -s - 2*s + g + 6, s - g - f = 0. Solve 1 + s = 2*h for h.
1
Suppose 0*k = -2*h + k + 7, 5*k - 55 = -5*h. Solve -9 = -5*a + h for a.
3
Suppose -10*l = l - 44. Solve 5*g = l*g - 2 for g.
-2
Suppose -5*n + 15 + 10 = 0. Solve 0 = -n*v + 1 - 16 for v.
-3
Let g be ((-2)/4)/(1/(-12)). Suppose 0 = 2*u + 2*p - g*p - 6, 4*p = -u + 21. Suppose -3*y + 27 - u = 0. Solve y*w - 8 = 2*w for w.
2
Let c be ((-12)/(-10))/(3/10). Solve -5*v + 3 = -c*v for v.
3
Suppose 4*v - 15 = -v. Suppose 42 = v*o - 39. Suppose s = 2*h - o, -71 = -3*h + 5*s - 13. Solve -3*r + h = 2 for r.
3
Let w(f) = -3*f - 12. Let k be w(-9). Let x = k + -13. Solve 2*l + x = -0 for l.
-1
Let o = 2 + 0. Suppose 4*f = r - 10, 4*r = -4*f + f + 78. Solve -4*b - o = r for b.
-5
Let s(b) = -b**2 - 4*b. Suppose 2*w = 4*z + 14, 4*w + 0*w = 4. Let k be s(z). Solve -k*p - 4 = -1 for p.
-1
Let a be 7 - 6 - (2 + -21). Let p be (a - 0) + -1 + 1. Solve 5*v - p = -0*v for v.
4
Let x be 3/9*(1 - 4). Let b be 2 + x - (0 + 1). Solve 0 = -2*h - b*h + 8 for h.
4
Let o(w) = -2*w. Let u be o(-1). Let s be (-1)/(18/(-8) + u). Let p be (-4)/s*3/(-1). Solve -4*j + j = p for j.
-1
Suppose -6*o - 105 = 3. Let x = 20 + o. Solve 0*w = x*w - 8 for w.
4
Suppose -7*n - 27 = -16*n. Solve 2*j - 15 = -n*j for j.
3
Let r = 15 - 9. Let w be ((-16)/(-12))/(r/9). Suppose 0 = w*b + 3*b - 80. Solve g - b = -3*g for g.
4
Let z = -25 - -31. Solve 1 - z = -u for u.
5
Let j(f) = -f - 7. Let d be j(-7). Solve d = -0*a + 3*a - 9 for a.
3
Let x(v) = v**3 + 11*v**2 + 11*v + 14. Let b be x(-10). Solve -7 = -b*y - 19 for y.
-3
Let p be ((-6)/(-4))/((-51)/(-136)). Let x be 68/12 + p/(-6). Solve x = 2*u + 3*u for u.
1
Suppose -2*x = u - 0*x - 10, 5*u + 5*x - 25 = 0. Solve 2*k - k + 4 = u for k.
-4
Let l be (2/6)/(2/30). Suppose -l*x + 6*x = 4. Solve x*v - 3 + 7 = 0 for v.
-1
Let d = -8 + 5. Let o(u) = u**2 - 4*u - 5. Let l be o(d). Solve 4 = 4*j + l for j.
-3
Let b(t) = 6*t**2 - t**3 - 4*t + 0*t**3 + 2 + 0*t**3. Let w be b(4). Suppose 4 = -4*l + 3*s, l = 3*s + 2*s - w. Solve u = -l*u - 15 for u.
-5
Let t(n) = n**2 - 21*n + 56. Let r be t(18). Solve 0 = -m - m + r for m.
1
Suppose 3*d - 5 = 4. Suppose -7 + 1 = -d*x. Solve 0 = 2*l - l - x for l.
2
Suppose 4*k = -5*j + 3*j + 76, -8 = -2*j. Suppose -4*n + k - 1 = -2*x, 5*x - 5*n + 55 = 0. Let v = 22 + x. Solve -s + v = 3*s for s.
2
Let d = 95 + -93. Suppose 6 = 4*t - 2. Solve d*o = t + 2 for o.
2
Let h(k) be the first derivative of k**2/2 - 5. Let j be h(1). Solve 2*n = -j + 9 for n.
4
Let u = -4 - -7. Suppose 2*c = -d + c + 8, -5*c + 16 = -u*d. Solve -a - d = 1 for a.
-4
Let w be ((-1)/2)/(10/(-60)). Let d be 1/(-2 + 190/94). Let k = d + -27. Solve w*l + l + k = 0 for l.
-5
Suppose -2*s = -0*s - 2. Solve s = -3*t + 4*t for t.
1
Let l(v) = -2*v + 1. Let o be l(-6). Let w = 18 - o. Let f(i) = 2*i - 13. Let h be f(9). Solve 0 = -w*y - h for y.
-1
Let s = 3 + 0. Suppose s*h + 2*p = 2, -14 = -h - 2*h - 5*p. Let q be -1*(0 + h)*2. Solve v - q*v = 6 for v.
-2
Suppose -2*r - 5*a + 30 = 0, 0*a = 5*r - 2*a - 17. Solve -r*i - 3 = 17 for i.
-4
Suppose -76 = -4*v - 24. Suppose 0 = 5*c - 3*q - v, 0 = 4*c - 2*q - 16 + 4. Suppose 3*m = 2 + 4, 0 = -3*t + 5*m + c. Solve 0*f = -t*f for f.
0
Suppose -3*b = -4*s - 60, 5*s = -2*b + 26 + 14. Solve -f = -6*f - b for f.
-4
Let p be 51/(-12) + 3/12. Let s be (-2)/(-1 - 0) - p. Solve -t + s = 1 for t.
5
Suppose -4*o + 9*o + 20 = 0. Let k = o - -6. Solve 0 = i + 2 + k for i.
-4
Suppose -5*g = 2*f - 29, 0*g - 7 = -g - f. Solve 4*v - g - 3 = 0 for v.
2
Let s = -63 + 85. Solve 2 = -4*g + s for g.
5
Suppose 4*t + t + 45 = 0. Let v = 9 + t. Solve v*c = c + 1 for c.
-1
Let m be (6/(-7))/((-3)/42). Solve -m - 4 = -4*h for h.
4
Suppose u = -0 + 4. Suppose i = -u*i. Solve i*d = -d for d.
0
Suppose -9 = -3*b + 3. Suppose -70 = -2*g - 3*g + 5*p, -2*p = 3*g - 32. Suppose b*y + 4*s - 15 = 1, -4*y - 2*s + g = 0. Solve -y*j = -5*j for j.
0
Let u be 14/35*-5 - (-1 - 11). Solve -c + u = -3*c for c.
-5
Let g = -6 + 11. Suppose -20 = -g*s - 4*f, -2*s + 4*f + 4 = -s. Suppose w = 3*v + 3, -w - 2 = s*v - 5. Solve -5*n + n = v for n.
0
Let q be 0 + -3 + 1 + 3. Let u be (q/3)/((-2)/(-24)). Suppose -u*g + 30 = -g. Solve -w + g = w for w.
5
Let x(o) = o + 11. Let z be x(-7). Let b(j) = j**2 - 4*j + 3. Let r be b(z). Solve y = -4 + r for y.
-1
Let g = 68 + -62. Solve 3*r = g*r for r.
0
Let m(i) = -i - 5. Let q(y) = -2*y - 10. Let b(j) = 11*m(j) - 6*q(j). Let h be b(7). Solve 0 = 2*r - 5*r + h for r.
4
Suppose j